CFLAA: return MustAlias when pointers p, q are equal, i.e.,
authorNuno Lopes <nunoplopes@sapo.pt>
Wed, 9 Aug 2017 17:02:18 +0000 (17:02 +0000)
committerNuno Lopes <nunoplopes@sapo.pt>
Wed, 9 Aug 2017 17:02:18 +0000 (17:02 +0000)
commit78295067317093d31c8b2d5de087a565d2e9e8d3
tree4865c9db33b4e0a938213aa943b0b3cd8ec3fb65
parentcd3b9fedc78e0399ff761ce8710b309197b76958
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)

llvm-svn: 310495
llvm/include/llvm/Analysis/CFLSteensAliasAnalysis.h
llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp