Author: nicholas Date: Mon Jun 12 16:59:18 2017 New Revision: 305239 URL: http://llvm.org/viewvc/llvm-project?rev=305239&view=rev Log: Revert r301742 which made ExprConstant checking apply to all full-exprs.
This patch also exposed pre-existing bugs in clang, see PR32864 and PR33140#c3 . Modified: cfe/trunk/include/clang/Sema/Sema.h cfe/trunk/lib/AST/ExprConstant.cpp cfe/trunk/lib/Sema/SemaChecking.cpp cfe/trunk/test/OpenMP/distribute_parallel_for_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/distribute_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/for_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/parallel_for_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/simd_aligned_messages.cpp cfe/trunk/test/OpenMP/target_parallel_for_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/target_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/target_teams_distribute_parallel_for_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/target_teams_distribute_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/taskloop_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/teams_distribute_parallel_for_simd_aligned_messages.cpp cfe/trunk/test/OpenMP/teams_distribute_simd_aligned_messages.cpp cfe/trunk/test/Sema/integer-overflow.c Modified: cfe/trunk/include/clang/Sema/Sema.h URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/include/clang/Sema/Sema.h (original) +++ cfe/trunk/include/clang/Sema/Sema.h Mon Jun 12 16:59:18 2017 @@ -10273,6 +10273,7 @@ private: void CheckFloatComparison(SourceLocation Loc, Expr* LHS, Expr* RHS); void CheckImplicitConversions(Expr *E, SourceLocation CC = SourceLocation()); void CheckBoolLikeConversion(Expr *E, SourceLocation CC); + void CheckForIntOverflow(Expr *E); void CheckUnsequencedOperations(Expr *E); /// \brief Perform semantic checks on a completed expression. This will either Modified: cfe/trunk/lib/AST/ExprConstant.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/ExprConstant.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/lib/AST/ExprConstant.cpp (original) +++ cfe/trunk/lib/AST/ExprConstant.cpp Mon Jun 12 16:59:18 2017 @@ -6226,10 +6226,6 @@ bool RecordExprEvaluator::VisitInitListE // the initializer list. ImplicitValueInitExpr VIE(HaveInit ? Info.Ctx.IntTy : Field->getType()); const Expr *Init = HaveInit ? E->getInit(ElementNo++) : &VIE; - if (Init->isValueDependent()) { - Success = false; - continue; - } // Temporarily override This, in case there's a CXXDefaultInitExpr in here. ThisOverrideRAII ThisOverride(*Info.CurrentCall, &This, @@ -9940,8 +9936,7 @@ static bool EvaluateAsRValue(EvalInfo &I } static bool FastEvaluateAsRValue(const Expr *Exp, Expr::EvalResult &Result, - const ASTContext &Ctx, bool &IsConst, - bool IsCheckingForOverflow) { + const ASTContext &Ctx, bool &IsConst) { // Fast-path evaluations of integer literals, since we sometimes see files // containing vast quantities of these. if (const IntegerLiteral *L = dyn_cast<IntegerLiteral>(Exp)) { @@ -9962,7 +9957,7 @@ static bool FastEvaluateAsRValue(const E // performance problems. Only do so in C++11 for now. if (Exp->isRValue() && (Exp->getType()->isArrayType() || Exp->getType()->isRecordType()) && - !Ctx.getLangOpts().CPlusPlus11 && !IsCheckingForOverflow) { + !Ctx.getLangOpts().CPlusPlus11) { IsConst = false; return true; } @@ -9977,7 +9972,7 @@ static bool FastEvaluateAsRValue(const E /// will be applied to the result. bool Expr::EvaluateAsRValue(EvalResult &Result, const ASTContext &Ctx) const { bool IsConst; - if (FastEvaluateAsRValue(this, Result, Ctx, IsConst, false)) + if (FastEvaluateAsRValue(this, Result, Ctx, IsConst)) return IsConst; EvalInfo Info(Ctx, Result, EvalInfo::EM_IgnoreSideEffects); @@ -10102,7 +10097,7 @@ APSInt Expr::EvaluateKnownConstInt(const void Expr::EvaluateForOverflow(const ASTContext &Ctx) const { bool IsConst; EvalResult EvalResult; - if (!FastEvaluateAsRValue(this, EvalResult, Ctx, IsConst, true)) { + if (!FastEvaluateAsRValue(this, EvalResult, Ctx, IsConst)) { EvalInfo Info(Ctx, EvalResult, EvalInfo::EM_EvaluateForOverflow); (void)::EvaluateAsRValue(Info, this, EvalResult.Val); } Modified: cfe/trunk/lib/Sema/SemaChecking.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaChecking.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/lib/Sema/SemaChecking.cpp (original) +++ cfe/trunk/lib/Sema/SemaChecking.cpp Mon Jun 12 16:59:18 2017 @@ -9935,6 +9935,28 @@ void Sema::CheckBoolLikeConversion(Expr ::CheckBoolLikeConversion(*this, E, CC); } +/// Diagnose when expression is an integer constant expression and its evaluation +/// results in integer overflow +void Sema::CheckForIntOverflow (Expr *E) { + // Use a work list to deal with nested struct initializers. + SmallVector<Expr *, 2> Exprs(1, E); + + do { + Expr *E = Exprs.pop_back_val(); + + if (isa<BinaryOperator>(E->IgnoreParenCasts())) { + E->IgnoreParenCasts()->EvaluateForOverflow(Context); + continue; + } + + if (auto InitList = dyn_cast<InitListExpr>(E)) + Exprs.append(InitList->inits().begin(), InitList->inits().end()); + + if (isa<ObjCBoxedExpr>(E)) + E->IgnoreParenCasts()->EvaluateForOverflow(Context); + } while (!Exprs.empty()); +} + namespace { /// \brief Visitor for expressions which looks for unsequenced operations on the /// same object. @@ -10436,7 +10458,7 @@ void Sema::CheckCompletedExpr(Expr *E, S if (!E->isInstantiationDependent()) CheckUnsequencedOperations(E); if (!IsConstexpr && !E->isValueDependent()) - E->EvaluateForOverflow(Context); + CheckForIntOverflow(E); DiagnoseMisalignedMembers(); } Modified: cfe/trunk/test/OpenMP/distribute_parallel_for_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/distribute_parallel_for_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/distribute_parallel_for_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/distribute_parallel_for_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -134,8 +134,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target Modified: cfe/trunk/test/OpenMP/distribute_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/distribute_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/distribute_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/distribute_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -134,8 +134,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target Modified: cfe/trunk/test/OpenMP/for_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/for_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/for_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -107,8 +107,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp for simd aligned // expected-error {{expected '(' after 'aligned'}} for (I k = 0; k < argc; ++k) ++k; Modified: cfe/trunk/test/OpenMP/parallel_for_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/parallel_for_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/parallel_for_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/parallel_for_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -107,8 +107,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp parallel for simd aligned // expected-error {{expected '(' after 'aligned'}} for (I k = 0; k < argc; ++k) ++k; Modified: cfe/trunk/test/OpenMP/simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -107,8 +107,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp simd aligned // expected-error {{expected '(' after 'aligned'}} for (I k = 0; k < argc; ++k) ++k; Modified: cfe/trunk/test/OpenMP/target_parallel_for_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/target_parallel_for_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/target_parallel_for_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/target_parallel_for_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -107,8 +107,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target parallel for simd aligned // expected-error {{expected '(' after 'aligned'}} for (I k = 0; k < argc; ++k) ++k; Modified: cfe/trunk/test/OpenMP/target_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/target_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/target_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/target_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -107,8 +107,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target simd aligned // expected-error {{expected '(' after 'aligned'}} for (I k = 0; k < argc; ++k) ++k; Modified: cfe/trunk/test/OpenMP/target_teams_distribute_parallel_for_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/target_teams_distribute_parallel_for_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/target_teams_distribute_parallel_for_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/target_teams_distribute_parallel_for_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -110,8 +110,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target teams distribute parallel for simd aligned // expected-error {{expected '(' after 'aligned'}} Modified: cfe/trunk/test/OpenMP/target_teams_distribute_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/target_teams_distribute_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/target_teams_distribute_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/target_teams_distribute_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -110,8 +110,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target teams distribute simd aligned // expected-error {{expected '(' after 'aligned'}} Modified: cfe/trunk/test/OpenMP/taskloop_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/taskloop_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/taskloop_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/taskloop_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -107,8 +107,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp taskloop simd aligned // expected-error {{expected '(' after 'aligned'}} for (I k = 0; k < argc; ++k) ++k; Modified: cfe/trunk/test/OpenMP/teams_distribute_parallel_for_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/teams_distribute_parallel_for_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/teams_distribute_parallel_for_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/teams_distribute_parallel_for_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -123,8 +123,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target Modified: cfe/trunk/test/OpenMP/teams_distribute_simd_aligned_messages.cpp URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/teams_distribute_simd_aligned_messages.cpp?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/OpenMP/teams_distribute_simd_aligned_messages.cpp (original) +++ cfe/trunk/test/OpenMP/teams_distribute_simd_aligned_messages.cpp Mon Jun 12 16:59:18 2017 @@ -123,8 +123,9 @@ S3 h; // expected-note 2 {{'h' defined h template<class I, class C> int foomain(I argc, C **argv) { I e(argc); I g(argc); - int i; // expected-note {{'i' defined here}} - // expected-note@+1 {{declared here}} + int i; // expected-note {{declared here}} expected-note {{'i' defined here}} + // expected-note@+2 {{declared here}} + // expected-note@+1 {{reference to 'i' is not a constant expression}} int &j = i; #pragma omp target Modified: cfe/trunk/test/Sema/integer-overflow.c URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/integer-overflow.c?rev=305239&r1=305238&r2=305239&view=diff ============================================================================== --- cfe/trunk/test/Sema/integer-overflow.c (original) +++ cfe/trunk/test/Sema/integer-overflow.c Mon Jun 12 16:59:18 2017 @@ -152,13 +152,7 @@ uint64_t check_integer_overflows(int i) uint64_t b2 = b[4608 * 1024 * 1024] + 1; // expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}} - int j1 = i ? (4608 * 1024 * 1024) : (4608 * 1024 * 1024); - -// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}} - int j2 = -(4608 * 1024 * 1024); - -// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}} - uint64_t j3 = b[4608 * 1024 * 1024]; + (void)((i ? (4608 * 1024 * 1024) : (4608 * 1024 * 1024)) + 1); // expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}} return ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024))); _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits