[PATCH] Teach analyzer to model __builtin_assume_aligned
Jordan Rose
jordan_rose at apple.com
Tue Sep 9 14:52:05 PDT 2014
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
More information about the cfe-commits
mailing list