http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48126
--- Comment #7 from Marcus Shawcroft <marcus.shawcroft at arm dot com> 2011-06-23 09:32:59 UTC --- (In reply to comment #5) > Michael: > I think I agree with you on the need for the barrier in the branch out case; > gcc's info page (section 6.49 'Built-in functions for atomic memory access') > state: I agree. The DMB needs to be included in the branch out case in order to comply with the "full barrier" requirement. /Marcus
