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 C96953858296; Mon,  3 Apr 2023 14:01:59 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C96953858296
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1680530519;
	bh=ZMwJ8wnpoz8BXo/JdMd5WtKYQ8VxzL3hDQ48ClHM9dA=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=IMXvSddjVhJVUS/KuoO/spLYZ4We3uu5TiLkTD2xjFGdPnexqa1RBWhReFrIJ6gLK
	 z6ZrKFjs7Ptfsju44mwBFQ3xIGbjHZzbpQFXjpSOBZrqx4GCSI2Fp7n/5cqY6Au9U7
	 aoIJpQDb3SVkT1cTRarjK12qUZUTSDPKO8tBl6VY=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/109303] [13 Regression] ICE in push_agg_values_from_plats,
 at ipa-cp.cc:1458 since r13-3358-ge0403e95689af7d5
Date: Mon, 03 Apr 2023 14:01:58 +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: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: jamborm at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109303-4-cnAIUDVsGA@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109303-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109303-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=3D109303

--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Jambor <jamborm@gcc.gnu.org>:

https://gcc.gnu.org/g:da3fd01757297c1d20cf3dcd76046488da737569

commit r13-6986-gda3fd01757297c1d20cf3dcd76046488da737569
Author: Martin Jambor <mjambor@suse.cz>
Date:   Mon Apr 3 15:53:36 2023 +0200

    ipa: Avoid constructing aggregate jump functions with huge offsets (PR
109303)

    We are in the process of changing data structures holding information
    about constants passed by reference and in aggregates to use unsigned
    int offsets rather than HOST_WIDE_INT (which was selected simply
    because that is what fell out of get_ref_base_and_extent at that time)
    in order to conserve memory, especially at WPA time.

    PR 109303 testcase discovers that we do not properly check that we
    only create jump functions with offsets (plus sizes) that fit into the
    smaller type.  This patch adds the necessary check.

    gcc/ChangeLog:

    2023-03-30  Martin Jambor  <mjambor@suse.cz>

            PR ipa/109303
            * ipa-prop.cc (determine_known_aggregate_parts): Check that the
            offset + size will be representable in unsigned int.

    gcc/testsuite/ChangeLog:

    2023-03-30  Jakub Jelinek  <jakub@redhat.com>
                Martin Jambor  <mjambor@suse.cz>

            PR ipa/109303
            * gcc.dg/pr109303.c: New test.=