diff --git a/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp index 8228292a3153a6..d9844f18e1cf94 100644 --- a/clang/lib/Sema/SemaDecl.cpp +++ b/clang/lib/Sema/SemaDecl.cpp @@ -17813,7 +17813,8 @@ EnumConstantDecl *Sema::CheckEnumConstant(EnumDecl *Enum, Val = DefaultLvalueConversion(Val).get(); if (Val) { - if (Enum->isDependentType() || Val->isTypeDependent()) + if (Enum->isDependentType() || Val->isTypeDependent() || + Val->containsErrors()) EltTy = Context.DependentTy; else { // FIXME: We don't allow folding in C++11 mode for an enum with a fixed diff --git a/clang/test/SemaCXX/recovery-expr-type.cpp b/clang/test/SemaCXX/recovery-expr-type.cpp index 15b83e50387f7a..2fdbd0d3b6c30d 100644 --- a/clang/test/SemaCXX/recovery-expr-type.cpp +++ b/clang/test/SemaCXX/recovery-expr-type.cpp @@ -143,3 +143,11 @@ int fun(int *foo = no_such_function()); // expected-error {{undeclared identifie void crash1() { fun(); } void crash2() { constexpr int s = fun(); } } // namespace test12 + +namespace test13 { +enum Circular { // expected-note {{not complete until the closing '}'}} + Circular_A = Circular(1), // expected-error {{'test13::Circular' is an incomplete type}} +}; +// Enumerators can be evaluated (they evaluate as zero, but we don't care). +static_assert(Circular_A == 0 && Circular_A != 0, ""); // expected-error {{static_assert failed}} +}