[PATCH] Teach analyzer to model __builtin_assume_aligned

[Jordan Rose]

Committed in r217461. Thanks, Daniel!

On Sep 9, 2014, at 10:19 , Ted Kremenek <kremenek at apple.com> wrote:

> 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
> 
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits