hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 08:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test changes.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-04 14:45:20 +01:00
parent 796fcfec6c
commit a6a0e20176
8 changed files with 109 additions and 265 deletions
Download Patch File Download Diff File Expand all files Collapse all files

64
cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
View File

@@ -1175,8 +1175,8 @@ destructors_for_temps.cpp:
# 52| r52_2(glval<ClassWithDestructor2>) = VariableAddress[c] :
# 52| r52_3(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 52| v52_4(void) = Call[~ClassWithDestructor2] : func:r52_3, this:r52_2
# 52| m52_5(unknown) = ^CallSideEffect : ~m51_62, ~m51_84
# 52| m52_6(unknown) = Chi : total:m51_62, total:m51_84, partial:m52_5
# 52| m52_5(unknown) = ^CallSideEffect : ~m51_52, ~m51_64
# 52| m52_6(unknown) = Chi : total:m51_52, total:m51_64, partial:m52_5
# 52| v52_7(void) = ^IndirectReadSideEffect[-1] : &:r52_2, m50_8
# 52| m52_8(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r52_2
# 52| m52_9(ClassWithDestructor2) = Chi : total:m50_8, partial:m52_8
@@ -1233,25 +1233,16 @@ destructors_for_temps.cpp:
#-----| Goto -> Block 8
# 51| Block 8
# 51| m51_70(ClassWithDestructor2) = Phi : from 4:m51_57, from 4:m51_79
# 51| m51_71(unknown) = Phi : from 4:~m51_62, from 4:~m51_84, from 6:~m51_37
# 51| m51_69(ClassWithDestructor2) = Phi : from 4:m51_65, from 4:m51_87, from 6:m51_39
# 51| r51_72(glval<ClassWithDestructor2>) = CopyValue : r51_1
# 51| r51_73(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 51| v51_74(void) = Call[~ClassWithDestructor2] : func:r51_51, func:r51_73, this:r51_50, this:r51_72
# 51| m51_75(unknown) = ^CallSideEffect : ~m51_46, ~m51_49, ~m51_68, ~m51_71
# 51| m51_76(unknown) = Chi : total:m51_46, total:m51_49, total:m51_68, total:m51_71, partial:m51_53, partial:m51_75
# 51| v51_77(void) = ^IndirectReadSideEffect[-1] : &:r51_50, &:r51_72, m51_45, m51_48, m51_67, m51_70
# 51| m51_78(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r51_50, &:r51_72
# 51| m51_79(ClassWithDestructor2) = Chi : total:m51_45, total:m51_48, total:m51_67, total:m51_70, partial:m51_56, partial:m51_78
# 51| r51_80(glval<ClassWithDestructor2>) = CopyValue : r51_32
# 51| r51_81(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 51| v51_82(void) = Call[~ClassWithDestructor2] : func:r51_59, func:r51_81, this:r51_58, this:r51_80
# 51| m51_83(unknown) = ^CallSideEffect : ~m51_54, ~m51_76
# 51| m51_84(unknown) = Chi : total:m51_54, total:m51_76, partial:m51_61, partial:m51_83
# 51| v51_85(void) = ^IndirectReadSideEffect[-1] : &:r51_58, &:r51_80, m51_44, m51_47, m51_66, m51_69
# 51| m51_86(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r51_58, &:r51_80
# 51| m51_87(ClassWithDestructor2) = Chi : total:m51_44, total:m51_47, total:m51_66, total:m51_69, partial:m51_64, partial:m51_86
# 51| m51_58(ClassWithDestructor2) = Phi : from 4:m51_55, from 4:m51_67
# 51| m51_59(unknown) = Phi : from 4:~m51_52, from 4:~m51_64, from 6:~m51_37
# 51| r51_60(glval<ClassWithDestructor2>) = CopyValue : r51_1
# 51| r51_61(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 51| v51_62(void) = Call[~ClassWithDestructor2] : func:r51_49, func:r51_61, this:r51_48, this:r51_60
# 51| m51_63(unknown) = ^CallSideEffect : ~m51_45, ~m51_47, ~m51_57, ~m51_59
# 51| m51_64(unknown) = Chi : total:m51_45, total:m51_47, total:m51_57, total:m51_59, partial:m51_51, partial:m51_63
# 51| v51_65(void) = ^IndirectReadSideEffect[-1] : &:r51_48, &:r51_60, m51_44, m51_46, m51_56, m51_58
# 51| m51_66(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r51_48, &:r51_60
# 51| m51_67(ClassWithDestructor2) = Chi : total:m51_44, total:m51_46, total:m51_56, total:m51_58, partial:m51_54, partial:m51_66
#-----| Goto (back edge) -> Block 4
#-----| Goto (back edge) -> Block 3
@@ -1275,7 +1266,7 @@ destructors_for_temps.cpp:
#-----| True -> Block 5
# 54| Block 1
# 54| m54_7(unknown) = Phi : from 2:~m55_28, from 3:~m55_62, from 3:~m55_84
# 54| m54_7(unknown) = Phi : from 2:~m55_28, from 3:~m55_52, from 3:~m55_64
# 54| v54_8(void) = AliasedUse : ~m54_7
# 54| v54_9(void) = ExitFunction :
@@ -1339,25 +1330,16 @@ destructors_for_temps.cpp:
#-----| Goto -> Block 8
# 55| Block 8
# 55| m55_70(ClassWithDestructor2) = Phi : from 4:m55_65, from 4:m55_87, from 6:m55_39
# 55| m55_71(unknown) = Phi : from 4:~m55_62, from 4:~m55_84, from 6:~m55_37
# 55| m55_69(ClassWithDestructor2) = Phi : from 4:m55_57, from 4:m55_79
# 55| r55_72(glval<ClassWithDestructor2>) = CopyValue : r55_1
# 55| r55_73(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 55| v55_74(void) = Call[~ClassWithDestructor2] : func:r55_51, func:r55_73, this:r55_50, this:r55_72
# 55| m55_75(unknown) = ^CallSideEffect : ~m55_46, ~m55_49, ~m55_68, ~m55_71
# 55| m55_76(unknown) = Chi : total:m55_46, total:m55_49, total:m55_68, total:m55_71, partial:m55_53, partial:m55_75
# 55| v55_77(void) = ^IndirectReadSideEffect[-1] : &:r55_50, &:r55_72, m55_44, m55_47, m55_66, m55_69
# 55| m55_78(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r55_50, &:r55_72
# 55| m55_79(ClassWithDestructor2) = Chi : total:m55_44, total:m55_47, total:m55_66, total:m55_69, partial:m55_56, partial:m55_78
# 55| r55_80(glval<ClassWithDestructor2>) = CopyValue : r55_32
# 55| r55_81(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 55| v55_82(void) = Call[~ClassWithDestructor2] : func:r55_59, func:r55_81, this:r55_58, this:r55_80
# 55| m55_83(unknown) = ^CallSideEffect : ~m55_54, ~m55_76
# 55| m55_84(unknown) = Chi : total:m55_54, total:m55_76, partial:m55_61, partial:m55_83
# 55| v55_85(void) = ^IndirectReadSideEffect[-1] : &:r55_58, &:r55_80, m55_45, m55_48, m55_67, m55_70
# 55| m55_86(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r55_58, &:r55_80
# 55| m55_87(ClassWithDestructor2) = Chi : total:m55_45, total:m55_48, total:m55_67, total:m55_70, partial:m55_64, partial:m55_86
# 55| m55_58(ClassWithDestructor2) = Phi : from 4:m55_55, from 4:m55_67
# 55| m55_59(unknown) = Phi : from 4:~m55_52, from 4:~m55_64, from 6:~m55_37
# 55| r55_60(glval<ClassWithDestructor2>) = CopyValue : r55_1
# 55| r55_61(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 55| v55_62(void) = Call[~ClassWithDestructor2] : func:r55_49, func:r55_61, this:r55_48, this:r55_60
# 55| m55_63(unknown) = ^CallSideEffect : ~m55_45, ~m55_47, ~m55_57, ~m55_59
# 55| m55_64(unknown) = Chi : total:m55_45, total:m55_47, total:m55_57, total:m55_59, partial:m55_51, partial:m55_63
# 55| v55_65(void) = ^IndirectReadSideEffect[-1] : &:r55_48, &:r55_60, m55_44, m55_46, m55_56, m55_58
# 55| m55_66(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r55_48, &:r55_60
# 55| m55_67(ClassWithDestructor2) = Chi : total:m55_44, total:m55_46, total:m55_56, total:m55_58, partial:m55_54, partial:m55_66
#-----| Goto (back edge) -> Block 4
#-----| Goto (back edge) -> Block 3

