https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82100
--- Comment #8 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to Richard Hazlewood from comment #7)
> Here's one that slipped through our net, that ought to have been obvious to
> the human reviewers...
Here is cppcheck getting close to what you want:
$ ~/cppcheck/trunk/cppcheck --enable=all aug2d.cc
aug2d.cc:11:12: style: Expression is always true because 'else if' condition is
opposite to previous condition at line 7. [multiCondition]
else if (!b)
^
aug2d.cc:7:7: note: first condition
if (b)
^
aug2d.cc:11:12: note: else if condition is opposite to first condition
else if (!b)
^
