Re: [PATCH] tree-optimization/118521 - bogus diagnostic from unreachable code

On Thu, 20 Feb 2025, Jeff Law wrote: > > > On 2/20/25 5:47 AM, Richard Biener wrote: > > When SCCP does final value replacement we end up with unfolded IL like > > > > __result_274 = _150 + 1; > > ... > > __new_finish_106 = __result_274 + 3; <-- from SCCP > > _115 = _150 + 4; > > if (__new_fin

Re: [PATCH] tree-optimization/118521 - bogus diagnostic from unreachable code

On 2/20/25 5:47 AM, Richard Biener wrote: When SCCP does final value replacement we end up with unfolded IL like __result_274 = _150 + 1; ... __new_finish_106 = __result_274 + 3; <-- from SCCP _115 = _150 + 4; if (__new_finish_106 != _115) this does only get rectified by the next full foldi

[PATCH] tree-optimization/118521 - bogus diagnostic from unreachable code

When SCCP does final value replacement we end up with unfolded IL like __result_274 = _150 + 1; ... __new_finish_106 = __result_274 + 3; <-- from SCCP _115 = _150 + 4; if (__new_finish_106 != _115) this does only get rectified by the next full folding which happens in forwprop4 which is after th