20
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
View File

@@ -7,8 +7,8 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| destructors_for_temps.cpp:51:75:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unexplainedLoop
| destructors_for_temps.cpp:51:5:51:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
@@ -20,14 +20,6 @@ unexplainedLoop
| destructors_for_temps.cpp:51:5:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Chi: call to ~ClassWithDestructor2 | Instruction 'Chi: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
@@ -38,14 +30,6 @@ unexplainedLoop
| destructors_for_temps.cpp:55:5:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Chi: call to ~ClassWithDestructor2 | Instruction 'Chi: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions

22
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
View File

@@ -12,8 +12,8 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| destructors_for_temps.cpp:51:75:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unexplainedLoop
| destructors_for_temps.cpp:51:5:51:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
@@ -26,15 +26,6 @@ unexplainedLoop
| destructors_for_temps.cpp:51:5:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Chi: call to ~ClassWithDestructor2 | Instruction 'Chi: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
@@ -46,15 +37,6 @@ unexplainedLoop
| destructors_for_temps.cpp:55:5:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Chi: call to ~ClassWithDestructor2 | Instruction 'Chi: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Chi: reuse of temporary object | Instruction 'Chi: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions

184
cpp/ql/test/library-tests/ir/ir/operand_locations.expected
View File

@@ -1060,42 +1060,39 @@
| destructors_for_temps.cpp:51:5:51:5 | Load | m51_42 |
| destructors_for_temps.cpp:51:5:51:5 | StoreValue | r51_6 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_1 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_50 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_50 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_72 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_72 |
| destructors_for_temps.cpp:51:5:51:96 | Arg(this) | this:r51_50 |
| destructors_for_temps.cpp:51:5:51:96 | Arg(this) | this:r51_72 |
| destructors_for_temps.cpp:51:5:51:96 | CallTarget | func:r51_51 |
| destructors_for_temps.cpp:51:5:51:96 | CallTarget | func:r51_73 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_53 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_56 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_75 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_78 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_48 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_48 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_60 |
| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_60 |
| destructors_for_temps.cpp:51:5:51:96 | Arg(this) | this:r51_48 |
| destructors_for_temps.cpp:51:5:51:96 | Arg(this) | this:r51_60 |
| destructors_for_temps.cpp:51:5:51:96 | CallTarget | func:r51_49 |
| destructors_for_temps.cpp:51:5:51:96 | CallTarget | func:r51_61 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_51 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_54 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_63 |
| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_66 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_44 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_45 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_46 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_48 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_49 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_67 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_68 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_70 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_71 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_57 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_65 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_79 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_87 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:~m51_62 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:~m51_84 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 6:m51_39 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_47 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_56 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_57 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_58 |
| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_59 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_55 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_67 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:~m51_52 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:~m51_64 |
| destructors_for_temps.cpp:51:5:51:96 | Phi | from 6:~m51_37 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_45 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_48 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_67 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_70 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_46 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_49 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_68 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_71 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_44 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_46 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_56 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_58 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_45 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_47 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_57 |
| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_59 |
| destructors_for_temps.cpp:51:5:51:96 | Unary | r51_1 |
| destructors_for_temps.cpp:51:9:51:71 | Address | &:r51_7 |
| destructors_for_temps.cpp:51:9:51:71 | Address | &:r51_7 |
@@ -1132,40 +1129,15 @@
| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_32 |
| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_32 |
| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_32 |
| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_58 |
| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_58 |
| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_80 |
| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_80 |
| destructors_for_temps.cpp:51:75:51:96 | Arg(this) | this:r51_32 |
| destructors_for_temps.cpp:51:75:51:96 | Arg(this) | this:r51_58 |
| destructors_for_temps.cpp:51:75:51:96 | Arg(this) | this:r51_80 |
| destructors_for_temps.cpp:51:75:51:96 | CallTarget | func:r51_34 |
| destructors_for_temps.cpp:51:75:51:96 | CallTarget | func:r51_59 |
| destructors_for_temps.cpp:51:75:51:96 | CallTarget | func:r51_81 |
| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_36 |
| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_38 |
| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_61 |
| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_64 |
| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_83 |
| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_86 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m50_6 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_33 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_44 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_47 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_54 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_66 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_69 |
| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_76 |
| destructors_for_temps.cpp:51:75:51:96 | Load | m51_39 |
| destructors_for_temps.cpp:51:75:51:96 | SideEffect | m51_44 |
| destructors_for_temps.cpp:51:75:51:96 | SideEffect | m51_47 |
| destructors_for_temps.cpp:51:75:51:96 | SideEffect | m51_66 |
| destructors_for_temps.cpp:51:75:51:96 | SideEffect | m51_69 |
| destructors_for_temps.cpp:51:75:51:96 | SideEffect | ~m50_6 |
| destructors_for_temps.cpp:51:75:51:96 | SideEffect | ~m51_54 |
| destructors_for_temps.cpp:51:75:51:96 | SideEffect | ~m51_76 |
| destructors_for_temps.cpp:51:75:51:96 | StoreValue | r51_40 |
| destructors_for_temps.cpp:51:75:51:96 | Unary | r51_32 |
| destructors_for_temps.cpp:52:1:52:1 | Address | &:r52_2 |
| destructors_for_temps.cpp:52:1:52:1 | Address | &:r52_2 |
| destructors_for_temps.cpp:52:1:52:1 | Arg(this) | this:r52_2 |
@@ -1173,16 +1145,16 @@
| destructors_for_temps.cpp:52:1:52:1 | ChiPartial | partial:m52_5 |
| destructors_for_temps.cpp:52:1:52:1 | ChiPartial | partial:m52_8 |
| destructors_for_temps.cpp:52:1:52:1 | ChiTotal | total:m50_8 |
| destructors_for_temps.cpp:52:1:52:1 | ChiTotal | total:m51_62 |
| destructors_for_temps.cpp:52:1:52:1 | ChiTotal | total:m51_84 |
| destructors_for_temps.cpp:52:1:52:1 | ChiTotal | total:m51_52 |
| destructors_for_temps.cpp:52:1:52:1 | ChiTotal | total:m51_64 |
| destructors_for_temps.cpp:52:1:52:1 | SideEffect | m50_8 |
| destructors_for_temps.cpp:52:1:52:1 | SideEffect | ~m51_62 |
| destructors_for_temps.cpp:52:1:52:1 | SideEffect | ~m51_84 |
| destructors_for_temps.cpp:52:1:52:1 | SideEffect | ~m51_52 |
| destructors_for_temps.cpp:52:1:52:1 | SideEffect | ~m51_64 |
| destructors_for_temps.cpp:54:6:54:15 | ChiPartial | partial:m54_3 |
| destructors_for_temps.cpp:54:6:54:15 | ChiTotal | total:m54_2 |
| destructors_for_temps.cpp:54:6:54:15 | Phi | from 2:~m55_28 |
| destructors_for_temps.cpp:54:6:54:15 | Phi | from 3:~m55_62 |
| destructors_for_temps.cpp:54:6:54:15 | Phi | from 3:~m55_84 |
| destructors_for_temps.cpp:54:6:54:15 | Phi | from 3:~m55_52 |
| destructors_for_temps.cpp:54:6:54:15 | Phi | from 3:~m55_64 |
| destructors_for_temps.cpp:54:6:54:15 | SideEffect | ~m54_7 |
| destructors_for_temps.cpp:54:22:54:22 | Address | &:r54_5 |
| destructors_for_temps.cpp:55:5:55:5 | Address | &:r55_2 |
@@ -1193,42 +1165,39 @@
| destructors_for_temps.cpp:55:5:55:5 | Load | m55_42 |
| destructors_for_temps.cpp:55:5:55:5 | StoreValue | r55_6 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_1 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_50 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_50 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_72 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_72 |
| destructors_for_temps.cpp:55:5:55:96 | Arg(this) | this:r55_50 |
| destructors_for_temps.cpp:55:5:55:96 | Arg(this) | this:r55_72 |
| destructors_for_temps.cpp:55:5:55:96 | CallTarget | func:r55_51 |
| destructors_for_temps.cpp:55:5:55:96 | CallTarget | func:r55_73 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_53 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_56 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_75 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_78 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_48 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_48 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_60 |
| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_60 |
| destructors_for_temps.cpp:55:5:55:96 | Arg(this) | this:r55_48 |
| destructors_for_temps.cpp:55:5:55:96 | Arg(this) | this:r55_60 |
| destructors_for_temps.cpp:55:5:55:96 | CallTarget | func:r55_49 |
| destructors_for_temps.cpp:55:5:55:96 | CallTarget | func:r55_61 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_51 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_54 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_63 |
| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_66 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_44 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_45 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_46 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_47 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_49 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_66 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_68 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_69 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_71 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_57 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_65 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_79 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_87 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:~m55_62 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:~m55_84 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 6:m55_39 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_56 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_57 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_58 |
| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_59 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_55 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_67 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:~m55_52 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:~m55_64 |
| destructors_for_temps.cpp:55:5:55:96 | Phi | from 6:~m55_37 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_44 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_47 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_66 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_69 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_46 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_49 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_68 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_71 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_46 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_56 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_58 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_45 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_47 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_57 |
| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_59 |
| destructors_for_temps.cpp:55:5:55:96 | Unary | r55_1 |
| destructors_for_temps.cpp:55:9:55:71 | Address | &:r55_7 |
| destructors_for_temps.cpp:55:9:55:71 | Address | &:r55_7 |
@@ -1265,40 +1234,15 @@
| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_32 |
| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_32 |
| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_32 |
| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_58 |
| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_58 |
| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_80 |
| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_80 |
| destructors_for_temps.cpp:55:75:55:96 | Arg(this) | this:r55_32 |
| destructors_for_temps.cpp:55:75:55:96 | Arg(this) | this:r55_58 |
| destructors_for_temps.cpp:55:75:55:96 | Arg(this) | this:r55_80 |
| destructors_for_temps.cpp:55:75:55:96 | CallTarget | func:r55_34 |
| destructors_for_temps.cpp:55:75:55:96 | CallTarget | func:r55_59 |
| destructors_for_temps.cpp:55:75:55:96 | CallTarget | func:r55_81 |
| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_36 |
| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_38 |
| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_61 |
| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_64 |
| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_83 |
| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_86 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m54_4 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_33 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_45 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_48 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_54 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_67 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_70 |
| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_76 |
| destructors_for_temps.cpp:55:75:55:96 | Load | m55_39 |
| destructors_for_temps.cpp:55:75:55:96 | SideEffect | m55_45 |
| destructors_for_temps.cpp:55:75:55:96 | SideEffect | m55_48 |
| destructors_for_temps.cpp:55:75:55:96 | SideEffect | m55_67 |
| destructors_for_temps.cpp:55:75:55:96 | SideEffect | m55_70 |
| destructors_for_temps.cpp:55:75:55:96 | SideEffect | ~m54_4 |
| destructors_for_temps.cpp:55:75:55:96 | SideEffect | ~m55_54 |
| destructors_for_temps.cpp:55:75:55:96 | SideEffect | ~m55_76 |
| destructors_for_temps.cpp:55:75:55:96 | StoreValue | r55_40 |
| destructors_for_temps.cpp:55:75:55:96 | Unary | r55_32 |
| destructors_for_temps.cpp:58:6:58:22 | ChiPartial | partial:m58_3 |
| destructors_for_temps.cpp:58:6:58:22 | ChiTotal | total:m58_2 |
| destructors_for_temps.cpp:58:6:58:22 | Phi | from 2:~m59_16 |

