From 55f9bdd88c93b5c8dab631c0808f7f7a541cea14 Mon Sep 17 00:00:00 2001 From: Eli Friedman Date: Sat, 14 Nov 2009 08:51:33 +0000 Subject: [PATCH] Avoid assert-crash in a case where the expression passed to EmitConstantExpr legitimately has side-effects (and needs to be generated as a non-constant). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@88767 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/CGExprConstant.cpp | 4 +--- test/CodeGenCXX/static-init-2.cpp | 6 ++++++ 2 files changed, 7 insertions(+), 3 deletions(-) create mode 100644 test/CodeGenCXX/static-init-2.cpp diff --git a/lib/CodeGen/CGExprConstant.cpp b/lib/CodeGen/CGExprConstant.cpp index b80a9416f5..40b845dba0 100644 --- a/lib/CodeGen/CGExprConstant.cpp +++ b/lib/CodeGen/CGExprConstant.cpp @@ -821,9 +821,7 @@ llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E, else Success = E->Evaluate(Result, Context); - if (Success) { - assert(!Result.HasSideEffects && - "Constant expr should not have any side effects!"); + if (Success && !Result.HasSideEffects) { switch (Result.Val.getKind()) { case APValue::Uninitialized: assert(0 && "Constant expressions should be initialized."); diff --git a/test/CodeGenCXX/static-init-2.cpp b/test/CodeGenCXX/static-init-2.cpp new file mode 100644 index 0000000000..e229dd4aa7 --- /dev/null +++ b/test/CodeGenCXX/static-init-2.cpp @@ -0,0 +1,6 @@ +// RUN: clang-cc -emit-llvm-only -verify %s + +// Make sure we don't crash generating y; its value is constant, but the +// initializer has side effects, so EmitConstantExpr should fail. +int x(); +int y = x() && 0; -- 2.40.0