[Bug middle-end/65554] New: [5 Regression] ICE: verify_gimple failed

[Bug middle-end/65554] New: [5 Regression] ICE: verify_gimple failed

[doko at gcc dot gnu.org]

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

            Bug ID: 65554
           Summary: [5 Regression] ICE: verify_gimple failed
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org

Created attachment 35135
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35135&action=edit
preprocessed source

seen building openmsx in Debian unstable, with r221551, fails with -O[123],
works with -O0

g++ -MP -MMD -MF derived/x86_64-linux-debian/dep/ide/HDCommand.d -o
derived/x86_64-linux-debian/obj/ide/HDCommand.o -g -fstack-protector-strong
-Wformat -Werror=format-security -D_FORTIFY_SOURCE=2 -O3 -m64 -pipe
-std=gnu++0x -Wall -Wextra -Wundef -Wunused-macros
-Wno-missing-field-initializers -Wzero-as-null-pointer-constant -Isrc
-Isrc/cassette -Isrc/commands -Isrc/config -Isrc/console -Isrc/cpu
-Isrc/debugger -Isrc/events -Isrc/fdc -Isrc/file -Isrc/ide -Isrc/input
-Isrc/laserdisc -Isrc/memory -Isrc/security -Isrc/serial -Isrc/settings
-Isrc/sound -Isrc/thread -Isrc/utils -Isrc/video -Isrc/video/ld
-Isrc/video/scalers -Isrc/video/v9990 -Iderived/x86_64-linux-debian/config
-I/usr/include/SDL -D_GNU_SOURCE=1 -D_REENTRANT -I/usr/include/SDL
-D_GNU_SOURCE=1 -D_REENTRANT -I/usr/include/freetype2 -I/usr/include/libpng12
-I/usr/include/tcl8.5 -I/usr/include/libxml2 -c src/ide/HDCommand.cc
src/ide/HDCommand.cc: In member function 'virtual void
openmsx::HDCommand::tabCompletion(std::vector<std::basic_string<char> >&)
const':
src/ide/HDCommand.cc:78:6: error: non-trivial conversion at assignment
 void HDCommand::tabCompletion(vector<string>& tokens) const
      ^
long unsigned int
const char[7] *
# .MEM_152 = VDEF <.MEM_149>
MEM[(char * {ref-all})_88] = _126;
src/ide/HDCommand.cc:78:6: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-03-25
                 CC|                            |trippels at gcc dot gnu.org
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat HDCommand.ii
namespace std
{
template <class> class initializer_list
{
  int *_M_array;
  int _M_len;
};
class A
{
public:
  void operator=(initializer_list<int>);
};
class B
{
  void m_fn1 (A &) const;
};
void
B::m_fn1 (A &) const
{
  A extra;
  extra = {};
}
}


markus@x4 tmp % g++ -std=c++11 -O2 -c HDCommand.ii
HDCommand.ii: In member function ‘void std::B::m_fn1(std::A&) const’:
HDCommand.ii:18:1: error: non-trivial conversion at assignment
 B::m_fn1 (A &) const
 ^
int
sizetype
D.2166._M_len = 0;
HDCommand.ii:18:1: internal compiler error: verify_gimple failed
0xcec17f verify_gimple_in_seq(gimple_statement_base*)
        ../../gcc/gcc/tree-cfg.c:4737
0xac009c gimplify_body(tree_node*, bool)
        ../../gcc/gcc/gimplify.c:9100
0xac0406 gimplify_function_tree(tree_node*)
        ../../gcc/gcc/gimplify.c:9185
0x90c2b7 cgraph_node::analyze()
        ../../gcc/gcc/cgraphunit.c:633
0x90f36d analyze_functions
        ../../gcc/gcc/cgraphunit.c:1023
