mirror of
https://github.com/github/codeql.git
synced 2026-04-30 19:26:02 +02:00
C++: accept test changes from extractor update
This commit is contained in:
@@ -5753,9 +5753,9 @@ ir.cpp:
|
||||
# 851| 0: [VariableDeclarationEntry] definition of d
|
||||
# 851| Type = [Struct] PolymorphicDerived
|
||||
# 851| init: [Initializer] initializer for d
|
||||
# 851| expr: [ConstructorCall] call to PolymorphicDerived
|
||||
# 851| Type = [VoidType] void
|
||||
# 851| ValueCategory = prvalue
|
||||
#-----| expr: [ConstructorCall] call to PolymorphicDerived
|
||||
#-----| Type = [VoidType] void
|
||||
#-----| ValueCategory = prvalue
|
||||
# 853| 2: [DeclStmt] declaration
|
||||
# 853| 0: [VariableDeclarationEntry] definition of pb
|
||||
# 853| Type = [PointerType] PolymorphicBase *
|
||||
|
||||
@@ -4328,10 +4328,10 @@ ir.cpp:
|
||||
#-----| mu0_4(PolymorphicBase) = ^IndirectMayWriteSideEffect[-1] : &:r850_1
|
||||
# 851| r851_1(glval<PolymorphicDerived>) = VariableAddress[d] :
|
||||
# 851| mu851_2(PolymorphicDerived) = Uninitialized[d] : &:r851_1
|
||||
# 851| r851_3(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
|
||||
# 851| v851_4(void) = Call : func:r851_3, this:r851_1
|
||||
# 851| mu851_5(unknown) = ^CallSideEffect : ~mu849_4
|
||||
# 851| mu851_6(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
|
||||
#-----| r0_5(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
|
||||
#-----| v0_6(void) = Call : func:r0_5, this:r851_1
|
||||
#-----| mu0_7(unknown) = ^CallSideEffect : ~mu849_4
|
||||
#-----| mu0_8(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
|
||||
# 853| r853_1(glval<PolymorphicBase *>) = VariableAddress[pb] :
|
||||
# 853| r853_2(glval<PolymorphicBase>) = VariableAddress[b] :
|
||||
# 853| r853_3(PolymorphicBase *) = CopyValue : r853_2
|
||||
|
||||
Reference in New Issue
Block a user