https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125536
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Jakub Jelinek <[email protected]>: https://gcc.gnu.org/g:3dfc02c5bfc79e1ab5c282d274c8a1c1aff0f9b2 commit r16-9766-g3dfc02c5bfc79e1ab5c282d274c8a1c1aff0f9b2 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]> (cherry picked from commit 70f3c5413a3c8d2dd57a8f716dab8e90334b5e96)
