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/CheckerManager.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/CheckerManager.h')
-rw-r--r-- | include/clang/StaticAnalyzer/Core/CheckerManager.h | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/include/clang/StaticAnalyzer/Core/CheckerManager.h b/include/clang/StaticAnalyzer/Core/CheckerManager.h index 80e06c1e84..12de1082a9 100644 --- a/include/clang/StaticAnalyzer/Core/CheckerManager.h +++ b/include/clang/StaticAnalyzer/Core/CheckerManager.h @@ -318,22 +318,23 @@ public: /// \brief Run checkers when pointers escape. /// /// This notifies the checkers about pointer escape, which occurs whenever - /// the analzyer cannot track the symbol any more. For example, as a + /// the analyzer cannot track the symbol any more. For example, as a /// result of assigning a pointer into a global or when it's passed to a /// function call the analyzer cannot model. /// /// \param State The state at the point of escape. /// \param Escaped The list of escaped symbols. /// \param Call The corresponding CallEvent, if the symbols escape as - /// parameters to the given call. + /// parameters to the given call. /// \returns Checkers can modify the state by returning a new one. - ProgramStateRef runCheckersForPointerEscape(ProgramStateRef State, - const InvalidatedSymbols &Escaped, - const CallEvent *Call); + ProgramStateRef + runCheckersForPointerEscape(ProgramStateRef State, + const InvalidatedSymbols &Escaped, + const CallEvent *Call); /// \brief Run checkers for handling assumptions on symbolic values. ProgramStateRef runCheckersForEvalAssume(ProgramStateRef state, - SVal Cond, bool Assumption); + SVal Cond, bool Assumption); /// \brief Run checkers for evaluating a call. /// |