GNU bug report logs - #34220
failure to building with CompCert, patch proposed

Previous Next

Package: coreutils;

Reported by: DAVID MONNIAUX <david.monniaux <at> univ-grenoble-alpes.fr>

Date: Sun, 27 Jan 2019 16:58:02 UTC

Severity: normal

Tags: wontfix

Done: Assaf Gordon <assafgordon <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #15 received at control <at> debbugs.gnu.org (full text, mbox):

From: Assaf Gordon <assafgordon <at> gmail.com>
To: Paul Eggert <eggert <at> cs.ucla.edu>,
 DAVID MONNIAUX <david.monniaux <at> univ-grenoble-alpes.fr>
Cc: 34220 <at> debbugs.gnu.org, Pádraig Brady <P <at> draigBrady.com>
Subject: Re: bug#34220: failure to building with CompCert, patch proposed
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
This bug report was last modified 6 years and 104 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.