From 9852b5bf94d4934de63da6356c651c61e81f58d9 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Mon, 6 Jul 2009 05:34:56 +0000 Subject: [PATCH] AllocaRegion and SymbolicRegion are both boundable. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74815 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/clang/Analysis/PathSensitive/MemRegion.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h index 5926229e51..376c440398 100644 --- a/include/clang/Analysis/PathSensitive/MemRegion.h +++ b/include/clang/Analysis/PathSensitive/MemRegion.h @@ -155,7 +155,9 @@ protected: public: const Expr* getExpr() const { return Ex; } - + + bool isBoundable() const { return true; } + void Profile(llvm::FoldingSetNodeID& ID) const; static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr* Ex, @@ -286,6 +288,8 @@ public: return sym; } + bool isBoundable() const { return true; } + void Profile(llvm::FoldingSetNodeID& ID) const; static void ProfileRegion(llvm::FoldingSetNodeID& ID, -- 2.40.0