c/4412: possible warning of logic errors not given

[bangerth@dealii.org]

Synopsis: possible warning of logic errors not given

State-Changed-From-To: open->closed
State-Changed-By: bangerth
State-Changed-When: Tue Nov  5 07:48:30 2002
State-Changed-Why:
    I think you want to much. People use this style of programming
    to make it more clear what they intend, and they will not
    want to get a warning on that. However, if you disagree
    (and maybe volunteer to implement such a warning),we can
    of course reopen this report. 

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=4412