http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55018
--- Comment #2 from Nicolas Morey-Chaisemartin <nmorey at kalray dot eu> 2012-10-22 08:41:12 UTC --- The loop is infinite but should not be empty as it calls printf in the middle.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55018
--- Comment #2 from Nicolas Morey-Chaisemartin <nmorey at kalray dot eu> 2012-10-22 08:41:12 UTC --- The loop is infinite but should not be empty as it calls printf in the middle.