hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Accept test output after merge

Browse Source
This commit is contained in:
Dave Bartolomeo
2020-10-17 18:16:21 -04:00
parent 129e250569
commit 5f6ae32f1c
7 changed files with 274 additions and 276 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -7260,22 +7260,16 @@ ir.cpp:
# 850| 0: [VariableDeclarationEntry] definition of b
# 850| Type = [Struct] PolymorphicBase
# 850| init: [Initializer] initializer for b
#-----| expr: [TemporaryObjectExpr] temporary object
#-----| Type = [Struct] PolymorphicBase
#-----| ValueCategory = prvalue(load)
#-----| expr: [ConstructorCall] call to PolymorphicBase
#-----| Type = [VoidType] void
#-----| ValueCategory = prvalue
# 850| expr: [ConstructorCall] call to PolymorphicBase
# 850| Type = [VoidType] void
# 850| ValueCategory = prvalue
# 851| 1: [DeclStmt] declaration
# 851| 0: [VariableDeclarationEntry] definition of d
# 851| Type = [Struct] PolymorphicDerived
# 851| init: [Initializer] initializer for d
#-----| expr: [TemporaryObjectExpr] temporary object
#-----| Type = [Struct] PolymorphicDerived
#-----| ValueCategory = prvalue(load)
#-----| expr: [ConstructorCall] call to PolymorphicDerived
#-----| Type = [VoidType] void
#-----| ValueCategory = prvalue
# 851| expr: [ConstructorCall] call to PolymorphicDerived
# 851| Type = [VoidType] void
# 851| ValueCategory = prvalue
# 853| 2: [DeclStmt] declaration
# 853| 0: [VariableDeclarationEntry] definition of pb
# 853| Type = [PointerType] PolymorphicBase *

