[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-bugs] Bug report: generated code has signed overflow

Weird-- I thought we got rid of those bugs a long time ago! Thanks for the bug report Olivier.

Xuejun, do you have time to look at this?


On 12/12/2014 08:34 AM, Oliver Stannard wrote:

Git version: b6b32bbb9d43b47033c6a6ffe4b8016d924d1503
   integer size = 4
   pointer size = 4

Running csmith with these options:
   csmith --output test.c --seed 37317 --no-packed-struct

results in output (full file attached) with this global variable (line 52):
   static int32_t g_4 = 0x420452A2L;
and this loop (line 274):
   for (g_4 = 21; (g_4 >= 21); g_4++)

This loop will run for a long time, and eventually result in a signed
integer overflow in g_4. g_4 is not modified anywhere else in the function.