On Mon, Jan 07, 2019 at 12:10:38PM +0000, Richard Sandiford wrote: > Alan Modra <amo...@gmail.com> writes: > > +/* Given an attribute value expression, return the maximum value that > > + might be evaluated assuming all conditionals are independent. > > + Return INT_MAX if the value can't be calculated by this function. */ > > Not sure about "assuming all conditionals are independent". All three > functions should be conservatively correct without any assumptions.
True. I'll drop that phrase. The functions aren't even guaranteed to give an exactly correct result if they contain any conditions.. > OK without that part if you agree. -- Alan Modra Australia Development Lab, IBM
