https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77431
Bug ID: 77431 Summary: warn for having the same code in if-else branches Product: gcc Version: 7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: manu at gcc dot gnu.org Target Milestone: --- Simple testcase: int foo(int *a) { if (a) return 0; else return 0; } Complex testcase in GCC sources: PR77424