[all-commits] [llvm/llvm-project] 691927: Fix assertion when try is used inside catch(...) b...

jyu2-git via All-commits all-commits at lists.llvm.org
Wed May 17 14:56:25 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 691927c904ede183461610387402f5c19dbb3de0
      https://github.com/llvm/llvm-project/commit/691927c904ede183461610387402f5c19dbb3de0
  Author: Jennifer Yu <jennifer.yu at intel.com>
  Date:   2023-05-17 (Wed, 17 May 2023)

  Changed paths:
    M clang/lib/CodeGen/CGException.cpp
    M clang/test/CodeGen/windows-seh-EHa-CppCatchDotDotDot.cpp

  Log Message:
  -----------
  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




More information about the All-commits mailing list