[Bug c++/97195] construct_at on a union member is not a constant expression

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97195

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:2805fcb32660bc0cdcd5ba54310f1f02651e039f

commit r11-3581-g2805fcb32660bc0cdcd5ba54310f1f02651e039f
Author: Jakub Jelinek <ja...@redhat.com>
Date:   Thu Oct 1 11:16:44 2020 +0200

    c++: Handle std::construct_at on automatic vars during constant evaluation
[PR97195]

    As mentioned in the PR, we only support due to a bug in constant
expressions
    std::construct_at on non-automatic variables, because we VERIFY_CONSTANT
the
    second argument of placement new, which fails verification if it is an
    address of an automatic variable.
    The following patch fixes it by not performing that verification, the
    placement new evaluation later on will verify it after it is dereferenced.

    2020-10-01  Jakub Jelinek  <ja...@redhat.com>

            PR c++/97195
            * constexpr.c (cxx_eval_call_expression): Don't VERIFY_CONSTANT the
            second argument.

            * g++.dg/cpp2a/constexpr-new14.C: New test.