diff options
author | Jennifer Yu <jennifer.yu@intel.com> | 2023-05-10 15:01:52 -0700 |
---|---|---|
committer | Jennifer Yu <jennifer.yu@intel.com> | 2023-05-17 14:42:39 -0700 |
commit | 691927c904ede183461610387402f5c19dbb3de0 (patch) | |
tree | cfbf912f081baf83d0507d98767aa2cb3ce8370f /mlir | |
parent | fcf0a7bfd1c030ff45866f54415179d3ca5cbfc5 (diff) | |
download | llvm-691927c904ede183461610387402f5c19dbb3de0.tar.gz |
Fix assertion when try is used inside catch(...) block
Current assert wiht /EHa:
A single unwind edge may only enter one EH pad
invoke void @llvm.seh.try.begin()
to label %invoke.cont1 unwind label %catch.dispatch2
Current IR:
%1 = catchpad within %0 [ptr null, i32 0, ptr null]
invoke void @llvm.seh.try.begin()
to label %invoke.cont5 unwind label %catch.dispatch2
The problem is the invoke to llvm.seh.try.begin() missing "funclet"
Accodring: https://llvm.org/docs/LangRef.html#ob-funclet
If any "funclet" EH pads have been entered but not exited (per the
description in the EH doc), it is undefined behavior to execute a
call or invoke.
To fix the problem, when emit seh_try_begin, call EmitSehTryScopeBegin,
instead of calling EmitRuntimeCallOrInvoke for proper "funclet"
gerenration.
Differential Revision: https://reviews.llvm.org/D150340
Diffstat (limited to 'mlir')
0 files changed, 0 insertions, 0 deletions