diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-10-03 17:44:15 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-10-04 22:08:57 +0200 |
| commit | 30001af84ec5fa0c4f88da1df9c6682bdff44226 (patch) | |
| tree | 4555dafffb9cdaf52cfe5f691681a4a7d814e7a2 /clang/lib/CodeGen/CodeGenFunction.cpp | |
| parent | 83289665200b6b9212e0ff14e274b2c431a2e1fa (diff) | |
| download | llvm-30001af84ec5fa0c4f88da1df9c6682bdff44226.zip llvm-30001af84ec5fa0c4f88da1df9c6682bdff44226.tar.gz llvm-30001af84ec5fa0c4f88da1df9c6682bdff44226.tar.bz2 | |
[BasicAA] Ignore CanBeFreed in minimal extent reasoning
When determining NoAlias based on object size and dereferenceability
information, we can ignore frees for the same reason we can ignore
possible null pointers (if null is not a valid pointer): Actually
accessing the null pointer / freed pointer would be immediate UB,
and AA results are only valid under the assumption of an access.
This addresses a minor regression from D110745.
Differential Revision: https://reviews.llvm.org/D111028
Diffstat (limited to 'clang/lib/CodeGen/CodeGenFunction.cpp')
0 files changed, 0 insertions, 0 deletions