Ah, good catch!
On Apr 19, 2013, at 2:39 , Anton Yartsev <[email protected]> wrote: > Author: ayartsev > Date: Fri Apr 19 04:39:51 2013 > New Revision: 179846 > > URL: http://llvm.org/viewvc/llvm-project?rev=179846&view=rev > Log: > [analyzer] Call proper callback for const regions escaped other then on call. > > Modified: > cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp > > Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp > URL: > http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=179846&r1=179845&r2=179846&view=diff > ============================================================================== > --- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp (original) > +++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp Fri Apr 19 04:39:51 2013 > @@ -1811,7 +1811,8 @@ ExprEngine::notifyCheckersOfPointerEscap > return getCheckerManager().runCheckersForPointerEscape(State, > *Invalidated, > 0, > - PSK_EscapeOther); > + PSK_EscapeOther, > + IsConst); > > // Note: Due to current limitations of RegionStore, we only process the top > // level const pointers correctly. The lower level const pointers are > > > _______________________________________________ > cfe-commits mailing list > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
