Subject: Re: bug#34220: failure to building with CompCert, patch proposed

From: Assaf Gordon <[email-masked]>
Date: Fri, 8 Feb 2019 14:36:55 -0700

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