http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50948
--- Comment #2 from Konstantinos Margaritis <konstantinos.margaritis at linaro dot org> 2011-11-01 21:07:59 UTC --- This was the actual cmd line used: gcc -O -mfpu=neon -mfloat-abi=hard -march=armv7-a -mthumb -fpermissive -c matrix2-min.i The Debian armhf package is based on SVN 20111028 (r180603) from the gcc-4_6-branch.