@@ -715,6 +715,11 @@ cfg.swift:
715
715
# 138| getArgument(1): [Argument] : 10
716
716
# 138| getExpr(): [IntegerLiteralExpr] 10
717
717
#-----| getMethodRef(): [DeclRefExpr] makeIterator()
718
+ # 138| getNextCall(): [CallExpr] call to next()
719
+ # 138| getFunction(): [MethodLookupExpr] .next()
720
+ # 138| getBase(): [DeclRefExpr] $generator
721
+ # 138| getBase().getFullyConverted(): [InOutExpr] &...
722
+ #-----| getMethodRef(): [DeclRefExpr] next()
718
723
# 138| getBody(): [BraceStmt] { ... }
719
724
# 140| getElement(1): [SwitchStmt] switch x { ... }
720
725
# 140| getExpr(): [DeclRefExpr] x
@@ -837,6 +842,9 @@ cfg.swift:
837
842
# 158| getElse(): [BraceStmt] { ... }
838
843
# 159| getElement(0): [ReturnStmt] return ...
839
844
# 159| getResult(): [BooleanLiteralExpr] false
845
+ # 138| [NamedPattern] $generator
846
+ # 138| [ConcreteVarDecl] $generator
847
+ # 138| Type = IndexingIterator<ClosedRange<Int>>
840
848
# 141| [ConcreteVarDecl] $match
841
849
# 141| Type = Int
842
850
# 141| [ConcreteVarDecl] $match
@@ -3262,6 +3270,11 @@ cfg.swift:
3262
3270
# 526| getArgument(1): [Argument] : 100
3263
3271
# 526| getExpr(): [IntegerLiteralExpr] 100
3264
3272
#-----| getMethodRef(): [DeclRefExpr] makeIterator()
3273
+ # 526| getNextCall(): [CallExpr] call to next()
3274
+ # 526| getFunction(): [MethodLookupExpr] .next()
3275
+ # 526| getBase(): [DeclRefExpr] $i$generator
3276
+ # 526| getBase().getFullyConverted(): [InOutExpr] &...
3277
+ #-----| getMethodRef(): [DeclRefExpr] next()
3265
3278
# 526| getBody(): [BraceStmt] { ... }
3266
3279
# 527| getElement(0): [CallExpr] call to yield(_:)
3267
3280
# 527| getFunction(): [MethodLookupExpr] .yield(_:)
@@ -3283,6 +3296,12 @@ cfg.swift:
3283
3296
# 533| getBase(): [DeclRefExpr] stream
3284
3297
# 533| getBase().getFullyConverted(): [LoadExpr] (AsyncStream<Int>) ...
3285
3298
#-----| getMethodRef(): [DeclRefExpr] makeAsyncIterator()
3299
+ # 533| getNextCall(): [CallExpr] call to next()
3300
+ # 533| getFunction(): [MethodLookupExpr] .next()
3301
+ # 533| getBase(): [DeclRefExpr] $i$generator
3302
+ # 533| getBase().getFullyConverted(): [InOutExpr] &...
3303
+ #-----| getMethodRef(): [DeclRefExpr] next()
3304
+ #-----| getNextCall().getFullyConverted(): [AwaitExpr] await ...
3286
3305
# 533| getBody(): [BraceStmt] { ... }
3287
3306
# 534| getElement(0): [CallExpr] call to print(_:separator:terminator:)
3288
3307
# 534| getFunction(): [DeclRefExpr] print(_:separator:terminator:)
@@ -3298,8 +3317,14 @@ cfg.swift:
3298
3317
# 525| [NilLiteralExpr] nil
3299
3318
# 526| [ConcreteVarDecl] i
3300
3319
# 526| Type = Int
3320
+ # 526| [NamedPattern] $i$generator
3321
+ # 526| [ConcreteVarDecl] $i$generator
3322
+ # 526| Type = IndexingIterator<ClosedRange<Int>>
3301
3323
# 533| [ConcreteVarDecl] i
3302
3324
# 533| Type = Int
3325
+ # 533| [NamedPattern] $i$generator
3326
+ # 533| [ConcreteVarDecl] $i$generator
3327
+ # 533| Type = AsyncStream<Int>.Iterator
3303
3328
declarations.swift:
3304
3329
# 1| [StructDecl] Foo
3305
3330
# 2| getMember(0): [PatternBindingDecl] var ... = ...
@@ -6599,6 +6624,11 @@ statements.swift:
6599
6624
# 2| getArgument(1): [Argument] : 5
6600
6625
# 2| getExpr(): [IntegerLiteralExpr] 5
6601
6626
#-----| getMethodRef(): [DeclRefExpr] makeIterator()
6627
+ # 2| getNextCall(): [CallExpr] call to next()
6628
+ # 2| getFunction(): [MethodLookupExpr] .next()
6629
+ # 2| getBase(): [DeclRefExpr] $i$generator
6630
+ # 2| getBase().getFullyConverted(): [InOutExpr] &...
6631
+ #-----| getMethodRef(): [DeclRefExpr] next()
6602
6632
# 2| getBody(): [BraceStmt] { ... }
6603
6633
# 3| getElement(0): [IfStmt] if ... then { ... } else { ... }
6604
6634
# 3| getCondition(): [StmtCondition] StmtCondition
@@ -6738,6 +6768,9 @@ statements.swift:
6738
6768
# 29| getPattern().getFullyUnresolved(): [BindingPattern] let ...
6739
6769
# 2| [ConcreteVarDecl] i
6740
6770
# 2| Type = Int
6771
+ # 2| [NamedPattern] $i$generator
6772
+ # 2| [ConcreteVarDecl] $i$generator
6773
+ # 2| Type = IndexingIterator<ClosedRange<Int>>
6741
6774
# 21| [ConcreteVarDecl] error
6742
6775
# 21| Type = Error
6743
6776
# 29| [ConcreteVarDecl] error
@@ -7032,9 +7065,17 @@ statements.swift:
7032
7065
# 71| getExpr(): [IntegerLiteralExpr] 2
7033
7066
# 71| getArgument(1): [Argument] : 0
7034
7067
# 71| getExpr(): [IntegerLiteralExpr] 0
7068
+ # 71| getNextCall(): [CallExpr] call to next()
7069
+ # 71| getFunction(): [MethodLookupExpr] .next()
7070
+ # 71| getBase(): [DeclRefExpr] $number$generator
7071
+ # 71| getBase().getFullyConverted(): [InOutExpr] &...
7072
+ #-----| getMethodRef(): [DeclRefExpr] next()
7035
7073
# 71| getBody(): [BraceStmt] { ... }
7036
7074
# 71| [ConcreteVarDecl] number
7037
7075
# 71| Type = Int
7076
+ # 71| [NamedPattern] $number$generator
7077
+ # 71| [ConcreteVarDecl] $number$generator
7078
+ # 71| Type = IndexingIterator<[Int]>
7038
7079
# 74| [StructDecl] HasModifyAccessorDecl
7039
7080
# 75| getMember(0): [PatternBindingDecl] var ... = ...
7040
7081
# 75| getPattern(0): [TypedPattern] ... as ...
0 commit comments