[Bug c++/44967] New: [C++0x] decltype of method call dependand on pack expansion crashes

[Bug c++/44967] New: [C++0x] decltype of method call dependand on pack expansion crashes

[piotr dot rak at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3796 bytes --]

cat has_construct.cc && g++-trunk -v -std=c++0x has_construct.cc
#include <type_traits>

template<typename T1, typename T2, typename... Args>
struct has_construct
{
    typedef char one;
    typedef struct {char _m[2]; } two;

    template<typename U1, typename U2, typename... Args2>
    static decltype(std::declval<U1>().construct(std::declval<U2*>(),
std::declval<Args2>()...), one()) test(int);
    template<typename, typename, typename...>
    static two test(...);

    static const bool value = sizeof(test<T1, T2, Args...>(0)) == 1;
};


class A0
{};

class A1
{
    void construct(int*, int);
};

template<typename _Tp>
struct A2
{
  template<typename _Tp1, typename... _Args>
  void construct(_Tp1*, _Args&&...) {}
};


void foo()
{
    static bool a0 = has_construct<A0, int, int>::value; // ok
    static bool a1 = has_construct<A1, int, int>::value; // bang
    static bool a2 = has_construct<A2<int>, int>::value; // bang
}

Using built-in specs.
COLLECT_GCC=/home/prak/Dev/gcc-install/bin/g++-trunk
COLLECT_LTO_WRAPPER=/home/prak/Dev/gcc-install/libexec/gcc/i686-pc-linux-gnu/4.6.0/lto-wrapper
Target: i686-pc-linux-gnu
Configured with: ../gcc.git/configure --enable-languages=c,c++
--program-suffix=-trunk --prefix=/home/prak/Dev/gcc-install --disable-bootstrap
Thread model: posix
gcc version 4.6.0 20100716 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-std=c++0x' '-shared-libgcc' '-mtune=generic'
'-march=pentiumpro'
 /home/prak/Dev/gcc-install/libexec/gcc/i686-pc-linux-gnu/4.6.0/cc1plus -quiet
-v -D_GNU_SOURCE has_construct.cc -quiet -dumpbase has_construct.cc
-mtune=generic -march=pentiumpro -auxbase has_construct -std=c++0x -version -o
/tmp/ccY4xmeE.s
GNU C++ (GCC) version 4.6.0 20100716 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.3.4, GMP version 4.3.2, MPFR version 3.0.0,
MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory "/usr/local/include"
ignoring nonexistent directory
"/home/prak/Dev/gcc-install/lib/gcc/i686-pc-linux-gnu/4.6.0/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/home/prak/Dev/gcc-install/lib/gcc/i686-pc-linux-gnu/4.6.0/../../../../include/c++/4.6.0

/home/prak/Dev/gcc-install/lib/gcc/i686-pc-linux-gnu/4.6.0/../../../../include/c++/4.6.0/i686-pc-linux-gnu

/home/prak/Dev/gcc-install/lib/gcc/i686-pc-linux-gnu/4.6.0/../../../../include/c++/4.6.0/backward
 /home/prak/Dev/gcc-install/include
 /home/prak/Dev/gcc-install/lib/gcc/i686-pc-linux-gnu/4.6.0/include
 /home/prak/Dev/gcc-install/lib/gcc/i686-pc-linux-gnu/4.6.0/include-fixed
 /usr/include
End of search list.
GNU C++ (GCC) version 4.6.0 20100716 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.3.4, GMP version 4.3.2, MPFR version 3.0.0,
MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 6d1c47967936e3e68fa845533411d5d9
has_construct.cc: In instantiation of &#8216;const bool has_construct<A1, int,
int>::value&#8217;:
has_construct.cc:37:51:   instantiated from here
has_construct.cc:14:67: internal compiler error: Naruszenie ochrony pamiêci
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Same with released 4.5.0


-- 
           Summary: [C++0x] decltype of method call dependand on pack
                    expansion crashes
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: piotr dot rak at gmail dot com


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

[Bug c++/44967] [C++0x] decltype of method call dependand on pack expansion crashes

[piotr dot rak at gmail dot com]

------- Comment #1 from piotr dot rak at gmail dot com  2010-07-16 23:49 -------
Created an attachment (id=21229)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21229&action=view)
Testcase


-- 


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

[Bug c++/44967] [C++0x] decltype of method call dependand on pack expansion crashes

[paolo dot carlini at oracle dot com]

-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-17 00:21:40
               date|                            |


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

[Bug c++/44967] [C++0x] decltype of method call dependand on pack expansion crashes

[paolo dot carlini at oracle dot com]

------- Comment #2 from paolo dot carlini at oracle dot com  2010-07-20 10:16 -------
Jason, apparently this issue is slowing down scoped allocator work. It seems
indeed quite annoying. Do you think we can look into it pretty soon? Thanks in
advance.


-- 


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

[Bug c++/44967] [C++0x] decltype of method call dependent on pack expansion crashes

[jason at gcc dot gnu dot org]

-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jason at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-07-17 00:21:40         |2010-07-20 13:52:33
               date|                            |


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

[Bug c++/44967] [C++0x] decltype of method call dependent on pack expansion crashes

[jason at gcc dot gnu dot org]

------- Comment #3 from jason at gcc dot gnu dot org  2010-07-20 17:34 -------
Subject: Bug 44967

Author: jason
Date: Tue Jul 20 17:34:18 2010
New Revision: 162343

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162343
Log:
        PR c++/44967
        * pt.c (tsubst_copy_and_build): Handle partial substitution of
        CALL_EXPR.

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


-- 


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

[Bug c++/44967] [C++0x] decltype of method call dependent on pack expansion crashes

[jason at gcc dot gnu dot org]

------- Comment #5 from jason at gcc dot gnu dot org  2010-07-20 18:23 -------
Fixed.


-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.0


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

[Bug c++/44967] [C++0x] decltype of method call dependent on pack expansion crashes

[jason at gcc dot gnu dot org]

------- Comment #4 from jason at gcc dot gnu dot org  2010-07-20 18:23 -------
Subject: Bug 44967

Author: jason
Date: Tue Jul 20 18:22:34 2010
New Revision: 162345

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162345
Log:
        PR c++/44967
        * pt.c (tsubst_copy_and_build): Rework last change.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c


-- 


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