]> granicus.if.org Git - clang/commit
[analyzer] Extend IdenticalExprChecker to check the two branches of an if.
authorJordan Rose <jordan_rose@apple.com>
Wed, 19 Feb 2014 17:44:11 +0000 (17:44 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 19 Feb 2014 17:44:11 +0000 (17:44 +0000)
commitf460d79f9854763df2377f0909ab2999aa78d013
treec7338c391c77c84d85e4a34560cffe4448c40cc5
parent05d56ef2c5241802b9a371fcce19759fd6ee789b
[analyzer] Extend IdenticalExprChecker to check the two branches of an if.

This extends the checks for identical expressions to handle identical
statements, and compares the consequent and alternative ("then" and "else")
branches of an if-statement to see if they are identical, treating a single
statement surrounded by braces as equivalent to one without braces.

This does /not/ check subsequent branches in an if/else chain, let alone
branches that are not consecutive. This may improve in a future patch, but
it would certainly take more work.

Patch by Daniel Fahlgren!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@201701 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/IdenticalExprChecker.cpp
test/Analysis/identical-expressions.cpp
test/Analysis/misc-ps-region-store.cpp