From daadba5d45d4c98d5fdf67e8fb178cab9ab30bea Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Tue, 10 Apr 2012 20:58:55 +0000 Subject: [PATCH] [analyzer] + comments llvm-svn: 154433 --- .../clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h index 45f5f1b0e140..360d6486f966 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h +++ b/clang/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;