Processing commands for control@bugs.debian.org: > forwarded 448480 http://gcc.gnu.org/PR33949 Bug#448480: GCC miscompilation on ARM Noted your statement that Bug has been forwarded to http://gcc.gnu.org/PR33949. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)