Skip to content

Commit 35d1a92

Browse files
jketemajketema
authored
Merge pull request github#16298 from jketema/reuse-val
C++: Update expected test results after extractor changes
2 parents 799c380 + 76637b0 commit 35d1a92

File tree

3 files changed

+1112
-1002
lines changed

3 files changed

+1112
-1002
lines changed

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

+96
Original file line numberDiff line numberDiff line change
@@ -1981,6 +1981,9 @@ coroutines.cpp:
19811981
# 87| getQualifier(): [PointerDereferenceExpr] * ...
19821982
# 87| Type = [Struct] suspend_always
19831983
# 87| ValueCategory = lvalue
1984+
# 87| getOperand(): [ReuseExpr] reuse of & ...
1985+
# 87| Type = [PointerType] suspend_always *
1986+
# 87| ValueCategory = prvalue
19841987
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
19851988
#-----| Conversion = [GlvalueConversion] glvalue conversion
19861989
#-----| Type = [SpecifiedType] const suspend_always
@@ -1991,6 +1994,9 @@ coroutines.cpp:
19911994
# 87| getQualifier(): [PointerDereferenceExpr] * ...
19921995
# 87| Type = [Struct] suspend_always
19931996
# 87| ValueCategory = lvalue
1997+
# 87| getOperand(): [ReuseExpr] reuse of & ...
1998+
# 87| Type = [PointerType] suspend_always *
1999+
# 87| ValueCategory = prvalue
19942000
# 87| getArgument(0): [ConstructorCall] call to coroutine_handle
19952001
# 87| Type = [VoidType] void
19962002
# 87| ValueCategory = prvalue
@@ -2081,6 +2087,9 @@ coroutines.cpp:
20812087
# 87| getQualifier(): [PointerDereferenceExpr] * ...
20822088
# 87| Type = [Struct] suspend_always
20832089
# 87| ValueCategory = lvalue
2090+
# 87| getOperand(): [ReuseExpr] reuse of & ...
2091+
# 87| Type = [PointerType] suspend_always *
2092+
# 87| ValueCategory = prvalue
20842093
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
20852094
#-----| Conversion = [GlvalueConversion] glvalue conversion
20862095
#-----| Type = [SpecifiedType] const suspend_always
@@ -2091,6 +2100,9 @@ coroutines.cpp:
20912100
# 87| getQualifier(): [PointerDereferenceExpr] * ...
20922101
# 87| Type = [Struct] suspend_always
20932102
# 87| ValueCategory = lvalue
2103+
# 87| getOperand(): [ReuseExpr] reuse of & ...
2104+
# 87| Type = [PointerType] suspend_always *
2105+
# 87| ValueCategory = prvalue
20942106
# 87| getArgument(0): [ConstructorCall] call to coroutine_handle
20952107
# 87| Type = [VoidType] void
20962108
# 87| ValueCategory = prvalue
@@ -2182,6 +2194,9 @@ coroutines.cpp:
21822194
# 91| getQualifier(): [PointerDereferenceExpr] * ...
21832195
# 91| Type = [Struct] suspend_always
21842196
# 91| ValueCategory = lvalue
2197+
# 91| getOperand(): [ReuseExpr] reuse of & ...
2198+
# 91| Type = [PointerType] suspend_always *
2199+
# 91| ValueCategory = prvalue
21852200
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
21862201
#-----| Conversion = [GlvalueConversion] glvalue conversion
21872202
#-----| Type = [SpecifiedType] const suspend_always
@@ -2192,6 +2207,9 @@ coroutines.cpp:
21922207
# 91| getQualifier(): [PointerDereferenceExpr] * ...
21932208
# 91| Type = [Struct] suspend_always
21942209
# 91| ValueCategory = lvalue
2210+
# 91| getOperand(): [ReuseExpr] reuse of & ...
2211+
# 91| Type = [PointerType] suspend_always *
2212+
# 91| ValueCategory = prvalue
21952213
# 91| getArgument(0): [ConstructorCall] call to coroutine_handle
21962214
# 91| Type = [VoidType] void
21972215
# 91| ValueCategory = prvalue
@@ -2285,6 +2303,9 @@ coroutines.cpp:
22852303
# 91| getQualifier(): [PointerDereferenceExpr] * ...
22862304
# 91| Type = [Struct] suspend_always
22872305
# 91| ValueCategory = lvalue
2306+
# 91| getOperand(): [ReuseExpr] reuse of & ...
2307+
# 91| Type = [PointerType] suspend_always *
2308+
# 91| ValueCategory = prvalue
22882309
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
22892310
#-----| Conversion = [GlvalueConversion] glvalue conversion
22902311
#-----| Type = [SpecifiedType] const suspend_always
@@ -2295,6 +2316,9 @@ coroutines.cpp:
22952316
# 91| getQualifier(): [PointerDereferenceExpr] * ...
22962317
# 91| Type = [Struct] suspend_always
22972318
# 91| ValueCategory = lvalue
2319+
# 91| getOperand(): [ReuseExpr] reuse of & ...
2320+
# 91| Type = [PointerType] suspend_always *
2321+
# 91| ValueCategory = prvalue
22982322
# 91| getArgument(0): [ConstructorCall] call to coroutine_handle
22992323
# 91| Type = [VoidType] void
23002324
# 91| ValueCategory = prvalue
@@ -2386,6 +2410,9 @@ coroutines.cpp:
23862410
# 95| getQualifier(): [PointerDereferenceExpr] * ...
23872411
# 95| Type = [Struct] suspend_always
23882412
# 95| ValueCategory = lvalue
2413+
# 95| getOperand(): [ReuseExpr] reuse of & ...
2414+
# 95| Type = [PointerType] suspend_always *
2415+
# 95| ValueCategory = prvalue
23892416
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
23902417
#-----| Conversion = [GlvalueConversion] glvalue conversion
23912418
#-----| Type = [SpecifiedType] const suspend_always
@@ -2396,6 +2423,9 @@ coroutines.cpp:
23962423
# 95| getQualifier(): [PointerDereferenceExpr] * ...
23972424
# 95| Type = [Struct] suspend_always
23982425
# 95| ValueCategory = lvalue
2426+
# 95| getOperand(): [ReuseExpr] reuse of & ...
2427+
# 95| Type = [PointerType] suspend_always *
2428+
# 95| ValueCategory = prvalue
23992429
# 95| getArgument(0): [ConstructorCall] call to coroutine_handle
24002430
# 95| Type = [VoidType] void
24012431
# 95| ValueCategory = prvalue
@@ -2463,6 +2493,9 @@ coroutines.cpp:
24632493
# 96| getQualifier(): [PointerDereferenceExpr] * ...
24642494
# 96| Type = [Struct] suspend_always
24652495
# 96| ValueCategory = lvalue
2496+
# 96| getOperand(): [ReuseExpr] reuse of & ...
2497+
# 96| Type = [PointerType] suspend_always *
2498+
# 96| ValueCategory = prvalue
24662499
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
24672500
#-----| Conversion = [GlvalueConversion] glvalue conversion
24682501
#-----| Type = [SpecifiedType] const suspend_always
@@ -2473,6 +2506,9 @@ coroutines.cpp:
24732506
# 96| getQualifier(): [PointerDereferenceExpr] * ...
24742507
# 96| Type = [Struct] suspend_always
24752508
# 96| ValueCategory = lvalue
2509+
# 96| getOperand(): [ReuseExpr] reuse of & ...
2510+
# 96| Type = [PointerType] suspend_always *
2511+
# 96| ValueCategory = prvalue
24762512
# 96| getArgument(0): [ConstructorCall] call to coroutine_handle
24772513
# 96| Type = [VoidType] void
24782514
# 96| ValueCategory = prvalue
@@ -2563,6 +2599,9 @@ coroutines.cpp:
25632599
# 95| getQualifier(): [PointerDereferenceExpr] * ...
25642600
# 95| Type = [Struct] suspend_always
25652601
# 95| ValueCategory = lvalue
2602+
# 95| getOperand(): [ReuseExpr] reuse of & ...
2603+
# 95| Type = [PointerType] suspend_always *
2604+
# 95| ValueCategory = prvalue
25662605
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
25672606
#-----| Conversion = [GlvalueConversion] glvalue conversion
25682607
#-----| Type = [SpecifiedType] const suspend_always
@@ -2573,6 +2612,9 @@ coroutines.cpp:
25732612
# 95| getQualifier(): [PointerDereferenceExpr] * ...
25742613
# 95| Type = [Struct] suspend_always
25752614
# 95| ValueCategory = lvalue
2615+
# 95| getOperand(): [ReuseExpr] reuse of & ...
2616+
# 95| Type = [PointerType] suspend_always *
2617+
# 95| ValueCategory = prvalue
25762618
# 95| getArgument(0): [ConstructorCall] call to coroutine_handle
25772619
# 95| Type = [VoidType] void
25782620
# 95| ValueCategory = prvalue
@@ -2664,6 +2706,9 @@ coroutines.cpp:
26642706
# 99| getQualifier(): [PointerDereferenceExpr] * ...
26652707
# 99| Type = [Struct] suspend_always
26662708
# 99| ValueCategory = lvalue
2709+
# 99| getOperand(): [ReuseExpr] reuse of & ...
2710+
# 99| Type = [PointerType] suspend_always *
2711+
# 99| ValueCategory = prvalue
26672712
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
26682713
#-----| Conversion = [GlvalueConversion] glvalue conversion
26692714
#-----| Type = [SpecifiedType] const suspend_always
@@ -2674,6 +2719,9 @@ coroutines.cpp:
26742719
# 99| getQualifier(): [PointerDereferenceExpr] * ...
26752720
# 99| Type = [Struct] suspend_always
26762721
# 99| ValueCategory = lvalue
2722+
# 99| getOperand(): [ReuseExpr] reuse of & ...
2723+
# 99| Type = [PointerType] suspend_always *
2724+
# 99| ValueCategory = prvalue
26772725
# 99| getArgument(0): [ConstructorCall] call to coroutine_handle
26782726
# 99| Type = [VoidType] void
26792727
# 99| ValueCategory = prvalue
@@ -2741,6 +2789,9 @@ coroutines.cpp:
27412789
# 100| getQualifier(): [PointerDereferenceExpr] * ...
27422790
# 100| Type = [Struct] suspend_always
27432791
# 100| ValueCategory = lvalue
2792+
# 100| getOperand(): [ReuseExpr] reuse of & ...
2793+
# 100| Type = [PointerType] suspend_always *
2794+
# 100| ValueCategory = prvalue
27442795
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
27452796
#-----| Conversion = [GlvalueConversion] glvalue conversion
27462797
#-----| Type = [SpecifiedType] const suspend_always
@@ -2751,6 +2802,9 @@ coroutines.cpp:
27512802
# 100| getQualifier(): [PointerDereferenceExpr] * ...
27522803
# 100| Type = [Struct] suspend_always
27532804
# 100| ValueCategory = lvalue
2805+
# 100| getOperand(): [ReuseExpr] reuse of & ...
2806+
# 100| Type = [PointerType] suspend_always *
2807+
# 100| ValueCategory = prvalue
27542808
# 100| getArgument(0): [ConstructorCall] call to coroutine_handle
27552809
# 100| Type = [VoidType] void
27562810
# 100| ValueCategory = prvalue
@@ -2833,6 +2887,9 @@ coroutines.cpp:
28332887
# 99| getQualifier(): [PointerDereferenceExpr] * ...
28342888
# 99| Type = [Struct] suspend_always
28352889
# 99| ValueCategory = lvalue
2890+
# 99| getOperand(): [ReuseExpr] reuse of & ...
2891+
# 99| Type = [PointerType] suspend_always *
2892+
# 99| ValueCategory = prvalue
28362893
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
28372894
#-----| Conversion = [GlvalueConversion] glvalue conversion
28382895
#-----| Type = [SpecifiedType] const suspend_always
@@ -2843,6 +2900,9 @@ coroutines.cpp:
28432900
# 99| getQualifier(): [PointerDereferenceExpr] * ...
28442901
# 99| Type = [Struct] suspend_always
28452902
# 99| ValueCategory = lvalue
2903+
# 99| getOperand(): [ReuseExpr] reuse of & ...
2904+
# 99| Type = [PointerType] suspend_always *
2905+
# 99| ValueCategory = prvalue
28462906
# 99| getArgument(0): [ConstructorCall] call to coroutine_handle
28472907
# 99| Type = [VoidType] void
28482908
# 99| ValueCategory = prvalue
@@ -2934,6 +2994,9 @@ coroutines.cpp:
29342994
# 103| getQualifier(): [PointerDereferenceExpr] * ...
29352995
# 103| Type = [Struct] suspend_always
29362996
# 103| ValueCategory = lvalue
2997+
# 103| getOperand(): [ReuseExpr] reuse of & ...
2998+
# 103| Type = [PointerType] suspend_always *
2999+
# 103| ValueCategory = prvalue
29373000
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
29383001
#-----| Conversion = [GlvalueConversion] glvalue conversion
29393002
#-----| Type = [SpecifiedType] const suspend_always
@@ -2944,6 +3007,9 @@ coroutines.cpp:
29443007
# 103| getQualifier(): [PointerDereferenceExpr] * ...
29453008
# 103| Type = [Struct] suspend_always
29463009
# 103| ValueCategory = lvalue
3010+
# 103| getOperand(): [ReuseExpr] reuse of & ...
3011+
# 103| Type = [PointerType] suspend_always *
3012+
# 103| ValueCategory = prvalue
29473013
# 103| getArgument(0): [ConstructorCall] call to coroutine_handle
29483014
# 103| Type = [VoidType] void
29493015
# 103| ValueCategory = prvalue
@@ -3011,6 +3077,9 @@ coroutines.cpp:
30113077
# 104| getQualifier(): [PointerDereferenceExpr] * ...
30123078
# 104| Type = [Struct] suspend_always
30133079
# 104| ValueCategory = lvalue
3080+
# 104| getOperand(): [ReuseExpr] reuse of & ...
3081+
# 104| Type = [PointerType] suspend_always *
3082+
# 104| ValueCategory = prvalue
30143083
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
30153084
#-----| Conversion = [GlvalueConversion] glvalue conversion
30163085
#-----| Type = [SpecifiedType] const suspend_always
@@ -3021,6 +3090,9 @@ coroutines.cpp:
30213090
# 104| getQualifier(): [PointerDereferenceExpr] * ...
30223091
# 104| Type = [Struct] suspend_always
30233092
# 104| ValueCategory = lvalue
3093+
# 104| getOperand(): [ReuseExpr] reuse of & ...
3094+
# 104| Type = [PointerType] suspend_always *
3095+
# 104| ValueCategory = prvalue
30243096
# 104| getArgument(0): [ConstructorCall] call to coroutine_handle
30253097
# 104| Type = [VoidType] void
30263098
# 104| ValueCategory = prvalue
@@ -3111,6 +3183,9 @@ coroutines.cpp:
31113183
# 103| getQualifier(): [PointerDereferenceExpr] * ...
31123184
# 103| Type = [Struct] suspend_always
31133185
# 103| ValueCategory = lvalue
3186+
# 103| getOperand(): [ReuseExpr] reuse of & ...
3187+
# 103| Type = [PointerType] suspend_always *
3188+
# 103| ValueCategory = prvalue
31143189
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
31153190
#-----| Conversion = [GlvalueConversion] glvalue conversion
31163191
#-----| Type = [SpecifiedType] const suspend_always
@@ -3121,6 +3196,9 @@ coroutines.cpp:
31213196
# 103| getQualifier(): [PointerDereferenceExpr] * ...
31223197
# 103| Type = [Struct] suspend_always
31233198
# 103| ValueCategory = lvalue
3199+
# 103| getOperand(): [ReuseExpr] reuse of & ...
3200+
# 103| Type = [PointerType] suspend_always *
3201+
# 103| ValueCategory = prvalue
31243202
# 103| getArgument(0): [ConstructorCall] call to coroutine_handle
31253203
# 103| Type = [VoidType] void
31263204
# 103| ValueCategory = prvalue
@@ -3212,6 +3290,9 @@ coroutines.cpp:
32123290
# 108| getQualifier(): [PointerDereferenceExpr] * ...
32133291
# 108| Type = [Struct] suspend_always
32143292
# 108| ValueCategory = lvalue
3293+
# 108| getOperand(): [ReuseExpr] reuse of & ...
3294+
# 108| Type = [PointerType] suspend_always *
3295+
# 108| ValueCategory = prvalue
32153296
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
32163297
#-----| Conversion = [GlvalueConversion] glvalue conversion
32173298
#-----| Type = [SpecifiedType] const suspend_always
@@ -3222,6 +3303,9 @@ coroutines.cpp:
32223303
# 108| getQualifier(): [PointerDereferenceExpr] * ...
32233304
# 108| Type = [Struct] suspend_always
32243305
# 108| ValueCategory = lvalue
3306+
# 108| getOperand(): [ReuseExpr] reuse of & ...
3307+
# 108| Type = [PointerType] suspend_always *
3308+
# 108| ValueCategory = prvalue
32253309
# 108| getArgument(0): [ConstructorCall] call to coroutine_handle
32263310
# 108| Type = [VoidType] void
32273311
# 108| ValueCategory = prvalue
@@ -3289,6 +3373,9 @@ coroutines.cpp:
32893373
# 109| getQualifier(): [PointerDereferenceExpr] * ...
32903374
# 109| Type = [Struct] suspend_always
32913375
# 109| ValueCategory = lvalue
3376+
# 109| getOperand(): [ReuseExpr] reuse of & ...
3377+
# 109| Type = [PointerType] suspend_always *
3378+
# 109| ValueCategory = prvalue
32923379
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
32933380
#-----| Conversion = [GlvalueConversion] glvalue conversion
32943381
#-----| Type = [SpecifiedType] const suspend_always
@@ -3299,6 +3386,9 @@ coroutines.cpp:
32993386
# 109| getQualifier(): [PointerDereferenceExpr] * ...
33003387
# 109| Type = [Struct] suspend_always
33013388
# 109| ValueCategory = lvalue
3389+
# 109| getOperand(): [ReuseExpr] reuse of & ...
3390+
# 109| Type = [PointerType] suspend_always *
3391+
# 109| ValueCategory = prvalue
33023392
# 109| getArgument(0): [ConstructorCall] call to coroutine_handle
33033393
# 109| Type = [VoidType] void
33043394
# 109| ValueCategory = prvalue
@@ -3402,6 +3492,9 @@ coroutines.cpp:
34023492
# 108| getQualifier(): [PointerDereferenceExpr] * ...
34033493
# 108| Type = [Struct] suspend_always
34043494
# 108| ValueCategory = lvalue
3495+
# 108| getOperand(): [ReuseExpr] reuse of & ...
3496+
# 108| Type = [PointerType] suspend_always *
3497+
# 108| ValueCategory = prvalue
34053498
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const suspend_always)...
34063499
#-----| Conversion = [GlvalueConversion] glvalue conversion
34073500
#-----| Type = [SpecifiedType] const suspend_always
@@ -3412,6 +3505,9 @@ coroutines.cpp:
34123505
# 108| getQualifier(): [PointerDereferenceExpr] * ...
34133506
# 108| Type = [Struct] suspend_always
34143507
# 108| ValueCategory = lvalue
3508+
# 108| getOperand(): [ReuseExpr] reuse of & ...
3509+
# 108| Type = [PointerType] suspend_always *
3510+
# 108| ValueCategory = prvalue
34153511
# 108| getArgument(0): [ConstructorCall] call to coroutine_handle
34163512
# 108| Type = [VoidType] void
34173513
# 108| ValueCategory = prvalue

0 commit comments

Comments
 (0)