[Bug c++/48319] New: Segmentation fault in instantiation of std::is_constructible<int>

[Bug c++/48319] New: Segmentation fault in instantiation of std::is_constructible<int>

[gintensubaru at gmail dot com]

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

           Summary: Segmentation fault in instantiation of
                    std::is_constructible<int>
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gintensubaru@gmail.com


Source file (bug.cc):

#include <type_traits>

int main() {
  static_assert( std::is_constructible<int>::value, "" );
}


Message:

In file included from bug.cc:1:0:
/usr/local/gcc-4.6.0/lib/gcc/x86_64-unknown-linux-gnu/4.6.0/../../../../include/c++/4.6.0/type_traits:
In instantiation of ‘const bool
std::__is_constructible_helper<int>::__value’:
/usr/local/gcc-4.6.0/lib/gcc/x86_64-unknown-linux-gnu/4.6.0/../../../../include/c++/4.6.0/type_traits:683:12:
  instantiated from ‘std::is_constructible<int>’
bug.cc:7:42:   instantiated from here
/usr/local/gcc-4.6.0/lib/gcc/x86_64-unknown-linux-gnu/4.6.0/../../../../include/c++/4.6.0/type_traits:661:71:
internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/48319] [4.6/4.7 Regression] [C++0x] Segmentation fault in instantiation of std::is_constructible<int>

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org
            Summary|Segmentation fault in       |[4.6/4.7 Regression]
                   |instantiation of            |[C++0x] Segmentation fault
                   |std::is_constructible<int>  |in instantiation of
                   |                            |std::is_constructible<int>

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-03-28 17:58:08 UTC ---
Looks like a regression. Note, in any case std::is_constructible itself didn't
change lately.

[Bug c++/48319] [4.6/4.7 Regression] [C++0x] Segmentation fault in instantiation of std::is_constructible<int>

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-03-28 18:38:37 UTC ---
reduced

  template<typename Tp> Tp declval() noexcept; 

  template<typename _Tp>
    class __is_constructible_helper
    {
      typedef char __one;
      typedef struct { char __arr[2]; } __two;

      template<typename _Tp1, typename... _Args1>
        static decltype(_Tp1(declval<_Args1>()...), __one()) __test(int);

      template<typename, typename...>
        static __two __test(...);

    public:
      static const bool __value = sizeof(__test<_Tp>(0)) == 1;
    };

  int main() {
    return __is_constructible_helper<int>::__value;
  }

[Bug c++/48319] [4.6/4.7 Regression] [C++0x] Segmentation fault in instantiation of std::is_constructible<int>

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.1

[Bug c++/48319] [4.6/4.7 Regression] [C++0x] Segmentation fault in instantiation of std::is_constructible<int>

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.03.29 16:09:36
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-29 16:09:36 UTC ---
Mine.

[Bug c++/48319] [4.6/4.7 Regression] [C++0x] Segmentation fault in instantiation of std::is_constructible<int>

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-29 18:47:50 UTC ---
Author: jason
Date: Tue Mar 29 18:47:47 2011
New Revision: 171688

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171688
Log:
    PR c++/48319
    * pt.c (value_dependent_expression_p): Handle TEMPLATE_ID_EXPR.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/dependent1.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/pt.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug c++/48319] [4.6/4.7 Regression] [C++0x] Segmentation fault in instantiation of std::is_constructible<int>

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-29 18:48:03 UTC ---
Author: jason
Date: Tue Mar 29 18:47:56 2011
New Revision: 171689

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171689
Log:
    PR c++/48319
    * pt.c (value_dependent_expression_p): Handle TEMPLATE_ID_EXPR.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/dependent1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/48319] [4.6/4.7 Regression] [C++0x] Segmentation fault in instantiation of std::is_constructible<int>

[jason at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-29 18:58:17 UTC ---
Fixed.