http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50949
--- Comment #2 from Konstantinos Margaritis <konstantinos.margaritis at linaro dot org> 2011-11-01 21:05:42 UTC --- This is the full cmd line used: gcc -g -O -mfpu=neon -mfloat-abi=hard -march=armv7-a -mthumb -fpermissive -c matrix.i This is the actual gcc revision used in the Debian package: 20111028 (r180603).
