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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>:

https://gcc.gnu.org/g:12f55e030ed068d5c7b14c65a74d102db925dab2

commit r10-7622-g12f55e030ed068d5c7b14c65a74d102db925dab2
Author: Patrick Palka <ppa...@redhat.com>
Date:   Mon Mar 30 19:55:03 2020 -0400

    c++: Function type and parameter type disagreements [PR92010]

    This resolves parts of Core issues 1001/1322 by rebuilding the function
type
    of an instantiated function template in terms of its formal parameter types
    whenever the original function type and formal parameter types disagree
about
    the type of a parameter after substitution.

    gcc/cp/ChangeLog:

            Core issues 1001 and 1322
            PR c++/92010
            * pt.c (rebuild_function_or_method_type): Split function out from
...
            (tsubst_function_type): ... here.
            (maybe_rebuild_function_decl_type): New function.
            (tsubst_function_decl): Use it.

    gcc/testsuite/ChangeLog:

            Core issues 1001 and 1322
            PR c++/92010
            * g++.dg/cpp2a/lambda-uneval11.c: New test.
            * g++.dg/template/array33.C: New test.
            * g++.dg/template/array34.C: New test.
            * g++.dg/template/defarg22.C: New test.

Reply via email to