GNU bug report logs - #47031
False positives for ‘-Wunbound-variable’ in 3.0.5

Previous Next

Package: guile;

Reported by: Ludovic Courtès <ludo <at> gnu.org>

Date: Tue, 9 Mar 2021 22:19:01 UTC

Severity: normal

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Subject: bug#47031: closed (Re: bug#47031: False positives for
 ‘-Wunbound-variable’ in 3.0.5)
Date: Sat, 01 May 2021 23:27:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#47031: False positives for ‘-Wunbound-variable’ in 3.0.5

which was filed against the guile package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 47031 <at> debbugs.gnu.org.

-- 
47031: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47031
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: 47031-done <at> debbugs.gnu.org
Subject: Re: bug#47031: False positives for ‘-Wunbound-variable’ in 3.0.5
Date: Sun, 02 May 2021 01:26:43 +0200
Ludovic Courtès <ludo <at> gnu.org> skribis:

> The problem was that ‘make-compound-condition’ is re-exported from (srfi
> srfi-35) and this particular case was not handled.
>
> The attached patch fixes it.  Let me know what you think!

Pushed as 5969490f55e5a167a3eb2573a3c5241c0ce079f3 following the
IRC’d LGTM.  :-)

Ludo’.

[Message part 3 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: bug-guile <at> gnu.org
Subject: False positives for ‘-Wunbound-variable’ in 3.0.5
Date: Tue, 09 Mar 2021 23:18:19 +0100
The new ‘unbound-variable’ warning in 3.0.5 has false positives, as in
this example:

--8<---------------cut here---------------start------------->8---
$ cat /tmp/unbound.scm
(use-modules (srfi srfi-35))

(condition (&message (message "oh no!"))
           (&serious))
$ guild compile -Wunbound-variable /tmp/unbound.scm
/tmp/unbound.scm:3:0: warning: possibly unbound variable `make-compound-condition'
wrote `/home/ludo/.cache/guile/ccache/3.0-LE-8-4.4/tmp/unbound.scm.go'
$ guild --version
guild (GNU Guile) 3.0.5
Copyright (C) 2021 Free Software Foundation, Inc.

License LGPLv3+: GNU LGPL 3 or later <http://gnu.org/licenses/lgpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
--8<---------------cut here---------------end--------------->8---

3.0.4 and earlier versions are fine.

Ludo’.



This bug report was last modified 4 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.