[cfe-commits] r122467 - /cfe/trunk/include/clang/GR/PathSensitive/SValBuilder.h

[Ted Kremenek]

Author: kremenek
Date: Wed Dec 22 20:42:34 2010
New Revision: 122467

URL: http://llvm.org/viewvc/llvm-project?rev=122467&view=rev
Log:
Add 'getConditionType()' and 'getArrayIndexType()'
to SValBuilder.  These two query methods are useful
for constructing SVals.

Modified:
    cfe/trunk/include/clang/GR/PathSensitive/SValBuilder.h

Modified: cfe/trunk/include/clang/GR/PathSensitive/SValBuilder.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/GR/PathSensitive/SValBuilder.h?rev=122467&r1=122466&r2=122467&view=diff
==============================================================================
--- cfe/trunk/include/clang/GR/PathSensitive/SValBuilder.h (original)
+++ cfe/trunk/include/clang/GR/PathSensitive/SValBuilder.h Wed Dec 22 20:42:34 2010
@@ -95,6 +95,14 @@
   const ASTContext &getContext() const { return Context; }
 
   GRStateManager &getStateManager() { return StateMgr; }
+  
+  QualType getConditionType() const {
+    return  getContext().IntTy;
+  }
+  
+  QualType getArrayIndexType() const {
+    return ArrayIndexTy;
+  }
 
   BasicValueFactory &getBasicValueFactory() { return BasicVals; }
   const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }