Fix assertion when try is used inside catch(...) block
authorJennifer Yu <jennifer.yu@intel.com>
Wed, 10 May 2023 22:01:52 +0000 (15:01 -0700)
committerJennifer Yu <jennifer.yu@intel.com>
Wed, 17 May 2023 21:42:39 +0000 (14:42 -0700)
commit691927c904ede183461610387402f5c19dbb3de0
treecfbf912f081baf83d0507d98767aa2cb3ce8370f
parentfcf0a7bfd1c030ff45866f54415179d3ca5cbfc5
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
clang/lib/CodeGen/CGException.cpp
clang/test/CodeGen/windows-seh-EHa-CppCatchDotDotDot.cpp