https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125536
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <[email protected]>: https://gcc.gnu.org/g:70f3c5413a3c8d2dd57a8f716dab8e90334b5e96 commit r17-4595-g70f3c5413a3c8d2dd57a8f716dab8e90334b5e96 Author: Jakub Jelinek <[email protected]> Date: Wed Sep 23 09:24:55 2026 +0200 c++: Fix up unify_array_domain [PR125536] The following testcase is incorrectly rejected on lp64 targets. The bug is that unify_array_domain uses forcefully integer_type_node/integer_one_node to add 1 to parm_max or arg_max, regardless of the type it has. From playing with testcases, at least arg_max seems to be pretty much always sizetype/size_t. 2026-09-23 Jakub Jelinek <[email protected]> PR c++/125536 * pt.cc (unify_array_domain): When adding 1 to parm_max or arg_max, perform the addition in the type of those trees rather than unconditionally in int type. * g++.dg/template/unify14.C: New test. Reviewed-by: Jason Merrill <[email protected]>
