From 4b5b7c75415be0837389fe694e1843422b4cd115 Mon Sep 17 00:00:00 2001 From: Haojian Wu Date: Mon, 20 Jul 2020 15:06:40 +0200 Subject: [PATCH] [AST][RecoveryExpr] Fix a crash on opencl C++. Differential Revision: https://reviews.llvm.org/D84145 --- clang/lib/Sema/SemaDecl.cpp | 10 ++++++++-- clang/test/SemaOpenCL/recovery-expr.cl | 7 +++++++ 2 files changed, 15 insertions(+), 2 deletions(-) create mode 100644 clang/test/SemaOpenCL/recovery-expr.cl diff --git a/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp index 3e2b61a..3413a42 100644 --- a/clang/lib/Sema/SemaDecl.cpp +++ b/clang/lib/Sema/SemaDecl.cpp @@ -11067,8 +11067,14 @@ bool Sema::CheckForConstantInitializer(Expr *Init, QualType DclT) { // except that the aforementioned are allowed in unevaluated // expressions. Everything else falls under the // "may accept other forms of constant expressions" exception. - // (We never end up here for C++, so the constant expression - // rules there don't matter.) + // + // Regular C++ code will not end up here (exceptions: language extensions, + // OpenCL C++ etc), so the constant expression rules there don't matter. + if (Init->isValueDependent()) { + assert(Init->containsErrors() && + "Dependent code should only occur in error-recovery path."); + return true; + } const Expr *Culprit; if (Init->isConstantInitializer(Context, false, &Culprit)) return false; diff --git a/clang/test/SemaOpenCL/recovery-expr.cl b/clang/test/SemaOpenCL/recovery-expr.cl new file mode 100644 index 0000000..902b10d --- /dev/null +++ b/clang/test/SemaOpenCL/recovery-expr.cl @@ -0,0 +1,7 @@ +// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only -cl-std=clc++ -frecovery-ast + +void kernel nocrash() { + constant int L1 = 0; + + private int *constant L2 = L1++; // expected-error {{read-only variable is not assignable}} +} -- 2.7.4