| 2008-12-31 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38647 |
| * parser.c (cp_parser_primary_expression) <case RID_FUNCTION_NAME>: |
| Return error_mark_node if cp_parser_non_integral_constant_expression |
| returns true. |
| |
| PR c++/38640 |
| * semantics.c (finish_decltype_type): Handle TEMPLATE_PARM_INDEX. |
| |
| 2008-12-29 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38635 |
| * parser.c (cp_parser_condition): Use cp_parser_require |
| instead of cp_lexer_consume_token to consume =. |
| |
| PR c++/38637 |
| * decl.c (start_enum): If enumtype is error_mark_node, exit early. |
| |
| 2008-12-28 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38650 |
| * semantics.c (finish_omp_for): Don't add CLEANUP_POINT_EXPR |
| around volatile iteration var in condition and/or increment |
| expression. |
| |
| 2008-12-27 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38639 |
| * pt.c (tsubst_omp_for_iterator): RECUR on whole init_expr instead of |
| just its type. |
| |
| 2008-12-21 Jason Merrill <jason@redhat.com> |
| |
| PR c++/38597 |
| * name-lookup.c (arg_assoc_type): Handle DECLTYPE_TYPE. |
| |
| 2008-12-20 Jakub Jelinek <jakub@redhat.com> |
| Manuel López-Ibáñez <manu@gcc.gnu.org> |
| |
| PR c++/36921 |
| * c-common.c (warn_about_parentheses): Remove ARG_UNUSED from |
| arg_left. Don't warn about X<=Y<=Z if comparison's type isn't |
| integral. |
| |
| 2008-12-19 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38577 |
| * call.c (build_new_method_call): Handle call being COMPOUND_EXPR |
| or NOP_EXPR. |
| |
| 2008-12-18 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38427 |
| * init.c (perform_member_init): For value-initialized |
| references call permerror instead of warning and don't emit any |
| INIT_EXPR. |
| |
| 2008-12-18 Jason Merrill <jason@redhat.com> |
| |
| PR c++/38485 |
| * parser.c (cp_parser_token_starts_cast_expression): An EOF |
| can't start a cast-expression. |
| |
| 2008-12-17 Jason Merrill <jason@redhat.com> |
| |
| * semantics.c (describable_type): New function. |
| (finish_decltype_type): Use it for dependent exprs. |
| * cp-tree.h: Declare it. |
| * mangle.c (write_type) [DECLTYPE_TYPE]: Set skip_evaluation. |
| (write_expression): If skip_evaluation, use type stubs. |
| * tree.c (cp_tree_equal): Handle PARM_DECLs from different |
| declarations of a function. |
| * init.c (build_new): Do auto deduction if type is describable. |
| * decl.c (cp_finish_decl): Likewise. |
| * parser.c (cp_parser_omp_for_loop): Likewise. |
| |
| 2008-12-10 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35319 |
| * mangle.c (write_builtin_type): Add mangling for decimal floating |
| point and fixed point types. |
| (write_type): Pass FIXED_POINT_TYPE along. |
| |
| 2008-12-09 Mark Mitchell <mark@codesourcery.com> |
| |
| PR c++/37971 |
| * class.c (resolve_address_of_overloaded_function): Check |
| accessibility of member functions unless FLAGS indicates |
| otherwise. |
| * call.c (standard_conversion): Adjust flags passed to |
| instantiate_type. |
| (convert_default_arg): Do not perform access checks. |
| * cp-tree.h (tsubst_flags_t): Add tf_no_access_control. |
| |
| 2008-12-08 Steve Ellcey <sje@cup.hp.com> |
| |
| * decl2.c (mark_used): Remove assemble_external call. |
| |
| 2008-12-08 Dodji Seketeli <dodji@redhat.com> |
| |
| PR debug/38390 |
| * name-lookup.c (kept_level_p): Don't forget the case of levels |
| having using directives. |
| |
| 2008-12-08 Richard Henderson <rth@redhat.com> |
| |
| PR 38240 |
| * class.c (finish_struct_bits): Use SET_TYPE_MODE. |
| * decl.c (record_unknown_type): Likewise. |
| (start_enum, finish_enum): Likewise. |
| |
| 2008-12-05 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35336 |
| * error.c (dump_expr): Handle BIT_FIELD_REF. |
| |
| 2008-12-05 Sebastian Pop <sebastian.pop@amd.com> |
| |
| PR bootstrap/38262 |
| * Make-lang.in (cc1plus-dummy, cc1plus): Add BACKENDLIBS, |
| remove GMPLIBS. |
| |
| 2008-12-04 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37906 |
| * decl.c (grok_special_member_properties): Set TYPE_HAS_COMPLEX_DFLT |
| here. |
| * class.c (check_bases_and_members): Rather than assuming any |
| user-declared default constructor is complex here. |
| |
| 2008-12-04 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/38334 |
| * typeck.c (get_member_function_from_ptrfunc): Mark the vtbl |
| pointer access with TREE_NO_WARNING. |
| |
| 2008-12-03 Jason Merrill <jason@redhat.com> |
| |
| PR c++/38232 |
| * init.c (build_value_init): Do initial zero-initialization |
| of a class with an implicitly-defined constructor using |
| build_zero_init rather than in build_value_init. |
| (build_value_init_1): Fold into build_value_init. |
| |
| PR c++/38256 |
| * parser.c (cp_parser_conversion_type_id): Diagnose |
| 'operator auto' here. |
| * decl.c (grokdeclarator): Not here. |
| |
| PR c++/38380 |
| * decl.c (grokdeclarator): Only set DECL_NONCONVERTING_P |
| on explicit constructors. |
| * pt.c (tsubst_copy_and_build) [CONSTRUCTOR]: Propagate |
| CONSTRUCTOR_IS_DIRECT_INIT. |
| |
| 2008-12-02 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35782, c++/37860 |
| * call.c (build_user_type_conversion_1): Remember |
| list-initialization. |
| (convert_like_real): Likewise. |
| (build_over_call): Don't require the copy constructor |
| for copy-list-initialization. |
| * cp-tree.h (TARGET_EXPR_LIST_INIT_P): New macro. |
| |
| PR c++/37234 |
| * decl.c (cp_finish_decl): Handle =default and =delete for |
| templates, too. |
| |
| 2008-12-01 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38257 |
| * parser.c (cp_parser_omp_for_loop): Handle auto. |
| * pt.c (tsubst_omp_for_iterator): Likewise. |
| |
| 2008-11-28 Jason Merrill <jason@redhat.com> |
| |
| PR c++/38233 |
| * init.c (perform_member_init): Fix value-initialization. |
| (build_value_init_1): Add assert to catch cases that will break |
| in the gimplifier. |
| (build_default_init): Remove. |
| * cp-tree.h: Remove its prototype. |
| * pt.c (tsubst_expr) [DECL_EXPR]: Use build_value_init for |
| value-initialization. |
| |
| PR c++/38278 |
| * parser.c (cp_parser_class_name): Only call |
| maybe_note_name_used_in_class if we actually found a class name. |
| |
| 2008-11-25 Jason Merrill <jason@redhat.com> |
| |
| PR c++/28743 |
| * decl2.c (check_classfn): Error rather than abort on parameter |
| list mismatch. |
| |
| 2008-11-20 Jason Merrill <jason@redhat.com> |
| |
| PR c++/28513 |
| * parser.c (cp_parser_class_name): Call maybe_note_name_used_in_class. |
| |
| PR c++/37540 |
| * call.c (build_over_call): Take the address of the function even |
| in a template. |
| (build_new_method_call): Remember the type of the called function |
| in a template. |
| |
| 2008-11-19 Dodji Seketeli <dodji@redhat.com> |
| |
| PR c++/37142 |
| * pt.c (coerce_template_template_parm): Use the more robust |
| uses_template_parms instead of dependent_type_p. |
| |
| 2008-11-19 Dodji Seketeli <dodji@redhat.com> |
| |
| PR c++/35405 |
| * pt.c (lookup_template_class): Check pointers before dereferencing |
| them. |
| * error.c (dump_template_decl): Likewise. |
| |
| 2008-11-19 Jason Merrill <jason@redhat.com> |
| |
| PR c++/36410 |
| * decl2.c (grokfield): Pass ATTR_FLAG_TYPE_IN_PLACE for a typedef |
| that names a class for linkage purposes. |
| |
| PR c++/37563 |
| * parser.c (cp_parser_pseudo_destructor_name): A pseudo-destructor |
| name is not a declaration. |
| |
| PR c++/37256 |
| * pt.c (instantiate_decl): Don't require a definition of |
| a template that is explicitly instantiated 'extern'. |
| |
| 2008-11-18 Jason Merrill <jason@redhat.com> |
| Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37962 |
| * parser.c (cp_parser_type_id): Complain about auto. |
| * decl.c (grokdeclarator): Complain about parameters and |
| conversion functions declared with auto. |
| |
| * call.c (standard_conversion): Use CLASS_TYPE_P instead of |
| MAYBE_CLASS_TYPE_P. |
| * cp-tree.h (TYPE_NON_AGGREGATE_CLASS): Likewise. |
| |
| 2008-11-17 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36089 |
| * init.c (constant_value_1): Handle TREE_LIST init. |
| |
| 2008-11-15 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37561 |
| * typeck.c (cp_build_unary_op): Don't call get_unwidened. Use |
| argtype instead of result_type. |
| |
| 2008-11-14 Jason Merrill <jason@redhat.com> |
| |
| PR c++/38030 |
| * semantics.c (finish_call_expr): Don't repeat arg-dep lookup |
| for a non-dependent call. |
| |
| PR c++/37740 |
| * call.c (build_aggr_conv): Increment i. |
| |
| 2008-11-13 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37932 |
| * typeck2.c (process_init_constructor_record): Update bitfield |
| handling. |
| (check_narrowing): Update bitfield handling, print source type. |
| |
| 2008-11-12 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36478 |
| Revert: |
| 2007-05-07 Mike Stump <mrs@apple.com> |
| * parser.c (check_empty_body): Add. |
| (cp_parser_iteration_statement): Add call to check_empty_body. |
| |
| 2008-11-12 Jason Merrill <jason@redhat.com> |
| |
| PR c++/38007 |
| * typeck.c (cp_build_modify_expr): Update bitfield handling. |
| |
| 2008-11-12 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/34269 |
| * parser.c (cp_parser_simple_declaration): Don't commit |
| to tentative parse if parse errors were seen. |
| |
| PR c++/35334 |
| * error.c (dump_expr): Handle COMPLEX_EXPR. |
| |
| 2008-11-10 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/38021 |
| * parser.c (cp_parser_enum_specifier): After parsing :, |
| parse definitely. Don't return early if type specifier |
| is erroneous. |
| |
| 2008-11-06 David Edelsohn <edelsohn@gnu.org> |
| |
| PR target/26397 |
| * g++spec.c (LIBSTDCXX_STATIC): New. |
| (lang_spec_driver): Use LIBSTDCXX_STATIC when not |
| shared_libgcc. |
| |
| 2008-11-05 Fabien Chêne <fabien@gcc.gnu.org> |
| |
| PR c++/32519 |
| * cp-tree.h: Fix DECL_NONSTATIC_MEMBER_P to handle member template |
| functions. |
| |
| 2008-11-05 Richard Guenther <rguenther@suse.de> |
| |
| PR middle-end/37742 |
| * decl.c (start_preparsed_function): Use the correct type for |
| building the RESULT_DECL. |
| |
| 2008-10-31 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37967 |
| * decl.c (grokdeclarator): Diagnose auto function decl without |
| late return type and late return type function decl where type |
| is not auto. |
| |
| PR c++/37965 |
| * decl.c (cp_finish_decl): Diagnose type_uses_auto type with |
| no initializer. |
| |
| 2008-10-29 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 11492 |
| * class.c (check_bitfield_decl): Rename min_precision to |
| tree_int_cst_min_precision. |
| * decl.c (finish_enum): Likewise. |
| |
| 2008-10-29 Manuel López-Ibáñez <manu@gcc.gnu.org> |
| |
| PR c++/26997 |
| * parser.c (cp_parser_token_starts_cast_expression): New. |
| (cp_parser_cast_expression): Peek the next token to decide whether |
| this could be a parenthesized constructor or is definitely an |
| actual cast. |
| |
| 2008-10-24 Manuel López-Ibáñez <manu@gcc.gnu.org> |
| |
| PR c/7543 |
| * typeck.c (build_x_binary_op): Update call to |
| warn_about_parentheses. |
| * parser.c (cp_parser_binary_expression): Add note about passing |
| the correct code for unary expressions. |
| |
| 2008-10-24 Jakub Jelinek <jakub@redhat.com> |
| |
| * Make-lang.in (check-c++-subtargets): New alias for |
| check-g++-subtargets. |
| (lang_checks_parallelized): Add check-g++. |
| (check_g++_parallelize): New variable. |
| |
| 2008-10-21 Richard Guenther <rguenther@suse.de> |
| |
| * semantics.c (simplify_aggr_init_exprs_r): Remove. |
| (expand_or_defer_fn): Do not walk the function body to |
| simplify aggr_init_exprs. |
| |
| 2008-10-20 Manuel López-Ibáñez <manu@gcc.gnu.org> |
| |
| PR c++/37004 |
| * typeck.c (cp_common_type): New. The same as |
| type_after_usual_arithmetic_conversions but without promotions. |
| (type_after_usual_arithmetic_conversions): Do the promotions and |
| call cp_common_type. |
| (common_type): Make it behave like the C version of this |
| function. Do not handle pointer types. |
| (common_pointer_type): Move handling of pointer types from |
| common_type to here. |
| (cp_build_binary_op): Use common_pointer_type instead of |
| common_type in call to pointer_diff. |
| Use cp_common_type instead of common_type. |
| * cp-tree.h (common_pointer_type): Declare. |
| |
| 2008-10-14 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37819 |
| * cp-gimplify.c (cp_genericize_r): Only fold_convert COND_EXPR |
| arguments if they don't already have COND_EXPR's type. |
| |
| 2008-10-14 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/37650 |
| * pt.c (push_template_decl_real): Check that current_template_parms |
| is not null. |
| (process_partial_specialization): Assert current_template_parms not |
| null. |
| |
| 2008-10-13 Doug Evans <dje@google.com> |
| |
| * cp-tree.h (DECL_MAIN_P): Fix parentheses around expression. |
| |
| 2008-10-10 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37146 |
| * cp-gimplify.c (cp_genericize_r): Fix up bitfield operands of |
| COND_EXPR. |
| |
| 2008-10-09 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37568 |
| * semantics.c (finalize_nrv_r): Clear DECL_INITIAL instead of |
| setting it to error_mark_node. |
| |
| 2008-10-07 Steve Ellcey <sje@cup.hp.com> |
| |
| * decl.c (start_cleanup_fn): Declare as inline. |
| |
| 2008-10-06 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37376, other mangling issues |
| * mangle.c (write_type): Update TYPE_PACK_EXPANSION mangling. |
| (write_member_name): Break out from... |
| (write_expression): ...here. Handle dependent COMPONENT_REF. |
| (write_template_arg): Wrap an argument pack in 'I'/'E'. |
| (write_builtin_type): Update char16/32_t mangling. |
| (write_nested_name, write_prefix): Don't forget template args |
| for typename types. |
| * operators.def: Add ARROW_EXPR, update COMPONENT_REF and |
| EXPR_PACK_EXPANSION. |
| |
| 2008-10-06 Aldy Hernandez <aldyh@redhat.com> |
| |
| * typeck.c (build_x_indirect_ref): Add location argument. |
| (cp_build_binary_op): Pass location to warn_for_div_by_zero. |
| (cp_build_unary_op): Add location argument. |
| (cp_build_modify_expr): Same. |
| * class.c (build_base_path): Pass location to build_indirect_ref. |
| * semantics.c (handle_omp_for_class_iterator): Pass elocus to |
| build_modify_expr. |
| |
| 2008-10-05 Dodji Seketeli <dodji@redhat.com> |
| |
| PR c++/37410 |
| * cp-gimplify.c (cp_gimplify_expr): For each USING_STMT |
| make sure an IMPORTED_DECL node is added to the BLOCK_VARS list |
| of the innermost containing BLOCK. |
| |
| 2008-10-03 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/37719 |
| * error.c (dump_function_decl): Save the exceptions in case of |
| error about incompatible specifications in a specialization. |
| |
| 2008-10-01 Andrew Pinski <andrew_pinski@playstation.sony.com> |
| |
| * tree.c (lvalue_p_1): COMPOUND_LITERAL_EXPR is also an lvalue. |
| |
| 2008-09-30 H.J. Lu <hongjiu.lu@intel.com> |
| |
| PR c++/37683 |
| * parser.c (cp_parser_selection_statement): Fix uninitialized |
| variable. |
| |
| 2008-09-30 Simon Martin <simartin@users.sourceforge.net> |
| |
| PR c++/37555 |
| PR c++/37556 |
| * decl.c (grokdeclarator): Set the type for typedefs to a |
| nested-name-specifier to error_mark_node. |
| |
| 2008-09-30 Paolo Bonzini <bonzini@gnu.org> |
| |
| * parser.c (cp_parser_selection_statement): Implement here the |
| -Wempty-body warning for `if' and `else' statements. |
| * semantics.c (finish_if_stmt): Do not call empty_body_warning. |
| |
| 2008-09-25 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/37649 |
| * name-lookup.c (maybe_process_template_type_declaration): Check |
| return value of push_template_decl_real for error_mark_node. |
| |
| 2008-09-24 Aldy Hernandez <aldyh@redhat.com> |
| |
| * semantics.c (finish_fname): Pass location to fname_decl. |
| |
| 2008-09-23 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37533 |
| * semantics.c (finish_omp_for): If processing_template_decl, just build |
| MODIFY_EXPR for init instead of calling cp_build_modify_expr. |
| |
| 2008-09-23 Aldy Hernandez <aldyh@redhat.com> |
| |
| * typeck.c (build_array_ref): Pass location to cp_build_binary_op. |
| (get_member_function_from_ptrfunc): Same. |
| (build_x_binary_op): Same. |
| (build_binary_op): Same. |
| (cp_build_binary_op): New location argument. |
| (pointer_diff): Pass location to cp_build_binary_op. |
| (cp_truthvalue_conversion): Pass location to build_binary_op. |
| (convert_ptrmem): Pass location to cp_build_binary_op. |
| (cp_build_modify_expr): Same. |
| (build_ptrmemfunc): Same. |
| * init.c (expand_cleanup_for_base): Pass location to |
| c_common_truthvalue_conversion. |
| (build_new_1): Pass location to cp_build_binary_op. |
| (build_vec_delete_1): Pass location to *build_binary_op, |
| c_common_truthvalue_conversion. |
| (build_vec_init): Same. |
| (build_delete): Same. |
| * decl.c (compute_array_index_type): Same. |
| * call.c (build_new_op): Same. |
| * rtti.c (build_dynamic_cast_1): Same. |
| * cp-tree.h: Add argument to cp_build_binary_op. |
| * semantics.c (handle_omp_for_class_iterator): Pass location to |
| *build_binary_op, c_common_truthvalue_conversion. |
| * decl2.c (get_guard_cond): Same. |
| |
| 2008-09-17 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/22374 |
| * rtti.c (build_dynamic_cast_1): Convert the COND_EXPR |
| result to the correct type. |
| |
| 2008-09-17 H.J. Lu <hongjiu.lu@intel.com> |
| |
| PR c++/37450 |
| * name-lookup.c (pushdecl_maybe_friend): Don't return the old |
| parameter for duplicate. |
| |
| 2008-09-17 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37588 |
| * name-lookup.c (lookup_type_scope): Look through sk_function_parms. |
| |
| 2008-09-17 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37552 |
| * typeck.c (build_array_ref): Use protected_set_expr_location instead |
| of SET_EXPR_LOCATION when ret might not be an expression. |
| |
| 2008-09-17 Jan Hubicka <jh@suse.cz> |
| |
| PR c++/18071 |
| * cp/decl.c (start_method): Set DECL_NO_INLINE_WARNING_P. |
| |
| 2008-09-16 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37531 |
| * semantics.c (finish_compound_literal): Return error_mark_node if |
| type is errorneous. |
| |
| PR c++/37532 |
| * lex.c (init_reswords): Don't populate ridpointers for D_CONLY |
| reserved words. |
| |
| 2008-09-15 Aldy Hernandez <aldyh@redhat.com> |
| |
| * decl.c (duplicate_decls): Call error_at. |
| (grokfndecl): New location argument. Use location if available. |
| (grokdeclarator): Pass declarator location to grokfndecl. |
| * cp-tree.h (struct cp_declarator): Update comment for id_loc. |
| * decl2.c (check_classfn): Use error_at. |
| * parser.c (cp_parser_init_declarator): Set function_start_locus |
| to brace location. |
| (cp_parser_member_declaration): Set id_loc for function declarators. |
| |
| 2008-09-09 Jan Hubicka <jh@suse.cz> |
| |
| PR middle-end/37500 |
| * pt.c (tsubst_decl): Do not copy DECL_STRUCT_FUNCTION pointer. |
| |
| 2008-09-09 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37417 |
| * tree.c (array_type_nelts_top): Add size_one_node instead of |
| integer_one_node. |
| |
| 2008-09-09 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37439 |
| * pt.c (tsubst_copy) [PARM_DECL]: Don't abort if the parm has |
| DECL_CONTEXT set. |
| |
| 2008-09-09 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37389 |
| * decl.c (build_enumerator): Handle previous value's DECL_INITIAL |
| being error_operand_p. Don't clear value if it was error_mark_node. |
| |
| 2008-09-09 Paolo Bonzini <bonzini@gnu.org> |
| |
| * cp-objcp-common.h (LANG_HOOKS_EXPAND_DECL): Remove. |
| * cp-tree.h: Don't mention DECL_ANON_UNION_ELEMS. |
| * semantics.c (anon_aggr_type_p): Remove. |
| |
| 2008-09-06 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37302 |
| * parser.c (cp_parser_parameter_declaration_list): Process the |
| PARM_DECLs as we go and push them. Return a TREE_LIST. |
| (cp_parser_parameter_declaration_clause): Return a TREE_LIST. |
| (cp_parser_direct_declarator): Create a binding level and |
| suppress deprecated warnings in the parameter list. |
| (make_call_declarator): PARMS is now a tree. |
| * cp-tree.h (struct cp_declarator): Function parms are now a tree. |
| * decl.h (enum deprecated_states, deprecated_state): Move here. |
| * decl.c: From here. |
| (type_is_deprecated): New fn. |
| (grokparms): PARMLIST is a tree now. Warn about parms that |
| use deprecated types. |
| * mangle.c (write_expression): Handle PARM_DECL, CALL_EXPR and |
| 0-operand cast. |
| * pt.c (tsubst) [DECLTYPE_TYPE]: Set skip_evaluation. |
| (tsubst_copy) [PARM_DECL]: Handle a PARM_DECL used outside of a |
| function. |
| * name-lookup.c (pushtag): Look through function parameter scopes. |
| (pushdecl_maybe_friend): Don't set DECL_CONTEXT on a PARM_DECL |
| when we're parsing a function declarator. |
| |
| 2008-09-05 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/37342 |
| * tree.c (cp_build_qualified_type_real): Deal with sharing of |
| TYPE_LANG_SPECIFIC in the canonical types of pointer-to-method |
| types. |
| |
| 2008-09-04 Ian Lance Taylor <iant@google.com> |
| |
| * parser.c (check_no_duplicate_clause): Change code parameter to |
| enum omp_clause_code. |
| |
| 2008-09-03 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/37348 |
| * decl.c (cp_finish_decl): Only set |
| DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P if decl is VAR_DECL. |
| |
| PR c++/37189 |
| * cp-tree.h (defer_mark_used_calls, deferred_mark_used_calls): New |
| extern decls. |
| * decl2.c (mark_used): If defer_mark_used_calls, push decl into |
| deferred_mark_used_calls vector and exit early. |
| * decl.c (defer_mark_used_calls, deferred_mark_used_calls): New |
| variables. |
| (finish_function): Set defer_mark_used_calls for the duration of the |
| function. Call mark_used on any queued decls. |
| |
| 2008-09-02 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37208 |
| * call.c (build_over_call): Make =delete work with SFINAE. |
| * class.c (resolve_address_of_overloaded_function): Likewise. |
| |
| * cp-tree.h (struct lang_decl_flags): Rename threadprivate_p to |
| threadprivate_or_deleted_p. |
| (CP_DECL_THREADPRIVATE_P): Adjust. |
| (DECL_DELETED_FN): Likewise. |
| (SD_UNINITIALIZED, SD_INITIALIZED, SD_DEFAULTED): New macros. |
| (SD_DELETED): New macro. |
| * parser.c (cp_parser_init_declarator): Use them. |
| * decl.c (start_decl): Use them. |
| |
| * decl2.c (mark_used): Give =deleted error even in sizeof. |
| |
| * typeck2.c (check_narrowing): Downgrade narrowing error to |
| permerror. |
| |
| 2008-09-02 Aldy Hernandez <aldyh@redhat.com> |
| |
| * typeck.c (build_array_ref): Use new location argument. |
| * class.c (build_vtbl_ref_1): Pass location to build_array_ref. |
| * call.c (build_new_op): Same. |
| * decl2.c (grok_array_decl): Same. |
| * cp-tree.h (build_array_ref): Add location argument to prototype. |
| |
| 2008-09-01 Aldy Hernandez <aldyh@redhat.com> |
| |
| * typeck.c (build_x_indirect_ref): Add location argument. |
| * class.c (build_base_path): Pass location to build_indirect_ref. |
| * pt.c (tsubst_copy_and_build): Pass location to |
| finish_label_address_expr. |
| * parser.c (cp_parser_unary_expression): Same. |
| |
| 2008-08-31 Jason Merrill <jason@redhat.com> |
| |
| Implement late-specified return type using 'auto'. |
| * cp-tree.h (struct cp_declarator): Add late_return_type field to |
| function declarator. |
| * parser.c (cp_parser_late_return_type_opt): New fn. |
| (cp_parser_direct_declarator): Use it. |
| (make_call_declarator): Put it in the declarator. |
| * decl.c (grokdeclarator): Splice in late-specified return type. |
| * pt.c (splice_late_return_type): New fn. |
| |
| 2008-08-29 Michael Meissner <gnu@the-meissners.org> |
| |
| * decl.c (builtin_function_1): Take a bool argument to decide |
| whether to use pushdecl or pushdecl_top_level. |
| (duplicate_decls): Copy function specific target and optimization |
| options on duplicate declarations. |
| (cxx_builtin_function): Update builtin_function_1 call. |
| (cxx_builtin_function_ext_scope): New function, guarantee that the |
| declaration is done at global scope. |
| |
| * cp-objcp-common.h (LANG_HOOKS_BUILTIN_FUNCTION_EXT_SCOPE): New |
| macro, define builtin function hook for delayed machine specific |
| builtins. |
| |
| * cp-tree.h (cxx_builtin_function_ext_scope): Add declaration. |
| |
| 2008-08-30 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37288 |
| * pt.c (dependent_type_p): Don't abort on auto outside of a template. |
| |
| 2008-08-29 Jason Merrill <jason@redhat.com> |
| |
| Implement C++0x 'auto' semantics. |
| * decl.c (start_decl_1): Don't complain about auto being incomplete. |
| (cp_finish_decl): Deduce auto. |
| * init.c (build_new): Handle 'new auto'. |
| * typeck2.c (cxx_incomplete_type_diagnostic): Give a different |
| message for auto than for normal template type parms. |
| * pt.c (type_dependent_expression_p): Handle { }. |
| (make_auto): New function. |
| (listify_autos): New function. |
| (do_auto_deduction): New function. |
| (is_auto): New function. |
| (type_uses_auto): New function. |
| * cp-tree.h: Declare them. |
| * parser.c (cp_parser_decl_specifier_seq): In C++0x mode, don't |
| treat auto as a declspec. |
| (cp_parser_simple_type_specifier): It's a type-specifier. |
| |
| 2008-08-29 Mark Mitchell <mark@codesourcery.com> |
| |
| * mangle.c (write_type): Add target-specific manglings for |
| non-fundamental types to the substitution table. |
| gcc/testsuite/ |
| |
| 2008-08-29 Jakub Jelinek <jakub@redhat.com> |
| |
| PR fortran/29635 |
| PR fortran/23057 |
| * name-lookup.c (do_using_directive, cp_emit_debug_info_for_using): |
| Adjust debug_hooks->imported_module_or_decl callers. |
| |
| 2008-08-29 Jan Hubicka <jh@suse.cz> |
| |
| * cp-gimplify.c (cp_gimplify_expr): Add PRED_CONTINUE heuristic. |
| |
| 2008-08-28 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/37260 |
| * decl.c (reshape_init_r): Check init for error_mark_node. |
| |
| 2008-08-27 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR c++/17880 |
| * semantics.c (maybe_convert_cond): Call verify_sequence_points. |
| (finish_return_stmt): Likewise. |
| (finish_switch_condition): Likewise. |
| |
| 2008-08-27 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| * cp-tree.h: Fix #error directive. |
| |
| 2008-08-26 Douglas Gregor <doug.gregor@gmail.com> |
| |
| * typeck.c (type_after_usual_arithmetic_conversions): Don't do the |
| usual arithmetic conversions on scoped enumeration types. |
| (common_type): Ditto. |
| (default_conversion): Don't perform integral promotions on scoped |
| enumeration types. |
| (build_array_ref): Scoped enumeration types can't be used as |
| subscripts. |
| * decl.c (start_enum): If building a C++0x scoped enumeration, |
| enter its scope. If provided with an underlying type, check that |
| underlying type and set up the enumeration type accordingly. |
| (finish_enum): Only compute an underlying type if the underlying |
| type isn't already fixed, and only convert the enumerator values |
| now if we've just computed the underlying type. Finish the scope |
| of C++0x scoped enumerations. |
| (build_enumerator): For enumerations with a fixed underlying type, |
| check the enumerator values when the enumerator is defined. |
| (lookup_enumerator): New. |
| * call.c (standard_conversion): Don't allow assignment from |
| integers to scoped enumeration types, even with -fpermissive. |
| Don't convert from scoped enumerations to bool or any arithmetic |
| types. |
| (build_conditional_expr): Don't per the usual arithmetic |
| conversions for scoped enumeration types. |
| (convert_like_real): Check complain to see if we should |
| produce warnings. |
| * error.c (class_key_or_enum_as_string): Print scoped enums. |
| * cp-tree.h (MAYBE_CLASS_TYPE_P): Check CLASS_TYPE_P, not |
| TYPE_LANG_FLAG_5. |
| (INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P): New. |
| (SCOPED_ENUM_P): New. |
| (UNSCOPED_ENUM_P): New. |
| (SET_SCOPED_ENUM_P): New. |
| (ENUM_UNDERLYING_TYPE): New. |
| * pt.c (lookup_template_class): Update the instantiation of enum |
| types to deal with C++0x scoped enumerations and underlying |
| types. |
| * name-lookup.c (begin_scope): Deal with scoped enumeration |
| scopes. |
| (lookup_qualified_name): Deal with lookup into enumeration types. |
| * name-lookup.h (enum scope_kind): Add sk_scoped_enum. |
| * parser.c (cp_parser_class_or_namespace_name): Rename to... |
| (cp_parser_qualifying_entity): ... this. Also, in C++0x mode, |
| parse a type-name that can be an enumeration type. |
| (cp_parser_nested_name_specifier_opt): Update with C++0x grammar. |
| (cp_parser_elaborated_type_specifier): Parse the |
| optional `struct' or `class' following enum (in C++0x). |
| (cp_parser_enum_specifier): Parse C++0x scoped enumerations and |
| enum-base clauses. |
| |
| 2008-08-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| * typeck.c: Update all calls to pedwarn. |
| * decl.c: Likewise. |
| * call.c: Likewise. |
| * error.c: Likewise. |
| * pt.c: Likewise. |
| * name-lookup.c: Likewise. |
| * parser.c: Likewise. |
| |
| 2008-08-20 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR c++/35158 |
| * parser.c (cp_parser_omp_for_loop): Handle parenthesized |
| initializers. |
| |
| 2008-08-20 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| * parser.c: Update all calls to inform. |
| * typeck.c: Likewise. |
| * init.c: Likewise. |
| * class.c: Likewise. |
| * call.c: Likewise. |
| * method.c: Likewise. |
| * friend.c: Likewise. |
| * typeck2.c: Likewise. |
| * pt.c: Likewise. |
| * name-lookup.c: Likewise. |
| * lex.c: Likewise. |
| |
| 2008-08-19 Jakub Jelinek <jakub@redhat.com> |
| |
| PR debug/37156 |
| * error.c (cp_print_error_function): Deal with recursive BLOCK trees. |
| |
| 2008-08-18 Tomas Bily <tbily@suse.cz> |
| |
| * tree.c (cp_tree_equal): Use CONVERT_EXPR_CODE_P. |
| |
| 2008-08-18 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| * typeck.c: Update all callers of permerror. |
| * init.c: Likewise. |
| * class.c: Likewise. |
| * decl.c: Likewise. |
| * call.c: Likewise. |
| * except.c: Likewise. |
| * cvt.c: Likewise. |
| * typeck2.c: Likewise. |
| * pt.c: Likewise. |
| * semantics.c: Likewise. |
| * name-lookup.c: Likewise. |
| * lex.c: Likewise. |
| * decl2.c: Likewise. |
| * parser.c: Likewise. |
| |
| 2008-08-14 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/34485 |
| * pt.c (check_template_shadow): Change to return a bool. |
| * name-lookup.c (push_class_level_binding): Early return if |
| check_template_shadow returns false. |
| * cp-tree.h (check_template_shadow): Adjust declaration. |
| |
| 2008-08-14 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/34600 |
| * decl.c (grokdeclarator): In case of extern and initializer, return |
| error_mark_node after the error. |
| |
| 2008-08-13 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 30551 |
| * decl.c (grokfndecl): Call check_main_parameters_type only if |
| -Wmain. |
| |
| 2008-08-12 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/37087 |
| * parser.c (cp_parser_class_head): Early return error_mark_node in |
| case of global qualification of class name or qualified name that |
| does not name a class. |
| |
| 2008-08-09 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR c++/12242 |
| * cvt.c (ocp_convert): Warn for out-of-range conversions to enum. |
| |
| 2008-08-09 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 36901 |
| * cp-tree.h (struct diagnostic_context, struct diagnostic_info): |
| Delete forward declarations. Check that toplev.h has not been |
| included before this file. Include toplev.h and diagnostic.h. |
| * error.c (cp_cpp_error): Use DK_PEDWARN. |
| (cxx_incomplete_type_diagnostic): Update declaration. |
| (cxx_incomplete_type_error): Use DK_ERROR. |
| * typeck2.c (cxx_incomplete_type_diagnostic): Take a diagnostic_t |
| as argument. Use emit_diagnostic. |
| (cxx_incomplete_type_error): Use DK_ERROR. |
| (add_exception_specifier): Use diagnostic_t instead of custom |
| codes. |
| * typeck.c (complete_type_or_else): Update call to |
| cxx_incomplete_type_diagnostic. |
| * init.c (build_delete): Likewise. |
| * call.c (diagnostic_fn_t): Remove unused typedef. |
| (build_temp): Pass a pointer to diagnostic_t. |
| (convert_like_real): Use emit_diagnostic. |
| (joust): Check return value of warning before giving informative |
| note. |
| * friend.c (do_friend): Check return value of warning |
| before giving informative note. |
| * parser.c (cp_parser_template_id): Likewise. |
| |
| 2008-08-09 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 7651 |
| * class.c (check_bases_and_members): Warn with -Wuninitialized |
| instead of -Wextra. |
| |
| 2008-08-08 Volker Reichelt <v.reichelt@netcologne.de> |
| |
| PR c++/35985 |
| * decl.c (xref_basetypes): Check base for MAYBE_CLASS_TYPE_P, |
| and make sure it is not a union. |
| |
| 2008-08-07 H.J. Lu <hongjiu.lu@intel.com> |
| |
| * semantics.c (finish_decltype_type): Initialize type. |
| |
| 2008-08-07 Douglas Gregor <doug.gregor@gmail.com> |
| |
| * semantics.c (finish_decltype_type): Handle calls to function |
| pointers and references to functions properly. |
| |
| 2008-08-06 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/36460 |
| * parser.c (cp_parser_template_argument): Don't assume that '>>' |
| following a type-id is an error when in C++0x mode. |
| |
| 2008-08-06 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 26785 |
| * decl.c (grokdeclarator): Use explicit location with permerror_at. |
| |
| 2008-08-06 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 8715 |
| * typeck.c (cp_build_binary_op): Move code to c-common.c. |
| |
| 2008-08-05 Jason Merrill <jason@redhat.com> |
| |
| PR c++/37016 |
| * decl.c (build_ptrmemfunc_type): Don't require structural |
| comparison of PMF types. |
| * tree.c (cp_build_qualified_type_real): Don't clear |
| a valid TYPE_PTRMEMFUNC_TYPE. |
| * typeck.c (cp_build_unary_op): Still do build_ptrmemfunc in |
| templates. |
| |
| 2008-08-04 Jason Merrill <jason@redhat.com> |
| |
| PR c++/36963 |
| * typeck2.c (check_narrowing): Allow narrowing conversion |
| from an explicit floating-point constant. |
| |
| PR c++/37006 |
| * pt.c (tsubst_decl): Leave DECL_INITIAL set on deleted |
| instantiations. |
| |
| 2008-08-04 Simon Baldwin <simonb@google.com> |
| |
| PR c++/36999 |
| * parser.c (cp_parser_elaborated_type_specifier): Warn only when |
| the declaration's id is followed by a semicolon. |
| |
| 2008-07-31 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36405 |
| * rtti.c (get_tinfo_decl_dynamic, get_typeid): Call |
| complete_type_or_else even for UNKNOWN_TYPE to get diagnostics. |
| |
| 2008-07-31 Jason Merrill <jason@redhat.com> |
| |
| PR c++/36633 |
| * init.c (build_new_1): Don't convert pointer to the data type |
| until we're actually going to treat it as that type. |
| |
| PR c++/11309 |
| * tree.c (build_aggr_init_expr): Split out... |
| (build_cplus_new): ...from here. |
| (stabilize_init): Don't mess with AGGR_INIT_EXPR either. |
| * init.c (build_new_1): new T() means value-initialization, |
| not default-initialization. |
| (build_vec_init): Likewise. |
| (build_value_init_1): Use build_aggr_init_expr. |
| |
| 2008-07-30 Dodji Seketeli <dseketel@redhat.com> |
| |
| PR c++/36767 |
| * decl2.c (fix_temporary_vars_context_r): New function. |
| (one_static_initialization_or_destruction): Make sure temporary |
| variables part of the initialiser have their DECL_CONTEXT() |
| properly set. |
| |
| 2008-07-30 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 34389 |
| * typeck.c (build_binary_op): Encapsulate code into |
| shorten_binary_op. |
| |
| 2008-07-29 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36852 |
| * tree.c (cplus_array_hash, build_cplus_array_type_1): Hash on |
| TYPE_UID instead of pointers. |
| |
| 2008-07-29 Jan Hubicka <jh@suse.cz> |
| |
| * optimize.c (maybe_clone_body): Remove DECL_INLINE. |
| * decl.c (duplicate_decls): Likewise. |
| (grokfndecl): Likewise. |
| (start_method): Likewise. |
| * method.c (make_thunk, make_alias_for, implicitly_declare_fn): |
| Likewise. |
| * pt.c (register_specialization, regenerate_decl_from_template): |
| Likewise. |
| * decl2.c (grokfield): Likewise. |
| |
| 2008-07-29 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 34985 |
| * decl.c (duplicate_decls): Merge USED flags. |
| |
| 2008-07-27 Jason Merrill <jason@redhat.com> |
| |
| PR c++/36943 |
| * decl.c (reshape_init_r): Allow C++0x initializer lists. |
| |
| 2008-07-28 Richard Guenther <rguenther@suse.de> |
| |
| Merge from gimple-tuples-branch. |
| |
| 2008-07-22 Aldy Hernandez <aldyh@redhat.com> |
| |
| * cp-gimplify.c (gimplify_if_stmt): Set location on newly created |
| COND_EXPR. |
| |
| 2008-07-18 Jakub Jelinek <jakub@redhat.com> |
| |
| * decl.c (finish_function): Call gimple_body after cp_genericize. |
| |
| 2008-07-18 Aldy Hernandez <aldyh@redhat.com> |
| |
| * optimize.c: Include gimple.h instead of tree-gimple.h. |
| * Make-lang.in (cp-gimplify.o): Depend on tree-iterator.h. |
| * cp-gimplify.c: Rename tree-gimple.h to gimple.h. Include |
| tree-iterator.h. |
| |
| 2008-07-16 Jakub Jelinek <jakub@redhat.com> |
| |
| * optimize.c (maybe_clone_body): Clear DECL_SAVED_TREE for the clone. |
| |
| 2008-07-14 Jakub Jelinek <jakub@redhat.com> |
| |
| * cp-gimplify.c (cp_gimplify_expr): Update comment. |
| |
| 2008-07-14 Aldy Hernandez <aldyh@redhat.com> |
| |
| * cp-tree.h (union lang_tree_node): Rename GENERIC_NEXT to |
| TREE_CHAIN. |
| * cp-gimplify.c (cxx_omp_clause_apply_fn): Rename |
| GIMPLE_MODIFY_STMT to MODIFY_EXPR. |
| (cxx_omp_clause_copy_ctor): Same. |
| (cxx_omp_clause_assign_op): Same. |
| |
| 2008-05-28 Jakub Jelinek <jakub@redhat.com> |
| |
| * cp-gimplify.c (cp_gimplify_omp_for): Add pre_p argument. Tuplify. |
| (cp_gimplify_expr): Adjust caller. |
| |
| 2008-05-11 Doug Kwan <dougkwan@google.com> |
| |
| * init.c (build_vec_delete): Add type conversion for argument |
| 0 of POINTER_PLUS_EXPR. |
| |
| 2008-04-29 Doug Kwan <dougkwan@google.com> |
| |
| * decl2 (File): Include "gimple.h" |
| (cp_write_global_declarations): Use gimple_body instead of |
| DECL_SAVED_TREE. |
| * Make-lang.in (cp/decl2.o): Add $(GIMPLE_H) |
| |
| 2008-04-10 Diego Novillo <dnovillo@google.com> |
| |
| http://gcc.gnu.org/ml/gcc-patches/2008-04/msg00913.html |
| |
| * optimize.c (maybe_clone_body): Re-enable call to |
| clone_body. |
| * cp-gimplify.c (cp_gimplify_omp_for): Mark disabled |
| code with call to gimple_unreachable. |
| (cp_genericize): Fix handling of clone bodies. |
| |
| 2008-04-04 Diego Novillo <dnovillo@google.com> |
| |
| http://gcc.gnu.org/ml/gcc-patches/2008-04/msg00413.html |
| |
| * optimize.c (maybe_clone_body): Re-enable. |
| |
| 2008-02-19 Diego Novillo <dnovillo@google.com> |
| Oleg Ryjkov <olegr@google.com> |
| |
| http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00804.html |
| |
| * cp-gimplify.c (gimplify_for_stmt): Change gimple_seq |
| argument to gimple_seq *. Update all users. |
| (gimplify_must_not_throw_expr): Likewise. |
| |
| 2008-02-04 Oleg Ryjkov <olegr@google.com> |
| |
| * except.c: Include gimple.h |
| (cp_protect_cleanup_actions): Convert to tuples. |
| * Make-lang.in (cp/except.o): Add dependency on gimple.h |
| |
| 2007-11-10 Aldy Hernandez <aldyh@redhat.com> |
| |
| * cp-gimplify.c (gimplify_cp_loop): Call tree_annotate_all_with_locus |
| instead of annotating each block manually. |
| |
| 2007-10-30 Aldy Hernandez <aldyh@redhat.com> |
| |
| * cp-gimplify.c (gimplify_cp_loop): Tuplify. |
| (gimplify_for_stmt): Same. |
| (gimplify_switch_stmt): Same. |
| (cp_gimplify_expr): [FOR_STMT]: Do not call gimplify_for_stmt. Return |
| GS_OK. |
| [WHILE_STMT]: Return GS_OK. |
| [SWITCH_STMT]: Same. |
| [CONTINUE_STMT]: Same. |
| [BREAK_STMT]: Same. |
| (cp_genericize): Set gimple_body() of cloned functions when needed. |
| |
| 2007-10-29 Aldy Hernandez <aldy@quesejoda.com> |
| |
| * cp-gimplify.c: Move build_gimple_eh_filter_tree here. |
| (cp_gimplify_init_expr): Convert to tuples. |
| (gimplify_must_not_throw_expr): Make function return a |
| gimplify_status and convert to tuples. |
| |
| 2007-10-18 Aldy Hernandez <aldy@quesejoda.com> |
| |
| * cp-gimplify.c (genericize_try_block): Enable and do not call |
| gimplify_stmt. |
| (genericize_catch_block): Same. |
| (genericize_eh_spec_block): Same. |
| Rename gimple_build_eh_filter_tree to build_gimple_eh_filter_tree. |
| (cp_gimplify_expr): Enable TRY_BLOCK, HANDLER, and EH_SPEC_BLOCK. |
| |
| 2007-10-16 Aldy Hernandez <aldy@quesejoda.com> |
| |
| * optimize.c (maybe_clone_body): Comment out call to clone_body. |
| * decl.c (finish_function): Use gimple_body instead of |
| DECL_SAVED_TREE. |
| * cp-tree.h (cp_gimplify_expr): Last 2 arguments are sequences. |
| * cp-gimplify.c (genericize_try_block): Comment out. |
| (genericize_catch_block): Same. |
| (genericize_eh_spec_block): Same. |
| (gimplify_cp_loop): Comment out calls to gimplify_stmt. |
| (gimplify_for_stmt): Comment out. |
| (gimplify_switch_stmt): Comment out call to gimplify_stmt. |
| (cp_gimplify_omp_for): Same. |
| (gimplify_must_not_throw_expr): Argument pre_p is a sequence. |
| Comment out call to gimplify_stmt and append_to_statement_list. |
| Rename gimple_build_eh_filter_tree to build_gimple_eh_filter_tree. |
| (cp_gimplify_init_expr): Arguments pre_p and post_p are sequences. |
| (cp_gimplify_expr): Same. |
| Comment out calls to genericize_*_block. Comment out call to |
| gimplify_for_stmt. |
| |
| 2008-07-27 H.J. Lu <hongjiu.lu@intel.com> |
| |
| PR c++/36944 |
| * class.c (type_has_user_provided_default_constructor): Handle |
| default parameters. |
| |
| 2008-07-27 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| * decl.c (push_library_fn): Add a parameter for the exceptions that |
| the function may throw. |
| (push_void_library_fn, push_throw_library_fn, expand_static_init): |
| Adjust. |
| (build_library_fn): Change to static. |
| * cp-tree.h: Adjust declarations. |
| * except.c (declare_nothrow_library_fn): New. |
| (do_get_exception_ptr, do_begin_catch, do_free_exception, |
| do_allocate_exception): Use the latter, adjust the declarations |
| (ie, add empty exception-specification), consistently with the |
| actual implementation in libsupc++. |
| |
| 2008-07-25 Jan Hubicka <jh@suse.cz> |
| |
| * typeck.c (inline_conversion): Remove. |
| (cp_build_function_call): Do not use inline_conversion. |
| * decl.c (duplicate_decls): Do not insist on inline being declared |
| early. |
| (start_cleanup_fn): Do not assume that INLINE flags prevent function |
| from being output. We now remove static functions always. |
| (finish_function): Do return warning on all static functions. |
| * call.c (build_over_call): Do not use inline_conversion. |
| * cp-tree.h (possibly_inlined_p): Declare. |
| (inline_conversion): Remove. |
| * pt.c (instantiate_decl): Use possibly_inlined_p predicate. |
| * decl2.c (cp_write_global_declarations): Likewise. |
| (mark_used): Likewise. |
| (possibly_inlined_p): New functions. |
| |
| 2008-07-25 Jason Merrill <jason@redhat.com> |
| |
| * class.c (type_has_user_provided_default_constructor): Handle |
| templates. |
| |
| 2008-07-23 Jan Hubicka <jh@suse.cz> |
| |
| * decl.c (duplicate_decls): Update comment and unit-at-a-time. |
| (grogfndecl): Drop flag_inline_trees code. |
| * pt.c (instantiate_decl): Drop flag_iline_trees code. |
| * lex.c (cxx_init): Do not set unit-at-a-time. |
| |
| 2008-07-23 Jason Merrill <jason@redhat.com> |
| |
| * mangle.c (write_unqualified_name): Avoid infinite recursion when |
| trying to mangle a decl with no name. |
| |
| Implement defaulted/deleted functions as per N2346 |
| * cp-tree.h (struct lang_decl_flags): Add defaulted_p bitfield. |
| (DECL_DELETED_FN): New macro. |
| (DECL_DEFAULTED_FN): New macro. |
| * class.c (user_provided_p): New fn. |
| (defaultable_fn_p): New fn. |
| (type_has_user_provided_constructor): New fn. |
| (type_has_user_provided_default_constructor): New fn. |
| (check_methods): A defaulted fn is still trivial. |
| (check_bases_and_members): Likewise. |
| * decl.c (grok_special_member_properties): Likewise. |
| (duplicate_decls): Complain about redeclaring a function as deleted. |
| (start_decl): initialized==2 means deleted. |
| (cp_finish_decl): Handle deleted/defaulted semantics. |
| * decl2.c (grokfield): Likewise. |
| (mark_used): Check DECL_DEFAULTED_FN instead of DECL_ARTIFICIAL. |
| Complain about using a deleted fn. |
| * init.c (build_value_init_1): Use type_has_user_provided_constructor. |
| (perform_member_init): Check for a user-provided default constructor |
| even if TYPE_NEEDS_CONSTRUCTING. |
| (build_new_1): Likewise. |
| * call.c (build_over_call): Don't call mark_used twice. |
| * method.c (implicitly_declare_fn): Set DECL_DEFAULTED_FN. |
| * search.c (check_final_overrider): Check for deleted mismatch. |
| * parser.c (cp_parser_init_declarator): Tell start_decl about =delete. |
| (cp_parser_pure_specifier): Handle =default and =delete. |
| |
| * error.c (maybe_warn_cpp0x): Suggest -std=gnu++0x as well. |
| |
| 2008-07-23 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 35058 |
| * typeck.c: All calls to pedwarn changed. |
| * decl.c: All calls to pedwarn changed. |
| * call.c: All calls to pedwarn changed. |
| * error.c: All calls to pedwarn changed. |
| * typeck2.c: All calls to pedwarn changed. |
| * pt.c: All calls to pedwarn changed. |
| * name-lookup.c: All calls to pedwarn changed. |
| * parser.c: All calls to pedwarn changed. |
| |
| 2008-07-21 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> |
| |
| * call.c: Fix comment typos. |
| * class.c: Likewise. |
| * cp-tree.h: Likewise. |
| * cxx-pretty-print.c: Likewise. |
| * decl.c: Likewise. |
| * init.c: Likewise. |
| * name-lookup.c: Likewise. |
| * operators.def: Likewise. |
| * parser.c: Likewise. |
| * pt.c: Likewise. |
| * tree.c: Likewise. |
| * typeck.c: Likewise. |
| |
| 2008-07-21 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36871 |
| PR c++/36872 |
| * semantics.c (classtype_has_nothrow_assign_or_copy_p): Only check |
| copy constructors and copy assignment operators proper. |
| |
| 2008-07-21 Rafael Ávila de Espíndola <espindola@google.com> |
| |
| * parser.c (cp_token): Remove in_system_header. |
| (eof_token): Remove in_system_header. |
| (cp_lexer_get_preprocessor_token): Don't set in_system_header. |
| (cp_lexer_set_source_position_from_token): Don't set in_system_header. |
| (cp_parser_member_declaration): Use in_system_header_at. |
| * pt.c (lookup_template_class): Don't set DECL_IN_SYSTEM_HEADER. |
| (pop_tinst_level): Don't set in_system_header. |
| (instantiate_class_template): Don't set in_system_header. |
| (instantiate_decl): Don't set in_system_header. |
| (instantiate_pending_templates): Don't set in_system_header. |
| |
| 2008-07-21 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36870 |
| * semantics.c (classtype_has_nothrow_assign_or_copy_p): Use |
| TYPE_NOTHROW_P, not TREE_NOTHROW. |
| (trait_expr_value): Likewise. |
| |
| 2008-07-18 Dodji Seketeli <dseketel@redhat.com> |
| |
| PR c++/36407 |
| * call.c (convert_like_real): Don't take the error code path |
| when a rvalue or base conversion has the bad_p field set. |
| |
| 2008-07-18 Kris Van Hees <kris.van.hees@oracle.com> |
| |
| * rtti.c (emit_support_tinfos): Add char16_type_node and |
| char32_type_node. |
| * typeck2.c (digest_init): Support char16_t and char32_t. |
| |
| 2008-07-18 Kavih R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * cvt.c (convert_to_void): Avoid C++ keywords. |
| * decl.c (walk_namespaces_r, wrapup_globals_for_namespace): |
| Likewise. |
| * friend.c (is_friend): Likewise. |
| * init.c (perform_member_init): Likewise. |
| * mangle.c (write_template_prefix, write_template_template_param): |
| Likewise. |
| * name-lookup.c (do_namespace_alias, do_using_directive, |
| parse_using_directive, ambiguous_decl, arg_assoc): Likewise. |
| * parser.c (cp_parser_template_id, cp_parser_namespace_definition, |
| cp_parser_objc_typename, cp_parser_objc_method_keyword_params): |
| Likewise. |
| * pt.c (is_specialization_of_friend, lookup_template_class, |
| push_tinst_level, instantiate_class_template, |
| tsubst_copy_and_build): Likewise. |
| * tree.c (add_stmt_to_compound): Likewise. |
| * typeck.c (finish_class_member_access_expr): Likewise. |
| |
| 2008-07-17 Julian Brown <julian@codesourcery.com> |
| Mark Mitchell <mark@codesourcery.com> |
| |
| * decl2.c (determine_visibility): Allow target to override |
| visibility of class data. |
| |
| 2008-07-17 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36855 |
| * semantics.c (trait_expr_value): Update __has_trivial_destructor |
| semantics to the current WP (N2691). |
| |
| 2008-07-16 Dodji Seketeli <dseketel@redhat.com> |
| |
| PR c++/13699 |
| * name-lookup.c (lookup_extern_c_fun_binding_in_all_ns): New function. |
| (pushdecl_maybe_friend): Check if a redeclaration of extern C function |
| complies with exception specification constraints. |
| |
| 2008-07-14 Jason Merrill <jason@redhat.com> |
| |
| * lex.c (init_reswords): Always set D_OBJC. |
| |
| 2008-07-11 Tom Tromey <tromey@redhat.com> |
| Ian Lance Taylor <iant@google.com> |
| |
| * lex.c (struct resword, reswords): Don't define. |
| (D_EXT, D_ASM, D_OBJC, D_CXX0X): Don't define. |
| (init_reswords): Clarify mask code. Use c_common_reswords rather |
| than reswords. |
| |
| 2008-07-11 Dodji Seketeli <dseketel@redhat.com> |
| |
| PR c++/13101 |
| * decl.c (grokdeclarator): Warn about initializing variables |
| of storage class 'extern' only after the type of the declarator |
| has been properly computed. |
| |
| 2008-07-11 Dodji Seketeli <dseketel@redhat.com> |
| |
| PR c++/31754 |
| * cp-tree.h (struct cp_decl_specifier_seq): Add a location field. It |
| carries the location of the primary type. |
| * parser.c (cp_parser_check_type_definition): Update documentation. |
| (cp_parser_check_for_definition_in_return_type, |
| cp_parser_check_for_invalid_template_id, |
| cp_parser_set_decl_spec_type, |
| cp_parser_check_for_definition_in_return_type, |
| cp_parser_diagnose_invalid_type_name, |
| cp_parser_new_expression, cp_parser_explicit_instantiation, |
| cp_parser_type_specifier, cp_parser_simple_type_specifier, |
| cp_parser_omp_for_loop, cp_parser_pragma): Use location in error |
| messages. |
| |
| 2008-07-11 Dodji Seketeli <dseketel@redhat.com> |
| |
| PR c++/31754 |
| * pt.c, semantic.c: |
| * semantic.c (qualified_name_lookup_error, finish_id_expression): |
| Add a location_t parameter so that |
| error message can have a more accurate location. |
| * cp-tree.h: Updated prototype |
| * pt.c (tsubst_qualified_id): Use location in error messages. |
| * parser.c (cp_parser_postfix_expression, |
| cp_parser_objc_statement, cp_parser_trait_expr, |
| cp_parser_token_is_class_key, |
| cp_parser_uncommitted_to_tentative_parse_p, |
| cp_parser_check_for_invalid_template_id, cp_parser_is_string_literal, |
| cp_parser_error, cp_parser_name_lookup_error, |
| cp_parser_simulate_error, cp_parser_check_decl_spec, |
| cp_parser_check_decl_spec, cp_parser_non_integral_constant_expression, |
| cp_parser_diagnose_invalid_type_name, |
| cp_parser_parse_and_diagnose_invalid_type_name, |
| cp_parser_require_pragma_eol, cp_parser_make_typename_type, |
| cp_parser_string_literal, cp_parser_primary_expression, |
| cp_parser_primary_expression, cp_parser_unqualified_id, |
| cp_parser_nested_name_specifier_opt, cp_parser_postfix_expression, |
| cp_parser_postfix_dot_deref_expression, cp_parser_new_expression, |
| cp_parser_direct_new_declarator, cp_parser_builtin_offsetof, |
| cp_parser_label_for_labeled_statement, cp_parser_statement_seq_opt, |
| cp_parser_jump_statement, cp_parser_block_declaration, |
| cp_parser_simple_declaration, cp_parser_decl_specifier_seq, |
| cp_parser_function_specifier_opt, cp_parser_decltype, |
| cp_parser_mem_initializer_list, cp_parser_mem_initializer, |
| cp_parser_mem_initializer_id, cp_parser_template_parameter, |
| cp_parser_type_parameter, cp_parser_template_id, |
| cp_parser_template_name, cp_parser_template_argument): Likewise. |
| |
| 2008-07-09 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36760 |
| * pt.c (tsubst_function_type): Remove warning for type qualifiers |
| on function return type. |
| |
| 2008-07-09 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36760 |
| * pt.c (tsubst_function_type): Don't warn for type qualifiers |
| on function return type in case of system header. |
| |
| 2008-07-09 Raksit Ashok <raksit@google.com> |
| |
| * parser.c (cp_parser_postfix_expression): New warning based on flag |
| warn_disallowed_functions. |
| |
| 2008-07-08 Simon Martin <simartin@users.sourceforge.net> |
| |
| PR c++/34963 |
| * decl.c (grokdeclarator): Reset storage_class and staticp for friend |
| functions declared with a storage class qualifier. |
| |
| 2008-07-03 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/36128 |
| * typeck.c (cp_build_function_call): Move code to verify |
| builtin function arguments ... |
| * call.c (build_cxx_call): ... here. |
| |
| 2008-07-02 Jason Merrill <jason@redhat.com> |
| |
| * Make-lang.in (cp/typeck2.o): Add $(REAL_H) dependency. |
| |
| Implement WG21 N2672, Initializer List proposed wording |
| * cp-tree.h (enum cp_tree_index): Add CPTI_INIT_LIST_TYPE. |
| (struct lang_type_class): Add has_list_ctor bitfield. |
| (TYPE_HAS_LIST_CTOR): New macro. |
| (BRACE_ENCLOSED_INITIALIZER_P): Expect init_list_type_node. |
| (CONSTRUCTOR_IS_DIRECT_INIT): New macro. |
| (LOOKUP_NO_NARROWING): New macro. |
| (LOOKUP_NO_COPY_CTOR_CONVERSION): New macro. |
| * parser.c (cp_parse_braced_list): Split out from... |
| (cp_parser_initializer_clause): ...here. |
| (cp_parser_postfix_expression): Build up CONSTRUCTOR for compound |
| literal here. |
| (cp_lexer_next_token_is_not_keyword): New fn. |
| (cp_parser_parenthesized_expression_list): Handle { }. |
| (cp_parser_new_expression, cp_parser_new_initializer): Likewise. |
| (cp_parser_assignment_expression, cp_parser_condition): Likewise. |
| (cp_parser_jump_statement, cp_parser_simple_declaration): Likewise. |
| (cp_parser_mem_initializer, cp_parser_init_declarator): Likewise. |
| (cp_parser_initializer, cp_parser_functional_cast): Likewise. |
| (cp_parser_omp_for_loop, cp_parser_cache_group): Likewise. |
| (cp_parser_save_member_function_body): Likewise. |
| * call.c (conversion_kind): Add ck_list, ck_aggr. |
| (struct conversion): Add check_narrowing bitfield, conversion list. |
| (build_list_conv): New fn. |
| (build_aggr_conv): New fn. |
| (implicit_conversion): Call them. |
| (standard_conversion): Set check_narrowing if appropriate. |
| (add_function_candidate): Handle LOOKUP_NO_COPY_CTOR_CONVERSION. |
| (build_user_type_conversion_1): When converting from an init list, |
| we allow additional conversions except when calling a copy ctor. |
| (convert_like_real): Calling an explicit ctor for an init list is |
| ill-formed. Handle ck_list and ck_addr. Check narrowing. |
| (build_new_method_call): If CONSTRUCTOR_IS_DIRECT_INIT is set and |
| class doesn't have a list ctor, break the {} into a TREE_LIST. |
| (compare_ics): ck_list is better than other UDCs. |
| (set_up_extended_ref_temp): Split out from initialize_reference. |
| (is_std_init_list): New fn. |
| (is_list_ctor): New fn. |
| * decl.c (cxx_init_decl_processing): Create init_list_type_node. |
| (reshape_init_array_1): Pass it to build_constructor. |
| (reshape_init_class): Ditto. |
| (initialize_artificial_var): Pass the appropriate type. |
| (build_aggr_init_full_exprs): Split out from... |
| (check_initializer): ...here. Handle new semantics. |
| (build_init_list_var_init): New subroutine of check_initializer. |
| (grokdeclarator): Converting constructors can have more than one parm. |
| (grok_special_member_properties): Set TYPE_HAS_LIST_CTOR. |
| * init.c (expand_default_init): Only do digest_init for aggregates. |
| * rtti.c (tinfo_base_init): Pass init_list_type_node to |
| build_constructor_from_list. |
| (generic_initializer, ptr_initializer): Ditto. |
| (ptm_initializer, class_initializer): Ditto. |
| (get_pseudo_ti_init): Ditto. |
| * error.c (dump_type): Handle init_list_type_node. |
| (maybe_warn_cpp0x): New fn. |
| (maybe_varn_variadic_templates): Call it. |
| * cvt.c (ocp_convert): Handle conversion from { }. |
| * tree.c (build_array_of_n_type): New fn. |
| * typeck2.c (store_init_value): Use init_list_type_node. |
| (digest_init): Likewise. |
| (check_narrowing): New fn. |
| * semantics.c: (finish_compound_literal): Take CONSTRUCTOR instead |
| of vector of constructor elts. Handle non-aggregate types. Make |
| constant literals static. |
| * pt.c: (tsubst_copy_and_build): Adjust. |
| (unify): Handle { }. |
| * name-lookup.c (arg_assoc_type): Handle init_list_type_node. |
| |
| 2008-07-01 Daniel Jacobowitz <dan@codesourcery.com> |
| |
| * typeck.c (comp_ptr_ttypes_real): Use vector_targets_convertible_p. |
| (comp_ptr_ttypes_const): Likewise. |
| |
| 2008-07-01 Andrew Haley <aph@redhat.com> |
| |
| * decl.c (finish_constructor_body): Don't set the return value of |
| the constructor if the constructor is that of a Java type. |
| |
| 2008-06-30 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36662 |
| * decl2.c (is_late_template_attribute): If the first attribute |
| argument is IDENTIFIER_NODE, don't consider it when checking |
| if arguments are value or type dependent. |
| |
| 2008-06-29 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36655 |
| * pt.c (do_type_instantiation): In c++0x mode do not warn for |
| extern template. |
| |
| 2008-06-29 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * Make-lang.in (cp-warn): Delete $(CXX_COMPAT_WARN). |
| |
| 2008-06-28 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36364 |
| * repo.c (repo_emit_p): Put const static data members initialized |
| by const expr into *.rpo file, just return 2 if IDENTIFIER_REPO_CHOSEN |
| for it is 0. |
| |
| 2008-06-27 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36655 |
| * pt.c (do_decl_instantiation): In c++0x mode do not warn for |
| extern template. |
| |
| 2008-06-24 Jonathan Wakely <jwakely.gcc@gmail.com> |
| |
| PR c++/23194 |
| * typeck.c (cp_build_function_call): Show example syntax in |
| diagnostic. |
| |
| 2008-06-21 Jonathan Wakely <jwakely.gcc@gmail.com> |
| |
| * typeck.c (composite_pointer_type_r, cxx_sizeof_expr, |
| cxx_alignof_expr, check_template_keyword, cp_build_binary_op, |
| pointer_diff, cp_build_unary_op, build_x_compound_expr_from_list, |
| build_reinterpret_cast_1, cp_build_c_cast, check_return_expr): Change |
| pedwarn to permerror. |
| * init.c (perform_member_init, build_new_1, build_new): Likewise. |
| * decl.c (warn_extern_redeclared_static, duplicate_decls, |
| * identify_goto, check_previous_goto_1, check_goto, define_label, |
| check_tag_decl, start_decl, check_class_member_definition_namespace, |
| grokfndecl, grokdeclarator): Likewise. |
| * except.c (check_handlers): Likewise. |
| * typeck2.c (digest_init): Likewise. |
| * pt.c (check_specialization_namespace, |
| check_explicit_instantiation_namespace, |
| maybe_process_partial_specialization, check_explicit_specialization, |
| convert_template_argument, do_decl_instantiation, |
| do_type_instantiation, instantiate_decl): Likewise. |
| * semantics.c (finish_template_type_parm): Likewise. |
| * name-lookup.c (pushdecl_maybe_friend, |
| check_for_out_of_scope_variable): Likewise. |
| * decl2.c (finish_static_data_member_decl, build_anon_union_vars, |
| coerce_new_type): Likewise. |
| * parser.c (cp_parser_nested_name_specifier_opt, |
| cp_parser_mem_initializer, cp_parser_elaborated_type_specifier, |
| cp_parser_class_head, cp_parser_check_class_key): Likewise. |
| (cp_parser_parameter_declaration): Check flag_permissive instead of |
| flag_pedantic_errors. |
| * call.c (joust): Change pedwarn to warning. |
| * friend.c (make_friend_class): Likewise. |
| |
| 2008-06-16 Jan Hubicka <jh@suse.cz> |
| |
| * method.c: Include cgraph.h. |
| (use_thunk): Use cgraph_add_new_function instead of calling backend |
| directly. |
| |
| 2008-06-15 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> |
| |
| * parser.c: Fix comment typo. |
| |
| 2008-06-14 Simon Martin <simartin@users.sourceforge.net> |
| |
| PR c++/35320 |
| * decl2.c (grokbitfield): Receive the list of attributes, pass it to |
| grokdeclarator and apply it to the created declaration. |
| * cp-tree.h (grokbitfield): Update prototype. |
| * parser.c (cp_parser_member_declaration): Don't apply the attributes |
| since they are now applied in grokbitfield. Adjusted the call to |
| grokbitfield. |
| (cp_parser_objc_class_ivars): Likewise. |
| |
| 2008-06-14 Simon Martin <simartin@users.sourceforge.net> |
| |
| PR c++/35317 |
| * class.c (type_requires_array_cookie): Do not consider delete[] |
| operators with an ellipsis as second argument. |
| |
| 2008-06-09 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36408 |
| * semantics.c (stmt_expr_value_expr): Don't crash on empty |
| STATEMENT_LIST. |
| |
| 2008-06-08 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/35242 |
| * pt.c (maybe_process_partial_specialization): Check the tree |
| returned by push_template_decl for error_mark_node. |
| * parser.c (cp_parser_class_head): Likewise, check the tree |
| returned by the latter. |
| |
| 2008-06-07 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/35327 |
| * decl.c (grokdeclarator): In case of wrong return type return |
| immediately error_mark_node. |
| |
| 2008-06-06 Jakub Jelinek <jakub@redhat.com> |
| |
| * cp-tree.h (cxx_omp_finish_clause, cxx_omp_create_clause_info, |
| dependent_omp_for_p, begin_omp_task, finish_omp_task, |
| finish_omp_taskwait): New prototypes. |
| (cxx_omp_clause_default_ctor): Add outer argument. |
| (finish_omp_for): Add new clauses argument. |
| * cp-gimplify.c (cxx_omp_finish_clause): New function. |
| (cxx_omp_predetermined_sharing): Moved from semantics.c, rewritten. |
| (cxx_omp_clause_default_ctor): Add outer argument. |
| (cp_genericize_r): Walk OMP_CLAUSE_LASTPRIVATE_STMT. |
| * cp-objcp-common.h (LANG_HOOKS_OMP_FINISH_CLAUSE): Define. |
| * parser.c (cp_parser_omp_for_loop): Parse collapsed for loops. |
| Add par_clauses argument. If decl is present in parallel's |
| lastprivate clause, change that clause to shared and add |
| a lastprivate clause for decl to OMP_FOR_CLAUSES. |
| Fix wording of error messages. Adjust finish_omp_for caller. |
| Add clauses argument. Parse loops with random access iterators. |
| (cp_parser_omp_clause_collapse, cp_parser_omp_clause_untied): New |
| functions. |
| (cp_parser_omp_for, cp_parser_omp_parallel): Adjust |
| cp_parser_omp_for_loop callers. |
| (cp_parser_omp_for_cond, cp_parser_omp_for_incr): New helper |
| functions. |
| (cp_parser_omp_clause_name): Handle collapse and untied |
| clauses. |
| (cp_parser_omp_clause_schedule): Handle auto schedule. |
| (cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_COLLAPSE |
| and PRAGMA_OMP_CLAUSE_UNTIED. |
| (OMP_FOR_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_COLLAPSE. |
| (OMP_TASK_CLAUSE_MASK): Define. |
| (cp_parser_omp_task, cp_parser_omp_taskwait): New functions. |
| (cp_parser_omp_construct): Handle PRAGMA_OMP_TASK. |
| (cp_parser_pragma): Handle PRAGMA_OMP_TASK and |
| PRAGMA_OMP_TASKWAIT. |
| * pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_COLLAPSE and |
| OMP_CLAUSE_UNTIED. Handle OMP_CLAUSE_LASTPRIVATE_STMT. |
| (tsubst_omp_for_iterator): New function. |
| (dependent_omp_for_p): New function. |
| (tsubst_expr) <case OMP_FOR>: Use it. Handle collapsed OMP_FOR |
| loops. Adjust finish_omp_for caller. Handle loops with random |
| access iterators. Adjust for OMP_FOR_{INIT,COND,INCR} changes. |
| (tsubst_expr): Handle OMP_TASK. |
| * semantics.c (cxx_omp_create_clause_info): New function. |
| (finish_omp_clauses): Call it. Handle OMP_CLAUSE_UNTIED and |
| OMP_CLAUSE_COLLAPSE. |
| (cxx_omp_predetermined_sharing): Removed. |
| * semantics.c (finish_omp_for): Allow pointer iterators. Use |
| handle_omp_for_class_iterator and dependent_omp_for_p. Handle |
| collapsed for loops. Adjust c_finish_omp_for caller. Add new |
| clauses argument. Fix check for type dependent cond or incr. |
| Set OMP_FOR_CLAUSES to clauses. Use cp_convert instead of |
| fold_convert to convert incr amount to difference_type. Only |
| fold if not in template. If decl is mentioned in lastprivate |
| clause, set OMP_CLAUSE_LASTPRIVATE_STMT. Handle loops with random |
| access iterators. Adjust for OMP_FOR_{INIT,COND,INCR} |
| changes. |
| (finish_omp_threadprivate): Allow static class members of the |
| current class. |
| (handle_omp_for_class_iterator, begin_omp_task, finish_omp_task, |
| finish_omp_taskwait): New functions. |
| |
| * parser.c (cp_parser_binary_expression): Add prec argument. |
| (cp_parser_assignment_expression): Adjust caller. |
| * cp-tree.h (outer_curly_brace_block): New prototype. |
| * decl.c (outer_curly_brace_block): No longer static. |
| |
| 2008-06-02 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/36404 |
| * pt.c (push_template_decl_real): Consistently return error_mark_node |
| on error. |
| |
| 2008-06-02 Tomas Bily <tbily@suse.cz> |
| |
| * typeck.c (is_bitfield_expr_with_lowered_type): Use CASE_CONVERT. |
| (cp_build_unary_op): Likewise. |
| (cp_build_indirect_ref): Use CONVERT_EXPR_P. |
| (maybe_warn_about_returning_address_of_local): Likewise. |
| |
| 2008-05-29 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/35243 |
| * pt.c (tsubst_initializer_list): Consistently check the tree |
| returned by tsubst_pack_expansion for error_mark_node. |
| |
| 2008-05-27 Michael Matz <matz@suse.de> |
| |
| PR c++/27975 |
| * call.c (build_new_op): Make warning conditional on |
| OPT_Wenum_compare. |
| |
| 2008-05-27 Alexandre Oliva <aoliva@redhat.com> |
| |
| PR c++/35909 |
| * call.c (convert_like_real): Convert bitfield to desired type |
| before creating temporary. |
| |
| 2008-05-26 Daniel Franke <franke.daniel@gmail.com> |
| |
| * Makefile.in: Adjusted dependencies on c-incpath.o. |
| |
| 2008-05-23 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36237 |
| * cp-gimplify.c (cxx_omp_clause_apply_fn): Call |
| fold_build_cleanup_point_expr on build_call_a results. |
| |
| PR c++/36308 |
| * semantics.c (omp_clause_info_fndecl): New function. |
| (finish_omp_clauses): Use it. |
| |
| 2008-05-21 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/36023 |
| * cp-tree.h (check_array_initializer): New prototype. |
| * decl.c (check_array_initializer): New function. |
| (check_initializer): Call it. |
| * semantics.c (finish_compound_literal): Call it for ARRAY_TYPEs. |
| |
| 2008-05-21 Tom Tromey <tromey@redhat.com> |
| |
| * mangle.c (save_partially_mangled_name): Remove. |
| (restore_partially_mangled_name): Likewise. |
| (write_encoding): Update. |
| (write_unqualified_name): Likewise. |
| (start_mangling): Always use name_obstack. Remove 'ident_p' |
| argument. |
| (get_identifier_nocopy): Remove. |
| (finish_mangling_internal): Rename from finish_mangling. |
| (finish_mangling): New function. |
| (finish_mangling_get_identifier): Likewise. |
| (partially_mangled_name, partially_mangled_name_len): Remove. |
| (mangle_decl_string): Change return type. Update. |
| (mangle_decl, mangle_type_string, mangle_special_for_type, |
| mangle_ctor_vtbl_for_type, mangle_thunk, mangle_guard_variable, |
| mangle_ref_init_variable): Update. |
| |
| 2008-05-12 Paolo Carlini <paolo.carlini@oracle.com> |
| |
| PR c++/35331 |
| * semantics.c (begin_class_definition): Extend checks on the first |
| argument. |
| |
| 2008-05-12 Tomas Bily <tbily@suse.cz> |
| |
| * typeck2.c (digest_init): Use CONVERT_EXPR_P. |
| * call.c (build_over_call): Likewise. |
| * error.c (dump_expr): Use CASE_CONVERT. |
| * class.c (fixed_type_or_null): Likewise. |
| |
| 2008-05-11 Volker Reichelt <v.reichelt@netcologne.de> |
| |
| * parser.c (cp_parser_omp_clause_reduction): Add missing "expected" |
| in error message. |
| (cp_parser_omp_clause_schedule): Remove superfluous "expected" |
| in error message. |
| |
| 2008-05-07 Kenneth Zadeck <zadeck@naturalbridge.com> |
| |
| * decl.c (duplicate_decls): Merge in DECL_PURE_P, TREE_READONLY, |
| DECL_LOOPING_CONST_OR_PURE_P attributes. |
| * rtti.c (build_dynamic_cast_1): Rename DECL_IS_PURE to |
| DECL_PURE_P. |
| |
| 2008-05-02 Simon Baldwin <simonb@google.com> |
| |
| PR bootstrap/36108 |
| * typeck.c (build_array_ref): Remove warn_array_subscript_range. |
| |
| 2008-05-01 Simon Baldwin <simonb@google.com> |
| |
| * typeck.c (build_array_ref): Call warn_array_subscript_range. |
| |
| 2008-04-30 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35986 |
| * pt.c (more_specialized_fn): Stop the loop even if there are no |
| arguments before ellipsis. |
| |
| 2008-04-29 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35650 |
| * parser.c (cp_parser_lookup_name): Look through single function |
| OVERLOAD. |
| |
| PR c++/35987 |
| * typeck.c (cp_build_modify_expr) <case PREINCREMENT_EXPR>: Don't build |
| COMPOUND_EXPR if the second argument would be error_mark_node. |
| |
| 2008-04-28 Jason Merrill <jason@redhat.com> |
| Liu Guanwei <liu_gw@163.com> |
| |
| PR c++/57 |
| * parser.c (cp_parser_parameter_declaration): Handle < ambiguity |
| in default arguments. |
| |
| 2008-04-25 Jan Hubicka <jh@suse.cz> |
| |
| * typeck.c (check_return_expr): Update. |
| * decl.c (start_preparsed_function): Update. |
| * method.c (use_thunk): Update. |
| |
| 2008-04-24 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35758 |
| * cp-tree.h (cp_reconstruct_complex_type): New prototype. |
| * cp-objcp-common.h (LANG_HOOKS_RECONSTRUCT_COMPLEX_TYPE): Define. |
| * decl2.c (is_late_template_attribute): Only make vector_size |
| late tmpl attribute if argument is type or value dependent. |
| (cp_reconstruct_complex_type): New function. |
| |
| 2008-04-24 Richard Guenther <rguenther@suse.de> |
| |
| * typeck.c (cp_build_function_call): Call |
| check_builtin_function_arguments. |
| |
| 2008-04-23 Paolo Bonzini <bonzini@gnu.org> |
| |
| * typeck.c (get_member_function_from_ptrfunc): Don't set TREE_INVARIANT. |
| (build_ptrmemfunc1): Don't set TREE_INVARIANT. |
| * init.c (build_zero_init): Don't set TREE_INVARIANT. |
| * class.c (build_base_path): Don't set TREE_INVARIANT. |
| (build_vtbl_ref_1): Don't set TREE_INVARIANT. |
| (build_vtbl_initializer): Don't set TREE_INVARIANT. |
| * decl.c (build_enumerator): Don't set TREE_INVARIANT. |
| * rtti.c (tinfo_base_init): Don't set TREE_INVARIANT. |
| (generic_initializer): Don't set TREE_INVARIANT. |
| (ptr_initializer): Don't set TREE_INVARIANT. |
| (ptm_initializer): Don't set TREE_INVARIANT. |
| (class_initializer): Don't set TREE_INVARIANT. |
| * typeck2.c (process_init_constructor): Don't set TREE_INVARIANT. |
| * pt.c (push_inline_template_parms_recursive): Don't set TREE_INVARIANT. |
| (build_template_parm_index): Don't set TREE_INVARIANT. |
| (reduce_template_parm_level): Don't set TREE_INVARIANT. |
| (process_template_parm): Don't set TREE_INVARIANT. |
| |
| 2008-04-22 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35316 |
| * semantics.c (finish_decltype_type): Check DECL_BIT_FIELD_TYPE |
| to see if DECL_BIT_FIELD_TYPE should be used, not some other flag. |
| * typeck.c (is_bitfield_expr_with_lowered_type): Likewise. |
| |
| 2008-04-22 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35747 |
| * semantics.c (finish_stmt_expr): Call pop_stmt_list even if the stmt |
| expression is errorneous. |
| |
| 2008-04-21 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35325 |
| * tree.c (cp_tree_equal): Handle FIXED_CST. |
| |
| PR c++/35678 |
| * pt.c (template_template_parm_bindings_ok_p): Set |
| processing_template_decl while in this function. |
| |
| 2008-04-18 Kris Van Hees <kris.van.hees@oracle.com> |
| |
| * cvt.c (type_promotes_to): Support char16_t and char32_t. |
| * decl.c (grokdeclarator): Disallow signed/unsigned/short/long on |
| char16_t and char32_t. |
| * lex.c (reswords): Add char16_t and char32_t (for c++0x). |
| * mangle.c (write_builtin_type): Mangle char16_t/char32_t as vendor |
| extended builtin type "u8char{16,32}_t". |
| * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): Support |
| RID_CHAR{16,32}. |
| (cp_lexer_print_token): Support CPP_STRING{16,32}. |
| (cp_parser_is_string_literal): Idem. |
| (cp_parser_string_literal): Idem. |
| (cp_parser_primary_expression): Support CPP_CHAR{16,32} and |
| CPP_STRING{16,32}. |
| (cp_parser_simple_type_specifier): Support RID_CHAR{16,32}. |
| * tree.c (char_type_p): Support char16_t and char32_t as char types. |
| * typeck.c (string_conv_p): Support char16_t and char32_t. |
| |
| 2008-04-17 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35773 |
| * call.c (build_user_type_conversion_1): Represent second step of |
| copy-init with an rvalue conversion. |
| (convert_like_real) [ck_user]: Don't implicitly add it here. |
| |
| 2008-04-15 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c/35751 |
| * decl.c (layout_var_decl): If extern or static var has variable |
| size, set TREE_TYPE (decl) to error_mark_node. |
| |
| 2008-04-16 Danny Smith <dannysmith@users.sourceforge.net> |
| |
| PR target/35921 |
| * optimize.c (maybe_clone_body): Copy DECL_DLLIMPORT_P flag |
| to clone. |
| |
| 2008-04-09 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35708 |
| * semantics.c (finish_compound_literal): Return a TARGET_EXPR, |
| not a pushed variable. |
| |
| 2008-04-09 Volker Reichelt <v.reichelt@netcologne.de> |
| |
| * call.c (build_op_delete_call): Fix quotation in warning message. |
| * decl.c (grokdeclarator): Quote keyword in error message. |
| * pt.c (check_for_bare_parameter_packs): Fix quotation in error |
| message. |
| |
| * parser.c (cp_parser_check_type_definition): Print error string |
| directly rather than using "%s". |
| (cp_parser_postfix_expression): Fix quotation. |
| (cp_parser_decltype): Likewise. |
| (cp_parser_sizeof_operand): Fix quotation. Simplify. |
| |
| * parser.c (cp_parser_non_integral_constant_expression): Build error |
| message with CONCAT rather than using "%s". |
| (cp_parser_primary_expression): Fix quotation. |
| (cp_parser_postfix_expression): Likewise. |
| (cp_parser_postfix_dot_deref_expression): Likewise. |
| (cp_parser_unary_expression): Likewise. |
| (cp_parser_new_expression): Likewise. |
| (cp_parser_delete_expression): Likewise. |
| |
| * parser.c (cp_parser_asm_specification_opt): Print CPP_CLOSE_PAREN |
| as `)', not as `('. Fix quotation. |
| (cp_parser_consume_semicolon_at_end_of_statement): Fix quotation. |
| (cp_parser_primary_expression): Likewise. |
| (cp_parser_nested_name_specifier_opt): Likewise. |
| (cp_parser_postfix_expression): Likewise. |
| (cp_parser_postfix_open_square_expression): Likewise. |
| (cp_parser_parenthesized_expression_list): Likewise. |
| (cp_parser_pseudo_destructor_name): Likewise. |
| (cp_parser_new_expression): Likewise. |
| (cp_parser_direct_new_declarator): Likewise. |
| (cp_parser_delete_expression): Likewise. |
| (cp_parser_cast_expression): Likewise. |
| (cp_parser_question_colon_clause): Likewise. |
| (cp_parser_builtin_offsetof): Likewise. |
| (cp_parser_trait_expr): Likewise. |
| (cp_parser_label_for_labeled_statement): Likewise. |
| (cp_parser_compound_statement): Likewise. |
| (cp_parser_selection_statement): Likewise. |
| (cp_parser_condition): Likewise. |
| (cp_parser_iteration_statement): Likewise. |
| (cp_parser_already_scoped_statement): Likewise. |
| (cp_parser_simple_declaration): Likewise. |
| (cp_parser_linkage_specification): Likewise. |
| (cp_parser_static_assert): Likewise. |
| (cp_parser_decltype): Likewise. |
| (cp_parser_conversion_function_id): Likewise. |
| (cp_parser_operator_function_id): Likewise. |
| (cp_parser_operator): Likewise. |
| (cp_parser_type_parameter): Likewise. |
| (cp_parser_template_id): Likewise. |
| (cp_parser_explicit_instantiation): Likewise. |
| (cp_parser_explicit_specialization): Likewise. |
| (cp_parser_enum_specifier): Likewise. |
| (cp_parser_namespace_definition): Likewise. |
| (cp_parser_namespace_alias_definition): Likewise. |
| (cp_parser_using_declaration): Likewise. |
| (cp_parser_using_directive): Likewise. |
| (cp_parser_asm_definition): Likewise. |
| (cp_parser_direct_declarator): Likewise. |
| (cp_parser_ptr_operator): Likewise. |
| (cp_parser_parameter_declaration_clause): Likewise. |
| (cp_parser_initializer_clause): Likewise. |
| (cp_parser_class_specifier): Likewise. |
| (cp_parser_member_specification_opt): Likewise. |
| (cp_parser_member_declaration): Likewise. |
| (cp_parser_pure_specifier): Likewise. |
| (cp_parser_constant_initializer): Likewise. |
| (cp_parser_base_clause): Likewise. |
| (cp_parser_exception_specification_opt): Likewise. |
| (cp_parser_try_block): Likewise. |
| (cp_parser_function_try_block): Likewise. |
| (cp_parser_handler): Likewise. |
| (cp_parser_throw_expression): Likewise. |
| (cp_parser_asm_operand_list): Likewise. |
| (cp_parser_attributes_opt): Likewise. |
| (cp_parser_label_declaration): Likewise. |
| (cp_parser_constructor_declarator_p): Likewise. |
| (cp_parser_template_declaration_after_export): Likewise. |
| (cp_parser_single_declaration): Likewise. |
| (cp_parser_objc_message_expression): Likewise. |
| (cp_parser_objc_message_args): Likewise. |
| (cp_parser_objc_encode_expression): Likewise. |
| (cp_parser_objc_defs_expression): Likewise. |
| (cp_parser_objc_protocol_expression): Likewise. |
| (cp_parser_objc_selector_expression): Likewise. |
| (cp_parser_objc_protocol_refs_opt): Likewise. |
| (cp_parser_objc_typename): Likewise. |
| (cp_parser_objc_method_keyword_params): Likewise. |
| (cp_parser_objc_superclass_or_category): Likewise. |
| (cp_parser_objc_try_catch_finally_statement): Likewise. |
| (cp_parser_objc_synchronized_statement): Likewise. |
| (cp_parser_objc_throw_statement): Likewise. |
| (cp_parser_omp_var_list_no_open): Likewise. |
| (cp_parser_omp_clause_default): Likewise. |
| (cp_parser_omp_clause_if): Likewise. |
| (cp_parser_omp_clause_num_threads): Likewise. |
| (cp_parser_omp_clause_reduction): Likewise. |
| (cp_parser_omp_clause_schedule): Likewise. |
| (cp_parser_omp_critical): Likewise. |
| (cp_parser_omp_for_loop): Likewise. |
| (cp_parser_omp_sections_scope): Likewise. |
| |
| * parser.c (cp_parser_template_parameter_list): Simplify. |
| |
| 2008-04-07 James E. Wilson <wilson@tuliptree.org> |
| |
| * pt.c (tsubst_copy, case SIZEOF_EXPR): Initialize len. |
| |
| 2008-04-07 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35734 |
| * class.c (type_has_user_nondefault_constructor): A template |
| counts as a nondefault constructor. |
| |
| 2008-04-04 Paolo Bonzini <bonzini@gnu.org> |
| |
| * decl.c (cxx_push_function_context): Delete. |
| (cxx_pop_function_context): Delete. |
| (start_preparsed_function): Merge cxx_push_function_context (!f->decl |
| code only). |
| * cp-objcp-common.h (LANG_HOOKS_FUNCTION_INIT, |
| LANG_HOOKS_FUNCTION_FINAL): Delete. |
| (LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P): Rename to |
| LANG_HOOKS_MISSING_NORETURN_OK_P. |
| * cp-tree.h (cxx_push_function_context, cxx_pop_function_context): |
| Delete prototype. |
| * semantics.c (current_stmt_tree): Fix comment. |
| |
| 2008-04-03 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35741 |
| * semantics.c (finish_offsetof): Undo effect of convert_from_reference |
| before calling fold_offsetof. |
| |
| 2008-04-03 Tom Tromey <tromey@redhat.com> |
| |
| * Make-lang.in (c++_OBJS): New variable. |
| |
| 2008-04-03 Paolo Bonzini <bonzini@gnu.org> |
| |
| * optimize.c (clone_body): New, from tree-inline.c. |
| |
| 2008-04-03 Paolo Bonzini <bonzini@gnu.org> |
| |
| * method.c (synthesize_method): Use {push,pop}_function_context. |
| * name-lookup.c (push_to_top_level): Likewise. |
| * parser.c (cp_parser_late_parsing_for_member): Likewise. |
| |
| 2008-03-30 Volker Reichelt <v.reichelt@netcologne.de> |
| |
| PR c++/35578 |
| * parser.c (cp_parser_decl_specifier_seq): Add location to error |
| message. |
| |
| 2008-03-27 Tom Tromey <tromey@redhat.com> |
| |
| * Make-lang.in: Revert automatic dependency patch. |
| |
| 2008-03-27 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR obj-c++/35704 |
| * typeck.c (build_x_compound_expr): Use cp_build_compound_expr. |
| (build_compound_expr): New, for compatibility with C |
| build_compound_expr. |
| (cp_build_compound_expr): Renamed from build_compound_expr. |
| (build_c_cast): New, for compatibility with C build_c_cast. |
| (cp_build_c_cast): Renamed from build_c_cast. |
| * init.c (build_vec_delete_1): Fix calls to build_compound_expr. |
| * decl.c (cxx_maybe_build_cleanup): Ditto. |
| * cp-tree.h (build_compound_expr): Add C-compatibile prototype. |
| (cp_build_compound_expr): Renamed from build_compound_expr. |
| (build_c_cast): Add C-compatible prototype. |
| (cp_build_c_cast): Renamed from build_c_cast. |
| * typeck2.c (build_functional_cast): Use cp_build_c_cast. |
| * parser.c (cp_parser_cast_expression): Fix call to build_c_cast. |
| |
| 2008-03-27 Douglas Gregor <doug.gregor@gmail.com> |
| |
| * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Cope with |
| tsubst_pack_expansion returning a pack expansion, or a TREE_VEC |
| ending in a pack expansion, both of which can occur when |
| substituting into a nested template. |
| (tsubst_copy_and_build) <case SIZEOF_EXPR>: When we're |
| instantiating the sizeof...(X) form, make tsubst_copy do the work. |
| * parser.c (cp_parser_template_parameter): Deal with unnamed |
| non-type template parameter packs identified by pack expansions in |
| the parameter type. |
| |
| 2008-03-26 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35546 |
| * pt.c (apply_late_template_attributes): Don't call tsubst on |
| first attribute argument if it is IDENTIFIER_NODE. |
| |
| PR c++/35332 |
| * error.c (dump_expr): Pass {,UN}ORDERED_EXPR, UN{LT,LE,GT,GE,EQ}_EXPR |
| and LTGT_EXPR to pp_expression. |
| |
| 2008-03-26 Douglas Gregor <doug.gregor@gmail.com> |
| |
| * pt.c (coerce_template_template_parm): Moved the body of the loop |
| of coerce_template_template_parms here, to make iteration over a |
| template argument pack simpler. |
| Also, allow matching of a template parameter pack in the template |
| template parameter to a template parameter in the template |
| template argument. |
| (coerce_template_template_parms): Deal with variadic template |
| template parameters. Use coerce_template_template_parm. |
| (unify): Make sure we coerce the template template argument's |
| template arguments to the template template parameter's template |
| parameters, not the other way around. |
| |
| 2008-03-25 Tom Tromey <tromey@redhat.com> |
| |
| * Make-lang.in: Remove .o targets. |
| (cp/g++spec.o): Moved to cp/. Reduce to variable setting. |
| (GXX_OBJS): Update. |
| (c++_OBJS): New variable. |
| (CXX_TREE_H, CXX_PRETTY_PRINT_H): Remove. |
| |
| 2008-03-25 Douglas Gregor <doug.gregor@gmail.com> |
| |
| * typeck.c (composite_pointer_type_r): Add SFINAE support. |
| (composite_pointer_type): Ditto. |
| (common_type): Fix call to composite_pointer_type. |
| (cxx_sizeof_nowarn): New; used to be a macro. |
| (cxx_sizeof_expr): Add SFINAE support. |
| (cxx_alignof_expr): Ditto. |
| (decay_conversion): Fix calls for SFINAE support. |
| (rationalize_conditional_expr): Add SFINAE support. |
| (build_class_member_access_expr): Ditto. |
| (finish_class_member_access_expr): Ditto. |
| (build_x_indirect_ref): Ditto. |
| (build_indirect_ref): Original version renamed to |
| cp_build_indirect_ref; new version provides a bridge from |
| c-common. |
| (cp_build_indirect_ref): Was build_indirect_ref; added SFINAE |
| support. |
| (get_member_function_from_ptrfunc): Fix calls for SFINAE support. |
| (build_function_call): Original version renamed to |
| cp_build_function_call; new version provides a bridge from |
| c-common. |
| (cp_build_function_call): Was build_function_call; added SFINAE |
| support. |
| (convert_arguments): Add SFINAE support. |
| (build_x_binary_op): Ditto. |
| (build_binary_op): Original version renamed to cp_build_binary_op; |
| new version provides a bridge from c-common. |
| (cp_build_binary_op): Was build_binary_op; added SFINAE support. |
| (pointer_diff): Fix calls for SFINAE. |
| (build_x_unary_op): Add SFINAE support. |
| (condition_conversion): Fix calls for SFINAE. |
| (build_unary_op): Original version renamed to cp_build_unary_op; |
| new version provides a bridge from c-common. |
| (cp_build_unary_op): Was build_unary_op; added SFINAE support. |
| (unary_complex_lvalue): Fix calls for SFINAE. |
| (build_x_conditional_expr): Add SFINAE support. |
| (build_x_compound_expr_from_list): Fix calls for SFINAE. |
| (build_x_compound_expr): Add SFINAE support. |
| (convert_ptrmem): Fix calls for SFINAE. |
| (build_static_cast_1): Add SFINAE support. |
| (build_static_cast): Ditto. |
| (build_reinterpret_cast_1): Ditto. |
| (build_reinterpret_cast): Ditto. |
| (build_const_cast_1): Ditto. |
| (build_const_cast): Ditto. |
| (build_c_cast): Ditto. |
| (build_modify_expr): Original version renamed to |
| cp_build_modify_expr; new version provides a bridge from c-common. |
| (cp_build_modify_expr): Was build_modify_expr; added SFINAE |
| support. |
| (build_x_modify_expr): Add SFINAE support. |
| (build_ptrmemfunc): Fix calls for SFINAE. |
| (convert_for_assignment): Add SFINAE support. |
| (convert_for_initialization): Ditto. |
| (check_return_expr): Fix calls for SFINAE. |
| (lvalue_or_else): Add SFINAE support. |
| * init.c (perform_member_init): Fix calls for SFINAE. |
| (emit_mem_initializers): Ditto. |
| (expand_virtual_init): Ditto. |
| (expand_cleanup_for_base): Ditto. |
| (build_aggr_init): Add SFINAE support. |
| (expand_default_init): Ditto. |
| (expand_aggr_init_1): Fix calls for SFINAE. |
| (build_offset_ref): Ditto. |
| (build_new_1): Add SFINAE support. |
| (build_new): Ditto. |
| (build_vec_delete_1): Fix calls for SFINAE. |
| (get_temp_regvar): Ditto. |
| (build_vec_init): Add SFINAE support. |
| (build_dtor_call): Fix calls for SFINAE. |
| (build_delete): Ditto. |
| (push_base_cleanups): Ditto. |
| (build_vec_delete_1): Ditto. |
| * class.c (build_base_path): Fix calls for SFINAE. |
| (build_simple_base_path): Ditto. |
| (convert_to_base_statically): Ditto. |
| (build_vfn_ref): Ditto. |
| (resolve_address_of_overloaded_function): Ditto. |
| * decl.c (check_initializer): Fix calls for SFINAE. |
| (register_dtor_fn): Ditto. |
| (compute_array_index_type): Ditto. |
| (finish_enum): Ditto. |
| (start_preparsed_function): Ditto. |
| (cxx_maybe_build_cleanup): Ditto. |
| * call.c (convert_like): Add COMPLAIN argument. |
| (convert_like_with_context): Ditto. |
| (build_this): Fix calls for SFINAE. |
| (build_user_type_conversion): Ditto. |
| (resolve_args): Ditto. |
| (build_new_function_call): Add SFINAE support. |
| (build_operator_new_call): Fix calls for SFINAE. |
| (build_object_call): Add SFINAE support. |
| (build_conditional_expr): Ditto. |
| (build_new_op): Ditto. |
| (build_op_delete_call): Fix calls for SFINAE. |
| (build_temp): Ditto. |
| (convert_like_real): Add SFINAE support. |
| (build_x_va_arg): Fix calls for SFINAE. |
| (convert_default_arg): Ditto. |
| (build_over_call): Add SFINAE support. |
| (build_java_interface_fn_ref): Fix calls for SFINAE. |
| (build_special_member_call): Add SFINAE support. |
| (build_new_method_call): Ditto. |
| (perform_implicit_conversion): Ditto. |
| (perform_direct_initialization_if_possible): Ditto. |
| (initialize_reference): Fix calls for SFINAE. |
| * method.c (do_build_assign_ref): Fix calls for SFINAE. |
| * rtti.c (build_headof): Fix calls for SFINAE. |
| (get_tinfo_decl_dynamic): Ditto. |
| (get_typeid): Ditto. |
| (build_dynamic_cast_1): Add SFINAE support. |
| (build_dynamic_cast): Ditto. |
| (tinfo_base_init): Fix calls for SFINAE. |
| * except.c (do_get_exception_ptr): Fix calls for SFINAE. |
| (do_end_catch): Ditto. |
| (initialize_handler_parm): Ditto. |
| (expand_start_catch_block): Ditto. |
| (do_allocate_exception): Ditto. |
| (do_free_exception): Ditto. |
| (build_throw): Ditto. |
| * cvt.c (build_up_reference): Fix calls for SFINAE. |
| (convert_to_reference): Ditto. |
| (ocp_convert): Ditto. |
| (convert_to_void): Add SFINAE support. |
| * tree.c (build_dummy_object): Fix calls for SFINAE. |
| (stabilize_expr): Ditto. |
| * cp-tree.h (build_conditional_expr): Add tsubst_flags_t |
| parameter. |
| (build_new_method_call): Ditto. |
| (build_special_member_call): Ditto. |
| (build_new_op): Ditto. |
| (perform_implicit_conversion): Ditto. |
| (perform_direct_initialization_if_possible): Ditto. |
| (convert_to_void): Ditto. |
| (build_aggr_init): Ditto. |
| (build_new): Ditto. |
| (build_vec_init): Ditto. |
| (build_dynamic_cast): Ditto. |
| (finish_call_expr): Ditto |
| (cxx_sizeof_or_alignof_expr): Add COMPLAIN parameter. |
| (cxx_sizeof_nowarn): Remove macro; add function declaration. |
| (build_class_member_access_expr): Add tsubst_flags_t parameter. |
| (finish_class_member_access_expr): Ditto. |
| (build_x_indirect_ref): Ditto. |
| (cp_build_indirect_ref): New. |
| (cp_build_function_call): Add tsubst_flags_t parameter. |
| (build_x_unary_op): Ditto. |
| (cp_build_unary_op): New. |
| (build_x_conditional_expr): Add tsubst_flags_t parameter. |
| (build_x_compound_expr): Ditto. |
| (build_compound_expr): Ditto. |
| (build_static_cast): Ditto. |
| (build_reinterpret_cast): Ditto. |
| (build_const_cast): Ditto. |
| (build_c_cast): Ditto. |
| (build_x_modify_expr): Ditto. |
| (cp_build_modify_expr): New. |
| (convert_for_initialization): Add tsubst_flags_t parameter. |
| (cp_build_binary_op): Remove macro; add function declaration. |
| (invalid_nonstatic_memfn_p): Add tsubst_flags_t parameter. |
| (lvalue_or_else): Ditto. |
| (build_functional_cast): Ditto. |
| * typeck2.c (digest_init): Fix calls for SFINAE. |
| (process_init_constructor_array): Ditto. |
| (process_init_constructor_record): Ditto. |
| (build_x_arrow): Ditto. |
| (build_m_component_ref): Ditto. |
| (build_functional_cast): Add SFINAE support. |
| * pt.c (tsubst_copy_and_build): Add (more) SFINAE support. |
| * semantics.c (simplify_loop_decl_cond): Fix calls for SFINAE. |
| (finish_expr_stmt): Ditto. |
| (finish_for_expr): Ditto. |
| (finish_asm_stmt): Ditto. |
| (finish_non_static_data_member): Ditto. |
| (finish_qualified_id_expr): Ditto. |
| (finish_call_expr): Add SFINAE support. |
| (finish_increment_expr): Fix calls for SFINAE. |
| (finish_unary_op_expr): Ditto. |
| (simplify_aggr_init_expr): Ditto. |
| (finish_omp_clauses): Ditto. |
| (finish_omp_for): Ditto. |
| (finish_omp_barrier): Ditto. |
| (finish_omo_flush): Ditto. |
| * decl2.c (grok_array_decl): Fix calls or SFINAE. |
| (build_anon_union_vars): Ditto. |
| (get_guard_cond): Ditto. |
| (set_guard): Ditto. |
| (one_static_initialization_or_destruction): Ditto. |
| (do_static_initialization_or_destruction): Ditto. |
| (generate_ctor_or_dtor_function): Ditto. |
| (build_offset_ref_call_from_tree): Ditto. |
| * parser.c (cp_parser_postfix_expression): Fix calls for SFINAE. |
| (cp_parser_postfix_dot_deref_expression): Ditto. |
| (cp_parser_unary_expression): Ditto. |
| (cp_parser_new_expression): Ditto. |
| (cp_parser_cast_expression): Ditto. |
| (cp_parser_binary_expression): Ditto. |
| (cp_parser_question_colon_clause): Ditto. |
| (cp_parser_assignment_expression): Ditto. |
| (cp_parser_expression): Ditto. |
| (cp_parser_builtin_offsetof): Ditto. |
| (cp_parser_template_argument): Ditto. |
| (cp_parser_functional_cast): Ditto. |
| |
| 2008-03-24 Tom Tromey <tromey@redhat.com> |
| |
| * lex.c (handle_pragma_interface): Don't copy the filename. |
| (handle_pragma_implementation): Copy filename using xstrdup. |
| |
| 2008-03-21 Paolo Carlini <pcarlini@suse.de> |
| |
| * cp-tree.h (IS_AGGR_TYPE): Rename to MAYBE_CLASS_TYPE_P. |
| (SET_IS_AGGR_TYPE): Rename to SET_CLASS_TYPE_P. |
| (IS_AGGR_TYPE_CODE): Rename to RECORD_OR_UNION_CODE_P. |
| (PROMOTES_TO_AGGR_TYPE): Remove. |
| (CLASS_TYPE_P, TYPE_NON_AGGREGATE_CLASS): Adjust. |
| * typeck.c (unary_complex_lvalue, build_modify_expr, |
| convert_for_initialization): Adjust. |
| * init.c (is_aggr_type): Remove. |
| (is_class_type): Add. |
| (build_offset_ref, build_new_1, build_vec_delete_1, build_vec_init, |
| build_delete): Adjust. |
| * lex.c (make_aggr_type): Remove. |
| (make_class_type): Add. |
| (cxx_make_type): Adjust. |
| * class.c (finish_struct_1, fixed_type_or_null, is_empty_class): |
| Adjust. |
| * decl.c (build_typename_type, make_typename_type, |
| make_unbound_class_template, cxx_init_decl_processing, |
| check_tag_decl, groktypename, start_decl_1, layout_var_decl, |
| check_initializer, cp_finish_decl, build_ptrmemfunc_type, grokparms, |
| grok_op_properties, xref_tag, check_function_type): Adjust. |
| * call.c (check_dtor_name, standard_conversion, implicit_conversion, |
| add_builtin_candidate, add_builtin_candidates, |
| build_user_type_conversion_1, convert_like_real, build_cxx_call, |
| is_subseq, compare_ics): Adjust. |
| * method.c (use_thunk): Adjust. |
| * rtti.c (build_dynamic_cast_1, create_pseudo_type_info, |
| create_tinfo_types): Adjust. |
| * cvt.c (cp_convert_to_pointer, convert_to_pointer_force, |
| build_up_reference, convert_to_reference, convert_from_reference, |
| ocp_convert, build_expr_type_conversion): Adjust. |
| * tree.c (bind_template_template_parm, error_type): Adjust. |
| * dump.c (cp_dump_tree): Adjust. |
| * search.c (lookup_member): Adjust. |
| * friend.c (make_friend_class, do_friend): Adjust. |
| * typeck2.c (store_init_value, process_init_constructor_array, |
| process_init_constructor_record, build_x_arrow, build_m_component_ref, |
| build_functional_cast): Adjust. |
| * pt.c (finish_member_template_decl, process_template_parm, |
| lookup_template_class, tsubst_function_type, tsubst, |
| tsubst_copy_and_build, get_template_base, bt_instantiate_type_proc): |
| Adjust. |
| * semantics.c (begin_class_definition, finish_base_specifier, |
| finish_typeof, cxx_omp_predetermined_sharing, finish_decltype_type): |
| Adjust. |
| * name-lookup.c (constructor_name_p, push_overloaded_decl, |
| do_class_using_decl, lookup_qualified_name, |
| maybe_process_template_type_declaration): Adjust. |
| * decl2.c (grok_array_decl, check_member_template, |
| constrain_class_visibility): Adjust. |
| * parser.c (cp_parser_class_name): Adjust. |
| |
| 2008-03-18 Paolo Bonzini <bonzini@gnu.org> |
| |
| * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete. |
| |
| 2008-03-17 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35548 |
| * call.c (reference_binding): Check LOOKUP_NO_TEMP_BIND when binding |
| a temp directly to a reference as per DR391. |
| |
| 2008-03-12 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/35469 |
| Revert: |
| 2008-02-04 Richard Guenther <rguenther@suse.de> |
| |
| PR java/35035 |
| * decl.c (record_builtin_java_type): Make jboolean a |
| integer type again where its mode doesn't match that of bool. |
| |
| 2008-01-25 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/33887 |
| * decl.c (record_builtin_java_type): Make __java_boolean |
| a variant of bool. |
| * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check |
| after TYPE_MAIN_VARIANT check. |
| |
| 2008-03-10 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35328 |
| * semantics.c (finish_omp_clauses): Look through NOP_EXPR even |
| if errorcount. |
| |
| PR c++/35337 |
| * semantics.c (finish_omp_clauses): Use %qD instead of %qE for |
| DECL_P in not a variable and appears more than once error messages. |
| |
| 2008-03-07 Paolo Bonzini <bonzini@gnu.org> |
| |
| Revert: |
| |
| 2008-02-06 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/35049 |
| PR c++/35096 |
| * typeck.c (structural_comptypes): Call cp_comptypes. |
| (comptypes): New; called from the C/C++ common bits to perform |
| strict checks. |
| (cp_comptypes): Renamed from comptypes, which is already used, |
| with a different signature, by the C++ front end. |
| (build_reinterpret_cast_1): Call cp_comptypes. |
| (ptr_reasonably_similar): Ditto. |
| * decl.c (decls_match): Ditto. |
| * cvt.c (convert_to_reference): Ditto. |
| * cp-tree.h (same_type_p): Ditto. |
| (same_or_base_type_p): Ditto. |
| (comptypes): Rename to cp_comptypes. |
| * pt.c (canonical_type_parameter): Call cp_comptypes. |
| |
| 2008-03-07 Paolo Bonzini <bonzini@gnu.org> |
| |
| * cp-objcp-common.c (cxx_types_compatible_p): Remove obsolete |
| test for equivalence between pointer and references. |
| |
| 2008-03-02 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 24924 |
| * class.c (finish_struct_anon): Use permerror instead of pedwarn. |
| (check_field_decls): Likewise. |
| (note_name_declared_in_class): Likewise. |
| * call.c (build_new_op): Likewise. |
| (convert_like_real): Likewise. |
| (build_over_call): Likewise. |
| * lex.c (unqualified_fn_lookup_error): Likewise. |
| * parser.c (cp_parser_template_id): Likewise. |
| * cvt.c (warn_ref_binding): Likewise. |
| (convert_to_reference): Likewise. |
| (ocp_convert): Likewise. |
| (convert_to_void): Use error instead of pedwarn. |
| * error.c (cp_cpp_error): Use pedantic_warning_kind. |
| * decl.c (compute_array_index_type): Use constant_expression_error. |
| |
| 2008-03-01 Douglas Gregor <doug.gregor@gmail.com> |
| |
| * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): Note |
| that auto is either a storage class or a simple type specifier, |
| depending on the dialect. |
| (cp_parser_decl_specifier_seq): Complain about `auto' as a storage |
| specifier in C++98 mode, error in C++0x mode (since we don't |
| support auto as a type specifier, yet). |
| (cp_parser_storage_class_specifier_opt): Don't treat `auto' as a |
| storage specifier in C++0x mode. |
| (cp_parser_simple_type_specifier): Parse `auto' as a |
| simple-type-specifier, but error because we don't support it yet. |
| |
| 2008-02-29 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| * parser.c (cp_parser_nonclass_name): New. |
| (cp_parser_pseudo_destructor_name): Use it instead of |
| cp_parser_type_name. |
| (cp_parser_type_name): Move code to cp_parser_nonclass_name. |
| |
| 2008-02-29 Tom Tromey <tromey@redhat.com> |
| |
| * parser.c (struct cp_token) <input_file_stack_index>: Remove. |
| (cp_lexer_get_preprocessor_token): Update. |
| (cp_lexer_set_source_position_from_token): Don't call |
| restore_input_file_stack. |
| * lex.c (cxx_init): Don't use push_srcloc or pop_srcloc. |
| |
| 2008-02-28 Richard Guenther <rguenther@suse.de> |
| |
| Revert: |
| 2008-02-26 Richard Guenther <rguenther@suse.de> |
| |
| * decl.c (duplicate_decls): Remove decl from global mapping |
| before ggc_freeing it. |
| |
| 2008-02-27 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35368 |
| * rtti.c: Include c-pragma.h. |
| (push_abi_namespace, pop_abi_namespace): New functions. |
| (build_dynamic_cast_1, tinfo_base_init, get_pseudo_ti_index, |
| create_tinfo_types, emit_support_tinfos): Use them. |
| * Make-lang.in (cp/rtti.o): Depend on $(C_PRAGMA_H). |
| |
| 2008-02-26 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35315 |
| * decl.c (grokdeclarator): Allow a typedef of an unnamed struct |
| to name the struct for linkage purposes even if it has attributes. |
| (start_decl): In that case, set ATTR_FLAG_TYPE_IN_PLACE. |
| |
| 2008-02-26 Tom Tromey <tromey@redhat.com> |
| |
| * parser.c (eof_token): Remove old location code. |
| (check_empty_body): Remove test of USE_MAPPED_LOCATION. |
| * decl2.c (generate_ctor_or_dtor_function): Remove old location |
| code. |
| (cp_write_global_declarations): Likewise. |
| * lex.c (cxx_init): Remove old location code. |
| (handle_pragma_implementation): Remove test of |
| USE_MAPPED_LOCATION. |
| * pt.c (tsubst): Remove old location code. |
| * error.c (cp_print_error_function): Remove test of |
| USE_MAPPED_LOCATION. |
| * decl.c (pop_label): Remove old location code. |
| (finish_function): Likewise. |
| |
| 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR 26264 |
| * call.c (magic_varargs_p): Remove BUILT_IN_STDARG_START. |
| |
| 2008-02-26 Richard Guenther <rguenther@suse.de> |
| |
| * decl.c (duplicate_decls): Remove decl from global mapping |
| before ggc_freeing it. |
| |
| 2008-02-26 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/35323 |
| * name-lookup.c (arg_assoc_type): Handle FIXED_POINT_TYPE. |
| |
| 2008-02-26 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| * typeck.c (build_class_member_access_expr): Add appropriate |
| OPT_W* parameter to warning. |
| (build_reinterpret_cast_1): Likewise. |
| * name-lookup.c (push_overloaded_decl): Likewise. |
| |
| 2008-02-25 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/35333 |
| * error.c (dump_expr): Handle CONJ_EXPR. |
| |
| 2008-02-25 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/35338 |
| * error.c (dump_type): Handle FIXED_POINT_TYPE. |
| (dump_expr): Handle FIXED_CST. |
| |
| 2008-02-24 Jason Merrill <jason@redhat.com> |
| |
| * parser.c (cp_parser_declaration): Handle "inline namespace". |
| (cp_parser_namespace_definition): Likewise. |
| |
| PR c++/33486 |
| * name-lookup.c (arg_assoc_namespace): Look down into inline |
| namespaces, too. |
| |
| 2008-02-23 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| * typeck.c (check_for_casting_away_constness): Use 1 single |
| argument, the type of cast, to decide what diagnostics generate. |
| (build_static_cast_1): Remove unused code. Update call to |
| check_for_casting_away_constness. |
| (build_reinterpret_cast_1): Update call to |
| check_for_casting_away_constness. |
| (build_const_cast_1): Likewise. |
| |
| 2008-02-24 Paolo Carlini <pcarlini@suse.de> |
| |
| * error.c (dump_expr): Don't deal directly with NEW_EXPR (and |
| VEC_NEW_EXPR), forward to pp_expression. |
| * cxx-pretty-print.c (pp_cxx_new_expression): Fix FIXME. |
| |
| 2008-02-24 Danny Smith <dannysmith@users.sourceforge.net> |
| |
| PR c++/34749 |
| * friend.c (do_friend): Call cplus_decl_attributes earlier. |
| |
| 2008-02-22 Andrew Pinski <andrew_pinski@playstation.sony.com> |
| |
| PR C++/34715 |
| * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS for |
| template decls' function decl. |
| |
| 2008-02-22 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/35282 |
| Revert: |
| 2008-02-14 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/28743 |
| * pt.c (determine_specialization): In case of function templates, |
| when the type of DECL does not match FN there is no match. |
| |
| 2008-02-22 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> |
| |
| PR c/19999 |
| * typeck.c (build_binary_op): Warn about floating point |
| comparisons if FLOAT_TYPE_P, not only for REAL_TYPE. |
| |
| 2008-02-19 Jason Merrill <jason@redhat.com> |
| |
| PR c++/34950 |
| * pt.c (resolve_overloaded_unification): Set processing_template_decl |
| while we look for possible bindings. |
| |
| 2008-02-19 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/35028 |
| * cp-gimplify.c (cxx_omp_clause_apply_fn): Handle vararg copy ctors. |
| |
| PR c++/34964 |
| PR c++/35244 |
| * semantics.c (finish_omp_threadprivate): Do nothing for error_operand_p |
| vars. Afterwards ensure v is VAR_DECL. |
| |
| PR c++/35078 |
| * parser.c (cp_parser_omp_for_loop): If DECL has REFERENCE_TYPE, don't |
| call cp_finish_decl. |
| * semantics.c (finish_omp_for): Fail if DECL doesn't have integral type |
| early. |
| |
| 2008-02-15 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/35023 |
| PR c++/35024 |
| PR c++/35026 |
| * pt.c (finish_member_template_decl): If the type in a TYPE_DECL |
| is error_mark_node, return an error early. |
| (find_parameter_packs_r): Pass the pointer set along to recursive |
| calls of cp_walk_subtrees; don't try to manage the pointer set |
| ourselves. |
| (uses_parameter_packs): Pass the pointer set to cp_walk_tree. |
| (make_pack_expansion): Ditto. |
| (check_for_bare_parameter_packs): Ditto. Also, don't bother taking |
| a second pass through the tree with find_parameter_packs_r; that |
| second pass no longer does anything. |
| (push_template_decl_real): If we have an erroneous declaration, |
| set its type to error_mark_node before returning an error. |
| |
| 2008-02-14 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/34050 |
| * pt.c (tsubst_initializer_list): Deal with the use of |
| VOID_TYPE_NODE to indicate value-initialization of the bases. |
| |
| 2008-02-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| Jason Merrill <jason@redhat.com> |
| |
| PR c++/5645 |
| PR c++/11159 |
| * class.c (type_has_user_nondefault_constructor): New fn. |
| * cp-tree.h: Declare it. |
| * init.c (emit_mem_initializers): Use it for -W warning about |
| missing base initializer. |
| |
| 2008-02-14 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/28743 |
| * pt.c (determine_specialization): In case of function templates, |
| when the type of DECL does not match FN there is no match. |
| |
| 2008-02-13 Jakub Jelinek <jakub@redhat.com> |
| Manuel Lopez-Ibanez <manu@gcc.gnu.org> |
| |
| PR c++/35138 |
| * parser.c (cp_parser_pseudo_destructor_name): If next tokens |
| are not identifier :: ~, return before calling cp_parser_type_name. |
| |
| 2008-02-13 Jason Merrill <jason@redhat.com> |
| |
| PR c++/34962, c++/34937, c++/34939 |
| * decl2.c (is_late_template_attribute): Always defer attributes |
| vector_size and weak. |
| |
| PR c++/34774 |
| * pt.c (value_dependent_expression_p): Look into DECL_INITIAL |
| of enumerators, too. |
| |
| 2008-02-12 Jason Merrill <jason@redhat.com> |
| |
| PR c++/34824 |
| * call.c (convert_like_real): Pass LOOKUP_NO_CONVERSION to build_temp |
| if we're doing conversions to call a user-defined conversion function. |
| |
| 2008-02-12 Steven Bosscher <steven@gcc.gnu.org> |
| |
| PR c++/29048 |
| * semantics.c (finish_qualified_id_expr): Avoid duplicate access |
| check here, too. |
| |
| 2008-02-12 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/34862 |
| * init.c (build_new_1): Don't create placement_expr before |
| constructing alloc_call. Verify that the pointer is passed by |
| value to operator new. |
| |
| 2008-02-11 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35097 |
| * pt.c (tsubst): Don't look up a template typedef in an explicit |
| specialization. |
| |
| 2008-02-11 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/35113 |
| * tree.c (cp_build_qualified_type_real): When building a |
| cv-qualified array type, build it as a unique type with |
| build_cplus_array_type_1 and then adopt the unqualified type's |
| main variant. |
| |
| 2008-02-11 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/35077 |
| * decl.c (groktypename): Check grokdeclarator return. |
| |
| 2008-02-10 Jason Merrill <jason@redhat.com> |
| |
| PR c++/34094 |
| * decl2.c (cp_write_global_declarations): Don't write out static |
| data members with DECL_IN_AGGR_P set. |
| |
| 2008-02-08 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35116 |
| * tree.c (build_target_expr_with_type): Handle void initializer. |
| (bot_manip): Remap slot before recursing. |
| |
| 2008-02-06 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| PR other/35107 |
| * Make-lang.in (cc1plus-dummy, cc1plus): Add $(GMPLIBS). |
| |
| 2008-02-06 Alexandre Oliva <aoliva@redhat.com> |
| |
| PR c++/35056 |
| * tree.c: Include tree-flow.h. |
| (build_target_expr): Check type compatibility. |
| * Make-lang.in (cp/tree.o): Depend on $(TREE_FLOW_H). |
| * call.c (convert_like_real): Convert bitfield to expected type. |
| |
| 2008-02-06 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/35049 |
| PR c++/35096 |
| * typeck.c (structural_comptypes): Call cp_comptypes. |
| (comptypes): New; called from the C/C++ common bits to perform |
| strict checks. |
| (cp_comptypes): Renamed from comptypes, which is already used, |
| with a different signature, by the C++ front end. |
| (build_reinterpret_cast_1): Call cp_comptypes. |
| (ptr_reasonably_similar): Ditto. |
| * decl.c (decls_match): Ditto. |
| * cvt.c (convert_to_reference): Ditto. |
| * cp-tree.h (same_type_p): Ditto. |
| (same_or_base_type_p): Ditto. |
| (comptypes): Rename to cp_comptypes. |
| * pt.c (canonical_type_parameter): Call cp_comptypes. |
| |
| 2008-02-05 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/33553 |
| * pt.c (tsubst) <case INTEGER_TYPE>: Don't issue error if max is |
| value dependent expression. |
| |
| 2008-02-05 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/35074 |
| * decl2.c (save_template_attributes): When we're modifying the |
| TYPE_MAIN_VARIANT to add new attributes, be sure to also modify |
| all of the other variants to add those same attributes. Otherwise, |
| the main variant will be inconsistent with those other variants. |
| |
| 2008-02-04 Richard Guenther <rguenther@suse.de> |
| |
| PR java/35035 |
| * decl.c (record_builtin_java_type): Make jboolean a |
| integer type again where its mode doesn't match that of bool. |
| |
| 2008-02-02 Jason Merrill <jason@redhat.com> |
| Mark Mitchell <mark@codesourcery.com> |
| |
| PR c++/33916 |
| * init.c (build_value_init_1): New function. |
| (build_value_init): New function. |
| * typeck2.c (build_functional_cast): Call it. |
| * cp-gimplify.c (cp_gimplify_init_expr): Handle its output. |
| |
| * cp-tree.h (TYPE_HAS_USER_CONSTRUCTOR): Rename from |
| TYPE_HAS_CONSTRUCTOR. |
| * class.c (finish_struct_bits, maybe_warn_about_overly_private_class, |
| add_implicitly_declared_members): Adjust. |
| (check_field_decls): Adjust. Remove warnings about reference/const |
| in class without constructor. |
| (check_bases_and_members): Adjust. Give those warnings here instead. |
| * decl.c (fixup_anonymous_aggr): Adjust. |
| (check_initializer): Adjust, clarify logic slightly. |
| (grok_special_member_properties): Adjust, only set if user-provided. |
| * rtti.c (create_tinfo_types): Don't set. |
| * cvt.c (ocp_convert): Remove exception for vtable_entry_type et al. |
| Use same_type_ignoring_top_level_qualifiers_p. |
| * pt.c (check_explicit_specialization): Adjust. |
| (instantiate_class_template): Adjust. |
| |
| 2008-01-31 Douglas Gregor <doug.gregor@gmail.com> |
| Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/34935 |
| PR c++/34936 |
| * typeck.c (structural_comptypes): Handle comparisons of |
| VOID_TYPE, BOOLEAN_TYPE, INTEGER_TYPE, FIXED_POINT_TYPE, and |
| REAL_TYPE nodes. |
| * mangle.c (write_builtin_type): Map down to the canonical type, |
| which will be one of the predefined type nodes. |
| |
| 2008-01-29 Michael Meissner <michael.meissner@amd.com> |
| |
| PR 35004 |
| * cp-tree.h (struct full_lang_decl): Make tree_code bitfield 16 |
| bits to allow for expansion of the number of middle end tree |
| codes. |
| |
| 2008-01-29 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/34055 |
| PR c++/34103 |
| PR c++/34219 |
| PR c++/34606 |
| PR c++/34753 |
| PR c++/34754 |
| PR c++/34755 |
| PR c++/34919 |
| PR c++/34961 |
| * typeck.c (check_return_expr): Tweak call to |
| check_for_bare_parameter_packs. |
| * class.c (add_method): Be careful with error_mark_nodes. |
| * cp-tree.h (check_for_bare_parameter_packs): Remove "*" from |
| signature. |
| * pt.c (struct find_parameter_pack_data): Remove |
| SET_PACKS_TO_ERROR. |
| (find_parameter_packs_r): Don't use SET_PACKS_TO_ERROR. |
| (uses_parameter_packs): Don't set SET_PACKS_TO_ERROR. |
| (make_pack_expansion): Ditto. |
| (check_for_bare_parameter_packs): Parameter is now a tree, not a |
| tree*. |
| (process_template_parm): Tweak call to |
| check_for_bare_parameter_packs. |
| (push_template_decl_real): Tweak calls to |
| check_for_bare_parameter_packs. If bare parameter packs are found |
| in the list of exceptions, clear out that list after giving an |
| error. |
| * semantics.c (finish_cond): Tweak call to |
| check_for_bare_parameter_packs. |
| (finish_expr_stmt): Ditto. |
| (finish_for_expr): Ditto. |
| (finish_switch_cond): Ditto. |
| (finish_mem_initializers): Ditto. |
| (finish_member_declaration): Ditto. |
| (finish_static_assert): Check for bare parameter packs in the |
| condition. |
| * decl2.c (cplus_decl_attributes): Check for bare parameter packs in the |
| attributes of a declaration. |
| * parser.c (cp_parser_using_declaration): Tweak call to |
| check_for_bare_parameter_packs. |
| (cp_parser_base_clause): Ditto. |
| |
| 2008-01-28 Jason Merrill <jason@redhat.com> |
| |
| PR c++/35007 |
| * class.c (build_base_path): Fix !want_pointer case. |
| |
| 2008-01-27 Jason Merrill <jason@redhat.com> |
| |
| PR c++/27177 |
| * class.c (build_base_path): Fix previous change. |
| |
| 2008-01-26 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/34965 |
| * error.c (dump_expr): Handle TRUTH_AND_EXPR, TRUTH_OR_EXPR |
| and TRUTH_XOR_EXPR. |
| |
| 2008-01-26 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/34235 |
| * typeck.c (build_binary_op): Remove code to shorten compares. |
| |
| 2008-01-25 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/33887 |
| * decl.c (record_builtin_java_type): Make __java_boolean |
| a variant of bool. |
| * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check |
| after TYPE_MAIN_VARIANT check. |
| |
| 2008-01-25 Jason Merrill <jason@redhat.com> |
| |
| PR c++/27177 |
| * class.c (build_base_path): Don't mess with virtual access if |
| skip_evaluation. |
| * call.c (standard_conversion): Don't check whether source type |
| is complete. |
| |
| * decl2.c (is_late_template_attribute): Don't defer attribute |
| visibility just because the type is dependent. |
| |
| 2008-01-25 Jason Merrill <jason@redhat.com> |
| Mark Mitchell <mark@codesourcery.com> |
| |
| PR c++/31780 |
| * call.c (standard_conversion): Allow conversion from integer/real |
| to complex. |
| (compare_ics): Such a conversion is worse than a normal arithmetic |
| conversion. |
| |
| 2008-01-25 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/33887 |
| * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define |
| to true. |
| |
| 2008-01-24 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/34603 |
| * pt.c (push_template_decl_real): Return error_mark_node in case |
| of template definition of non-template. |
| |
| 2008-01-24 Jason Merrill <jason@redhat.com> |
| |
| PR c++/34913 |
| * decl2.c (is_late_template_attribute): Defer any attribute with |
| dependent args. Also defer type attributes if the type is dependent. |
| |
| 2008-01-22 Jakub Jelinek <jakub@redhat.com> |
| Alexandre Oliva <aoliva@redhat.com> |
| |
| PR c++/33984 |
| * call.c (reference_binding): For bitfields use the declared bitfield |
| type. |
| (add_builtin_candidates): Likewise. |
| * class.c (layout_class_type): For bitfields copy over the |
| original type quals. |
| |
| 2008-01-22 Jason Merrill <jason@redhat.com> |
| |
| PR c++/28560 |
| * decl.c (groktypename): Also ignore attributes on dependent |
| possibly-class types. |
| |
| PR c++/34912 |
| * friend.c (do_friend): Check for prior declaration of a friend |
| function of a local class. |
| * name-lookup.c (lookup_name_innermost_nonclass_level): |
| No longer static. |
| * name-lookup.h: Declare it. |
| |
| 2008-01-22 Tom Tromey <tromey@redhat.com> |
| |
| PR c++/34829: |
| * init.c (build_new_1): Only disallow Java aggregates. |
| |
| 2008-01-22 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/34607 |
| * semantics.c (finish_omp_for): Don't call c_finish_omp_for |
| if decl or init is error_mark_node. |
| |
| PR c++/34918 |
| * error.c (dump_expr): Handle VECTOR_CST. |
| |
| 2008-01-21 Jason Merrill <jason@redhat.com> |
| |
| PR c++/33959 |
| * pt.c (tsubst_aggr_type): Make sure our context is complete. |
| |
| PR c++/34573 |
| * pt.c (retrieve_local_specialization): Robustify. |
| (tsubst_pack_expansion, tsubst_decl): Remove redundant checks. |
| |
| PR c++/34846 |
| * pt.c (tsubst): Only call retrieve_local_specialization if the |
| original typedef was in a function template. |
| |
| PR c++/34196 |
| * decl.c (wrap_cleanups_r): Set TRY_CATCH_IS_CLEANUP. |
| |
| 2008-01-21 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/34850 |
| * error.c (cp_print_error_function): Deal with recursive |
| BLOCK trees. |
| |
| 2008-01-20 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/34891 |
| * error.c (dump_expr): Deal with VIEW_CONVERT_EXPR. |
| |
| 2008-01-20 Paolo Carlini <pcarlini@suse.de> |
| |
| PR c++/34776 |
| PR c++/34486 |
| * name-lookup.c (do_class_using_decl): Do not call constructor_name_p |
| on non-IS_AGGR_TYPE scope. |
| (constructor_name_p): Assert IS_AGGR_TYPE. |
| |
| 2008-01-18 Ian Lance Taylor <iant@google.com> |
| |
| PR c++/33407 |
| * decl.c (duplicate_decls): Copy DECL_IS_OPERATOR_NEW flag. |
| (grok_op_properties): For NEW_EXPR and VEC_NEW_EXPR set |
| DECL_IS_OPERATOR_NEW flag. |
| |
| 2008-01-16 Richard Guenther <rguenther@suse.de> |
| |
| PR c++/33819 |
| * typeck.c (is_bitfield_expr_with_lowered_type): Recurse |
| for conversions to type variants. |
| |
| 2008-01-15 Andreas Tobler <a.tobler@schweiz.org> |
| |
| * parser.c (cp_parser_template_parameter): Fix C90 issue with mixing |
| declaration and code. Update copyright year. |
| |
| 2008-01-15 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/34399 |
| * friend.c (do_friend): Don't query TYPE_BEING_DEFINED unless we |
| know we have a class type. |
| |
| 2008-01-15 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/34751 |
| * pt.c (coerce_template_parameter_pack): When substituting into |
| the type of a non-type template parameter pack. use the |
| deduced/substituted arguments. |
| * parser.c (declarator_can_be_parameter_pack): A pointer-to-member |
| can be a parameter pack with the ellipsis following it. When we |
| have an erroneous declaration, allow it to be a parameter pack. |
| (cp_parser_template_parameter): Complain about default |
| arguments on non-type template parameter packs, and parse them |
| using the new cp_parser_default_argument. |
| (cp_parser_parameter_declaration): Complain about parameter packs |
| with default arguments. Move parsing of default arguments into a |
| new function, cp_parser_default_argument. |
| (cp_parser_default_argument): New; extracted from |
| cp_parser_parameter_declaration. |
| |
| 2008-01-15 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/34051 |
| PR c++/34055 |
| PR c++/34102 |
| PR c++/34103 |
| * typeck.c (check_return_expr): If there are bare parameter packs |
| in the return value, set it to error_mark_node. |
| * tree.c (cp_walk_subtrees): Walk USING_DECL nodes. |
| * pt.c (find_parameter_packs_r): Look at the type of |
| IDENTIFIER_NODEs (e.g., for user-defined conversions). |
| (check_for_bare_parameter_packs): Flip the result: now returns |
| TRUE when there were bare parameter packs, FALSE otherwise. |
| (push_template_decl_real): Deal with flipped result of |
| check_for_bare_parameter_packs. |
| * semantics.c (finish_cond): If there are bare parameter packs in |
| the conditional, set it to error_mark_node. |
| (finish_expr_stmt): If there are bare parameter packs in the |
| expression, set it to error_mark_node. |
| (finish_for_expr): Ditto. |
| (finish_switch_cond): If there are bare parameter packs in |
| the conditional, set it to error_mark_node. |
| (finish_mem_initializers): If there are bare parameter packs in |
| the member initializer, set it to error_mark_node. |
| (finish_member_declaration): Check the attributes of the |
| declaration for bare parameter packs, and remove the attributes if |
| any have bare parameter packs. |
| * parser.c (cp_parser_using_declaration): Check the using |
| declaration for bare parameter packs. |
| (cp_parser_base_clause): If there are bare parameter packs in a |
| base specifier, don't add it to the chain. |
| |
| 2008-01-15 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/34314 |
| * error.c (dump_simple_decl): Display ellipsis for template |
| non-type parameter packs. |
| (dump_decl): Display ellipsis for template type parameter packs. |
| (dump_template_decl): Display ellipsis for template template |
| parameter packs. |
| * pt.c (redeclare_class_template): When redeclaring a class |
| template, check for collisions between template parameters and |
| template parameter packs. |
| |
| 2008-01-15 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/33964 |
| * pt.c (process_partial_specialization): Don't mark template |
| parameters that occur in non-deduced contexts. |
| (struct pair_fn_data): Add include_nondeduced_p. |
| (for_each_template_parm_r): Only visit non-deduced contexts if |
| include_nondeduced_p is set. |
| (for_each_template_parm): Added parameter include_nondeduced_p, |
| which states whether template parameters found in non-deduced |
| contexts should be visited. |
| (uses_template_parms): Visit all template parameters, even those |
| in non-deduced contexts. |
| |
| 2008-01-15 Douglas Gregor <doug.gregor@gmail.com> |
| |
| PR c++/34052 |
| * pt.c (check_default_tmpl_args): Check for parameter packs that |
| aren't at the end of a primary template. |
| (push_template_decl_real): Remove check for parameter packs that |
| aren't at the end of a primary template; that now happens in |
| check_default_tmpl_args. |
| * semantics.c (finish_template_template_parm): Use |
| check_default_tmpl_args to check for errors in the template |
| parameter list. |
| |
| 2008-01-12 Doug Kwan <dougkwan@google.com> |
| |
| * decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers |
| instead of OPT_Wreturn_type in warning due to ignored return type |
| qualifiers. |
| * pt.c: (tsubst_function_type): Use OPT_Wignored_qualifiers |
| instead of OPT_Wreturn_type in warning due to ignored return type |
| qualifiers. |
| |
| 2008-01-08 Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/33890 |
| * semantics.c (finish_omp_for): Don't call |
| fold_build_cleanup_point_expr if processing_template_decl. |
| |
| 2008-01-04 Paolo Carlini <pcarlini@suse.de> |
| Jakub Jelinek <jakub@redhat.com> |
| |
| PR c++/34611 |
| * error.c (dump_template_argument): Deal with TREE_LIST. |
| |
| 2008-01-01 Douglas Gregor <doug.gregor@gmail.com> |
| |
| * parser.c (cp_parser_check_decl_spec): Don't warn about "long |
| long" in C++0x mode; change the warning to note that "long long" |
| is only unsupported in C++98 mode. |
| |
| |
| Copyright (C) 2008 Free Software Foundation, Inc. |
| |
| Copying and distribution of this file, with or without modification, |
| are permitted in any medium without royalty provided the copyright |
| notice and this notice are preserved. |
