diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2022-07-12 00:38:32 -0500 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2022-07-22 00:00:56 -0500 |
| commit | a50b9f9f1f89dcdfc163a9fcd76a6bcf20c26521 (patch) | |
| tree | 9c4b1573e500c826ec6d2a7d58506db9fd47b70e /clang/lib/CodeGen/CodeGenModule.cpp | |
| parent | a40af8589e88f7ebaf81d11a9aa5a4eaf1735eff (diff) | |
| download | llvm-a50b9f9f1f89dcdfc163a9fcd76a6bcf20c26521.zip llvm-a50b9f9f1f89dcdfc163a9fcd76a6bcf20c26521.tar.gz llvm-a50b9f9f1f89dcdfc163a9fcd76a6bcf20c26521.tar.bz2 | |
[Attributor][FIX] Handle non-recursive but re-entrant functions properly
If a function is non-recursive we only performed intra-procedural
reasoning for reachability (via AA::isPotentiallyReachable). However,
if it is re-entrant that doesn't mean we can't reach. Instead of this
problematic logic in the reachability reasoning we utilize logic in
AAPointerInfo. If a location is for sure written by a function it can
be re-entrant or recursive we know only intra-procedural reasoning is
sufficient.
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions