Hey, On Tue, 28 Jan 2025, Richard Biener wrote:
> > I think as long as that is the case your proposed changes makes sense. > > But perhaps it's worth a comment to that effect, i.e. that because > > dependence analysis is wonky (sometime using zero as unknown) we do these > > "strange" tests. At least for the occasional reader it will be > > unintuitive why the obvious tests aren't working. > > Like this? Yep :-) Ciao, Michael.
