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

Ted Kremenek kremenek at apple.com
Mon Apr 11 10:19:17 PDT 2011

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?


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

More information about the cfe-commits mailing list