196
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -2325,7 +2325,7 @@ ir.cpp:
# 377| r377_3(glval<int>) = VariableAddress[x] :
# 377| r377_4(int) = Load[x] : &:r377_3, ~m?
# 377| r377_5(glval<int>) = VariableAddress[y] :
# 377| r377_6(int) = Load : &:r377_5, ~m?
# 377| r377_6(int) = Load[y] : &:r377_5, ~m?
# 377| r377_7(int) = Call[Add] : func:r377_2, 0:r377_4, 1:r377_6
# 377| mu377_8(unknown) = ^CallSideEffect : ~m?
# 377| mu377_9(int) = Store[#return] : &:r377_1, r377_7
@@ -2351,7 +2351,7 @@ ir.cpp:
# 381| r381_6(glval<int>) = VariableAddress[x] :
# 381| r381_7(int) = Load[x] : &:r381_6, ~m?
# 381| r381_8(glval<int>) = VariableAddress[y] :
# 381| r381_9(int) = Load : &:r381_8, ~m?
# 381| r381_9(int) = Load[y] : &:r381_8, ~m?
# 381| r381_10(int) = Call[CallAdd] : func:r381_5, 0:r381_7, 1:r381_9
# 381| mu381_11(unknown) = ^CallSideEffect : ~m?
# 381| r381_12(int) = CopyValue : r381_10
@@ -3813,7 +3813,7 @@ ir.cpp:
# 709| r709_3(glval<int>) = VariableAddress[x] :
# 709| r709_4(int) = Load[x] : &:r709_3, ~m?
# 709| r709_5(glval<int>) = VariableAddress[y] :
# 709| r709_6(int) = Load : &:r709_5, ~m?
# 709| r709_6(int) = Load[y] : &:r709_5, ~m?
# 709| r709_7(int) = Call[min] : func:r709_2, 0:r709_4, 1:r709_6
# 709| mu709_8(unknown) = ^CallSideEffect : ~m?
# 709| mu709_9(int) = Store[#return] : &:r709_1, r709_7
@@ -3954,7 +3954,7 @@ ir.cpp:
# 736| mu736_2(String) = Uninitialized[#throw736:5] : &:r736_1
# 736| r736_3(glval<unknown>) = FunctionAddress[String] :
# 736| r736_4(glval<char *>) = VariableAddress[s] :
# 736| r736_5(char *) = Load : &:r736_4, ~m?
# 736| r736_5(char *) = Load[s] : &:r736_4, ~m?
# 736| v736_6(void) = Call[String] : func:r736_3, this:r736_1, 0:r736_5
# 736| mu736_7(unknown) = ^CallSideEffect : ~m?
# 736| mu736_8(String) = ^IndirectMayWriteSideEffect[-1] : &:r736_1
@@ -4522,44 +4522,48 @@ ir.cpp:
# 808| r808_12(glval<Base>) = CopyValue : r808_6
# 809| r809_1(glval<Base>) = VariableAddress[b] :
# 809| r809_2(glval<unknown>) = FunctionAddress[operator=] :
# 809| r809_3(glval<unknown>) = FunctionAddress[Base] :
# 809| r809_4(glval<Middle>) = VariableAddress[m] :
# 809| r809_5(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r809_4
# 809| r809_6(Base &) = CopyValue : r809_5
# 809| v809_7(void) = Call[Base] : func:r809_3, 0:r809_6
# 809| mu809_8(unknown) = ^CallSideEffect : ~m?
# 809| mu809_9(Base) = ^IndirectMayWriteSideEffect[-1] :
# 809| v809_10(void) = ^BufferReadSideEffect[0] : &:r809_6, ~m?
# 809| mu809_11(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_6
# 809| r809_12(glval<Base>) = Convert : v809_7
# 809| r809_13(Base &) = CopyValue : r809_12
# 809| r809_14(Base &) = Call[operator=] : func:r809_2, this:r809_1, 0:r809_13
# 809| mu809_15(unknown) = ^CallSideEffect : ~m?
# 809| v809_16(void) = ^BufferReadSideEffect[-1] : &:r809_1, ~m?
# 809| v809_17(void) = ^BufferReadSideEffect[0] : &:r809_13, ~m?
# 809| mu809_18(Base) = ^IndirectMayWriteSideEffect[-1] : &:r809_1
# 809| mu809_19(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_13
# 809| r809_20(glval<Base>) = CopyValue : r809_14
# 809| r809_3(glval<Base>) = VariableAddress[#temp809:7] :
# 809| mu809_4(Base) = Uninitialized[#temp809:7] : &:r809_3
# 809| r809_5(glval<unknown>) = FunctionAddress[Base] :
# 809| r809_6(glval<Middle>) = VariableAddress[m] :
# 809| r809_7(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r809_6
# 809| r809_8(Base &) = CopyValue : r809_7
# 809| v809_9(void) = Call[Base] : func:r809_5, this:r809_3, 0:r809_8
# 809| mu809_10(unknown) = ^CallSideEffect : ~m?
# 809| mu809_11(Base) = ^IndirectMayWriteSideEffect[-1] : &:r809_3
# 809| v809_12(void) = ^BufferReadSideEffect[0] : &:r809_8, ~m?
# 809| mu809_13(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_8
# 809| r809_14(glval<Base>) = Convert : r809_3
# 809| r809_15(Base &) = CopyValue : r809_14
# 809| r809_16(Base &) = Call[operator=] : func:r809_2, this:r809_1, 0:r809_15
# 809| mu809_17(unknown) = ^CallSideEffect : ~m?
# 809| v809_18(void) = ^BufferReadSideEffect[-1] : &:r809_1, ~m?
# 809| v809_19(void) = ^BufferReadSideEffect[0] : &:r809_15, ~m?
# 809| mu809_20(Base) = ^IndirectMayWriteSideEffect[-1] : &:r809_1
# 809| mu809_21(unknown) = ^BufferMayWriteSideEffect[0] : &:r809_15
# 809| r809_22(glval<Base>) = CopyValue : r809_16
# 810| r810_1(glval<Base>) = VariableAddress[b] :
# 810| r810_2(glval<unknown>) = FunctionAddress[operator=] :
# 810| r810_3(glval<unknown>) = FunctionAddress[Base] :
# 810| r810_4(glval<Middle>) = VariableAddress[m] :
# 810| r810_5(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r810_4
# 810| r810_6(Base &) = CopyValue : r810_5
# 810| v810_7(void) = Call[Base] : func:r810_3, 0:r810_6
# 810| mu810_8(unknown) = ^CallSideEffect : ~m?
# 810| mu810_9(Base) = ^IndirectMayWriteSideEffect[-1] :
# 810| v810_10(void) = ^BufferReadSideEffect[0] : &:r810_6, ~m?
# 810| mu810_11(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_6
# 810| r810_12(glval<Base>) = Convert : v810_7
# 810| r810_13(Base &) = CopyValue : r810_12
# 810| r810_14(Base &) = Call[operator=] : func:r810_2, this:r810_1, 0:r810_13
# 810| mu810_15(unknown) = ^CallSideEffect : ~m?
# 810| v810_16(void) = ^BufferReadSideEffect[-1] : &:r810_1, ~m?
# 810| v810_17(void) = ^BufferReadSideEffect[0] : &:r810_13, ~m?
# 810| mu810_18(Base) = ^IndirectMayWriteSideEffect[-1] : &:r810_1
# 810| mu810_19(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_13
# 810| r810_20(glval<Base>) = CopyValue : r810_14
# 810| r810_3(glval<Base>) = VariableAddress[#temp810:7] :
# 810| mu810_4(Base) = Uninitialized[#temp810:7] : &:r810_3
# 810| r810_5(glval<unknown>) = FunctionAddress[Base] :
# 810| r810_6(glval<Middle>) = VariableAddress[m] :
# 810| r810_7(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r810_6
# 810| r810_8(Base &) = CopyValue : r810_7
# 810| v810_9(void) = Call[Base] : func:r810_5, this:r810_3, 0:r810_8
# 810| mu810_10(unknown) = ^CallSideEffect : ~m?
# 810| mu810_11(Base) = ^IndirectMayWriteSideEffect[-1] : &:r810_3
# 810| v810_12(void) = ^BufferReadSideEffect[0] : &:r810_8, ~m?
# 810| mu810_13(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_8
# 810| r810_14(glval<Base>) = Convert : r810_3
# 810| r810_15(Base &) = CopyValue : r810_14
# 810| r810_16(Base &) = Call[operator=] : func:r810_2, this:r810_1, 0:r810_15
# 810| mu810_17(unknown) = ^CallSideEffect : ~m?
# 810| v810_18(void) = ^BufferReadSideEffect[-1] : &:r810_1, ~m?
# 810| v810_19(void) = ^BufferReadSideEffect[0] : &:r810_15, ~m?
# 810| mu810_20(Base) = ^IndirectMayWriteSideEffect[-1] : &:r810_1
# 810| mu810_21(unknown) = ^BufferMayWriteSideEffect[0] : &:r810_15
# 810| r810_22(glval<Base>) = CopyValue : r810_16
# 811| r811_1(glval<Middle *>) = VariableAddress[pm] :
# 811| r811_2(Middle *) = Load[pm] : &:r811_1, ~m?
# 811| r811_3(Base *) = ConvertToNonVirtualBase[Middle : Base] : r811_2
@@ -4636,46 +4640,50 @@ ir.cpp:
# 822| r822_13(glval<Base>) = CopyValue : r822_7
# 823| r823_1(glval<Base>) = VariableAddress[b] :
# 823| r823_2(glval<unknown>) = FunctionAddress[operator=] :
# 823| r823_3(glval<unknown>) = FunctionAddress[Base] :
# 823| r823_4(glval<Derived>) = VariableAddress[d] :
# 823| r823_5(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r823_4
# 823| r823_6(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r823_5
# 823| r823_7(Base &) = CopyValue : r823_6
# 823| v823_8(void) = Call[Base] : func:r823_3, 0:r823_7
# 823| mu823_9(unknown) = ^CallSideEffect : ~m?
# 823| mu823_10(Base) = ^IndirectMayWriteSideEffect[-1] :
# 823| v823_11(void) = ^BufferReadSideEffect[0] : &:r823_7, ~m?
# 823| mu823_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_7
# 823| r823_13(glval<Base>) = Convert : v823_8
# 823| r823_14(Base &) = CopyValue : r823_13
# 823| r823_15(Base &) = Call[operator=] : func:r823_2, this:r823_1, 0:r823_14
# 823| mu823_16(unknown) = ^CallSideEffect : ~m?
# 823| v823_17(void) = ^BufferReadSideEffect[-1] : &:r823_1, ~m?
# 823| v823_18(void) = ^BufferReadSideEffect[0] : &:r823_14, ~m?
# 823| mu823_19(Base) = ^IndirectMayWriteSideEffect[-1] : &:r823_1
# 823| mu823_20(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_14
# 823| r823_21(glval<Base>) = CopyValue : r823_15
# 823| r823_3(glval<Base>) = VariableAddress[#temp823:7] :
# 823| mu823_4(Base) = Uninitialized[#temp823:7] : &:r823_3
# 823| r823_5(glval<unknown>) = FunctionAddress[Base] :
# 823| r823_6(glval<Derived>) = VariableAddress[d] :
# 823| r823_7(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r823_6
# 823| r823_8(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r823_7
# 823| r823_9(Base &) = CopyValue : r823_8
# 823| v823_10(void) = Call[Base] : func:r823_5, this:r823_3, 0:r823_9
# 823| mu823_11(unknown) = ^CallSideEffect : ~m?
# 823| mu823_12(Base) = ^IndirectMayWriteSideEffect[-1] : &:r823_3
# 823| v823_13(void) = ^BufferReadSideEffect[0] : &:r823_9, ~m?
# 823| mu823_14(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_9
# 823| r823_15(glval<Base>) = Convert : r823_3
# 823| r823_16(Base &) = CopyValue : r823_15
# 823| r823_17(Base &) = Call[operator=] : func:r823_2, this:r823_1, 0:r823_16
# 823| mu823_18(unknown) = ^CallSideEffect : ~m?
# 823| v823_19(void) = ^BufferReadSideEffect[-1] : &:r823_1, ~m?
# 823| v823_20(void) = ^BufferReadSideEffect[0] : &:r823_16, ~m?
# 823| mu823_21(Base) = ^IndirectMayWriteSideEffect[-1] : &:r823_1
# 823| mu823_22(unknown) = ^BufferMayWriteSideEffect[0] : &:r823_16
# 823| r823_23(glval<Base>) = CopyValue : r823_17
# 824| r824_1(glval<Base>) = VariableAddress[b] :
# 824| r824_2(glval<unknown>) = FunctionAddress[operator=] :
# 824| r824_3(glval<unknown>) = FunctionAddress[Base] :
# 824| r824_4(glval<Derived>) = VariableAddress[d] :
# 824| r824_5(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r824_4
# 824| r824_6(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r824_5
# 824| r824_7(Base &) = CopyValue : r824_6
# 824| v824_8(void) = Call[Base] : func:r824_3, 0:r824_7
# 824| mu824_9(unknown) = ^CallSideEffect : ~m?
# 824| mu824_10(Base) = ^IndirectMayWriteSideEffect[-1] :
# 824| v824_11(void) = ^BufferReadSideEffect[0] : &:r824_7, ~m?
# 824| mu824_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_7
# 824| r824_13(glval<Base>) = Convert : v824_8
# 824| r824_14(Base &) = CopyValue : r824_13
# 824| r824_15(Base &) = Call[operator=] : func:r824_2, this:r824_1, 0:r824_14
# 824| mu824_16(unknown) = ^CallSideEffect : ~m?
# 824| v824_17(void) = ^BufferReadSideEffect[-1] : &:r824_1, ~m?
# 824| v824_18(void) = ^BufferReadSideEffect[0] : &:r824_14, ~m?
# 824| mu824_19(Base) = ^IndirectMayWriteSideEffect[-1] : &:r824_1
# 824| mu824_20(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_14
# 824| r824_21(glval<Base>) = CopyValue : r824_15
# 824| r824_3(glval<Base>) = VariableAddress[#temp824:7] :
# 824| mu824_4(Base) = Uninitialized[#temp824:7] : &:r824_3
# 824| r824_5(glval<unknown>) = FunctionAddress[Base] :
# 824| r824_6(glval<Derived>) = VariableAddress[d] :
# 824| r824_7(glval<Middle>) = ConvertToNonVirtualBase[Derived : Middle] : r824_6
# 824| r824_8(glval<Base>) = ConvertToNonVirtualBase[Middle : Base] : r824_7
# 824| r824_9(Base &) = CopyValue : r824_8
# 824| v824_10(void) = Call[Base] : func:r824_5, this:r824_3, 0:r824_9
# 824| mu824_11(unknown) = ^CallSideEffect : ~m?
# 824| mu824_12(Base) = ^IndirectMayWriteSideEffect[-1] : &:r824_3
# 824| v824_13(void) = ^BufferReadSideEffect[0] : &:r824_9, ~m?
# 824| mu824_14(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_9
# 824| r824_15(glval<Base>) = Convert : r824_3
# 824| r824_16(Base &) = CopyValue : r824_15
# 824| r824_17(Base &) = Call[operator=] : func:r824_2, this:r824_1, 0:r824_16
# 824| mu824_18(unknown) = ^CallSideEffect : ~m?
# 824| v824_19(void) = ^BufferReadSideEffect[-1] : &:r824_1, ~m?
# 824| v824_20(void) = ^BufferReadSideEffect[0] : &:r824_16, ~m?
# 824| mu824_21(Base) = ^IndirectMayWriteSideEffect[-1] : &:r824_1
# 824| mu824_22(unknown) = ^BufferMayWriteSideEffect[0] : &:r824_16
# 824| r824_23(glval<Base>) = CopyValue : r824_17
# 825| r825_1(glval<Derived *>) = VariableAddress[pd] :
# 825| r825_2(Derived *) = Load[pd] : &:r825_1, ~m?
# 825| r825_3(Middle *) = ConvertToNonVirtualBase[Derived : Middle] : r825_2
@@ -4826,16 +4834,16 @@ ir.cpp:
# 849| mu849_3(unknown) = InitializeNonLocal :
# 850| r850_1(glval<PolymorphicBase>) = VariableAddress[b] :
# 850| mu850_2(PolymorphicBase) = Uninitialized[b] : &:r850_1
#-----| r0_1(glval<unknown>) = FunctionAddress[PolymorphicBase] :
#-----| v0_2(void) = Call[PolymorphicBase] : func:r0_1, this:r850_1
#-----| mu0_3(unknown) = ^CallSideEffect : ~m?
#-----| mu0_4(PolymorphicBase) = ^IndirectMayWriteSideEffect[-1] : &:r850_1
# 850| r850_3(glval<unknown>) = FunctionAddress[PolymorphicBase] :
# 850| v850_4(void) = Call[PolymorphicBase] : func:r850_3, this:r850_1
# 850| mu850_5(unknown) = ^CallSideEffect : ~m?
# 850| mu850_6(PolymorphicBase) = ^IndirectMayWriteSideEffect[-1] : &:r850_1
# 851| r851_1(glval<PolymorphicDerived>) = VariableAddress[d] :
# 851| mu851_2(PolymorphicDerived) = Uninitialized[d] : &:r851_1
#-----| r0_5(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
#-----| v0_6(void) = Call[PolymorphicDerived] : func:r0_5, this:r851_1
#-----| mu0_7(unknown) = ^CallSideEffect : ~m?
#-----| mu0_8(PolymorphicDerived) = ^IndirectMayWriteSideEffect[-1] : &:r851_1
# 851| r851_3(glval<unknown>) = FunctionAddress[PolymorphicDerived] :
# 851| v851_4(void) = Call[PolymorphicDerived] : func:r851_3, this:r851_1
# 851| mu851_5(unknown) = ^CallSideEffect : ~m?
# 851| mu851_6(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
@@ -6165,7 +6173,7 @@ ir.cpp:
#-----| r0_7(glval<iterator>) = Convert : r1084_1
# 1084| r1084_2(glval<unknown>) = FunctionAddress[operator!=] :
# 1084| r1084_3(glval<iterator>) = VariableAddress[(__end)] :
# 1084| r1084_4(iterator) = Load : &:r1084_3, ~m?
# 1084| r1084_4(iterator) = Load[(__end)] : &:r1084_3, ~m?
# 1084| r1084_5(bool) = Call[operator!=] : func:r1084_2, this:r0_7, 0:r1084_4
# 1084| mu1084_6(unknown) = ^CallSideEffect : ~m?
#-----| v0_8(void) = ^BufferReadSideEffect[-1] : &:r0_7, ~m?
@@ -6223,7 +6231,7 @@ ir.cpp:
#-----| r0_13(glval<iterator>) = Convert : r1078_21
# 1078| r1078_22(glval<unknown>) = FunctionAddress[operator!=] :
# 1078| r1078_23(glval<iterator>) = VariableAddress[(__end)] :
# 1078| r1078_24(iterator) = Load : &:r1078_23, ~m?
# 1078| r1078_24(iterator) = Load[(__end)] : &:r1078_23, ~m?
# 1078| r1078_25(bool) = Call[operator!=] : func:r1078_22, this:r0_13, 0:r1078_24
# 1078| mu1078_26(unknown) = ^CallSideEffect : ~m?
#-----| v0_14(void) = ^BufferReadSideEffect[-1] : &:r0_13, ~m?
@@ -6488,7 +6496,7 @@ ir.cpp:
# 1154| mu1154_2(String) = Uninitialized[#throw1154:5] : &:r1154_1
# 1154| r1154_3(glval<unknown>) = FunctionAddress[String] :
# 1154| r1154_4(glval<char *>) = VariableAddress[s] :
# 1154| r1154_5(char *) = Load : &:r1154_4, ~m?
# 1154| r1154_5(char *) = Load[s] : &:r1154_4, ~m?
# 1154| v1154_6(void) = Call[String] : func:r1154_3, this:r1154_1, 0:r1154_5
# 1154| mu1154_7(unknown) = ^CallSideEffect : ~m?
# 1154| mu1154_8(String) = ^IndirectMayWriteSideEffect[-1] : &:r1154_1
@@ -6616,7 +6624,7 @@ ir.cpp:
# 1179| r1179_3(glval<unknown>) = FunctionAddress[String] :
# 1179| r1179_4(glval<char[4]>) = StringConstant["foo"] :
# 1179| r1179_5(char *) = Convert : r1179_4
# 1179| r1179_6(String) = Call[String] : func:r1179_3, this:r1179_1, 0:r1179_5
# 1179| v1179_6(void) = Call[String] : func:r1179_3, this:r1179_1, 0:r1179_5
# 1179| mu1179_7(unknown) = ^CallSideEffect : ~m?
# 1179| mu1179_8(String) = ^IndirectMayWriteSideEffect[-1] : &:r1179_1
# 1179| v1179_9(void) = ^BufferReadSideEffect[0] : &:r1179_5, ~m?
@@ -6882,7 +6890,7 @@ ir.cpp:
# 1243| r1243_4(glval<String>) = VariableAddress[c] :
# 1243| r1243_5(glval<unknown>) = FunctionAddress[String] :
# 1243| r1243_6(glval<char *>) = VariableAddress[dynamic] :
# 1243| r1243_7(char *) = Load : &:r1243_6, ~m?
# 1243| r1243_7(char *) = Load[dynamic] : &:r1243_6, ~m?
# 1243| v1243_8(void) = Call[String] : func:r1243_5, this:r1243_4, 0:r1243_7
# 1243| mu1243_9(unknown) = ^CallSideEffect : ~m?
# 1243| mu1243_10(String) = ^IndirectMayWriteSideEffect[-1] : &:r1243_4
@@ -7014,7 +7022,7 @@ ir.cpp:
# 1276| r1276_3(glval<A>) = VariableAddress[a] :
# 1276| r1276_4(A *) = CopyValue : r1276_3
# 1276| r1276_5(glval<int>) = VariableAddress[int_arg] :
# 1276| r1276_6(int) = Load : &:r1276_5, ~m?
# 1276| r1276_6(int) = Load[int_arg] : &:r1276_5, ~m?
# 1276| v1276_7(void) = Call[static_member] : func:r1276_2, 0:r1276_4, 1:r1276_6
# 1276| mu1276_8(unknown) = ^CallSideEffect : ~m?
# 1276| v1276_9(void) = ^BufferReadSideEffect[0] : &:r1276_4, ~m?
@@ -7023,7 +7031,7 @@ ir.cpp:
# 1277| r1277_2(glval<A>) = VariableAddress[a] :
# 1277| r1277_3(A *) = CopyValue : r1277_2
# 1277| r1277_4(glval<int>) = VariableAddress[int_arg] :
# 1277| r1277_5(int) = Load : &:r1277_4, ~m?
# 1277| r1277_5(int) = Load[int_arg] : &:r1277_4, ~m?
# 1277| v1277_6(void) = Call[static_member] : func:r1277_1, 0:r1277_3, 1:r1277_5
# 1277| mu1277_7(unknown) = ^CallSideEffect : ~m?
# 1277| v1277_8(void) = ^BufferReadSideEffect[0] : &:r1277_3, ~m?
@@ -7122,7 +7130,7 @@ ir.cpp:
# 1296| r1296_2(glval<int>) = VariableAddress[x] :
# 1296| r1296_3(int) = Load[x] : &:r1296_2, ~m?
# 1296| r1296_4(glval<int>) = VariableAddress[y] :
# 1296| r1296_5(int) = Load : &:r1296_4, ~m?
# 1296| r1296_5(int) = Load[y] : &:r1296_4, ~m?
# 1296| v1296_6(void) = Call[IntegerOps] : func:r1296_1, 0:r1296_3, 1:r1296_5
# 1296| mu1296_7(unknown) = ^CallSideEffect : ~m?
# 1296| v1296_8(void) = NoOp :

