(Off topic, but I'd expect that avionics software is engineered with enough layers of protection, including catching traps, so that a -ftrapv hit would not cause a deep impact.)
Actually this discussion is not *so* off-topic. if you regard -ftrapv as something that would be enabled in critical code in the final production build, you have a much different view, than if it is a debugging aid, which can help to find bugs, but makes no guarantees.
