http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51381
--- Comment #10 from eric.valette at free dot fr 2011-12-03 23:49:42 UTC --- Then at least I know how to fix the bug. Thanks a lot for your help. I will use the C definition instead of inline asm. BTW I have no clue on arm assembler. Is the asm code correct?
