diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-10-03 14:44:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-03 13:44:58 +0000 |
| commit | 7ceef762c8c914270cfa49ad5794227b270c8223 (patch) | |
| tree | 51cf53f5b307a2a4074563cb2f2433fe488a7f08 /llvm/unittests/Analysis/FunctionPropertiesAnalysisTest.cpp | |
| parent | 296fddc89e23b33055ff3f7ccb55de6c47dac757 (diff) | |
| download | llvm-7ceef762c8c914270cfa49ad5794227b270c8223.zip llvm-7ceef762c8c914270cfa49ad5794227b270c8223.tar.gz llvm-7ceef762c8c914270cfa49ad5794227b270c8223.tar.bz2 | |
[LAA] Check if Ptr can be freed between Assume and CtxI. (#161725)
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.
This patch introduces a willNotFreeBetween to check for calls that may
free between an assume and a context instructions, to also be used in
https://github.com/llvm/llvm-project/pull/161255.
PR: https://github.com/llvm/llvm-project/pull/161725
Diffstat (limited to 'llvm/unittests/Analysis/FunctionPropertiesAnalysisTest.cpp')
0 files changed, 0 insertions, 0 deletions