Reproduced on Fedora Rawhide, gcc-6.2.1:
$ make check
...
In file included from test-limits-h.c:23:0:
test-limits-h.c:28:17: warning: right shift count >= width of type
[-Wshift-count-overflow]
verify ((max) >> ((width) - 1 - ((min) < 0)) == 1)
^
../lib/verify.h:251:31: note: in definition of macro 'verify'
#define verify(R) _GL_VERIFY (R, "verify (" #R ")")
^
test-limits-h.c:37:1: note: in expansion of macro 'verify_width'
verify_width (LONG_WIDTH, LONG_MIN, LONG_MAX);
^~~~~~~~~~~~
../lib/verify.h:207:21: error: static assertion failed: "verify ((0x7fffffffL)
>> ((64) - 1 - (((-0x7fffffffL - 1L)) < 0)) == 1)"
# define _GL_VERIFY _Static_assert
^
../lib/verify.h:251:19: note: in expansion of macro '_GL_VERIFY'
#define verify(R) _GL_VERIFY (R, "verify (" #R ")")
^~~~~~~~~~
test-limits-h.c:28:3: note: in expansion of macro 'verify'
verify ((max) >> ((width) - 1 - ((min) < 0)) == 1)
^~~~~~
test-limits-h.c:37:1: note: in expansion of macro 'verify_width'
verify_width (LONG_WIDTH, LONG_MIN, LONG_MAX);
^~~~~~~~~~~~
test-limits-h.c:28:17: warning: right shift count >= width of type
[-Wshift-count-overflow]
verify ((max) >> ((width) - 1 - ((min) < 0)) == 1)
^
../lib/verify.h:251:31: note: in definition of macro 'verify'
#define verify(R) _GL_VERIFY (R, "verify (" #R ")")
^
test-limits-h.c:38:1: note: in expansion of macro 'verify_width'
verify_width (ULONG_WIDTH, 0, ULONG_MAX);
^~~~~~~~~~~~
../lib/verify.h:207:21: error: static assertion failed: "verify (((0x7fffffffL
* 2UL + 1UL)) >> ((64) - 1 - ((0) < 0)) == 1)"
# define _GL_VERIFY _Static_assert
^
../lib/verify.h:251:19: note: in expansion of macro '_GL_VERIFY'
#define verify(R) _GL_VERIFY (R, "verify (" #R ")")
^~~~~~~~~~
test-limits-h.c:28:3: note: in expansion of macro 'verify'
verify ((max) >> ((width) - 1 - ((min) < 0)) == 1)
^~~~~~
test-limits-h.c:38:1: note: in expansion of macro 'verify_width'
verify_width (ULONG_WIDTH, 0, ULONG_MAX);
^~~~~~~~~~~~
Full build log:
https://kojipkgs.fedoraproject.org/work/tasks/8044/15928044/build.log
x86_64 seems to work OK
regards
Jaroslav
