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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
OK, so it's indeed an isolated path we warn on:

<bb 111> [local count: 2735590]:
_46 = global_options.x_param_max_fsm_thread_path_insns;
if (_46 <= n_insns_157)
  goto <bb 113>; [34.00%]
else
  goto <bb 116>; [66.00%]

<bb 116> [local count: 1805491]:
n_insns_346 = ASSERT_EXPR <n_insns_157, n_insns_157 < _46>;
_233 = m_path_340->m_vec;
if (_233 != 0B)
  goto <bb 119>; [70.00%]
else
  goto <bb 175>; [30.00%]

<bb 175> [local count: 541647]:
_379 = ASSERT_EXPR <_233, _233 == 0B>;

<bb 117> [local count: 541647]:
_286 = MEM[(struct vec *)0B].m_vecpfx.m_num;
_381 = ASSERT_EXPR <0B, 0B != 0B>;
if (_286 != 4294967295)
  goto <bb 120>; [0.00%]
else
  goto <bb 118>; [100.00%]

<bb 118> [local count: 541647]:
_391 = ASSERT_EXPR <4294967294, 4294967294 < _286>;
_290 = MEM <struct vec> [(struct basic_block_def * const
&)_381].m_vecdata[4294967294];
goto <bb 122>; [100.00%]

Reply via email to