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

C++: Accept tests

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-03-31 13:56:47 +02:00
parent bd89ee13d1
commit 94f5468504
5 changed files with 207 additions and 179 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4664,58 +4664,65 @@ ir.cpp:
# 950| r950_2(unsigned long) = Constant[4] :
# 950| r950_3(void *) = Call : func:r950_1, 0:r950_2
# 950| mu950_4(unknown) = ^CallSideEffect : ~mu949_4
# 950| r950_5(int *) = Convert : r950_3
# 950| mu950_5(unknown) = ^InitializeDynamicAllocation : &:r950_3
# 950| r950_6(int *) = Convert : r950_3
# 951| r951_1(glval<unknown>) = FunctionAddress[operator new] :
# 951| r951_2(unsigned long) = Constant[4] :
# 951| r951_3(float) = Constant[1.0] :
# 951| r951_4(void *) = Call : func:r951_1, 0:r951_2, 1:r951_3
# 951| mu951_5(unknown) = ^CallSideEffect : ~mu949_4
# 951| r951_6(int *) = Convert : r951_4
# 951| mu951_6(unknown) = ^InitializeDynamicAllocation : &:r951_4
# 951| r951_7(int *) = Convert : r951_4
# 952| r952_1(glval<unknown>) = FunctionAddress[operator new] :
# 952| r952_2(unsigned long) = Constant[4] :
# 952| r952_3(void *) = Call : func:r952_1, 0:r952_2
# 952| mu952_4(unknown) = ^CallSideEffect : ~mu949_4
# 952| r952_5(int *) = Convert : r952_3
# 952| r952_6(int) = Constant[0] :
# 952| mu952_7(int) = Store : &:r952_5, r952_6
# 952| mu952_5(unknown) = ^InitializeDynamicAllocation : &:r952_3
# 952| r952_6(int *) = Convert : r952_3
# 952| r952_7(int) = Constant[0] :
# 952| mu952_8(int) = Store : &:r952_6, r952_7
# 953| r953_1(glval<unknown>) = FunctionAddress[operator new] :
# 953| r953_2(unsigned long) = Constant[8] :
# 953| r953_3(void *) = Call : func:r953_1, 0:r953_2
# 953| mu953_4(unknown) = ^CallSideEffect : ~mu949_4
# 953| r953_5(String *) = Convert : r953_3
# 953| r953_6(glval<unknown>) = FunctionAddress[String] :
# 953| v953_7(void) = Call : func:r953_6, this:r953_5
# 953| mu953_8(unknown) = ^CallSideEffect : ~mu949_4
# 953| mu953_9(String) = ^IndirectMayWriteSideEffect[-1] : &:r953_5
# 953| mu953_5(unknown) = ^InitializeDynamicAllocation : &:r953_3
# 953| r953_6(String *) = Convert : r953_3
# 953| r953_7(glval<unknown>) = FunctionAddress[String] :
# 953| v953_8(void) = Call : func:r953_7, this:r953_6
# 953| mu953_9(unknown) = ^CallSideEffect : ~mu949_4
# 953| mu953_10(String) = ^IndirectMayWriteSideEffect[-1] : &:r953_6
# 954| r954_1(glval<unknown>) = FunctionAddress[operator new] :
# 954| r954_2(unsigned long) = Constant[8] :
# 954| r954_3(float) = Constant[1.0] :
# 954| r954_4(void *) = Call : func:r954_1, 0:r954_2, 1:r954_3
# 954| mu954_5(unknown) = ^CallSideEffect : ~mu949_4
# 954| r954_6(String *) = Convert : r954_4
# 954| r954_7(glval<unknown>) = FunctionAddress[String] :
# 954| r954_8(glval<char[6]>) = StringConstant["hello"] :
# 954| r954_9(char *) = Convert : r954_8
# 954| v954_10(void) = Call : func:r954_7, this:r954_6, 0:r954_9
# 954| mu954_11(unknown) = ^CallSideEffect : ~mu949_4
# 954| mu954_12(String) = ^IndirectMayWriteSideEffect[-1] : &:r954_6
# 954| v954_13(void) = ^BufferReadSideEffect[0] : &:r954_9, ~mu949_4
# 954| mu954_14(unknown) = ^BufferMayWriteSideEffect[0] : &:r954_9
# 954| mu954_6(unknown) = ^InitializeDynamicAllocation : &:r954_4
# 954| r954_7(String *) = Convert : r954_4
# 954| r954_8(glval<unknown>) = FunctionAddress[String] :
# 954| r954_9(glval<char[6]>) = StringConstant["hello"] :
# 954| r954_10(char *) = Convert : r954_9
# 954| v954_11(void) = Call : func:r954_8, this:r954_7, 0:r954_10
# 954| mu954_12(unknown) = ^CallSideEffect : ~mu949_4
# 954| mu954_13(String) = ^IndirectMayWriteSideEffect[-1] : &:r954_7
# 954| v954_14(void) = ^BufferReadSideEffect[0] : &:r954_10, ~mu949_4
# 954| mu954_15(unknown) = ^BufferMayWriteSideEffect[0] : &:r954_10
# 955| r955_1(glval<unknown>) = FunctionAddress[operator new] :
# 955| r955_2(unsigned long) = Constant[256] :
# 955| r955_3(align_val_t) = Constant[128] :
# 955| r955_4(void *) = Call : func:r955_1, 0:r955_2, 1:r955_3
# 955| mu955_5(unknown) = ^CallSideEffect : ~mu949_4
# 955| r955_6(Overaligned *) = Convert : r955_4
# 955| mu955_6(unknown) = ^InitializeDynamicAllocation : &:r955_4
# 955| r955_7(Overaligned *) = Convert : r955_4
# 956| r956_1(glval<unknown>) = FunctionAddress[operator new] :
# 956| r956_2(unsigned long) = Constant[256] :
# 956| r956_3(align_val_t) = Constant[128] :
# 956| r956_4(float) = Constant[1.0] :
# 956| r956_5(void *) = Call : func:r956_1, 0:r956_2, 1:r956_3, 2:r956_4
# 956| mu956_6(unknown) = ^CallSideEffect : ~mu949_4
# 956| r956_7(Overaligned *) = Convert : r956_5
# 956| r956_8(Overaligned) = Constant[0] :
# 956| mu956_9(Overaligned) = Store : &:r956_7, r956_8
# 956| mu956_7(unknown) = ^InitializeDynamicAllocation : &:r956_5
# 956| r956_8(Overaligned *) = Convert : r956_5
# 956| r956_9(Overaligned) = Constant[0] :
# 956| mu956_10(Overaligned) = Store : &:r956_8, r956_9
# 957| v957_1(void) = NoOp :
# 949| v949_5(void) = ReturnVoid :
# 949| v949_6(void) = UnmodeledUse : mu*
@@ -6447,12 +6454,13 @@ perf-regression.cpp:
# 10| r10_3(unsigned long) = Constant[1073741824] :
# 10| r10_4(void *) = Call : func:r10_2, 0:r10_3
# 10| mu10_5(unknown) = ^CallSideEffect : ~mu9_4
# 10| r10_6(Big *) = Convert : r10_4
# 10| r10_7(glval<unknown>) = FunctionAddress[Big] :
# 10| v10_8(void) = Call : func:r10_7, this:r10_6
# 10| mu10_9(unknown) = ^CallSideEffect : ~mu9_4
# 10| mu10_10(Big) = ^IndirectMayWriteSideEffect[-1] : &:r10_6
# 10| mu10_11(Big *) = Store : &:r10_1, r10_6
# 10| mu10_6(unknown) = ^InitializeDynamicAllocation : &:r10_4
# 10| r10_7(Big *) = Convert : r10_4
# 10| r10_8(glval<unknown>) = FunctionAddress[Big] :
# 10| v10_9(void) = Call : func:r10_8, this:r10_7
# 10| mu10_10(unknown) = ^CallSideEffect : ~mu9_4
# 10| mu10_11(Big) = ^IndirectMayWriteSideEffect[-1] : &:r10_7
# 10| mu10_12(Big *) = Store : &:r10_1, r10_7
# 12| r12_1(glval<int>) = VariableAddress[#return] :
# 12| r12_2(int) = Constant[0] :
# 12| mu12_3(int) = Store : &:r12_1, r12_2

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

@@ -1410,69 +1410,74 @@ ssa.cpp:
# 292| r292_4(void *) = Call : func:r292_2, 0:r292_3
# 292| m292_5(unknown) = ^CallSideEffect : ~m291_4
# 292| m292_6(unknown) = Chi : total:m291_4, partial:m292_5
# 292| r292_7(Point *) = Convert : r292_4
# 292| m292_8(Point *) = Store : &:r292_1, r292_7
# 292| m292_7(unknown) = ^InitializeDynamicAllocation : &:r292_4
# 292| r292_8(Point *) = Convert : r292_4
# 292| m292_9(Point *) = Store : &:r292_1, r292_8
# 293| r293_1(glval<Point *>) = VariableAddress[q] :
# 293| r293_2(glval<unknown>) = FunctionAddress[operator new] :
# 293| r293_3(unsigned long) = Constant[8] :
# 293| r293_4(void *) = Call : func:r293_2, 0:r293_3
# 293| m293_5(unknown) = ^CallSideEffect : ~m292_6
# 293| m293_6(unknown) = Chi : total:m292_6, partial:m293_5
# 293| r293_7(Point *) = Convert : r293_4
# 293| m293_8(Point *) = Store : &:r293_1, r293_7
# 293| m293_7(unknown) = ^InitializeDynamicAllocation : &:r293_4
# 293| r293_8(Point *) = Convert : r293_4
# 293| m293_9(Point *) = Store : &:r293_1, r293_8
# 294| r294_1(glval<int>) = VariableAddress[j] :
# 294| r294_2(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_3(unsigned long) = Constant[4] :
# 294| r294_4(void *) = Call : func:r294_2, 0:r294_3
# 294| m294_5(unknown) = ^CallSideEffect : ~m293_6
# 294| m294_6(unknown) = Chi : total:m293_6, partial:m294_5
# 294| r294_7(A *) = Convert : r294_4
# 294| r294_8(glval<unknown>) = FunctionAddress[A] :
# 294| r294_9(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_10(unsigned long) = Constant[4] :
# 294| r294_11(void *) = Call : func:r294_9, 0:r294_10
# 294| m294_12(unknown) = ^CallSideEffect : ~m294_6
# 294| m294_13(unknown) = Chi : total:m294_6, partial:m294_12
# 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_7
# 294| v294_18(void) = Call : func:r294_15, this:r294_14, 0:r294_17
# 294| m294_19(unknown) = ^CallSideEffect : ~m294_13
# 294| m294_20(unknown) = Chi : total:m294_13, partial:m294_19
# 294| m294_21(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_14
# 294| m294_22(unknown) = Chi : total:m294_20, partial:m294_21
# 294| v294_23(void) = Call : func:r294_8, this:r294_7, 0:r294_14
# 294| m294_24(unknown) = ^CallSideEffect : ~m294_22
# 294| m294_25(unknown) = Chi : total:m294_22, partial:m294_24
# 294| m294_26(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_7
# 294| m294_27(unknown) = Chi : total:m294_25, partial:m294_26
# 294| v294_28(void) = ^BufferReadSideEffect[0] : &:r294_14, ~m294_27
# 294| m294_29(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_14
# 294| m294_30(unknown) = Chi : total:m294_27, partial:m294_29
# 294| r294_31(glval<int>) = FieldAddress[i] : r294_7
# 294| r294_32(int) = Load : &:r294_31, ~m294_30
# 294| m294_33(int) = Store : &:r294_1, r294_32
# 294| m294_7(unknown) = ^InitializeDynamicAllocation : &:r294_4
# 294| r294_8(A *) = Convert : r294_4
# 294| r294_9(glval<unknown>) = FunctionAddress[A] :
# 294| r294_10(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_11(unsigned long) = Constant[4] :
# 294| r294_12(void *) = Call : func:r294_10, 0:r294_11
# 294| m294_13(unknown) = ^CallSideEffect : ~m294_6
# 294| m294_14(unknown) = Chi : total:m294_6, partial:m294_13
# 294| m294_15(unknown) = ^InitializeDynamicAllocation : &:r294_12
# 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_7
# 294| v294_20(void) = Call : 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
# 294| m294_23(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_16
# 294| m294_24(unknown) = Chi : total:m294_15, partial:m294_23
# 294| v294_25(void) = Call : func:r294_9, this:r294_8, 0:r294_16
# 294| m294_26(unknown) = ^CallSideEffect : ~m294_22
# 294| m294_27(unknown) = Chi : total:m294_22, partial:m294_26
# 294| m294_28(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_8
# 294| m294_29(unknown) = Chi : total:m294_7, partial:m294_28
# 294| v294_30(void) = ^BufferReadSideEffect[0] : &:r294_16, ~m294_24
# 294| m294_31(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_16
# 294| m294_32(unknown) = Chi : total:m294_24, partial:m294_31
# 294| r294_33(glval<int>) = FieldAddress[i] : r294_8
# 294| r294_34(int) = Load : &:r294_33, ~m294_29
# 294| m294_35(int) = Store : &:r294_1, r294_34
# 295| r295_1(glval<A *>) = VariableAddress[a] :
# 295| r295_2(glval<unknown>) = FunctionAddress[operator new] :
# 295| r295_3(unsigned long) = Constant[4] :
# 295| r295_4(void *) = Call : func:r295_2, 0:r295_3
# 295| m295_5(unknown) = ^CallSideEffect : ~m294_30
# 295| m295_6(unknown) = Chi : total:m294_30, partial:m295_5
# 295| r295_7(A *) = Convert : r295_4
# 295| r295_8(glval<unknown>) = FunctionAddress[A] :
# 295| v295_9(void) = Call : func:r295_8, this:r295_7
# 295| m295_10(unknown) = ^CallSideEffect : ~m295_6
# 295| m295_11(unknown) = Chi : total:m295_6, partial:m295_10
# 295| m295_12(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_7
# 295| m295_13(unknown) = Chi : total:m295_11, partial:m295_12
# 295| m295_14(A *) = Store : &:r295_1, r295_7
# 295| m295_5(unknown) = ^CallSideEffect : ~m294_27
# 295| m295_6(unknown) = Chi : total:m294_27, partial:m295_5
# 295| m295_7(unknown) = ^InitializeDynamicAllocation : &:r295_4
# 295| r295_8(A *) = Convert : r295_4
# 295| r295_9(glval<unknown>) = FunctionAddress[A] :
# 295| v295_10(void) = Call : func:r295_9, this:r295_8
# 295| m295_11(unknown) = ^CallSideEffect : ~m295_6
# 295| m295_12(unknown) = Chi : total:m295_6, partial:m295_11
# 295| m295_13(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_8
# 295| m295_14(unknown) = Chi : total:m295_7, partial:m295_13
# 295| m295_15(A *) = Store : &:r295_1, r295_8
# 296| r296_1(glval<Point *>) = VariableAddress[#return] :
# 296| r296_2(glval<Point *>) = VariableAddress[p] :
# 296| r296_3(Point *) = Load : &:r296_2, m292_8
# 296| r296_3(Point *) = Load : &:r296_2, m292_9
# 296| m296_4(Point *) = Store : &:r296_1, r296_3
# 291| r291_8(glval<Point *>) = VariableAddress[#return] :
# 291| v291_9(void) = ReturnValue : &:r291_8, m296_4
# 291| v291_10(void) = UnmodeledUse : mu*
# 291| v291_11(void) = AliasedUse : ~m295_13
# 291| v291_11(void) = AliasedUse : ~m295_12
# 291| v291_12(void) = ExitFunction :

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

