public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr
@ 2013-04-09 15:34 Woebbeking at web dot de
  2013-04-09 16:07 ` [Bug c++/56895] " paolo.carlini at oracle dot com
                   ` (16 more replies)
  0 siblings, 17 replies; 18+ messages in thread
From: Woebbeking at web dot de @ 2013-04-09 15:34 UTC (permalink / raw)
  To: gcc-bugs


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

             Bug #: 56895
           Summary: ICE: unexpected expression of kind arrow_expr
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Woebbeking@web.de


Created attachment 29843
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29843
reduced test case

Hi,

I get an ICE with the attached test case.

I'm using GCC 4.8.0 from Debian experimental (x86_64).


Cheers,
André
>From gcc-bugs-return-419616-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 09 15:56:51 2013
Return-Path: <gcc-bugs-return-419616-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 18561 invoked by alias); 9 Apr 2013 15:56:51 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 18254 invoked by uid 48); 9 Apr 2013 15:56:48 -0000
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug plugins/56893] gcc-ar-4.7: Cannot find liblto_plugin.so on Darwin
Date: Tue, 09 Apr 2013 15:56:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: plugins
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: Status Resolution
Message-ID: <bug-56893-4-C11MMq5DNP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56893-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56893-4@http.gcc.gnu.org/bugzilla/>
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-04/txt/msg00761.txt.bz2
Content-length: 724


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV893

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2013-04-09 15:56:47 UTC ---
gcc-ar is for use with newer GNU binutils only as that is the only ar which
supports plugins.  Apple's ar does not support plugins (though it could be made
to; it will be a different plugin interface than the GNU BFD plugin interface
which GCC supports right now).


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

* [Bug c++/56895] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
@ 2013-04-09 16:07 ` paolo.carlini at oracle dot com
  2013-04-09 16:11 ` markus at trippelsdorf dot de
                   ` (15 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-04-09 16:07 UTC (permalink / raw)
  To: gcc-bugs


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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal


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

* [Bug c++/56895] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
  2013-04-09 16:07 ` [Bug c++/56895] " paolo.carlini at oracle dot com
