Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code | Sign in
(29)

Unified Diff: include/clang/Checker/PathSensitive/Environment.h

Issue 2920041: draft fix for pr8419 Base URL: http://llvm.org/svn/llvm-project/cfe/trunk/
Patch Set: improve comments in Clang static analyzer Created 13 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Please Sign in to add in-line comments.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | include/clang/Checker/PathSensitive/GRExprEngine.h » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: include/clang/Checker/PathSensitive/Environment.h
===================================================================
--- include/clang/Checker/PathSensitive/Environment.h (revision 120002)
+++ include/clang/Checker/PathSensitive/Environment.h (working copy)
@@ -27,7 +27,9 @@
class ValueManager;
class LiveVariables;
-
+/// Environment - An immutable map from Stmts to their current
+/// symbolic values (SVals).
+///
class Environment {
private:
friend class EnvironmentManager;
@@ -51,6 +53,8 @@
return X ? *X : UnknownVal();
}
+ /// GetSVal - Fetches the current binding of the expression in the
+ /// Environment.
SVal GetSVal(const Stmt* Ex, ValueManager& ValMgr) const;
/// Profile - Profile the contents of an Environment object for use
« no previous file with comments | « no previous file | include/clang/Checker/PathSensitive/GRExprEngine.h » ('j') | no next file with comments »

Powered by Google App Engine
RSS Feeds Recent Issues | This issue
This is Rietveld f62528b