]> granicus.if.org Git - clang/commitdiff
Add accessor method.
authorTed Kremenek <kremenek@apple.com>
Wed, 11 Mar 2009 02:23:48 +0000 (02:23 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 11 Mar 2009 02:23:48 +0000 (02:23 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66626 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/GRExprEngine.h

index dd996bbbf17bfa06528c860b3988bc442071e49e..dc9767312c0dc6150df1fb53c4d0ee2043d1c146 100644 (file)
@@ -430,6 +430,10 @@ public:
 
   StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
   
+  ConstraintManager& getConstraintManager() {
+    return StateMgr.getConstraintManager();
+  }
+  
   BasicValueFactory& getBasicVals() {
     return StateMgr.getBasicVals();
   }