@@ -1399,69 +1399,74 @@ ssa.cpp:
# 292| r292_4(void *) = Call : func:r292_2, 0:r292_3
# 292| m292_5(unknown) = ^CallSideEffect : ~m291_4
# 292| m292_6(unknown) = Chi : total:m291_4, partial:m292_5
# 292| r292_7(Point *) = Convert : r292_4
# 292| m292_8(Point *) = Store : &:r292_1, r292_7
# 292| m292_7(unknown) = ^InitializeDynamicAllocation : &:r292_4
# 292| r292_8(Point *) = Convert : r292_4
# 292| m292_9(Point *) = Store : &:r292_1, r292_8
# 293| r293_1(glval<Point *>) = VariableAddress[q] :
# 293| r293_2(glval<unknown>) = FunctionAddress[operator new] :
# 293| r293_3(unsigned long) = Constant[8] :
# 293| r293_4(void *) = Call : func:r293_2, 0:r293_3
# 293| m293_5(unknown) = ^CallSideEffect : ~m292_6
# 293| m293_6(unknown) = Chi : total:m292_6, partial:m293_5
# 293| r293_7(Point *) = Convert : r293_4
# 293| m293_8(Point *) = Store : &:r293_1, r293_7
# 293| m293_7(unknown) = ^InitializeDynamicAllocation : &:r293_4
# 293| r293_8(Point *) = Convert : r293_4
# 293| m293_9(Point *) = Store : &:r293_1, r293_8
# 294| r294_1(glval<int>) = VariableAddress[j] :
# 294| r294_2(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_3(unsigned long) = Constant[4] :
# 294| r294_4(void *) = Call : func:r294_2, 0:r294_3
# 294| m294_5(unknown) = ^CallSideEffect : ~m293_6
# 294| m294_6(unknown) = Chi : total:m293_6, partial:m294_5
# 294| r294_7(A *) = Convert : r294_4
# 294| r294_8(glval<unknown>) = FunctionAddress[A] :
# 294| r294_9(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_10(unsigned long) = Constant[4] :
# 294| r294_11(void *) = Call : func:r294_9, 0:r294_10
# 294| m294_12(unknown) = ^CallSideEffect : ~m294_6
# 294| m294_13(unknown) = Chi : total:m294_6, partial:m294_12
# 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_7
# 294| v294_18(void) = Call : func:r294_15, this:r294_14, 0:r294_17
# 294| m294_19(unknown) = ^CallSideEffect : ~m294_13
# 294| m294_20(unknown) = Chi : total:m294_13, partial:m294_19
# 294| m294_21(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_14
# 294| m294_22(unknown) = Chi : total:m294_20, partial:m294_21
# 294| v294_23(void) = Call : func:r294_8, this:r294_7, 0:r294_14
# 294| m294_24(unknown) = ^CallSideEffect : ~m294_22
# 294| m294_25(unknown) = Chi : total:m294_22, partial:m294_24
# 294| m294_26(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_7
# 294| m294_27(unknown) = Chi : total:m294_25, partial:m294_26
# 294| v294_28(void) = ^BufferReadSideEffect[0] : &:r294_14, ~m294_27
# 294| m294_29(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_14
# 294| m294_30(unknown) = Chi : total:m294_27, partial:m294_29
# 294| r294_31(glval<int>) = FieldAddress[i] : r294_7
# 294| r294_32(int) = Load : &:r294_31, ~m294_30
# 294| m294_33(int) = Store : &:r294_1, r294_32
# 294| m294_7(unknown) = ^InitializeDynamicAllocation : &:r294_4
# 294| r294_8(A *) = Convert : r294_4
# 294| r294_9(glval<unknown>) = FunctionAddress[A] :
# 294| r294_10(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_11(unsigned long) = Constant[4] :
# 294| r294_12(void *) = Call : func:r294_10, 0:r294_11
# 294| m294_13(unknown) = ^CallSideEffect : ~m294_6
# 294| m294_14(unknown) = Chi : total:m294_6, partial:m294_13
# 294| m294_15(unknown) = ^InitializeDynamicAllocation : &:r294_12
# 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_7
# 294| v294_20(void) = Call : 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
# 294| m294_23(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_16
# 294| m294_24(unknown) = Chi : total:m294_15, partial:m294_23
# 294| v294_25(void) = Call : func:r294_9, this:r294_8, 0:r294_16
# 294| m294_26(unknown) = ^CallSideEffect : ~m294_22
# 294| m294_27(unknown) = Chi : total:m294_22, partial:m294_26
# 294| m294_28(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_8
# 294| m294_29(unknown) = Chi : total:m294_7, partial:m294_28
# 294| v294_30(void) = ^BufferReadSideEffect[0] : &:r294_16, ~m294_24
# 294| m294_31(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_16
# 294| m294_32(unknown) = Chi : total:m294_24, partial:m294_31
# 294| r294_33(glval<int>) = FieldAddress[i] : r294_8
# 294| r294_34(int) = Load : &:r294_33, ~m294_29
# 294| m294_35(int) = Store : &:r294_1, r294_34
# 295| r295_1(glval<A *>) = VariableAddress[a] :
# 295| r295_2(glval<unknown>) = FunctionAddress[operator new] :
# 295| r295_3(unsigned long) = Constant[4] :
# 295| r295_4(void *) = Call : func:r295_2, 0:r295_3
# 295| m295_5(unknown) = ^CallSideEffect : ~m294_30
# 295| m295_6(unknown) = Chi : total:m294_30, partial:m295_5
# 295| r295_7(A *) = Convert : r295_4
# 295| r295_8(glval<unknown>) = FunctionAddress[A] :
# 295| v295_9(void) = Call : func:r295_8, this:r295_7
# 295| m295_10(unknown) = ^CallSideEffect : ~m295_6
# 295| m295_11(unknown) = Chi : total:m295_6, partial:m295_10
# 295| m295_12(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_7
# 295| m295_13(unknown) = Chi : total:m295_11, partial:m295_12
# 295| m295_14(A *) = Store : &:r295_1, r295_7
# 295| m295_5(unknown) = ^CallSideEffect : ~m294_27
# 295| m295_6(unknown) = Chi : total:m294_27, partial:m295_5
# 295| m295_7(unknown) = ^InitializeDynamicAllocation : &:r295_4
# 295| r295_8(A *) = Convert : r295_4
# 295| r295_9(glval<unknown>) = FunctionAddress[A] :
# 295| v295_10(void) = Call : func:r295_9, this:r295_8
# 295| m295_11(unknown) = ^CallSideEffect : ~m295_6
# 295| m295_12(unknown) = Chi : total:m295_6, partial:m295_11
# 295| m295_13(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_8
# 295| m295_14(unknown) = Chi : total:m295_7, partial:m295_13
# 295| m295_15(A *) = Store : &:r295_1, r295_8
# 296| r296_1(glval<Point *>) = VariableAddress[#return] :
# 296| r296_2(glval<Point *>) = VariableAddress[p] :
# 296| r296_3(Point *) = Load : &:r296_2, m292_8
# 296| r296_3(Point *) = Load : &:r296_2, m292_9
# 296| m296_4(Point *) = Store : &:r296_1, r296_3
# 291| r291_8(glval<Point *>) = VariableAddress[#return] :
# 291| v291_9(void) = ReturnValue : &:r291_8, m296_4
# 291| v291_10(void) = UnmodeledUse : mu*
# 291| v291_11(void) = AliasedUse : ~m295_13
# 291| v291_11(void) = AliasedUse : ~m295_12
# 291| v291_12(void) = ExitFunction :

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

@@ -1298,55 +1298,60 @@ ssa.cpp:
# 292| r292_3(unsigned long) = Constant[8] :
# 292| r292_4(void *) = Call : func:r292_2, 0:r292_3
# 292| mu292_5(unknown) = ^CallSideEffect : ~mu291_4
# 292| r292_6(Point *) = Convert : r292_4
# 292| m292_7(Point *) = Store : &:r292_1, r292_6
# 292| mu292_6(unknown) = ^InitializeDynamicAllocation : &:r292_4
# 292| r292_7(Point *) = Convert : r292_4
# 292| m292_8(Point *) = Store : &:r292_1, r292_7
# 293| r293_1(glval<Point *>) = VariableAddress[q] :
# 293| r293_2(glval<unknown>) = FunctionAddress[operator new] :
# 293| r293_3(unsigned long) = Constant[8] :
# 293| r293_4(void *) = Call : func:r293_2, 0:r293_3
# 293| mu293_5(unknown) = ^CallSideEffect : ~mu291_4
# 293| r293_6(Point *) = Convert : r293_4
# 293| m293_7(Point *) = Store : &:r293_1, r293_6
# 293| mu293_6(unknown) = ^InitializeDynamicAllocation : &:r293_4
# 293| r293_7(Point *) = Convert : r293_4
# 293| m293_8(Point *) = Store : &:r293_1, r293_7
# 294| r294_1(glval<int>) = VariableAddress[j] :
# 294| r294_2(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_3(unsigned long) = Constant[4] :
# 294| r294_4(void *) = Call : func:r294_2, 0:r294_3
# 294| mu294_5(unknown) = ^CallSideEffect : ~mu291_4
# 294| r294_6(A *) = Convert : r294_4
# 294| r294_7(glval<unknown>) = FunctionAddress[A] :
# 294| r294_8(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_9(unsigned long) = Constant[4] :
# 294| r294_10(void *) = Call : func:r294_8, 0:r294_9
# 294| mu294_11(unknown) = ^CallSideEffect : ~mu291_4
# 294| r294_12(A *) = Convert : r294_10
# 294| r294_13(glval<unknown>) = FunctionAddress[A] :
# 294| r294_14(glval<int>) = VariableAddress[x] :
# 294| r294_15(int) = Load : &:r294_14, m291_6
# 294| v294_16(void) = Call : func:r294_13, this:r294_12, 0:r294_15
# 294| mu294_17(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_18(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_12
# 294| v294_19(void) = Call : func:r294_7, this:r294_6, 0:r294_12
# 294| mu294_20(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_21(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_6
# 294| v294_22(void) = ^BufferReadSideEffect[0] : &:r294_12, ~mu291_4
# 294| mu294_23(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_12
# 294| r294_24(glval<int>) = FieldAddress[i] : r294_6
# 294| r294_25(int) = Load : &:r294_24, ~mu291_4
# 294| m294_26(int) = Store : &:r294_1, r294_25
# 294| mu294_6(unknown) = ^InitializeDynamicAllocation : &:r294_4
# 294| r294_7(A *) = Convert : r294_4
# 294| r294_8(glval<unknown>) = FunctionAddress[A] :
# 294| r294_9(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_10(unsigned long) = Constant[4] :
# 294| r294_11(void *) = Call : func:r294_9, 0:r294_10
# 294| mu294_12(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_13(unknown) = ^InitializeDynamicAllocation : &:r294_11
# 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_6
# 294| v294_18(void) = Call : func:r294_15, this:r294_14, 0:r294_17
# 294| mu294_19(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_20(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_14
# 294| v294_21(void) = Call : func:r294_8, this:r294_7, 0:r294_14
# 294| mu294_22(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_23(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_7
# 294| v294_24(void) = ^BufferReadSideEffect[0] : &:r294_14, ~mu291_4
# 294| mu294_25(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_14
# 294| r294_26(glval<int>) = FieldAddress[i] : r294_7
# 294| r294_27(int) = Load : &:r294_26, ~mu291_4
# 294| m294_28(int) = Store : &:r294_1, r294_27
# 295| r295_1(glval<A *>) = VariableAddress[a] :
# 295| r295_2(glval<unknown>) = FunctionAddress[operator new] :
# 295| r295_3(unsigned long) = Constant[4] :
# 295| r295_4(void *) = Call : func:r295_2, 0:r295_3
# 295| mu295_5(unknown) = ^CallSideEffect : ~mu291_4
# 295| r295_6(A *) = Convert : r295_4
# 295| r295_7(glval<unknown>) = FunctionAddress[A] :
# 295| v295_8(void) = Call : func:r295_7, this:r295_6
# 295| mu295_9(unknown) = ^CallSideEffect : ~mu291_4
# 295| mu295_10(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_6
# 295| m295_11(A *) = Store : &:r295_1, r295_6
# 295| mu295_6(unknown) = ^InitializeDynamicAllocation : &:r295_4
# 295| r295_7(A *) = Convert : r295_4
# 295| r295_8(glval<unknown>) = FunctionAddress[A] :
# 295| v295_9(void) = Call : func:r295_8, this:r295_7
# 295| mu295_10(unknown) = ^CallSideEffect : ~mu291_4
# 295| mu295_11(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_7
# 295| m295_12(A *) = Store : &:r295_1, r295_7
# 296| r296_1(glval<Point *>) = VariableAddress[#return] :
# 296| r296_2(glval<Point *>) = VariableAddress[p] :
# 296| r296_3(Point *) = Load : &:r296_2, m292_7
# 296| r296_3(Point *) = Load : &:r296_2, m292_8
# 296| m296_4(Point *) = Store : &:r296_1, r296_3
# 291| r291_7(glval<Point *>) = VariableAddress[#return] :
# 291| v291_8(void) = ReturnValue : &:r291_7, m296_4

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

@@ -1298,55 +1298,60 @@ ssa.cpp:
# 292| r292_3(unsigned long) = Constant[8] :
# 292| r292_4(void *) = Call : func:r292_2, 0:r292_3
# 292| mu292_5(unknown) = ^CallSideEffect : ~mu291_4
# 292| r292_6(Point *) = Convert : r292_4
# 292| m292_7(Point *) = Store : &:r292_1, r292_6
# 292| mu292_6(unknown) = ^InitializeDynamicAllocation : &:r292_4
# 292| r292_7(Point *) = Convert : r292_4
# 292| m292_8(Point *) = Store : &:r292_1, r292_7
# 293| r293_1(glval<Point *>) = VariableAddress[q] :
# 293| r293_2(glval<unknown>) = FunctionAddress[operator new] :
# 293| r293_3(unsigned long) = Constant[8] :
# 293| r293_4(void *) = Call : func:r293_2, 0:r293_3
# 293| mu293_5(unknown) = ^CallSideEffect : ~mu291_4
# 293| r293_6(Point *) = Convert : r293_4
# 293| m293_7(Point *) = Store : &:r293_1, r293_6
# 293| mu293_6(unknown) = ^InitializeDynamicAllocation : &:r293_4
# 293| r293_7(Point *) = Convert : r293_4
# 293| m293_8(Point *) = Store : &:r293_1, r293_7
# 294| r294_1(glval<int>) = VariableAddress[j] :
# 294| r294_2(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_3(unsigned long) = Constant[4] :
# 294| r294_4(void *) = Call : func:r294_2, 0:r294_3
# 294| mu294_5(unknown) = ^CallSideEffect : ~mu291_4
# 294| r294_6(A *) = Convert : r294_4
# 294| r294_7(glval<unknown>) = FunctionAddress[A] :
# 294| r294_8(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_9(unsigned long) = Constant[4] :
# 294| r294_10(void *) = Call : func:r294_8, 0:r294_9
# 294| mu294_11(unknown) = ^CallSideEffect : ~mu291_4
# 294| r294_12(A *) = Convert : r294_10
# 294| r294_13(glval<unknown>) = FunctionAddress[A] :
# 294| r294_14(glval<int>) = VariableAddress[x] :
# 294| r294_15(int) = Load : &:r294_14, m291_6
# 294| v294_16(void) = Call : func:r294_13, this:r294_12, 0:r294_15
# 294| mu294_17(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_18(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_12
# 294| v294_19(void) = Call : func:r294_7, this:r294_6, 0:r294_12
# 294| mu294_20(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_21(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_6
# 294| v294_22(void) = ^BufferReadSideEffect[0] : &:r294_12, ~mu291_4
# 294| mu294_23(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_12
# 294| r294_24(glval<int>) = FieldAddress[i] : r294_6
# 294| r294_25(int) = Load : &:r294_24, ~mu291_4
# 294| m294_26(int) = Store : &:r294_1, r294_25
# 294| mu294_6(unknown) = ^InitializeDynamicAllocation : &:r294_4
# 294| r294_7(A *) = Convert : r294_4
# 294| r294_8(glval<unknown>) = FunctionAddress[A] :
# 294| r294_9(glval<unknown>) = FunctionAddress[operator new] :
# 294| r294_10(unsigned long) = Constant[4] :
# 294| r294_11(void *) = Call : func:r294_9, 0:r294_10
# 294| mu294_12(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_13(unknown) = ^InitializeDynamicAllocation : &:r294_11
# 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_6
# 294| v294_18(void) = Call : func:r294_15, this:r294_14, 0:r294_17
# 294| mu294_19(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_20(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_14
# 294| v294_21(void) = Call : func:r294_8, this:r294_7, 0:r294_14
# 294| mu294_22(unknown) = ^CallSideEffect : ~mu291_4
# 294| mu294_23(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_7
# 294| v294_24(void) = ^BufferReadSideEffect[0] : &:r294_14, ~mu291_4
# 294| mu294_25(unknown) = ^BufferMayWriteSideEffect[0] : &:r294_14
# 294| r294_26(glval<int>) = FieldAddress[i] : r294_7
# 294| r294_27(int) = Load : &:r294_26, ~mu291_4
# 294| m294_28(int) = Store : &:r294_1, r294_27
# 295| r295_1(glval<A *>) = VariableAddress[a] :
# 295| r295_2(glval<unknown>) = FunctionAddress[operator new] :
# 295| r295_3(unsigned long) = Constant[4] :
# 295| r295_4(void *) = Call : func:r295_2, 0:r295_3
# 295| mu295_5(unknown) = ^CallSideEffect : ~mu291_4
# 295| r295_6(A *) = Convert : r295_4
# 295| r295_7(glval<unknown>) = FunctionAddress[A] :
# 295| v295_8(void) = Call : func:r295_7, this:r295_6
# 295| mu295_9(unknown) = ^CallSideEffect : ~mu291_4
# 295| mu295_10(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_6
# 295| m295_11(A *) = Store : &:r295_1, r295_6
# 295| mu295_6(unknown) = ^InitializeDynamicAllocation : &:r295_4
# 295| r295_7(A *) = Convert : r295_4
# 295| r295_8(glval<unknown>) = FunctionAddress[A] :
# 295| v295_9(void) = Call : func:r295_8, this:r295_7
# 295| mu295_10(unknown) = ^CallSideEffect : ~mu291_4
# 295| mu295_11(A) = ^IndirectMayWriteSideEffect[-1] : &:r295_7
# 295| m295_12(A *) = Store : &:r295_1, r295_7
# 296| r296_1(glval<Point *>) = VariableAddress[#return] :
# 296| r296_2(glval<Point *>) = VariableAddress[p] :
# 296| r296_3(Point *) = Load : &:r296_2, m292_7
# 296| r296_3(Point *) = Load : &:r296_2, m292_8
# 296| m296_4(Point *) = Store : &:r296_1, r296_3
# 291| r291_7(glval<Point *>) = VariableAddress[#return] :
# 291| v291_8(void) = ReturnValue : &:r291_7, m296_4