http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55571
--- Comment #8 from Joel Brobecker <brobecker at gnat dot com> 2012-12-04 04:51:45 UTC --- Created attachment 28869 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28869 Small reproducer with arm-eabi In case it's useful to anyone else, a small program that reproduces the problem. % arm-linux-gnueabi-gcc -o utils utils.c [same problem with __sync_synchronize]