blob: 69b1403e8edb5ef27c444a1fb27b47ef52a36919 [file] [log] [blame]
Haojian Wu733edf92020-03-19 16:30:40 +01001int foo(int, int);
2int foo(int, double);
3int x;
4
Haojian Wu82221072020-05-08 16:13:17 +02005void 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
18void testTypedRecoveryExpr2() {
19 // Inner foo() is a RecoveryExpr (with int type), outer foo() is a valid "foo(int, int)" call.
Haojian Wu733edf92020-03-19 16:30:40 +010020 foo(x, foo(x));
21}
Haojian Wu82221072020-05-08 16:13:17 +020022// 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]