Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 5f6ae32

Browse files
author
Dave Bartolomeo
committed
Accept test output after merge
1 parent 129e250 commit 5f6ae32

7 files changed

Lines changed: 274 additions & 276 deletions

File tree

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

Lines changed: 6 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -7260,22 +7260,16 @@ ir.cpp:
72607260
# 850| 0: [VariableDeclarationEntry] definition of b
72617261
# 850| Type = [Struct] PolymorphicBase
72627262
# 850| init: [Initializer] initializer for b
7263-
#-----| expr: [TemporaryObjectExpr] temporary object
7264-
#-----| Type = [Struct] PolymorphicBase
7265-
#-----| ValueCategory = prvalue(load)
7266-
#-----| expr: [ConstructorCall] call to PolymorphicBase
7267-
#-----| Type = [VoidType] void
7268-
#-----| ValueCategory = prvalue
7263+
# 850| expr: [ConstructorCall] call to PolymorphicBase
7264+
# 850| Type = [VoidType] void
7265+
# 850| ValueCategory = prvalue
72697266
# 851| 1: [DeclStmt] declaration
72707267
# 851| 0: [VariableDeclarationEntry] definition of d
72717268
# 851| Type = [Struct] PolymorphicDerived
72727269
# 851| init: [Initializer] initializer for d
7273-
#-----| expr: [TemporaryObjectExpr] temporary object
7274-
#-----| Type = [Struct] PolymorphicDerived
7275-
#-----| ValueCategory = prvalue(load)
7276-
#-----| expr: [ConstructorCall] call to PolymorphicDerived
7277-
#-----| Type = [VoidType] void
7278-
#-----| ValueCategory = prvalue
7270+
# 851| expr: [ConstructorCall] call to PolymorphicDerived
7271+
# 851| Type = [VoidType] void
7272+
# 851| ValueCategory = prvalue
72797273
# 853| 2: [DeclStmt] declaration
72807274
# 853| 0: [VariableDeclarationEntry] definition of pb
72817275
# 853| Type = [PointerType] PolymorphicBase *

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

Lines changed: 102 additions & 94 deletions
Large diffs are not rendered by default.

