--- Comment #3 from charlet at gcc dot gnu dot org 2008-05-12 22:38 ---
Right, this is really as intended, to avoid too many false positives.
The warning circuitry is not prepared to handle more complex cases,
which would require really a different kind of tool, so is out of the scope
of
--- Comment #2 from sam at gcc dot gnu dot org 2008-03-05 08:38 ---
Also note that for the same reason, you will not get a warning from an inlined
body. See sem_warn.adb (Warn_On_Known_Condition).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35464
--- Comment #1 from sam at gcc dot gnu dot org 2008-03-05 08:34 ---
Confirmed on GCC 4.4.0 20080303.
I think this warning is disabled on purpose on instances because you may end up
with conditions being always true or false *in somes instances only*. And in
these cases, you certainly do