From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 64E053858C62; Mon, 28 Nov 2022 17:58:51 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 64E053858C62 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669658331; bh=IobecaWpho5yiKrphGxQrqTAnz/LwRAT5Dag95o8/GY=; h=From:To:Subject:Date:From; b=dDJTEO+9q1C2dkITBPj8jEO/6A1mbCxFrPvUszIvhFEM9G4LCwk4pfzgestQSq+Ow HGQf2rf4/KbrsvQiigrbPfXxfKnEcrZOL28y1Pd+uQZw2C+Yy9FaEBwXaPWJqrwzw+ 0xk3x7VDlnqLenMkHP9dguR3vCNIK7qBUzKUeit4= From: "gscfq@t-online.de" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/107898] New: [11/12/13 Regression] ICE in irange_intersect, at value-range.cc:1640 Date: Mon, 28 Nov 2022 17:58:51 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: gscfq@t-online.de X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: 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: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107898 Bug ID: 107898 Summary: [11/12/13 Regression] ICE in irange_intersect, at value-range.cc:1640 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: gscfq@t-online.de Target Milestone: --- Started between 20220403 and 20220410,=20 with file gcc.dg/Walloca-larger-than-2.c : (and started between 20201018 and 20201108 with -O1+) $ gcc-13-20221127 -c Walloca-larger-than-2.c -fsanitize=3Daddress -fsanitize=3Dpointer-subtract -fpreprocessed -Walloca-larger-than=3D5000 Walloca-larger-than-2.c:7:1: warning: parameter names (without types) in function declaration 7 | extern void* alloca (__SIZE_TYPE__); | ^~~~~~ Walloca-larger-than-2.c: In function 'test_alloca': Walloca-larger-than-2.c:17:5: warning: implicit declaration of function 'T' [-Wimplicit-function-declaration] 17 | T (alloca (0)); | ^ Walloca-larger-than-2.c:17:16: warning: 'alloca' argument 1 type is 'int' w= here 'long unsigned int' is expected in a call to built-in function declared wit= hout prototype [-Wbuiltin-declaration-mismatch] 17 | T (alloca (0)); | ^ Walloca-larger-than-2.c:7:14: note: built-in 'alloca' declared here 7 | extern void* alloca (__SIZE_TYPE__); | ^~~~~~ Walloca-larger-than-2.c:21:16: warning: 'alloca' argument 1 type is 'int' w= here 'long unsigned int' is expected in a call to built-in function declared wit= hout prototype [-Wbuiltin-declaration-mismatch] 21 | T (alloca (1)); | ^ Walloca-larger-than-2.c:7:14: note: built-in 'alloca' declared here 7 | extern void* alloca (__SIZE_TYPE__); | ^~~~~~ Walloca-larger-than-2.c:24:16: warning: 'alloca' argument 1 type is 'unsign= ed int' where 'long unsigned int' is expected in a call to built-in function declared without prototype [-Wbuiltin-declaration-mismatch] 24 | T (alloca (n)); | ^ Walloca-larger-than-2.c:7:14: note: built-in 'alloca' declared here 7 | extern void* alloca (__SIZE_TYPE__); | ^~~~~~ Walloca-larger-than-2.c:17:5: warning: argument to 'alloca' is zero [-Walloca-larger-than=3D] 17 | T (alloca (0)); | ^~~~~~~~~~~~~~ Walloca-larger-than-2.c:21:5: warning: use of 'alloca' within a loop [-Walloca-larger-than=3D] 21 | T (alloca (1)); | ^~~~~~~~~~~~~~ during GIMPLE pass: walloca Walloca-larger-than-2.c:25:1: internal compiler error: in irange_intersect,= at value-range.cc:2560 25 | } | ^ 0x12550c8 irange::irange_intersect(irange const&) ../../gcc/value-range.cc:2559 0x1251a81 irange::legacy_verbose_intersect(irange const*) ../../gcc/value-range.cc:2324 0x1cc78dc irange::intersect(vrange const&) ../../gcc/value-range.h:969 0x1cc78dc alloca_call_type ../../gcc/gimple-ssa-warn-alloca.cc:228 0x1cc8243 pass_walloca::execute(function*) ../../gcc/gimple-ssa-warn-alloca.cc:292=