diff options
author | Anna Zaks <ganna@apple.com> | 2012-04-10 20:58:55 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-04-10 20:58:55 +0000 |
commit | 4335a48214dcbb258e08c8867c45648e25edb2ec (patch) | |
tree | 7e348d816ba328ddc66c08057961ba1d04d45eb3 /include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | |
parent | 69a30b838c723cb1850de55cfa48a402cfeeb6e0 (diff) |
[analyzer] + comments
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154433 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h')
-rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index 45f5f1b0e1..360d6486f9 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h @@ -250,11 +250,15 @@ public: SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; + /// \brief Return the value bound to the specified location. + /// Returns UnknownVal() if none found. SVal getSVal(Loc LV, QualType T = QualType()) const; /// Returns the "raw" SVal bound to LV before any value simplfication. SVal getRawSVal(Loc LV, QualType T= QualType()) const; + /// \brief Return the value bound to the specified location. + /// Returns UnknownVal() if none found. SVal getSVal(const MemRegion* R) const; SVal getSValAsScalarOrLoc(const MemRegion *R) const; |