有 try-catch 的函式，在緊鄰其結尾處，會有一個 .gcc_except_table 段。_Unwind_RaiseException 調用 __gxx_personality_v0 檢查 .gcc_except_table 段中的 LSDA 得知該函式是否可以處理當前的例外。

一但 personality function 返回_URC_HANDLER_FOUND，_Unwind_RaiseException 調用 _Unwind_RaiseException_Phase2。personality function 接受 _UA_CLEANUP_PHASE 表示此為第二輪清理。

static _Unwind_Reason_Code
_Unwind_RaiseException_Phase2(struct _Unwind_Exception *exc,
			      struct _Unwind_Context *context,
			      unsigned long *frames_p)
{
  while (1)
    {
      _Unwind_FrameState fs;
      int match_handler;
 
      code = uw_frame_state_for (context, &fs);
 
      /* Identify when we've reached the designated handler context.  */
      match_handler = (uw_identify_context (context) == exc->private_2
		       ? _UA_HANDLER_FRAME : 0);
 
      if (code != _URC_NO_REASON)
	/* Some error encountered.  Usually the unwinder doesn't
	   diagnose these and merely crashes.  */
	return _URC_FATAL_PHASE2_ERROR;
 
      /* Unwind successful.  Run the personality routine, if any.  */
      if (fs.personality)
	{
	  code = (*fs.personality) (1, _UA_CLEANUP_PHASE | match_handler,
				    exc->exception_class, exc, context);
	  if (code == _URC_INSTALL_CONTEXT)
	    break;
	  if (code != _URC_CONTINUE_UNWIND) 
	    return _URC_FATAL_PHASE2_ERROR;
	}
 
      /* Don't let us unwind past the handler context.  */
      gcc_assert (!match_handler);
 
      uw_update_context (context, &fs);
      frames++;
    }

personality function 於第一輪查找，應返回 _URC_HANDLER_FOUND 表示可處理例外的 catch 已被找到; 第二輪清理，應返回 _URC_INSTALL_CONTEXT 表示應當恢復執行。此時必須要指定於哪一個 catch (即 landing pad) 恢復執行。

personality function 讀取緊鄰函式之後，.gcc_except_table 段中的 LSDA，以得到該函式 landing pad 相關訊息。

.LFE1:
        .globl  __gxx_personality_v0
        .section        .gcc_except_table,"a",@progbits
        .align 4
.LLSDA1:
        .byte   0xff    # @LPStart format (omit)
        .byte   0x9b    # @TType format (indirect pcrel sdata4)
        .uleb128 .LLSDATT1-.LLSDATTD1   # @TType base offset
.LLSDATTD1:
        .byte   0x1     # call-site format (uleb128)
        .uleb128 .LLSDACSE1-.LLSDACSB1  # Call-site table length
.LLSDACSB1:
        .uleb128 .LEHB0-.LFB1   # region 0 start
        .uleb128 .LEHE0-.LEHB0  # length
        .uleb128 .L8-.LFB1      # landing pad
        .uleb128 0x1    # action
        .uleb128 .LEHB1-.LFB1   # region 1 start
        .uleb128 .LEHE1-.LEHB1  # length
        .uleb128 0      # landing pad
        .uleb128 0      # action
        .uleb128 .LEHB2-.LFB1   # region 2 start
        .uleb128 .LEHE2-.LEHB2  # length
        .uleb128 .L9-.LFB1      # landing pad
        .uleb128 0      # action
        .uleb128 .LEHB3-.LFB1   # region 3 start
        .uleb128 .LEHE3-.LEHB3  # length
        .uleb128 0      # landing pad
        .uleb128 0      # action
.LLSDACSE1:
        .byte   0x1     # Action record table
        .byte   0
        .align 4
        .long   DW.ref._ZTI14Fake_Exception-.
.LLSDATT1:
        .text
        .size   _Z18try_but_dont_catchv, .-_Z18try_but_dont_catchv
        .section        .rodata

以 try_but_dont_catch 為例，LSDA 將其分成數個區域 (region)。每一個區域都有對應的 call site table entry。

void try_but_dont_catch() {
    try {
/* region 0 begin */
        raise();
/* region 0 end */
    } catch(Fake_Exception&) {
/* region 2 begin */
        printf("Caught a Fake_Exception!\n");
/* region 2 end */
    }
/* region 1 begin */
    printf("try_but_dont_catch handled the exception\n");
/* region 1 end */
}

personality function 讀取緊鄰函式之後，.gcc_except_table 段中的 LSDA。透過 _Unwind_SetIP 設置要執行的 landing pad (即 catch)。這裡因為沒有透過 _Unwind_SetGR 將例外傳給 landing pad，landing pad 只能告知 _Unwind 無法處理該例外。當前實現，_Unwind 會陷入尋找可以處理例外的 landing pad 的無窮迴圈。

// lsda 是 LSDA 基地址，加上 LSDA header 和 call site table header，得到 call site table。
const uint8_t *cs_table_base = lsda + sizeof(LSDA_Header)
                                    + sizeof(LSDA_Call_Site_Header);
for (size_t i=0; i < cs_in_table; ++i)
{
    const uint8_t *offset = &cs_table_base[i * sizeof(LSDA_Call_Site)];
    LSDA_Call_Site cs(offset);
 
    if (cs.cs_lp)
    {
        uintptr_t func_start = _Unwind_GetRegionStart(context);
        _Unwind_SetIP(context, func_start + cs.cs_lp);
        break;
    }
}

當 ip (透過 _Unwind_GetIP 取得) 落在 start 和 start + len 之間，我們可以知道當前棧可以處理例外。

while (lsda < lsda_cs_table_end)
{
    LSDA_CS cs(&lsda);
 
    // If there's no LP we can't handle this exception; move on
    if (not cs.lp) continue;
 
    uintptr_t func_start = _Unwind_GetRegionStart(context);
 
    // Calculate the range of the instruction pointer valid for this
    // landing pad; if this LP can handle the current exception then
    // the IP for this stack frame must be in this range
    uintptr_t try_start = func_start + cs.start;
    uintptr_t try_end = func_start + cs.start + cs.len;
 
    // Check if this is the correct LP for the current try block
    if (throw_ip < try_start) continue;
    if (throw_ip > try_end) continue;
 
    // We found a landing pad for this exception; resume execution
    int r0 = __builtin_eh_return_data_regno(0);
    int r1 = __builtin_eh_return_data_regno(1);
 
    _Unwind_SetGR(context, r0, (uintptr_t)(unwind_exception));
    // Note the following code hardcodes the exception type;
    // we'll fix that later on
    _Unwind_SetGR(context, r1, (uintptr_t)(1));
 
    _Unwind_SetIP(context, func_start + cs.lp);
    break;
}

.gcc_except_table 段中有 call site table，action table 和 type table。type table 紀錄型別資訊。

.LLSDACSE1:
        .byte   0x1     # Action record table
        .byte   0
        .align 4
        .long   DW.ref._ZTI14Fake_Exception-.
.LLSDATT1:              # Type table 結尾。

LSDA 標頭紀錄 type table 的偏移 (@TType base offset)。

.LLSDA1:
        .byte   0xff    # @LPStart format (omit)
        .byte   0x9b    # @TType format (indirect pcrel sdata4)
        .uleb128 .LLSDATT1-.LLSDATTD1   # @TType base offset

call site table entry 紀錄 action table 的索引 (非零值減去 1 才是真正的索引。0 表示沒有 action)。

.LLSDACSB1:
        .uleb128 .LEHB0-.LFB1   # region 0 start
        .uleb128 .LEHE0-.LEHB0  # length
        .uleb128 .L8-.LFB1      # landing pad
        .uleb128 0x1    # action

對於帶有 catch 的 landing pad，其 action table entry 紀錄 type table 的反向索引 (即要乘上 -1)。

.LLSDACSE1:
        .byte   0x1     # Action record table
        .byte   0
        .align 4
        .long   DW.ref._ZTI14Fake_Exception-. # catch 可以處理例外的型別。
.LLSDATT1:

__cxa_throw 會將例外的型別傳遞給 _Unwind_RaiseException。

extern "C" __cxa_refcounted_exception*
__cxxabiv1::
__cxa_init_primary_exception(void *obj, std::type_info *tinfo,
			     void (_GLIBCXX_CDTOR_CALLABI *dest) (void *))
_GLIBCXX_NOTHROW
{
  __cxa_refcounted_exception *header
    = __get_refcounted_exception_header_from_obj (obj);
  header->exc.exceptionType = tinfo;
 
  return header;
}
 
extern "C" void
__cxxabiv1::__cxa_throw (void *obj, std::type_info *tinfo,
			 void (_GLIBCXX_CDTOR_CALLABI *dest) (void *))
{
  __cxa_refcounted_exception *header =
    __cxa_init_primary_exception(obj, tinfo, dest);
 
  _Unwind_RaiseException (&header->exc.unwindHeader);
}

_Unwind_RaiseException 調用 personality function 檢視 LSDA 中的型別，和當前例外的型別對照，決定 landing pad 是否能處理該例外。

描述如何檢視 .gcc_except_table 中的 call site table，action table 和 type table 以找到 landing pad 可以處理的例外型別。

action table entry 的 type index 如果為 0，表示該 landing pad 負責清理 (例如執行解構子)，最後調用 _Unwind_Resume。