public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/33492]  New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
@ 2007-09-19  6:39 reichelt at gcc dot gnu dot org
  2007-09-19  6:40 ` [Bug c++/33492] " reichelt at gcc dot gnu dot org
                   ` (12 more replies)
  0 siblings, 13 replies; 14+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2007-09-19  6:39 UTC (permalink / raw)
  To: gcc-bugs

The C++ frontend generates a broken diagnostic for the following code
snippet since GCC 3.4.0:

=======================
void foo()
{
  if (throw 0)
    ;
}
=======================

bug.cc: In function 'void foo()':
bug.cc:3: error: could not convert 'throw((__cxa_allocate_exception(4u),
#'must_not_throw_expr' not supported by dump_expr#<expression error>),
__cxa_throw(<anonymous>, ((void*)(& _ZTIi)), 0u))' to 'bool'

The "'must_not_throw_expr' not supported by dump_expr" is not implemented,
and the rest of the error message isn't very helpful either.


-- 
           Summary: [4.1/4.2/4.3 regression] Broken diagnostic:
                    'must_not_throw_expr' not supported by dump_expr
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: diagnostic, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
@ 2007-09-19  6:40 ` reichelt at gcc dot gnu dot org
  2007-09-28  4:09 ` mmitchel at gcc dot gnu dot org
                   ` (11 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2007-09-19  6:40 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from reichelt at gcc dot gnu dot org  2007-09-19 06:40 -------
> The C++ frontend generates a broken diagnostic for the following code
> snippet since GCC 3.4.0:

Sorry, that's actually since GCC 3.0.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
  2007-09-19  6:40 ` [Bug c++/33492] " reichelt at gcc dot gnu dot org
