Author: kremenek
Date: Mon Feb 16 15:57:23 2009
New Revision: 64675
URL: http://llvm.org/viewvc/llvm-project?rev=64675&view=rev
Log:
Add getSymbolManager() and getBasicVals() accessors to GRStateRef.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h?rev=64675&r1=64674&r2=64675&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRState.h Mon Feb 16
15:57:23 2009
@@ -742,6 +742,9 @@
return cb;
}
+ SymbolManager& getSymbolManager() { return Mgr->getSymbolManager(); }
+ BasicValueFactory& getBasicVals() { return Mgr->getBasicVals(); }
+
// Pretty-printing.
void print(std::ostream& Out, const char* nl = "\n",
const char *sep = "") const;
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
