[llvm] r310495 - CFLAA: return MustAlias when pointers p, q are equal, i.e.,

[Davide Italiano via llvm-commits]

On Wed, Aug 9, 2017 at 10:02 AM, Nuno Lopes via llvm-commits
<llvm-commits at lists.llvm.org> wrote:
> Author: nlopes
> Date: Wed Aug  9 10:02:18 2017
> New Revision: 310495
>
> URL: http://llvm.org/viewvc/llvm-project?rev=310495&view=rev
> Log:
> CFLAA: return MustAlias when pointers p, q are equal, i.e.,
> must-alias(p, sz_p, p, sz_q)  irrespective of access sizes sz_p, sz_q
>
> As discussed a couple of weeks ago on the ML.
> This makes the behavior consistent with that of BasicAA.
> AA clients already check the obj size themselves and may not require the
> obj size to match exactly the access size (e.g., in case of store forwarding)
>

Thanks.
Can you add a testcase for this? (if it's not too hard).

--
Davide