[PATCH] Fix check for noalias function

[Reid Kleckner]

Seems good, but it could use a test case.  In general, I'm not sure how we
tests analyses, since they need a transform that uses them to test.


On Mon, Apr 28, 2014 at 12:33 AM, Tobias Güntner <
guentner at rbg.informatik.tu-darmstadt.de> wrote:

> Am 10.04.2014 23:10, schrieb Tobias Güntner:
>
>> Hi!
>>
>> isNoAliasFn returns 'false' for the call instruction in this example:
>>
>> declare noalias i8* @test()
>> define void @foo() {
>>    call i8* @test()
>>    ret void
>> }
>>
>> isNoAliasFn checks if the function has a noalias attribute. I suppose it
>> should check the return value instead. I've attached a patch.
>>
>> Regards,
>> Tobias
>>
>
> ping
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140430/db767c6b/attachment.html>