frederick-vs-ja wrote:

> * with `-fstrict-vtable-pointers` flag, we update the vtpr assumption 
> correctly (mark the load/store vptr with appropriate invariant group 
> intrinsics) to prevent incorrect vptr load folding;

I _guess_ we want a variant of this intrinsic which doesn't affect analyzation 
for devirtualization. Such an intrinsic should be sufficient for **C++23** 

> * for now, it is non-constant, thus cannot be executed in constant evaluation;

It seems intended that `std::start_lifetime_as(_array)` is not usable in 
constant evaluation, as the indeterminism of implicit object creation doesn't 
seem compatible with constant evaluation.
cfe-commits mailing list

Reply via email to