[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34220: failure to building with CompCert, patch proposed
From: |
Assaf Gordon |
Subject: |
bug#34220: failure to building with CompCert, patch proposed |
Date: |
Fri, 8 Feb 2019 14:36:55 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#34220: failure to building with CompCert, patch proposed,
Assaf Gordon <=