> arm: produce a function ending in unreachable (can someone check > if that is the case for thumb too?) Yep, Thumb is the same as ARM (on Linaro 2013.03, GCC 4.7 build). Cheers. Tim.