Skip to content

Commit 67d7e83

Browse files
authored
Merge pull request #2727 from matt-gretton-dann/codeql-c-extractor/7-edg-60-upgrade
Update expected results for changes in Extractor FE
2 parents d0e7bfc + b601908 commit 67d7e83

File tree

5 files changed

+9
-10
lines changed

5 files changed

+9
-10
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5753,9 +5753,9 @@ ir.cpp:
57535753
# 851| 0: [VariableDeclarationEntry] definition of d
57545754
# 851| Type = [Struct] PolymorphicDerived
57555755
# 851| init: [Initializer] initializer for d
5756-
# 851| expr: [ConstructorCall] call to PolymorphicDerived
5757-
# 851| Type = [VoidType] void
5758-
# 851| ValueCategory = prvalue
5756+
#-----| expr: [ConstructorCall] call to PolymorphicDerived
5757+
#-----| Type = [VoidType] void
5758+
#-----| ValueCategory = prvalue
57595759
# 853| 2: [DeclStmt] declaration
57605760
# 853| 0: [VariableDeclarationEntry] definition of pb
57615761
# 853| Type = [PointerType] PolymorphicBase *

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4217,10 +4217,10 @@ ir.cpp:
42174217
#-----| mu0_4(PolymorphicBase) = ^IndirectMayWriteSideEffect[-1] : &:r850_1
42184218
# 851| r851_1(glval<PolymorphicDerived>) = VariableAddress[d] :
42194219
# 851| mu851_2(PolymorphicDerived) = Uninitialized[d] : &:r851_1
4220-
# 851| r851_3(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
4221-
# 851| v851_4(void) = Call : func:r851_3, this:r851_1
4222-
# 851| mu851_5(unknown) = ^CallSideEffect : ~mu849_3
4223-
# 851| mu851_6(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
4220+
#-----| r0_5(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
4221+
#-----| v0_6(void) = Call : func:r0_5, this:r851_1
4222+
#-----| mu0_7(unknown) = ^CallSideEffect : ~mu849_3
4223+
#-----| mu0_8(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
42244224
# 853| r853_1(glval<PolymorphicBase *>) = VariableAddress[pb] :
42254225
# 853| r853_2(glval<PolymorphicBase>) = VariableAddress[b] :
42264226
# 853| r853_3(PolymorphicBase *) = CopyValue : r853_2

cpp/ql/test/library-tests/locations/overloaded_operators/locations.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
| test.cpp:9:12:9:35 | call to MyInt |
1+
| test.cpp:9:5:9:36 | call to MyInt |
22
| test.cpp:26:18:26:23 | call to MyInt |
33
| test.cpp:42:15:42:15 | call to operator+ |
44
| test.cpp:43:5:43:5 | call to operator+= |
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1 @@
1-
| non_permissive.cpp:6:3:6:3 | call to f | non_permissive.cpp:2:13:2:13 | f |
21
| permissive.cpp:6:3:6:3 | call to f | permissive.cpp:2:13:2:13 | f |

cpp/ql/test/query-tests/definitions/definitions.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@
4242
| class.cpp:91:27:91:29 | num | class.cpp:87:17:87:19 | num | V |
4343
| class.cpp:100:24:100:34 | type mention | class.cpp:94:18:94:28 | string_type | T |
4444
| class.cpp:105:1:105:15 | type mention | class.cpp:97:7:97:21 | StringContainer | T |
45-
| class.cpp:106:9:106:23 | type mention | class.cpp:100:2:100:16 | StringContainer | M |
45+
| class.cpp:106:9:106:23 | type mention | class.cpp:97:7:97:21 | StringContainer | T |
4646
| class.cpp:106:25:106:27 | STR(x) | class.cpp:95:1:95:18 | #define STR(x) L ## x | X |
4747
| class.cpp:117:2:117:29 | type mention | class.cpp:109:7:109:34 | myClassWithConstructorParams | T |
4848
| class.cpp:117:37:117:37 | a | class.cpp:115:27:115:27 | a | V |

0 commit comments

Comments
 (0)