just reassigning to GCC doesn't make the ftbfs in open-axiom go away. Control: reassign -1 src:open-axiom Control: clone -1 -2 Control: reassign -2 src:gcc-4.9 Control: severity -2 important Control: forwarded -2 https://gcc.gnu.org/PR63405