aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
diff options
context:
space:
mode:
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.