------- 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 not want the warning to occur, as the code may be perfectly legit. Reinstating the warning in instances would require analyzing whether the current test depends, directly or indirectly, on generic formal parameters, and issuing the warning only when there are no dependencies. This would require quite a lot of work to do it properly. -- sam at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sam at gcc dot gnu dot org Severity|minor |enhancement Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Known to fail|4.1.2 4.3.0 |4.1.2 4.3.0 4.4.0 Priority|P3 |P5 Last reconfirmed|0000-00-00 00:00:00 |2008-03-05 08:34:58 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35464