From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 56AC13858D32; Sun, 14 Jan 2024 07:33:07 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 56AC13858D32 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1705217587; bh=fiwDIPsooYQOowoERgRkYjuDZwobTJT42RACaOYdcbo=; h=From:To:Subject:Date:In-Reply-To:References:From; b=DCFj4dPIhEmVueZeEfRQm91HOxGe9x+tYr8xCpRWVdwcwtn1w0JDOj/wtz2k1tyqO gE2BnnUfX9pb6vYvF6V4E1xTIYlFJyt+mSYCdly/tv89xO9ZjH/C4b3Bol5idpzuix h0KBNSHR3sAIFY1X1k35JnK+JvhqQVNwjiweACSg= From: "pinskia at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/113385] [14 regression] ICE when building opencv (dfs_enumerate_from, at cfganal.cc:1590) Date: Sun, 14 Jan 2024 07:33:06 +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: 14.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: pinskia at gcc dot gnu.org 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: 14.0 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 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D113385 --- Comment #2 from Andrew Pinski --- Fuller backtrace: ``` #2 0x000000000083f554 in dfs_enumerate_from (bb=3D, reverse=3Dreverse@entry=3D1, predicate=3Dpredicate@entry=3D0xe00620 , rslt=3D, rslt@entry=3D0x4604c70, rslt_max=3D36, data=3Ddata@entry=3D0x7fffddb02960) at /home/apinski/src/upstream-gcc-match/gcc/gcc/cfganal.cc:1590 #3 0x0000000000e01272 in get_loop_body_with_size (max_size=3D, body=3D0x4604c70, loop=3D0x7fffddb02960) at /home/apinski/src/upstream-gcc-match/gcc/gcc/cfgloop.cc:872 #4 get_loop_body (loop=3Dloop@entry=3D0x7fffddb02960) at /home/apinski/src/upstream-gcc-match/gcc/gcc/cfgloop.cc:901 #5 0x00000000014d0bea in estimate_numbers_of_iterations (loop=3D0x7fffddb0= 2960) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4833 #6 0x00000000014d4616 in loop_exits_before_overflow (loop=3D0x7fffddb02960, at_stmt=3D0x7fffd7d63d20, step=3D0x7ffff4314f48, base=3D0x7ffff76603a8) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:5259 #7 scev_probably_wraps_p (var=3Dvar@entry=3D0x0, base=3Dbase@entry=3D0x7ff= ff76603a8, step=3Dstep@entry=3D0x7ffff4314f48, at_stmt=3D0x7fffd7d63d20, loop=3Dloop@entry=3D0x7fffddb02960, use_overflow_semantics=3Duse_overflow_semantics@entry=3Dfalse) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:5511 #8 0x0000000002462fff in convert_affine_scev (loop=3D0x7fffddb02960, type=3D, base=3D0x7fffffffc1d0, step=3D0x7fffffffc1d8, at_stmt=3D, use_overflow_semantics=3D, from=3D0x7fffd814b708) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-chrec.cc:1425 #9 0x0000000002462a59 in chrec_convert_1 (type=3D0x7ffff7826738, chrec=3D0x7fffd7d819b0, at_stmt=3D0x7fffd7d63d20, use_overflow_semantics=3D= , from=3D0x7fffd814b708) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-chrec.cc:1483 #10 0x000000000141b887 in interpret_gimple_assign (stmt=3D0x7fffd7d63d20, loop=3D0x7fffddb02960) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-scalar-evolution.cc:1919 #11 analyze_scalar_evolution_1 (loop=3D0x7fffddb02960, var=3D0x7fffd8130828= ) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-scalar-evolution.cc:1970 #12 0x000000000141c193 in analyze_scalar_evolution (loop=3D0x7fffddb02960, var=3D0x7fffd8130828) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-scalar-evolution.cc:2039 #13 0x000000000141eceb in analyze_scalar_evolution_in_loop (wrto_loop=3Dwrto_loop@entry=3D0x7fffddb02960, use_loop=3Duse_loop@entry=3D0x7fffddb02960, version=3D, folded_casts=3Dfolded_casts@entry=3D0x7fffffffc37b) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-scalar-evolution.cc:2165 #14 0x0000000001420696 in simple_iv_with_niters (wrto_loop=3D0x7fffddb02960, use_loop=3D0x7fffddb02960, op=3D, iv=3D0x7fffffffc480, iv_ni= ters=3D0x0, allow_nonconstant_step=3Dfalse) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-scalar-evolution.cc:3237 #15 0x00000000014c2c02 in get_cst_init_from_scev (var=3Dvar@entry=3D0x7fffd= 8130828, init=3Dinit@entry=3D0x7fffffffc580, is_min=3Dis_min@entry=3Dtrue) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4015 #16 0x00000000014c64f0 in record_nonwrapping_iv (loop=3D0x7fffddaf0320, base=3D0x7fffe6031d00, step=3D0x7ffff692fbb8, stmt=3D0x7fffd8121cb8, low=3D0x7ffff76603a8, high=3D, upper=3Dtrue, realistic=3Dfal= se) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4101 #17 0x00000000014c6bb9 in infer_loop_bounds_from_signedness (loop=3D0x7fffddaf0320, stmt=3D0x7fffd8121cb8) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4380 #18 0x00000000014d21c3 in infer_loop_bounds_from_undefined (bbs=3D, loop=3D) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4418 #19 estimate_numbers_of_iterations (loop=3D0x7fffddaf0320) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4872 #20 0x00000000014d3f38 in estimated_loop_iterations (nit=3D0x7fffffffd340, loop=3D0x7fffddaf0320) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4904 #21 estimated_loop_iterations_int (loop=3Dloop@entry=3D0x7fffddaf0320) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:4919 #22 0x00000000014d3f69 in estimated_stmt_executions_int (loop=3Dloop@entry=3D0x7fffddaf0320) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-ssa-loop-niter.cc:5007 #23 0x00000000015e1c58 in vect_analyze_loop_costing (loop_vinfo=3D, suggested_unroll_factor=3D) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-vect-loop.cc:2450 #24 0x00000000015ee8df in vect_analyze_loop_2 (loop_vinfo=3D, fatal=3D, suggested_unroll_factor=3D0x7fffffffd83c, slp_done_for_suggested_uf=3D@0x7fffffffd83b: false) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-vect-loop.cc:3187 #25 0x00000000015f050f in vect_analyze_loop_1 (loop=3D0x7fffddaf0320, shared=3D0x7fffffffda70, loop_form_info=3D0x7fffffffd900, main_loop_vinfo= =3D0x0, vector_modes=3D..., mode_i=3D@0x7fffffffd8dc: 0, autodetected_vector_mode=3D@0x7fffffffd8d8: E_VOIDmode, fatal=3D@0x7fffffff= d8d7: false) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-vect-loop.cc:3482 #26 0x00000000015f0d38 in vect_analyze_loop (loop=3Dloop@entry=3D0x7fffddaf= 0320, shared=3Dshared@entry=3D0x7fffffffda70) at /home/apinski/src/upstream-gcc-match/gcc/gcc/tree-vect-loop.cc:3639 ``` I am suspecting it was related to Tamar's patches but more related to the p= atch which fixed PR113210 .=