FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

C++: Update expected test results after frontend update · github/codeql@631eddf · GitHub

  1. github
  2. codeql

Repository navigation

Commit 631eddf

Browse files
jketema
committed
C++: Update expected test results after frontend update
1 parent 6013895 commit 631eddf

3 files changed

Lines changed: 21 additions & 18 deletions

File tree

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -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)
Back | FazBrowse Home | New Git URL