hokein created this revision.
Herald added subscribers: cfe-commits, arphaman, kbarton, nemanjai.
Herald added a project: clang.
hokein requested review of this revision.
Herald added a subscriber: wuzish.
DO NOT SUBMIT, enable the recovery-ast for C by default.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D84970
Files:
clang/lib/Frontend/CompilerInvocation.cpp
clang/lib/Parse/ParseExpr.cpp
clang/lib/Sema/SemaExpr.cpp
clang/test/AST/ast-dump-recovery.c
clang/test/CodeGen/builtins-ppc-error.c
clang/test/CodeGen/builtins-systemz-zvector-error.c
clang/test/CodeGen/builtins-systemz-zvector2-error.c
clang/test/CodeGen/builtins-systemz-zvector3-error.c
clang/test/Index/complete-switch.c
clang/test/OpenMP/begin_declare_variant_messages.c
clang/test/OpenMP/declare_variant_messages.c
clang/test/Parser/objc-foreach-syntax.m
clang/test/Sema/__try.c
clang/test/Sema/enum.c
clang/test/Sema/typo-correction.c
Index: clang/test/Sema/typo-correction.c
===================================================================
--- clang/test/Sema/typo-correction.c
+++ clang/test/Sema/typo-correction.c
@@ -14,7 +14,7 @@
// expected-error {{use of undeclared identifier 'b'}}
int foobar; // expected-note {{'foobar' declared here}}
-a = goobar ?: 4; // expected-warning {{type specifier missing, defaults to 'int'}} \
+new_a = goobar ?: 4; // expected-warning {{type specifier missing, defaults to 'int'}} \
// expected-error {{use of undeclared identifier 'goobar'; did you mean 'foobar'?}} \
// expected-error {{initializer element is not a compile-time constant}}
@@ -50,10 +50,10 @@
cabs(errij); // expected-error {{use of undeclared identifier 'errij'}}
}
-extern long afunction(int); // expected-note {{'afunction' declared here}}
+extern long afunction(int);
void fn2() {
f(THIS_IS_AN_ERROR, // expected-error {{use of undeclared identifier 'THIS_IS_AN_ERROR'}}
- afunction(afunction_)); // expected-error {{use of undeclared identifier 'afunction_'; did you mean 'afunction'?}}
+ afunction(afunction_)); // expected-error {{use of undeclared identifier 'afunction_'}}
}
int d = X ? d : L; // expected-error 2 {{use of undeclared identifier}}
Index: clang/test/Sema/enum.c
===================================================================
--- clang/test/Sema/enum.c
+++ clang/test/Sema/enum.c
@@ -100,7 +100,8 @@
// PR7911
extern enum PR7911T PR7911V; // expected-warning{{ISO C forbids forward references to 'enum' types}}
void PR7911F() {
- switch (PR7911V); // expected-error {{statement requires expression of integer type}}
+ switch (PR7911V); // expected-error {{statement requires expression of integer type}} \
+ // expected-warning {{switch statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
}
char test5[__has_feature(enumerator_attributes) ? 1 : -1];
Index: clang/test/Sema/__try.c
===================================================================
--- clang/test/Sema/__try.c
+++ clang/test/Sema/__try.c
@@ -51,8 +51,8 @@
void TEST() {
__except ( FilterExpression() ) { // expected-warning{{implicit declaration of function '__except' is invalid in C99}} \
- // expected-error{{too few arguments to function call, expected 1, have 0}}
-
+ // expected-error{{too few arguments to function call, expected 1, have 0}} \
+ // expected-error{{expected ';' after expression}}
}
}
Index: clang/test/Parser/objc-foreach-syntax.m
===================================================================
--- clang/test/Parser/objc-foreach-syntax.m
+++ clang/test/Parser/objc-foreach-syntax.m
@@ -21,5 +21,8 @@
static int test7(id keys) {
- for (id key; in keys) ; // expected-error {{use of undeclared identifier 'in'}}
+ // FIXME: would be nice to suppress the secondary diagnostics.
+ for (id key; in keys) ; // expected-error {{use of undeclared identifier 'in'}} \
+ // expected-error {{expected ';' in 'for' statement specifier}} \
+ // expected-warning {{expression result unused}}
}
Index: clang/test/OpenMP/declare_variant_messages.c
===================================================================
--- clang/test/OpenMP/declare_variant_messages.c
+++ clang/test/OpenMP/declare_variant_messages.c
@@ -10,7 +10,7 @@
#pragma omp declare variant // expected-error {{expected '(' after 'declare variant'}}
#pragma omp declare variant( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}
#pragma omp declare variant(foo // expected-error {{expected ')'}} expected-error {{expected 'match' clause on 'omp declare variant' directive}} expected-note {{to match this '('}}
-#pragma omp declare variant(x) // expected-error {{use of undeclared identifier 'x'}}
+#pragma omp declare variant(x) // expected-error {{use of undeclared identifier 'x'}} expected-error {{expected 'match' clause on}}
#pragma omp declare variant(foo) // expected-error {{expected 'match' clause on 'omp declare variant' directive}}
#pragma omp declare variant(foo) // expected-error {{expected 'match' clause on 'omp declare variant' directive}}
#pragma omp declare variant(foo) xxx // expected-error {{expected 'match' clause on 'omp declare variant' directive}}
@@ -41,7 +41,7 @@
#pragma omp declare variant(foo) match(device={kind(}) // expected-error {{expected ')'}} expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}} expected-note {{to match this '('}}
#pragma omp declare variant(foo) match(device={kind()}) // expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}}
#pragma omp declare variant(foo) match(device={kind(score cpu)}) // expected-error {{expected '(' after 'score'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('<invalid>'); score ignored}}
-#pragma omp declare variant(foo) match(device={kind(score( ibm)}) // expected-error {{use of undeclared identifier 'ibm'}} expected-error {{expected ')'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('<invalid>'); score ignored}} expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}} expected-note {{to match this '('}}
+#pragma omp declare variant(foo) match(device={kind(score( ibm)}) // expected-error {{use of undeclared identifier 'ibm'}} expected-error {{expected ')'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('<recovery-expr>()'); score ignored}} expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}} expected-note {{to match this '('}}
#pragma omp declare variant(foo) match(device={kind(score(2 gpu)}) // expected-error {{expected ')'}} expected-error {{expected ')'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('2'); score ignored}} expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{to match this '('}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}} expected-note {{to match this '('}}
#pragma omp declare variant(foo) match(device={kind(score(foo()) ibm)}) // expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('foo()'); score ignored}} expected-warning {{'ibm' is not a valid context property for the context selector 'kind' and the context set 'device'; property ignored}} expected-note {{try 'match(implementation={vendor(ibm)})'}} expected-note {{the ignored property spans until here}}
#pragma omp declare variant(foo) match(device={kind(score(5): host), kind(llvm)}) // expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('5'); score ignored}} expected-warning {{the context selector 'kind' was used already in the same 'omp declare variant' directive; selector ignored}} expected-note {{the previous context selector 'kind' used here}} expected-note {{the ignored selector spans until here}}
Index: clang/test/OpenMP/begin_declare_variant_messages.c
===================================================================
--- clang/test/OpenMP/begin_declare_variant_messages.c
+++ clang/test/OpenMP/begin_declare_variant_messages.c
@@ -80,7 +80,7 @@
#pragma omp end declare variant
#pragma omp begin declare variant match(device={kind(score cpu)}) // expected-error {{expected '(' after 'score'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('<invalid>'); score ignored}}
#pragma omp end declare variant
-#pragma omp begin declare variant match(device={kind(score( ibm)}) // expected-error {{use of undeclared identifier 'ibm'}} expected-error {{expected ')'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('<invalid>'); score ignored}} expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}} expected-note {{to match this '('}}
+#pragma omp begin declare variant match(device={kind(score( ibm)}) // expected-error {{use of undeclared identifier 'ibm'}} expected-error {{expected ')'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('<recovery-expr>()'); score ignored}} expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}} expected-note {{to match this '('}}
#pragma omp end declare variant
#pragma omp begin declare variant match(device={kind(score(2 gpu)}) // expected-error {{expected ')'}} expected-error {{expected ')'}} expected-warning {{expected '':'' after the score expression; '':'' assumed}} expected-warning {{the context selector 'kind' in the context set 'device' cannot have a score ('2'); score ignored}} expected-warning {{expected identifier or string literal describing a context property; property skipped}} expected-note {{to match this '('}} expected-note {{context property options are: 'host' 'nohost' 'cpu' 'gpu' 'fpga' 'any'}} expected-note {{to match this '('}}
#pragma omp end declare variant
Index: clang/test/Index/complete-switch.c
===================================================================
--- clang/test/Index/complete-switch.c
+++ clang/test/Index/complete-switch.c
@@ -6,5 +6,5 @@
}
}
-// RUN: not %clang_cc1 -fsyntax-only -code-completion-at=%s:4:10 %s | FileCheck %s -allow-empty
+// RUN: not %clang_cc1 -fsyntax-only -Xclang -fno-recovery-ast -code-completion-at=%s:4:10 %s | FileCheck %s -allow-empty
// CHECK-NOT: COMPLETION: foo
Index: clang/test/CodeGen/builtins-systemz-zvector3-error.c
===================================================================
--- clang/test/CodeGen/builtins-systemz-zvector3-error.c
+++ clang/test/CodeGen/builtins-systemz-zvector3-error.c
@@ -60,65 +60,85 @@
int cc;
void test_integer(void) {
- vsc = vec_sldb(vsc, vsc, idx); // expected-error {{no matching function}}
+ vsc = vec_sldb(vsc, vsc, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vuc = vec_sldb(vuc, vuc, idx); // expected-error {{no matching function}}
+ vuc = vec_sldb(vuc, vuc, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vss = vec_sldb(vss, vss, idx); // expected-error {{no matching function}}
+ vss = vec_sldb(vss, vss, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vus = vec_sldb(vus, vus, idx); // expected-error {{no matching function}}
+ vus = vec_sldb(vus, vus, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vsi = vec_sldb(vsi, vsi, idx); // expected-error {{no matching function}}
+ vsi = vec_sldb(vsi, vsi, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vui = vec_sldb(vui, vui, idx); // expected-error {{no matching function}}
+ vui = vec_sldb(vui, vui, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vsl = vec_sldb(vsl, vsl, idx); // expected-error {{no matching function}}
+ vsl = vec_sldb(vsl, vsl, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vul = vec_sldb(vul, vul, idx); // expected-error {{no matching function}}
+ vul = vec_sldb(vul, vul, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vf = vec_sldb(vf, vf, idx); // expected-error {{no matching function}}
+ vf = vec_sldb(vf, vf, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vd = vec_sldb(vd, vd, idx); // expected-error {{no matching function}}
+ vd = vec_sldb(vd, vd, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsld' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vsc = vec_srdb(vsc, vsc, idx); // expected-error {{no matching function}}
+ vsc = vec_srdb(vsc, vsc, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vuc = vec_srdb(vuc, vuc, idx); // expected-error {{no matching function}}
+ vuc = vec_srdb(vuc, vuc, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vss = vec_srdb(vss, vss, idx); // expected-error {{no matching function}}
+ vss = vec_srdb(vss, vss, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vus = vec_srdb(vus, vus, idx); // expected-error {{no matching function}}
+ vus = vec_srdb(vus, vus, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vsi = vec_srdb(vsi, vsi, idx); // expected-error {{no matching function}}
+ vsi = vec_srdb(vsi, vsi, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vui = vec_srdb(vui, vui, idx); // expected-error {{no matching function}}
+ vui = vec_srdb(vui, vui, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vsl = vec_srdb(vsl, vsl, idx); // expected-error {{no matching function}}
+ vsl = vec_srdb(vsl, vsl, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vul = vec_srdb(vul, vul, idx); // expected-error {{no matching function}}
+ vul = vec_srdb(vul, vul, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vf = vec_srdb(vf, vf, idx); // expected-error {{no matching function}}
+ vf = vec_srdb(vf, vf, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
- vd = vec_srdb(vd, vd, idx); // expected-error {{no matching function}}
+ vd = vec_srdb(vd, vd, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_vsrd' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 7}}
}
Index: clang/test/CodeGen/builtins-systemz-zvector2-error.c
===================================================================
--- clang/test/CodeGen/builtins-systemz-zvector2-error.c
+++ clang/test/CodeGen/builtins-systemz-zvector2-error.c
@@ -119,10 +119,10 @@
}
void test_integer(void) {
- vf = vec_sld(vf, vf, idx); // expected-error {{no matching function}}
+ vf = vec_sld(vf, vf, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 13 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vd = vec_sld(vd, vd, idx); // expected-error {{no matching function}}
+ vd = vec_sld(vd, vd, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 13 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
@@ -132,22 +132,22 @@
}
void test_float(void) {
- vbi = vec_fp_test_data_class(vf, idx, &cc); // expected-error {{no matching function}}
+ vbi = vec_fp_test_data_class(vf, idx, &cc); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vftcisb' must be a constant integer}} expected-error {{argument to '__builtin_s390_vftcidb' must be a constant integer}}
// expected-note@vecintrin.h:* 1 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 4095}}
- vbi = vec_fp_test_data_class(vf, -1, &cc); // expected-error {{no matching function}}
+ vbi = vec_fp_test_data_class(vf, -1, &cc); // expected-error {{no matching function}} expected-error 2{{argument value -1 is outside the valid range [0, 4095]}}
// expected-note@vecintrin.h:* 1 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 4095}}
- vbi = vec_fp_test_data_class(vf, 4096, &cc); // expected-error {{no matching function}}
+ vbi = vec_fp_test_data_class(vf, 4096, &cc); // expected-error {{no matching function}} expected-error 2{{argument value 4096 is outside the valid range [0, 4095]}}
// expected-note@vecintrin.h:* 1 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 4095}}
- vbl = vec_fp_test_data_class(vd, idx, &cc); // expected-error {{no matching function}}
+ vbl = vec_fp_test_data_class(vd, idx, &cc); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vftcisb' must be a constant integer}} expected-error {{argument to '__builtin_s390_vftcidb' must be a constant integer}}
// expected-note@vecintrin.h:* 1 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 4095}}
- vbl = vec_fp_test_data_class(vd, -1, &cc); // expected-error {{no matching function}}
+ vbl = vec_fp_test_data_class(vd, -1, &cc); // expected-error {{no matching function}} expected-error 2{{argument value -1 is outside the valid range [0, 4095]}}
// expected-note@vecintrin.h:* 1 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 4095}}
- vbl = vec_fp_test_data_class(vd, 4096, &cc); // expected-error {{no matching function}}
+ vbl = vec_fp_test_data_class(vd, 4096, &cc); // expected-error {{no matching function}} expected-error 2{{argument value 4096 is outside the valid range [0, 4095]}}
// expected-note@vecintrin.h:* 1 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 4095}}
}
Index: clang/test/CodeGen/builtins-systemz-zvector-error.c
===================================================================
--- clang/test/CodeGen/builtins-systemz-zvector-error.c
+++ clang/test/CodeGen/builtins-systemz-zvector-error.c
@@ -67,7 +67,7 @@
len = __lcbb(cptr, 8192); // expected-error {{no matching function}}
// expected-note@vecintrin.h:* {{must be a constant power of 2 from 64 to 4096}}
- vsl = vec_permi(vsl, vsl, idx); // expected-error {{no matching function}}
+ vsl = vec_permi(vsl, vsl, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vpdi' must be a constant integer}}
// expected-note@vecintrin.h:* 3 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
vsl = vec_permi(vsl, vsl, -1); // expected-error {{no matching function}}
@@ -76,7 +76,7 @@
vsl = vec_permi(vsl, vsl, 4); // expected-error {{no matching function}}
// expected-note@vecintrin.h:* 3 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vul = vec_permi(vul, vul, idx); // expected-error {{no matching function}}
+ vul = vec_permi(vul, vul, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vpdi' must be a constant integer}}
// expected-note@vecintrin.h:* 2 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 3}}
vul = vec_permi(vul, vul, -1); // expected-error {{no matching function}}
@@ -85,7 +85,7 @@
vul = vec_permi(vul, vul, 4); // expected-error {{no matching function}}
// expected-note@vecintrin.h:* 2 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 3}}
- vbl = vec_permi(vbl, vbl, idx); // expected-error {{no matching function}}
+ vbl = vec_permi(vbl, vbl, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vpdi' must be a constant integer}}
// expected-note@vecintrin.h:* 2 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 3}}
vbl = vec_permi(vbl, vbl, -1); // expected-error {{no matching function}}
@@ -94,7 +94,7 @@
vbl = vec_permi(vbl, vbl, 4); // expected-error {{no matching function}}
// expected-note@vecintrin.h:* 2 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 3}}
- vd = vec_permi(vd, vd, idx); // expected-error {{no matching function}}
+ vd = vec_permi(vd, vd, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vpdi' must be a constant integer}}
// expected-note@vecintrin.h:* 3 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
vd = vec_permi(vd, vd, -1); // expected-error {{no matching function}}
@@ -232,27 +232,27 @@
// expected-note@vecintrin.h:* 6 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 1}}
- vsc = vec_load_bndry(cptrsc, idx); // expected-error {{no matching function}}
+ vsc = vec_load_bndry(cptrsc, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vsc = vec_load_bndry(cptrsc, 200); // expected-error {{no matching function}}
+ vsc = vec_load_bndry(cptrsc, 200); // expected-error {{no matching function}} expected-error {{argument value -1 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vsc = vec_load_bndry(cptrsc, 32); // expected-error {{no matching function}}
+ vsc = vec_load_bndry(cptrsc, 32); // expected-error {{no matching function}} expected-error {{argument value -1 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vsc = vec_load_bndry(cptrsc, 8192); // expected-error {{no matching function}}
+ vsc = vec_load_bndry(cptrsc, 8192); // expected-error {{no matching function}} expected-error {{argument value -1 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vuc = vec_load_bndry(cptruc, idx); // expected-error {{no matching function}}
+ vuc = vec_load_bndry(cptruc, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vss = vec_load_bndry(cptrss, idx); // expected-error {{no matching function}}
+ vss = vec_load_bndry(cptrss, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vus = vec_load_bndry(cptrus, idx); // expected-error {{no matching function}}
+ vus = vec_load_bndry(cptrus, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vsi = vec_load_bndry(cptrsi, idx); // expected-error {{no matching function}}
+ vsi = vec_load_bndry(cptrsi, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vui = vec_load_bndry(cptrui, idx); // expected-error {{no matching function}}
+ vui = vec_load_bndry(cptrui, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vsl = vec_load_bndry(cptrsl, idx); // expected-error {{no matching function}}
+ vsl = vec_load_bndry(cptrsl, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
- vul = vec_load_bndry(cptrul, idx); // expected-error {{no matching function}}
+ vul = vec_load_bndry(cptrul, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vlbb' must be a constant integer}}
// expected-note@vecintrin.h:* 9 {{must be a constant power of 2 from 64 to 4096}}
vuc = vec_genmask(idx); // expected-error {{no matching function}}
@@ -420,108 +420,140 @@
}
void test_integer(void) {
- vsc = vec_rl_mask(vsc, vuc, idx); // expected-error {{no matching function}}
+ vsc = vec_rl_mask(vsc, vuc, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vuc = vec_rl_mask(vuc, vuc, idx); // expected-error {{no matching function}}
+ vuc = vec_rl_mask(vuc, vuc, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vss = vec_rl_mask(vss, vus, idx); // expected-error {{no matching function}}
+ vss = vec_rl_mask(vss, vus, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vus = vec_rl_mask(vus, vus, idx); // expected-error {{no matching function}}
+ vus = vec_rl_mask(vus, vus, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vsi = vec_rl_mask(vsi, vui, idx); // expected-error {{no matching function}}
+ vsi = vec_rl_mask(vsi, vui, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vui = vec_rl_mask(vui, vui, idx); // expected-error {{no matching function}}
+ vui = vec_rl_mask(vui, vui, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vsl = vec_rl_mask(vsl, vul, idx); // expected-error {{no matching function}}
+ vsl = vec_rl_mask(vsl, vul, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vul = vec_rl_mask(vul, vul, idx); // expected-error {{no matching function}}
+ vul = vec_rl_mask(vul, vul, idx); // expected-error {{no matching function}} \
+ // expected-error {{argument to '__builtin_s390_verimb' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimh' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimf' must be a constant integer}} \
+ // expected-error {{argument to '__builtin_s390_verimg' must be a constant integer}}
// expected-note@vecintrin.h:* 7 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer}}
- vsc = vec_sld(vsc, vsc, idx); // expected-error {{no matching function}}
+ vsc = vec_sld(vsc, vsc, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 12 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vsc = vec_sld(vsc, vsc, -1); // expected-error {{no matching function}}
+ vsc = vec_sld(vsc, vsc, -1); // expected-error {{no matching function}} expected-error {{argument value -1 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 12 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vsc = vec_sld(vsc, vsc, 16); // expected-error {{no matching function}}
+ vsc = vec_sld(vsc, vsc, 16); // expected-error {{no matching function}} expected-error {{argument value 16 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 12 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vuc = vec_sld(vuc, vuc, idx); // expected-error {{no matching function}}
+ vuc = vec_sld(vuc, vuc, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 11 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 15}}
- vuc = vec_sld(vuc, vuc, -1); // expected-error {{no matching function}}
+ vuc = vec_sld(vuc, vuc, -1); // expected-error {{no matching function}} expected-error {{argument value -1 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 11 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 15}}
- vuc = vec_sld(vuc, vuc, 16); // expected-error {{no matching function}}
+ vuc = vec_sld(vuc, vuc, 16); // expected-error {{no matching function}} expected-error {{argument value 16 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 11 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 15}}
- vss = vec_sld(vss, vss, idx); // expected-error {{no matching function}}
+ vss = vec_sld(vss, vss, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 12 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vus = vec_sld(vus, vus, idx); // expected-error {{no matching function}}
+ vus = vec_sld(vus, vus, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 11 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 15}}
- vsi = vec_sld(vsi, vsi, idx); // expected-error {{no matching function}}
+ vsi = vec_sld(vsi, vsi, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 12 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vui = vec_sld(vui, vui, idx); // expected-error {{no matching function}}
+ vui = vec_sld(vui, vui, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 11 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 15}}
- vsl = vec_sld(vsl, vsl, idx); // expected-error {{no matching function}}
+ vsl = vec_sld(vsl, vsl, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 12 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vul = vec_sld(vul, vul, idx); // expected-error {{no matching function}}
+ vul = vec_sld(vul, vul, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 11 {{candidate function not viable}}
// expected-note@vecintrin.h:* 2 {{must be a constant integer from 0 to 15}}
- vd = vec_sld(vd, vd, idx); // expected-error {{no matching function}}
+ vd = vec_sld(vd, vd, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 12 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 15}}
- vsc = vec_sldw(vsc, vsc, idx); // expected-error {{no matching function}}
+ vsc = vec_sldw(vsc, vsc, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vsc = vec_sldw(vsc, vsc, -1); // expected-error {{no matching function}}
+ vsc = vec_sldw(vsc, vsc, -1); // expected-error {{no matching function}} expected-error {{argument value -4 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vsc = vec_sldw(vsc, vsc, 4); // expected-error {{no matching function}}
+ vsc = vec_sldw(vsc, vsc, 4); // expected-error {{no matching function}} expected-error {{argument value 16 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vuc = vec_sldw(vuc, vuc, idx); // expected-error {{no matching function}}
+ vuc = vec_sldw(vuc, vuc, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vuc = vec_sldw(vuc, vuc, -1); // expected-error {{no matching function}}
+ vuc = vec_sldw(vuc, vuc, -1); // expected-error {{no matching function}} expected-error {{argument value -4 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vuc = vec_sldw(vuc, vuc, 4); // expected-error {{no matching function}}
+ vuc = vec_sldw(vuc, vuc, 4); // expected-error {{no matching function}} expected-error {{argument value 16 is outside the valid range [0, 15]}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vss = vec_sldw(vss, vss, idx); // expected-error {{no matching function}}
+ vss = vec_sldw(vss, vss, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vus = vec_sldw(vus, vus, idx); // expected-error {{no matching function}}
+ vus = vec_sldw(vus, vus, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vsi = vec_sldw(vsi, vsi, idx); // expected-error {{no matching function}}
+ vsi = vec_sldw(vsi, vsi, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vui = vec_sldw(vui, vui, idx); // expected-error {{no matching function}}
+ vui = vec_sldw(vui, vui, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vsl = vec_sldw(vsl, vsl, idx); // expected-error {{no matching function}}
+ vsl = vec_sldw(vsl, vsl, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vul = vec_sldw(vul, vul, idx); // expected-error {{no matching function}}
+ vul = vec_sldw(vul, vul, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
- vd = vec_sldw(vd, vd, idx); // expected-error {{no matching function}}
+ vd = vec_sldw(vd, vd, idx); // expected-error {{no matching function}} expected-error {{argument to '__builtin_s390_vsldb' must be a constant integer}}
// expected-note@vecintrin.h:* 8 {{candidate function not viable}}
// expected-note@vecintrin.h:* 1 {{must be a constant integer from 0 to 3}}
}
Index: clang/test/CodeGen/builtins-ppc-error.c
===================================================================
--- clang/test/CodeGen/builtins-ppc-error.c
+++ clang/test/CodeGen/builtins-ppc-error.c
@@ -48,8 +48,8 @@
}
void testCTF(int index) {
- vec_ctf(vsi, index); //expected-error {{argument to '__builtin_altivec_vcfsx' must be a constant integer}}
- vec_ctf(vui, index); //expected-error {{argument to '__builtin_altivec_vcfsx' must be a constant integer}}
+ vec_ctf(vsi, index); //expected-error {{argument to '__builtin_altivec_vcfsx' must be a constant integer}} expected-error {{argument to '__builtin_altivec_vcfux' must be a constant integer}}
+ vec_ctf(vui, index); //expected-error {{argument to '__builtin_altivec_vcfsx' must be a constant integer}} expected-error {{argument to '__builtin_altivec_vcfux' must be a constant integer}}
}
void testVCFSX(int index) {
Index: clang/test/AST/ast-dump-recovery.c
===================================================================
--- clang/test/AST/ast-dump-recovery.c
+++ clang/test/AST/ast-dump-recovery.c
@@ -24,14 +24,10 @@
int unary_address = &(a + 1);
// CHECK: VarDecl {{.*}} ternary 'int' cinit
-// CHECK-NEXT: `-RecoveryExpr {{.*}}
+// CHECK-NEXT: `-ConditionalOperator {{.*}}
// CHECK-NEXT: |-DeclRefExpr {{.*}} 'a'
-// CHECK-NEXT: |-TypoExpr {{.*}}
+// CHECK-NEXT: |-RecoveryExpr {{.*}}
// CHECK-NEXT: `-DeclRefExpr {{.*}} 'a'
-// FIXME: The TypoExpr should never be print, and should be downgraded to
-// RecoveryExpr -- typo correction is performed too early in C-only codepath,
-// which makes no correction when clang finishes the full expr (Sema::Sema::ActOnFinishFullExpr).
-// this will be fixed when we support dependent mechanism and delayed typo correction for C.
int ternary = a ? undef : a;
void test1() {
Index: clang/lib/Sema/SemaExpr.cpp
===================================================================
--- clang/lib/Sema/SemaExpr.cpp
+++ clang/lib/Sema/SemaExpr.cpp
@@ -6440,7 +6440,7 @@
[](clang::Expr *E) { return E->containsErrors(); }) &&
"should only occur in error-recovery path.");
return CallExpr::Create(Context, Fn, ArgExprs, Context.DependentTy,
- VK_RValue, RParenLoc);
+ VK_RValue, RParenLoc, CurFPFeatureOverrides());
}
return BuildResolvedCallExpr(Fn, NDecl, LParenLoc, ArgExprs, RParenLoc,
@@ -8547,7 +8547,7 @@
SourceLocation ColonLoc,
Expr *CondExpr, Expr *LHSExpr,
Expr *RHSExpr) {
- if (!getLangOpts().CPlusPlus) {
+ if (!getLangOpts().CPlusPlus && !Context.getLangOpts().CDependence) {
// C cannot handle TypoExpr nodes in the condition because it
// doesn't handle dependent types properly, so make sure any TypoExprs have
// been dealt with before checking the operands.
@@ -19045,7 +19045,7 @@
/// Check for operands with placeholder types and complain if found.
/// Returns ExprError() if there was an error and no recovery was possible.
ExprResult Sema::CheckPlaceholderExpr(Expr *E) {
- if (!getLangOpts().CPlusPlus) {
+ if (!getLangOpts().CPlusPlus && !Context.getLangOpts().CDependence) {
// C cannot handle TypoExpr nodes on either side of a binop because it
// doesn't handle dependent types properly, so make sure any TypoExprs have
// been dealt with before checking the operands.
Index: clang/lib/Parse/ParseExpr.cpp
===================================================================
--- clang/lib/Parse/ParseExpr.cpp
+++ clang/lib/Parse/ParseExpr.cpp
@@ -653,7 +653,7 @@
}
// In this case, ActOnBinOp or ActOnConditionalOp performed the
// CorrectDelayedTyposInExpr check.
- if (!getLangOpts().CPlusPlus)
+ if (!getLangOpts().CPlusPlus && !Actions.Context.getLangOpts().CDependence)
continue;
}
Index: clang/lib/Frontend/CompilerInvocation.cpp
===================================================================
--- clang/lib/Frontend/CompilerInvocation.cpp
+++ clang/lib/Frontend/CompilerInvocation.cpp
@@ -2924,10 +2924,10 @@
if (Args.hasArg(OPT_fconcepts_ts))
Diags.Report(diag::warn_fe_concepts_ts_flag);
Opts.CDependence =
- Args.hasFlag(OPT_fc_dependence, OPT_fno_c_dependence, false);
+ Args.hasFlag(OPT_fc_dependence, OPT_fno_c_dependence, true);
// Recovery AST still heavily relies on dependent-type machinery.
Opts.RecoveryAST =
- Args.hasFlag(OPT_frecovery_ast, OPT_fno_recovery_ast, Opts.CPlusPlus);
+ Args.hasFlag(OPT_frecovery_ast, OPT_fno_recovery_ast, true);
Opts.RecoveryASTType =
Args.hasFlag(OPT_frecovery_ast_type, OPT_fno_recovery_ast_type, false);
Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
