tags 34220 wontfix
close 34220
stop
Hello,
On 2019-01-27 9:03 p.m., Paul Eggert wrote:
DAVID MONNIAUX wrote:
under CompCert, floating-point values are not simplified at compile
time
[...]
please file a bug report for CompCert so
that its maintainers can fix the bug in the compiler.
Given
DAVID MONNIAUX wrote:
under CompCert, floating-point values are not simplified at compile time (due
to concerns that this simplification may differ from the operations on the
target platform).
This concern is incorrect for the expression ((int) 1.5 == 1), which must yield
1 regardless of
CompCert (compcert.inria.fr) is a C compiler.
coreutils test whether some types (e.g. time_t) that it thinks should be
integer types (as opposed to floats) using compile-time tricks:
To test whether T is an integer type, it does (T) 1.5 == 1, and uses the result
in the computation of the