diff options
Diffstat (limited to 'clang/include')
-rw-r--r-- | clang/include/clang/Analysis/PathSensitive/SVals.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/SVals.h b/clang/include/clang/Analysis/PathSensitive/SVals.h index 264d8898e28..a3187ea8197 100644 --- a/clang/include/clang/Analysis/PathSensitive/SVals.h +++ b/clang/include/clang/Analysis/PathSensitive/SVals.h @@ -28,6 +28,7 @@ namespace clang { class CompoundValData; class BasicValueFactory; class MemRegion; +class MemRegionManager; class GRStateManager; class SVal { @@ -72,7 +73,8 @@ public: } /// GetRValueSymbolVal - make a unique symbol for value of R. - static SVal GetRValueSymbolVal(SymbolManager& SymMgr, const MemRegion* R); + static SVal GetRValueSymbolVal(SymbolManager& SymMgr, MemRegionManager& MRMgr, + const MemRegion* R); static SVal GetConjuredSymbolVal(SymbolManager& SymMgr, const Expr *E, unsigned Count); |