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 the above, I'm closing this as "won't fix". Discussion can continue by replying to this thread. -assaf
