C++: Accept test changes.

2026-04-27 09:45:15 +02:00 · 2024-04-04 11:05:14 +01:00
parent 17e8c95e7f
commit cf996f8600
8 changed files with 192 additions and 358 deletions
--- a/cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
+++ b/cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
@@ -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_104, ~m51_72
-#   52|     m52_6(unknown)                     = Chi                                    : total:m51_104, total:m51_72, partial:m52_5
+#   52|     m52_5(unknown)                     = ^CallSideEffect                        : ~m51_62, ~m51_84
+#   52|     m52_6(unknown)                     = Chi                                    : total:m51_62, total:m51_84, 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,40 +1233,31 @@ destructors_for_temps.cpp:
 #-----|   Goto -> Block 8

 #   51|   Block 8
-#   51|     m51_82(ClassWithDestructor2)         = Phi                                    : from 4:m51_59, from 4:m51_91
-#   51|     m51_83(unknown)                      = Phi                                    : from 4:~m51_104, from 4:~m51_72, from 6:~m51_37
-#   51|     m51_80(ClassWithDestructor2)         = Phi                                    : from 4:m51_67, from 4:m51_99, from 6:m51_39
-#   51|     m51_81(ClassWithDestructor2)         = Phi                                    : from 4:m51_107, from 4:m51_75
-#   51|     r51_84(glval<ClassWithDestructor2>)  = CopyValue                              : r51_1
-#   51|     r51_85(glval<unknown>)               = FunctionAddress[~ClassWithDestructor2] : 
-#   51|     v51_86(void)                         = Call[~ClassWithDestructor2]            : func:r51_53, func:r51_85, this:r51_52, this:r51_84
-#   51|     m51_87(unknown)                      = ^CallSideEffect                        : ~m51_47, ~m51_51, ~m51_79, ~m51_83
-#   51|     m51_88(unknown)                      = Chi                                    : total:m51_47, total:m51_51, total:m51_79, total:m51_83, partial:m51_55, partial:m51_87
-#   51|     v51_89(void)                         = ^IndirectReadSideEffect[-1]            : &:r51_52, &:r51_84, m51_46, m51_50, m51_78, m51_82
-#   51|     m51_90(ClassWithDestructor2)         = ^IndirectMayWriteSideEffect[-1]        : &:r51_52, &:r51_84
-#   51|     m51_91(ClassWithDestructor2)         = Chi                                    : total:m51_46, total:m51_50, total:m51_78, total:m51_82, partial:m51_58, partial:m51_90
-#   51|     r51_92(glval<ClassWithDestructor2>)  = CopyValue                              : r51_32
-#   51|     r51_93(glval<unknown>)               = FunctionAddress[~ClassWithDestructor2] : 
-#   51|     v51_94(void)                         = Call[~ClassWithDestructor2]            : func:r51_61, func:r51_93, this:r51_60, this:r51_92
-#   51|     m51_95(unknown)                      = ^CallSideEffect                        : ~m51_56, ~m51_88
-#   51|     m51_96(unknown)                      = Chi                                    : total:m51_56, total:m51_88, partial:m51_63, partial:m51_95
-#   51|     v51_97(void)                         = ^IndirectReadSideEffect[-1]            : &:r51_60, &:r51_92, m51_44, m51_48, m51_76, m51_80
-#   51|     m51_98(ClassWithDestructor2)         = ^IndirectMayWriteSideEffect[-1]        : &:r51_60, &:r51_92
-#   51|     m51_99(ClassWithDestructor2)         = Chi                                    : total:m51_44, total:m51_48, total:m51_76, total:m51_80, partial:m51_66, partial:m51_98
-#   51|     r51_68(glval<ClassWithDestructor2>)  = CopyValue                              : r51_11
-#   51|     r51_69(glval<unknown>)               = FunctionAddress[~ClassWithDestructor2] : 
-#   51|     v51_70(void)                         = Call[~ClassWithDestructor2]            : func:r51_101, func:r51_69, this:r51_100, this:r51_68
-#   51|     m51_71(unknown)                      = ^CallSideEffect                        : ~m51_64, ~m51_96
-#   51|     m51_72(unknown)                      = Chi                                    : total:m51_64, total:m51_96, partial:m51_103, partial:m51_71
-#   51|     v51_73(void)                         = ^IndirectReadSideEffect[-1]            : &:r51_100, &:r51_68, m51_45, m51_49, m51_77, m51_81
-#   51|     m51_74(ClassWithDestructor2)         = ^IndirectMayWriteSideEffect[-1]        : &:r51_100, &:r51_68
-#   51|     m51_75(ClassWithDestructor2)         = Chi                                    : total:m51_45, total:m51_49, total:m51_77, total:m51_81, partial:m51_106, partial:m51_74
-#-----|   Goto (back edge) -> Block 4
+#   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
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 #   51|   Block 8
-#-----|   Goto (back edge) -> Block 4
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 #   54| void temp_test8(bool)
 #   54|   Block 0
@@ -1284,7 +1275,7 @@ destructors_for_temps.cpp:
 #-----|   True -> Block 5

 #   54|   Block 1
-#   54|     m54_7(unknown) = Phi          : from 2:~m55_28, from 3:~m55_104, from 3:~m55_72
+#   54|     m54_7(unknown) = Phi          : from 2:~m55_28, from 3:~m55_62, from 3:~m55_84
 #   54|     v54_8(void)    = AliasedUse   : ~m54_7
 #   54|     v54_9(void)    = ExitFunction : 

@@ -1348,40 +1339,31 @@ destructors_for_temps.cpp:
 #-----|   Goto -> Block 8

 #   55|   Block 8
-#   55|     m55_82(ClassWithDestructor2)         = Phi                                    : from 4:m55_107, from 4:m55_75
-#   55|     m55_83(unknown)                      = Phi                                    : from 4:~m55_104, from 4:~m55_72, from 6:~m55_37
-#   55|     m55_80(ClassWithDestructor2)         = Phi                                    : from 4:m55_59, from 4:m55_91
-#   55|     m55_81(ClassWithDestructor2)         = Phi                                    : from 4:m55_67, from 4:m55_99, from 6:m55_39
-#   55|     r55_84(glval<ClassWithDestructor2>)  = CopyValue                              : r55_1
-#   55|     r55_85(glval<unknown>)               = FunctionAddress[~ClassWithDestructor2] : 
-#   55|     v55_86(void)                         = Call[~ClassWithDestructor2]            : func:r55_53, func:r55_85, this:r55_52, this:r55_84
-#   55|     m55_87(unknown)                      = ^CallSideEffect                        : ~m55_47, ~m55_51, ~m55_79, ~m55_83
-#   55|     m55_88(unknown)                      = Chi                                    : total:m55_47, total:m55_51, total:m55_79, total:m55_83, partial:m55_55, partial:m55_87
-#   55|     v55_89(void)                         = ^IndirectReadSideEffect[-1]            : &:r55_52, &:r55_84, m55_44, m55_48, m55_76, m55_80
-#   55|     m55_90(ClassWithDestructor2)         = ^IndirectMayWriteSideEffect[-1]        : &:r55_52, &:r55_84
-#   55|     m55_91(ClassWithDestructor2)         = Chi                                    : total:m55_44, total:m55_48, total:m55_76, total:m55_80, partial:m55_58, partial:m55_90
-#   55|     r55_92(glval<ClassWithDestructor2>)  = CopyValue                              : r55_32
-#   55|     r55_93(glval<unknown>)               = FunctionAddress[~ClassWithDestructor2] : 
-#   55|     v55_94(void)                         = Call[~ClassWithDestructor2]            : func:r55_61, func:r55_93, this:r55_60, this:r55_92
-#   55|     m55_95(unknown)                      = ^CallSideEffect                        : ~m55_56, ~m55_88
-#   55|     m55_96(unknown)                      = Chi                                    : total:m55_56, total:m55_88, partial:m55_63, partial:m55_95
-#   55|     v55_97(void)                         = ^IndirectReadSideEffect[-1]            : &:r55_60, &:r55_92, m55_45, m55_49, m55_77, m55_81
-#   55|     m55_98(ClassWithDestructor2)         = ^IndirectMayWriteSideEffect[-1]        : &:r55_60, &:r55_92
-#   55|     m55_99(ClassWithDestructor2)         = Chi                                    : total:m55_45, total:m55_49, total:m55_77, total:m55_81, partial:m55_66, partial:m55_98
-#   55|     r55_68(glval<ClassWithDestructor2>)  = CopyValue                              : r55_11
-#   55|     r55_69(glval<unknown>)               = FunctionAddress[~ClassWithDestructor2] : 
-#   55|     v55_70(void)                         = Call[~ClassWithDestructor2]            : func:r55_101, func:r55_69, this:r55_100, this:r55_68
-#   55|     m55_71(unknown)                      = ^CallSideEffect                        : ~m55_64, ~m55_96
-#   55|     m55_72(unknown)                      = Chi                                    : total:m55_64, total:m55_96, partial:m55_103, partial:m55_71
-#   55|     v55_73(void)                         = ^IndirectReadSideEffect[-1]            : &:r55_100, &:r55_68, m55_46, m55_50, m55_78, m55_82
-#   55|     m55_74(ClassWithDestructor2)         = ^IndirectMayWriteSideEffect[-1]        : &:r55_100, &:r55_68
-#   55|     m55_75(ClassWithDestructor2)         = Chi                                    : total:m55_46, total:m55_50, total:m55_78, total:m55_82, partial:m55_106, partial:m55_74
-#-----|   Goto (back edge) -> Block 4
+#   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
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 #   55|   Block 8
-#-----|   Goto (back edge) -> Block 4
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 ir.c:
 #    7| void MyCoordsTest(int)
