On Fri, May 20, 2022 at 10:11:32AM +0200, Eric Botcazou wrote: > > I suggest 'deduce', 'deduction', 'deducing a range'. What the code is > > actually doing is deducing that 'b' in 'a / b' cannot be zero. Function in > > GCC might be called like 'deduce_ranges_from_stmt'. > > Or "infer", "inference", "inferring a range".
"Infer" is great here, yes! infer (verb): deduce or conclude (something) from evidence and reasoning rather than from explicit statements It has exactly the connotation wanted here, I would say. Segher