On 20 May 2022 16:39:20 CEST, Segher Boessenkool <seg...@kernel.crashing.org> wrote: >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.
Infer, deduct, refine Sound all plausible, a native speaker should probably help decide the bikeshed :-) thanks,
