Юридические использования setjmp и GCC

Question

Использование GCC (4.0 для меня), это юридический:

if(__builtin_expect(setjmp(buf) != 0, 1)) 
    { 
    // handle error 
    } 
else 
    { 
    // do action 
    } 

Я нашел обсуждение о том, что вызвало проблемы для GCC еще в 2003 году, но я предположил бы, что они будут уже исправили его. Стандарт C говорит, что это незаконно использовать setjmp, если это не один из четырех условий, соответствующая одна из которых это:

• один операнд реляционного или равенств оператора с другим операндом константы выражения целого с результирующее выражение - это все управляющее выражение выражения выбора или итерации;

Но если это расширение GCC, я могу гарантировать, что он будет работать под для GCC, так как это уже нестандартная функциональность? Я протестировал его, и он, похоже, сработал, хотя я не знаю, сколько тестов я должен был бы сделать, чтобы действительно сломать его. (Я скрываю вызов __builtin_expect за макросом, который определяется как no-op для не-GCC, поэтому было бы совершенно законно для других компиляторов.)

Answer 1

Я думаю, что то, о чем говорил стандарт было объяснить что-то делать, как это:

int x = printf("howdy"); 
if (setjmp(buf) != x) { 
    function_that_might_call_longjmp_with_x(buf, x); 
} else { 
    do_something_about_them_errors(); 
} 

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

В своем коде вы могли бы написать как:

int conditional; 
conditional = setjump(buf) != 0 ; 
if(__builtin_expect(conditional, 1)) { 
    // handle error 
} else { 
    // do action 
} 

И я думаю, что мы можем убедиться в том, что строка кода, которая присваивает переменную conditional, отвечает этому требованию.

Answer 2

Но если это расширение GCC, могу ли я гарантировать, что он будет работать для GCC, так как это уже нестандартная функциональность? Я протестировал его, и он, похоже, сработал, хотя я не знаю, сколько тестов я должен был бы сделать, чтобы действительно сломать его. (Я скрываю вызов __builtin_expect за макросом, который определен как no-op для не-GCC, поэтому было бы совершенно законно для других компиляторов.)

Вы правы, __builtin_expect должен быть macro no-op для других компиляторов, поэтому результат все еще определен.