mirror of
https://github.com/github/codeql.git
synced 2026-04-26 09:15:12 +02:00
C++: Accept test changes.
This commit is contained in:
Mathias Vorreiter Pedersen
@@ -860,30 +860,50 @@ coroutines.cpp:
|
||||
# 95| m95_15(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r95_9
|
||||
# 95| m95_16(promise_type) = Chi : total:m95_8, partial:m95_15
|
||||
#-----| v0_5(void) = CopyValue : r95_11
|
||||
# 96| r96_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 96| r96_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 96| r96_3(glval<int>) = VariableAddress[i] :
|
||||
# 96| r96_4(int) = Load[i] : &:r96_3, m0_4
|
||||
# 96| r96_5(suspend_always) = Call[yield_value] : func:r96_2, this:r96_1, 0:r96_4
|
||||
# 96| m96_6(unknown) = ^CallSideEffect : ~m95_13
|
||||
# 96| m96_7(unknown) = Chi : total:m95_13, partial:m96_6
|
||||
# 96| v96_8(void) = ^IndirectReadSideEffect[-1] : &:r96_1, m95_16
|
||||
# 96| m96_9(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r96_1
|
||||
# 96| m96_10(promise_type) = Chi : total:m95_16, partial:m96_9
|
||||
|
||||
# 99| co_returnable_value co_yield_value_value(int)
|
||||
# 99| Block 0
|
||||
# 99| v99_1(void) = EnterFunction :
|
||||
# 99| m99_2(unknown) = AliasedDefinition :
|
||||
# 99| m99_3(unknown) = InitializeNonLocal :
|
||||
# 99| m99_4(unknown) = Chi : total:m99_2, partial:m99_3
|
||||
# 99| r99_5(glval<int>) = VariableAddress[i] :
|
||||
# 99| m99_6(int) = InitializeParameter[i] : &:r99_5
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, m99_6
|
||||
#-----| m0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 99| r99_7(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| m99_8(promise_type) = Uninitialized[(unnamed local variable)] : &:r99_7
|
||||
# 99| r99_9(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| r99_10(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 99| r99_11(suspend_always) = Call[initial_suspend] : func:r99_10, this:r99_9
|
||||
# 99| m99_12(unknown) = ^CallSideEffect : ~m99_4
|
||||
# 99| m99_13(unknown) = Chi : total:m99_4, partial:m99_12
|
||||
# 99| v99_14(void) = ^IndirectReadSideEffect[-1] : &:r99_9, m99_8
|
||||
# 99| m99_15(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r99_9
|
||||
# 99| m99_16(promise_type) = Chi : total:m99_8, partial:m99_15
|
||||
#-----| v0_5(void) = CopyValue : r99_11
|
||||
# 99| v99_1(void) = EnterFunction :
|
||||
# 99| m99_2(unknown) = AliasedDefinition :
|
||||
# 99| m99_3(unknown) = InitializeNonLocal :
|
||||
# 99| m99_4(unknown) = Chi : total:m99_2, partial:m99_3
|
||||
# 99| r99_5(glval<int>) = VariableAddress[i] :
|
||||
# 99| m99_6(int) = InitializeParameter[i] : &:r99_5
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, m99_6
|
||||
#-----| m0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 99| r99_7(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| m99_8(promise_type) = Uninitialized[(unnamed local variable)] : &:r99_7
|
||||
# 99| r99_9(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| r99_10(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 99| r99_11(suspend_always) = Call[initial_suspend] : func:r99_10, this:r99_9
|
||||
# 99| m99_12(unknown) = ^CallSideEffect : ~m99_4
|
||||
# 99| m99_13(unknown) = Chi : total:m99_4, partial:m99_12
|
||||
# 99| v99_14(void) = ^IndirectReadSideEffect[-1] : &:r99_9, m99_8
|
||||
# 99| m99_15(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r99_9
|
||||
# 99| m99_16(promise_type) = Chi : total:m99_8, partial:m99_15
|
||||
#-----| v0_5(void) = CopyValue : r99_11
|
||||
# 100| r100_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 100| r100_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 100| r100_3(glval<int>) = VariableAddress[i] :
|
||||
# 100| r100_4(int) = Load[i] : &:r100_3, m0_4
|
||||
# 100| r100_5(suspend_always) = Call[yield_value] : func:r100_2, this:r100_1, 0:r100_4
|
||||
# 100| m100_6(unknown) = ^CallSideEffect : ~m99_13
|
||||
# 100| m100_7(unknown) = Chi : total:m99_13, partial:m100_6
|
||||
# 100| v100_8(void) = ^IndirectReadSideEffect[-1] : &:r100_1, m99_16
|
||||
# 100| m100_9(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r100_1
|
||||
# 100| m100_10(promise_type) = Chi : total:m99_16, partial:m100_9
|
||||
|
||||
# 103| co_returnable_void co_yield_and_return_void(int)
|
||||
# 103| Block 0
|
||||
@@ -908,6 +928,16 @@ coroutines.cpp:
|
||||
# 103| m103_15(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r103_9
|
||||
# 103| m103_16(promise_type) = Chi : total:m103_8, partial:m103_15
|
||||
#-----| v0_5(void) = CopyValue : r103_11
|
||||
# 104| r104_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 104| r104_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 104| r104_3(glval<int>) = VariableAddress[i] :
|
||||
# 104| r104_4(int) = Load[i] : &:r104_3, m0_4
|
||||
# 104| r104_5(suspend_always) = Call[yield_value] : func:r104_2, this:r104_1, 0:r104_4
|
||||
# 104| m104_6(unknown) = ^CallSideEffect : ~m103_13
|
||||
# 104| m104_7(unknown) = Chi : total:m103_13, partial:m104_6
|
||||
# 104| v104_8(void) = ^IndirectReadSideEffect[-1] : &:r104_1, m103_16
|
||||
# 104| m104_9(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r104_1
|
||||
# 104| m104_10(promise_type) = Chi : total:m103_16, partial:m104_9
|
||||
|
||||
# 108| co_returnable_value co_yield_and_return_value(int)
|
||||
# 108| Block 0
|
||||
@@ -932,6 +962,16 @@ coroutines.cpp:
|
||||
# 108| m108_15(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r108_9
|
||||
# 108| m108_16(promise_type) = Chi : total:m108_8, partial:m108_15
|
||||
#-----| v0_5(void) = CopyValue : r108_11
|
||||
# 109| r109_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 109| r109_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 109| r109_3(glval<int>) = VariableAddress[i] :
|
||||
# 109| r109_4(int) = Load[i] : &:r109_3, m0_4
|
||||
# 109| r109_5(suspend_always) = Call[yield_value] : func:r109_2, this:r109_1, 0:r109_4
|
||||
# 109| m109_6(unknown) = ^CallSideEffect : ~m108_13
|
||||
# 109| m109_7(unknown) = Chi : total:m108_13, partial:m109_6
|
||||
# 109| v109_8(void) = ^IndirectReadSideEffect[-1] : &:r109_1, m108_16
|
||||
# 109| m109_9(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r109_1
|
||||
# 109| m109_10(promise_type) = Chi : total:m108_16, partial:m109_9
|
||||
|
||||
destructors_for_temps.cpp:
|
||||
# 9| void ClassWithConstructor::ClassWithConstructor(ClassWithConstructor&&)
|
||||
|
||||
@@ -6,10 +6,10 @@ missingOperandType
|
||||
duplicateChiOperand
|
||||
sideEffectWithoutPrimary
|
||||
instructionWithoutSuccessor
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
| coroutines.cpp:96:12:96:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| coroutines.cpp:100:12:100:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| coroutines.cpp:104:12:104:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| coroutines.cpp:109:12:109:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
ambiguousSuccessors
|
||||
unexplainedLoop
|
||||
unnecessaryPhiInstruction
|
||||
|
||||
@@ -6,10 +6,10 @@ missingOperandType
|
||||
duplicateChiOperand
|
||||
sideEffectWithoutPrimary
|
||||
instructionWithoutSuccessor
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
| coroutines.cpp:96:12:96:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| coroutines.cpp:100:12:100:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| coroutines.cpp:104:12:104:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| coroutines.cpp:109:12:109:12 | Chi: (unnamed local variable) | Instruction 'Chi: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
ambiguousSuccessors
|
||||
unexplainedLoop
|
||||
unnecessaryPhiInstruction
|
||||
|
||||
@@ -64,10 +64,6 @@ instructionWithoutSuccessor
|
||||
| file://:0:0:0:0 | CopyValue: ... , ... | Instruction 'CopyValue: ... , ...' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| file://:0:0:0:0 | CopyValue: ... , ... | Instruction 'CopyValue: ... , ...' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: ... , ... | Instruction 'CopyValue: ... , ...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
| file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
|
||||
| file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
|
||||
| file://:0:0:0:0 | IndirectReadSideEffect: (const suspend_always)... | Instruction 'IndirectReadSideEffect: (const suspend_always)...' has no successors in function '$@'. | coroutines.cpp:87:20:87:33 | co_returnable_void co_return_void() | co_returnable_void co_return_void() |
|
||||
|
||||
@@ -726,6 +726,29 @@ complex.c:
|
||||
|
||||
coroutines.cpp:
|
||||
# 87| co_returnable_void co_return_void()
|
||||
# 87| Block 0
|
||||
# 87| v87_1(void) = EnterFunction :
|
||||
# 87| mu87_2(unknown) = AliasedDefinition :
|
||||
# 87| mu87_3(unknown) = InitializeNonLocal :
|
||||
# 87| r87_4(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 87| mu87_5(promise_type) = Uninitialized[(unnamed local variable)] : &:r87_4
|
||||
# 87| r87_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 87| r87_7(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 87| r87_8(suspend_always) = Call[initial_suspend] : func:r87_7, this:r87_6
|
||||
# 87| mu87_9(unknown) = ^CallSideEffect : ~m?
|
||||
# 87| v87_10(void) = ^IndirectReadSideEffect[-1] : &:r87_6, ~m?
|
||||
# 87| mu87_11(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r87_6
|
||||
#-----| v0_1(void) = CopyValue : r87_8
|
||||
#-----| r0_2(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
#-----| r0_3(glval<unknown>) = FunctionAddress[return_void] :
|
||||
#-----| v0_4(void) = Call[return_void] : func:r0_3, this:r0_2
|
||||
#-----| mu0_5(unknown) = ^CallSideEffect : ~m?
|
||||
#-----| v0_6(void) = ^IndirectReadSideEffect[-1] : &:r0_2, ~m?
|
||||
#-----| mu0_7(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r0_2
|
||||
# 88| v88_1(void) = NoOp :
|
||||
#-----| v0_8(void) = NoOp :
|
||||
#-----| Goto (back edge) -> Block 9
|
||||
|
||||
# 87| (no string representation)
|
||||
# 87| CopyValue: * ...
|
||||
#-----| Convert: (const suspend_always)...
|
||||
@@ -781,29 +804,6 @@ coroutines.cpp:
|
||||
# 87| CallSideEffect: call to await_suspend
|
||||
#-----| IndirectReadSideEffect: (const suspend_always)...
|
||||
|
||||
# 87| Block 0
|
||||
# 87| v87_1(void) = EnterFunction :
|
||||
# 87| mu87_2(unknown) = AliasedDefinition :
|
||||
# 87| mu87_3(unknown) = InitializeNonLocal :
|
||||
# 87| r87_4(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 87| mu87_5(promise_type) = Uninitialized[(unnamed local variable)] : &:r87_4
|
||||
# 87| r87_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 87| r87_7(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 87| r87_8(suspend_always) = Call[initial_suspend] : func:r87_7, this:r87_6
|
||||
# 87| mu87_9(unknown) = ^CallSideEffect : ~m?
|
||||
# 87| v87_10(void) = ^IndirectReadSideEffect[-1] : &:r87_6, ~m?
|
||||
# 87| mu87_11(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r87_6
|
||||
#-----| v0_1(void) = CopyValue : r87_8
|
||||
#-----| r0_2(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
#-----| r0_3(glval<unknown>) = FunctionAddress[return_void] :
|
||||
#-----| v0_4(void) = Call[return_void] : func:r0_3, this:r0_2
|
||||
#-----| mu0_5(unknown) = ^CallSideEffect : ~m?
|
||||
#-----| v0_6(void) = ^IndirectReadSideEffect[-1] : &:r0_2, ~m?
|
||||
#-----| mu0_7(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r0_2
|
||||
# 88| v88_1(void) = NoOp :
|
||||
#-----| v0_8(void) = NoOp :
|
||||
#-----| Goto (back edge) -> Block 9
|
||||
|
||||
# 87| Block 1
|
||||
# 87| v87_12(void) = AliasedUse : ~m?
|
||||
# 87| v87_13(void) = ExitFunction :
|
||||
@@ -893,6 +893,37 @@ coroutines.cpp:
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 91| co_returnable_value co_return_int(int)
|
||||
# 91| Block 0
|
||||
# 91| v91_1(void) = EnterFunction :
|
||||
# 91| mu91_2(unknown) = AliasedDefinition :
|
||||
# 91| mu91_3(unknown) = InitializeNonLocal :
|
||||
# 91| r91_4(glval<int>) = VariableAddress[i] :
|
||||
# 91| mu91_5(int) = InitializeParameter[i] : &:r91_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 91| r91_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 91| mu91_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r91_6
|
||||
# 91| r91_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 91| r91_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 91| r91_10(suspend_always) = Call[initial_suspend] : func:r91_9, this:r91_8
|
||||
# 91| mu91_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 91| v91_12(void) = ^IndirectReadSideEffect[-1] : &:r91_8, ~m?
|
||||
# 91| mu91_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r91_8
|
||||
#-----| v0_5(void) = CopyValue : r91_10
|
||||
#-----| r0_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
#-----| r0_7(glval<unknown>) = FunctionAddress[return_value] :
|
||||
# 92| r92_1(glval<int>) = VariableAddress[i] :
|
||||
# 92| r92_2(int) = Load[i] : &:r92_1, ~m?
|
||||
#-----| v0_8(void) = Call[return_value] : func:r0_7, this:r0_6, 0:r92_2
|
||||
#-----| mu0_9(unknown) = ^CallSideEffect : ~m?
|
||||
#-----| v0_10(void) = ^IndirectReadSideEffect[-1] : &:r0_6, ~m?
|
||||
#-----| mu0_11(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r0_6
|
||||
# 92| v92_3(void) = NoOp :
|
||||
#-----| v0_12(void) = NoOp :
|
||||
#-----| Goto (back edge) -> Block 9
|
||||
|
||||
# 91| (no string representation)
|
||||
# 91| CopyValue: * ...
|
||||
#-----| Convert: (const suspend_always)...
|
||||
@@ -948,37 +979,6 @@ coroutines.cpp:
|
||||
# 91| CallSideEffect: call to await_suspend
|
||||
#-----| IndirectReadSideEffect: (const suspend_always)...
|
||||
|
||||
# 91| Block 0
|
||||
# 91| v91_1(void) = EnterFunction :
|
||||
# 91| mu91_2(unknown) = AliasedDefinition :
|
||||
# 91| mu91_3(unknown) = InitializeNonLocal :
|
||||
# 91| r91_4(glval<int>) = VariableAddress[i] :
|
||||
# 91| mu91_5(int) = InitializeParameter[i] : &:r91_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 91| r91_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 91| mu91_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r91_6
|
||||
# 91| r91_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 91| r91_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 91| r91_10(suspend_always) = Call[initial_suspend] : func:r91_9, this:r91_8
|
||||
# 91| mu91_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 91| v91_12(void) = ^IndirectReadSideEffect[-1] : &:r91_8, ~m?
|
||||
# 91| mu91_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r91_8
|
||||
#-----| v0_5(void) = CopyValue : r91_10
|
||||
#-----| r0_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
#-----| r0_7(glval<unknown>) = FunctionAddress[return_value] :
|
||||
# 92| r92_1(glval<int>) = VariableAddress[i] :
|
||||
# 92| r92_2(int) = Load[i] : &:r92_1, ~m?
|
||||
#-----| v0_8(void) = Call[return_value] : func:r0_7, this:r0_6, 0:r92_2
|
||||
#-----| mu0_9(unknown) = ^CallSideEffect : ~m?
|
||||
#-----| v0_10(void) = ^IndirectReadSideEffect[-1] : &:r0_6, ~m?
|
||||
#-----| mu0_11(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r0_6
|
||||
# 92| v92_3(void) = NoOp :
|
||||
#-----| v0_12(void) = NoOp :
|
||||
#-----| Goto (back edge) -> Block 9
|
||||
|
||||
# 91| Block 1
|
||||
# 91| v91_14(void) = AliasedUse : ~m?
|
||||
# 91| v91_15(void) = ExitFunction :
|
||||
@@ -1068,6 +1068,34 @@ coroutines.cpp:
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 95| co_returnable_void co_yield_value_void(int)
|
||||
# 95| Block 0
|
||||
# 95| v95_1(void) = EnterFunction :
|
||||
# 95| mu95_2(unknown) = AliasedDefinition :
|
||||
# 95| mu95_3(unknown) = InitializeNonLocal :
|
||||
# 95| r95_4(glval<int>) = VariableAddress[i] :
|
||||
# 95| mu95_5(int) = InitializeParameter[i] : &:r95_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 95| r95_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 95| mu95_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r95_6
|
||||
# 95| r95_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 95| r95_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 95| r95_10(suspend_always) = Call[initial_suspend] : func:r95_9, this:r95_8
|
||||
# 95| mu95_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 95| v95_12(void) = ^IndirectReadSideEffect[-1] : &:r95_8, ~m?
|
||||
# 95| mu95_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r95_8
|
||||
#-----| v0_5(void) = CopyValue : r95_10
|
||||
# 96| r96_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 96| r96_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 96| r96_3(glval<int>) = VariableAddress[i] :
|
||||
# 96| r96_4(int) = Load[i] : &:r96_3, ~m?
|
||||
# 96| r96_5(suspend_always) = Call[yield_value] : func:r96_2, this:r96_1, 0:r96_4
|
||||
# 96| mu96_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 96| v96_7(void) = ^IndirectReadSideEffect[-1] : &:r96_1, ~m?
|
||||
# 96| mu96_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r96_1
|
||||
|
||||
# 95| (no string representation)
|
||||
# 95| CopyValue: * ...
|
||||
#-----| Convert: (const suspend_always)...
|
||||
@@ -1150,26 +1178,6 @@ coroutines.cpp:
|
||||
# 95| CallSideEffect: call to await_suspend
|
||||
#-----| IndirectReadSideEffect: (const suspend_always)...
|
||||
|
||||
# 95| Block 0
|
||||
# 95| v95_1(void) = EnterFunction :
|
||||
# 95| mu95_2(unknown) = AliasedDefinition :
|
||||
# 95| mu95_3(unknown) = InitializeNonLocal :
|
||||
# 95| r95_4(glval<int>) = VariableAddress[i] :
|
||||
# 95| mu95_5(int) = InitializeParameter[i] : &:r95_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 95| r95_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 95| mu95_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r95_6
|
||||
# 95| r95_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 95| r95_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 95| r95_10(suspend_always) = Call[initial_suspend] : func:r95_9, this:r95_8
|
||||
# 95| mu95_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 95| v95_12(void) = ^IndirectReadSideEffect[-1] : &:r95_8, ~m?
|
||||
# 95| mu95_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r95_8
|
||||
#-----| v0_5(void) = CopyValue : r95_10
|
||||
|
||||
# 95| Block 1
|
||||
# 95| v95_14(void) = AliasedUse : ~m?
|
||||
# 95| v95_15(void) = ExitFunction :
|
||||
@@ -1178,22 +1186,12 @@ coroutines.cpp:
|
||||
# 95| v95_16(void) = Unwind :
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 96| Block 3
|
||||
# 96| r96_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 96| r96_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 96| r96_3(glval<int>) = VariableAddress[i] :
|
||||
# 96| r96_4(int) = Load[i] : &:r96_3, ~m?
|
||||
# 96| r96_5(suspend_always) = Call[yield_value] : func:r96_2, this:r96_1, 0:r96_4
|
||||
# 96| mu96_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 96| v96_7(void) = ^IndirectReadSideEffect[-1] : &:r96_1, ~m?
|
||||
# 96| mu96_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r96_1
|
||||
|
||||
#-----| Block 4
|
||||
#-----| Block 3
|
||||
#-----| r0_6(bool) = Constant[1] :
|
||||
#-----| r0_7(glval<bool>) = VariableAddress :
|
||||
#-----| mu0_8(bool) = Store[?] : &:r0_7, r0_6
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 95| r95_17(glval<suspend_always>) = VariableAddress[#temp95:20] :
|
||||
# 95| r95_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1213,7 +1211,7 @@ coroutines.cpp:
|
||||
# 95| mu95_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 95| v95_47(void) = ^IndirectReadSideEffect[-1] : &:r95_39, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 96| r96_9(glval<suspend_always>) = VariableAddress[#temp96:13] :
|
||||
# 96| r96_10(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1235,7 +1233,7 @@ coroutines.cpp:
|
||||
# 96| mu96_25(unknown) = ^CallSideEffect : ~m?
|
||||
# 96| v96_26(void) = ^IndirectReadSideEffect[-1] : &:r96_22, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 95| r95_17(glval<suspend_always>) = VariableAddress[#temp95:20] :
|
||||
# 95| r95_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1255,7 +1253,7 @@ coroutines.cpp:
|
||||
# 95| mu95_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 95| v95_47(void) = ^IndirectReadSideEffect[-1] : &:r95_39, ~m?
|
||||
|
||||
#-----| Block 8
|
||||
#-----| Block 7
|
||||
#-----| r0_15(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
#-----| r0_16(glval<unknown>) = FunctionAddress[return_void] :
|
||||
#-----| v0_17(void) = Call[return_void] : func:r0_16, this:r0_15
|
||||
@@ -1264,31 +1262,31 @@ coroutines.cpp:
|
||||
#-----| mu0_20(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r0_15
|
||||
# 97| v97_1(void) = NoOp :
|
||||
#-----| v0_21(void) = NoOp :
|
||||
#-----| Goto (back edge) -> Block 12
|
||||
#-----| Goto (back edge) -> Block 11
|
||||
|
||||
#-----| Block 9
|
||||
#-----| Block 8
|
||||
#-----| v0_22(void) = CatchAny :
|
||||
#-----| r0_23(glval<bool>) = VariableAddress :
|
||||
#-----| r0_24(bool) = Load[?] : &:r0_23, ~m?
|
||||
#-----| r0_25(bool) = LogicalNot : r0_24
|
||||
#-----| v0_26(void) = ConditionalBranch : r0_25
|
||||
#-----| False -> Block 11
|
||||
#-----| True -> Block 10
|
||||
#-----| False -> Block 10
|
||||
#-----| True -> Block 9
|
||||
|
||||
#-----| Block 10
|
||||
#-----| Block 9
|
||||
#-----| v0_27(void) = ReThrow :
|
||||
#-----| Exception -> Block 2
|
||||
|
||||
# 95| Block 11
|
||||
# 95| Block 10
|
||||
# 95| r95_49(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 95| r95_50(glval<unknown>) = FunctionAddress[unhandled_exception] :
|
||||
# 95| v95_51(void) = Call[unhandled_exception] : func:r95_50, this:r95_49
|
||||
# 95| mu95_52(unknown) = ^CallSideEffect : ~m?
|
||||
# 95| v95_53(void) = ^IndirectReadSideEffect[-1] : &:r95_49, ~m?
|
||||
# 95| mu95_54(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r95_49
|
||||
#-----| Goto -> Block 12
|
||||
#-----| Goto -> Block 11
|
||||
|
||||
#-----| Block 12
|
||||
#-----| Block 11
|
||||
#-----| v0_28(void) = NoOp :
|
||||
# 95| r95_55(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 95| r95_56(glval<unknown>) = FunctionAddress[final_suspend] :
|
||||
@@ -1302,6 +1300,34 @@ coroutines.cpp:
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 99| co_returnable_value co_yield_value_value(int)
|
||||
# 99| Block 0
|
||||
# 99| v99_1(void) = EnterFunction :
|
||||
# 99| mu99_2(unknown) = AliasedDefinition :
|
||||
# 99| mu99_3(unknown) = InitializeNonLocal :
|
||||
# 99| r99_4(glval<int>) = VariableAddress[i] :
|
||||
# 99| mu99_5(int) = InitializeParameter[i] : &:r99_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 99| r99_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| mu99_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r99_6
|
||||
# 99| r99_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| r99_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 99| r99_10(suspend_always) = Call[initial_suspend] : func:r99_9, this:r99_8
|
||||
# 99| mu99_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 99| v99_12(void) = ^IndirectReadSideEffect[-1] : &:r99_8, ~m?
|
||||
# 99| mu99_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r99_8
|
||||
#-----| v0_5(void) = CopyValue : r99_10
|
||||
# 100| r100_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 100| r100_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 100| r100_3(glval<int>) = VariableAddress[i] :
|
||||
# 100| r100_4(int) = Load[i] : &:r100_3, ~m?
|
||||
# 100| r100_5(suspend_always) = Call[yield_value] : func:r100_2, this:r100_1, 0:r100_4
|
||||
# 100| mu100_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 100| v100_7(void) = ^IndirectReadSideEffect[-1] : &:r100_1, ~m?
|
||||
# 100| mu100_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r100_1
|
||||
|
||||
# 99| (no string representation)
|
||||
# 99| CopyValue: * ...
|
||||
#-----| Convert: (const suspend_always)...
|
||||
@@ -1384,26 +1410,6 @@ coroutines.cpp:
|
||||
# 99| CallSideEffect: call to await_suspend
|
||||
#-----| IndirectReadSideEffect: (const suspend_always)...
|
||||
|
||||
# 99| Block 0
|
||||
# 99| v99_1(void) = EnterFunction :
|
||||
# 99| mu99_2(unknown) = AliasedDefinition :
|
||||
# 99| mu99_3(unknown) = InitializeNonLocal :
|
||||
# 99| r99_4(glval<int>) = VariableAddress[i] :
|
||||
# 99| mu99_5(int) = InitializeParameter[i] : &:r99_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 99| r99_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| mu99_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r99_6
|
||||
# 99| r99_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| r99_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 99| r99_10(suspend_always) = Call[initial_suspend] : func:r99_9, this:r99_8
|
||||
# 99| mu99_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 99| v99_12(void) = ^IndirectReadSideEffect[-1] : &:r99_8, ~m?
|
||||
# 99| mu99_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r99_8
|
||||
#-----| v0_5(void) = CopyValue : r99_10
|
||||
|
||||
# 99| Block 1
|
||||
# 99| v99_14(void) = AliasedUse : ~m?
|
||||
# 99| v99_15(void) = ExitFunction :
|
||||
@@ -1412,22 +1418,12 @@ coroutines.cpp:
|
||||
# 99| v99_16(void) = Unwind :
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 100| Block 3
|
||||
# 100| r100_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 100| r100_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 100| r100_3(glval<int>) = VariableAddress[i] :
|
||||
# 100| r100_4(int) = Load[i] : &:r100_3, ~m?
|
||||
# 100| r100_5(suspend_always) = Call[yield_value] : func:r100_2, this:r100_1, 0:r100_4
|
||||
# 100| mu100_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 100| v100_7(void) = ^IndirectReadSideEffect[-1] : &:r100_1, ~m?
|
||||
# 100| mu100_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r100_1
|
||||
|
||||
#-----| Block 4
|
||||
#-----| Block 3
|
||||
#-----| r0_6(bool) = Constant[1] :
|
||||
#-----| r0_7(glval<bool>) = VariableAddress :
|
||||
#-----| mu0_8(bool) = Store[?] : &:r0_7, r0_6
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 99| r99_17(glval<suspend_always>) = VariableAddress[#temp99:21] :
|
||||
# 99| r99_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1447,7 +1443,7 @@ coroutines.cpp:
|
||||
# 99| mu99_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 99| v99_47(void) = ^IndirectReadSideEffect[-1] : &:r99_39, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 100| r100_9(glval<suspend_always>) = VariableAddress[#temp100:13] :
|
||||
# 100| r100_10(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1469,7 +1465,7 @@ coroutines.cpp:
|
||||
# 100| mu100_25(unknown) = ^CallSideEffect : ~m?
|
||||
# 100| v100_26(void) = ^IndirectReadSideEffect[-1] : &:r100_22, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 99| r99_17(glval<suspend_always>) = VariableAddress[#temp99:21] :
|
||||
# 99| r99_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1489,20 +1485,20 @@ coroutines.cpp:
|
||||
# 99| mu99_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 99| v99_47(void) = ^IndirectReadSideEffect[-1] : &:r99_39, ~m?
|
||||
|
||||
#-----| Block 8
|
||||
#-----| Block 7
|
||||
#-----| v0_15(void) = CatchAny :
|
||||
#-----| r0_16(glval<bool>) = VariableAddress :
|
||||
#-----| r0_17(bool) = Load[?] : &:r0_16, ~m?
|
||||
#-----| r0_18(bool) = LogicalNot : r0_17
|
||||
#-----| v0_19(void) = ConditionalBranch : r0_18
|
||||
#-----| False -> Block 10
|
||||
#-----| True -> Block 9
|
||||
#-----| False -> Block 9
|
||||
#-----| True -> Block 8
|
||||
|
||||
#-----| Block 9
|
||||
#-----| Block 8
|
||||
#-----| v0_20(void) = ReThrow :
|
||||
#-----| Exception -> Block 2
|
||||
|
||||
# 99| Block 10
|
||||
# 99| Block 9
|
||||
# 99| r99_49(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 99| r99_50(glval<unknown>) = FunctionAddress[unhandled_exception] :
|
||||
# 99| v99_51(void) = Call[unhandled_exception] : func:r99_50, this:r99_49
|
||||
@@ -1522,6 +1518,34 @@ coroutines.cpp:
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 103| co_returnable_void co_yield_and_return_void(int)
|
||||
# 103| Block 0
|
||||
# 103| v103_1(void) = EnterFunction :
|
||||
# 103| mu103_2(unknown) = AliasedDefinition :
|
||||
# 103| mu103_3(unknown) = InitializeNonLocal :
|
||||
# 103| r103_4(glval<int>) = VariableAddress[i] :
|
||||
# 103| mu103_5(int) = InitializeParameter[i] : &:r103_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 103| r103_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 103| mu103_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r103_6
|
||||
# 103| r103_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 103| r103_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 103| r103_10(suspend_always) = Call[initial_suspend] : func:r103_9, this:r103_8
|
||||
# 103| mu103_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 103| v103_12(void) = ^IndirectReadSideEffect[-1] : &:r103_8, ~m?
|
||||
# 103| mu103_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r103_8
|
||||
#-----| v0_5(void) = CopyValue : r103_10
|
||||
# 104| r104_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 104| r104_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 104| r104_3(glval<int>) = VariableAddress[i] :
|
||||
# 104| r104_4(int) = Load[i] : &:r104_3, ~m?
|
||||
# 104| r104_5(suspend_always) = Call[yield_value] : func:r104_2, this:r104_1, 0:r104_4
|
||||
# 104| mu104_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 104| v104_7(void) = ^IndirectReadSideEffect[-1] : &:r104_1, ~m?
|
||||
# 104| mu104_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r104_1
|
||||
|
||||
# 103| (no string representation)
|
||||
# 103| CopyValue: * ...
|
||||
#-----| Convert: (const suspend_always)...
|
||||
@@ -1604,26 +1628,6 @@ coroutines.cpp:
|
||||
# 103| CallSideEffect: call to await_suspend
|
||||
#-----| IndirectReadSideEffect: (const suspend_always)...
|
||||
|
||||
# 103| Block 0
|
||||
# 103| v103_1(void) = EnterFunction :
|
||||
# 103| mu103_2(unknown) = AliasedDefinition :
|
||||
# 103| mu103_3(unknown) = InitializeNonLocal :
|
||||
# 103| r103_4(glval<int>) = VariableAddress[i] :
|
||||
# 103| mu103_5(int) = InitializeParameter[i] : &:r103_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 103| r103_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 103| mu103_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r103_6
|
||||
# 103| r103_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 103| r103_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 103| r103_10(suspend_always) = Call[initial_suspend] : func:r103_9, this:r103_8
|
||||
# 103| mu103_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 103| v103_12(void) = ^IndirectReadSideEffect[-1] : &:r103_8, ~m?
|
||||
# 103| mu103_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r103_8
|
||||
#-----| v0_5(void) = CopyValue : r103_10
|
||||
|
||||
# 103| Block 1
|
||||
# 103| v103_14(void) = AliasedUse : ~m?
|
||||
# 103| v103_15(void) = ExitFunction :
|
||||
@@ -1632,22 +1636,12 @@ coroutines.cpp:
|
||||
# 103| v103_16(void) = Unwind :
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 104| Block 3
|
||||
# 104| r104_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 104| r104_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 104| r104_3(glval<int>) = VariableAddress[i] :
|
||||
# 104| r104_4(int) = Load[i] : &:r104_3, ~m?
|
||||
# 104| r104_5(suspend_always) = Call[yield_value] : func:r104_2, this:r104_1, 0:r104_4
|
||||
# 104| mu104_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 104| v104_7(void) = ^IndirectReadSideEffect[-1] : &:r104_1, ~m?
|
||||
# 104| mu104_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r104_1
|
||||
|
||||
#-----| Block 4
|
||||
#-----| Block 3
|
||||
#-----| r0_6(bool) = Constant[1] :
|
||||
#-----| r0_7(glval<bool>) = VariableAddress :
|
||||
#-----| mu0_8(bool) = Store[?] : &:r0_7, r0_6
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 103| r103_17(glval<suspend_always>) = VariableAddress[#temp103:20] :
|
||||
# 103| r103_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1667,7 +1661,7 @@ coroutines.cpp:
|
||||
# 103| mu103_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 103| v103_47(void) = ^IndirectReadSideEffect[-1] : &:r103_39, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 104| r104_9(glval<suspend_always>) = VariableAddress[#temp104:13] :
|
||||
# 104| r104_10(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1689,7 +1683,7 @@ coroutines.cpp:
|
||||
# 104| mu104_25(unknown) = ^CallSideEffect : ~m?
|
||||
# 104| v104_26(void) = ^IndirectReadSideEffect[-1] : &:r104_22, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 103| r103_17(glval<suspend_always>) = VariableAddress[#temp103:20] :
|
||||
# 103| r103_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1709,7 +1703,7 @@ coroutines.cpp:
|
||||
# 103| mu103_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 103| v103_47(void) = ^IndirectReadSideEffect[-1] : &:r103_39, ~m?
|
||||
|
||||
#-----| Block 8
|
||||
#-----| Block 7
|
||||
#-----| r0_15(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
#-----| r0_16(glval<unknown>) = FunctionAddress[return_void] :
|
||||
#-----| v0_17(void) = Call[return_void] : func:r0_16, this:r0_15
|
||||
@@ -1718,31 +1712,31 @@ coroutines.cpp:
|
||||
#-----| mu0_20(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r0_15
|
||||
# 105| v105_1(void) = NoOp :
|
||||
#-----| v0_21(void) = NoOp :
|
||||
#-----| Goto (back edge) -> Block 12
|
||||
#-----| Goto (back edge) -> Block 11
|
||||
|
||||
#-----| Block 9
|
||||
#-----| Block 8
|
||||
#-----| v0_22(void) = CatchAny :
|
||||
#-----| r0_23(glval<bool>) = VariableAddress :
|
||||
#-----| r0_24(bool) = Load[?] : &:r0_23, ~m?
|
||||
#-----| r0_25(bool) = LogicalNot : r0_24
|
||||
#-----| v0_26(void) = ConditionalBranch : r0_25
|
||||
#-----| False -> Block 11
|
||||
#-----| True -> Block 10
|
||||
#-----| False -> Block 10
|
||||
#-----| True -> Block 9
|
||||
|
||||
#-----| Block 10
|
||||
#-----| Block 9
|
||||
#-----| v0_27(void) = ReThrow :
|
||||
#-----| Exception -> Block 2
|
||||
|
||||
# 103| Block 11
|
||||
# 103| Block 10
|
||||
# 103| r103_49(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 103| r103_50(glval<unknown>) = FunctionAddress[unhandled_exception] :
|
||||
# 103| v103_51(void) = Call[unhandled_exception] : func:r103_50, this:r103_49
|
||||
# 103| mu103_52(unknown) = ^CallSideEffect : ~m?
|
||||
# 103| v103_53(void) = ^IndirectReadSideEffect[-1] : &:r103_49, ~m?
|
||||
# 103| mu103_54(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r103_49
|
||||
#-----| Goto -> Block 12
|
||||
#-----| Goto -> Block 11
|
||||
|
||||
#-----| Block 12
|
||||
#-----| Block 11
|
||||
#-----| v0_28(void) = NoOp :
|
||||
# 103| r103_55(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 103| r103_56(glval<unknown>) = FunctionAddress[final_suspend] :
|
||||
@@ -1756,6 +1750,34 @@ coroutines.cpp:
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 108| co_returnable_value co_yield_and_return_value(int)
|
||||
# 108| Block 0
|
||||
# 108| v108_1(void) = EnterFunction :
|
||||
# 108| mu108_2(unknown) = AliasedDefinition :
|
||||
# 108| mu108_3(unknown) = InitializeNonLocal :
|
||||
# 108| r108_4(glval<int>) = VariableAddress[i] :
|
||||
# 108| mu108_5(int) = InitializeParameter[i] : &:r108_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 108| r108_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 108| mu108_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r108_6
|
||||
# 108| r108_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 108| r108_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 108| r108_10(suspend_always) = Call[initial_suspend] : func:r108_9, this:r108_8
|
||||
# 108| mu108_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 108| v108_12(void) = ^IndirectReadSideEffect[-1] : &:r108_8, ~m?
|
||||
# 108| mu108_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r108_8
|
||||
#-----| v0_5(void) = CopyValue : r108_10
|
||||
# 109| r109_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 109| r109_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 109| r109_3(glval<int>) = VariableAddress[i] :
|
||||
# 109| r109_4(int) = Load[i] : &:r109_3, ~m?
|
||||
# 109| r109_5(suspend_always) = Call[yield_value] : func:r109_2, this:r109_1, 0:r109_4
|
||||
# 109| mu109_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 109| v109_7(void) = ^IndirectReadSideEffect[-1] : &:r109_1, ~m?
|
||||
# 109| mu109_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r109_1
|
||||
|
||||
# 108| (no string representation)
|
||||
# 108| CopyValue: * ...
|
||||
#-----| Convert: (const suspend_always)...
|
||||
@@ -1838,26 +1860,6 @@ coroutines.cpp:
|
||||
# 108| CallSideEffect: call to await_suspend
|
||||
#-----| IndirectReadSideEffect: (const suspend_always)...
|
||||
|
||||
# 108| Block 0
|
||||
# 108| v108_1(void) = EnterFunction :
|
||||
# 108| mu108_2(unknown) = AliasedDefinition :
|
||||
# 108| mu108_3(unknown) = InitializeNonLocal :
|
||||
# 108| r108_4(glval<int>) = VariableAddress[i] :
|
||||
# 108| mu108_5(int) = InitializeParameter[i] : &:r108_4
|
||||
#-----| r0_1(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_2(glval<int>) = VariableAddress[i] :
|
||||
#-----| r0_3(int) = Load[i] : &:r0_2, ~m?
|
||||
#-----| mu0_4(int) = Store[i] : &:r0_1, r0_3
|
||||
# 108| r108_6(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 108| mu108_7(promise_type) = Uninitialized[(unnamed local variable)] : &:r108_6
|
||||
# 108| r108_8(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 108| r108_9(glval<unknown>) = FunctionAddress[initial_suspend] :
|
||||
# 108| r108_10(suspend_always) = Call[initial_suspend] : func:r108_9, this:r108_8
|
||||
# 108| mu108_11(unknown) = ^CallSideEffect : ~m?
|
||||
# 108| v108_12(void) = ^IndirectReadSideEffect[-1] : &:r108_8, ~m?
|
||||
# 108| mu108_13(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r108_8
|
||||
#-----| v0_5(void) = CopyValue : r108_10
|
||||
|
||||
# 108| Block 1
|
||||
# 108| v108_14(void) = AliasedUse : ~m?
|
||||
# 108| v108_15(void) = ExitFunction :
|
||||
@@ -1866,22 +1868,12 @@ coroutines.cpp:
|
||||
# 108| v108_16(void) = Unwind :
|
||||
#-----| Goto -> Block 1
|
||||
|
||||
# 109| Block 3
|
||||
# 109| r109_1(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 109| r109_2(glval<unknown>) = FunctionAddress[yield_value] :
|
||||
# 109| r109_3(glval<int>) = VariableAddress[i] :
|
||||
# 109| r109_4(int) = Load[i] : &:r109_3, ~m?
|
||||
# 109| r109_5(suspend_always) = Call[yield_value] : func:r109_2, this:r109_1, 0:r109_4
|
||||
# 109| mu109_6(unknown) = ^CallSideEffect : ~m?
|
||||
# 109| v109_7(void) = ^IndirectReadSideEffect[-1] : &:r109_1, ~m?
|
||||
# 109| mu109_8(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r109_1
|
||||
|
||||
#-----| Block 4
|
||||
#-----| Block 3
|
||||
#-----| r0_6(bool) = Constant[1] :
|
||||
#-----| r0_7(glval<bool>) = VariableAddress :
|
||||
#-----| mu0_8(bool) = Store[?] : &:r0_7, r0_6
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 108| r108_17(glval<suspend_always>) = VariableAddress[#temp108:21] :
|
||||
# 108| r108_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1901,7 +1893,7 @@ coroutines.cpp:
|
||||
# 108| mu108_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 108| v108_47(void) = ^IndirectReadSideEffect[-1] : &:r108_39, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 109| r109_9(glval<suspend_always>) = VariableAddress[#temp109:13] :
|
||||
# 109| r109_10(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1923,7 +1915,7 @@ coroutines.cpp:
|
||||
# 109| mu109_25(unknown) = ^CallSideEffect : ~m?
|
||||
# 109| v109_26(void) = ^IndirectReadSideEffect[-1] : &:r109_22, ~m?
|
||||
|
||||
#-----| Block 5
|
||||
#-----| Block 4
|
||||
#-----| r0_9(glval<suspend_always *>) = VariableAddress[#temp0:0] :
|
||||
# 108| r108_17(glval<suspend_always>) = VariableAddress[#temp108:21] :
|
||||
# 108| r108_19(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
@@ -1943,7 +1935,7 @@ coroutines.cpp:
|
||||
# 108| mu108_45(unknown) = ^CallSideEffect : ~m?
|
||||
# 108| v108_47(void) = ^IndirectReadSideEffect[-1] : &:r108_39, ~m?
|
||||
|
||||
#-----| Block 8
|
||||
#-----| Block 7
|
||||
#-----| r0_15(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
#-----| r0_16(glval<unknown>) = FunctionAddress[return_value] :
|
||||
# 110| r110_1(glval<int>) = VariableAddress[i] :
|
||||
@@ -1956,31 +1948,31 @@ coroutines.cpp:
|
||||
#-----| mu0_20(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r0_15
|
||||
# 110| v110_5(void) = NoOp :
|
||||
#-----| v0_21(void) = NoOp :
|
||||
#-----| Goto (back edge) -> Block 12
|
||||
#-----| Goto (back edge) -> Block 11
|
||||
|
||||
#-----| Block 9
|
||||
#-----| Block 8
|
||||
#-----| v0_22(void) = CatchAny :
|
||||
#-----| r0_23(glval<bool>) = VariableAddress :
|
||||
#-----| r0_24(bool) = Load[?] : &:r0_23, ~m?
|
||||
#-----| r0_25(bool) = LogicalNot : r0_24
|
||||
#-----| v0_26(void) = ConditionalBranch : r0_25
|
||||
#-----| False -> Block 11
|
||||
#-----| True -> Block 10
|
||||
#-----| False -> Block 10
|
||||
#-----| True -> Block 9
|
||||
|
||||
#-----| Block 10
|
||||
#-----| Block 9
|
||||
#-----| v0_27(void) = ReThrow :
|
||||
#-----| Exception -> Block 2
|
||||
|
||||
# 108| Block 11
|
||||
# 108| Block 10
|
||||
# 108| r108_49(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 108| r108_50(glval<unknown>) = FunctionAddress[unhandled_exception] :
|
||||
# 108| v108_51(void) = Call[unhandled_exception] : func:r108_50, this:r108_49
|
||||
# 108| mu108_52(unknown) = ^CallSideEffect : ~m?
|
||||
# 108| v108_53(void) = ^IndirectReadSideEffect[-1] : &:r108_49, ~m?
|
||||
# 108| mu108_54(promise_type) = ^IndirectMayWriteSideEffect[-1] : &:r108_49
|
||||
#-----| Goto -> Block 12
|
||||
#-----| Goto -> Block 11
|
||||
|
||||
#-----| Block 12
|
||||
#-----| Block 11
|
||||
#-----| v0_28(void) = NoOp :
|
||||
# 108| r108_55(glval<promise_type>) = VariableAddress[(unnamed local variable)] :
|
||||
# 108| r108_56(glval<unknown>) = FunctionAddress[final_suspend] :
|
||||
|
||||
@@ -6,10 +6,10 @@ missingOperandType
|
||||
duplicateChiOperand
|
||||
sideEffectWithoutPrimary
|
||||
instructionWithoutSuccessor
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
| coroutines.cpp:96:12:96:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| coroutines.cpp:100:12:100:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| coroutines.cpp:104:12:104:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| coroutines.cpp:109:12:109:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
ambiguousSuccessors
|
||||
unexplainedLoop
|
||||
unnecessaryPhiInstruction
|
||||
|
||||
@@ -6,10 +6,10 @@ missingOperandType
|
||||
duplicateChiOperand
|
||||
sideEffectWithoutPrimary
|
||||
instructionWithoutSuccessor
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| file://:0:0:0:0 | CopyValue: co_await ... | Instruction 'CopyValue: co_await ...' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
| coroutines.cpp:96:12:96:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:95:20:95:38 | co_returnable_void co_yield_value_void(int) | co_returnable_void co_yield_value_void(int) |
|
||||
| coroutines.cpp:100:12:100:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:99:21:99:40 | co_returnable_value co_yield_value_value(int) | co_returnable_value co_yield_value_value(int) |
|
||||
| coroutines.cpp:104:12:104:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:103:20:103:43 | co_returnable_void co_yield_and_return_void(int) | co_returnable_void co_yield_and_return_void(int) |
|
||||
| coroutines.cpp:109:12:109:12 | IndirectMayWriteSideEffect: (unnamed local variable) | Instruction 'IndirectMayWriteSideEffect: (unnamed local variable)' has no successors in function '$@'. | coroutines.cpp:108:21:108:45 | co_returnable_value co_yield_and_return_value(int) | co_returnable_value co_yield_and_return_value(int) |
|
||||
ambiguousSuccessors
|
||||
unexplainedLoop
|
||||
unnecessaryPhiInstruction
|
||||
|
||||
Reference in New Issue
Block a user