[PATCH] Teach analyzer to model __builtin_assume_aligned

[Daniel Fahlgren]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: assume_aligned.patch
Type: text/x-patch
Size: 1785 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140909/78f5a696/attachment.bin>