14
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
View File

@@ -864,7 +864,7 @@ ssa.cpp:
# 200| m200_10(int) = Store[ret] : &:r200_7, r200_9
# 201| r201_1(glval<unknown>) = FunctionAddress[abs] :
# 201| r201_2(glval<int>) = VariableAddress[x] :
# 201| r201_3(int) = Load : &:r201_2, m198_14
# 201| r201_3(int) = Load[x] : &:r201_2, m198_14
# 201| r201_4(int) = Call[abs] : func:r201_1, 0:r201_3
# 201| r201_5(glval<int>) = VariableAddress[ret] :
# 201| r201_6(int) = Load[ret] : &:r201_5, m200_10
@@ -1135,7 +1135,7 @@ ssa.cpp:
# 250| r250_6(char *) = Load[src] : &:r250_5, m247_6
# 250| r250_7(void *) = Convert : r250_6
# 250| r250_8(glval<int>) = VariableAddress[size] :
# 250| r250_9(int) = Load : &:r250_8, m247_11
# 250| r250_9(int) = Load[size] : &:r250_8, m247_11
# 250| r250_10(void *) = Call[memcpy] : func:r250_1, 0:r250_4, 1:r250_7, 2:r250_9
# 250| v250_11(void) = ^SizedBufferReadSideEffect[1] : &:r250_7, r250_9, ~m249_6
# 250| m250_12(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r250_4, r250_9
@@ -1212,7 +1212,7 @@ ssa.cpp:
# 269| r269_1(glval<void *>) = VariableAddress[buf] :
# 269| r269_2(glval<unknown>) = FunctionAddress[malloc] :
# 269| r269_3(glval<int>) = VariableAddress[size] :
# 269| r269_4(int) = Load : &:r269_3, m268_11
# 269| r269_4(int) = Load[size] : &:r269_3, m268_11
# 269| r269_5(void *) = Call[malloc] : func:r269_2, 0:r269_4
# 269| m269_6(unknown) = ^CallSideEffect : ~m268_9
# 269| m269_7(unknown) = Chi : total:m268_9, partial:m269_6
@@ -1225,7 +1225,7 @@ ssa.cpp:
# 270| r270_4(glval<void *>) = VariableAddress[s] :
# 270| r270_5(void *) = Load[s] : &:r270_4, m268_6
# 270| r270_6(glval<int>) = VariableAddress[size] :
# 270| r270_7(int) = Load : &:r270_6, m268_11
# 270| r270_7(int) = Load[size] : &:r270_6, m268_11
# 270| r270_8(void *) = Call[memcpy] : func:r270_1, 0:r270_3, 1:r270_5, 2:r270_7
# 270| v270_9(void) = ^SizedBufferReadSideEffect[1] : &:r270_5, r270_7, ~m269_7
# 270| m270_10(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r270_3, r270_7
@@ -1395,7 +1395,7 @@ ssa.cpp:
# 294| r294_16(A *) = Convert : r294_12
# 294| r294_17(glval<unknown>) = FunctionAddress[A] :
# 294| r294_18(glval<int>) = VariableAddress[x] :
# 294| r294_19(int) = Load : &:r294_18, m291_6
# 294| r294_19(int) = Load[x] : &:r294_18, m291_6
# 294| v294_20(void) = Call[A] : func:r294_17, this:r294_16, 0:r294_19
# 294| m294_21(unknown) = ^CallSideEffect : ~m294_14
# 294| m294_22(unknown) = Chi : total:m294_14, partial:m294_21
@@ -1453,7 +1453,7 @@ ssa.cpp:
# 302| r302_2(glval<int>) = VariableAddress[argc] :
# 302| r302_3(int) = Load[argc] : &:r302_2, m301_6
# 302| r302_4(glval<char **>) = VariableAddress[argv] :
# 302| r302_5(char **) = Load : &:r302_4, m301_8
# 302| r302_5(char **) = Load[argv] : &:r302_4, m301_8
# 302| v302_6(void) = Call[unknownFunction] : func:r302_1, 0:r302_3, 1:r302_5
# 302| m302_7(unknown) = ^CallSideEffect : ~m301_11
# 302| m302_8(unknown) = Chi : total:m301_11, partial:m302_7
@@ -1464,7 +1464,7 @@ ssa.cpp:
# 303| r303_2(glval<int>) = VariableAddress[argc] :
# 303| r303_3(int) = Load[argc] : &:r303_2, m301_6
# 303| r303_4(glval<char **>) = VariableAddress[argv] :
# 303| r303_5(char **) = Load : &:r303_4, m301_8
# 303| r303_5(char **) = Load[argv] : &:r303_4, m301_8
# 303| v303_6(void) = Call[unknownFunction] : func:r303_1, 0:r303_3, 1:r303_5
# 303| m303_7(unknown) = ^CallSideEffect : ~m302_11
# 303| m303_8(unknown) = Chi : total:m302_11, partial:m303_7

