[Bug regression/65054] New: internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[Bug regression/65054] New: internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[holger.hopp at sap dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65054

            Bug ID: 65054
           Summary: internal compiler error: in maybe_constant_value, at
                    cp/constexpr.c:3646
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: regression
          Assignee: unassigned at gcc dot gnu.org
          Reporter: holger.hopp at sap dot com

following code throws an internal compiler error with g++-5.0 (gcc-5.0 works):

typedef char * CP;

const char * foo (void)
{
  return ((const CP)"abc"+1);
}

$ g++ -c tst.c 
tst.c: In function ‘const char* foo()’:
tst.c:5:28: internal compiler error: in maybe_constant_value, at
cp/constexpr.c:3646
   return ((const CP)"abc"+1);
                            ^
0x83d85d maybe_constant_value(tree_node*, tree_node*)
    ../../gcc/gcc/cp/constexpr.c:3642
0x78a0bc cp_convert_and_check(tree_node*, tree_node*, int)
    ../../gcc/gcc/cp/cvt.c:639
0x636331 convert_like_real
    ../../gcc/gcc/cp/call.c:6565
0x63721c perform_implicit_conversion_flags(tree_node*, tree_node*, int, int)
    ../../gcc/gcc/cp/call.c:9405
0x7779e3 check_return_expr(tree_node*, bool*)
    ../../gcc/gcc/cp/typeck.c:8713
0x7b217e finish_return_stmt(tree_node*)
    ../../gcc/gcc/cp/semantics.c:887
0x735bc8 cp_parser_jump_statement
    ../../gcc/gcc/cp/parser.c:11061
0x735bc8 cp_parser_statement
    ../../gcc/gcc/cp/parser.c:9711
0x736162 cp_parser_statement_seq_opt
    ../../gcc/gcc/cp/parser.c:10099
0x7362bb cp_parser_compound_statement
    ../../gcc/gcc/cp/parser.c:10053
0x74b03b cp_parser_function_body
    ../../gcc/gcc/cp/parser.c:19185
0x74b03b cp_parser_ctor_initializer_opt_and_function_body
    ../../gcc/gcc/cp/parser.c:19221
0x7558ba cp_parser_function_definition_after_declarator
    ../../gcc/gcc/cp/parser.c:23464
0x756733 cp_parser_function_definition_from_specifiers_and_declarator
    ../../gcc/gcc/cp/parser.c:23376
0x756733 cp_parser_init_declarator
    ../../gcc/gcc/cp/parser.c:17055
0x757ccc cp_parser_simple_declaration
    ../../gcc/gcc/cp/parser.c:11592
0x758023 cp_parser_block_declaration
    ../../gcc/gcc/cp/parser.c:11466
0x760599 cp_parser_declaration
    ../../gcc/gcc/cp/parser.c:11363
0x76081a cp_parser_declaration_seq_opt
    ../../gcc/gcc/cp/parser.c:11249
0x760b2f cp_parser_translation_unit
    ../../gcc/gcc/cp/parser.c:4100
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-477181-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Feb 13 16:55:26 2015
Return-Path: <gcc-bugs-return-477181-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9350 invoked by alias); 13 Feb 2015 16:55: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 9300 invoked by uid 48); 13 Feb 2015 16:55:22 -0000
From: "vmakarov at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/61397] [4.9/5 regression] FAIL: gcc.target/powerpc/p8vector-ldst.c scan-assembler lxsdx
Date: Fri, 13 Feb 2015 16:55: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-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: vmakarov at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61397-4-2oinjMfyah@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61397-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61397-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-02/txt/msg01514.txt.bz2
Content-length: 957

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida397

--- Comment #2 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
Sorry, I have

[vmakarov@gcc2-power8 gcc]$ ./xgcc -B./
../../gcc/gcc/testsuite/gcc.target/powerpc/p8vector-ldst.c -O2 -S -mcpu=power8
-mupper-regs-df -mupper-regs-sf -m32 && grep -c lxsdx p8vecto\
r-ldst.s

../../gcc/gcc/testsuite/gcc.target/powerpc/p8vector-ldst.c:1:0: error:
-mupper-regs-sf requires -mpower8-vector
 /* { dg-do compile { target { powerpc*-*-* && lp64 } } } */
 ^

I suppose the test should not work with this set of options as

make RUNTESTFLAGS='powerpc.exp=p8vector-ldst.c' check-gcc

gives

Running
/home/vmakarov/build/trunk/gcc/gcc/testsuite/gcc.target/powerpc/powerpc.exp ...

                === gcc Summary ==
# of unsupported tests          1
/home/vmakarov/build/trunk/build/gcc/xgcc  version 5.0.0 20150213
(experimental) (GCC)

[Bug c++/65054] [5 Regression] internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65054

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-02-13
                 CC|                            |mpolacek at gcc dot gnu.org
          Component|regression                  |c++
   Target Milestone|---                         |5.0
            Summary|internal compiler error: in |[5 Regression] internal
                   |maybe_constant_value, at    |compiler error: in
                   |cp/constexpr.c:3646         |maybe_constant_value, at
                   |                            |cp/constexpr.c:3646
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug c++/65054] [5 Regression] internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65054

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
That typedef is not really necessary:

const char *
foo (void)
{
  return ((char *const) "abc" + 1);
}

[Bug c++/65054] [5 Regression] internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65054

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r219973.

[Bug c++/65054] [5 Regression] internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65054

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org

[Bug c++/65054] [5 Regression] internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65054

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Feb 13 22:07:30 2015
New Revision: 220697

URL: https://gcc.gnu.org/viewcvs?rev=220697&root=gcc&view=rev
Log:
    PR c++/65054
    * pt.c (template_args_equal): Look through conversions here.
    * tree.c (cp_tree_equal): Not here.

Added:
    trunk/gcc/testsuite/g++.dg/expr/ptr-arith1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/constexpr.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/tree.c

[Bug c++/65054] [5 Regression] internal compiler error: in maybe_constant_value, at cp/constexpr.c:3646

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65054

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.