0x90fc55 symbol_table::finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.c:2435
0x6ec4c7 cp_write_global_declarations()
        ../../gcc/gcc/cp/decl2.c:4755
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-481658-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Mar 25 17:34:06 2015
Return-Path: <gcc-bugs-return-481658-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 52985 invoked by alias); 25 Mar 2015 17:34: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 51460 invoked by uid 48); 25 Mar 2015 17:34:03 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/65558] [5 Regression] crash using __attribute__((__abi_tag__)) on anonymous inline namespace
Date: Wed, 25 Mar 2015 17:55: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-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek 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: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc target_milestone short_desc everconfirmed
Message-ID: <bug-65558-4-1i1ilObXuf@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65558-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65558-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-03/txt/msg02802.txt.bz2
Content-length: 896

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-03-25
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |5.0
            Summary|crash using                 |[5 Regression] crash using
                   |__attribute__((__abi_tag__) |__attribute__((__abi_tag__)
                   |) on anonymous inline       |) on anonymous inline
                   |namespace                   |namespace
     Ever confirmed|0                           |1

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

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Why do you think this is a regression (or recent regression)?
Already r171770 ICEs with it, r171700 does not, but it rejects the testcase and
probably doesn't really support std::initializer_list.

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|5.0                         |---

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #2)
> Why do you think this is a regression (or recent regression)?
> Already r171770 ICEs with it, r171700 does not, but it rejects the testcase
> and probably doesn't really support std::initializer_list.

Well, I haven't tested it with older compilers at all, because 
Matthias set 4.9.2 in the "known to work" field.
Will leave the "Target Milestone" field untouched in the future...

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[doko at gcc dot gnu.org]

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

--- Comment #4 from Matthias Klose <doko at gcc dot gnu.org> ---
wasn't sure if I should file these as regressions. first time a build with
--enable-checking=yes, but it looks to me like a regression compared to a 4.9
--enable-checking=release build.

[Bug c++/65554] ICE: verify_gimple failed

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
          Component|middle-end                  |c++
      Known to work|4.9.2                       |
            Summary|[5 Regression] ICE:         |ICE: verify_gimple failed
                   |verify_gimple failed        |
      Known to fail|                            |4.9.2

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
C++ FE issue, not a regression.

[Bug c++/65554] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I would hazard a guess that this started with r171740.  And I think the fix is
the following:

--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -6366,7 +6366,8 @@ convert_like_real (conversion *convs, tree expr, tree fn,
int argnum,
     field = next_initializable_field (TYPE_FIELDS (totype));
     CONSTRUCTOR_APPEND_ELT (vec, field, array);
     field = next_initializable_field (DECL_CHAIN (field));
-    CONSTRUCTOR_APPEND_ELT (vec, field, size_int (len));
+    CONSTRUCTOR_APPEND_ELT (vec, field,
+                build_int_cst (TREE_TYPE (field), len));
     new_ctor = build_constructor (totype, vec);
     return get_target_expr_sfinae (new_ctor, complain);
       }

[Bug c++/65554] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org

[Bug c++/65554] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Marek Polacek from comment #6)
> --- a/gcc/cp/call.c
> +++ b/gcc/cp/call.c
> @@ -6366,7 +6366,8 @@ convert_like_real (conversion *convs, tree expr, tree
> fn, int argnum,
>  	field = next_initializable_field (TYPE_FIELDS (totype));
>  	CONSTRUCTOR_APPEND_ELT (vec, field, array);
>  	field = next_initializable_field (DECL_CHAIN (field));
> -	CONSTRUCTOR_APPEND_ELT (vec, field, size_int (len));
> +	CONSTRUCTOR_APPEND_ELT (vec, field,
> +				build_int_cst (TREE_TYPE (field), len));
>  	new_ctor = build_constructor (totype, vec);
>  	return get_target_expr_sfinae (new_ctor, complain);
>        }

Not really, it doesn't fix the unreduced testcase.
>From gcc-bugs-return-482392-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 31 14:20:33 2015
Return-Path: <gcc-bugs-return-482392-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 70642 invoked by alias); 31 Mar 2015 14:20:33 -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 70576 invoked by uid 48); 31 Mar 2015 14:20:29 -0000
From: "ossman at cendio dot se" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/42159] unwinding issues on darwin
Date: Tue, 31 Mar 2015 15:00: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: 4.4.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ossman at cendio dot se
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-42159-4-9xJPlxG1L2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-42159-4@http.gcc.gnu.org/bugzilla/>
References: <bug-42159-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-03/txt/msg03536.txt.bz2
Content-length: 1477

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

Pierre Ossman <ossman at cendio dot se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ossman at cendio dot se

--- Comment #28 from Pierre Ossman <ossman at cendio dot se> ---
I'd like to reopen this issue as we are still seeing this with as new gcc as
4.8.4 (we've been unable to build anything newer). Unfortunately I do not seem
to have the access rights to reopen the bug. Help?

We've primarily been using 4.6.4 but we also did a test build with 4.8.4 to see
if a newer gcc solved the issue. Unfortunately the problem is the same, with
the same stack trace.

We have however found that the problem seems to be an incompatibility between
OS X's unwinder and gcc's (something we found various other gcc bugs and
mailing lists discussions on).

Or normal way of doing things is to statically link libstdc++ and libgcc_eh.
This results in crashing programs. If we inject libSystem before libgcc_eh
however, we get the system unwind routines and the program works fine. This is
not quite the same as the previous cases mentioned on this bug, but the dumps
show that a custom libgcc_s is being used so it should be equivalent.

Not sure what the proper fix is but our plan is to bastardise gcc a bit and
remove the unwinding routines to make sure the system ones are always used.

[Bug c++/65554] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

--- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
I think the original testcase and the reduced testcase point out to different
issues.  The issue with the testcase in comment 1 is that we don't reject the
user-provided definition of std::initializer_list (it has a pointer followed by
an integer field), but convert_like_real assumes that the second integer field
has a size_type, which might not be true, here my fix helps.  I don't know yet
the cause of the ICE with the unreduced testcase.
It might make sense to fix these separately.

[Bug c++/65554] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

--- Comment #9 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Wed Apr  1 13:08:05 2015
New Revision: 221808

URL: https://gcc.gnu.org/viewcvs?rev=221808&root=gcc&view=rev
Log:
    PR c++/65554
    * class.c (finish_struct): Require that the second field of a
    user-defined initializer_list be of size type.

    * g++.dg/cpp0x/initlist93.C: New test.
    * g++.dg/cpp0x/initlist94.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/initlist93.C
    trunk/gcc/testsuite/g++.dg/cpp0x/initlist94.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/65554] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

--- Comment #10 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Could anyone please reduce the original testcase again (but please make sure
that cc1plus has the r221808 fix)?  If not, I'll try to get to that tomorrow.

[Bug c++/65554] ICE: verify_gimple failed

[jakub at gcc dot gnu.org]

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

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reducing...

[Bug c++/65554] ICE: verify_gimple failed

[jakub at gcc dot gnu.org]

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