14
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
View File

@@ -859,7 +859,7 @@ ssa.cpp:
# 200| m200_10(int) = Store[ret] : &:r200_7, r200_9
# 201| r201_1(glval<unknown>) = FunctionAddress[abs] :
# 201| r201_2(glval<int>) = VariableAddress[x] :
# 201| r201_3(int) = Load : &:r201_2, m198_14
# 201| r201_3(int) = Load[x] : &:r201_2, m198_14
# 201| r201_4(int) = Call[abs] : func:r201_1, 0:r201_3
# 201| r201_5(glval<int>) = VariableAddress[ret] :
# 201| r201_6(int) = Load[ret] : &:r201_5, m200_10
@@ -1126,7 +1126,7 @@ ssa.cpp:
# 250| r250_6(char *) = Load[src] : &:r250_5, m247_6
# 250| r250_7(void *) = Convert : r250_6
# 250| r250_8(glval<int>) = VariableAddress[size] :
# 250| r250_9(int) = Load : &:r250_8, m247_10
# 250| r250_9(int) = Load[size] : &:r250_8, m247_10
# 250| r250_10(void *) = Call[memcpy] : func:r250_1, 0:r250_4, 1:r250_7, 2:r250_9
# 250| v250_11(void) = ^SizedBufferReadSideEffect[1] : &:r250_7, r250_9, ~m249_6
# 250| m250_12(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r250_4, r250_9
@@ -1202,7 +1202,7 @@ ssa.cpp:
# 269| r269_1(glval<void *>) = VariableAddress[buf] :
# 269| r269_2(glval<unknown>) = FunctionAddress[malloc] :
# 269| r269_3(glval<int>) = VariableAddress[size] :
# 269| r269_4(int) = Load : &:r269_3, m268_10
# 269| r269_4(int) = Load[size] : &:r269_3, m268_10
# 269| r269_5(void *) = Call[malloc] : func:r269_2, 0:r269_4
# 269| m269_6(unknown) = ^CallSideEffect : ~m268_4
# 269| m269_7(unknown) = Chi : total:m268_4, partial:m269_6
@@ -1214,7 +1214,7 @@ ssa.cpp:
# 270| r270_4(glval<void *>) = VariableAddress[s] :
# 270| r270_5(void *) = Load[s] : &:r270_4, m268_6
# 270| r270_6(glval<int>) = VariableAddress[size] :
# 270| r270_7(int) = Load : &:r270_6, m268_10
# 270| r270_7(int) = Load[size] : &:r270_6, m268_10
# 270| r270_8(void *) = Call[memcpy] : func:r270_1, 0:r270_3, 1:r270_5, 2:r270_7
# 270| v270_9(void) = ^SizedBufferReadSideEffect[1] : &:r270_5, r270_7, ~m268_8
# 270| m270_10(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r270_3, r270_7
@@ -1383,7 +1383,7 @@ ssa.cpp:
# 294| r294_16(A *) = Convert : r294_12
# 294| r294_17(glval<unknown>) = FunctionAddress[A] :
# 294| r294_18(glval<int>) = VariableAddress[x] :
# 294| r294_19(int) = Load : &:r294_18, m291_6
# 294| r294_19(int) = Load[x] : &:r294_18, m291_6
# 294| v294_20(void) = Call[A] : func:r294_17, this:r294_16, 0:r294_19
# 294| m294_21(unknown) = ^CallSideEffect : ~m294_14
# 294| m294_22(unknown) = Chi : total:m294_14, partial:m294_21
@@ -1440,7 +1440,7 @@ ssa.cpp:
# 302| r302_2(glval<int>) = VariableAddress[argc] :
# 302| r302_3(int) = Load[argc] : &:r302_2, m301_6
# 302| r302_4(glval<char **>) = VariableAddress[argv] :
# 302| r302_5(char **) = Load : &:r302_4, m301_8
# 302| r302_5(char **) = Load[argv] : &:r302_4, m301_8
# 302| v302_6(void) = Call[unknownFunction] : func:r302_1, 0:r302_3, 1:r302_5
# 302| m302_7(unknown) = ^CallSideEffect : ~m301_4
# 302| m302_8(unknown) = Chi : total:m301_4, partial:m302_7
@@ -1451,7 +1451,7 @@ ssa.cpp:
# 303| r303_2(glval<int>) = VariableAddress[argc] :
# 303| r303_3(int) = Load[argc] : &:r303_2, m301_6
# 303| r303_4(glval<char **>) = VariableAddress[argv] :
# 303| r303_5(char **) = Load : &:r303_4, m301_8
# 303| r303_5(char **) = Load[argv] : &:r303_4, m301_8
# 303| v303_6(void) = Call[unknownFunction] : func:r303_1, 0:r303_3, 1:r303_5
# 303| m303_7(unknown) = ^CallSideEffect : ~m302_8
# 303| m303_8(unknown) = Chi : total:m302_8, partial:m303_7

14
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected
View File

@@ -805,7 +805,7 @@ ssa.cpp:
# 200| m200_10(int) = Store[ret] : &:r200_7, r200_9
# 201| r201_1(glval<unknown>) = FunctionAddress[abs] :
# 201| r201_2(glval<int>) = VariableAddress[x] :
# 201| r201_3(int) = Load : &:r201_2, m198_13
# 201| r201_3(int) = Load[x] : &:r201_2, m198_13
# 201| r201_4(int) = Call[abs] : func:r201_1, 0:r201_3
# 201| r201_5(glval<int>) = VariableAddress[ret] :
# 201| r201_6(int) = Load[ret] : &:r201_5, m200_10
@@ -1045,7 +1045,7 @@ ssa.cpp:
# 250| r250_6(char *) = Load[src] : &:r250_5, m247_5
# 250| r250_7(void *) = Convert : r250_6
# 250| r250_8(glval<int>) = VariableAddress[size] :
# 250| r250_9(int) = Load : &:r250_8, m247_9
# 250| r250_9(int) = Load[size] : &:r250_8, m247_9
# 250| r250_10(void *) = Call[memcpy] : func:r250_1, 0:r250_4, 1:r250_7, 2:r250_9
# 250| v250_11(void) = ^SizedBufferReadSideEffect[1] : &:r250_7, r250_9, ~m?
# 250| mu250_12(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r250_4, r250_9
@@ -1115,7 +1115,7 @@ ssa.cpp:
# 269| r269_1(glval<void *>) = VariableAddress[buf] :
# 269| r269_2(glval<unknown>) = FunctionAddress[malloc] :
# 269| r269_3(glval<int>) = VariableAddress[size] :
# 269| r269_4(int) = Load : &:r269_3, m268_9
# 269| r269_4(int) = Load[size] : &:r269_3, m268_9
# 269| r269_5(void *) = Call[malloc] : func:r269_2, 0:r269_4
# 269| mu269_6(unknown) = ^CallSideEffect : ~m?
# 269| mu269_7(unknown) = ^InitializeDynamicAllocation : &:r269_5
@@ -1126,7 +1126,7 @@ ssa.cpp:
# 270| r270_4(glval<void *>) = VariableAddress[s] :
# 270| r270_5(void *) = Load[s] : &:r270_4, m268_5
# 270| r270_6(glval<int>) = VariableAddress[size] :
# 270| r270_7(int) = Load : &:r270_6, m268_9
# 270| r270_7(int) = Load[size] : &:r270_6, m268_9
# 270| r270_8(void *) = Call[memcpy] : func:r270_1, 0:r270_3, 1:r270_5, 2:r270_7
# 270| v270_9(void) = ^SizedBufferReadSideEffect[1] : &:r270_5, r270_7, ~m?
# 270| mu270_10(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r270_3, r270_7
@@ -1279,7 +1279,7 @@ ssa.cpp:
# 294| r294_14(A *) = Convert : r294_11
# 294| r294_15(glval<unknown>) = FunctionAddress[A] :
# 294| r294_16(glval<int>) = VariableAddress[x] :
# 294| r294_17(int) = Load : &:r294_16, m291_5
# 294| r294_17(int) = Load[x] : &:r294_16, m291_5
# 294| v294_18(void) = Call[A] : func:r294_15, this:r294_14, 0:r294_17
# 294| mu294_19(unknown) = ^CallSideEffect : ~m?
# 294| mu294_20(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_14
@@ -1327,7 +1327,7 @@ ssa.cpp:
# 302| r302_2(glval<int>) = VariableAddress[argc] :
# 302| r302_3(int) = Load[argc] : &:r302_2, m301_5
# 302| r302_4(glval<char **>) = VariableAddress[argv] :
# 302| r302_5(char **) = Load : &:r302_4, m301_7
# 302| r302_5(char **) = Load[argv] : &:r302_4, m301_7
# 302| v302_6(void) = Call[unknownFunction] : func:r302_1, 0:r302_3, 1:r302_5
# 302| mu302_7(unknown) = ^CallSideEffect : ~m?
# 302| v302_8(void) = ^BufferReadSideEffect[1] : &:r302_5, ~m?
@@ -1336,7 +1336,7 @@ ssa.cpp:
# 303| r303_2(glval<int>) = VariableAddress[argc] :
# 303| r303_3(int) = Load[argc] : &:r303_2, m301_5
# 303| r303_4(glval<char **>) = VariableAddress[argv] :
# 303| r303_5(char **) = Load : &:r303_4, m301_7
# 303| r303_5(char **) = Load[argv] : &:r303_4, m301_7
# 303| v303_6(void) = Call[unknownFunction] : func:r303_1, 0:r303_3, 1:r303_5
# 303| mu303_7(unknown) = ^CallSideEffect : ~m?
# 303| v303_8(void) = ^BufferReadSideEffect[1] : &:r303_5, ~m?

