[mlir][dataflow] Allow re-run all analyses in DataFlowSolver (#120881)
[llvm-project.git] / clang / test / Index / getcursor-recovery.cpp
blob69b1403e8edb5ef27c444a1fb27b47ef52a36919
1 int foo(int, int);
2 int foo(int, double);
3 int x;
5 void testTypedRecoveryExpr1() {
6 // Inner bar() is an unresolved overloaded call, outer foo() is an overloaded call.
7 foo(x, bar(x));
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
18 void testTypedRecoveryExpr2() {
19 // Inner foo() is a RecoveryExpr (with int type), outer foo() is a valid "foo(int, int)" call.
20 foo(x, foo(x));
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]