Processing commands for control@bugs.debian.org: > tag 425343 + moreinfo Bug#425343: [arm] gcc-4.1: bad code and no warning for thumb assembly of arm instruction There were no tags set. Tags added: moreinfo > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)