public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Haren Visavadia <themis_hv@yahoo.co.uk>
To: Michael Veksler <VEKSLER@il.ibm.com>
Cc: gcc@gcc.gnu.org
Subject: Re: What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point]
Date: Sun, 29 May 2005 17:23:00 -0000	[thread overview]
Message-ID: <20050529120345.82961.qmail@web25708.mail.ukl.yahoo.com> (raw)
In-Reply-To: <OF6FF230B6.EECAD8D5-ON43257010.002C4681-43257010.003907E1@il.ibm.com>

--- Michael Veksler wrote:
> Unfortunately, this is not 100% correct. Recently I
> have filed several
> duplicates, *after* searching Bugzilla.
> 1. There are too many ways to phrase a title, and
> too many
>    times I search for wrong words.
> 
> 2. The same bug may have several different user
>    visible behaviors. You will end up with at least
> one
>    duplicate per user visible behavior.
> 
>    At work, I maintain a bug database for my project
> and I
>    sometimes need to fire-up a debugger to find out
> that
>    a reported bug is a well known one.
> 
>    Many times only a trained developer (in the
> project) can assert
>    that a PR is indeed a duplicate of another one.
> 
> 3. Nontrivial search of GCC Bugzilla are, sometimes,
>    extremely slow (over a minute). This inhibits
> multiple
>    searches. I usually give up after the first one,
> and don't
>    bother with a different type of query (which
> could have
>    revealed a similar PR).

Sometimes it is difficult.

Exposing different visibility behaviors of the bug,
being filling in can save another person filing yet
another duplicate as they can maybe find it in their
search. 

Having different visibility behaviour of the bug being
put in Bugzilla is good IMHO.

> Mostly true, but not always. Bugs will be normally
> marked
> invalid when the bug is in other parts of the
> toolchnain, or
> in the processor. This happens even when it is
> possible to
> implement a work-around in gcc.
> 
> Two examples come in mind:
> 1. Non conformance of x86 to the standard FP due to
>    its extra precision. This includes different
> results
>    between -O2 and -O0 even with -fsave-temps.
>    Several PR about this issue were marked invalid
> in
>    the past.
>    This is a bug in two places:
>     i.  x86 FP which implements wrong precision.
>     ii. glibc that claims in its headers that it
> sets to set
>        default precision to 64 bits, when in
> practice it
>        sets it to 80 bits.
>     Nevertheless, gcc can implement a work-around.
> The
>     PRs may have stayed open with a low priority,
> putting
>     the issue on a list of projects that someone may
> want
>     to pick up.
> 2. GDB crashes on AIX because a bug in either gcc,
> gdb,
>    or the native /bin/as.  Every one of these tools
> points
>    fingers to the other direction. I tend to believe
> the bug
>    is in GDB
> 
>
http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gdb&pr=1170
>    yet, the work-around in gcc is only 2 lines.
>    If GCC and GDB were one project instead of two,
> it is
>    possible that the work-around approach would be
> implemented.
>    But because GDB is a different project, and the
> fix is nontrivial [1]
>    it will probably be never fixed (unless AIX moves
> to dwarf).
> 
> Technically speaking, these are not GCC bugs.
> However, from
> user's POV they *are* GCC bugs. This mismatch
> between user
> and developer perceptions is not very healthy and
> may inhibit
> other PRs. Maybe developers should be more open to
> "fixing"
> things that are not purely GCC bugs?

That's a problem with some of these GCC bugmasters (no
names mentioned) for classify them as not gcc bugs. I
have also been hit by similar problem but it got
fixed.

The toolchain packages are not always in sync. Getting
prerequisite for a toolchain is not that simple at
all.

Some of these problems can limit the usability of GCC,
ie toolchain problem preventing GCC to bootstrap or to
cause other errors.

