From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 4CAF83858D32; Thu, 7 Jul 2022 12:40:14 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4CAF83858D32 From: "marxin at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/106189] [10/11/12/13 Regression] ICE: Floating point exception since r9-1948-gd893b683f40884cd Date: Thu, 07 Jul 2022 12:40:14 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: marxin at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 10.5 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: 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 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 07 Jul 2022 12:40:14 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D106189 --- Comment #2 from Martin Li=C5=A1ka --- Reduced test-case: $ cat warray-bounds.c a_n_0_0_a[][0]; a_n_0_0() { T(((char *)a_n_0_0_a)[1]); } $ gcc warray-bounds.c -c -O2 -Warray-bounds=3D2 -w during GIMPLE pass: vrp warray-bounds.c: In function =E2=80=98a_n_0_0=E2=80=99: warray-bounds.c:2:1: internal compiler error: Floating point exception 2 | a_n_0_0() { T(((char *)a_n_0_0_a)[1]); } | ^~~~~~~ 0xf59efa crash_signal /home/marxin/Programming/gcc/gcc/toplev.cc:322 0x7ffff78567bf ??? =20=20=20=20=20=20=20 /usr/src/debug/glibc-2.35-5.1.x86_64/signal/../sysdeps/unix/sysv/linux/x86_= 64/libc_sigaction.c:0 0x1d1b484 array_bounds_checker::check_mem_ref(unsigned int, tree_node*, boo= l) /home/marxin/Programming/gcc/gcc/gimple-array-bounds.cc:537 0x1d1baf9 array_bounds_checker::check_array_bounds(tree_node**, int*, void*) /home/marxin/Programming/gcc/gcc/gimple-array-bounds.cc:727 0x12662cb walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*), void*, hash_set >*, tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*, hash_set >*)) /home/marxin/Programming/gcc/gcc/tree.cc:11237 0xc4d120 walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*), walk_stmt_info*) /home/marxin/Programming/gcc/gcc/gimple-walk.cc:202 0x1d19a5a check_array_bounds_dom_walker::before_dom_children(basic_block_de= f*) /home/marxin/Programming/gcc/gcc/gimple-array-bounds.cc:790 0x1d02fe5 dom_walker::walk(basic_block_def*) /home/marxin/Programming/gcc/gcc/domwalk.cc:311 0x1d19c9b array_bounds_checker::check() /home/marxin/Programming/gcc/gcc/gimple-array-bounds.cc:804 0x123e421 execute_vrp /home/marxin/Programming/gcc/gcc/tree-vrp.cc:4235 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See for instructions.=