diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2017-08-09 17:02:18 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2017-08-09 17:02:18 +0000 |
| commit | 78295067317093d31c8b2d5de087a565d2e9e8d3 (patch) | |
| tree | 4865c9db33b4e0a938213aa943b0b3cd8ec3fb65 /llvm/lib/Bitcode | |
| parent | cd3b9fedc78e0399ff761ce8710b309197b76958 (diff) | |
| download | bcm5719-llvm-78295067317093d31c8b2d5de087a565d2e9e8d3.tar.gz bcm5719-llvm-78295067317093d31c8b2d5de087a565d2e9e8d3.zip | |
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
Diffstat (limited to 'llvm/lib/Bitcode')
0 files changed, 0 insertions, 0 deletions
