Haojian Wu | 733edf9 | 2020-03-19 16:30:40 +0100 | [diff] [blame] | 1 | int foo(int, int); |
| 2 | int foo(int, double); |
| 3 | int x; |
| 4 | |
Haojian Wu | 8222107 | 2020-05-08 16:13:17 +0200 | [diff] [blame] | 5 | void testTypedRecoveryExpr1() { |
| 6 | // Inner bar() is an unresolved overloaded call, outer foo() is an overloaded call. |
| 7 | foo(x, bar(x)); |
| 8 | } |
| 9 | // RUN: c-index-test -cursor-at=%s:7:3 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=OUTER-FOO %s |
| 10 | // OUTER-FOO: OverloadedDeclRef=foo[2:5, 1:5] |
| 11 | // RUN: c-index-test -cursor-at=%s:7:7 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=OUTER-X %s |
| 12 | // OUTER-X: DeclRefExpr=x:3:5 |
| 13 | // RUN: c-index-test -cursor-at=%s:7:10 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=INNER-FOO %s |
| 14 | // INNER-FOO: OverloadedDeclRef=bar |
| 15 | // RUN: c-index-test -cursor-at=%s:7:14 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=INNER-X %s |
| 16 | // INNER-X: DeclRefExpr=x:3:5 |
| 17 | |
| 18 | void testTypedRecoveryExpr2() { |
| 19 | // Inner foo() is a RecoveryExpr (with int type), outer foo() is a valid "foo(int, int)" call. |
Haojian Wu | 733edf9 | 2020-03-19 16:30:40 +0100 | [diff] [blame] | 20 | foo(x, foo(x)); |
| 21 | } |
Haojian Wu | 8222107 | 2020-05-08 16:13:17 +0200 | [diff] [blame] | 22 | // RUN: c-index-test -cursor-at=%s:20:3 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=TEST2-OUTER %s |
| 23 | // TEST2-OUTER: DeclRefExpr=foo:1:5 |
| 24 | // RUN: c-index-test -cursor-at=%s:20:10 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=TEST2-INNER %s |
| 25 | // TEST2-INNER: OverloadedDeclRef=foo[2:5, 1:5] |