<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/57469>57469</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Verifier error if unwinding used in same module as _Unwind_Resume definition with debug info
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          nikic
      </td>
    </tr>
</table>

<pre>
    ```
; RUN: opt -S -mtriple=x86_64-linux-gnu -dwarfehprepare < %s
define void @_Unwind_Resume(ptr %ptr) !dbg !4 {
  ret void, !dbg !11
}

declare i32 @__gxx_personality_v0(...)
declare void @might_throw()

define void @simple_cleanup_catch() personality ptr @__gxx_personality_v0 !dbg !12 {
  invoke void @might_throw()
          to label %exit unwind label %landingpad, !dbg !15

exit:
  ret void

landingpad:
  %ex = landingpad { ptr, i32 }
      cleanup
  resume { ptr, i32 } %ex
}

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!2, !3}

!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 16.0.0 (https://github.com/llvm/llvm-project.git a4c8fb9d1f46f30c66a9ca0dd07c7933f338bb34)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
!1 = !DIFile(filename: "/app/example.c", directory: "/app")
!2 = !{i32 7, !"Dwarf Version", i32 4}
!3 = !{i32 2, !"Debug Info Version", i32 3}
!4 = distinct !DISubprogram(name: "_Unwind_Resume", scope: !5, file: !5, line: 1, type: !6, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !9)
!5 = !DIFile(filename: "example.c", directory: "/app")
!6 = !DISubroutineType(types: !7)
!7 = !{null, !8}
!8 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64)
!9 = !{!10}
!10 = !DILocalVariable(name: "exception", arg: 1, scope: !4, file: !5, line: 1, type: !8)
!11 = !DILocation(line: 2, column: 1, scope: !4)
!12 = distinct !DISubprogram(name: "test", scope: !5, file: !5, line: 4, type: !13, scopeLine: 4, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0)
!13 = !DISubroutineType(types: !14)
!14 = !{null}
!15 = !DILocation(line: 6, column: 1, scope: !12)
```

Results in the following verifier error for the inserted _Unwind_Resume call:
```
inlinable function call in a function with debug info must have a !dbg location
  call void @_Unwind_Resume(ptr %exn.obj) #0
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1Vttu4zYQ_Rr7hYgg62bpwQ9ZG1kEDdLF7iZ9NChpJHOXIgWScpx-fYeUHMlat2kK1DAsk5zrmTMj5rJ83SwSf_j6u4V_uwg_ka9Pj4vwlsjWkJtv5KYxirUcFuHulCb7JLrhTHSnm1p05KZ8oaqCQ6ugpQrIItySRRDr3lYJFRNAjpKVZBH5-yfxwkS5_wq6a2ARpK1RVhofiyDDf6syr-0jIov1p94EIQqMs7AIthOR1WoId70b_gweC27jYGHgPO7r02nfgtJSUM7M6_7oo1_P89DhpcY5yIbVB7M3ByVfUPJN7GpCmjWIy77gQEXX7gtqikOvRCY-iUvzejDTjIJp1kwc5c93oyJvHyMJpzlwiyecmCGdw3rc5FSUTNQtnQMZTxO0qlj6X7CfiEwMjYLOK1Z_R8Zjmw5xtd329TiXqo94QG10ZUlxRae3fbXaGD7nx8bDVLyic-5xy6IYrPxRdpBqZNlx8CpOa30pGwyQhL_a951kybRhojBWaHe_lU3LODwJxCpIMeG6ozXYjtn9sX-4ffy832aZNVkx7rYtzHbdKgyhANXvBYVVJUckBJOCrBLP9ywh0oMxrbbgBnf4rZk5dLlXyAYXNpHhcYPWfkBhPBQgNCrSKs_KVRUlVegXSUKzgvpl6a-LdRaGVRimeR5GljmBS5fp31vDGvYn2DoSozqw26oTuAvPfVD2xLfb0DBtN35DTtnNu47zHeRdbQ91i2x2q3uBowGrb0UqyrUzKWgD32nO4az8KAWMjYXYnKuxu7-ziAWpBc6qDUBhxrRt8RdO1HacVwxJlEwhAlK9zgSDqflgUmzLqfVQbRTb2elFzskOwKBINCVPONMPJvo2aXIvKnnFSDg1El3h0bcuxxrWimJJ00m68znpLOpCtmcyxTNyuTUi79aOaeb1TTh5036YSrg2cJy9v8O_X5Q00mrZtt0Om7ecbynnege6UCyHsq_23aj67Ytd7OxYZMayuFfut0eCoVon3GQhrjUt0cBQjKd8lCXo4SCbli1-jxX_iQzJaBXhV7LDesB3i1aQ2vTPoaynSusJAwQyfyBAOi1wOhregWJHKM9WaT2Mhu-3n_etZMKA2rsCoZmc6t49ipxNa8TMrpNoGkR2ObMuB9wwp5z7B1lQ_kwVsz13ySw4FdCakaZU1W-EmBIs-gjB0oteXl0G0jtLz7rOayF514i_czyxFXygaQxo89FWiWaZ4Atg3ivRlV75_9piknv4L4k6gyyaU3VKkvgfa5O8U5vVpJFmd0b3a8cVNxqvLsQcgFSSc4lzzL3hWMVAEVBKKjxQToAJDcrgwLmcdwTZy9-uFjNPzL5gLK9J1SElLLRW3Pqk49YLvjJJ6WYzs7O56bQhB3oEFBpuPvyc_3D9cFbeu6jCSXgy_9FfVkN_FuESNqskWWVRGK2yZbkJyyzM6NIww2HzfIkBq4YLmsWn0wgCZqCRzaS_pRCq57CUI5tm-S07xTcfuzTgEl_oHbIouIvXUZItD5s0SwIo4qQqYAUJLSEpseZxFlO_KGMaLN1dUm8WMc6fQMALcSZs08W7JdsEfhD4aYizKE7izFunVRHnKY0jKEKaJIgrNJRxz13GpKqXauNCwjQ0HnJscz0eUrxv1ALAuUP7tDMHqTaC_WTF0jneuMD_AhmIt9g">