commit dbfa950abe0e55b173286a306ee620eff5f72ea8
author Ted Kremenek <kremenek@apple.com> Fri May 17 06:48:22 2013 +0000
committer Ted Kremenek <kremenek@apple.com> Fri May 17 06:48:22 2013 +0000
tree a100b4de7c1b3332cd93550d92b9d6925b0539a0
parent 24ce46c8cec99d2e63bed052696e79b6487885fb

[analyzer; alternate edges] don't add an edge incoming from the start of a function
for a nested call.  This matches what we do with the first stack frame.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@182078 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/BugReporter.cpp

diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index 8388e76..6957ad7 100644
--- a/lib/StaticAnalyzer/Core/BugReporter.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporter.cpp
@@ -1594,14 +1594,6 @@
       // call exit before this point.  This means that the path
       // terminated within the call itself.
       if (Optional<CallEnter> CE = P.getAs<CallEnter>()) {
-        // Add an edge to the start of the function.
-        const StackFrameContext *CalleeLC = CE->getCalleeContext();
-        PathDiagnosticLocation &PrevLocCallee = PrevLocMap[CalleeLC];
-        const Decl *D = CalleeLC->getDecl();
-        addEdgeToPath(PD.getActivePath(), PrevLocCallee,
-                      PathDiagnosticLocation::createBegin(D, SM),
-                      CalleeLC);
-
         // Did we visit an entire call?
         bool VisitedEntireCall = PD.isWithinCall();
         PD.popActivePath();