r166167 - in /trunk: gcc/cp/ChangeLog gcc/cp/ca...

[jason at gcc dot gnu dot org]

Author: jason
Date: Tue Nov  2 01:31:18 2010
New Revision: 166167

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166167
Log:
	* call.c (null_ptr_cst_p): Use maybe_constant_value.
	(set_up_extended_ref_temp): Support constant initialization.
	(initialize_reference): Adjust.
	* class.c (check_bitfield_decl): Use cxx_constant_value.
	* cvt.c (ocp_convert): Don't use integral_constant_value when
	converting to class type.
	* decl.c (finish_case_label): Use maybe_constant_value.
	(build_init_list_var_init): Support constant initialization.
	(check_initializer): Likewise.  Reorganize.
	(cp_finish_decl): Likewise.
	(expand_static_init): Likewise.
	(compute_array_index_type): Use maybe_constant_value.
	Add complain parm.
	(create_array_type_for_decl, grokdeclarator): Pass it.
	(build_enumerator): Use cxx_constant_value.
	* decl2.c (grokfield): Use maybe_constant_init.
	* except.c (check_noexcept_r): Handle constexpr.
	(build_noexcept_spec): Use maybe_constant_value.
	* init.c (expand_default_init): Support constant initialization.
	(build_vec_init): Likewise.
	(constant_value_1): Adjust.
	(build_new_1): Adjust.
	* parser.c (cp_parser_constant_expression): Allow non-integral
	in C++0x mode.
	(cp_parser_direct_declarator): Don't fold yet in C++0x mode.
	(cp_parser_initializer_clause): Toss folded result if non-constant.
	* pt.c (fold_decl_constant_value): Remove.
	(convert_nontype_argument): Use maybe_constant_value.  Give clearer
	error about overflow.
	(tsubst): Move array bounds handling into compute_array_index_type.
	(value_dependent_expression_p): Handle constant CALL_EXPR.
	* semantics.c (finish_static_assert): Use maybe_constant_value.
	(ensure_literal_type_for_constexpr_object): Make sure type is complete.
	(potential_constant_expression): Use maybe_constant_value.
	* tree.c (cast_valid_in_integral_constant_expression_p): Any cast
	is potentially valid in C++0x.
	* typeck2.c (store_init_value): Handle constant init.
	(check_narrowing): Use maybe_constant_value.
	(build_functional_cast): Set TREE_CONSTANT on literal T().
	* cp-tree.h (DECL_INTEGRAL_CONSTANT_VAR_P): Remove.
	(LOOKUP_ALREADY_DIGESTED): New.
	(compute_array_index_type): Adjust prototype.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-array-ptr.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-array-ptr2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-array-ptr3.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-array-ptr4.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-array-ptr5.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-array-ptr6.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-array.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-base.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-complex.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-data1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-data2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-deref.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-diag1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-eh-spec.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ellipsis.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ellipsis2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-empty.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-empty2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-empty3.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-empty4.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-empty5.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ex1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ex2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ex3.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ex4.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-explicit-inst.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-fnptr.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-function1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-function2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-function3.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ice.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-initlist.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-neg1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-noexcept.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-noexcept2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-noexcept3.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-noexcept4.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-non-const-arg.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-nonlit.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-nonlit2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-nullptr.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-object1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-object2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-overflow.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-pedantic.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-pos1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-potential1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ptrmem.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-pure.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-static.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-static2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-static3.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-static4.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-static5.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-static6.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-string.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-switch.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-targ.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-throw.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-typeid.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-union.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-value.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-value2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-variadic.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/cvt.c
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/decl2.c
    trunk/gcc/cp/except.c
    trunk/gcc/cp/init.c
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/rtti.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/cp/tree.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/cp/typeck2.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/initlist5.C
    trunk/gcc/testsuite/g++.dg/cpp0x/static_assert3.C
    trunk/gcc/testsuite/g++.dg/other/fold1.C
    trunk/gcc/testsuite/g++.dg/parse/constant4.C
    trunk/gcc/testsuite/g++.dg/parse/crash36.C
    trunk/gcc/testsuite/g++.dg/template/arg5.C
    trunk/gcc/testsuite/g++.dg/template/non-dependent10.C
    trunk/gcc/testsuite/g++.dg/template/qualified-id3.C
    trunk/gcc/testsuite/g++.dg/warn/overflow-warn-1.C
    trunk/gcc/testsuite/g++.dg/warn/overflow-warn-3.C
    trunk/gcc/testsuite/g++.dg/warn/overflow-warn-4.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/crash10.C
    trunk/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc