Comment 5 for bug 491872

Revision history for this message
Dave Martin (dave-martin-arm) wrote :

This patch should fix the __sync_synchronize() issue, by making sure GCC does not optimise away the call to the libgcc function which implements this:
http://gcc.gnu.org/ml/gcc-patches/2009-08/msg00600.html

These should now be fixed on the GCC trunk and await backporting to the upstream 4.4 branch.

I've referenced the relevant GCC bugzilla entry from this bug.