16
cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
View File

@@ -7,8 +7,8 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unexplainedLoop
| destructors_for_temps.cpp:51:5:51:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
@@ -17,12 +17,6 @@ unexplainedLoop
| destructors_for_temps.cpp:51:5:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
@@ -30,12 +24,6 @@ unexplainedLoop
| destructors_for_temps.cpp:55:5:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions

36
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -1158,18 +1158,12 @@ destructors_for_temps.cpp:
#-----| Goto -> Block 8
# 51| Block 8
# 51| r51_48(glval<ClassWithDestructor2>) = CopyValue : r51_1
# 51| r51_49(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 51| v51_50(void) = Call[~ClassWithDestructor2] : func:r51_37, func:r51_49, this:r51_36, this:r51_48
# 51| mu51_51(unknown) = ^CallSideEffect : ~m?
# 51| v51_52(void) = ^IndirectReadSideEffect[-1] : &:r51_36, &:r51_48, ~m?
# 51| mu51_53(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r51_36, &:r51_48
# 51| r51_54(glval<ClassWithDestructor2>) = CopyValue : r51_26
# 51| r51_55(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 51| v51_56(void) = Call[~ClassWithDestructor2] : func:r51_43, func:r51_55, this:r51_42, this:r51_54
# 51| mu51_57(unknown) = ^CallSideEffect : ~m?
# 51| v51_58(void) = ^IndirectReadSideEffect[-1] : &:r51_42, &:r51_54, ~m?
# 51| mu51_59(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r51_42, &:r51_54
# 51| r51_42(glval<ClassWithDestructor2>) = CopyValue : r51_1
# 51| r51_43(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 51| v51_44(void) = Call[~ClassWithDestructor2] : func:r51_37, func:r51_43, this:r51_36, this:r51_42
# 51| mu51_45(unknown) = ^CallSideEffect : ~m?
# 51| v51_46(void) = ^IndirectReadSideEffect[-1] : &:r51_36, &:r51_42, ~m?
# 51| mu51_47(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r51_36, &:r51_42
#-----| Goto (back edge) -> Block 4
#-----| Goto (back edge) -> Block 3
@@ -1247,18 +1241,12 @@ destructors_for_temps.cpp:
#-----| Goto -> Block 8
# 55| Block 8
# 55| r55_48(glval<ClassWithDestructor2>) = CopyValue : r55_1
# 55| r55_49(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 55| v55_50(void) = Call[~ClassWithDestructor2] : func:r55_37, func:r55_49, this:r55_36, this:r55_48
# 55| mu55_51(unknown) = ^CallSideEffect : ~m?
# 55| v55_52(void) = ^IndirectReadSideEffect[-1] : &:r55_36, &:r55_48, ~m?
# 55| mu55_53(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r55_36, &:r55_48
# 55| r55_54(glval<ClassWithDestructor2>) = CopyValue : r55_26
# 55| r55_55(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 55| v55_56(void) = Call[~ClassWithDestructor2] : func:r55_43, func:r55_55, this:r55_42, this:r55_54
# 55| mu55_57(unknown) = ^CallSideEffect : ~m?
# 55| v55_58(void) = ^IndirectReadSideEffect[-1] : &:r55_42, &:r55_54, ~m?
# 55| mu55_59(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r55_42, &:r55_54
# 55| r55_42(glval<ClassWithDestructor2>) = CopyValue : r55_1
# 55| r55_43(glval<unknown>) = FunctionAddress[~ClassWithDestructor2] :
# 55| v55_44(void) = Call[~ClassWithDestructor2] : func:r55_37, func:r55_43, this:r55_36, this:r55_42
# 55| mu55_45(unknown) = ^CallSideEffect : ~m?
# 55| v55_46(void) = ^IndirectReadSideEffect[-1] : &:r55_36, &:r55_42, ~m?
# 55| mu55_47(ClassWithDestructor2) = ^IndirectMayWriteSideEffect[-1] : &:r55_36, &:r55_42
#-----| Goto (back edge) -> Block 4
#-----| Goto (back edge) -> Block 3

