diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-10-07 10:15:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-07 09:15:25 +0000 |
| commit | 8b8c59c31f41e0a9dad4ca85fdea0f7249c251ee (patch) | |
| tree | be231f50cef3ddf7eb1925a8fae10294f879c130 /clang/lib/CodeGen/CodeGenFunction.cpp | |
| parent | fb17bc70acd77f1799ee64f6d2a21d8df2944b5a (diff) | |
| download | llvm-8b8c59c31f41e0a9dad4ca85fdea0f7249c251ee.zip llvm-8b8c59c31f41e0a9dad4ca85fdea0f7249c251ee.tar.gz llvm-8b8c59c31f41e0a9dad4ca85fdea0f7249c251ee.tar.bz2 | |
[Loads] Check if Ptr can be freed between Assume and CtxI. (#161255)
When using information from dereferenceable assumptions, we need to make
sure that the memory is not freed between the assume and the specified
context instruction. Instead of just checking canBeFreed, check if there
any calls that may free between the assume and the context instruction.
Note that this also adjusts the context instruction to be the terminator
in the loop predecessor, if there is one and it is a branch (to avoid
things like invoke).
PR: https://github.com/llvm/llvm-project/pull/161255
Diffstat (limited to 'clang/lib/CodeGen/CodeGenFunction.cpp')
0 files changed, 0 insertions, 0 deletions