From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-482512-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 44723 invoked by alias); 1 Apr 2015 15:01:55 -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
Received: (qmail 44396 invoked by uid 48); 1 Apr 2015 15:01:51 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/65554] ICE: verify_gimple failed
Date: Wed, 01 Apr 2015 15:01: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: ice-checking, ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-65554-4-4ARKqFRu0Y@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65554-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65554-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-04/txt/msg00064.txt.bz2

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" };
  }
}