http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57359
--- Comment #3 from Dara Hazeghi <dhazeghi at yahoo dot com> --- My apologies for the invalid report and thank you for the clear explanation. I've been using frama-c to check validity of the testcases, but clearly in this case it's not sufficient.