[cfe-commits] r154433 - /cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
Anna Zaks
ganna at apple.com
Tue Apr 10 13:58:56 PDT 2012
Author: zaks
Date: Tue Apr 10 15:58:55 2012
New Revision: 154433
URL: http://llvm.org/viewvc/llvm-project?rev=154433&view=rev
Log:
[analyzer] + comments
Modified:
cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h?rev=154433&r1=154432&r2=154433&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h Tue Apr 10 15:58:55 2012
@@ -250,11 +250,15 @@
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;
More information about the cfe-commits
mailing list