> I saw this also when I looked into __builtin_unreachable in one bug > report at one point on MIPS. See > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49054#c1 . Yes, the Debian folks also saw the problem on other architectures. -- Eric Botcazou