http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- The backtrace for the test in comment 0 with -fsanitize=signed-integer-overflow is the similar to the one I get for the DO loop.
