Skip to content

Commit b601908

Browse files
author
Matthew Gretton-Dann
committed
CPP: Update for changes in EDG IL.
1 parent 1b67f47 commit b601908

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
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

0 commit comments

Comments
 (0)