> 
> Another thing that intimidates users is the
> complexity of
> C and C++. Things that may look like bugs are not
> really
> bugs:
> 1. Undefined (unspecified?) behavior due to aliasing
> rules.
> 2. Two stage name lookup in templates is confusing.
>    Because of that I will not report a bug related
> to templates,
>    before mailing a query to gcc@gcc.gnu.org.
>    It is not only a "fault" of ISO C++, but also of
> gcc [2].
> 
> 
> 
> [1] The fix could be trivial, but I could not find
> it. Despite having no
>     time to learn neither GCC nor GDB source I was
> able to
>    1. Follow the bug from GDB crash back to GCC.
>    2. Find how to trivially "fix" it in GCC.
>    3. Yet I was unable to find how to fix GDB.
>    This leads me to believe that fixing GDB is more
> difficult.

Yes, bugs in GDB are much difficult.

> [2] GCC could implement a better error message. An
> example
>     for a good report is:
>      $ cat t.cpp
>       int f()  {
>         for (int i=0 ; i < 10 ; ++i)
>         {}
>         return i;
>      }
>     $  g++ t.cpp
>     t.cpp: In function 'int f()':
>     t.cpp:4: error: name lookup of 'i' changed for
> new ISO 'for' scoping
>     t.cpp:2: error:   using obsolete binding at 'i'
> 
>    A similar thing could be done for (probably
> nontrivial task)
>    $ cat t2.cpp
>    template <class T> struct A { T t; };
>    // Swap the follwing 2 functions to get valid C++
>    template <class T> void foo(const A<T>& data)
>    { foo((int)data.t); }
>    void foo(int data);
> 
>    Instead of today's uninformative error:
>    t2.cpp: In function `void foo(const A<T>&)':
>    t2.cpp:3: error: no matching function for call to
> `foo(int&)'

Agreed, better error messages are definitely good idea
to make compiler useful. File that in as feature
enhancement PR (Severity set to enhancement).
























	
	
		
___________________________________________________________ 
Yahoo! Messenger - NEW crystal clear PC to PC calling worldwide with voicemail http://uk.messenger.yahoo.com

  parent reply	other threads:[~2005-05-29 12:07 UTC|newest]

Thread overview: 96+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-05-28 17:10 Uros Bizjak
2005-05-28 23:02 ` Scott Robert Ladd
2005-05-28 23:28   ` Daniel Berlin
2005-05-28 23:29   ` William Beebe
2005-05-29  4:47     ` Scott Robert Ladd
2005-05-29 18:32   ` Kai Henningsen
2005-05-29 18:52     ` William Beebe
2005-05-29 19:24       ` What is wrong with Bugzilla? Russ Allbery
2005-05-30 16:32         ` William Beebe
2005-05-30 19:22           ` Russ Allbery
2005-05-30 15:35       ` What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point] Kai Henningsen
2005-05-31  3:50         ` chris jefferson
2005-05-31  5:56           ` Gary Funck
2005-05-31  6:04           ` Paul Brook
2005-05-30 15:39       ` Daniel Berlin
2005-05-29  1:30 ` Vincent Lefevre
2005-05-29 15:57   ` Giovanni Bajo
2005-05-29 18:05     ` Michael Veksler
2005-05-30 15:34       ` Vincent Lefevre
2005-05-30 15:48       ` Daniel Berlin
2005-05-30 15:31         ` Vincent Lefevre
     [not found]       ` <26669933.1117479096256.JavaMail.root@dtm1eusosrv72.dtm.ops.eu.uu.net>
2005-05-30 21:17         ` Toon Moene
2005-05-31 11:24           ` Robert Dewar
2005-06-06 21:47             ` Laurent GUERBY
2005-06-06 23:23               ` Robert Dewar
2005-06-09  7:44                 ` Vincent Lefevre
2005-05-31 12:51           ` Vincent Lefevre
2005-05-31 13:17             ` Andreas Schwab
2005-05-31 13:44               ` Vincent Lefevre
2005-05-31 14:32                 ` Andreas Schwab
2005-05-31 15:10                   ` Vincent Lefevre
2005-05-31 15:58                     ` Andreas Schwab
2005-05-31 16:53                       ` Scott Robert Ladd
2005-05-31 17:03                         ` Andreas Schwab
2005-05-31 18:40                           ` Vincent Lefevre
2005-05-31 19:28                             ` Jakub Jelinek
2005-05-31 23:30                               ` Vincent Lefevre
2005-05-31 18:35                         ` Vincent Lefevre
2005-05-31 17:44                       ` Vincent Lefevre
2005-05-31 20:11                         ` Andreas Schwab
2005-05-31 23:53                           ` Vincent Lefevre
     [not found]                             ` <jefyw3jguf.fsf@sykes.suse.de>
     [not found]                               ` <20050531224258.GJ3541@ay.vinc17.org>
     [not found]                                 ` <jemzqb2eb2.fsf@sykes.suse.de>
