[cfe-commits] Add Contains() to GRStateTrait's specialization of ImmutableList

[Ted Kremenek]

Applied:  r135241

Thanks!


On Jul 7, 2011, at 7:48 PM, Rui Paulo wrote:

> Errr, I mean:
> 
> http://llvm.org/bugs/show_bug.cgi?id=10307
> 
> On Jul 7, 2011, at 7:16 PM, Rui Paulo wrote:
> 
>> The Static Analyzer (GRStateTrail) can now have this method in its ImmutableList specialization.
>> 
>> http://llvm.org/bugs/attachment.cgi
>> 
>> 
>> Regards,
>> --
>> Rui Paulo
>> 
>> _______________________________________________
>> cfe-commits mailing list
>> cfe-commits at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
> 
> Regards,
> --
> Rui Paulo
> 
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits