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

Fix test expectations

Browse Source
This commit is contained in:
Dave Bartolomeo
2020-10-06 18:27:33 -04:00
parent badb11750a
commit 80b832eb49
7 changed files with 402 additions and 109 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -9652,7 +9652,7 @@ ir.cpp:
# 1178| body: [BlockStmt] { ... }
# 1179| 0: [ReturnStmt] return ...
# 1179| 0: [ConstructorCall] call to String
# 1179| Type = [Struct] String
# 1179| Type = [VoidType] void
# 1179| ValueCategory = prvalue
# 1179| 0: [ArrayToPointerConversion] array to pointer conversion
# 1179| Type = [PointerType] const char *
@@ -10535,7 +10535,7 @@ ir.cpp:
# 1326| body: [BlockStmt] { ... }
# 1327| 0: [ReturnStmt] return ...
# 1327| 0: [ConstructorCall] call to String
# 1327| Type = [Struct] String
# 1327| Type = [VoidType] void
# 1327| ValueCategory = prvalue
# 1326| [TemplateFunction,TopLevelFunction] T defaultConstruct<T>()
# 1326| params:
@@ -10550,14 +10550,14 @@ ir.cpp:
# 1326| body: [BlockStmt] { ... }
# 1327| 0: [ReturnStmt] return ...
# 1327| 0: [ConstructorCall] call to copy_constructor
# 1327| Type = [Class] copy_constructor
# 1327| Type = [VoidType] void
# 1327| ValueCategory = prvalue
# 1326| [FunctionTemplateInstantiation,TopLevelFunction] destructor_only defaultConstruct<destructor_only>()
# 1326| params:
# 1326| body: [BlockStmt] { ... }
# 1327| 0: [ReturnStmt] return ...
# 1327| 0: [Literal] 0
# 1327| Type = [RoutineType] ..()(..)
# 1327| Type = [Class] destructor_only
# 1327| Value = [Literal] 0
# 1327| ValueCategory = prvalue
# 1330| [CopyAssignmentOperator] constructor_only& constructor_only::operator=(constructor_only const&)

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

@@ -1,8 +1,4 @@
missingOperand
| ir.cpp:809:7:809:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:810:7:810:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:823:7:823:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:824:7:824:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
unexpectedOperand
duplicateOperand
missingPhiOperand

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

@@ -1,8 +1,4 @@
missingOperand
| ir.cpp:809:7:809:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:810:7:810:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:823:7:823:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:824:7:824:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
unexpectedOperand
duplicateOperand
missingPhiOperand

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

@@ -1,8 +1,4 @@
missingOperand
| ir.cpp:809:7:809:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:810:7:810:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:823:7:823:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:824:7:824:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
unexpectedOperand
duplicateOperand
missingPhiOperand

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

@@ -4522,44 +4522,48 @@ ir.cpp:
# 808| r808_12(glval<Base>) = CopyValue : r808_6
# 809| r809_1(glval<Base>) = VariableAddress[b] :
# 809| r809_2(glval<unknown>) = FunctionAddress[operator=] :
# 809| r809_3(glval<unknown>) = FunctionAddress[Base] :
# 809| r809_4(glval<Middle>) = VariableAddress[m] :
# 809| r809_5(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r809_4
# 809| r809_6(Base &) = CopyValue : r809_5
# 809| v809_7(void) = Call : func:r809_3, 0:r809_6
# 809| mu809_8(unknown) = ^CallSideEffect : ~m?
# 809| mu809_9(Base) = ^IndirectMayWriteSideEffect[-1] :
# 809| v809_10(void) = ^BufferReadSideEffect[0] : &:r809_6, ~m?
# 809| mu809_11(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_6
# 809| r809_12(glval<Base>) = Convert : v809_7
# 809| r809_13(Base &) = CopyValue : r809_12
# 809| r809_14(Base &) = Call : func:r809_2, this:r809_1, 0:r809_13
# 809| mu809_15(unknown) = ^CallSideEffect : ~m?
# 809| v809_16(void) = ^BufferReadSideEffect[-1] : &:r809_1, ~m?
# 809| v809_17(void) = ^BufferReadSideEffect[0] : &:r809_13, ~m?
# 809| mu809_18(Base) = ^IndirectMayWriteSideEffect[-1] : &:r809_1
# 809| mu809_19(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_13
# 809| r809_20(glval<Base>) = CopyValue : r809_14
# 809| r809_3(glval<Base>) = VariableAddress[#temp809:7] :
# 809| mu809_4(Base) = Uninitialized[#temp809:7] : &:r809_3
# 809| r809_5(glval<unknown>) = FunctionAddress[Base] :
# 809| r809_6(glval<Middle>) = VariableAddress[m] :
# 809| r809_7(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r809_6
# 809| r809_8(Base &) = CopyValue : r809_7
# 809| v809_9(void) = Call : func:r809_5, this:r809_3, 0:r809_8
# 809| mu809_10(unknown) = ^CallSideEffect : ~m?
# 809| mu809_11(Base) = ^IndirectMayWriteSideEffect[-1] : &:r809_3
# 809| v809_12(void) = ^BufferReadSideEffect[0] : &:r809_8, ~m?
# 809| mu809_13(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_8
# 809| r809_14(glval<Base>) = Convert : r809_3
# 809| r809_15(Base &) = CopyValue : r809_14
# 809| r809_16(Base &) = Call : func:r809_2, this:r809_1, 0:r809_15
# 809| mu809_17(unknown) = ^CallSideEffect : ~m?
# 809| v809_18(void) = ^BufferReadSideEffect[-1] : &:r809_1, ~m?
# 809| v809_19(void) = ^BufferReadSideEffect[0] : &:r809_15, ~m?
# 809| mu809_20(Base) = ^IndirectMayWriteSideEffect[-1] : &:r809_1
# 809| mu809_21(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_15
# 809| r809_22(glval<Base>) = CopyValue : r809_16
# 810| r810_1(glval<Base>) = VariableAddress[b] :
# 810| r810_2(glval<unknown>) = FunctionAddress[operator=] :
# 810| r810_3(glval<unknown>) = FunctionAddress[Base] :
# 810| r810_4(glval<Middle>) = VariableAddress[m] :
# 810| r810_5(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r810_4
# 810| r810_6(Base &) = CopyValue : r810_5
# 810| v810_7(void) = Call : func:r810_3, 0:r810_6
# 810| mu810_8(unknown) = ^CallSideEffect : ~m?
# 810| mu810_9(Base) = ^IndirectMayWriteSideEffect[-1] :
# 810| v810_10(void) = ^BufferReadSideEffect[0] : &:r810_6, ~m?
# 810| mu810_11(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_6
# 810| r810_12(glval<Base>) = Convert : v810_7
# 810| r810_13(Base &) = CopyValue : r810_12
# 810| r810_14(Base &) = Call : func:r810_2, this:r810_1, 0:r810_13
# 810| mu810_15(unknown) = ^CallSideEffect : ~m?
# 810| v810_16(void) = ^BufferReadSideEffect[-1] : &:r810_1, ~m?
# 810| v810_17(void) = ^BufferReadSideEffect[0] : &:r810_13, ~m?
# 810| mu810_18(Base) = ^IndirectMayWriteSideEffect[-1] : &:r810_1
# 810| mu810_19(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_13
# 810| r810_20(glval<Base>) = CopyValue : r810_14
# 810| r810_3(glval<Base>) = VariableAddress[#temp810:7] :
# 810| mu810_4(Base) = Uninitialized[#temp810:7] : &:r810_3
# 810| r810_5(glval<unknown>) = FunctionAddress[Base] :
# 810| r810_6(glval<Middle>) = VariableAddress[m] :
# 810| r810_7(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r810_6
# 810| r810_8(Base &) = CopyValue : r810_7
# 810| v810_9(void) = Call : func:r810_5, this:r810_3, 0:r810_8
# 810| mu810_10(unknown) = ^CallSideEffect : ~m?
# 810| mu810_11(Base) = ^IndirectMayWriteSideEffect[-1] : &:r810_3
# 810| v810_12(void) = ^BufferReadSideEffect[0] : &:r810_8, ~m?
# 810| mu810_13(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_8
# 810| r810_14(glval<Base>) = Convert : r810_3
# 810| r810_15(Base &) = CopyValue : r810_14
# 810| r810_16(Base &) = Call : func:r810_2, this:r810_1, 0:r810_15
# 810| mu810_17(unknown) = ^CallSideEffect : ~m?
# 810| v810_18(void) = ^BufferReadSideEffect[-1] : &:r810_1, ~m?
# 810| v810_19(void) = ^BufferReadSideEffect[0] : &:r810_15, ~m?
# 810| mu810_20(Base) = ^IndirectMayWriteSideEffect[-1] : &:r810_1
# 810| mu810_21(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_15
# 810| r810_22(glval<Base>) = CopyValue : r810_16
# 811| r811_1(glval<Middle *>) = VariableAddress[pm] :
# 811| r811_2(Middle *) = Load : &:r811_1, ~m?
# 811| r811_3(Base *) = ConvertToNonVirtualBase[Middle : Base] : r811_2
@@ -4636,46 +4640,50 @@ ir.cpp:
# 822| r822_13(glval<Base>) = CopyValue : r822_7
# 823| r823_1(glval<Base>) = VariableAddress[b] :
# 823| r823_2(glval<unknown>) = FunctionAddress[operator=] :
# 823| r823_3(glval<unknown>) = FunctionAddress[Base] :
# 823| r823_4(glval<Derived>) = VariableAddress[d] :
# 823| r823_5(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r823_4
# 823| r823_6(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r823_5
# 823| r823_7(Base &) = CopyValue : r823_6
# 823| v823_8(void) = Call : func:r823_3, 0:r823_7
# 823| mu823_9(unknown) = ^CallSideEffect : ~m?
# 823| mu823_10(Base) = ^IndirectMayWriteSideEffect[-1] :
# 823| v823_11(void) = ^BufferReadSideEffect[0] : &:r823_7, ~m?
# 823| mu823_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_7
# 823| r823_13(glval<Base>) = Convert : v823_8
# 823| r823_14(Base &) = CopyValue : r823_13
# 823| r823_15(Base &) = Call : func:r823_2, this:r823_1, 0:r823_14
# 823| mu823_16(unknown) = ^CallSideEffect : ~m?
# 823| v823_17(void) = ^BufferReadSideEffect[-1] : &:r823_1, ~m?
# 823| v823_18(void) = ^BufferReadSideEffect[0] : &:r823_14, ~m?
# 823| mu823_19(Base) = ^IndirectMayWriteSideEffect[-1] : &:r823_1
# 823| mu823_20(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_14
# 823| r823_21(glval<Base>) = CopyValue : r823_15
# 823| r823_3(glval<Base>) = VariableAddress[#temp823:7] :
# 823| mu823_4(Base) = Uninitialized[#temp823:7] : &:r823_3
# 823| r823_5(glval<unknown>) = FunctionAddress[Base] :
# 823| r823_6(glval<Derived>) = VariableAddress[d] :
# 823| r823_7(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r823_6
# 823| r823_8(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r823_7
# 823| r823_9(Base &) = CopyValue : r823_8
# 823| v823_10(void) = Call : func:r823_5, this:r823_3, 0:r823_9
# 823| mu823_11(unknown) = ^CallSideEffect : ~m?
# 823| mu823_12(Base) = ^IndirectMayWriteSideEffect[-1] : &:r823_3
# 823| v823_13(void) = ^BufferReadSideEffect[0] : &:r823_9, ~m?
# 823| mu823_14(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_9
# 823| r823_15(glval<Base>) = Convert : r823_3
# 823| r823_16(Base &) = CopyValue : r823_15
# 823| r823_17(Base &) = Call : func:r823_2, this:r823_1, 0:r823_16
# 823| mu823_18(unknown) = ^CallSideEffect : ~m?
# 823| v823_19(void) = ^BufferReadSideEffect[-1] : &:r823_1, ~m?
# 823| v823_20(void) = ^BufferReadSideEffect[0] : &:r823_16, ~m?
# 823| mu823_21(Base) = ^IndirectMayWriteSideEffect[-1] : &:r823_1
# 823| mu823_22(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_16
# 823| r823_23(glval<Base>) = CopyValue : r823_17
# 824| r824_1(glval<Base>) = VariableAddress[b] :
# 824| r824_2(glval<unknown>) = FunctionAddress[operator=] :
# 824| r824_3(glval<unknown>) = FunctionAddress[Base] :
# 824| r824_4(glval<Derived>) = VariableAddress[d] :
# 824| r824_5(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r824_4
# 824| r824_6(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r824_5
# 824| r824_7(Base &) = CopyValue : r824_6
# 824| v824_8(void) = Call : func:r824_3, 0:r824_7
# 824| mu824_9(unknown) = ^CallSideEffect : ~m?
# 824| mu824_10(Base) = ^IndirectMayWriteSideEffect[-1] :
# 824| v824_11(void) = ^BufferReadSideEffect[0] : &:r824_7, ~m?
# 824| mu824_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_7
# 824| r824_13(glval<Base>) = Convert : v824_8
# 824| r824_14(Base &) = CopyValue : r824_13
# 824| r824_15(Base &) = Call : func:r824_2, this:r824_1, 0:r824_14
# 824| mu824_16(unknown) = ^CallSideEffect : ~m?
# 824| v824_17(void) = ^BufferReadSideEffect[-1] : &:r824_1, ~m?
# 824| v824_18(void) = ^BufferReadSideEffect[0] : &:r824_14, ~m?
# 824| mu824_19(Base) = ^IndirectMayWriteSideEffect[-1] : &:r824_1
# 824| mu824_20(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_14
# 824| r824_21(glval<Base>) = CopyValue : r824_15
# 824| r824_3(glval<Base>) = VariableAddress[#temp824:7] :
# 824| mu824_4(Base) = Uninitialized[#temp824:7] : &:r824_3
# 824| r824_5(glval<unknown>) = FunctionAddress[Base] :
# 824| r824_6(glval<Derived>) = VariableAddress[d] :
# 824| r824_7(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r824_6
# 824| r824_8(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r824_7
# 824| r824_9(Base &) = CopyValue : r824_8
# 824| v824_10(void) = Call : func:r824_5, this:r824_3, 0:r824_9
# 824| mu824_11(unknown) = ^CallSideEffect : ~m?
# 824| mu824_12(Base) = ^IndirectMayWriteSideEffect[-1] : &:r824_3
# 824| v824_13(void) = ^BufferReadSideEffect[0] : &:r824_9, ~m?
# 824| mu824_14(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_9
# 824| r824_15(glval<Base>) = Convert : r824_3
# 824| r824_16(Base &) = CopyValue : r824_15
# 824| r824_17(Base &) = Call : func:r824_2, this:r824_1, 0:r824_16
# 824| mu824_18(unknown) = ^CallSideEffect : ~m?
# 824| v824_19(void) = ^BufferReadSideEffect[-1] : &:r824_1, ~m?
# 824| v824_20(void) = ^BufferReadSideEffect[0] : &:r824_16, ~m?
# 824| mu824_21(Base) = ^IndirectMayWriteSideEffect[-1] : &:r824_1
# 824| mu824_22(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_16
# 824| r824_23(glval<Base>) = CopyValue : r824_17
# 825| r825_1(glval<Derived *>) = VariableAddress[pd] :
# 825| r825_2(Derived *) = Load : &:r825_1, ~m?
# 825| r825_3(Middle *) = ConvertToNonVirtualBase[Derived : Middle] : r825_2
@@ -4825,17 +4833,23 @@ ir.cpp:
# 849| mu849_2(unknown) = AliasedDefinition :
# 849| mu849_3(unknown) = InitializeNonLocal :
# 850| r850_1(glval<PolymorphicBase>) = VariableAddress[b] :
# 850| mu850_2(PolymorphicBase) = Uninitialized[b] : &:r850_1
#-----| r0_1(glval<unknown>) = FunctionAddress[PolymorphicBase] :
#-----| v0_2(void) = Call : func:r0_1, this:r850_1
#-----| mu0_3(unknown) = ^CallSideEffect : ~m?
#-----| mu0_4(PolymorphicBase) = ^IndirectMayWriteSideEffect[-1] : &:r850_1
#-----| r0_1(glval<PolymorphicBase>) = VariableAddress[#temp0:0] :
#-----| mu0_2(PolymorphicBase) = Uninitialized[#temp0:0] : &:r0_1
#-----| r0_3(glval<unknown>) = FunctionAddress[PolymorphicBase] :
#-----| v0_4(void) = Call : func:r0_3, this:r0_1
#-----| mu0_5(unknown) = ^CallSideEffect : ~m?
#-----| mu0_6(PolymorphicBase) = ^IndirectMayWriteSideEffect[-1] : &:r0_1
#-----| r0_7(PolymorphicBase) = Load : &:r0_1, ~m?
#-----| mu0_8(PolymorphicBase) = Store : &:r850_1, r0_7
# 851| r851_1(glval<PolymorphicDerived>) = VariableAddress[d] :
# 851| mu851_2(PolymorphicDerived) = Uninitialized[d] : &:r851_1
#-----| r0_5(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
#-----| v0_6(void) = Call : func:r0_5, this:r851_1
#-----| mu0_7(unknown) = ^CallSideEffect : ~m?
#-----| mu0_8(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
#-----| r0_9(glval<PolymorphicDerived>) = VariableAddress[#temp0:0] :
#-----| mu0_10(PolymorphicDerived) = Uninitialized[#temp0:0] : &:r0_9
#-----| r0_11(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
#-----| v0_12(void) = Call : func:r0_11, this:r0_9
#-----| mu0_13(unknown) = ^CallSideEffect : ~m?
#-----| mu0_14(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r0_9
#-----| r0_15(PolymorphicDerived) = Load : &:r0_9, ~m?
#-----| mu0_16(PolymorphicDerived) = Store : &:r851_1, r0_15
# 853| r853_1(glval<PolymorphicBase *>) = VariableAddress[pb] :
# 853| r853_2(glval<PolymorphicBase>) = VariableAddress[b] :
# 853| r853_3(PolymorphicBase *) = CopyValue : r853_2
@@ -6616,7 +6630,7 @@ ir.cpp:
# 1179| r1179_3(glval<unknown>) = FunctionAddress[String] :
# 1179| r1179_4(glval<char[4]>) = StringConstant["foo"] :
# 1179| r1179_5(char *) = Convert : r1179_4
# 1179| r1179_6(String) = Call : func:r1179_3, this:r1179_1, 0:r1179_5
# 1179| v1179_6(void) = Call : func:r1179_3, this:r1179_1, 0:r1179_5
# 1179| mu1179_7(unknown) = ^CallSideEffect : ~m?
# 1179| mu1179_8(String) = ^IndirectMayWriteSideEffect[-1] : &:r1179_1
# 1179| v1179_9(void) = ^BufferReadSideEffect[0] : &:r1179_5, ~m?
@@ -7433,6 +7447,305 @@ ir.cpp:
# 1320| v1320_10(void) = AliasedUse : ~m?
# 1320| v1320_11(void) = ExitFunction :
# 1326| String defaultConstruct<String>()
# 1326| Block 0
# 1326| v1326_1(void) = EnterFunction :
# 1326| mu1326_2(unknown) = AliasedDefinition :
# 1326| mu1326_3(unknown) = InitializeNonLocal :
# 1327| r1327_1(glval<String>) = VariableAddress[#return] :
# 1327| mu1327_2(String) = Uninitialized[#return] : &:r1327_1
# 1327| r1327_3(glval<unknown>) = FunctionAddress[String] :
# 1327| v1327_4(void) = Call : func:r1327_3, this:r1327_1
# 1327| mu1327_5(unknown) = ^CallSideEffect : ~m?
# 1327| mu1327_6(String) = ^IndirectMayWriteSideEffect[-1] : &:r1327_1
# 1326| r1326_4(glval<String>) = VariableAddress[#return] :
# 1326| v1326_5(void) = ReturnValue : &:r1326_4, ~m?
# 1326| v1326_6(void) = AliasedUse : ~m?
# 1326| v1326_7(void) = ExitFunction :
# 1326| copy_constructor defaultConstruct<copy_constructor>()
# 1326| Block 0
# 1326| v1326_1(void) = EnterFunction :
# 1326| mu1326_2(unknown) = AliasedDefinition :
# 1326| mu1326_3(unknown) = InitializeNonLocal :
# 1327| r1327_1(glval<copy_constructor>) = VariableAddress[#return] :
# 1327| mu1327_2(copy_constructor) = Uninitialized[#return] : &:r1327_1
# 1327| r1327_3(glval<unknown>) = FunctionAddress[copy_constructor] :
# 1327| v1327_4(void) = Call : func:r1327_3, this:r1327_1
# 1327| mu1327_5(unknown) = ^CallSideEffect : ~m?
# 1327| mu1327_6(copy_constructor) = ^IndirectMayWriteSideEffect[-1] : &:r1327_1
# 1326| r1326_4(glval<copy_constructor>) = VariableAddress[#return] :
# 1326| v1326_5(void) = ReturnValue : &:r1326_4, ~m?
# 1326| v1326_6(void) = AliasedUse : ~m?
# 1326| v1326_7(void) = ExitFunction :
# 1326| destructor_only defaultConstruct<destructor_only>()
# 1326| Block 0
# 1326| v1326_1(void) = EnterFunction :
# 1326| mu1326_2(unknown) = AliasedDefinition :
# 1326| mu1326_3(unknown) = InitializeNonLocal :
# 1327| r1327_1(glval<destructor_only>) = VariableAddress[#return] :
# 1327| r1327_2(destructor_only) = Constant[0] :
# 1327| mu1327_3(destructor_only) = Store : &:r1327_1, r1327_2
# 1326| r1326_4(glval<destructor_only>) = VariableAddress[#return] :
# 1326| v1326_5(void) = ReturnValue : &:r1326_4, ~m?
# 1326| v1326_6(void) = AliasedUse : ~m?
# 1326| v1326_7(void) = ExitFunction :
# 1365| void temporary_string()
# 1365| Block 0
# 1365| v1365_1(void) = EnterFunction :
# 1365| mu1365_2(unknown) = AliasedDefinition :
# 1365| mu1365_3(unknown) = InitializeNonLocal :
# 1366| r1366_1(glval<String>) = VariableAddress[s] :
# 1366| r1366_2(glval<unknown>) = FunctionAddress[returnValue] :
# 1366| r1366_3(String) = Call : func:r1366_2
# 1366| mu1366_4(unknown) = ^CallSideEffect : ~m?
# 1366| mu1366_5(String) = Store : &:r1366_1, r1366_3
# 1367| r1367_1(glval<String &>) = VariableAddress[rs] :
# 1367| r1367_2(glval<String>) = VariableAddress[#temp1367:24] :
# 1367| r1367_3(glval<unknown>) = FunctionAddress[returnValue] :
# 1367| r1367_4(String) = Call : func:r1367_3
# 1367| mu1367_5(unknown) = ^CallSideEffect : ~m?
# 1367| mu1367_6(String) = Store : &:r1367_2, r1367_4
# 1367| r1367_7(glval<String>) = Convert : r1367_2
# 1367| r1367_8(String &) = CopyValue : r1367_7
# 1367| mu1367_9(String &) = Store : &:r1367_1, r1367_8
# 1369| r1369_1(glval<unknown>) = FunctionAddress[acceptRef] :
# 1369| r1369_2(glval<String>) = VariableAddress[s] :
# 1369| r1369_3(glval<String>) = Convert : r1369_2
# 1369| r1369_4(String &) = CopyValue : r1369_3
# 1369| v1369_5(void) = Call : func:r1369_1, 0:r1369_4
# 1369| mu1369_6(unknown) = ^CallSideEffect : ~m?
# 1369| v1369_7(void) = ^BufferReadSideEffect[0] : &:r1369_4, ~m?
# 1369| mu1369_8(unknown) = ^BufferMayWriteSideEffect[0] : &:r1369_4
# 1370| r1370_1(glval<unknown>) = FunctionAddress[acceptRef] :
# 1370| r1370_2(glval<String>) = VariableAddress[#temp1370:23] :
# 1370| mu1370_3(String) = Uninitialized[#temp1370:23] : &:r1370_2
# 1370| r1370_4(glval<unknown>) = FunctionAddress[String] :
# 1370| r1370_5(glval<char[4]>) = StringConstant["foo"] :
# 1370| r1370_6(char *) = Convert : r1370_5
# 1370| v1370_7(void) = Call : func:r1370_4, this:r1370_2, 0:r1370_6
# 1370| mu1370_8(unknown) = ^CallSideEffect : ~m?
# 1370| mu1370_9(String) = ^IndirectMayWriteSideEffect[-1] : &:r1370_2
# 1370| v1370_10(void) = ^BufferReadSideEffect[0] : &:r1370_6, ~m?
# 1370| mu1370_11(unknown) = ^BufferMayWriteSideEffect[0] : &:r1370_6
# 1370| r1370_12(String &) = CopyValue : r1370_2
# 1370| v1370_13(void) = Call : func:r1370_1, 0:r1370_12
# 1370| mu1370_14(unknown) = ^CallSideEffect : ~m?
# 1370| v1370_15(void) = ^BufferReadSideEffect[0] : &:r1370_12, ~m?
# 1370| mu1370_16(unknown) = ^BufferMayWriteSideEffect[0] : &:r1370_12
# 1371| r1371_1(glval<unknown>) = FunctionAddress[acceptValue] :
# 1371| r1371_2(glval<String>) = VariableAddress[#temp1371:17] :
# 1371| mu1371_3(String) = Uninitialized[#temp1371:17] : &:r1371_2
# 1371| r1371_4(glval<unknown>) = FunctionAddress[String] :
# 1371| r1371_5(glval<String>) = VariableAddress[s] :
# 1371| r1371_6(glval<String>) = Convert : r1371_5
# 1371| r1371_7(String &) = CopyValue : r1371_6
# 1371| v1371_8(void) = Call : func:r1371_4, this:r1371_2, 0:r1371_7
# 1371| mu1371_9(unknown) = ^CallSideEffect : ~m?
# 1371| mu1371_10(String) = ^IndirectMayWriteSideEffect[-1] : &:r1371_2
# 1371| v1371_11(void) = ^BufferReadSideEffect[0] : &:r1371_7, ~m?
# 1371| mu1371_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r1371_7
# 1371| v1371_13(void) = Call : func:r1371_1, 0:r1371_2
# 1371| mu1371_14(unknown) = ^CallSideEffect : ~m?
# 1372| r1372_1(glval<unknown>) = FunctionAddress[acceptValue] :
# 1372| r1372_2(glval<String>) = VariableAddress[#temp1372:25] :
# 1372| mu1372_3(String) = Uninitialized[#temp1372:25] : &:r1372_2
# 1372| r1372_4(glval<unknown>) = FunctionAddress[String] :
# 1372| r1372_5(glval<char[4]>) = StringConstant["foo"] :
# 1372| r1372_6(char *) = Convert : r1372_5
# 1372| v1372_7(void) = Call : func:r1372_4, this:r1372_2, 0:r1372_6
# 1372| mu1372_8(unknown) = ^CallSideEffect : ~m?
# 1372| mu1372_9(String) = ^IndirectMayWriteSideEffect[-1] : &:r1372_2
# 1372| v1372_10(void) = ^BufferReadSideEffect[0] : &:r1372_6, ~m?
# 1372| mu1372_11(unknown) = ^BufferMayWriteSideEffect[0] : &:r1372_6
# 1372| v1372_12(void) = Call : func:r1372_1, 0:r1372_2
# 1372| mu1372_13(unknown) = ^CallSideEffect : ~m?
# 1373| r1373_1(glval<String>) = VariableAddress[#temp1373:5] :
# 1373| mu1373_2(String) = Uninitialized[#temp1373:5] : &:r1373_1
# 1373| r1373_3(glval<unknown>) = FunctionAddress[String] :
# 1373| v1373_4(void) = Call : func:r1373_3, this:r1373_1
# 1373| mu1373_5(unknown) = ^CallSideEffect : ~m?
# 1373| mu1373_6(String) = ^IndirectMayWriteSideEffect[-1] : &:r1373_1
# 1373| r1373_7(String) = Load : &:r1373_1, ~m?
# 1373| r1373_8(String) = Convert : r1373_7
# 1373| r1373_9(glval<unknown>) = FunctionAddress[c_str] :
# 1373| r1373_10(char *) = Call : func:r1373_9, this:r1373_8
# 1373| mu1373_11(unknown) = ^CallSideEffect : ~m?
# 1373| v1373_12(void) = ^BufferReadSideEffect[-1] : &:r1373_8, ~m?
# 1373| mu1373_13(String) = ^IndirectMayWriteSideEffect[-1] : &:r1373_8
# 1374| r1374_1(glval<String>) = VariableAddress[#temp1374:5] :
# 1374| r1374_2(glval<unknown>) = FunctionAddress[returnValue] :
# 1374| r1374_3(String) = Call : func:r1374_2
# 1374| mu1374_4(unknown) = ^CallSideEffect : ~m?
# 1374| mu1374_5(String) = Store : &:r1374_1, r1374_3
# 1374| r1374_6(String) = Load : &:r1374_1, ~m?
# 1374| r1374_7(String) = Convert : r1374_6
# 1374| r1374_8(glval<unknown>) = FunctionAddress[c_str] :
# 1374| r1374_9(char *) = Call : func:r1374_8, this:r1374_7
# 1374| mu1374_10(unknown) = ^CallSideEffect : ~m?
# 1374| v1374_11(void) = ^BufferReadSideEffect[-1] : &:r1374_7, ~m?
# 1374| mu1374_12(String) = ^IndirectMayWriteSideEffect[-1] : &:r1374_7
# 1376| r1376_1(glval<String>) = VariableAddress[#temp1376:5] :
# 1376| r1376_2(glval<unknown>) = FunctionAddress[defaultConstruct] :
# 1376| r1376_3(String) = Call : func:r1376_2
# 1376| mu1376_4(unknown) = ^CallSideEffect : ~m?
# 1376| mu1376_5(String) = Store : &:r1376_1, r1376_3
# 1376| r1376_6(String) = Load : &:r1376_1, ~m?
# 1377| v1377_1(void) = NoOp :
# 1365| v1365_4(void) = ReturnVoid :
# 1365| v1365_5(void) = AliasedUse : ~m?
# 1365| v1365_6(void) = ExitFunction :
# 1379| void temporary_destructor_only()
# 1379| Block 0
# 1379| v1379_1(void) = EnterFunction :
# 1379| mu1379_2(unknown) = AliasedDefinition :
# 1379| mu1379_3(unknown) = InitializeNonLocal :
# 1380| r1380_1(glval<destructor_only>) = VariableAddress[d] :
# 1380| r1380_2(glval<unknown>) = FunctionAddress[returnValue] :
# 1380| r1380_3(destructor_only) = Call : func:r1380_2
# 1380| mu1380_4(unknown) = ^CallSideEffect : ~m?
# 1380| mu1380_5(destructor_only) = Store : &:r1380_1, r1380_3
# 1381| r1381_1(glval<destructor_only &>) = VariableAddress[rd] :
# 1381| r1381_2(glval<destructor_only>) = VariableAddress[#temp1381:33] :
# 1381| r1381_3(glval<unknown>) = FunctionAddress[returnValue] :
# 1381| r1381_4(destructor_only) = Call : func:r1381_3
# 1381| mu1381_5(unknown) = ^CallSideEffect : ~m?
# 1381| mu1381_6(destructor_only) = Store : &:r1381_2, r1381_4
# 1381| r1381_7(glval<destructor_only>) = Convert : r1381_2
# 1381| r1381_8(destructor_only &) = CopyValue : r1381_7
# 1381| mu1381_9(destructor_only &) = Store : &:r1381_1, r1381_8
# 1382| r1382_1(glval<destructor_only>) = VariableAddress[d2] :
# 1382| mu1382_2(destructor_only) = Uninitialized[d2] : &:r1382_1
# 1383| r1383_1(glval<unknown>) = FunctionAddress[acceptRef] :
# 1383| r1383_2(glval<destructor_only>) = VariableAddress[d] :
# 1383| r1383_3(glval<destructor_only>) = Convert : r1383_2
# 1383| r1383_4(destructor_only &) = CopyValue : r1383_3
# 1383| v1383_5(void) = Call : func:r1383_1, 0:r1383_4
# 1383| mu1383_6(unknown) = ^CallSideEffect : ~m?
# 1383| v1383_7(void) = ^BufferReadSideEffect[0] : &:r1383_4, ~m?
# 1383| mu1383_8(unknown) = ^BufferMayWriteSideEffect[0] : &:r1383_4
# 1384| r1384_1(glval<unknown>) = FunctionAddress[acceptValue] :
# 1384| r1384_2(glval<destructor_only>) = VariableAddress[#temp1384:17] :
# 1384| r1384_3(glval<destructor_only>) = VariableAddress[d] :
# 1384| r1384_4(destructor_only) = Load : &:r1384_3, ~m?
# 1384| mu1384_5(destructor_only) = Store : &:r1384_2, r1384_4
# 1384| v1384_6(void) = Call : func:r1384_1, 0:r1384_2
# 1384| mu1384_7(unknown) = ^CallSideEffect : ~m?
# 1385| r1385_1(glval<destructor_only>) = VariableAddress[#temp1385:5] :
# 1385| r1385_2(destructor_only) = Constant[0] :
# 1385| mu1385_3(destructor_only) = Store : &:r1385_1, r1385_2
# 1385| r1385_4(destructor_only) = Load : &:r1385_1, ~m?
# 1385| r1385_5(glval<unknown>) = FunctionAddress[method] :
# 1385| v1385_6(void) = Call : func:r1385_5, this:r1385_4
# 1385| mu1385_7(unknown) = ^CallSideEffect : ~m?
# 1385| v1385_8(void) = ^BufferReadSideEffect[-1] : &:r1385_4, ~m?
# 1385| mu1385_9(destructor_only) = ^IndirectMayWriteSideEffect[-1] : &:r1385_4
# 1386| r1386_1(glval<destructor_only>) = VariableAddress[#temp1386:5] :
# 1386| r1386_2(glval<unknown>) = FunctionAddress[returnValue] :
# 1386| r1386_3(destructor_only) = Call : func:r1386_2
# 1386| mu1386_4(unknown) = ^CallSideEffect : ~m?
# 1386| mu1386_5(destructor_only) = Store : &:r1386_1, r1386_3
# 1386| r1386_6(destructor_only) = Load : &:r1386_1, ~m?
# 1386| r1386_7(glval<unknown>) = FunctionAddress[method] :
# 1386| v1386_8(void) = Call : func:r1386_7, this:r1386_6
# 1386| mu1386_9(unknown) = ^CallSideEffect : ~m?
# 1386| v1386_10(void) = ^BufferReadSideEffect[-1] : &:r1386_6, ~m?
# 1386| mu1386_11(destructor_only) = ^IndirectMayWriteSideEffect[-1] : &:r1386_6
# 1388| r1388_1(glval<destructor_only>) = VariableAddress[#temp1388:5] :
# 1388| r1388_2(glval<unknown>) = FunctionAddress[defaultConstruct] :
# 1388| r1388_3(destructor_only) = Call : func:r1388_2
# 1388| mu1388_4(unknown) = ^CallSideEffect : ~m?
# 1388| mu1388_5(destructor_only) = Store : &:r1388_1, r1388_3
# 1388| r1388_6(destructor_only) = Load : &:r1388_1, ~m?
# 1389| v1389_1(void) = NoOp :
# 1379| v1379_4(void) = ReturnVoid :
# 1379| v1379_5(void) = AliasedUse : ~m?
# 1379| v1379_6(void) = ExitFunction :
# 1391| void temporary_copy_constructor()
# 1391| Block 0
# 1391| v1391_1(void) = EnterFunction :
# 1391| mu1391_2(unknown) = AliasedDefinition :
# 1391| mu1391_3(unknown) = InitializeNonLocal :
# 1392| r1392_1(glval<copy_constructor>) = VariableAddress[d] :
# 1392| r1392_2(glval<unknown>) = FunctionAddress[returnValue] :
# 1392| r1392_3(copy_constructor) = Call : func:r1392_2
# 1392| mu1392_4(unknown) = ^CallSideEffect : ~m?
# 1392| mu1392_5(copy_constructor) = Store : &:r1392_1, r1392_3
# 1393| r1393_1(glval<copy_constructor &>) = VariableAddress[rd] :
# 1393| r1393_2(glval<copy_constructor>) = VariableAddress[#temp1393:34] :
# 1393| r1393_3(glval<unknown>) = FunctionAddress[returnValue] :
# 1393| r1393_4(copy_constructor) = Call : func:r1393_3
# 1393| mu1393_5(unknown) = ^CallSideEffect : ~m?
# 1393| mu1393_6(copy_constructor) = Store : &:r1393_2, r1393_4
# 1393| r1393_7(glval<copy_constructor>) = Convert : r1393_2
# 1393| r1393_8(copy_constructor &) = CopyValue : r1393_7
# 1393| mu1393_9(copy_constructor &) = Store : &:r1393_1, r1393_8
# 1394| r1394_1(glval<copy_constructor>) = VariableAddress[d2] :
# 1394| mu1394_2(copy_constructor) = Uninitialized[d2] : &:r1394_1
# 1394| r1394_3(glval<unknown>) = FunctionAddress[copy_constructor] :
# 1394| v1394_4(void) = Call : func:r1394_3, this:r1394_1
# 1394| mu1394_5(unknown) = ^CallSideEffect : ~m?
# 1394| mu1394_6(copy_constructor) = ^IndirectMayWriteSideEffect[-1] : &:r1394_1
# 1395| r1395_1(glval<unknown>) = FunctionAddress[acceptRef] :
# 1395| r1395_2(glval<copy_constructor>) = VariableAddress[d] :
# 1395| r1395_3(glval<copy_constructor>) = Convert : r1395_2
# 1395| r1395_4(copy_constructor &) = CopyValue : r1395_3
# 1395| v1395_5(void) = Call : func:r1395_1, 0:r1395_4
# 1395| mu1395_6(unknown) = ^CallSideEffect : ~m?
# 1395| v1395_7(void) = ^BufferReadSideEffect[0] : &:r1395_4, ~m?
# 1395| mu1395_8(unknown) = ^BufferMayWriteSideEffect[0] : &:r1395_4
# 1396| r1396_1(glval<unknown>) = FunctionAddress[acceptValue] :
# 1396| r1396_2(glval<copy_constructor>) = VariableAddress[#temp1396:17] :
# 1396| mu1396_3(copy_constructor) = Uninitialized[#temp1396:17] : &:r1396_2
# 1396| r1396_4(glval<unknown>) = FunctionAddress[copy_constructor] :
# 1396| r1396_5(glval<copy_constructor>) = VariableAddress[d] :
# 1396| r1396_6(glval<copy_constructor>) = Convert : r1396_5
# 1396| r1396_7(copy_constructor &) = CopyValue : r1396_6
# 1396| v1396_8(void) = Call : func:r1396_4, this:r1396_2, 0:r1396_7
# 1396| mu1396_9(unknown) = ^CallSideEffect : ~m?
# 1396| mu1396_10(copy_constructor) = ^IndirectMayWriteSideEffect[-1] : &:r1396_2
# 1396| v1396_11(void) = ^BufferReadSideEffect[0] : &:r1396_7, ~m?
# 1396| mu1396_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r1396_7
# 1396| v1396_13(void) = Call : func:r1396_1, 0:r1396_2
# 1396| mu1396_14(unknown) = ^CallSideEffect : ~m?
# 1397| r1397_1(glval<copy_constructor>) = VariableAddress[#temp1397:5] :
# 1397| mu1397_2(copy_constructor) = Uninitialized[#temp1397:5] : &:r1397_1
# 1397| r1397_3(glval<unknown>) = FunctionAddress[copy_constructor] :
# 1397| v1397_4(void) = Call : func:r1397_3, this:r1397_1
# 1397| mu1397_5(unknown) = ^CallSideEffect : ~m?
# 1397| mu1397_6(copy_constructor) = ^IndirectMayWriteSideEffect[-1] : &:r1397_1
# 1397| r1397_7(copy_constructor) = Load : &:r1397_1, ~m?
# 1397| r1397_8(glval<unknown>) = FunctionAddress[method] :
# 1397| v1397_9(void) = Call : func:r1397_8, this:r1397_7
# 1397| mu1397_10(unknown) = ^CallSideEffect : ~m?
# 1397| v1397_11(void) = ^BufferReadSideEffect[-1] : &:r1397_7, ~m?
# 1397| mu1397_12(copy_constructor) = ^IndirectMayWriteSideEffect[-1] : &:r1397_7
# 1398| r1398_1(glval<copy_constructor>) = VariableAddress[#temp1398:5] :
# 1398| r1398_2(glval<unknown>) = FunctionAddress[returnValue] :
# 1398| r1398_3(copy_constructor) = Call : func:r1398_2
# 1398| mu1398_4(unknown) = ^CallSideEffect : ~m?
# 1398| mu1398_5(copy_constructor) = Store : &:r1398_1, r1398_3
# 1398| r1398_6(copy_constructor) = Load : &:r1398_1, ~m?
# 1398| r1398_7(glval<unknown>) = FunctionAddress[method] :
# 1398| v1398_8(void) = Call : func:r1398_7, this:r1398_6
# 1398| mu1398_9(unknown) = ^CallSideEffect : ~m?
# 1398| v1398_10(void) = ^BufferReadSideEffect[-1] : &:r1398_6, ~m?
# 1398| mu1398_11(copy_constructor) = ^IndirectMayWriteSideEffect[-1] : &:r1398_6
# 1400| r1400_1(glval<copy_constructor>) = VariableAddress[#temp1400:5] :
# 1400| r1400_2(glval<unknown>) = FunctionAddress[defaultConstruct] :
# 1400| r1400_3(copy_constructor) = Call : func:r1400_2
# 1400| mu1400_4(unknown) = ^CallSideEffect : ~m?
# 1400| mu1400_5(copy_constructor) = Store : &:r1400_1, r1400_3
# 1400| r1400_6(copy_constructor) = Load : &:r1400_1, ~m?
# 1401| v1401_1(void) = NoOp :
# 1391| v1391_4(void) = ReturnVoid :
# 1391| v1391_5(void) = AliasedUse : ~m?
# 1391| v1391_6(void) = ExitFunction :
perf-regression.cpp:
# 6| void Big::Big()
# 6| Block 0

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

@@ -1,8 +1,4 @@
missingOperand
| ir.cpp:809:7:809:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:810:7:810:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:823:7:823:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:824:7:824:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
unexpectedOperand
duplicateOperand
missingPhiOperand

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

@@ -1,8 +1,4 @@
missingOperand
| ir.cpp:809:7:809:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:810:7:810:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:823:7:823:13 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
| ir.cpp:824:7:824:26 | IndirectMayWriteSideEffect: call to Base | Instruction 'IndirectMayWriteSideEffect' is missing an expected operand with tag 'Address' in function '$@'. | ir.cpp:799:6:799:25 | void HierarchyConversions() | void HierarchyConversions() |
unexpectedOperand
duplicateOperand
missingPhiOperand