efriedma added inline comments.
================
Comment at: clang/lib/Sema/SemaExprCXX.cpp:8003
+ !isRValueOfIllegalType(E) &&
+ E->isConstantInitializer(S.getASTContext(), /*ForRef=*/false)) {
+ resetDiagnosticState(InitialState);
----------------
george.burgess.iv wrote:
> efriedma wrote:
> > Just because we can constant-fold an expression, doesn't mean we will,
> > especially at -O0.
> Are there any guarantees that we offer along these lines? The code in
> particular that this cares about boils down to a bunch of integer literals
> doing mixed math with FP literals, all of which gets casted to an `int`.
> Conceptually, it seems silly to me to emit an addition for something as
> straightforward as `int i = 1 + 2.0;`, even at -O0, though I totally agree
> that you're right, and codegen like this is reasonable at -O0:
> https://godbolt.org/z/NS0L17
>
> (This also brings up a good point: this visitor probably shouldn't be run on
> `IsConstexpr` expressions; fixed that later on)
On trunk, we now have the notion of a ConstantExpr; this represents an
expression which the language guarantees must be constant-evaluated. For
example, initializers for static variables in C are always constant-evaluated.
(On a related note, now that we have ConstantExpr, the IsConstexpr operand to
ActOnFinishFullExpr probably isn't necessary.)
Beyond that, no, we don't really have any guarantees. We may or may not try to
constant-evaluate an expression, depending on whether we think it'll save
compile-time. For example, we try to fold branch conditions to avoid emitting
the guarded block of code, but we don't try to fold the initialization of an
arbitrary variable.
I don't think we want to introduce any additional guarantees here, if we can
avoid it.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D38479/new/
https://reviews.llvm.org/D38479
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
