| // RUN: %target-swift-frontend -g -emit-ir %s | %FileCheck %s |
| |
| func yieldValues() -> Int64? { return .none } |
| |
| // Verify that variables bound in the while statements are in distinct scopes. |
| while let val = yieldValues() { |
| // CHECK: !DILocalVariable(name: "val", scope: ![[SCOPE1:[0-9]+]] |
| // CHECK: ![[SCOPE1]] = distinct !DILexicalBlock(scope: ![[MAIN:[0-9]+]] |
| } |
| while let val = yieldValues() { |
| // CHECK: !DILocalVariable(name: "val", scope: ![[SCOPE2:[0-9]+]] |
| // CHECK: ![[SCOPE2]] = distinct !DILexicalBlock(scope: ![[MAIN2:[0-9]+]] |
| } |
