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]

Reply via email to