aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2012-12-21 01:50:14 +0000
committerAnna Zaks <ganna@apple.com>2012-12-21 01:50:14 +0000
commit1655bcd052a67a3050fc55df8ecce57342352e68 (patch)
tree90239f90937585db00c995f914e811430624af77 /include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
parent6d42f4d8b8a176336a8c49ec3cf5f7fb6545ccfd (diff)
[analyzer] Address Jordan's nitpicks as per code review of r170625.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170832 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h')
-rw-r--r--include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h24
1 files changed, 13 insertions, 11 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
index 0857d127b7..ef2278c94f 100644
--- a/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
+++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
@@ -220,19 +220,21 @@ public:
///
/// \param Regions the set of regions to be invalidated.
/// \param E the expression that caused the invalidation.
- /// \param BlockCount the current basic block count.
- /// \param ResultsInPointerEscape the flag is set to true when
- /// the invalidation is due to escape of a symbol (representing a pointer).
- /// For example, due to it being passed as an argument in a call.
+ /// \param BlockCount The number of times the current basic block has been
+ // visited.
+ /// \param CausedByPointerEscape the flag is set to true when
+ /// the invalidation is due to escape of a symbol (representing a
+ /// pointer). For example, due to it being passed as an argument in a
+ /// call.
/// \param IS the set of invalidated symbols.
- /// \param If Call is non-null, the invalidated regions were directly
- /// invalidated by the call - as parameters.
+ /// \param Call if non-null, the invalidated regions represent parameters to
+ /// the call and should be considered directly invalidated.
ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
- const Expr *E, unsigned BlockCount,
- const LocationContext *LCtx,
- bool ResultsInPointerEscape,
- InvalidatedSymbols *IS = 0,
- const CallEvent *Call = 0) const;
+ const Expr *E, unsigned BlockCount,
+ const LocationContext *LCtx,
+ bool CausedByPointerEscape,
+ InvalidatedSymbols *IS = 0,
+ const CallEvent *Call = 0) const;
/// enterStackFrame - Returns the state for entry to the given stack frame,
/// preserving the current state.