Hi Paul,
> > ./gnulib-tool --with-tests --test intprops
>
> Thanks, I ran that and it worked.
It fails to compile on HP-UX 11.23 and 11.31 with cc, on IRIX 6.5 with cc,
on OSF/1 5.1 with cc, and on Solaris 9 and 10 (SPARC) with cc.
Here are the error messages on HP-UX 11.23 with cc:
cc -Ae -O -DHAVE_CONFIG_H -I. -DGNULIB_STRICT_CHECKING=1 -I. -I. -I..
-I./.. -I../gllib -I./../gllib -g -c test-intprops.c
cc: "test-intprops.c", line 116: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 116: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 116: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 117: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 117: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 117: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 120: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 120: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 120: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 121: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 121: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 121: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 122: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 122: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 122: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 124: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 124: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 125: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 125: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 126: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 126: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 127: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 127: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 128: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 128: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 128: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 129: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 129: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 129: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 135: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 135: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 135: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 136: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 136: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 136: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 137: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 137: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 137: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 148: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 148: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 150: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 150: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 151: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 151: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 151: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 154: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 156: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 157: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 157: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 157: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 160: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 160: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 160: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 161: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 161: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 161: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 162: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 162: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 162: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 168: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 168: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 168: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 168: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 168: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 168: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 169: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 169: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 169: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 169: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 169: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 169: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 170: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 170: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 170: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 170: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 170: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 170: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 171: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 171: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 171: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 171: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 171: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 171: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 172: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 172: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 172: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 172: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 172: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 172: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 173: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 173: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 173: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 173: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 173: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 173: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 174: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 174: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 174: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 174: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 174: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 174: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 175: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 175: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 175: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 175: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 175: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 175: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 176: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 176: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 176: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 176: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 176: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 176: warning 559: Constant expression overflow
during evaluation.
cc: "test-intprops.c", line 177: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 177: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 177: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 177: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 177: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 177: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 178: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 178: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 178: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 178: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 178: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 178: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 180: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 180: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 180: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 181: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 181: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 181: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 182: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 182: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 182: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 183: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 183: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 183: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 184: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 184: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 184: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 185: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 185: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 185: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 191: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 191: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 191: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 191: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 191: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 191: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 193: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 193: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 193: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 193: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 193: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 193: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 196: warning 551: Integer division by zero.
cc: "test-intprops.c", line 196: warning 551: Integer division by zero.
cc: "test-intprops.c", line 196: warning 551: Integer division by zero.
cc: "test-intprops.c", line 196: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 197: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 198: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 198: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: warning 551: Integer division by zero.
cc: "test-intprops.c", line 198: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 198: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 198: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 199: warning 551: Integer division by zero.
cc: "test-intprops.c", line 199: warning 551: Integer division by zero.
cc: "test-intprops.c", line 199: warning 551: Integer division by zero.
cc: "test-intprops.c", line 199: warning 551: Integer division by zero.
cc: "test-intprops.c", line 200: warning 551: Integer division by zero.
cc: "test-intprops.c", line 200: warning 551: Integer division by zero.
cc: "test-intprops.c", line 200: warning 551: Integer division by zero.
cc: "test-intprops.c", line 200: warning 551: Integer division by zero.
cc: "test-intprops.c", line 201: warning 551: Integer division by zero.
cc: "test-intprops.c", line 201: warning 551: Integer division by zero.
cc: "test-intprops.c", line 201: warning 551: Integer division by zero.
cc: "test-intprops.c", line 201: warning 551: Integer division by zero.
cc: "test-intprops.c", line 202: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 202: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 202: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 202: warning 551: Integer division by zero.
cc: "test-intprops.c", line 202: warning 551: Integer division by zero.
cc: "test-intprops.c", line 202: warning 551: Integer division by zero.
cc: "test-intprops.c", line 202: warning 551: Integer division by zero.
cc: "test-intprops.c", line 202: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 202: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 202: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 203: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 203: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 203: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 203: warning 551: Integer division by zero.
cc: "test-intprops.c", line 203: warning 551: Integer division by zero.
cc: "test-intprops.c", line 203: warning 551: Integer division by zero.
cc: "test-intprops.c", line 203: warning 551: Integer division by zero.
cc: "test-intprops.c", line 203: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 203: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 203: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 204: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 204: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: warning 551: Integer division by zero.
cc: "test-intprops.c", line 204: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 204: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 204: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 205: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 205: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: warning 551: Integer division by zero.
cc: "test-intprops.c", line 205: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 205: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 205: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 206: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 206: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 206: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 206: warning 551: Integer division by zero.
cc: "test-intprops.c", line 206: warning 551: Integer division by zero.
cc: "test-intprops.c", line 206: warning 551: Integer division by zero.
cc: "test-intprops.c", line 206: warning 551: Integer division by zero.
cc: "test-intprops.c", line 206: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 206: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 206: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 207: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 207: error 1613: Zero-sized struct.
cc: "test-intprops.c", line 207: warning 504: The sizeof operator applied to a
zero-sized object.
cc: "test-intprops.c", line 207: warning 551: Integer division by zero.
cc: "test-intprops.c", line 207: warning 551: Integer division by zero.
cc: "test-intprops.c", line 207: warning 551: Integer division by zero.
cc: "test-intprops.c", line 207: warning 551: Integer division by zero.
cc: "test-intprops.c", line 207: error 1511: Bit-field size must be a constant.
cc: "test-intprops.c", line 207: error 1613: Zero-sized struct.
cc: panic 2161: Maximum allowed number of errors exceeded.
*** Error exit code 1
Similarly on IRIX 6.5 with cc:
cc -O -DHAVE_CONFIG_H -I. -DGNULIB_STRICT_CHECKING=1 -I. -I. -I..
-I./.. -I../gllib -I./../gllib -c test-intprops.c
cc-1180 cc: ERROR File = test-intprops.c, Line = 40
The type of the indicated cast must be integral.
verify (! TYPE_IS_INTEGER (float));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 41
The type of the indicated cast must be integral.
verify (! TYPE_IS_INTEGER (double));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 42
The type of the indicated cast must be integral.
verify (! TYPE_IS_INTEGER (long double));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 63
The type of the indicated cast must be integral.
verify (TYPE_SIGNED (float));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 63
The type of the indicated cast must be integral.
verify (TYPE_SIGNED (float));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 64
The type of the indicated cast must be integral.
verify (TYPE_SIGNED (double));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 64
The type of the indicated cast must be integral.
verify (TYPE_SIGNED (double));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 65
The type of the indicated cast must be integral.
verify (TYPE_SIGNED (long double));
^
cc-1180 cc: ERROR File = test-intprops.c, Line = 65
The type of the indicated cast must be integral.
verify (TYPE_SIGNED (long double));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 121
The indicated constant value is not known.
verify (check_binop (ADD, UINT_MAX, 1u, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 121
The indicated constant value is not known.
verify (check_binop (ADD, UINT_MAX, 1u, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 122
The indicated constant value is not known.
verify (check_binop (ADD, 0u, 1u, 0u, UINT_MAX, false));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 122
The indicated constant value is not known.
verify (check_binop (ADD, 0u, 1u, 0u, UINT_MAX, false));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 128
The indicated constant value is not known.
verify (check_binop (SUBTRACT, UINT_MAX, 1u, 0u, UINT_MAX, false));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 128
The indicated constant value is not known.
verify (check_binop (SUBTRACT, UINT_MAX, 1u, 0u, UINT_MAX, false));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 129
The indicated constant value is not known.
verify (check_binop (SUBTRACT, 0u, 1u, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 129
The indicated constant value is not known.
verify (check_binop (SUBTRACT, 0u, 1u, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 135
The indicated constant value is not known.
verify (check_unop (NEGATE, 0u, 0u, UINT_MAX, false));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 136
The indicated constant value is not known.
verify (check_unop (NEGATE, 1u, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 137
The indicated constant value is not known.
verify (check_unop (NEGATE, UINT_MAX, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 151
The indicated constant value is not known.
verify (check_binop (DIVIDE, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 151
The indicated constant value is not known.
verify (check_binop (DIVIDE, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 151
The indicated constant value is not known.
verify (check_binop (DIVIDE, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 157
The indicated constant value is not known.
verify (check_binop (REMAINDER, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 157
The indicated constant value is not known.
verify (check_binop (REMAINDER, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 157
The indicated constant value is not known.
verify (check_binop (REMAINDER, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 157
The indicated constant value is not known.
verify (check_binop (REMAINDER, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 157
The indicated constant value is not known.
verify (check_binop (REMAINDER, (unsigned int) INT_MIN,
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 160
The indicated constant value is not known.
verify (check_binop (LEFT_SHIFT, UINT_MAX, 1, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 161
The indicated constant value is not known.
verify (check_binop (LEFT_SHIFT, UINT_MAX / 2 + 1, 1, 0u, UINT_MAX, true));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 162
The indicated constant value is not known.
verify (check_binop (LEFT_SHIFT, UINT_MAX / 2, 1, 0u, UINT_MAX, false));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 169
The indicated constant value is not known.
check_sum (-1, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 169
The indicated constant value is not known.
check_sum (-1, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 169
The indicated constant value is not known.
check_sum (-1, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 169
The indicated constant value is not known.
check_sum (-1, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 171
The indicated constant value is not known.
check_sum (0u, -1, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 171
The indicated constant value is not known.
check_sum (0u, -1, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 171
The indicated constant value is not known.
check_sum (0u, -1, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 171
The indicated constant value is not known.
check_sum (0u, -1, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 172
The indicated constant value is not known.
check_sum (0u, 0, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 172
The indicated constant value is not known.
check_sum (0u, 0, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 172
The indicated constant value is not known.
check_sum (0u, 0, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 172
The indicated constant value is not known.
check_sum (0u, 0, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 173
The indicated constant value is not known.
check_sum (0u, 1, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 173
The indicated constant value is not known.
check_sum (0u, 1, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 173
The indicated constant value is not known.
check_sum (0u, 1, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 173
The indicated constant value is not known.
check_sum (0u, 1, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 175
The indicated constant value is not known.
check_sum (1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 175
The indicated constant value is not known.
check_sum (1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 175
The indicated constant value is not known.
check_sum (1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 175
The indicated constant value is not known.
check_sum (1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 177
The indicated constant value is not known.
check_sum (1u, INT_MAX, INT_MAX == UINT_MAX);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 177
The indicated constant value is not known.
check_sum (1u, INT_MAX, INT_MAX == UINT_MAX);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 177
The indicated constant value is not known.
check_sum (1u, INT_MAX, INT_MAX == UINT_MAX);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 177
The indicated constant value is not known.
check_sum (1u, INT_MAX, INT_MAX == UINT_MAX);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 178
The indicated constant value is not known.
check_sum (1u, INT_MIN, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 178
The indicated constant value is not known.
check_sum (1u, INT_MIN, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 178
The indicated constant value is not known.
check_sum (1u, INT_MIN, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 178
The indicated constant value is not known.
check_sum (1u, INT_MIN, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 180
The indicated constant value is not known.
verify (! INT_SUBTRACT_OVERFLOW (INT_MAX, 1u));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 180
The indicated constant value is not known.
verify (! INT_SUBTRACT_OVERFLOW (INT_MAX, 1u));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 181
The indicated constant value is not known.
verify (! INT_SUBTRACT_OVERFLOW (UINT_MAX, 1));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 181
The indicated constant value is not known.
verify (! INT_SUBTRACT_OVERFLOW (UINT_MAX, 1));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 182
The indicated constant value is not known.
verify (! INT_SUBTRACT_OVERFLOW (0u, -1));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 182
The indicated constant value is not known.
verify (! INT_SUBTRACT_OVERFLOW (0u, -1));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 183
The indicated constant value is not known.
verify (INT_SUBTRACT_OVERFLOW (UINT_MAX, -1));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 183
The indicated constant value is not known.
verify (INT_SUBTRACT_OVERFLOW (UINT_MAX, -1));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 184
The indicated constant value is not known.
verify (INT_SUBTRACT_OVERFLOW (INT_MIN, 1u));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 184
The indicated constant value is not known.
verify (INT_SUBTRACT_OVERFLOW (INT_MIN, 1u));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 185
The indicated constant value is not known.
verify (INT_SUBTRACT_OVERFLOW (-1, 0u));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 185
The indicated constant value is not known.
verify (INT_SUBTRACT_OVERFLOW (-1, 0u));
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 191
The indicated constant value is not known.
check_product (-1, 1u, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 193
The indicated constant value is not known.
check_product (-1, UINT_MAX, true);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 198
The indicated constant value is not known.
check_product (0, 0u, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 202
The indicated constant value is not known.
check_product (0, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 202
The indicated constant value is not known.
check_product (0, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 202
The indicated constant value is not known.
check_product (0, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 202
The indicated constant value is not known.
check_product (0, UINT_MAX, false);
^
cc-1232 cc: ERROR File = test-intprops.c, Line = 202
The indicated constant value is not known.
check_product (0, UINT_MAX, false);
^
cc-3452 cc: ERROR File = test-intprops.c, Line = 202
The compilation is aborted due to the number of errors.
101 errors detected in the compilation of "test-intprops.c".
*** Error code 2 (bu21)
Similarly on OSF/1 5.1 with cc:
cc -O -DHAVE_CONFIG_H -I. -DGNULIB_STRICT_CHECKING=1 -I. -I. -I.. -I./..
-I../gllib -I./../gllib -c test-intprops.c
cc: Warning: test-intprops.c, line 196: In the declaration of
"_gl_verify_error_if_negative", integer overflow occurs in evaluating the
expression
"((((((0)|(-1))-((0)|(-1))+(-1))<0)?-(~(((0)|(-1))-((0)|(-1))+(0))==-1)-((((((0)|(-1))-((0)|(-1))+(1))<<(sizeof(((0)|(-1))+0)*8-2))-1)*2+1):(((0)|(-1))-((0)|(-1))+(0))))/(-1)".
(intoverfl)
check_product (0, -1, false);
^
cc: Warning: test-intprops.c, line 196: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((-1)|(0))-((-1)|(0))+(-1))<0)?-(~(((-1)|(0))-((-1)|(0))+(0))==-1)-((((((-1)|(0))-((-1)|(0))+(1))<<(sizeof(((-1)|(0))+0)*8-2))-1)*2+1):(((-1)|(0))-((-1)|(0))+(0))))/(0)".
(zerodiv)
check_product (0, -1, false);
^
cc: Warning: test-intprops.c, line 197: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((0)|(0))-((0)|(0))+(-1))<0)?((((((0)|(0))-((0)|(0))+(1))<<(sizeof(((0)|(0))+0)*8-2))-1)*2+1):(((0)|(0))-((0)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0, 0, false);
^
cc: Warning: test-intprops.c, line 198: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((0)|(0))-((0)|(0))+(-1))<0)?((((((0)|(0))-((0)|(0))+(1))<<(sizeof(((0)|(0))+0)*8-2))-1)*2+1):(((0)|(0))-((0)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0, 0u, false);
^
cc: Warning: test-intprops.c, line 199: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((1)|(0))-((1)|(0))+(-1))<0)?((((((1)|(0))-((1)|(0))+(1))<<(sizeof(((1)|(0))+0)*8-2))-1)*2+1):(((1)|(0))-((1)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0, 1, false);
^
cc: Warning: test-intprops.c, line 200: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((2147483647)|(0))-((2147483647)|(0))+(-1))<0)?((((((2147483647)|(0))-((2147483647)|(0))+(1))<<(sizeof(((2147483647)|(0))+0)*8-2))-1)*2+1):(((2147483647)|(0))-((2147483647)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0, INT_MAX, false);
^
cc: Warning: test-intprops.c, line 201: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"(((((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(-1))<0)?-(~((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(0))==-1)-(((((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(1))<<(sizeof((((-2147483647-1))|(0))+0)*8-2))-1)*2+1):((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(0))))/(0)".
(zerodiv)
check_product (0, INT_MIN, false);
^
cc: Warning: test-intprops.c, line 202: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((4294967295)|(0))-((4294967295)|(0))+(-1))<0)?((((((4294967295)|(0))-((4294967295)|(0))+(1))<<(sizeof(((4294967295)|(0))+0)*8-2))-1)*2+1):(((4294967295)|(0))-((4294967295)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0, UINT_MAX, false);
^
cc: Error: test-intprops.c, line 203: In the declaration of
"_gl_verify_error_if_negative", the libraries on this platform do not yet
support compile-time evaluation of the constant expression
"((((((-1)|(0))-((-1)|(0))+(-1))<0)?-(~(((-1)|(0))-((-1)|(0))+(0))==-1)-((((((-1)|(0))-((-1)|(0))+(1))<<(sizeof(((-1)|(0))+0)*8-2))-1)*2+1):(((-1)|(0))-((-1)|(0))+(0))))/(0)".
(constfoldns)
check_product (0u, -1, false);
^
cc: Warning: test-intprops.c, line 204: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((0)|(0))-((0)|(0))+(-1))<0)?((((((0)|(0))-((0)|(0))+(1))<<(sizeof(((0)|(0))+0)*8-2))-1)*2+1):(((0)|(0))-((0)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0u, 0, false);
^
cc: Warning: test-intprops.c, line 205: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((0)|(0))-((0)|(0))+(-1))<0)?((((((0)|(0))-((0)|(0))+(1))<<(sizeof(((0)|(0))+0)*8-2))-1)*2+1):(((0)|(0))-((0)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0u, 0u, false);
^
cc: Warning: test-intprops.c, line 206: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((1)|(0))-((1)|(0))+(-1))<0)?((((((1)|(0))-((1)|(0))+(1))<<(sizeof(((1)|(0))+0)*8-2))-1)*2+1):(((1)|(0))-((1)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0u, 1, false);
^
cc: Warning: test-intprops.c, line 207: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((2147483647)|(0))-((2147483647)|(0))+(-1))<0)?((((((2147483647)|(0))-((2147483647)|(0))+(1))<<(sizeof(((2147483647)|(0))+0)*8-2))-1)*2+1):(((2147483647)|(0))-((2147483647)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0u, INT_MAX, false);
^
cc: Error: test-intprops.c, line 208: In the declaration of
"_gl_verify_error_if_negative", the libraries on this platform do not yet
support compile-time evaluation of the constant expression
"(((((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(-1))<0)?-(~((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(0))==-1)-(((((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(1))<<(sizeof((((-2147483647-1))|(0))+0)*8-2))-1)*2+1):((((-2147483647-1))|(0))-(((-2147483647-1))|(0))+(0))))/(0)".
(constfoldns)
check_product (0u, INT_MIN, false);
^
cc: Warning: test-intprops.c, line 209: In the declaration of
"_gl_verify_error_if_negative", division by zero occurs in evaluating the
expression
"((((((4294967295)|(0))-((4294967295)|(0))+(-1))<0)?((((((4294967295)|(0))-((4294967295)|(0))+(1))<<(sizeof(((4294967295)|(0))+0)*8-2))-1)*2+1):(((4294967295)|(0))-((4294967295)|(0))+(-1))))/(0)".
(zerodiv)
check_product (0u, UINT_MAX, false);
^
*** Exit 1
And on Solaris 9 with cc:
cc -O -DHAVE_CONFIG_H -I. -DGNULIB_STRICT_CHECKING=1 -I. -I. -I.. -I./..
-I../gllib -I./../gllib -D_REENTRANT -g -c test-intprops.c
"test-intprops.c", line 40: non-constant bit-field size
"test-intprops.c", line 40: bit-field size < 0: _gl_verify_error_if_negative
"test-intprops.c", line 196: warning: integer overflow detected: op "/"
"test-intprops.c", line 196: division by 0
"test-intprops.c", line 197: division by 0
"test-intprops.c", line 197: division by 0
"test-intprops.c", line 198: division by 0
"test-intprops.c", line 198: division by 0
"test-intprops.c", line 199: division by 0
"test-intprops.c", line 200: division by 0
"test-intprops.c", line 201: division by 0
"test-intprops.c", line 202: division by 0
"test-intprops.c", line 203: division by 0
"test-intprops.c", line 204: division by 0
"test-intprops.c", line 204: division by 0
"test-intprops.c", line 205: division by 0
"test-intprops.c", line 205: division by 0
"test-intprops.c", line 206: division by 0
"test-intprops.c", line 207: division by 0
"test-intprops.c", line 208: division by 0
"test-intprops.c", line 209: division by 0
"test-intprops.c", line 218: division by 0
cc: acomp failed for test-intprops.c
*** Error code 2
Bruno
--
In memoriam Eli Cohen <http://en.wikipedia.org/wiki/Eli_Cohen>