--- a/cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
+++ b/cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
@@ -7,8 +7,8 @@ duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
 ambiguousSuccessors
-| destructors_for_temps.cpp:51:41:51:62 | 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:41:55:62 | 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: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) |
 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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 | 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) |
@@ -46,14 +38,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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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 | 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) |
@@ -79,9 +63,7 @@ lostReachability
 backEdgeCountMismatch
 useNotDominatedByDefinition
 | destructors_for_temps.cpp:51:5:51:5 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
-| destructors_for_temps.cpp:51:41:51:62 | Unary | Operand 'Unary' is not dominated by its definition 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 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
-| destructors_for_temps.cpp:55:41:55:62 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
 switchInstructionWithoutDefaultEdge
 notMarkedAsConflated
 wronglyMarkedAsConflated
--- a/cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
+++ b/cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
@@ -3,8 +3,6 @@ unexpectedOperand
 duplicateOperand
 missingPhiOperand
 | destructors_for_temps.cpp:51:5:51:96 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is missing an operand for predecessor block 'VariableAddress: temporary object' 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 missing an operand for predecessor block 'VariableAddress: temporary object' 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 | Phi: reuse of temporary object | Instruction 'Phi: reuse of temporary object' is missing an operand for predecessor block 'VariableAddress: temporary object' 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 missing an operand for predecessor block 'VariableAddress: temporary object' in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
 missingOperandType
 | destructors_for_temps.cpp:39:3:39:53 | ChiTotal | Operand 'ChiTotal' of instruction 'Chi' is missing a type in function '$@'. | destructors_for_temps.cpp:38:6:38:15 | void temp_test5(bool) | void temp_test5(bool) |
@@ -14,8 +12,8 @@ duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
 ambiguousSuccessors
-| destructors_for_temps.cpp:51:41:51:62 | 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:41:55:62 | 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: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) |
 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) |
@@ -29,15 +27,6 @@ unexplainedLoop
 | 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: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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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 | 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) |
@@ -58,15 +47,6 @@ unexplainedLoop
 | 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: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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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 | 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) |
@@ -92,9 +72,7 @@ lostReachability
 backEdgeCountMismatch
 useNotDominatedByDefinition
 | destructors_for_temps.cpp:51:5:51:5 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
-| destructors_for_temps.cpp:51:41:51:62 | Unary | Operand 'Unary' is not dominated by its definition 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 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
-| destructors_for_temps.cpp:55:41:55:62 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
 switchInstructionWithoutDefaultEdge
 notMarkedAsConflated
 wronglyMarkedAsConflated
--- a/cpp/ql/test/library-tests/ir/ir/operand_locations.expected
+++ b/cpp/ql/test/library-tests/ir/ir/operand_locations.expected
@@ -1060,44 +1060,42 @@
 | 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_52 |
-| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_52 |
-| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_84 |
-| destructors_for_temps.cpp:51:5:51:96 | Address | &:r51_84 |
-| destructors_for_temps.cpp:51:5:51:96 | Arg(this) | this:r51_52 |
-| destructors_for_temps.cpp:51:5:51:96 | Arg(this) | this:r51_84 |
-| destructors_for_temps.cpp:51:5:51:96 | CallTarget | func:r51_53 |
-| destructors_for_temps.cpp:51:5:51:96 | CallTarget | func:r51_85 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_55 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_58 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_87 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiPartial | partial:m51_90 |
+| 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 | 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_47 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_50 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_51 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_78 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_79 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_82 |
-| destructors_for_temps.cpp:51:5:51:96 | ChiTotal | total:m51_83 |
-| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_59 |
-| 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_75 |
-| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_91 |
-| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_99 |
-| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:m51_107 |
-| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:~m51_72 |
-| destructors_for_temps.cpp:51:5:51:96 | Phi | from 4:~m51_104 |
+| 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 | Phi | from 6:~m51_37 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_46 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_50 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_78 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | m51_82 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_47 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_51 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_79 |
-| destructors_for_temps.cpp:51:5:51:96 | SideEffect | ~m51_83 |
+| 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 | 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 |
@@ -1115,42 +1113,17 @@
 | destructors_for_temps.cpp:51:41:51:62 | Address | &:r51_11 |
 | destructors_for_temps.cpp:51:41:51:62 | Address | &:r51_11 |
 | destructors_for_temps.cpp:51:41:51:62 | Address | &:r51_11 |
-| destructors_for_temps.cpp:51:41:51:62 | Address | &:r51_68 |
-| destructors_for_temps.cpp:51:41:51:62 | Address | &:r51_68 |
-| destructors_for_temps.cpp:51:41:51:62 | Address | &:r51_100 |
-| destructors_for_temps.cpp:51:41:51:62 | Address | &:r51_100 |
 | destructors_for_temps.cpp:51:41:51:62 | Arg(this) | this:r51_11 |
 | destructors_for_temps.cpp:51:41:51:62 | Arg(this) | this:r51_11 |
-| destructors_for_temps.cpp:51:41:51:62 | Arg(this) | this:r51_68 |
-| destructors_for_temps.cpp:51:41:51:62 | Arg(this) | this:r51_100 |
 | destructors_for_temps.cpp:51:41:51:62 | CallTarget | func:r51_13 |
-| destructors_for_temps.cpp:51:41:51:62 | CallTarget | func:r51_69 |
-| destructors_for_temps.cpp:51:41:51:62 | CallTarget | func:r51_101 |
 | destructors_for_temps.cpp:51:41:51:62 | ChiPartial | partial:m51_15 |
 | destructors_for_temps.cpp:51:41:51:62 | ChiPartial | partial:m51_17 |
 | destructors_for_temps.cpp:51:41:51:62 | ChiPartial | partial:m51_24 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiPartial | partial:m51_71 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiPartial | partial:m51_74 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiPartial | partial:m51_103 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiPartial | partial:m51_106 |
 | destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m50_6 |
 | destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_12 |
 | destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_18 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_45 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_49 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_64 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_77 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_81 |
-| destructors_for_temps.cpp:51:41:51:62 | ChiTotal | total:m51_96 |
 | destructors_for_temps.cpp:51:41:51:62 | SideEffect | m51_18 |
