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

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Patrick Palka
<[email protected]>:

https://gcc.gnu.org/g:040cf529e22c309c0f568823ba4fb1fab6de3d7e

commit r14-12704-g040cf529e22c309c0f568823ba4fb1fab6de3d7e
Author: Patrick Palka <[email protected]>
Date:   Tue Apr 7 12:28:42 2026 -0400

    c++: templated static local var has value-dep addr, cont [PR123529]

    has_value_dependent_address for a static local variable checks type
    dependence of its context, but that's too narrow and we need a more
    general dependence check that considers outer template arguments as
    well, so that in the testcase below we deem A<T>::g()::i to have a
    value-dependent address (making f<&i>() a dependent call).

            PR c++/123529
            PR c++/98930

    gcc/cp/ChangeLog:

            * pt.cc (has_value_dependent_address): Correct context
            dependence check for a static local variable.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1z/nontype9.C: New test.

    Reviewed-by: Jason Merrill <[email protected]>
    (cherry picked from commit 6084b750085ae0de11b65df76b9e590b795afc74)

Reply via email to