Skip to content

Commit 2575ed2

Browse files
jketemajketema
committed
C++: Update expected test results after frontend update
1 parent 6013895 commit 2575ed2

3 files changed

Lines changed: 33 additions & 30 deletions

File tree

‎cpp/ql/test/library-tests/ir/ir/PrintAST.expected‎

Lines changed: 15 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -4367,18 +4367,6 @@ destructors_for_temps.cpp:
43674367
# 109| getArrayBase().getFullyConverted(): [ArrayToPointerConversion] array to pointer conversion
43684368
# 109| Type = [IntPointerType] int *
43694369
# 109| ValueCategory = prvalue
4370-
# 109| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithArrayAndDestructor
4371-
# 109| Type = [VoidType] void
4372-
# 109| ValueCategory = prvalue
4373-
# 109| getQualifier(): [ReuseExpr] reuse of temporary object
4374-
# 109| Type = [Struct] ClassWithArrayAndDestructor
4375-
# 109| ValueCategory = xvalue
4376-
# 109| getImplicitDestructorCall(1): [DestructorCall] call to ~ClassWithArrayAndDestructor
4377-
# 109| Type = [VoidType] void
4378-
# 109| ValueCategory = prvalue
4379-
# 109| getQualifier(): [ReuseExpr] reuse of temporary object
4380-
# 109| Type = [Struct] ClassWithArrayAndDestructor
4381-
# 109| ValueCategory = xvalue
43824370
# 109| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
43834371
# 109| Type = [LValueReferenceType] const int &
43844372
# 109| ValueCategory = prvalue
@@ -4387,6 +4375,18 @@ destructors_for_temps.cpp:
43874375
# 109| Type = [SpecifiedType] const int
43884376
# 109| ValueCategory = lvalue
43894377
# 110| getStmt(1): [ReturnStmt] return ...
4378+
# 111| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithArrayAndDestructor
4379+
# 111| Type = [VoidType] void
4380+
# 111| ValueCategory = prvalue
4381+
# 111| getQualifier(): [ReuseExpr] reuse of temporary object
4382+
# 111| Type = [Struct] ClassWithArrayAndDestructor
4383+
# 111| ValueCategory = xvalue
4384+
# 111| getImplicitDestructorCall(1): [DestructorCall] call to ~ClassWithArrayAndDestructor
4385+
# 111| Type = [VoidType] void
4386+
# 111| ValueCategory = prvalue
4387+
# 111| getQualifier(): [ReuseExpr] reuse of temporary object
4388+
# 111| Type = [Struct] ClassWithArrayAndDestructor
4389+
# 111| ValueCategory = xvalue
43904390
generic.c:
43914391
# 1| [TopLevelFunction] void c11_generic_test_with_load(unsigned int, int)
43924392
# 1| <params>:
@@ -15082,6 +15082,9 @@ ir.cpp:
1508215082
# 1476| getQualifier(): [FunctionCall] call to returnValue
1508315083
# 1476| Type = [Struct] UnusualFields
1508415084
# 1476| ValueCategory = prvalue
15085+
#-----| getQualifier().getFullyConverted(): [TemporaryObjectExpr] temporary object
15086+
#-----| Type = [Struct] UnusualFields
15087+
#-----| ValueCategory = prvalue(load)
1508515088
# 1476| getArrayOffset(): [Literal] 3
1508615089
# 1476| Type = [IntType] int
1508715090
# 1476| Value = [Literal] 3