-| destructors_for_temps.cpp:51:41:51:62 | SideEffect | m51_45 |
-| destructors_for_temps.cpp:51:41:51:62 | SideEffect | m51_49 |
-| destructors_for_temps.cpp:51:41:51:62 | SideEffect | m51_77 |
-| destructors_for_temps.cpp:51:41:51:62 | SideEffect | m51_81 |
 | destructors_for_temps.cpp:51:41:51:62 | SideEffect | ~m50_6 |
-| destructors_for_temps.cpp:51:41:51:62 | SideEffect | ~m51_64 |
-| destructors_for_temps.cpp:51:41:51:62 | SideEffect | ~m51_96 |
-| destructors_for_temps.cpp:51:41:51:62 | Unary | r51_11 |
 | destructors_for_temps.cpp:51:64:51:68 | Arg(1) | 1:r51_20 |
 | destructors_for_temps.cpp:51:64:51:68 | CallTarget | func:r51_19 |
 | destructors_for_temps.cpp:51:64:51:68 | ChiPartial | partial:m51_21 |
@@ -1159,38 +1132,38 @@
 | 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_60 |
-| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_60 |
-| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_92 |
-| destructors_for_temps.cpp:51:75:51:96 | Address | &:r51_92 |
+| 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_60 |
-| destructors_for_temps.cpp:51:75:51:96 | Arg(this) | this:r51_92 |
+| 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_61 |
-| destructors_for_temps.cpp:51:75:51:96 | CallTarget | func:r51_93 |
+| 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_63 |
-| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_66 |
-| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_95 |
-| destructors_for_temps.cpp:51:75:51:96 | ChiPartial | partial:m51_98 |
+| 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_48 |
-| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_56 |
+| 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 | ChiTotal | total:m51_80 |
-| destructors_for_temps.cpp:51:75:51:96 | ChiTotal | total:m51_88 |
 | 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_48 |
-| destructors_for_temps.cpp:51:75:51:96 | SideEffect | m51_76 |
-| destructors_for_temps.cpp:51:75:51:96 | SideEffect | m51_80 |
+| 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_56 |
-| destructors_for_temps.cpp:51:75:51:96 | SideEffect | ~m51_88 |
+| 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 |
@@ -1200,16 +1173,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_72 |
-| destructors_for_temps.cpp:52:1:52:1 | ChiTotal | total:m51_104 |
+| 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 | SideEffect | m50_8 |
-| destructors_for_temps.cpp:52:1:52:1 | SideEffect | ~m51_72 |
-| destructors_for_temps.cpp:52:1:52:1 | SideEffect | ~m51_104 |
+| 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: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_72 |
-| destructors_for_temps.cpp:54:6:54:15 | Phi | from 3:~m55_104 |
+| 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 | 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 |
@@ -1220,44 +1193,42 @@
 | 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_52 |
-| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_52 |
-| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_84 |
-| destructors_for_temps.cpp:55:5:55:96 | Address | &:r55_84 |
-| destructors_for_temps.cpp:55:5:55:96 | Arg(this) | this:r55_52 |
-| destructors_for_temps.cpp:55:5:55:96 | Arg(this) | this:r55_84 |
-| destructors_for_temps.cpp:55:5:55:96 | CallTarget | func:r55_53 |
-| destructors_for_temps.cpp:55:5:55:96 | CallTarget | func:r55_85 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_55 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_58 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_87 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiPartial | partial:m55_90 |
+| 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 | ChiTotal | total:m55_44 |
+| 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_48 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_51 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_76 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_79 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_80 |
-| destructors_for_temps.cpp:55:5:55:96 | ChiTotal | total:m55_83 |
-| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_59 |
-| 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_75 |
-| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_91 |
-| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_99 |
-| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:m55_107 |
-| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:~m55_72 |
-| destructors_for_temps.cpp:55:5:55:96 | Phi | from 4:~m55_104 |
+| 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 | 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_48 |
-| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_76 |
-| destructors_for_temps.cpp:55:5:55:96 | SideEffect | m55_80 |
-| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_47 |
-| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_51 |
-| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_79 |
-| destructors_for_temps.cpp:55:5:55:96 | SideEffect | ~m55_83 |
+| 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 | 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 |
@@ -1275,42 +1246,17 @@
 | destructors_for_temps.cpp:55:41:55:62 | Address | &:r55_11 |
 | destructors_for_temps.cpp:55:41:55:62 | Address | &:r55_11 |
 | destructors_for_temps.cpp:55:41:55:62 | Address | &:r55_11 |
-| destructors_for_temps.cpp:55:41:55:62 | Address | &:r55_68 |
-| destructors_for_temps.cpp:55:41:55:62 | Address | &:r55_68 |
-| destructors_for_temps.cpp:55:41:55:62 | Address | &:r55_100 |
-| destructors_for_temps.cpp:55:41:55:62 | Address | &:r55_100 |
 | destructors_for_temps.cpp:55:41:55:62 | Arg(this) | this:r55_11 |
 | destructors_for_temps.cpp:55:41:55:62 | Arg(this) | this:r55_11 |
-| destructors_for_temps.cpp:55:41:55:62 | Arg(this) | this:r55_68 |
-| destructors_for_temps.cpp:55:41:55:62 | Arg(this) | this:r55_100 |
 | destructors_for_temps.cpp:55:41:55:62 | CallTarget | func:r55_13 |
-| destructors_for_temps.cpp:55:41:55:62 | CallTarget | func:r55_69 |
-| destructors_for_temps.cpp:55:41:55:62 | CallTarget | func:r55_101 |
 | destructors_for_temps.cpp:55:41:55:62 | ChiPartial | partial:m55_15 |
 | destructors_for_temps.cpp:55:41:55:62 | ChiPartial | partial:m55_17 |
 | destructors_for_temps.cpp:55:41:55:62 | ChiPartial | partial:m55_24 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiPartial | partial:m55_71 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiPartial | partial:m55_74 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiPartial | partial:m55_103 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiPartial | partial:m55_106 |
 | destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m54_4 |
 | destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_12 |
 | destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_18 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_46 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_50 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_64 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_78 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_82 |
-| destructors_for_temps.cpp:55:41:55:62 | ChiTotal | total:m55_96 |
 | destructors_for_temps.cpp:55:41:55:62 | SideEffect | m55_18 |
-| destructors_for_temps.cpp:55:41:55:62 | SideEffect | m55_46 |
-| destructors_for_temps.cpp:55:41:55:62 | SideEffect | m55_50 |
-| destructors_for_temps.cpp:55:41:55:62 | SideEffect | m55_78 |
-| destructors_for_temps.cpp:55:41:55:62 | SideEffect | m55_82 |
 | destructors_for_temps.cpp:55:41:55:62 | SideEffect | ~m54_4 |
-| destructors_for_temps.cpp:55:41:55:62 | SideEffect | ~m55_64 |
-| destructors_for_temps.cpp:55:41:55:62 | SideEffect | ~m55_96 |
-| destructors_for_temps.cpp:55:41:55:62 | Unary | r55_11 |
 | destructors_for_temps.cpp:55:64:55:68 | Arg(1) | 1:r55_20 |
 | destructors_for_temps.cpp:55:64:55:68 | CallTarget | func:r55_19 |
 | destructors_for_temps.cpp:55:64:55:68 | ChiPartial | partial:m55_21 |
@@ -1319,38 +1265,38 @@
 | 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_60 |
-| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_60 |
-| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_92 |
-| destructors_for_temps.cpp:55:75:55:96 | Address | &:r55_92 |
+| 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_60 |
-| destructors_for_temps.cpp:55:75:55:96 | Arg(this) | this:r55_92 |
+| 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_61 |
-| destructors_for_temps.cpp:55:75:55:96 | CallTarget | func:r55_93 |
+| 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_63 |
-| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_66 |
-| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_95 |
-| destructors_for_temps.cpp:55:75:55:96 | ChiPartial | partial:m55_98 |
+| 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_49 |
-| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_56 |
-| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_77 |
-| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_81 |
-| destructors_for_temps.cpp:55:75:55:96 | ChiTotal | total:m55_88 |
+| 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_49 |
-| destructors_for_temps.cpp:55:75:55:96 | SideEffect | m55_77 |
-| destructors_for_temps.cpp:55:75:55:96 | SideEffect | m55_81 |
+| 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_56 |
-| destructors_for_temps.cpp:55:75:55:96 | SideEffect | ~m55_88 |
+| 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 |
 | file://:0:0:0:0 | Address | &:r0_1 |
--- a/cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
+++ b/cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
@@ -7,8 +7,8 @@ duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
 ambiguousSuccessors
-| destructors_for_temps.cpp:51:41:51:62 | 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:41:55:62 | 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: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) |
 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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) |
@@ -36,12 +30,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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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) |
@@ -66,9 +54,7 @@ backEdgeCountMismatch
 useNotDominatedByDefinition
 | destructors_for_temps.cpp:45:39:45:60 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:42:6:42:15 | void temp_test6(bool) | void temp_test6(bool) |
 | destructors_for_temps.cpp:51:5:51:5 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
-| destructors_for_temps.cpp:51:41:51:62 | Unary | Operand 'Unary' is not dominated by its definition 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 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
-| destructors_for_temps.cpp:55:41:55:62 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
 | ir.cpp:1535:8:1535:8 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | ir.cpp:1535:8:1535:8 | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() | void StructuredBindingDataMemberStruct::StructuredBindingDataMemberStruct() |
 | try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |
 | try_except.c:13:13:13:13 | Left | Operand 'Left' is not dominated by its definition in function '$@'. | try_except.c:6:6:6:6 | void f() | void f() |
--- a/cpp/ql/test/library-tests/ir/ir/raw_ir.expected
+++ b/cpp/ql/test/library-tests/ir/ir/raw_ir.expected
@@ -1158,30 +1158,24 @@ destructors_for_temps.cpp:
 #-----|   Goto -> Block 8

 #   51|   Block 8
-#   51|     r51_54(glval<ClassWithDestructor2>) = CopyValue                              : r51_1
+#   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_37, func:r51_55, this:r51_36, this:r51_54
+#   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_36, &:r51_54, ~m?
-#   51|     mu51_59(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r51_36, &:r51_54
-#   51|     r51_60(glval<ClassWithDestructor2>) = CopyValue                              : r51_26
-#   51|     r51_61(glval<unknown>)              = FunctionAddress[~ClassWithDestructor2] : 
-#   51|     v51_62(void)                        = Call[~ClassWithDestructor2]            : func:r51_43, func:r51_61, this:r51_42, this:r51_60
-#   51|     mu51_63(unknown)                    = ^CallSideEffect                        : ~m?
-#   51|     v51_64(void)                        = ^IndirectReadSideEffect[-1]            : &:r51_42, &:r51_60, ~m?
-#   51|     mu51_65(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r51_42, &:r51_60
-#   51|     r51_66(glval<ClassWithDestructor2>) = CopyValue                              : r51_11
-#   51|     r51_67(glval<unknown>)              = FunctionAddress[~ClassWithDestructor2] : 
-#   51|     v51_68(void)                        = Call[~ClassWithDestructor2]            : func:r51_49, func:r51_67, this:r51_48, this:r51_66
-#   51|     mu51_69(unknown)                    = ^CallSideEffect                        : ~m?
-#   51|     v51_70(void)                        = ^IndirectReadSideEffect[-1]            : &:r51_48, &:r51_66, ~m?
-#   51|     mu51_71(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r51_48, &:r51_66
-#-----|   Goto (back edge) -> Block 4
+#   51|     v51_58(void)                        = ^IndirectReadSideEffect[-1]            : &:r51_42, &:r51_54, ~m?
+#   51|     mu51_59(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r51_42, &:r51_54
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 #   51|   Block 8
-#-----|   Goto (back edge) -> Block 4
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 #   54| void temp_test8(bool)
 #   54|   Block 0
@@ -1253,30 +1247,24 @@ destructors_for_temps.cpp:
 #-----|   Goto -> Block 8

 #   55|   Block 8
