r229294 - Add more tests for crashes that happend to be fixed by r229288.
Larisse Voufo
lvoufo at google.com
Sun Feb 15 09:11:10 PST 2015
The commit message is wrong. This is an accidental commit, reverting
another accidental commit, r229293.
On Sun, Feb 15, 2015 at 12:47 AM, Larisse Voufo <lvoufo at google.com> wrote:
> Author: lvoufo
> Date: Sun Feb 15 02:47:31 2015
> New Revision: 229294
>
> URL: http://llvm.org/viewvc/llvm-project?rev=229294&view=rev
> Log:
> Add more tests for crashes that happend to be fixed by r229288.
>
> Modified:
> cfe/trunk/test/Parser/recovery.cpp
>
> Modified: cfe/trunk/test/Parser/recovery.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Parser/recovery.cpp?rev=229294&r1=229293&r2=229294&view=diff
>
> ==============================================================================
> --- cfe/trunk/test/Parser/recovery.cpp (original)
> +++ cfe/trunk/test/Parser/recovery.cpp Sun Feb 15 02:47:31 2015
> @@ -0,0 +1,214 @@
> +// RUN: %clang_cc1 -verify -std=c++11 -fms-extensions %s
> +
> +8gi///===--- recovery.cpp ---===// // expected-error {{unqualified-id}}
> +namespace Std { // expected-note {{here}}
> + typedef int Important;
> +}
> +
> +/ redeclare as an inline namespace // expected-error {{unqualified-id}}
> +inline namespace Std { // expected-error {{cannot be reopened as inline}}
> + Important n;
> +} / end namespace Std // expected-error {{unqualified-id}}
> +int x;
> +Std::Important y;
> +
> +extenr "C" { // expected-error {{did you mean 'extern'}}
> + void f();
> +}
> +void g() {
> + z = 1; // expected-error {{undeclared}}
> + f();
> +}
> +
> +struct S {
> + int a, b, c;
> + S();
> + int x // expected-error {{expected ';'}}
> + friend void f()
> +};
> +8S::S() : a{ 5 }, b{ 6 }, c{ 2 } { // expected-error {{unqualified-id}}
> + return;
> +}
> +int k;
> +int l = k // expected-error {{expected ';'}}
> +constexpr int foo();
> +
> +5int m = { l }, n = m; // expected-error {{unqualified-id}}
> +
> +namespace MissingBrace {
> + struct S { // expected-error {{missing '}' at end of definition of
> 'MissingBrace::S'}}
> + int f();
> + // };
> +
> + namespace N { int g(); } // expected-note {{still within definition of
> 'MissingBrace::S' here}}
> +
> + int k1 = S().h(); // expected-error {{no member named 'h' in
> 'MissingBrace::S'}}
> + int k2 = S().f() + N::g();
> +
> + template<typename T> struct PR17949 { // expected-error {{missing '}'
> at end of definition of 'MissingBrace::PR17949'}}
> +
> + namespace X { // expected-note {{still within definition of
> 'MissingBrace::PR17949' here}}
> + }
> +}
> +
> +namespace N {
> + int
> +} // expected-error {{unqualified-id}}
> +
> +strcut Uuuu { // expected-error {{did you mean 'struct'}} \
> + // expected-note {{'Uuuu' declared here}}
> +} *u[3];
> +uuuu v; // expected-error {{did you mean 'Uuuu'}}
> +
> +struct Redefined { // expected-note {{previous}}
> + Redefined() {}
> +};
> +struct Redefined { // expected-error {{redefinition}}
> + Redefined() {}
> +};
> +
> +struct MissingSemi5;
> +namespace N {
> + typedef int afterMissingSemi4;
> + extern MissingSemi5 afterMissingSemi5;
> +}
> +
> +struct MissingSemi1 {} // expected-error {{expected ';' after struct}}
> +static int afterMissingSemi1();
> +
> +class MissingSemi2 {} // expected-error {{expected ';' after class}}
> +MissingSemi1 *afterMissingSemi2;
> +
> +enum MissingSemi3 {} // expected-error {{expected ';' after enum}}
> +::MissingSemi1 afterMissingSemi3;
> +
> +extern N::afterMissingSemi4 afterMissingSemi4b;
> +union MissingSemi4 { MissingSemi4(int); } // expected-error {{expected
> ';' after union}}
> +N::afterMissingSemi4 (afterMissingSemi4b);
> +
> +int afterMissingSemi5b;
> +struct MissingSemi5 { MissingSemi5(int); } // ok, no missing ';' here
> +N::afterMissingSemi5 (afterMissingSemi5b);
> +
> +template<typename T> struct MissingSemiT {
> +} // expected-error {{expected ';' after struct}}
> +MissingSemiT<int> msi;
> +
> +struct MissingSemiInStruct {
> + struct Inner1 {} // expected-error {{expected ';' after struct}}
> + static MissingSemi5 ms1;
> +
> + struct Inner2 {} // ok, no missing ';' here
> + static MissingSemi1;
> +
> + struct Inner3 {} // expected-error {{expected ';' after struct}}
> + static MissingSemi5 *p;
> +};
> +
> +void MissingSemiInFunction() {
> + struct Inner1 {} // expected-error {{expected ';' after struct}}
> + if (true) {}
> +
> + // FIXME: It would be nice to at least warn on this.
> + struct Inner2 { Inner2(int); } // ok, no missing ';' here
> + k = l;
> +
> + struct Inner3 {} // expected-error {{expected ';' after struct}}
> + Inner1 i1;
> +
> + struct Inner4 {} // ok, no missing ';' here
> + Inner5;
> +}
> +
> +namespace NS {
> + template<typename T> struct Foo {};
> +}
> +struct MissingSemiThenTemplate1 {} // expected-error {{expected ';' after
> struct}}
> +NS::Foo<int> missingSemiBeforeFunctionReturningTemplateId1();
> +
> +using NS::Foo;
> +struct MissingSemiThenTemplate2 {} // expected-error {{expected ';' after
> struct}}
> +Foo<int> missingSemiBeforeFunctionReturningTemplateId2();
> +
> +namespace PR17084 {
> +enum class EnumID {};
> +template <typename> struct TempID;
> +template <> struct TempID<BadType> : BadType, EnumID::Garbage; //
> expected-error{{use of undeclared identifier 'BadType'}}
> +}
> +
> +namespace pr15133 {
> + namespace ns {
> + const int V1 = 1; // expected-note {{declared here}}
> + }
> + struct C1 {
> + enum E1 { V2 = 2 }; // expected-note {{declared here}}
> + static const int V3 = 3; // expected-note {{declared here}}
> + };
> + enum E2 {
> + V4 = 4, // expected-note {{declared here}}
> + V6 // expected-note {{declared here}}
> + };
> + enum class EC3 { V0 = 0, V5 = 5 }; // expected-note {{declared here}}
> + void func_3();
> +
> + void func_1(int x) {
> + switch(x) {
> + case 0: break;
> + case ns::V1:: break; // expected-error{{'V1' cannot appear before
> '::' because it is not a class, namespace, or enumeration; did you mean
> ':'?}}
> + case C1::V2:: break; // expected-error{{'V2' cannot appear before
> '::' because it is not a class, namespace, or enumeration; did you mean
> ':'?}}
> + case C1::V3:: break; // expected-error{{'V3' cannot appear before
> '::' because it is not a class, namespace, or enumeration; did you mean
> ':'?}}
> + case V4:: break; // expected-error{{'V4' cannot appear before '::'
> because it is not a class, namespace, or enumeration; did you mean ':'?}}
> + case V6:: func_3(); // expected-error{{'V6' cannot appear before
> '::' because it is not a class, namespace, or enumeration; did you mean
> ':'?}}
> + }
> + }
> + void func_2(EC3 x) {
> + switch(x) {
> + case EC3::V0: break;
> + case EC3::V5:: break; // expected-error{{'V5' cannot appear before
> '::' because it is not a class, namespace, or enumeration; did you mean
> ':'?}}
> + }
> + }
> +
> + template<class T> struct TS1 {
> + typedef int A;
> + };
> + template<class T> void func(int x) {
> + switch(x) {
> + case TS1<T>::A:: break; // expected-error{{expected unqualified-id}}
> + }
> + };
> + void mainf() {
> + func<int>(1);
> + }
> +
> + struct S {
> + static int n; // expected-note{{declared here}}
> + int nn; // expected-note 2 {{declared here}}
> + };
> +
> + int func_3(int x) {
> + return x ? S::n :: 0; // expected-error{{'n' cannot appear before
> '::' because it is not a class, namespace, or enumeration; did you mean
> ':'?}}
> + }
> + int func_4(int x, S &s) {
> + return x ? s.nn :: x; // expected-error{{'nn' cannot appear before
> '::' because it is not a class, namespace, or enumeration; did you mean
> ':'?}}
> + }
> + int func_5(int x, S &s) {
> + return x ? s.nn :: S::n; // expected-error{{'nn' cannot appear
> before '::' because it is not a class, namespace, or enumeration; did you
> mean ':'?}}
> + }
> +
> + struct S2 {
> + struct S3;
> + };
> +
> + struct S2 :: S3 :: public S2 { // expected-error{{'public' cannot be a
> part of nested name specifier; did you mean ':'?}}
> + };
> +}
> +
> +namespace InvalidEmptyNames {
> +// These shouldn't crash, the diagnostics aren't important.
> +struct ::, struct ::; // expected-error 2 {{expected identifier}}
> expected-error 2 {{declaration of anonymous struct must be a definition}}
> expected-warning {{declaration does not declare anything}}
> +enum ::, enum ::; // expected-error 2 {{expected identifier}}
> expected-warning {{declaration does not declare anything}}
> +struct ::__super, struct ::__super; // expected-error 2 {{expected
> identifier}} expected-error 2 {{expected '::' after '__super'}}
> +struct ::template foo, struct ::template bar; // expected-error 2
> {{expected identifier}} expected-error 2 {{declaration of anonymous struct
> must be a definition}} expected-warning {{declaration does not declare
> anything}}
> +struct ::foo struct::; // expected-error {{no struct named 'foo' in the
> global namespace}} expected-error {{expected identifier}} expected-error
> {{declaration of anonymous struct must be a definition}}
> +class :: : {} a; // expected-error {{expected identifier}}
> expected-error {{expected class name}}
> +}
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150215/8d324f0c/attachment.html>
More information about the cfe-commits
mailing list