‎cpp/ql/test/library-tests/ir/ir/aliased_ir.expected‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -12179,19 +12179,19 @@ ir.cpp:
1217912179
# 1474| r1474_10(int) = Load[?] : &:r1474_9, ~m1474_5
1218012180
# 1474| m1474_11(int) = Store[x] : &:r1474_1, r1474_10
1218112181
# 1476| r1476_1(glval<float &>) = VariableAddress[rf] :
12182+
#-----| r0_1(glval<UnusualFields>) = VariableAddress[#temp0:0] :
1218212183
# 1476| r1476_2(glval<unknown>) = FunctionAddress[returnValue] :
1218312184
# 1476| r1476_3(UnusualFields) = Call[returnValue] : func:r1476_2
1218412185
# 1476| m1476_4(unknown) = ^CallSideEffect : ~m1474_5
1218512186
# 1476| m1476_5(unknown) = Chi : total:m1474_5, partial:m1476_4
12186-
# 1476| r1476_6(glval<UnusualFields>) = VariableAddress[#temp1476:23] :
12187-
# 1476| m1476_7(UnusualFields) = Store[#temp1476:23] : &:r1476_6, r1476_3
12188-
# 1476| r1476_8(glval<float[10]>) = FieldAddress[a] : r1476_6
12189-
# 1476| r1476_9(float *) = Convert : r1476_8
12190-
# 1476| r1476_10(int) = Constant[3] :
12191-
# 1476| r1476_11(glval<float>) = PointerAdd[4] : r1476_9, r1476_10
12192-
# 1476| r1476_12(glval<float>) = Convert : r1476_11
12193-
# 1476| r1476_13(float &) = CopyValue : r1476_12
12194-
# 1476| m1476_14(float &) = Store[rf] : &:r1476_1, r1476_13
12187+
# 1476| m1476_6(UnusualFields) = Store[#temp0:0] : &:r0_1, r1476_3
12188+
# 1476| r1476_7(glval<float[10]>) = FieldAddress[a] : r0_1
12189+
# 1476| r1476_8(float *) = Convert : r1476_7
12190+
# 1476| r1476_9(int) = Constant[3] :
12191+
# 1476| r1476_10(glval<float>) = PointerAdd[4] : r1476_8, r1476_9
12192+
# 1476| r1476_11(glval<float>) = Convert : r1476_10
12193+
# 1476| r1476_12(float &) = CopyValue : r1476_11
12194+
# 1476| m1476_13(float &) = Store[rf] : &:r1476_1, r1476_12
1219512195
# 1477| r1477_1(glval<float>) = VariableAddress[f] :
1219612196
# 1477| r1477_2(glval<unknown>) = FunctionAddress[returnValue] :
1219712197
# 1477| r1477_3(UnusualFields) = Call[returnValue] : func:r1477_2

‎cpp/ql/test/library-tests/ir/ir/raw_ir.expected‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -11173,18 +11173,18 @@ ir.cpp:
1117311173
# 1474| r1474_9(int) = Load[?] : &:r1474_8, ~m?
1117411174
# 1474| mu1474_10(int) = Store[x] : &:r1474_1, r1474_9
1117511175
# 1476| r1476_1(glval<float &>) = VariableAddress[rf] :
11176+
#-----| r0_1(glval<UnusualFields>) = VariableAddress[#temp0:0] :
1117611177
# 1476| r1476_2(glval<unknown>) = FunctionAddress[returnValue] :
1117711178
# 1476| r1476_3(UnusualFields) = Call[returnValue] : func:r1476_2
1117811179
# 1476| mu1476_4(unknown) = ^CallSideEffect : ~m?
11179-
# 1476| r1476_5(glval<UnusualFields>) = VariableAddress[#temp1476:23] :
11180-
# 1476| mu1476_6(UnusualFields) = Store[#temp1476:23] : &:r1476_5, r1476_3
11181-
# 1476| r1476_7(glval<float[10]>) = FieldAddress[a] : r1476_5
11182-
# 1476| r1476_8(float *) = Convert : r1476_7
11183-
# 1476| r1476_9(int) = Constant[3] :
11184-
# 1476| r1476_10(glval<float>) = PointerAdd[4] : r1476_8, r1476_9
11185-
# 1476| r1476_11(glval<float>) = Convert : r1476_10
11186-
# 1476| r1476_12(float &) = CopyValue : r1476_11
11187-
# 1476| mu1476_13(float &) = Store[rf] : &:r1476_1, r1476_12
11180+
# 1476| mu1476_5(UnusualFields) = Store[#temp0:0] : &:r0_1, r1476_3
11181+
# 1476| r1476_6(glval<float[10]>) = FieldAddress[a] : r0_1
11182+
# 1476| r1476_7(float *) = Convert : r1476_6
11183+
# 1476| r1476_8(int) = Constant[3] :
11184+
# 1476| r1476_9(glval<float>) = PointerAdd[4] : r1476_7, r1476_8
11185+
# 1476| r1476_10(glval<float>) = Convert : r1476_9
11186+
# 1476| r1476_11(float &) = CopyValue : r1476_10
11187+
# 1476| mu1476_12(float &) = Store[rf] : &:r1476_1, r1476_11
1118811188
# 1477| r1477_1(glval<float>) = VariableAddress[f] :
1118911189
# 1477| r1477_2(glval<unknown>) = FunctionAddress[returnValue] :
1119011190
# 1477| r1477_3(UnusualFields) = Call[returnValue] : func:r1477_2

0 commit comments

Comments
 (0)