14
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir_unsound.expected
View File

@@ -805,7 +805,7 @@ ssa.cpp:
# 200| m200_10(int) = Store[ret] : &:r200_7, r200_9
# 201| r201_1(glval<unknown>) = FunctionAddress[abs] :
# 201| r201_2(glval<int>) = VariableAddress[x] :
# 201| r201_3(int) = Load : &:r201_2, m198_13
# 201| r201_3(int) = Load[x] : &:r201_2, m198_13
# 201| r201_4(int) = Call[abs] : func:r201_1, 0:r201_3
# 201| r201_5(glval<int>) = VariableAddress[ret] :
# 201| r201_6(int) = Load[ret] : &:r201_5, m200_10
@@ -1045,7 +1045,7 @@ ssa.cpp:
# 250| r250_6(char *) = Load[src] : &:r250_5, m247_5
# 250| r250_7(void *) = Convert : r250_6
# 250| r250_8(glval<int>) = VariableAddress[size] :
# 250| r250_9(int) = Load : &:r250_8, m247_9
# 250| r250_9(int) = Load[size] : &:r250_8, m247_9
# 250| r250_10(void *) = Call[memcpy] : func:r250_1, 0:r250_4, 1:r250_7, 2:r250_9
# 250| v250_11(void) = ^SizedBufferReadSideEffect[1] : &:r250_7, r250_9, ~m?
# 250| mu250_12(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r250_4, r250_9
@@ -1115,7 +1115,7 @@ ssa.cpp:
# 269| r269_1(glval<void *>) = VariableAddress[buf] :
# 269| r269_2(glval<unknown>) = FunctionAddress[malloc] :
# 269| r269_3(glval<int>) = VariableAddress[size] :
# 269| r269_4(int) = Load : &:r269_3, m268_9
# 269| r269_4(int) = Load[size] : &:r269_3, m268_9
# 269| r269_5(void *) = Call[malloc] : func:r269_2, 0:r269_4
# 269| mu269_6(unknown) = ^CallSideEffect : ~m?
# 269| mu269_7(unknown) = ^InitializeDynamicAllocation : &:r269_5
@@ -1126,7 +1126,7 @@ ssa.cpp:
# 270| r270_4(glval<void *>) = VariableAddress[s] :
# 270| r270_5(void *) = Load[s] : &:r270_4, m268_5
# 270| r270_6(glval<int>) = VariableAddress[size] :
# 270| r270_7(int) = Load : &:r270_6, m268_9
# 270| r270_7(int) = Load[size] : &:r270_6, m268_9
# 270| r270_8(void *) = Call[memcpy] : func:r270_1, 0:r270_3, 1:r270_5, 2:r270_7
# 270| v270_9(void) = ^SizedBufferReadSideEffect[1] : &:r270_5, r270_7, ~m?
# 270| mu270_10(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r270_3, r270_7
@@ -1279,7 +1279,7 @@ ssa.cpp:
# 294| r294_14(A *) = Convert : r294_11
# 294| r294_15(glval<unknown>) = FunctionAddress[A] :
# 294| r294_16(glval<int>) = VariableAddress[x] :
# 294| r294_17(int) = Load : &:r294_16, m291_5
# 294| r294_17(int) = Load[x] : &:r294_16, m291_5
# 294| v294_18(void) = Call[A] : func:r294_15, this:r294_14, 0:r294_17
# 294| mu294_19(unknown) = ^CallSideEffect : ~m?
# 294| mu294_20(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_14
@@ -1327,7 +1327,7 @@ ssa.cpp:
# 302| r302_2(glval<int>) = VariableAddress[argc] :
# 302| r302_3(int) = Load[argc] : &:r302_2, m301_5
# 302| r302_4(glval<char **>) = VariableAddress[argv] :
# 302| r302_5(char **) = Load : &:r302_4, m301_7
# 302| r302_5(char **) = Load[argv] : &:r302_4, m301_7
# 302| v302_6(void) = Call[unknownFunction] : func:r302_1, 0:r302_3, 1:r302_5
# 302| mu302_7(unknown) = ^CallSideEffect : ~m?
# 302| v302_8(void) = ^BufferReadSideEffect[1] : &:r302_5, ~m?
@@ -1336,7 +1336,7 @@ ssa.cpp:
# 303| r303_2(glval<int>) = VariableAddress[argc] :
# 303| r303_3(int) = Load[argc] : &:r303_2, m301_5
# 303| r303_4(glval<char **>) = VariableAddress[argv] :
# 303| r303_5(char **) = Load : &:r303_4, m301_7
# 303| r303_5(char **) = Load[argv] : &:r303_4, m301_7
# 303| v303_6(void) = Call[unknownFunction] : func:r303_1, 0:r303_3, 1:r303_5
# 303| mu303_7(unknown) = ^CallSideEffect : ~m?
# 303| v303_8(void) = ^BufferReadSideEffect[1] : &:r303_5, ~m?

280
cpp/ql/test/library-tests/virtual_functions/cfg/cfg.expected
View File

