From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 629953858C60; Thu,  9 Feb 2023 11:37:32 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 629953858C60
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1675942652;
	bh=roaQhesyJc9VGQP0QhR31SAor/h3s0B4806Zw4/RTLc=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=q8bBD9JOg7RQv6ENT2hFij1jOJ2vmbUUMgW6pmlx0ydZ9hymZq+hdGSK9Sn0yv+L7
	 yCw+HjRtOBXTqIASuXppN9ZO0EsVEsQGw/m00SrSKpRsK8DEjxIBNXwcxQ5rcKBXj4
	 GPLOcDIFChAyBsXREmQM2pLSPz2y9X5S8BgDbzb0=
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/105438] [11/12/13 Regression] Incorrect array-bounds
 warning with array size carried over from a previous template instantiation
 since r11-4987-g602c6cfc79ce4ae6
Date: Thu, 09 Feb 2023 11:37:31 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 11.3.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-105438-4-PbNiOe7rk0@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-105438-4@http.gcc.gnu.org/bugzilla/>
References: <bug-105438-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #11 from Martin Li=C5=A1ka <marxin at gcc dot gnu.org> ---
(In reply to Bernie Innocenti from comment #10)
> Still present on GCC 12.2.
>=20
> Could someone look into it please, or point me at the point in ipa-icf.cc
> where the array-bounds analysis information should have been updated after
> merging the template instantiations?

Well, you will need to modify all parameters and local variables at the end=
 of
sem_function::merge function.=