https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84099
Bug ID: 84099
Summary: Dynamic initialization is performed in case when
constant initialization is permitted
Product: gcc
Version: 8.0.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: antoshkka at gmail dot com
Target Milestone: ---
The following code
struct foo {
const char* data_;
unsigned size_;
foo(const char* data, unsigned size) noexcept
: data_(data)
, size_(size)
{}
};
foo test() {
static const foo v{"Hello", 5};
return v;
}
Produces disassembly with dynamic initialization of the `v` variable. However
in this case C++ Standard permits constant initialization:
"An implementation is permitted to perform the initialization of a variable
with static or thread storage duration as a static initialization even if such
initialization is not required to be done statically, provided that
— the dynamic version of the initialization does not change the value of any
other object of static or thread storage duration prior to its initialization,
and
— the static version of the initialization produces the same value in the
initialized variable as would be produced by the dynamic initialization if all
variables not required to be initialized statically were initialized
dynamically.
"
Optimal assembly would look like
.LC0:
.string "Hello"
test():
mov eax, OFFSET FLAT:.LC0
mov edx, 5
ret
