No matches were found for subject:"Bug#425343\: marked as done \(\[arm\] gcc\-4.1\: bad code and no warning for thumb assembly of arm instruction\)"