diff options
-rw-r--r-- | include/clang/GR/PathSensitive/SValBuilder.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/clang/GR/PathSensitive/SValBuilder.h b/include/clang/GR/PathSensitive/SValBuilder.h index 2869a2ff5b..95780254e3 100644 --- a/include/clang/GR/PathSensitive/SValBuilder.h +++ b/include/clang/GR/PathSensitive/SValBuilder.h @@ -95,6 +95,14 @@ public: 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; } |