diff options
| author | Arseniy Zaostrovnykh <necto.ne@gmail.com> | 2024-09-23 16:47:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-23 16:47:35 +0200 |
| commit | be0b1142df7733633354ef1f73d0379bcd2ccb54 (patch) | |
| tree | cd3bad2085f4b609352b0875210020cbcaf591e0 /llvm/lib/Analysis/LoopAccessAnalysis.cpp | |
| parent | d4798498c4a30efb03eebb56415a69fa60107414 (diff) | |
| download | llvm-be0b1142df7733633354ef1f73d0379bcd2ccb54.zip llvm-be0b1142df7733633354ef1f73d0379bcd2ccb54.tar.gz llvm-be0b1142df7733633354ef1f73d0379bcd2ccb54.tar.bz2 | |
[analyzer][StackAddrEscapeChecker] Fix assert failure for alloca regions (#109655)
Fixes #107852
Make it explicit that the checker skips `alloca` regions to avoid the
risk of producing false positives for code with advanced memory
management.
StackAddrEscapeChecker already used this strategy when it comes to
malloc'ed regions, so this change relaxes the assertion and explicitly
silents the issues related to memory regions generated with `alloca`.
Diffstat (limited to 'llvm/lib/Analysis/LoopAccessAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions