public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: "Kaveh R. Ghazi" <ghazi@caip.rutgers.edu>
To: zack@codesourcery.com
Cc: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org
Subject: Re: RFC: should we use -Werror?  (& sample patch to do it)
Date: Fri, 07 Sep 2001 18:47:00 -0000	[thread overview]
Message-ID: <200109080146.VAA12110@caip.rutgers.edu> (raw)

 > From: Zack Weinberg <zack@codesourcery.com>
 > 
 > On Wed, Sep 05, 2001 at 03:51:59PM -0400, Kaveh R. Ghazi wrote:
 > >  > These are not warnings we want to ignore, either.  Those strings
 > >  > really are too long to be safe.
 > >  > Please, can we stop trying to paper over the problems and _fix_ them?
 > > 
 > > Well that's a separate question.  I don't know of any way short of
 > > rewriting the whole specs stuff that Neil was suggesting.  I'm not
 > > generally in favor of papering over things, but at the same time I
 > > don't think -Werror should necessarily bottleneck on a specs
 > > implementation rewrite if a simple workaround is available and the
 > > long term solution is on someone else's todo list.
 > 
 > You and I seem to be coming at this from different angles.  I am not
 > yet convinced that -Werror is actually a good idea, even if we *did*
 > have zero warnings across all targets, which we don't.  I would like
 > to discuss how we can get to zero warnings, instead of how we should
 > enforce its staying that way once we do get there.

Dicussing whether -Werror is a good idea is part of why I posted an
RFC.  I'm not wedded to -Werror, but I would like some way of at least
not getting more warning regressions every week.  I previously
suggested incorporating the output from contrib/warn_summary into the
regression tester.  But not having seen that happen (and not having
the time myself) I thought we could take another approach.


 > The reason I'm not convinced that -Werror would be a good idea even
 > after we get to zero warnings, is that the existing set of warnings
 > have been around for a very long time because they're both harmless
 > and intractable.  (Harmless, in the sense that I am fairly sure the
 > code is in all cases correct, just pulling dubious tricks.)  I feel
 > it's likely that, even if we do solve all of them, we will get more
 > code in the same category - causes harmless, intractable warnings -
 > and then there will be much finger-pointing and raging and gnashing
 > of teeth, should we enforce zero warnings with -Werror.
 > 
 > I'd like to make a comparison to the argument we had over whether
 > patches that exposed bugs elsewhere, should be reverted.  All the
 > warnings in combine.c happen because someone decided mode_bitsize
 > should be unsigned.  They were probably right.  With -Werror, the
 > patch that made it unsigned would have broken bootstrap, and then
 > we would have had an endless unproductive flamewar about it.
 > zw

No with -Werror, the patch wouldn't have been accepted in the first
place because the submitter couldn't have said they were able to
bootstrap with it.  This may have encouraged them to fix the new
warnings too along with their patch submission.  Think of it like
ENABLE_CHECKING failures.  Previously we would have allowed in a patch
which quietly introduced bugs.  Now with ENABLE_CHECKING on by
default, you can't bootstrap your patch if it doesn't pass these
internal consistency checks.  Using -Werror would do an analogous
thing, encourage everyone to not introduce new warnings.

		--Kaveh
--
Kaveh R. Ghazi			Engagement Manager / Project Services
ghazi@caip.rutgers.edu		Qwest Internet Solutions

             reply	other threads:[~2001-09-07 18:47 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-09-07 18:47 Kaveh R. Ghazi [this message]
  -- strict thread matches above, loose matches on Subject: below --
2001-09-07 18:39 Kaveh R. Ghazi
2001-09-07 19:49 ` Zack Weinberg
2001-09-06  9:16 dewar
2001-09-05 20:54 Dan Nicolaescu
2001-09-06  8:44 ` Loïc Joly
2001-09-05 20:36 lucier
2001-09-05 12:52 Kaveh R. Ghazi
2001-09-05 15:06 ` Neil Booth
2001-09-05 19:09 ` Zack Weinberg
2001-09-05 12:09 Kaveh R. Ghazi
2001-09-05 12:33 ` Zack Weinberg
2001-09-07 10:10   ` Marc Espie
2001-09-26 16:52 ` Fergus Henderson
2001-09-26 17:05   ` Joseph S. Myers
2001-09-05 10:59 Kaveh R. Ghazi
2001-09-05 11:17 ` Zack Weinberg
2001-09-05 10:44 Kaveh R. Ghazi
2001-09-05 10:39 Kaveh R. Ghazi
2001-09-05 11:50 ` Richard Henderson
2001-09-04 20:32 Kaveh R. Ghazi
2001-09-04 23:32 ` Neil Booth
2001-09-05  0:27 ` Richard Henderson
2001-09-05  6:57 ` Geoff Keating
2001-09-05 10:35 ` Zack Weinberg
2001-09-05 10:40   ` Neil Booth

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=200109080146.VAA12110@caip.rutgers.edu \
    --to=ghazi@caip.rutgers.edu \
    --cc=gcc-patches@gcc.gnu.org \
    --cc=gcc@gcc.gnu.org \
    --cc=zack@codesourcery.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).