1299436 - Detect identical branches in if statements

Status: RESOLVED WONTFIX

(Developer Infrastructure :: Source Code Analysis, defect, P5)

Description

[Andi [:andi]]

I think we should implement this checker in our clang based static analysis tool, basically we need to assert to the engineer an error when statement like this kind are detected:

>>if (i < 2) {
>>	callAFunction();
>>} else {
>>	callAFunction();
>>}

extending this example to a more generic one we should be able to detect statements like:

>>if (<Logical Expression>) {
>>	<statements if>
>>} else {
>>	<statements else>
>>}

where <statements if> should be equal to <statements else>

Comment 1

[Sylvestre Ledru [:Sylvestre]]

Coverity gots it.