]> granicus.if.org Git - llvm/commit
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)
commitcf10b736fb9222773467c54c322c6af99d2fd6a5
tree1e495dfc99e4eae8d545921452e244ccb4760af2
parent085d544d52e18e9b8208d78bf55709e4bce59dd1
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)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@310495 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/CFLSteensAliasAnalysis.h
lib/Analysis/CFLAndersAliasAnalysis.cpp