unexplained-loop.cpp

 9| void IfReturnDestructors(bool)
 9|   Block 0
 9|     v9_1(void)            = EnterFunction                   :
 9|     mu9_2(unknown)        = AliasedDefinition               :
 9|     mu9_3(unknown)        = InitializeNonLocal              :
 9|     r9_4(glval<bool>)     = VariableAddress[b]              :
 9|     mu9_5(bool)           = InitializeParameter[b]          : &:r9_4
10|     r10_1(glval<String>)  = VariableAddress[s]              :
10|     mu10_2(String)        = Uninitialized[s]                : &:r10_1
10|     r10_3(glval<unknown>) = FunctionAddress[String]         :
10|     v10_4(void)           = Call[String]                    : func:r10_3, this:r10_1
10|     mu10_5(unknown)       = ^CallSideEffect                 : ~m?
10|     mu10_6(String)        = ^IndirectMayWriteSideEffect[-1] : &:r10_1
--|   Goto -> Block 3
--|   Goto -> Block 3

11|   Block 3
11|     r11_5(glval<unknown>) = FunctionAddress[VoidFunc] :
11|     v11_6(void)           = Call[VoidFunc]            : func:r11_1, func:r11_5
11|     mu11_7(unknown)       = ^CallSideEffect           : ~m?
11|     v11_8(void)           = NoOp                      :
--|   Goto (back edge) -> Block 3
--|   Goto (back edge) -> Block 3

11|   Block 3
--|   Goto (back edge) -> Block 3
--|   Goto (back edge) -> Block 3

12|   Block 4
12|     r12_7(glval<String>)  = VariableAddress[s]              :
12|     r12_8(glval<unknown>) = FunctionAddress[~String]        :
12|     v12_9(void)           = Call[~String]                   : func:r12_2, func:r12_8, this:r12_1, this:r12_7
12|     mu12_4(unknown)       = ^CallSideEffect                 : ~m?
12|     v12_5(void)           = ^IndirectReadSideEffect[-1]     : &:r12_1, &:r12_7, ~m?
12|     mu12_6(String)        = ^IndirectMayWriteSideEffect[-1] : &:r12_1, &:r12_7
 9|     v9_9(void)            = ReturnVoid                      :
 9|     v9_7(void)            = AliasedUse                      : ~m?
 9|     v9_8(void)            = ExitFunction                    :

12|   Block 4