]> granicus.if.org Git - clang/commit
Revert "[analyzer; alternate edges] don't add an edge incoming from the start of...
authorJordan Rose <jordan_rose@apple.com>
Thu, 30 May 2013 21:30:17 +0000 (21:30 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 30 May 2013 21:30:17 +0000 (21:30 +0000)
commit904fd08edbedeb18b16875dd54b3f1edb049e9b9
tree3115faf9b4aa5df19f04f49aa5c524dc5e8df317
parente98089083f2504a4b1f55a9f00a2a2df63cb72e0
Revert "[analyzer; alternate edges] don't add an edge incoming from the start of a function"

...and make this work correctly in the current codebase.

After living on this for a while, it turns out to look very strange for
inlined functions that have only a single statement, and somewhat strange
for inlined functions in general (since they are still conceptually in the
middle of the path, and there is a function-entry path note).

It's worth noting that this only affects inlined functions; in the new
arrow generation algorithm, the top-level function still starts at the
first real statement in the function body, not the enclosing CompoundStmt.

This reverts r182078 / dbfa950abe0e55b173286a306ee620eff5f72ea.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@182963 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporter.cpp
test/Analysis/edges-new.mm