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 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
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 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 6b33940463..2e2f00ddc4 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1602,14 +1602,13 @@ public: }; } // end anonymous namespace -/// Call PointerEscape callback when a value escapes as a result of bind. -/// A value escapes in three possible cases: -/// (1) we are binding to something that is not a memory region. -/// (2) we are binding to a memregion that does not have stack storage -/// (3) we are binding to a memregion with stack storage that the store -/// does not understand. +// A value escapes in three possible cases: +// (1) We are binding to something that is not a memory region. +// (2) We are binding to a MemrRegion that does not have stack storage. +// (3) We are binding to a MemRegion with stack storage that the store +// does not understand. ProgramStateRef ExprEngine::processPointerEscapedOnBind(ProgramStateRef State, - SVal Loc, SVal Val) { + SVal Loc, SVal Val) { // Are we storing to something that causes the value to "escape"? bool escapes = true; @@ -1647,8 +1646,6 @@ ProgramStateRef ExprEngine::processPointerEscapedOnBind(ProgramStateRef State, return State; } -/// Call PointerEscape callback when a value escapes as a result of -/// region invalidation. ProgramStateRef ExprEngine::processPointerEscapedOnInvalidateRegions(ProgramStateRef State, const InvalidatedSymbols *Invalidated, |