[PATCH] Teach analyzer to model __builtin_assume_aligned

[Ted Kremenek]

Looks good to me.

> On Sep 9, 2014, at 9:42 AM, Daniel Fahlgren <daniel at fahlgren.se> wrote:
> 
> Hi,
> 
> On tis, 2014-09-09 at 12:30 +0200, Daniel Fahlgren wrote:
>> This patch teaches the analyzer how the __builtin_assume_aligned()
>> function works. All it does is to return the first argument it gets.
> 
> I must have been half asleep when I wrote that code, sorry. Attached is
> an updated patch that avoids code duplication.
> 
> Cheers,
> Daniel Fahlgren
> <assume_aligned.patch>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits