BugReporter: for extensive PathDiagnostic generation, add control-flow from the

start of the function/method.


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

1 files changed, 17 insertions, 1 deletions

diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp
index c8f54c0410..f4a7ff1aee 100644
--- a/lib/Analysis/BugReporter.cpp
+++ b/lib/Analysis/BugReporter.cpp
@@ -148,6 +148,14 @@ public:
     return getParentMap().getParent(S);
   }
   
+  const CFG& getCFG() {
+    return *BR.getCFG();
+  }
+  
+  const Decl& getCodeDecl() {
+    return BR.getStateManager().getCodeDecl();
+  }
+  
   ExplodedGraph<GRState>& getGraph() { return *ReportGraph; }
   NodeMapClosure& getNodeMapClosure() { return NMC; }
   ASTContext& getContext() { return BR.getContext(); }
@@ -830,6 +838,14 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
     // Block edges.
     if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) {
       const CFGBlock &Blk = *BE->getSrc();
+
+      // Add a special edge for the entrance into the function/method.
+      if (&Blk == &PDB.getCFG().getEntry()) {
+        FullSourceLoc L = FullSourceLoc(PDB.getCodeDecl().getLocation(), SMgr);
+        GenExtAddEdge(PD, PDB, L.getSpellingLoc(), PrevLoc);
+        continue;
+      }
+      
       if (const Stmt *Term = Blk.getTerminator()) {
         const Stmt *Cond = Blk.getTerminatorCondition();
         
@@ -859,7 +875,7 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
       if (const Stmt* S = BE->getFirstStmt()) {        
         if (!IsControlFlowExpr(S) && !IsNestedDeclStmt(S, PDB.getParentMap())) {
           if (PrevLoc.isValid()) {
-            // Are we jumping with the same enclosing statement?          
+            // Are we jumping within the same enclosing statement?          
             if (PDB.getEnclosingStmtLocation(S) ==
                 PDB.getEnclosingStmtLocation(PrevLoc))
             continue;