16
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
View File

@@ -7,8 +7,8 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unexplainedLoop
| destructors_for_temps.cpp:51:5:51:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
@@ -17,12 +17,6 @@ unexplainedLoop
| destructors_for_temps.cpp:51:5:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
@@ -30,12 +24,6 @@ unexplainedLoop
| destructors_for_temps.cpp:55:5:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions

16
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
View File

@@ -7,8 +7,8 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
ambiguousSuccessors
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' has 2 successors of kind 'Goto' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unexplainedLoop
| destructors_for_temps.cpp:51:5:51:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
@@ -17,12 +17,6 @@ unexplainedLoop
| destructors_for_temps.cpp:51:5:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:5:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:51:75:51:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
| destructors_for_temps.cpp:55:5:55:5 | Load: ... ? ... : ... | Instruction 'Load: ... ? ... : ...' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
@@ -30,12 +24,6 @@ unexplainedLoop
| destructors_for_temps.cpp:55:5:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:5:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | Call: call to ~ClassWithDestructor2 | Instruction 'Call: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CallSideEffect: call to ~ClassWithDestructor2 | Instruction 'CallSideEffect: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | CopyValue: reuse of temporary object | Instruction 'CopyValue: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | FunctionAddress: call to ~ClassWithDestructor2 | Instruction 'FunctionAddress: call to ~ClassWithDestructor2' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectMayWriteSideEffect: reuse of temporary object | Instruction 'IndirectMayWriteSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
| destructors_for_temps.cpp:55:75:55:96 | IndirectReadSideEffect: reuse of temporary object | Instruction 'IndirectReadSideEffect: reuse of temporary object' is part of an unexplained loop in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
unnecessaryPhiInstruction
memoryOperandDefinitionIsUnmodeled
operandAcrossFunctions