More on the precise analysis of C programs for FLT_EVAL_METHOD==2 Pascal Cuoq on 15 July 2013
Introduction It started innocently enough. My colleagues were talking of supporting target compilers with excess floating-point precision. We saw that if analyzing programs destined to be compiled with strict IEEE 754 compilers was a lovely Spring day at the beach analyzing for compilers that allow excess precision was Normandy in...
Read More