Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions

[Bruno Haible]

Paul Eggert wrote:
> I suspect it may not be the last word, with all
> these screwy compilers to test....).

Indeed, IRIX 6.5 cc gives "warning: signed bitfield of length 1".

Changing the verify_type__ macro like this makes it work without warning.

# define verify_type__(R) \
    struct { int verify_error_if_negative_size__ : (R) ? 2 : -1; }


Other than that, it works fine with AIX xlc, IRIX cc, HP-UX cc, OSF/1 4.0 cc.

Bruno