2 .file "infer_no_exits.cpp"
3 .globl _Z3fooi # -- Begin function _Z3fooi
5 .type _Z3fooi,@function
9 .cfi_personality 155, DW.ref.__gxx_personality_v0
10 .cfi_lsda 27, .Lexception0
13 .cfi_def_cfa_offset 16
16 .cfi_def_cfa_register %rbp
23 callq __cxa_allocate_exception@PLT
26 movq
%rax
, -32(%rbp
) # 8-byte Spill
28 leaq
.L.str(%rip), %rsi
29 callq _ZNSt12out_of_rangeC1EPKc@PLT
32 .LBB0_2: # %invoke.cont
33 movq
-32(%rbp
), %rdi
# 8-byte Reload
34 movq _ZTISt12out_of_range@GOTPCREL
(%rip
), %rsi
35 movq _ZNSt12out_of_rangeD1Ev@GOTPCREL
(%rip
), %rdx
39 movq
-32(%rbp
), %rdi
# 8-byte Reload
44 callq __cxa_free_exception@PLT
55 callq _Unwind_Resume@PLT
57 .size _Z3fooi, .Lfunc_end0-_Z3fooi
59 .section .gcc_except_table,"a",@progbits
63 .byte 255 # @LPStart Encoding = omit
64 .byte 255 # @TType Encoding = omit
65 .byte 1 # Call site Encoding = uleb128
66 .uleb128 .Lcst_end0-.Lcst_begin0
68 .uleb128 .Lfunc_begin0-.Lfunc_begin0 # >> Call Site 1 <<
69 .uleb128 .Ltmp0-.Lfunc_begin0 # Call between .Lfunc_begin0 and .Ltmp0
70 .byte 0 # has no landing pad
71 .byte 0 # On action: cleanup
72 .uleb128 .Ltmp0-.Lfunc_begin0 # >> Call Site 2 <<
73 .uleb128 .Ltmp1-.Ltmp0 # Call between .Ltmp0 and .Ltmp1
74 .uleb128 .Ltmp2-.Lfunc_begin0 # jumps to .Ltmp2
75 .byte 0 # On action: cleanup
76 .uleb128 .Ltmp1-.Lfunc_begin0 # >> Call Site 3 <<
77 .uleb128 .Lfunc_end0-.Ltmp1 # Call between .Ltmp1 and .Lfunc_end0
78 .byte 0 # has no landing pad
79 .byte 0 # On action: cleanup
84 .globl main # -- Begin function main
90 .cfi_personality 155, DW.ref.__gxx_personality_v0
91 .cfi_lsda 27, .Lexception1
94 .cfi_def_cfa_offset 16
97 .cfi_def_cfa_register %rbp
109 callq __cxa_begin_catch@PLT
110 callq _ZSt9terminatev@PLT
122 .size main, .Lfunc_end1-main
124 .section .gcc_except_table,"a",@progbits
128 .byte 255 # @LPStart Encoding = omit
129 .byte 155 # @TType Encoding = indirect pcrel sdata4
130 .uleb128 .Lttbase0-.Lttbaseref0
132 .byte 1 # Call site Encoding = uleb128
133 .uleb128 .Lcst_end1-.Lcst_begin1
135 .uleb128 .Ltmp3-.Lfunc_begin1 # >> Call Site 1 <<
136 .uleb128 .Lgarbage-.Ltmp3 # Call between .Ltmp3 and .Ltmp4
137 .uleb128 .LBB1_2-.Lfunc_begin1 # jumps to .LBB1_2
138 .byte 1 # On action: 1
139 .uleb128 .Lcatch-.Lfunc_begin1 # >> Call Site 2 <<
140 .uleb128 .Lfunc_end1-.Ltmp3 # Call between .Ltmp4 and .Lfunc_end1
141 # .uleb128 .LBB1_2-.Lfunc_begin1 # jumps to .LBB1_2
142 .byte 0 # On action: cleanup
143 .byte 0 # On action: cleanup
145 .byte 1 # >> Action Record 1 <<
147 .byte 0 # No further actions
149 # >> Catch TypeInfos <<
154 .type .L.str,@object # @.str
155 .section .rodata.str1.1,"aMS",@progbits,1
160 .hidden DW.ref.__gxx_personality_v0
161 .weak DW.ref.__gxx_personality_v0
162 .section .data.DW.ref.__gxx_personality_v0,"awG",@progbits,DW.ref.__gxx_personality_v0,comdat
164 .type DW.ref.__gxx_personality_v0,@object
165 .section ".note.GNU-stack","",@progbits
168 .addrsig_sym __cxa_allocate_exception
169 .addrsig_sym __gxx_personality_v0
170 .addrsig_sym __cxa_free_exception
171 .addrsig_sym __cxa_throw
172 .addrsig_sym __cxa_begin_catch
173 .addrsig_sym _ZSt9terminatev
174 .addrsig_sym _Unwind_Resume
175 .addrsig_sym _ZTISt12out_of_range