[cfe-commits] [Patch]LocationContext Support for CheckedReturn

[Ted Kremenek]

Hi Lei,

LocationContext should not contain any checker-specific data.  It is only intended to model context-sensitivity (i.e., it simulates an abstract stack frame, or "location" in an abstract call chain).

What are you trying to do?

Ted

On Apr 10, 2011, at 8:26 PM, 章磊 wrote:

> Hi Clang,
>  
> This patch add a DenseMap to record the CheckedReturn count for a functiondecl(fielddecl, vardecl as function pointer) in LocationContext.
>  
> ImmutableMap seems not alright here, is DenseMap ok?
>  
> And how to make it checker-specific?
>  
> This patch is preparation for statistical UncheckedRenturn checker.
> I'll appreciate it if there are any advice about this patch.
> 
> -- 
> Best regards!
> 
> Lei Zhang
> <CRResultMap.patch>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits