[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