https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118632
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The trunk branch has been updated by Jason Merrill <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:c7f16806f3cc8011a3e1bbbf59389df65087f330 commit r15-7240-gc7f16806f3cc8011a3e1bbbf59389df65087f330 Author: Jason Merrill <ja...@redhat.com> Date: Mon Jan 27 12:04:13 2025 -0500 c++: only strip conversions for deduction [PR118632] In r15-2761 I changed unify to always strip IMPLICIT_CONV_EXPR from PARM. In this testcase that leads to comparing nullptr to (int*)0, and failing because they aren't the same. Let's only strip conversions if we're actually going to try to deduce template arguments. While we're at it, let's move this after the early exits. And with this adjustment we can remove the workaround for mangle57.C. PR c++/118632 gcc/cp/ChangeLog: * pt.cc (unify): Only strip conversion if deducible_expression. gcc/testsuite/ChangeLog: * g++.dg/cpp0x/nontype7.C: New test.
