Added lazy "symbolication" of parameter variables and global variables.
Added recording of divide-by-zero and divide-by-uninitialized nodes.
llvm-svn: 47586
diff --git a/clang/Analysis/RValues.cpp b/clang/Analysis/RValues.cpp
index 178d794..bc6a75c 100644
--- a/clang/Analysis/RValues.cpp
+++ b/clang/Analysis/RValues.cpp
@@ -214,7 +214,7 @@
return nonlval::ConcreteInt(ValMgr.getTruthValue(b));
}
-RVal RVal::GetSymbolValue(SymbolManager& SymMgr, ParmVarDecl* D) {
+RVal RVal::GetSymbolValue(SymbolManager& SymMgr, VarDecl* D) {
QualType T = D->getType();