@ 2013-04-09 16:11 ` markus at trippelsdorf dot de
  2013-04-09 16:20 ` [Bug c++/56895] [4.8/4.9 Regression] " paolo.carlini at oracle dot com
                   ` (14 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: markus at trippelsdorf dot de @ 2013-04-09 16:11 UTC (permalink / raw)
  To: gcc-bugs


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

Markus Trippelsdorf <markus at trippelsdorf dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |markus at trippelsdorf dot
                   |                            |de

--- Comment #1 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2013-04-09 16:11:24 UTC ---
A bit more reduced:
 % cat test.ii
struct A
{
    int *foo ();
    A bar ();
}
*a;

template <class> void
fn1 ()
{
    0 << (a->bar().foo() ? 1 : 0);
}

 % c++ -c test.ii
test.ii: In function ‘void fn1()’:
test.ii:11:33: internal compiler error: unexpected expression ‘a->’ of kind
arrow_expr
     0 << (a->bar().foo() ? 1 : 0);
>From gcc-bugs-return-419619-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 09 16:11:25 2013
Return-Path: <gcc-bugs-return-419619-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 3440 invoked by alias); 9 Apr 2013 16:11:25 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 3379 invoked by uid 48); 9 Apr 2013 16:11:22 -0000
From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/56890] Invalid fdtox %f8, %f9 on Sparc 64 Bits with -O2
Date: Tue, 09 Apr 2013 16:11:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ebotcazou at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ebotcazou at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: Status CC AssignedTo
Message-ID: <bug-56890-4-z11uzhVgVf@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56890-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56890-4@http.gcc.gnu.org/bugzilla/>
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-04/txt/msg00764.txt.bz2
Content-length: 641


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV890

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|ebotcazou at gcc dot        |
                   |gnu.org                     |
         AssignedTo|unassigned at gcc dot       |ebotcazou at gcc dot
                   |gnu.org                     |gnu.org

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-04-09 16:11:22 UTC ---
Fixing.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
  2013-04-09 16:07 ` [Bug c++/56895] " paolo.carlini at oracle dot com
  2013-04-09 16:11 ` markus at trippelsdorf dot de
@ 2013-04-09 16:20 ` paolo.carlini at oracle dot com
  2013-04-09 17:54 ` jakub at gcc dot gnu.org
                   ` (13 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-04-09 16:20 UTC (permalink / raw)
  To: gcc-bugs


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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-04-09
            Summary|ICE: unexpected expression  |[4.8/4.9 Regression] ICE:
                   |of kind arrow_expr          |unexpected expression of
                   |                            |kind arrow_expr
     Ever Confirmed|0                           |1

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-04-09 16:20:16 UTC ---
Confirmed.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (2 preceding siblings ...)
  2013-04-09 16:20 ` [Bug c++/56895] [4.8/4.9 Regression] " paolo.carlini at oracle dot com
@ 2013-04-09 17:54 ` jakub at gcc dot gnu.org
  2013-04-09 18:03 ` jason at gcc dot gnu.org
                   ` (12 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-09 17:54 UTC (permalink / raw)
  To: gcc-bugs


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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
   Target Milestone|---                         |4.8.1

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-09 17:54:16 UTC ---
Introduced by my http://gcc.gnu.org/r195051 , potential_constant_expression
returns true about it, because fun in a call expr isn't a FUNCTION_DECL.
Jason, can you look at whether this is something that should be changed in
potential_constant_expression, or instead in cxx_eval_const* ?


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (3 preceding siblings ...)
  2013-04-09 17:54 ` jakub at gcc dot gnu.org
@ 2013-04-09 18:03 ` jason at gcc dot gnu.org
  2013-04-09 18:15 ` jakub at gcc dot gnu.org
                   ` (11 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jason at gcc dot gnu.org @ 2013-04-09 18:03 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2013-04-09 18:03:47 UTC ---
(In reply to comment #3)
> Introduced by my http://gcc.gnu.org/r195051 , potential_constant_expression
> returns true about it, because fun in a call expr isn't a FUNCTION_DECL.
> Jason, can you look at whether this is something that should be changed in
> potential_constant_expression, or instead in cxx_eval_const* ?

The problem is that we're passing an expression to maybe_constant_value that
hasn't yet been through fold_non_dependent_expr.  Either we need to call that
first or disable this checking in templates.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (4 preceding siblings ...)
  2013-04-09 18:03 ` jason at gcc dot gnu.org
@ 2013-04-09 18:15 ` jakub at gcc dot gnu.org
  2013-04-09 18:33 ` paolo.carlini at oracle dot com
                   ` (10 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-09 18:15 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-09 18:15:51 UTC ---
So:
@@ -4178,7 +4178,8 @@ cp_build_binary_op (location_t location,
         }
       else if (code0 == INTEGER_TYPE && code1 == INTEGER_TYPE)
         {
-          tree const_op1 = maybe_constant_value (op1);
+          tree const_op1 = fold_non_dependent_expr_sfinae (op1, tf_none);
+          const_op1 = maybe_constant_value (const_op1);
           if (TREE_CODE (const_op1) != INTEGER_CST)
             const_op1 = op1;
           result_type = type0;

?  Seems to work on this testcase.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (5 preceding siblings ...)
  2013-04-09 18:15 ` jakub at gcc dot gnu.org
@ 2013-04-09 18:33 ` paolo.carlini at oracle dot com
  2013-04-09 18:36 ` jakub at gcc dot gnu.org
                   ` (9 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-04-09 18:33 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-04-09 18:33:26 UTC ---
It seems a bit weird not propagating complain..


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (6 preceding siblings ...)
  2013-04-09 18:33 ` paolo.carlini at oracle dot com
@ 2013-04-09 18:36 ` jakub at gcc dot gnu.org
  2013-04-09 18:37 ` jakub at gcc dot gnu.org
                   ` (8 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-09 18:36 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-09 18:36:41 UTC ---
The reason for that is that I don't want errors being printed just when trying
to optimize to see if I should warn or not.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (7 preceding siblings ...)
  2013-04-09 18:36 ` jakub at gcc dot gnu.org
@ 2013-04-09 18:37 ` jakub at gcc dot gnu.org
  2013-04-09 18:46 ` jakub at gcc dot gnu.org
                   ` (7 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-09 18:37 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-09 18:37:36 UTC ---
Though, there are several other maybe_constant_value calls now in cp/typeck.c,
and only 2 of them are guarded with !processing_template_decl.
So I guess the warn_for_div_by_zero argument (twice) and
RSHIFT_EXPR/LSHIFT_EXPR would need the same treatment.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (8 preceding siblings ...)
  2013-04-09 18:37 ` jakub at gcc dot gnu.org
@ 2013-04-09 18:46 ` jakub at gcc dot gnu.org
  2013-04-09 18:49 ` jason at gcc dot gnu.org
                   ` (6 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-09 18:46 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-09 18:46:16 UTC ---
Created attachment 29844
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29844
gcc49-pr56895.patch

Untested complete patch.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (9 preceding siblings ...)
  2013-04-09 18:46 ` jakub at gcc dot gnu.org
@ 2013-04-09 18:49 ` jason at gcc dot gnu.org
  2013-04-10  6:54 ` jakub at gcc dot gnu.org
                   ` (5 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jason at gcc dot gnu.org @ 2013-04-09 18:49 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #10 from Jason Merrill <jason at gcc dot gnu.org> 2013-04-09 18:49:28 UTC ---
OK.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (10 preceding siblings ...)
  2013-04-09 18:49 ` jason at gcc dot gnu.org
@ 2013-04-10  6:54 ` jakub at gcc dot gnu.org
  2013-04-10 19:56 ` markus at trippelsdorf dot de
                   ` (4 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-10  6:54 UTC (permalink / raw)
  To: gcc-bugs


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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-10 06:54:28 UTC ---
Author: jakub
Date: Wed Apr 10 06:33:26 2013
New Revision: 197660

URL: http://gcc.gnu.org/viewcvs?rev=197660&root=gcc&view=rev
Log:
    PR c++/56895
    * typeck.c (cp_build_binary_op): Call fold_non_dependent_expr_sfinae
    first before calling maybe_constant_value for warn_for_div_by_zero
    or invalid shift count warning purposes.

    * g++.dg/template/arrow3.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/arrow3.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog

Author: jakub
Date: Wed Apr 10 06:37:07 2013
New Revision: 197662

URL: http://gcc.gnu.org/viewcvs?rev=197662&root=gcc&view=rev
Log:
    PR c++/56895
    * typeck.c (cp_build_binary_op): Call fold_non_dependent_expr_sfinae
    first before calling maybe_constant_value for warn_for_div_by_zero
    or invalid shift count warning purposes.

    * g++.dg/template/arrow3.C: New test.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/template/arrow3.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/typeck.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (11 preceding siblings ...)
  2013-04-10  6:54 ` jakub at gcc dot gnu.org
@ 2013-04-10 19:56 ` markus at trippelsdorf dot de
  2013-04-11  8:00 ` jakub at gcc dot gnu.org
                   ` (3 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: markus at trippelsdorf dot de @ 2013-04-10 19:56 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #12 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2013-04-10 19:56:00 UTC ---
Just double checked and the original testcase still ICEs.

markus@x4 tmp % cat test.cpp
#include <iostream>
extern struct A { bool foo (); A bar (); } *a;
template <class> 
void
fn1 ()
{
  std::cout << (a->bar().foo() ? 1 : 0);
}

markus@x4 tmp % c++ -c test.cpp
test.cpp: In function ‘void fn1()’:
test.cpp:7:39: internal compiler error: unexpected expression ‘a->’ of kind
arrow_expr
>From gcc-bugs-return-419728-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Apr 10 20:04:07 2013
Return-Path: <gcc-bugs-return-419728-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 1101 invoked by alias); 10 Apr 2013 20:04:06 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 1055 invoked by uid 48); 10 Apr 2013 20:04:03 -0000
From: "markus at trippelsdorf dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
Date: Wed, 10 Apr 2013 20:04: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: markus at trippelsdorf dot de
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.1
X-Bugzilla-Changed-Fields:
Message-ID: <bug-56895-4-1m4Qp0Wp4h@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56895-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56895-4@http.gcc.gnu.org/bugzilla/>
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-04/txt/msg00873.txt.bz2
Content-length: 367


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV895

--- Comment #13 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2013-04-10 20:04:03 UTC ---
struct B
{
    void operator<< (B& ());
    void operator<< (int);
};
B b;
struct A
{
    bool foo ();
    A bar ();
};
A *a;
template <class>
void
fn1 ()
{
    b << (a->bar().foo() ? : 0);
}


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (12 preceding siblings ...)
  2013-04-10 19:56 ` markus at trippelsdorf dot de
@ 2013-04-11  8:00 ` jakub at gcc dot gnu.org
  2013-04-12  9:14 ` jakub at gcc dot gnu.org
                   ` (2 subsequent siblings)
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-11  8:00 UTC (permalink / raw)
  To: gcc-bugs


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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |ASSIGNED
         Resolution|FIXED                       |
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-11 08:00:05 UTC ---
Created attachment 29853
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29853
gcc49-pr56895-2.patch

Untested fix.


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (13 preceding siblings ...)
  2013-04-11  8:00 ` jakub at gcc dot gnu.org
@ 2013-04-12  9:14 ` jakub at gcc dot gnu.org
  2013-04-14 14:15 ` Woebbeking at web dot de
  2013-04-23  8:07 ` Woebbeking at web dot de
  16 siblings, 0 replies; 18+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-12  9:14 UTC (permalink / raw)
  To: gcc-bugs


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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-12 09:14:41 UTC ---
Author: jakub
Date: Thu Apr 11 19:42:33 2013
New Revision: 197824

URL: http://gcc.gnu.org/viewcvs?rev=197824&root=gcc&view=rev
Log:
    PR c++/56895
    * call.c (null_ptr_cst_p): Call fold_non_dependent_expr_sfinae before
    calling maybe_constant_value for C++98.

    * g++.dg/template/arrow4.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/arrow4.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/testsuite/ChangeLog

Author: jakub
Date: Thu Apr 11 19:43:58 2013
New Revision: 197825

URL: http://gcc.gnu.org/viewcvs?rev=197825&root=gcc&view=rev
Log:
    PR c++/56895
    * call.c (null_ptr_cst_p): Call fold_non_dependent_expr_sfinae before
    calling maybe_constant_value for C++98.

    * g++.dg/template/arrow4.C: New test.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/template/arrow4.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/call.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (14 preceding siblings ...)
  2013-04-12  9:14 ` jakub at gcc dot gnu.org
@ 2013-04-14 14:15 ` Woebbeking at web dot de
  2013-04-23  8:07 ` Woebbeking at web dot de
  16 siblings, 0 replies; 18+ messages in thread
From: Woebbeking at web dot de @ 2013-04-14 14:15 UTC (permalink / raw)
  To: gcc-bugs


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

--- Comment #16 from André Wöbbeking <Woebbeking at web dot de> 2013-04-14 14:15:47 UTC ---
Thanks for your fast support!
>From gcc-bugs-return-420252-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Apr 14 15:03:19 2013
Return-Path: <gcc-bugs-return-420252-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 12547 invoked by alias); 14 Apr 2013 15:03:19 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 12510 invoked by uid 48); 14 Apr 2013 15:03:14 -0000
From: "devspam at moreofthesa dot me.uk" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug other/56881] Miscompilation (optimisation failure?) causing NULL dereference and segfault at runtime
Date: Sun, 14 Apr 2013 15:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: other
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: devspam at moreofthesa dot me.uk
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: <bug-56881-4-9wYNLsnZKD@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56881-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56881-4@http.gcc.gnu.org/bugzilla/>
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-04/txt/msg01397.txt.bz2
Content-length: 350


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

--- Comment #9 from devspam at moreofthesa dot me.uk 2013-04-14 15:03:13 UTC ---
Hmm, interesting…

I'm taking your patch (crediting you) and paraphrasing where necessary to make
a reasonable commit message of it. I'll also forward to other projects which I
know use the same code.
>From gcc-bugs-return-420253-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Apr 14 15:09:25 2013
Return-Path: <gcc-bugs-return-420253-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16623 invoked by alias); 14 Apr 2013 15:09:25 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 16570 invoked by uid 48); 14 Apr 2013 15:09:21 -0000
From: "steven at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug debug/56950] compare-debug failure for gcc.dg/pr41345.c with fschedule-insns
Date: Sun, 14 Apr 2013 15:09:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: debug
X-Bugzilla-Keywords: build, wrong-debug
X-Bugzilla-Severity: normal
X-Bugzilla-Who: steven at gcc dot gnu.org
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:
Message-ID: <bug-56950-4-52jb3HqMlm@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56950-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56950-4@http.gcc.gnu.org/bugzilla/>
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-04/txt/msg01398.txt.bz2
Content-length: 1026


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV950

--- Comment #2 from Steven Bosscher <steven at gcc dot gnu.org> 2013-04-14 15:09:20 UTC ---
I am testing this fix:

Index: haifa-sched.c
==================================================================--- haifa-sched.c       (revision 197942)
+++ haifa-sched.c       (working copy)
@@ -7431,14 +7431,14 @@ sched_extend_bb (void)

   /* The following is done to keep current_sched_info->next_tail non null.  */
   insn = BB_END (EXIT_BLOCK_PTR->prev_bb);
-  if (NEXT_INSN (insn) == 0
+  if (next_nondebug_insn (insn) == 0
       || (!NOTE_P (insn)
          && !LABEL_P (insn)
          /* Don't emit a NOTE if it would end up before a BARRIER.  */
          && !BARRIER_P (NEXT_INSN (insn))))
     {
       rtx note = emit_note_after (NOTE_INSN_DELETED, insn);
-      /* Make insn appear outside BB.  */
+      /* Make note appear outside BB.  */
       set_block_for_insn (note, NULL);
       BB_END (EXIT_BLOCK_PTR->prev_bb) = insn;
     }


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

* [Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr
  2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
                   ` (15 preceding siblings ...)
  2013-04-14 14:15 ` Woebbeking at web dot de
@ 2013-04-23  8:07 ` Woebbeking at web dot de
  16 siblings, 0 replies; 18+ messages in thread
From: Woebbeking at web dot de @ 2013-04-23  8:07 UTC (permalink / raw)
  To: gcc-bugs


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

André Wöbbeking <Woebbeking at web dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |CLOSED

--- Comment #17 from André Wöbbeking <Woebbeking at web dot de> 2013-04-23 08:07:27 UTC ---
Thanks!
>From gcc-bugs-return-420779-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Apr 23 08:09:01 2013
Return-Path: <gcc-bugs-return-420779-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9926 invoked by alias); 23 Apr 2013 08:09:00 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 9855 invoked by uid 48); 23 Apr 2013 08:08:57 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/57026] [4.9 Regression] ice: SSA corruption
Date: Tue, 23 Apr 2013 08:09:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Changed-Fields: Status Resolution
Message-ID: <bug-57026-4-IxPefc6b8K@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57026-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57026-4@http.gcc.gnu.org/bugzilla/>
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-04/txt/msg01924.txt.bz2
Content-length: 1008


http://gcc.gnu.org/bugzilla/show_bug.cgi?idW026

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-23 08:08:55 UTC ---
Author: rguenth
Date: Tue Apr 23 08:08:25 2013
New Revision: 198175

URL: http://gcc.gnu.org/viewcvs?rev\x198175&root=gcc&view=rev
Log:
2013-04-23  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/57026
    * tree-vrp.c (simplify_conversion_using_ranges): Do not propagate
    from SSA names occuring in abnormal PHI nodes.

    * gcc.dg/torture/pr57026.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr57026.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


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

end of thread, other threads:[~2013-04-23  8:07 UTC | newest]

Thread overview: 18+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-04-09 15:34 [Bug c++/56895] New: ICE: unexpected expression of kind arrow_expr Woebbeking at web dot de
2013-04-09 16:07 ` [Bug c++/56895] " paolo.carlini at oracle dot com
2013-04-09 16:11 ` markus at trippelsdorf dot de
2013-04-09 16:20 ` [Bug c++/56895] [4.8/4.9 Regression] " paolo.carlini at oracle dot com
2013-04-09 17:54 ` jakub at gcc dot gnu.org
2013-04-09 18:03 ` jason at gcc dot gnu.org
2013-04-09 18:15 ` jakub at gcc dot gnu.org
2013-04-09 18:33 ` paolo.carlini at oracle dot com
2013-04-09 18:36 ` jakub at gcc dot gnu.org
2013-04-09 18:37 ` jakub at gcc dot gnu.org
2013-04-09 18:46 ` jakub at gcc dot gnu.org
2013-04-09 18:49 ` jason at gcc dot gnu.org
2013-04-10  6:54 ` jakub at gcc dot gnu.org
2013-04-10 19:56 ` markus at trippelsdorf dot de
2013-04-11  8:00 ` jakub at gcc dot gnu.org
2013-04-12  9:14 ` jakub at gcc dot gnu.org
2013-04-14 14:15 ` Woebbeking at web dot de
2013-04-23  8:07 ` Woebbeking at web dot de

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