[Bug c++/50545] [C++0x][DR 1172] SFINAE does not handle an explicit type conversion (functional notation) with a braced-init-list well if target type is not dependent

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2012-08-31 
02:50:33 UTC ---
Author: jason
Date: Fri Aug 31 02:50:28 2012
New Revision: 190830

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190830
Log:
    PR c++/50545
    PR c++/51222
    * pt.c (instantiation_dependent_r): New.
    (instantiation_dependent_expression_p): New.
    (value_dependent_expression_p): Use it.  SCOPE_REF is always dependent.
    * semantics.c (finish_decltype_type): Use it.
    * cp-tree.h: Declare it.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype40.C
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype41.C
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype42.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/semantics.c