@@ -1,153 +1,149 @@
| Base::Base | false | 165 | 165 | Base |
| Base::Base | false | 170 | 170 | return ... |
| Base::Base | false | 172 | 172 | { ... } |
| Base::Base | false | 166 | 166 | Base |
| Base::Base | false | 171 | 171 | return ... |
| Base::Base | false | 173 | 173 | { ... } |
| Base::Base | false | 322 | 322 | Base |
| Base::Base | false | 326 | 326 | Base |
| Base::Base | false | 330 | 330 | Base |
| Base::Base | true | 170 | 165 | |
| Base::Base | true | 172 | 170 | |
| Base::Base_f | false | 369 | 369 | Base_f |
| Base::Base_f | false | 374 | 374 | declaration |
| Base::Base_f | false | 379 | 379 | call to f |
| Base::Base_f | false | 381 | 381 | this |
| Base::Base_f | false | 382 | 382 | initializer for i |
| Base::Base_f | false | 386 | 386 | return ... |
| Base::Base_f | false | 390 | 390 | 1 |
| Base::Base_f | false | 391 | 391 | { ... } |
| Base::Base_f | true | 374 | 382 | |
| Base::Base_f | true | 381 | 379 | |
| Base::Base_f | true | 382 | 381 | |
| Base::Base_f | true | 386 | 390 | |
| Base::Base_f | true | 390 | 369 | |
| Base::Base_f | true | 391 | 374 | |
| Base::Base_g | false | 334 | 334 | Base_g |
| Base::Base_g | false | 339 | 339 | declaration |
| Base::Base_g | false | 344 | 344 | call to g |
| Base::Base_g | false | 346 | 346 | this |
| Base::Base_g | false | 347 | 347 | initializer for i |
| Base::Base_g | false | 351 | 351 | return ... |
| Base::Base_g | false | 355 | 355 | 4 |
| Base::Base_g | false | 356 | 356 | { ... } |
| Base::Base_g | true | 339 | 347 | |
| Base::Base_g | true | 344 | 351 | |
| Base::Base_g | true | 346 | 344 | |
| Base::Base_g | true | 347 | 346 | |
| Base::Base_g | true | 351 | 355 | |
| Base::Base_g | true | 355 | 334 | |
| Base::Base_g | true | 356 | 339 | |
| Base::f | false | 256 | 256 | f |
| Base::f | false | 397 | 397 | ExprStmt |
| Base::f | false | 401 | 401 | call to abort |
| Base::f | false | 403 | 403 | return ... |
| Base::f | false | 405 | 405 | { ... } |
| Base::f | true | 397 | 401 | |
| Base::f | true | 403 | 256 | |
| Base::f | true | 405 | 397 | |
| Base::g | false | 183 | 183 | g |
| Base::g | false | 362 | 362 | return ... |
| Base::g | false | 366 | 366 | 3 |
| Base::g | false | 367 | 367 | { ... } |
| Base::g | true | 362 | 366 | |
| Base::g | true | 366 | 183 | |
| Base::g | true | 367 | 362 | |
| Base::operator= | false | 311 | 311 | operator= |
| Base::operator= | false | 320 | 320 | operator= |
| Base::Base | true | 171 | 166 | |
| Base::Base | true | 173 | 171 | |
| Base::Base_f | false | 365 | 365 | Base_f |
| Base::Base_f | false | 370 | 370 | declaration |
| Base::Base_f | false | 375 | 375 | call to f |
| Base::Base_f | false | 377 | 377 | this |
| Base::Base_f | false | 378 | 378 | initializer for i |
| Base::Base_f | false | 382 | 382 | return ... |
| Base::Base_f | false | 386 | 386 | 1 |
| Base::Base_f | false | 387 | 387 | { ... } |
| Base::Base_f | true | 370 | 378 | |
| Base::Base_f | true | 377 | 375 | |
| Base::Base_f | true | 378 | 377 | |
| Base::Base_f | true | 382 | 386 | |
| Base::Base_f | true | 386 | 365 | |
| Base::Base_f | true | 387 | 370 | |
| Base::Base_g | false | 330 | 330 | Base_g |
| Base::Base_g | false | 335 | 335 | declaration |
| Base::Base_g | false | 340 | 340 | call to g |
| Base::Base_g | false | 342 | 342 | this |
| Base::Base_g | false | 343 | 343 | initializer for i |
| Base::Base_g | false | 347 | 347 | return ... |
| Base::Base_g | false | 351 | 351 | 4 |
| Base::Base_g | false | 352 | 352 | { ... } |
| Base::Base_g | true | 335 | 343 | |
| Base::Base_g | true | 340 | 347 | |
| Base::Base_g | true | 342 | 340 | |
| Base::Base_g | true | 343 | 342 | |
| Base::Base_g | true | 347 | 351 | |
| Base::Base_g | true | 351 | 330 | |
| Base::Base_g | true | 352 | 335 | |
| Base::f | false | 253 | 253 | f |
| Base::f | false | 393 | 393 | ExprStmt |
| Base::f | false | 397 | 397 | call to abort |
| Base::f | false | 399 | 399 | return ... |
| Base::f | false | 401 | 401 | { ... } |
| Base::f | true | 393 | 397 | |
| Base::f | true | 399 | 253 | |
| Base::f | true | 401 | 393 | |
| Base::g | false | 182 | 182 | g |
| Base::g | false | 358 | 358 | return ... |
| Base::g | false | 362 | 362 | 3 |
| Base::g | false | 363 | 363 | { ... } |
| Base::g | true | 358 | 362 | |
| Base::g | true | 362 | 182 | |
| Base::g | true | 363 | 358 | |
| Base::operator= | false | 307 | 307 | operator= |
| Base::operator= | false | 316 | 316 | operator= |
| __va_list_tag::operator= | false | 57 | 57 | operator= |
| __va_list_tag::operator= | false | 63 | 63 | operator= |
| abort | false | 308 | 308 | abort |
| fun_f1 | false | 274 | 274 | fun_f1 |
| fun_f1 | false | 279 | 279 | declaration |
| fun_f1 | false | 282 | 282 | call to Base |
| fun_f1 | false | 283 | 283 | temporary object |
| fun_f1 | false | 284 | 284 | new |
| fun_f1 | false | 286 | 286 | initializer for p1 |
| fun_f1 | false | 290 | 290 | declaration |
| fun_f1 | false | 293 | 293 | call to f |
| fun_f1 | false | 295 | 295 | p1 |
| fun_f1 | false | 297 | 297 | initializer for i |
| fun_f1 | false | 301 | 301 | return ... |
| fun_f1 | false | 305 | 305 | 2 |
| fun_f1 | false | 306 | 306 | { ... } |
| fun_f1 | true | 279 | 286 | |
| fun_f1 | true | 282 | 284 | |
| fun_f1 | true | 284 | 290 | |
| fun_f1 | true | 286 | 282 | |
| fun_f1 | true | 290 | 297 | |
| fun_f1 | true | 293 | 301 | |
| fun_f1 | true | 295 | 293 | |
| fun_f1 | true | 297 | 295 | |
| fun_f1 | true | 301 | 305 | |
| fun_f1 | true | 305 | 274 | |
| fun_f1 | true | 306 | 279 | |
| fun_f2 | false | 237 | 237 | fun_f2 |
| fun_f2 | false | 242 | 242 | declaration |
| fun_f2 | false | 245 | 245 | call to Base |
| fun_f2 | false | 246 | 246 | temporary object |
| fun_f2 | false | 247 | 247 | new |
| fun_f2 | false | 249 | 249 | initializer for p1 |
| fun_f2 | false | 253 | 253 | declaration |
| fun_f2 | false | 259 | 259 | call to f |
| fun_f2 | false | 261 | 261 | p1 |
| fun_f2 | false | 263 | 263 | initializer for i |
| fun_f2 | false | 267 | 267 | return ... |
| fun_f2 | false | 271 | 271 | 2 |
| fun_f2 | false | 272 | 272 | { ... } |
| fun_f2 | true | 242 | 249 | |
| fun_f2 | true | 245 | 247 | |
| fun_f2 | true | 247 | 253 | |
| fun_f2 | true | 249 | 245 | |
| fun_f2 | true | 253 | 263 | |
| fun_f2 | true | 261 | 259 | |
| fun_f2 | true | 263 | 261 | |
| fun_f2 | true | 267 | 271 | |
| fun_f2 | true | 271 | 237 | |
| fun_f2 | true | 272 | 242 | |
| fun_g1 | false | 203 | 203 | fun_g1 |
| fun_g1 | false | 208 | 208 | declaration |
| fun_g1 | false | 211 | 211 | call to Base |
| fun_g1 | false | 212 | 212 | temporary object |
| fun_g1 | false | 213 | 213 | new |
| fun_g1 | false | 215 | 215 | initializer for p1 |
| fun_g1 | false | 219 | 219 | declaration |
| fun_g1 | false | 222 | 222 | call to g |
| fun_g1 | false | 224 | 224 | p1 |
| fun_g1 | false | 226 | 226 | initializer for i |
| fun_g1 | false | 230 | 230 | return ... |
| fun_g1 | false | 234 | 234 | 2 |
| fun_g1 | false | 235 | 235 | { ... } |
| fun_g1 | true | 208 | 215 | |
| fun_g1 | true | 211 | 213 | |
| fun_g1 | true | 213 | 219 | |
| fun_g1 | true | 215 | 211 | |
| fun_g1 | true | 219 | 226 | |
| fun_g1 | true | 222 | 230 | |
| abort | false | 304 | 304 | abort |
| fun_f1 | false | 271 | 271 | fun_f1 |
| fun_f1 | false | 276 | 276 | declaration |
| fun_f1 | false | 279 | 279 | call to Base |
| fun_f1 | false | 281 | 281 | new |
| fun_f1 | false | 282 | 282 | initializer for p1 |
| fun_f1 | false | 286 | 286 | declaration |
| fun_f1 | false | 289 | 289 | call to f |
| fun_f1 | false | 291 | 291 | p1 |
| fun_f1 | false | 293 | 293 | initializer for i |
| fun_f1 | false | 297 | 297 | return ... |
| fun_f1 | false | 301 | 301 | 2 |
| fun_f1 | false | 302 | 302 | { ... } |
| fun_f1 | true | 276 | 282 | |
| fun_f1 | true | 279 | 281 | |
| fun_f1 | true | 281 | 286 | |
| fun_f1 | true | 282 | 279 | |
| fun_f1 | true | 286 | 293 | |
| fun_f1 | true | 289 | 297 | |
| fun_f1 | true | 291 | 289 | |
| fun_f1 | true | 293 | 291 | |
| fun_f1 | true | 297 | 301 | |
| fun_f1 | true | 301 | 271 | |
| fun_f1 | true | 302 | 276 | |
| fun_f2 | false | 235 | 235 | fun_f2 |
| fun_f2 | false | 240 | 240 | declaration |
| fun_f2 | false | 243 | 243 | call to Base |
| fun_f2 | false | 245 | 245 | new |
| fun_f2 | false | 246 | 246 | initializer for p1 |
| fun_f2 | false | 250 | 250 | declaration |
| fun_f2 | false | 256 | 256 | call to f |
| fun_f2 | false | 258 | 258 | p1 |
| fun_f2 | false | 260 | 260 | initializer for i |
| fun_f2 | false | 264 | 264 | return ... |
| fun_f2 | false | 268 | 268 | 2 |
| fun_f2 | false | 269 | 269 | { ... } |
| fun_f2 | true | 240 | 246 | |
| fun_f2 | true | 243 | 245 | |
| fun_f2 | true | 245 | 250 | |
| fun_f2 | true | 246 | 243 | |
| fun_f2 | true | 250 | 260 | |
| fun_f2 | true | 258 | 256 | |
| fun_f2 | true | 260 | 258 | |
| fun_f2 | true | 264 | 268 | |
| fun_f2 | true | 268 | 235 | |
| fun_f2 | true | 269 | 240 | |
| fun_g1 | false | 202 | 202 | fun_g1 |
| fun_g1 | false | 207 | 207 | declaration |
| fun_g1 | false | 210 | 210 | call to Base |
| fun_g1 | false | 212 | 212 | new |
| fun_g1 | false | 213 | 213 | initializer for p1 |
| fun_g1 | false | 217 | 217 | declaration |
| fun_g1 | false | 220 | 220 | call to g |
| fun_g1 | false | 222 | 222 | p1 |
| fun_g1 | false | 224 | 224 | initializer for i |
| fun_g1 | false | 228 | 228 | return ... |
| fun_g1 | false | 232 | 232 | 2 |
| fun_g1 | false | 233 | 233 | { ... } |
| fun_g1 | true | 207 | 213 | |
| fun_g1 | true | 210 | 212 | |
| fun_g1 | true | 212 | 217 | |
| fun_g1 | true | 213 | 210 | |
| fun_g1 | true | 217 | 224 | |
| fun_g1 | true | 220 | 228 | |
| fun_g1 | true | 222 | 220 | |
| fun_g1 | true | 224 | 222 | |
| fun_g1 | true | 226 | 224 | |
| fun_g1 | true | 230 | 234 | |
| fun_g1 | true | 234 | 203 | |
| fun_g1 | true | 235 | 208 | |
| fun_g1 | true | 228 | 232 | |
| fun_g1 | true | 232 | 202 | |
| fun_g1 | true | 233 | 207 | |
| fun_g2 | false | 151 | 151 | fun_g2 |
| fun_g2 | false | 156 | 156 | declaration |
| fun_g2 | false | 164 | 164 | call to Base |
| fun_g2 | false | 173 | 173 | temporary object |
| fun_g2 | false | 174 | 174 | new |
| fun_g2 | false | 176 | 176 | initializer for p1 |
| fun_g2 | false | 180 | 180 | declaration |
| fun_g2 | false | 188 | 188 | call to g |
| fun_g2 | false | 190 | 190 | p1 |
| fun_g2 | false | 192 | 192 | initializer for i |
| fun_g2 | false | 196 | 196 | return ... |
| fun_g2 | false | 200 | 200 | 2 |
| fun_g2 | false | 201 | 201 | { ... } |
| fun_g2 | true | 156 | 176 | |
| fun_g2 | false | 175 | 175 | initializer for p1 |
| fun_g2 | false | 179 | 179 | declaration |
| fun_g2 | false | 187 | 187 | call to g |
| fun_g2 | false | 189 | 189 | p1 |
| fun_g2 | false | 191 | 191 | initializer for i |
| fun_g2 | false | 195 | 195 | return ... |
| fun_g2 | false | 199 | 199 | 2 |
| fun_g2 | false | 200 | 200 | { ... } |
| fun_g2 | true | 156 | 175 | |
| fun_g2 | true | 164 | 174 | |
| fun_g2 | true | 174 | 180 | |
| fun_g2 | true | 176 | 164 | |
| fun_g2 | true | 180 | 192 | |
| fun_g2 | true | 188 | 196 | |
| fun_g2 | true | 190 | 188 | |
| fun_g2 | true | 192 | 190 | |
| fun_g2 | true | 196 | 200 | |
| fun_g2 | true | 200 | 151 | |
| fun_g2 | true | 201 | 156 | |
| fun_g2 | true | 174 | 179 | |
| fun_g2 | true | 175 | 164 | |
| fun_g2 | true | 179 | 191 | |
| fun_g2 | true | 187 | 195 | |
| fun_g2 | true | 189 | 187 | |
| fun_g2 | true | 191 | 189 | |
| fun_g2 | true | 195 | 199 | |
| fun_g2 | true | 199 | 151 | |
| fun_g2 | true | 200 | 156 | |
| operator delete | false | 162 | 162 | operator delete |
| operator new | false | 160 | 160 | operator new |