[cfe-dev] temporary object with static storage duration materialization regression with -std=c++17 and above?
Language Lawyer via cfe-dev
cfe-dev at lists.llvm.org
Thu Jan 31 05:25:00 PST 2019
For a top-level lvalue reference to const initialized by a prvalue:
const int& ri = 5;
the object with the value `5` is created in the .rodata section with -std=c++14 and below (which is expected) and in .data with -std=c++17 and above.
https://godbolt.org/z/dbnpM9
I don't see any changes between the standards justifying this.
My guess that clang does not adjust the type of the prvalue as described in [dcl.init.ref]/5.2
> If the converted initializer is a prvalue, its type T4 is adjusted to type “cv1 T4” ([conv.qual]) and the temporary materialization conversion is applied.
With a prvalue initializer of a non-reference-compatible type — `const int& ri = 5.0;` — the object is always created in .rodata.
More information about the cfe-dev
mailing list