How we expanded GCC value range propagation to floats | Red Hat Developer
Value range propagation (VRP) is an optimization tool used in compilers. The article Value range propagation in GCC with Project Ranger describes how this optimization works and how the GCC team implements it for C and C++ programs. This article will explain how we expand VRP beyond integers and pointers to other data types, particularly floating-point numbers.
Also: Richard Stallman [Ed: The title of the page and URL slug say "Rechard"; he cannot even spell it right]