GNU bug report logs - #40780
guile 3.0.2: Prevent warning using libguile with -Wpedantic (redefinition)

Previous Next

Full log

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

From: Hannes Müller <h.c.f.mueller <at> gmail.com>
To: 40780 <at> debbugs.gnu.org
Subject: guile 3.0.4: #40780 can be closed (typedef redefinition allowed in
 c11)
Date: Sat, 05 Dec 2020 12:25:25 +0100

Dear Maintainer,

I consider this bug report can be closed.

The 2011 C standard allows redeclaration of typedef names. 6.7 3 says:
… a typedef name may be redefined to denote the same type as it
currently does, provided that type is not a variably modified type;…

I compiled my application with -std=c11 and -Wpedantic using libguile
3.0.4: no warning is shown any more. 

Thanks!
Hannes

Previous Next

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