@ 2007-09-28  4:09 ` mmitchel at gcc dot gnu dot org
  2007-11-04  0:45 ` pcarlini at suse dot de
                   ` (10 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2007-09-28  4:09 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from mmitchel at gcc dot gnu dot org  2007-09-28 04:09 -------
This kind of problem is why I have long said that we should never, ever try to
dump expressions.  Because we lower some expressions up front, we cannot
possibly reconstruct good expressions from TREE.  Instead, we should do what
EDG does: give accurate source positions (file, line, column) for the offending
expression.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
  2007-09-19  6:40 ` [Bug c++/33492] " reichelt at gcc dot gnu dot org
  2007-09-28  4:09 ` mmitchel at gcc dot gnu dot org
@ 2007-11-04  0:45 ` pcarlini at suse dot de
  2008-07-04 22:17 ` [Bug c++/33492] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
                   ` (9 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: pcarlini at suse dot de @ 2007-11-04  0:45 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #3 from pcarlini at suse dot de  2007-11-04 00:44 -------
Hi Gaby. Any suggestions for this bug? The must_not_throw_expr thing is trivial
(just like non_dependent_expr, cxx-pretty-print.c is already ok), but what
about the rest, short term?  Thanks.


-- 

pcarlini at suse dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gdr at cs dot tamu dot edu,
                   |                            |pcarlini at suse dot de


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.2/4.3/4.4 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (2 preceding siblings ...)
  2007-11-04  0:45 ` pcarlini at suse dot de
@ 2008-07-04 22:17 ` jsm28 at gcc dot gnu dot org
  2009-02-12 15:22 ` paolo dot carlini at oracle dot com
                   ` (8 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2008-07-04 22:17 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #4 from jsm28 at gcc dot gnu dot org  2008-07-04 22:16 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2/4.3/4.4 regression]|[4.2/4.3/4.4 regression]
                   |Broken diagnostic:          |Broken diagnostic:
                   |'must_not_throw_expr' not   |'must_not_throw_expr' not
                   |supported by dump_expr      |supported by dump_expr
   Target Milestone|4.1.3                       |4.2.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.2/4.3/4.4 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (3 preceding siblings ...)
  2008-07-04 22:17 ` [Bug c++/33492] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
@ 2009-02-12 15:22 ` paolo dot carlini at oracle dot com
  2009-03-06 23:52 ` paolo at gcc dot gnu dot org
                   ` (7 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: paolo dot carlini at oracle dot com @ 2009-02-12 15:22 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #5 from paolo dot carlini at oracle dot com  2009-02-12 15:22 -------
Let's see...


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |paolo dot carlini at oracle
                   |dot org                     |dot com
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-02-12 15:22:07
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.2/4.3/4.4 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (4 preceding siblings ...)
  2009-02-12 15:22 ` paolo dot carlini at oracle dot com
@ 2009-03-06 23:52 ` paolo at gcc dot gnu dot org
  2009-03-06 23:53 ` [Bug c++/33492] [4.2/4.3 " paolo dot carlini at oracle dot com
                   ` (6 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: paolo at gcc dot gnu dot org @ 2009-03-06 23:52 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #6 from paolo at gcc dot gnu dot org  2009-03-06 23:52 -------
Subject: Bug 33492

Author: paolo
Date: Fri Mar  6 23:52:02 2009
New Revision: 144686

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144686
Log:
/cp
2009-03-06  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/33492
        * error.c (dump_expr): Don't try to print THROW_EXPRs in full.

/testsuite
2009-03-06  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/33492
        * g++.dg/other/error32.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/other/error32.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/error.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (5 preceding siblings ...)
  2009-03-06 23:52 ` paolo at gcc dot gnu dot org
@ 2009-03-06 23:53 ` paolo dot carlini at oracle dot com
  2009-04-21 16:02 ` jakub at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: paolo dot carlini at oracle dot com @ 2009-03-06 23:53 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #7 from paolo dot carlini at oracle dot com  2009-03-06 23:53 -------
Fixed for 4.4.0.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|paolo dot carlini at oracle |unassigned at gcc dot gnu
                   |dot com                     |dot org
             Status|ASSIGNED                    |NEW
            Summary|[4.2/4.3/4.4 regression]    |[4.2/4.3 regression] Broken
                   |Broken diagnostic:          |diagnostic:
                   |'must_not_throw_expr' not   |'must_not_throw_expr' not
                   |supported by dump_expr      |supported by dump_expr
   Target Milestone|4.2.5                       |4.4.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (6 preceding siblings ...)
  2009-03-06 23:53 ` [Bug c++/33492] [4.2/4.3 " paolo dot carlini at oracle dot com
@ 2009-04-21 16:02 ` jakub at gcc dot gnu dot org
  2009-07-22 10:33 ` jakub at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-04-21 16:02 UTC (permalink / raw)
  To: gcc-bugs



-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.0                       |4.4.1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (7 preceding siblings ...)
  2009-04-21 16:02 ` jakub at gcc dot gnu dot org
@ 2009-07-22 10:33 ` jakub at gcc dot gnu dot org
  2009-10-15 12:56 ` jakub at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-07-22 10:33 UTC (permalink / raw)
  To: gcc-bugs



-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.1                       |4.4.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (8 preceding siblings ...)
  2009-07-22 10:33 ` jakub at gcc dot gnu dot org
@ 2009-10-15 12:56 ` jakub at gcc dot gnu dot org
  2009-12-15 16:36 ` [Bug c++/33492] [4.3 " rguenth at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-10-15 12:56 UTC (permalink / raw)
  To: gcc-bugs



-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.2                       |4.4.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (9 preceding siblings ...)
  2009-10-15 12:56 ` jakub at gcc dot gnu dot org
@ 2009-12-15 16:36 ` rguenth at gcc dot gnu dot org
  2009-12-26 13:52 ` paolo dot carlini at oracle dot com
  2009-12-26 21:49 ` paolo dot carlini at oracle dot com
  12 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-12-15 16:36 UTC (permalink / raw)
  To: gcc-bugs



-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.4.0
            Summary|[4.2/4.3 regression] Broken |[4.3 regression] Broken
                   |diagnostic:                 |diagnostic:
                   |'must_not_throw_expr' not   |'must_not_throw_expr' not
                   |supported by dump_expr      |supported by dump_expr
   Target Milestone|4.4.3                       |4.3.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (10 preceding siblings ...)
  2009-12-15 16:36 ` [Bug c++/33492] [4.3 " rguenth at gcc dot gnu dot org
@ 2009-12-26 13:52 ` paolo dot carlini at oracle dot com
  2009-12-26 21:49 ` paolo dot carlini at oracle dot com
  12 siblings, 0 replies; 14+ messages in thread
From: paolo dot carlini at oracle dot com @ 2009-12-26 13:52 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #8 from paolo dot carlini at oracle dot com  2009-12-26 13:52 -------
Will not be fixed in 4_3-branch.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.3.5                       |---


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

* [Bug c++/33492] [4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr
  2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
                   ` (11 preceding siblings ...)
  2009-12-26 13:52 ` paolo dot carlini at oracle dot com
@ 2009-12-26 21:49 ` paolo dot carlini at oracle dot com
  12 siblings, 0 replies; 14+ messages in thread
From: paolo dot carlini at oracle dot com @ 2009-12-26 21:49 UTC (permalink / raw)
  To: gcc-bugs



-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.4.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33492


^ permalink raw reply	[flat|nested] 14+ messages in thread

end of thread, other threads:[~2009-12-26 21:49 UTC | newest]

Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-09-19  6:39 [Bug c++/33492] New: [4.1/4.2/4.3 regression] Broken diagnostic: 'must_not_throw_expr' not supported by dump_expr reichelt at gcc dot gnu dot org
2007-09-19  6:40 ` [Bug c++/33492] " reichelt at gcc dot gnu dot org
2007-09-28  4:09 ` mmitchel at gcc dot gnu dot org
2007-11-04  0:45 ` pcarlini at suse dot de
2008-07-04 22:17 ` [Bug c++/33492] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
2009-02-12 15:22 ` paolo dot carlini at oracle dot com
2009-03-06 23:52 ` paolo at gcc dot gnu dot org
2009-03-06 23:53 ` [Bug c++/33492] [4.2/4.3 " paolo dot carlini at oracle dot com
2009-04-21 16:02 ` jakub at gcc dot gnu dot org
2009-07-22 10:33 ` jakub at gcc dot gnu dot org
2009-10-15 12:56 ` jakub at gcc dot gnu dot org
2009-12-15 16:36 ` [Bug c++/33492] [4.3 " rguenth at gcc dot gnu dot org
2009-12-26 13:52 ` paolo dot carlini at oracle dot com
2009-12-26 21:49 ` paolo dot carlini at oracle dot com

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).