Pardon me Pascal, I fail to see any similarity between this test case and the previous one: there is no union and bit-fields in this one which was the cause of the last bug. Also there is no g_85 that you mentioned. I wonder if you attach the correct test case? -Xuejun From: csmith-bugs-bounces@flux.utah.edu [mailto:csmith-bugs-bounces@flux.utah.edu] On Behalf Of Pascal Cuoq Hello, The attached program exhibits the issue described in a previous thread for one of the elements of g_85 (of type union U5): http://www.flux.utah.edu/listarchives/csmith-dev/msg00208.html It was generated with version 9a88a2. Pascal cuoq@lsl-cloud:~/csmith_new$ ~/gcc-172652/bin/gcc -Iruntime t.c t.c:76:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:77:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:77:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:77:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:77:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:77:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:77:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:79:15: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:79:15: warning: overflow in implicit constant conversion [-Woverflow] t.c:90:21: warning: overflow in implicit constant conversion [-Woverflow] t.c:90:21: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:90:21: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:90:21: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:90:21: warning: overflow in implicit constant conversion [-Woverflow] t.c:94:15: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:100:1: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:103:20: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:121:14: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c: In function ‘func_1’: t.c:149:12: warning: overflow in implicit constant conversion [-Woverflow] t.c:149:12: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:149:12: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:149:12: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:149:12: warning: overflow in implicit constant conversion [-Woverflow] t.c:149:12: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:150:11: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:161:11: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:175:16: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:175:16: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:175:16: warning: overflow in implicit constant conversion [-Woverflow] t.c:178:16: warning: overflow in implicit constant conversion [-Woverflow] t.c:178:16: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:178:16: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:178:16: warning: large integer implicitly truncated to unsigned type [-Woverflow] t.c:178:16: warning: overflow in implicit constant conversion [-Woverflow] t.c:209:19: warning: large integer implicitly truncated to unsigned type [-Woverflow] cuoq@lsl-cloud:~/csmith_new$ ./a.out checksum = C98A56F0 cuoq@lsl-cloud:~/csmith_new$ clang -Iruntime t.c cuoq@lsl-cloud:~/csmith_new$ ./a.out checksum = C982B518 cuoq@lsl-cloud:~/csmith_new$ |