-#   55|     r55_54(glval<ClassWithDestructor2>) = CopyValue                              : r55_1
+#   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_37, func:r55_55, this:r55_36, this:r55_54
+#   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_36, &:r55_54, ~m?
-#   55|     mu55_59(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r55_36, &:r55_54
-#   55|     r55_60(glval<ClassWithDestructor2>) = CopyValue                              : r55_26
-#   55|     r55_61(glval<unknown>)              = FunctionAddress[~ClassWithDestructor2] : 
-#   55|     v55_62(void)                        = Call[~ClassWithDestructor2]            : func:r55_43, func:r55_61, this:r55_42, this:r55_60
-#   55|     mu55_63(unknown)                    = ^CallSideEffect                        : ~m?
-#   55|     v55_64(void)                        = ^IndirectReadSideEffect[-1]            : &:r55_42, &:r55_60, ~m?
-#   55|     mu55_65(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r55_42, &:r55_60
-#   55|     r55_66(glval<ClassWithDestructor2>) = CopyValue                              : r55_11
-#   55|     r55_67(glval<unknown>)              = FunctionAddress[~ClassWithDestructor2] : 
-#   55|     v55_68(void)                        = Call[~ClassWithDestructor2]            : func:r55_49, func:r55_67, this:r55_48, this:r55_66
-#   55|     mu55_69(unknown)                    = ^CallSideEffect                        : ~m?
-#   55|     v55_70(void)                        = ^IndirectReadSideEffect[-1]            : &:r55_48, &:r55_66, ~m?
-#   55|     mu55_71(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r55_48, &:r55_66
-#-----|   Goto (back edge) -> Block 4
+#   55|     v55_58(void)                        = ^IndirectReadSideEffect[-1]            : &:r55_42, &:r55_54, ~m?
+#   55|     mu55_59(ClassWithDestructor2)       = ^IndirectMayWriteSideEffect[-1]        : &:r55_42, &:r55_54
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 #   55|   Block 8
-#-----|   Goto (back edge) -> Block 4
 #-----|   Goto (back edge) -> Block 3
+#-----|   Goto (back edge) -> Block 4

 ir.c:
 #    7| void MyCoordsTest(int)
--- a/cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
+++ b/cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
@@ -7,8 +7,8 @@ duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
 ambiguousSuccessors
-| destructors_for_temps.cpp:51:41:51:62 | 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:41:55:62 | 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: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) |
 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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) |
@@ -36,12 +30,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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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) |
@@ -65,9 +53,7 @@ lostReachability
 backEdgeCountMismatch
 useNotDominatedByDefinition
 | destructors_for_temps.cpp:51:5:51:5 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
-| destructors_for_temps.cpp:51:41:51:62 | Unary | Operand 'Unary' is not dominated by its definition 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 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
-| destructors_for_temps.cpp:55:41:55:62 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
 switchInstructionWithoutDefaultEdge
 notMarkedAsConflated
 wronglyMarkedAsConflated
--- a/cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
+++ b/cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
@@ -7,8 +7,8 @@ duplicateChiOperand
 sideEffectWithoutPrimary
 instructionWithoutSuccessor
 ambiguousSuccessors
-| destructors_for_temps.cpp:51:41:51:62 | 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:41:55:62 | 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: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) |
 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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:41:51:62 | 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) |
@@ -36,12 +30,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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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:41:55:62 | 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) |
@@ -65,9 +53,7 @@ lostReachability
 backEdgeCountMismatch
 useNotDominatedByDefinition
 | destructors_for_temps.cpp:51:5:51:5 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:49:6:49:15 | void temp_test7(bool) | void temp_test7(bool) |
-| destructors_for_temps.cpp:51:41:51:62 | Unary | Operand 'Unary' is not dominated by its definition 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 | StoreValue | Operand 'StoreValue' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
-| destructors_for_temps.cpp:55:41:55:62 | Unary | Operand 'Unary' is not dominated by its definition in function '$@'. | destructors_for_temps.cpp:54:6:54:15 | void temp_test8(bool) | void temp_test8(bool) |
 switchInstructionWithoutDefaultEdge
 notMarkedAsConflated
 wronglyMarkedAsConflated