2005-06-01  0:23                                   ` Vincent Lefevre
2005-06-01  8:42                                     ` Andreas Schwab
2005-05-31 17:21                     ` Mike Stump
2005-05-31 17:44                       ` Dave Korn
2005-06-01  1:57                         ` Marcin Dalecki
2005-05-31 19:27                       ` Vincent Lefevre
2005-05-31 19:58                         ` Mike Stump
2005-05-31 23:40                           ` Vincent Lefevre
2005-06-01  5:59                             ` Alan Modra
2005-06-01  7:21                               ` Vincent Lefevre
2005-06-01 17:32                                 ` Mike Stump
2005-06-01 18:01                                   ` Daniel Berlin
2005-06-01 18:33                                     ` Mike Stump
2005-05-29 20:13     ` Joseph S. Myers
2005-05-29 20:18       ` Haren Visavadia
2005-05-30 15:40   ` Daniel Berlin
2005-05-30 15:31     ` Vincent Lefevre
2005-05-30 20:12     ` Haren Visavadia
2005-05-30 20:13       ` Robert Dewar
2005-05-30 20:34         ` Haren Visavadia
2005-05-30 20:46           ` Robert Dewar
2005-05-30 21:10             ` Haren Visavadia
2005-05-31  9:11               ` Robert Dewar
2005-05-31 12:33             ` Vincent Lefevre
2005-05-31 12:48               ` Andrew Haley
2005-05-31 13:35                 ` Vincent Lefevre
2005-05-31 14:08                 ` Vincent Lefevre
2005-06-22 19:44     ` What is wrong with Bugzilla? Gerald Pfeifer
2005-05-29  7:33 ` What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point] Ross Smith
2005-05-29  7:51   ` Joe Buck
2005-05-29  9:56     ` R Hill
2005-05-30 17:03       ` What is wrong with Bugzilla? Zack Weinberg
2005-05-30 19:39         ` Gary Funck
2005-05-30 15:48   ` What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point] Daniel Berlin
2005-05-31  7:40     ` R Hill
2005-05-31 12:04       ` What is wrong with Bugzilla? Russ Allbery
2005-05-31 12:08         ` R Hill
2005-05-31 17:14         ` Dave Korn
2005-05-31 17:14           ` Daniel Berlin
2005-05-31 17:43             ` Dave Korn
2005-05-31 19:18               ` Daniel Berlin
2005-05-31 19:43                 ` Dave Korn
2005-05-31 17:22   ` What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point] Hugh Sasse
2005-05-29 12:54 ` Haren Visavadia
2005-05-29 15:19   ` Michael Veksler
2005-05-29 15:38     ` Giovanni Bajo
2005-05-29 18:16       ` Michael Veksler
2005-05-30 16:07       ` Daniel Berlin
2005-05-30 15:36         ` Michael Veksler
2005-05-30 15:28           ` Daniel Berlin
2005-05-30 15:28           ` Daniel Berlin
2005-05-29 17:23     ` Haren Visavadia [this message]
2005-05-30 15:25     ` Joe Buck
2005-05-30 15:31     ` Vincent Lefevre
2005-05-30 15:43     ` Daniel Berlin

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=20050529120345.82961.qmail@web25708.mail.ukl.yahoo.com \
    --to=themis_hv@yahoo.co.uk \
    --cc=VEKSLER@il.ibm.com \
    --cc=gcc@gcc.gnu.org \
    /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).