diff options
author | Anna Zaks <ganna@apple.com> | 2012-12-21 01:50:14 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-12-21 01:50:14 +0000 |
commit | 1655bcd052a67a3050fc55df8ecce57342352e68 (patch) | |
tree | 90239f90937585db00c995f914e811430624af77 /include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h | |
parent | 6d42f4d8b8a176336a8c49ec3cf5f7fb6545ccfd (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.h | 24 |
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. |