--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
namespace std
{
  struct B { enum { __value }; };
  template <typename _Iterator> struct C
  {
    static _Iterator _S_base (_Iterator p1) { return p1; }
  };
  template <typename> using _RequireInputIter = int;
  template <typename _Iterator> _Iterator __niter_base (_Iterator p1)
  {
    return std::C <_Iterator>::_S_base (p1);
  }
  template <typename _Iterator> _Iterator __miter_base (_Iterator p1)
  {
    return std::C <_Iterator>::_S_base (p1);
  }
  struct D
  {
    template <typename _Tp> static _Tp *__copy_m (_Tp * p1, _Tp * p2, _Tp *)
    {
      int _Num = p2 - p1;
      __builtin_memmove (0, p1, sizeof (_Tp) * _Num);
    }
  };
  template <int, typename _II, typename _OI> void __copy_move_a (_II p1, _II
p2, _OI p3)
  {
    D::__copy_m (p1, p2, p3);
  }
  template <int, typename _II, typename _OI> void __copy_move_a2 (_II p1, _II
p2, _OI p3)
  {
    __copy_move_a <0> (std::__niter_base (p1), std::__niter_base (p2),
std::__niter_base (p3));
  }
  template <typename _II, typename _OI> void copy (_II p1, _II p2, _OI p3)
  {
    __copy_move_a2 <B::__value> (std::__miter_base (p1), std::__miter_base
(p2), p3);
  }
}
template <typename _Tp> struct F { typedef _Tp *pointer; };
namespace std
{
  template <typename _Tp> using __allocator_base = F <_Tp>;
  template <typename _Tp> struct allocator:__allocator_base <_Tp> {};
  template <class _E> struct initializer_list
  {
    typedef _E *const_iterator;
    _E *_M_array;
    unsigned long _M_len;
    const_iterator begin () { return _M_array; }
    const_iterator end () { return begin () + 1; }
  };
  template <typename _Alloc> struct allocator_traits
  {
    template <typename _Tp> static typename _Tp::pointer _S_pointer_helper (_Tp
*);
    typedef decltype (_S_pointer_helper ((_Alloc *) 0)) __pointer;
    typedef __pointer pointer;
  };
}
template <typename> struct __alloc_traits:
std::allocator_traits <std::allocator <const char *>> {};
namespace std
{
  struct G
  {
    template <typename _InputIterator, typename _ForwardIterator> static
_ForwardIterator __uninit_copy (_InputIterator p1, _InputIterator p2,
_ForwardIterator p3)
    {
      copy (p1, p2, p3);
    }
  };
  template <typename _InputIterator, typename _ForwardIterator> void
  uninitialized_copy (_InputIterator p1, _InputIterator p2, _ForwardIterator
p3)
  {
    G::__uninit_copy (p1, p2, p3);
  }
  template <typename _InputIterator, typename _ForwardIterator, typename _Tp>
void __uninitialized_copy_a (_InputIterator p1, _InputIterator p2,
_ForwardIterator p3, allocator <_Tp> &)
  {
    uninitialized_copy (p1, p2, p3);
  }
  struct H
  {
    typedef std::allocator <int *> _Tp_alloc_type;
    typedef __alloc_traits <_Tp_alloc_type>::pointer pointer;
    _Tp_alloc_type & _M_get_Tp_allocator ();
  };
  template <typename _Tp, typename = std::allocator <_Tp>> struct J: H
  {
    void operator= (initializer_list <_Tp> p1)
    {
      this->assign (p1.begin (), p1.end ());
    }
    template <typename _InputIterator, typename = std::_RequireInputIter
<_InputIterator>> void assign (_InputIterator p1, _InputIterator p2)
    {
      _M_assign_dispatch (p1, p2, 0);
    }
    pointer _M_allocate_and_copy___result;
    template <typename _ForwardIterator> void _M_allocate_and_copy (int,
_ForwardIterator p2, _ForwardIterator p3)
    {
      __uninitialized_copy_a (p2, p3, _M_allocate_and_copy___result,
_M_get_Tp_allocator ());
    }
    template <typename _InputIterator> void _M_assign_dispatch (_InputIterator
p1, _InputIterator p2, int)
    {
      _M_assign_aux (p1, p2, 0);
    }
    template <typename _ForwardIterator> void _M_assign_aux (_ForwardIterator,
_ForwardIterator, int);
  };
  template <typename _Tp, typename _Alloc>
    template <typename _ForwardIterator> void J <_Tp, _Alloc>::_M_assign_aux
(_ForwardIterator p1, _ForwardIterator p2, int)
  {
    _M_allocate_and_copy (0, p1, p2);
  }
  class I
  {
    void tabCompletion (std::J <int>&) const;
  };
  void
  I::tabCompletion (J <int>&) const
  {
    J <const char *> extra;
    extra = { "insert" };
  }
}

[Bug c++/65554] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com

--- Comment #13 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
*** Bug 64570 has been marked as a duplicate of this bug. ***

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
          Component|c++                         |middle-end
   Target Milestone|---                         |5.0
            Summary|ICE: verify_gimple failed   |[5 Regression] ICE:
                   |                            |verify_gimple failed

--- Comment #14 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
This turned out to be a bug in fold and a 5 regression; started with r213753,
but the issue was probably latent.  I have an untested fix.

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #16 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed.

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[mpolacek at gcc dot gnu.org]

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

--- Comment #15 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Thu Apr  9 18:30:34 2015
New Revision: 221954

URL: https://gcc.gnu.org/viewcvs?rev=221954&root=gcc&view=rev
Log:
    PR middle-end/65554
    * gimple-fold.c (gimple_fold_builtin_memory_op): Update comment.
    (fold_ctor_reference): Use STRIP_USELESS_TYPE_CONVERSION instead
    of STRIP_NOPS.

    * g++.dg/opt/pr65554.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/opt/pr65554.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/65554] [5 Regression] ICE: verify_gimple failed

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |public at alisdairm dot net

--- Comment #17 from Jonathan Wakely <redi at gcc dot gnu.org> ---
*** Bug 65739 has been marked as a duplicate of this bug. ***