From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28129 invoked by alias); 1 May 2013 16:20:18 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 28105 invoked by uid 48); 1 May 2013 16:20:14 -0000 From: "zbyszek at in dot waw.pl" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/57137] New: spurious "format string is not literal" when the format string is marked with __attribute__((format)) Date: Wed, 01 May 2013 16:20:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: zbyszek at in dot waw.pl X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-05/txt/msg00021.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D57137 Bug #: 57137 Summary: spurious "format string is not literal" when the format string is marked with __attribute__((format)) Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassigned@gcc.gnu.org ReportedBy: zbyszek@in.waw.pl If the format string is marked as a printf format with an attribute format((printf(...)) on the wrapper function, then gcc should know that it's either a valid printf format, or will be warned about at the point where it is passed to the wrapper function, and shouldn't warn that the format string is not a literal. Attached example gives: unit.c: In function =E2=80=98unit_status_printf=E2=80=99: unit.c:6:9: warning: format not a string literal, argument types not checked [-Wformat-nonliteral] manager_status_printf(status, unit_status_msg_format, "xxx"); ^ It is possible to work around by placing #pragma GCC diagnostic ignored "-Wformat-nonliteral" before the function, but that feels like a kludge. >>From gcc-bugs-return-421349-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed May 01 16:20:55 2013 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 28898 invoked by alias); 1 May 2013 16:20:55 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 28880 invoked by uid 48); 1 May 2013 16:20:52 -0000 From: "zbyszek at in dot waw.pl" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/57137] spurious "format string is not literal" when the format string is marked with __attribute__((format)) Date: Wed, 01 May 2013 16:20:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: zbyszek at in dot waw.pl X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-05/txt/msg00022.txt.bz2 Content-length: 270 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D57137 --- Comment #1 from Zbigniew J=C4=99drzejewski-Szmek 2013-05-01 16:20:52 UTC --- Created attachment 29988 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=3D29988 preprocessed example >>From gcc-bugs-return-421350-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed May 01 16:22:11 2013 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 29903 invoked by alias); 1 May 2013 16:22:11 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 29868 invoked by uid 48); 1 May 2013 16:22:08 -0000 From: "zbyszek at in dot waw.pl" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/57137] spurious "format string is not literal" when the format string is marked with __attribute__((format)) Date: Wed, 01 May 2013 16:22:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: zbyszek at in dot waw.pl X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-05/txt/msg00023.txt.bz2 Content-length: 219 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D57137 --- Comment #2 from Zbigniew J=C4=99drzejewski-Szmek 2013-05-01 16:22:08 UTC --- Forgot to specify gcc version: gcc-4.8.0-2.fc19.x86_64 >>From gcc-bugs-return-421351-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed May 01 16:24:36 2013 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 32065 invoked by alias); 1 May 2013 16:24:36 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 31823 invoked by uid 48); 1 May 2013 16:24:33 -0000 From: "zbyszek at in dot waw.pl" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/57137] spurious "format string is not literal" when the format string is marked with __attribute__((format)) Date: Wed, 01 May 2013 16:24:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: zbyszek at in dot waw.pl X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-SW-Source: 2013-05/txt/msg00024.txt.bz2 Content-length: 265 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D57137 --- Comment #3 from Zbigniew J=C4=99drzejewski-Szmek 2013-05-01 16:24:32 UTC --- Created attachment 29989 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=3D29989 minimal example >>From gcc-bugs-return-421352-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed May 01 16:54:21 2013 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 26921 invoked by alias); 1 May 2013 16:54:21 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 26716 invoked by uid 48); 1 May 2013 16:54:18 -0000 From: "dominiq at lps dot ens.fr" To: gcc-bugs@gcc.gnu.org Subject: [Bug fortran/57129] [4.7/4.8/4.9 Regression] ICE (segfault) in check_extended_derived_type Date: Wed, 01 May 2013 16:54:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: fortran X-Bugzilla-Keywords: error-recovery, ice-on-invalid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: dominiq at lps dot ens.fr X-Bugzilla-Status: NEW X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Status Last reconfirmed Summary Ever Confirmed Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 X-SW-Source: 2013-05/txt/msg00025.txt.bz2 Content-length: 1250 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57129 Dominique d'Humieres changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-05-01 Summary|ICE (segfault) in |[4.7/4.8/4.9 Regression] |check_extended_derived_type |ICE (segfault) in | |check_extended_derived_type Ever Confirmed|0 |1 --- Comment #1 from Dominique d'Humieres 2013-05-01 16:54:17 UTC --- Revision 181424 gives the following errors pr57129.f90:2.8: type t 1 Error: PROCEDURE attribute of 't' conflicts with DERIVED attribute at (1) pr57129.f90:3.5: end type t 1 Error: Expecting END SUBROUTINE statement at (1) pr57129.f90:4.18: type, extends(t) :: t2 1 Error: 't' in EXTENDS expression at (1) is not a derived type pr57129.f90:5.5: end type t2 1 Error: Expecting END SUBROUTINE statement at (1) revision 181425 gives the ICE.