diff options
| author | Martin Braenne <mboehme@google.com> | 2023-03-23 07:45:40 +0000 |
|---|---|---|
| committer | Martin Braenne <mboehme@google.com> | 2023-03-23 08:02:43 +0000 |
| commit | 5acd29eb4d9e411b3631c26babcd1d2655623f4a (patch) | |
| tree | 2c5cc47224367e4b5c2bb2364b5ef00e0f9576f9 /llvm/lib/CodeGen/MachineCheckDebugify.cpp | |
| parent | 467cf1542808851773500fe0af0da916f46fa80c (diff) | |
| download | llvm-5acd29eb4d9e411b3631c26babcd1d2655623f4a.zip llvm-5acd29eb4d9e411b3631c26babcd1d2655623f4a.tar.gz llvm-5acd29eb4d9e411b3631c26babcd1d2655623f4a.tar.bz2 | |
[clang][dataflow] Fix crash when RHS of `&&` or `||` calls `noreturn` func.
The crash happened because the transfer fucntion for `&&` and `||`
unconditionally tried to retrieve the value of the RHS. However, if the RHS
is unreachable, there is no environment for it, and trying to retrieve the
operand's value causes an assertion failure.
See also the comments in the code for further details.
Reviewed By: xazax.hun, ymandel, sgatev, gribozavr2
Differential Revision: https://reviews.llvm.org/D146514
Diffstat (limited to 'llvm/lib/CodeGen/MachineCheckDebugify.cpp')
0 files changed, 0 insertions, 0 deletions