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

Question

Например, в коде:

bool foo = bar || baz();

функция baz() не может быть вызвана.Я обнаружил, что это типичный источник ошибок для меня, и мне интересно, есть ли способ для GCC напечатать предупреждение.

Answer 1

Для этого нет флага предупреждения, он будет генерировать предупреждение для слишком большого числа общих условий (if(condition) bar();, if(foo && foo->bar) baz(); и т. Д.).

Вместо этого сделайте что-то похожее на это:

bool foo = baz() || bar;

или это:

bool foo = bar | baz();

Это безоговорочно вызывает baz().