[Bug debug/35188] New: Missing a warning: if-condition is inherently blocking the if-body

[tuttle at sandbox dot cz]

I would consider to be great when this code

if ( (var == 1) && (var == 2) ) { body }

would cause a warning, that the body is
unreachable under any circumstances.

I have made several mistakes like this in the
past and it is annoying to track down...


-- 
           Summary: Missing a warning: if-condition is inherently blocking
                    the if-body
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: debug
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tuttle at sandbox dot cz


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35188