Например, есть такой прекрасный генератор fsm как ragel. Один из самых быстрых генерируемых вариантов построен на goto. Для какого-нибудь smtp он выплёвывает код на 12-13к goto. GCC такое компилирует корректно, а clang выдаёт рабочий код только с выключением всех оптимизаций.
На -O1 там некорректный код, на -O2 и выше - сегфолт. И причём тут квалификация?