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
> [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

Reply via email to