diff options
| author | Ziqing Luo <ziqing@udel.edu> | 2024-01-26 11:23:15 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-26 11:23:15 -0800 |
| commit | 2a068507016e476893b6b1b9c55b255dbae5829e (patch) | |
| tree | 6798342c675c0fb6a225d4edc5f748f2535f2b25 /llvm/lib/CodeGen/BranchFolding.cpp | |
| parent | 6c74d8083bd97ff47cadb43cdf03da35f450389a (diff) | |
| download | llvm-2a068507016e476893b6b1b9c55b255dbae5829e.zip llvm-2a068507016e476893b6b1b9c55b255dbae5829e.tar.gz llvm-2a068507016e476893b6b1b9c55b255dbae5829e.tar.bz2 | |
[-Wcompletion-handler] Fix a non-termination issue (#78380)
The Called-Once dataflow analysis could never terminate as a
consequence of non-monotonic update on states. States of kind Escape
can override states leading to non-monotonic update.
This fix disallows the `Escape` state to override the `Reported`
state.
rdar://119671856
Diffstat (limited to 'llvm/lib/CodeGen/BranchFolding.cpp')
0 files changed, 0 insertions, 0 deletions