[C/C++/IRA] PR 16302 gcc fails to warn about some common logic errors

[Manuel López-Ibáñez]

2009/5/19 Eric Botcazou <ebotcazou@adacore.com>:
>> This just solves one instance of the problem. As long as we cannot
>> check for macro expansions, we will have the problem elsewhere. I am
>> ok with moving the warning out of Wextra. Much better than using
>> -Wno-logical-op, since this is likely to affect other programs, not
>> only GCC.
>
> The bug in IRA very likely wouldn't have been found if the warning hadn't been
> part of -Wextra though.  Same for the one in libiberty.

But I don't see any way to have our cake and eat it too, short of
fixing every problem with some workaround. For example, we could use a
static inline instead of a macro.

Cheers,

Manuel.