r179846 - [analyzer] Call proper callback for const regions escaped other then on call.

[Jordan Rose]

Ah, good catch!


On Apr 19, 2013, at 2:39 , Anton Yartsev <anton.yartsev at gmail.com> 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
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits