1733edf97SHaojian Wu int foo(int, int);
2733edf97SHaojian Wu int foo(int, double);
3733edf97SHaojian Wu int x;
4733edf97SHaojian Wu
testTypedRecoveryExpr1()5*8222107aSHaojian Wu void testTypedRecoveryExpr1() {
6*8222107aSHaojian Wu // Inner bar() is an unresolved overloaded call, outer foo() is an overloaded call.
7*8222107aSHaojian Wu foo(x, bar(x));
8*8222107aSHaojian Wu }
9*8222107aSHaojian Wu // RUN: c-index-test -cursor-at=%s:7:3 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=OUTER-FOO %s
10*8222107aSHaojian Wu // OUTER-FOO: OverloadedDeclRef=foo[2:5, 1:5]
11*8222107aSHaojian Wu // RUN: c-index-test -cursor-at=%s:7:7 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=OUTER-X %s
12*8222107aSHaojian Wu // OUTER-X: DeclRefExpr=x:3:5
13*8222107aSHaojian Wu // RUN: c-index-test -cursor-at=%s:7:10 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=INNER-FOO %s
14*8222107aSHaojian Wu // INNER-FOO: OverloadedDeclRef=bar
15*8222107aSHaojian Wu // RUN: c-index-test -cursor-at=%s:7:14 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=INNER-X %s
16*8222107aSHaojian Wu // INNER-X: DeclRefExpr=x:3:5
17*8222107aSHaojian Wu
testTypedRecoveryExpr2()18*8222107aSHaojian Wu void testTypedRecoveryExpr2() {
19*8222107aSHaojian Wu // Inner foo() is a RecoveryExpr (with int type), outer foo() is a valid "foo(int, int)" call.
20733edf97SHaojian Wu foo(x, foo(x));
21733edf97SHaojian Wu }
22*8222107aSHaojian Wu // RUN: c-index-test -cursor-at=%s:20:3 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=TEST2-OUTER %s
23*8222107aSHaojian Wu // TEST2-OUTER: DeclRefExpr=foo:1:5
24*8222107aSHaojian Wu // RUN: c-index-test -cursor-at=%s:20:10 %s -Xclang -frecovery-ast -Xclang -frecovery-ast-type | FileCheck -check-prefix=TEST2-INNER %s
25*8222107aSHaojian Wu // TEST2-INNER: OverloadedDeclRef=foo[2:5, 1:5]
26