Add conjured symbols for decl initializations.

Add db_error as panic function.

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

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index d9a2313aa184a68cbdf7a7de1dddd70cc73a2350..770a133ba73f3ea8cdcf8c2b00253e980521d52a 100644 (file)
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1046,6 +1046,10 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred,
             if (!memcmp(s, "assfail", 7)) Builder->BuildSinks = true;
             break;
             
+          case 8:
+            if (!memcmp(s ,"db_error", 8)) Builder->BuildSinks = true;
+            break;
+            
           case 14:
             if (!memcmp(s, "dtrace_assfail", 14)) Builder->BuildSinks = true;
             break;
@@ -1375,9 +1379,24 @@ void GRExprEngine::VisitDeclStmtAux(DeclStmt* DS, ScopedDecl* D,
 
       QualType T = VD->getType();
 
-      if (T->isPointerType() || T->isIntegerType())
-        St = SetRVal(St, lval::DeclVal(VD),
-                     Ex ? GetRVal(St, Ex) : UndefinedVal());
+      if (T->isPointerType() || T->isIntegerType()) {
+        
+        RVal V = Ex ? GetRVal(St, Ex) : UndefinedVal();
+        
+        if (Ex && V.isUnknown()) {
+          
+          // EXPERIMENTAL: "Conjured" symbols.
+
+          unsigned Count = Builder->getCurrentBlockCount();
+          SymbolID Sym = SymMgr.getConjuredSymbol(Ex, Count);
+          
+          V = Ex->getType()->isPointerType()
+            ? cast<RVal>(lval::SymbolVal(Sym)) 
+            : cast<RVal>(nonlval::SymbolVal(Sym));            
+        }
+        
+        St = SetRVal(St, lval::DeclVal(VD), V);        
+      }
     }
 
     // Create a new node.  We don't really need to create a new NodeSet