‎cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -864,7 +864,7 @@ ssa.cpp:
864864
# 200| m200_10(int) = Store[ret] : &:r200_7, r200_9
865865
# 201| r201_1(glval<unknown>) = FunctionAddress[abs] :
866866
# 201| r201_2(glval<int>) = VariableAddress[x] :
867-
# 201| r201_3(int) = Load : &:r201_2, m198_14
867+
# 201| r201_3(int) = Load[x] : &:r201_2, m198_14
868868
# 201| r201_4(int) = Call[abs] : func:r201_1, 0:r201_3
869869
# 201| r201_5(glval<int>) = VariableAddress[ret] :
870870
# 201| r201_6(int) = Load[ret] : &:r201_5, m200_10
@@ -1135,7 +1135,7 @@ ssa.cpp:
11351135
# 250| r250_6(char *) = Load[src] : &:r250_5, m247_6
11361136
# 250| r250_7(void *) = Convert : r250_6
11371137
# 250| r250_8(glval<int>) = VariableAddress[size] :
1138-
# 250| r250_9(int) = Load : &:r250_8, m247_11
1138+
# 250| r250_9(int) = Load[size] : &:r250_8, m247_11
11391139
# 250| r250_10(void *) = Call[memcpy] : func:r250_1, 0:r250_4, 1:r250_7, 2:r250_9
11401140
# 250| v250_11(void) = ^SizedBufferReadSideEffect[1] : &:r250_7, r250_9, ~m249_6
11411141
# 250| m250_12(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r250_4, r250_9
@@ -1212,7 +1212,7 @@ ssa.cpp:
12121212
# 269| r269_1(glval<void *>) = VariableAddress[buf] :
12131213
# 269| r269_2(glval<unknown>) = FunctionAddress[malloc] :
12141214
# 269| r269_3(glval<int>) = VariableAddress[size] :
1215-
# 269| r269_4(int) = Load : &:r269_3, m268_11
1215+
# 269| r269_4(int) = Load[size] : &:r269_3, m268_11
12161216
# 269| r269_5(void *) = Call[malloc] : func:r269_2, 0:r269_4
12171217
# 269| m269_6(unknown) = ^CallSideEffect : ~m268_9
12181218
# 269| m269_7(unknown) = Chi : total:m268_9, partial:m269_6
@@ -1225,7 +1225,7 @@ ssa.cpp:
12251225
# 270| r270_4(glval<void *>) = VariableAddress[s] :
12261226
# 270| r270_5(void *) = Load[s] : &:r270_4, m268_6
12271227
# 270| r270_6(glval<int>) = VariableAddress[size] :
1228-
# 270| r270_7(int) = Load : &:r270_6, m268_11
1228+
# 270| r270_7(int) = Load[size] : &:r270_6, m268_11
12291229
# 270| r270_8(void *) = Call[memcpy] : func:r270_1, 0:r270_3, 1:r270_5, 2:r270_7
12301230
# 270| v270_9(void) = ^SizedBufferReadSideEffect[1] : &:r270_5, r270_7, ~m269_7
12311231
# 270| m270_10(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r270_3, r270_7
@@ -1395,7 +1395,7 @@ ssa.cpp:
13951395
# 294| r294_16(A *) = Convert : r294_12
13961396
# 294| r294_17(glval<unknown>) = FunctionAddress[A] :
13971397
# 294| r294_18(glval<int>) = VariableAddress[x] :
1398-
# 294| r294_19(int) = Load : &:r294_18, m291_6
1398+
# 294| r294_19(int) = Load[x] : &:r294_18, m291_6
13991399
# 294| v294_20(void) = Call[A] : func:r294_17, this:r294_16, 0:r294_19
14001400
# 294| m294_21(unknown) = ^CallSideEffect : ~m294_14
14011401
# 294| m294_22(unknown) = Chi : total:m294_14, partial:m294_21
@@ -1453,7 +1453,7 @@ ssa.cpp:
14531453
# 302| r302_2(glval<int>) = VariableAddress[argc] :
14541454
# 302| r302_3(int) = Load[argc] : &:r302_2, m301_6
14551455
# 302| r302_4(glval<char **>) = VariableAddress[argv] :
1456-
# 302| r302_5(char **) = Load : &:r302_4, m301_8
1456+
# 302| r302_5(char **) = Load[argv] : &:r302_4, m301_8
14571457
# 302| v302_6(void) = Call[unknownFunction] : func:r302_1, 0:r302_3, 1:r302_5
14581458
# 302| m302_7(unknown) = ^CallSideEffect : ~m301_11
14591459
# 302| m302_8(unknown) = Chi : total:m301_11, partial:m302_7
@@ -1464,7 +1464,7 @@ ssa.cpp:
14641464
# 303| r303_2(glval<int>) = VariableAddress[argc] :
14651465
# 303| r303_3(int) = Load[argc] : &:r303_2, m301_6
14661466
# 303| r303_4(glval<char **>) = VariableAddress[argv] :
1467-
# 303| r303_5(char **) = Load : &:r303_4, m301_8
1467+
# 303| r303_5(char **) = Load[argv] : &:r303_4, m301_8
14681468
# 303| v303_6(void) = Call[unknownFunction] : func:r303_1, 0:r303_3, 1:r303_5
14691469
# 303| m303_7(unknown) = ^CallSideEffect : ~m302_11
14701470
# 303| m303_8(unknown) = Chi : total:m302_11, partial:m303_7

‎cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -859,7 +859,7 @@ ssa.cpp:
859859
# 200| m200_10(int) = Store[ret] : &:r200_7, r200_9
860860
# 201| r201_1(glval<unknown>) = FunctionAddress[abs] :
861861
# 201| r201_2(glval<int>) = VariableAddress[x] :
862-
# 201| r201_3(int) = Load : &:r201_2, m198_14
862+
# 201| r201_3(int) = Load[x] : &:r201_2, m198_14
863863
# 201| r201_4(int) = Call[abs] : func:r201_1, 0:r201_3
864864
# 201| r201_5(glval<int>) = VariableAddress[ret] :
865865
# 201| r201_6(int) = Load[ret] : &:r201_5, m200_10
@@ -1126,7 +1126,7 @@ ssa.cpp:
11261126
# 250| r250_6(char *) = Load[src] : &:r250_5, m247_6
11271127
# 250| r250_7(void *) = Convert : r250_6
11281128
# 250| r250_8(glval<int>) = VariableAddress[size] :
1129-
# 250| r250_9(int) = Load : &:r250_8, m247_10
1129+
# 250| r250_9(int) = Load[size] : &:r250_8, m247_10
11301130
# 250| r250_10(void *) = Call[memcpy] : func:r250_1, 0:r250_4, 1:r250_7, 2:r250_9
11311131
# 250| v250_11(void) = ^SizedBufferReadSideEffect[1] : &:r250_7, r250_9, ~m249_6
11321132
# 250| m250_12(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r250_4, r250_9
@@ -1202,7 +1202,7 @@ ssa.cpp:
12021202
# 269| r269_1(glval<void *>) = VariableAddress[buf] :
12031203
# 269| r269_2(glval<unknown>) = FunctionAddress[malloc] :
12041204
# 269| r269_3(glval<int>) = VariableAddress[size] :
1205-
# 269| r269_4(int) = Load : &:r269_3, m268_10
1205+
# 269| r269_4(int) = Load[size] : &:r269_3, m268_10
12061206
# 269| r269_5(void *) = Call[malloc] : func:r269_2, 0:r269_4
12071207
# 269| m269_6(unknown) = ^CallSideEffect : ~m268_4
12081208
# 269| m269_7(unknown) = Chi : total:m268_4, partial:m269_6
@@ -1214,7 +1214,7 @@ ssa.cpp:
12141214
# 270| r270_4(glval<void *>) = VariableAddress[s] :
12151215
# 270| r270_5(void *) = Load[s] : &:r270_4, m268_6
12161216
# 270| r270_6(glval<int>) = VariableAddress[size] :
1217-
# 270| r270_7(int) = Load : &:r270_6, m268_10
1217+
# 270| r270_7(int) = Load[size] : &:r270_6, m268_10
12181218
# 270| r270_8(void *) = Call[memcpy] : func:r270_1, 0:r270_3, 1:r270_5, 2:r270_7
12191219
# 270| v270_9(void) = ^SizedBufferReadSideEffect[1] : &:r270_5, r270_7, ~m268_8
12201220
# 270| m270_10(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r270_3, r270_7
@@ -1383,7 +1383,7 @@ ssa.cpp:
13831383
# 294| r294_16(A *) = Convert : r294_12
13841384
# 294| r294_17(glval<unknown>) = FunctionAddress[A] :
13851385
# 294| r294_18(glval<int>) = VariableAddress[x] :
1386-
# 294| r294_19(int) = Load : &:r294_18, m291_6
1386+
# 294| r294_19(int) = Load[x] : &:r294_18, m291_6
13871387
# 294| v294_20(void) = Call[A] : func:r294_17, this:r294_16, 0:r294_19
13881388
# 294| m294_21(unknown) = ^CallSideEffect : ~m294_14
13891389
# 294| m294_22(unknown) = Chi : total:m294_14, partial:m294_21
@@ -1440,7 +1440,7 @@ ssa.cpp:
14401440
# 302| r302_2(glval<int>) = VariableAddress[argc] :
14411441
# 302| r302_3(int) = Load[argc] : &:r302_2, m301_6
14421442
# 302| r302_4(glval<char **>) = VariableAddress[argv] :
1443-
# 302| r302_5(char **) = Load : &:r302_4, m301_8
1443+
# 302| r302_5(char **) = Load[argv] : &:r302_4, m301_8
14441444
# 302| v302_6(void) = Call[unknownFunction] : func:r302_1, 0:r302_3, 1:r302_5
14451445
# 302| m302_7(unknown) = ^CallSideEffect : ~m301_4
14461446
# 302| m302_8(unknown) = Chi : total:m301_4, partial:m302_7
@@ -1451,7 +1451,7 @@ ssa.cpp:
14511451
# 303| r303_2(glval<int>) = VariableAddress[argc] :
14521452
# 303| r303_3(int) = Load[argc] : &:r303_2, m301_6
14531453
# 303| r303_4(glval<char **>) = VariableAddress[argv] :
1454-
# 303| r303_5(char **) = Load : &:r303_4, m301_8
1454+
# 303| r303_5(char **) = Load[argv] : &:r303_4, m301_8
14551455
# 303| v303_6(void) = Call[unknownFunction] : func:r303_1, 0:r303_3, 1:r303_5
14561456
# 303| m303_7(unknown) = ^CallSideEffect : ~m302_8
14571457
# 303| m303_8(unknown) = Chi : total:m302_8, partial:m303_7

‎cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -805,7 +805,7 @@ ssa.cpp:
805805
# 200| m200_10(int) = Store[ret] : &:r200_7, r200_9
806806
# 201| r201_1(glval<unknown>) = FunctionAddress[abs] :
807807
# 201| r201_2(glval<int>) = VariableAddress[x] :
808-
# 201| r201_3(int) = Load : &:r201_2, m198_13
808+
# 201| r201_3(int) = Load[x] : &:r201_2, m198_13
809809
# 201| r201_4(int) = Call[abs] : func:r201_1, 0:r201_3
810810
# 201| r201_5(glval<int>) = VariableAddress[ret] :
811811
# 201| r201_6(int) = Load[ret] : &:r201_5, m200_10
@@ -1045,7 +1045,7 @@ ssa.cpp:
10451045
# 250| r250_6(char *) = Load[src] : &:r250_5, m247_5
10461046
# 250| r250_7(void *) = Convert : r250_6
10471047
# 250| r250_8(glval<int>) = VariableAddress[size] :
1048-
# 250| r250_9(int) = Load : &:r250_8, m247_9
1048+
# 250| r250_9(int) = Load[size] : &:r250_8, m247_9
10491049
# 250| r250_10(void *) = Call[memcpy] : func:r250_1, 0:r250_4, 1:r250_7, 2:r250_9
10501050
# 250| v250_11(void) = ^SizedBufferReadSideEffect[1] : &:r250_7, r250_9, ~m?
10511051
# 250| mu250_12(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r250_4, r250_9
@@ -1115,7 +1115,7 @@ ssa.cpp:
11151115
# 269| r269_1(glval<void *>) = VariableAddress[buf] :
11161116
# 269| r269_2(glval<unknown>) = FunctionAddress[malloc] :
11171117
# 269| r269_3(glval<int>) = VariableAddress[size] :
1118-
# 269| r269_4(int) = Load : &:r269_3, m268_9
1118+
# 269| r269_4(int) = Load[size] : &:r269_3, m268_9
11191119
# 269| r269_5(void *) = Call[malloc] : func:r269_2, 0:r269_4
11201120
# 269| mu269_6(unknown) = ^CallSideEffect : ~m?
11211121
# 269| mu269_7(unknown) = ^InitializeDynamicAllocation : &:r269_5
@@ -1126,7 +1126,7 @@ ssa.cpp:
11261126
# 270| r270_4(glval<void *>) = VariableAddress[s] :
11271127
# 270| r270_5(void *) = Load[s] : &:r270_4, m268_5
11281128
# 270| r270_6(glval<int>) = VariableAddress[size] :
1129-
# 270| r270_7(int) = Load : &:r270_6, m268_9
1129+
# 270| r270_7(int) = Load[size] : &:r270_6, m268_9
11301130
# 270| r270_8(void *) = Call[memcpy] : func:r270_1, 0:r270_3, 1:r270_5, 2:r270_7
11311131
# 270| v270_9(void) = ^SizedBufferReadSideEffect[1] : &:r270_5, r270_7, ~m?
11321132
# 270| mu270_10(unknown) = ^SizedBufferMustWriteSideEffect[0] : &:r270_3, r270_7
@@ -1279,7 +1279,7 @@ ssa.cpp:
12791279
# 294| r294_14(A *) = Convert : r294_11
12801280
# 294| r294_15(glval<unknown>) = FunctionAddress[A] :
12811281
# 294| r294_16(glval<int>) = VariableAddress[x] :
1282-
# 294| r294_17(int) = Load : &:r294_16, m291_5
1282+
# 294| r294_17(int) = Load[x] : &:r294_16, m291_5
12831283
# 294| v294_18(void) = Call[A] : func:r294_15, this:r294_14, 0:r294_17
12841284
# 294| mu294_19(unknown) = ^CallSideEffect : ~m?
12851285
# 294| mu294_20(A) = ^IndirectMayWriteSideEffect[-1] : &:r294_14
@@ -1327,7 +1327,7 @@ ssa.cpp:
13271327
# 302| r302_2(glval<int>) = VariableAddress[argc] :
13281328
# 302| r302_3(int) = Load[argc] : &:r302_2, m301_5
13291329
# 302| r302_4(glval<char **>) = VariableAddress[argv] :
1330-
# 302| r302_5(char **) = Load : &:r302_4, m301_7
1330+
# 302| r302_5(char **) = Load[argv] : &:r302_4, m301_7
13311331
# 302| v302_6(void) = Call[unknownFunction] : func:r302_1, 0:r302_3, 1:r302_5
13321332
# 302| mu302_7(unknown) = ^CallSideEffect : ~m?
13331333
# 302| v302_8(void) = ^BufferReadSideEffect[1] : &:r302_5, ~m?
@@ -1336,7 +1336,7 @@ ssa.cpp:
13361336
# 303| r303_2(glval<int>) = VariableAddress[argc] :
13371337
# 303| r303_3(int) = Load[argc] : &:r303_2, m301_5
13381338
# 303| r303_4(glval<char **>) = VariableAddress[argv] :
1339-
# 303| r303_5(char **) = Load : &:r303_4, m301_7
1339+
# 303| r303_5(char **) = Load[argv] : &:r303_4, m301_7
13401340
# 303| v303_6(void) = Call[unknownFunction] : func:r303_1, 0:r303_3, 1:r303_5
13411341
# 303| mu303_7(unknown) = ^CallSideEffect : ~m?
13421342
# 303| v303_8(void) = ^BufferReadSideEffect[1] : &:r303_5, ~m?

0 commit comments

Comments
 (0)