Можно ли привести GCC в бесконечный цикл?

Question

Можно ли привести GCC в бесконечный цикл, введя странный исходный код? И если да, то как? Может быть, можно что-то сделать с помощью шаблона метапрограммирования?

Answer 1

Ошибки особенно преходящи, например, ответ @ Pestilence был найден в GCC 4.4.0 и зафиксирован в 4.4.1. Список Текущий способов переноса GCC в бесконечный цикл, отметьте their Bugzilla.

EDIT: Я только что нашел новый способ, который также вылетает из Комо. На данный момент это более удовлетворительный ответ. Конечно, это should also be fixed soon.

template< int n > 
struct a { 
    a< n+1 > operator->() { return a< n+1 >(); } 
}; 

int main() { 
    a<0>()->x; 
} 

Answer 2

Я думаю, что вы могли бы сделать это с #include

Просто #include "file1.c" в file2.c и #include "file2.c" в file1

предложение вызывает компилятор цикла много неудачно, а не контур бесконечно

Answer 3

Возможно. Но большинство компиляторов (и большинство стандартизованных языков) имеют ограничения на такие вещи, как глубины рекурсии в шаблонах или включенные файлы, после чего компилятор должен выполнить диагностику. Компиляторы, которые этого не делают, обычно не нравятся пользователям.

Answer 4

Не знаю о gcc, но старый pcc использовал для перехода в бесконечный цикл, компилируя некоторые виды бесконечных циклов (те, которые скомпилированы до _x: jmp _x).

Answer 5

Да.

Почти каждая компьютерная программа имеет проблемы с завершением цикла. Я думаю, что GCC, однако, исчерпает RAM, прежде чем бесконечный цикл станет очевидным. В его дизайне не так много «свободных» операций.

Синтаксический анализатор & препроцессор не создаст проблем. Я готов поспорить, что вы можете настроить таргетинг на оптимизатор, который, скорее всего, будет иметь больше ошибок при реализации. Это будет меньше о языке и больше об использовании недостатков, которые вы можете обнаружить из исходного кода. т. е. эксплоит будет неочевидным.

UPDATE

В this particular case, моя теория кажется правильным. Компилятор продолжает выделять ОЗУ, и оптимизатор, похоже, уязвим. Ответ - да. Да, ты можешь.

Answer 6

Bentley пишет в своей книге «Программирование Pearls», что следующий код привел в бесконечном цикле при оптимизированной компиляции:

void traverse(node* p) { 
    traverse(p->left); 
    traverse(p->right); 
} 

Он говорит: «оптимизатор попытался преобразовать хвостовую рекурсию в петлю, и умер когда он смог найти тест, чтобы закончить цикл ». (стр.139) Он не сообщает точную версию компилятора, где это произошло. Я предполагаю, что новые компиляторы обнаруживают случай.

Answer 7

Поскольку метапрограммирование шаблона C++ на самом деле является завершением Turing, вы можете сделать бесконечную компиляцию.

Например:

template<typename T> 
struct Loop { 
    typedef typename Loop<Loop<T> >::Temp Temp; 
}; 

int main(int, char**) { 
    Loop<int> n; 
    return 0; 
} 

Однако, как ответ передо мной. gcc имеет флаг, чтобы остановить это от бесконечного продолжения (как переполнение стека в бесконечной рекурсии).