| Tue Dec 22 15:09:25 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * Makefile.in (cvt.o): Depend on toplev.h. |
| |
| * cp-tree.h (check_template_shadow, pod_type_p): Add prototypes. |
| |
| * cvt.c: Include toplev.h. |
| |
| * except.c (get_eh_caught, get_eh_handlers): Hide prototypes and |
| definitions. |
| |
| * init.c (expand_vec_init): Initialize variable `itype'. |
| |
| * lex.c (yyerror): Cast the argument passed to a ctype function to |
| an unsigned char. |
| |
| * method.c (build_mangled_C9x_name): Wrap prototype and definition |
| in "HOST_BITS_PER_WIDE_INT >= 64". |
| |
| * typeck.c (build_binary_op): Mark parameter `convert_p' with |
| ATTRIBUTE_UNUSED. |
| |
| 1998-12-22 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (TYPE_RAISES_EXCEPTIONS): Improve documentation. |
| * tree.c (build_exception_variant): Don't crash on empty throw |
| specs. |
| |
| 1998-12-18 DJ Delorie <dj@cygnus.com> |
| |
| * cvt.c (convert_to_reference): Check for both error_mark_node |
| and NULL_NODE after call to convert_for_initialization. |
| |
| 1998-12-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * error.c (interesting_scope_p): New fn. |
| (dump_simple_decl): Use it. |
| (dump_expr, case CONSTRUCTOR): Force a & for a PMF. |
| (dump_expr, case OFFSET_REF): Print ->* if appropriate. |
| |
| 1998-12-16 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (resolve_address_of_overloaded_function): Do conversion |
| to correct type here, rather than ... |
| (instantiate_type): Here. |
| |
| * cp-tree.h (DECL_TEMPLATE_PARM_P): New macro. |
| (DECL_TEMPLATE_TEMPLATE_PARM_P): Use it. |
| (decl_template_parm_p): Remove. |
| * decl.c (pushdecl): Don't set DECL_CONTEXT for a template |
| parameter. |
| * lex.c (do_identifier): Use DECL_TEMPLATE_PARM_P. |
| * pt.c (push_inline_template_parms_recursive): Set it. |
| (decl_template_parm_p): Remove. |
| (check_template_shadow): Use DECL_TEMPLATE_PARM_P. |
| (process_template_parm): Set it. |
| |
| Wed Dec 16 16:33:58 1998 Dave Brolley <brolley@cygnus.com> |
| |
| * lang-specs.h (default_compilers): Pass -MD, -MMD and -MG to cc1plus |
| if configured with cpplib. |
| |
| 1998-12-15 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (poplevel): Make sure ns_binding is initialized. |
| |
| * decl.c (finish_function): Undo inadvertent change in previous |
| patch. |
| |
| 1998-12-14 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (pushclass): Tweak handling of class-level bindings. |
| (resolve_address_of_overloaded_function): Update pointer-to-member |
| handling. |
| (instantiate_type): Likewise. |
| * cvt.c (cp_convert_to_pointer): Likewise. |
| * decl.c (pop_binding): Take the DECL to pop, not just the name. |
| Deal with `struct stat' hack. |
| (binding_level): Add to documentation. |
| (push_binding): Clear BINDING_TYPE. |
| (add_binding): New function. |
| (push_local_binding): Use it. |
| (push_class_binding): Likewise. |
| (poplevel): Adjust calls to pop_binding. |
| (poplevel_class): Likewise. |
| (pushdecl): Adjust handling of TYPE_DECLs; add bindings for hidden |
| declarations to current binding level. |
| (push_class_level_binding): Likewise. |
| (push_overloaded_decl): Adjust handling of OVERLOADs in local |
| bindings. |
| (lookup_namespace_name): Don't crash when confronted with a |
| TEMPLATE_DECL. |
| (lookup_name_real): Do `struct stat' hack in local binding |
| contexts. |
| (build_ptrmemfunc_type): Adjust documentation. |
| (grokdeclarator): Don't avoid building real array types when |
| processing templates unless really necessary. |
| (finish_method): Adjust calls to pop_binding. |
| * decl2.c (reparse_absdcl_as_expr): Recursively call ourselves, |
| not reparse_decl_as_expr. |
| (build_expr_from_tree): Deal with a template-id as the function to |
| call in a METHOD_CALL_EXPR. |
| * pt.c (convert_nontype_argument): Tweak pointer-to-member handling. |
| (maybe_adjust_types_For_deduction): Don't do peculiar things with |
| METHOD_TYPEs here. |
| (resolve_overloaded_unification): Handle COMPONENT_REFs. Build |
| pointer-to-member types where necessary. |
| * tree.c (build_cplus_array_type_1): Don't avoid building real |
| array types when processing templates unless really necessary. |
| (build_exception_variant): Compare the exception lists correctly. |
| |
| 1998-12-13 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.def (CPLUS_BINDING): Update documentation. |
| * cp-tree.h (LOCAL_BINDING_P): New macro. |
| (lang_identifier): Rename local_value to bindings. |
| (tree_binding): Make `scope' of type `void*', not `tree'. |
| (BINDING_SCOPE): Update documentation. |
| (IDENTIFIER_LOCAL_VALUE): Remove. |
| (IDENTIFIER_CLASS_VALUE): Document. |
| (IDENTIFIER_BINDING): New macro. |
| (IDENTIFIER_VALUE): Likewise. |
| (TIME_IDENTIFIER_TIME): Likewise. |
| (TIME_IDENTIFIER_FILEINFO): Likewise. |
| (IMPLICIT_TYPENAME_P): Likewise. |
| (set_identifier_local_value): Remove. |
| (push_local_binding): New function. |
| (push_class_binding): Likewise. |
| * class.c (pushclass): Update comments; use push_class_binding. |
| * decl.c (set_identifier_local_value_with_scope): Remove. |
| (set_identifier_local_value): Likewise. |
| (push_binding): New function. |
| (pop_binding): Likewise. |
| (binding_level): Update documentation. Remove shadowed. |
| (BINDING_LEVEL): New macro. |
| (free_binding_nodes): New variable. |
| (poplevel): Adjust for new name-lookup scheme. Don't mess up |
| BLOCK_VARs when doing for-scope extension. Remove effectively |
| dead code. |
| (pushlevel_class): Tweak formatting. |
| (poplevel_class): Adjust for new name-lookup scheme. |
| (print_binding_level): Likewise. |
| (store_bindings): Likewise. |
| (pushdecl): Likewise. |
| (pushdecl_class_level): Likewise. |
| (push_class_level_binding): Likewise. |
| (push_overloaded_decl): Update comments. Adjust for new |
| name-lookup scheme. |
| (lookup_name_real): Likewise. |
| (lookup_name_current_level): Likewise. |
| (cp_finish_decl): Likewise. |
| (require_complete_types_for_parms): Likewise. Remove misleading |
| #if 0'd code. |
| (grok_parms): Likewise. Don't call |
| require_complete_types_for_parms here. |
| (grok_ctor_properties): Don't treat templates as copy |
| constructors. |
| (grop_op_properties): Or as assignment operators. |
| (start_function): Document. Adjust for new name-lookup scheme. |
| (finish_function): Likewise. |
| * decl2.c (do_local_using_decl): Use push_local_binding. |
| * lex.c (begin_definition_of_inclass_inline): New function, split |
| out from ... |
| (do_pending_inlines): Here, and ... |
| (process_next_inline): Here. |
| (get_time_identifier): Use TIME_IDENTIFIER_* macros. |
| (init_filename_times): Likewise. |
| (extract_interface_info): Likewise. |
| (ste_typedecl_interface_info): Likewise. |
| (check_newline): Likewise. |
| (dump_time_statistics): Likewise. |
| (handle_cp_pragma): Likewise. |
| (do_identifier): Adjust for new name-lookup scheme. |
| * parse.y (function_try_block): Return ctor_initializer_opt value. |
| (fndef): Use it. |
| (fn.defpen): Pass appropriate values to start_function. |
| (pending_inline): Use functor_try_block value, and pass |
| appropriate values to finish_function. |
| * pt.c (is_member_template): Update documentation; remove handling |
| of FUNCTION_DECLs. As per name, this function should deal only in |
| TEMPLATE_DECLs. |
| (decl_template_parm_p): Change name of olddecl parameter to decl. |
| (check_template_shadow): Adjust for new name-lookup scheme. |
| (lookup_template_class): Likewise. |
| (tsubst_decl): Tweak so as not to confuse member templates with |
| copy constructors and assignment operators. |
| (unify): Handle UNION_TYPEs. |
| * ptree.c (print_lang_identifier): Adjust for new name-lookup scheme. |
| (lang_print_xnode): Adjust for new name-lookup scheme. |
| * typeck.c (mark_addressable): Likewise. |
| (c_expand_return): Likewise. |
| |
| 1998-12-08 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokdeclarator): Allow field with same name as class |
| in extern "C". |
| |
| * decl.c (lookup_name_real): Don't limit field lookup to types. |
| * class.c (check_member_decl_is_same_in_complete_scope): No error |
| if icv and x are the same. |
| * lex.c (do_identifier): Tweak error message. |
| |
| 1998-12-10 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (start_enum): Use push_obstacks, not |
| end_temporary_allocation. |
| (finish_enum): Call pop_obstacks. |
| |
| 1998-12-10 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (instantiate_type): Return error_mark_node rather than |
| junk. |
| |
| 1998-12-09 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (most_specialized_instantiation): New function. |
| (print_candidates): Likewise. |
| * class.c (validate_lhs): Remove. |
| (resolve_address_of_overloaded_function): New function, split out |
| and then substantially reworked, from ... |
| (instantiate_type): Use it. Simplify. |
| * cvt.c (convert_to_reference): Complain when caller has indicated |
| that's the right thing to do. Don't crash if instantiate_type |
| fails. |
| * pt.c: Substitute `parameters' for `paramters' throughout. |
| (print_candidates): Don't make it static. |
| (most_specialized_instantiation): Split out from ... |
| (most_specialized): Here. |
| |
| Wed Dec 9 15:33:01 1998 Dave Brolley <brolley@cygnus.com> |
| |
| * lex.c (lang_init_options): Initialize cpplib. |
| * decl2.c (parse_options,cpp_initialized): Removed. |
| (lang_decode_option): Move initialization of cpplib to |
| lang_init_options. |
| |
| 1998-12-09 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (grokdeclarator): Update the name of the TEMPLATE_DECL, as |
| well as the TYPE_DECL, when a typedef name is assigned to a |
| previously anonymous type. |
| |
| 1998-12-08 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * cp/except.c (call_eh_info): Use __start_cp_handler instead of |
| __cp_eh_info for getting the eh info pointer. Add table_index to |
| field list. |
| (push_eh_cleanup): Don't increment 'handlers' data field. |
| (process_start_catch_block): Don't set the 'caught' field. |
| |
| * cp/exception.cc (CP_EH_INFO): New macro for getting the |
| exception info pointer within library routines. |
| (__cp_eh_info): Use CP_EH_INFO. |
| (__start_cp_handler): Get exception info pointer, set caught field, |
| and increment the handlers field. Avoids this being done by handlers. |
| (__uncatch_exception, __check_eh_spec): Use CP_EH_INFO macro. |
| (uncaught_exception): Use CP_EH_INFO macro. |
| |
| Tue Dec 8 10:48:21 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * Make-lang.in (cxxmain.o): Depend on $(DEMANGLE_H), not demangle.h |
| |
| Mon Dec 7 17:56:06 1998 Mike Stump <mrs@wrs.com> |
| |
| * lex.c (check_newline): Add support for \ as `natural' |
| characters in file names in #line to be consistent with #include |
| handling. We support escape processing in the # 1 "..." version of |
| the command. See also support in cp/lex.c. |
| |
| 1998-12-07 Zack Weinberg <zack@rabi.phys.columbia.edu> |
| |
| * cp/decl2.c: s/data/opts/ when initializing cpp_reader |
| structure. |
| |
| 1998-12-07 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (build_typename_type): Set DECL_ARTIFICIAL. |
| |
| * error.c (dump_simple_decl): Also print namespace context. |
| (dump_function_decl): Likewise. |
| |
| * decl2.c (ambiguous_decl): Don't print old value if it's |
| error_mark_node. |
| |
| * decl.c (lookup_name_real): Fix handling of local types shadowed |
| by a non-type decl. Remove obsolete code. |
| * cp-tree.h (DECL_FUNCTION_SCOPE_P): New macro. |
| |
| * lang-options.h: Add -fpermissive. |
| * decl2.c: Likewise. |
| * cp-tree.h: Add flag_permissive. |
| * decl.c (init_decl_processing): If neither -fpermissive or -pedantic |
| were specified, set flag_pedantic_errors. |
| * call.c (build_over_call): Turn dropped qualifier messages |
| back into pedwarns. |
| * cvt.c (convert_to_reference): Likewise. |
| * typeck.c (convert_for_assignment): Likewise. |
| |
| 1998-12-05 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (coerce_new_type): Use same_type_p. |
| (coerce_delete_type): Likewise. |
| |
| * call.c (check_dtor_name): Return 1, not error_mark_node. |
| |
| 1998-12-04 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * lex.c (handle_cp_pragma): Disable #pragma interface/implementation |
| if MULTIPLE_SYMBOL_SPACES. |
| |
| * pt.c (check_template_shadow): New fn. |
| * decl2.c (grokfield): Use it. |
| * decl.c (pushdecl): Likewise. |
| (pushdecl_class_level): Likewise. |
| (start_method): Likewise. |
| (xref_tag): Don't try to use 't' if we're defining. |
| |
| * call.c (check_dtor_name): Just return an error_mark_node. |
| * pt.c (lookup_template_class): Complain about using non-template here. |
| * parse.y (apparent_template_type): Not here. |
| |
| * pt.c (check_explicit_specialization): Complain about specialization |
| with C linkage. |
| |
| * lang-options.h: Add -f{no-,}implicit-inline-templates. |
| |
| * pt.c (convert_nontype_argument): Don't assume that any integer |
| argument is intended to be a constant-expression. |
| |
| 1998-12-03 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (handle_using_decl): Fix comment. Don't lookup |
| constructors in base classes. |
| (validate_lhs): Fix typo in comment. |
| * search.c (lookup_field_1): Don't return a USING_DECL. |
| |
| * cp-tree.h (DECL_ACCESS): Improve documentation. |
| |
| * decl.c (expand_static_init): Don't set the initialization-done |
| flag until the initialization is done. |
| |
| 1998-12-02 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl2.c (validate_nonmember_using_decl): Complain about using |
| declarations for class members. |
| |
| 1998-11-29 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck2.c (process_init_constructor): Use same_type_p. |
| |
| * decl.c (check_tag_decl): Don't warn about null decl inside a |
| class. |
| |
| * pt.c (unify, case OFFSET_TYPE): Pass down 'strict' rather than |
| UNIFY_ALLOW_NONE. |
| (convert_nontype_argument): Use TYPE_PTRMEMFUNC_FN_TYPE. |
| (resolve_overloaded_unification): Strip baselinks. |
| |
| Fri Nov 27 13:07:23 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * g++spec.c: Don't prototype xmalloc. |
| |
| 1998-11-25 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * except.c (expand_throw): Use TYPE_PTR_P to check for pointers. |
| |
| * decl.c (check_tag_decl): Do complain about null friend decl at |
| file scope. |
| |
| 1998-11-25 Andreas Schwab <schwab@issan.cs.uni-dortmund.de> |
| |
| * lex.c (make_lang_type): Clear the whole struct lang_type, not |
| only the first multiple of sizeof (int). |
| |
| 1998-11-24 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (start_decl): An explicit specialization of a static data |
| member is only a definition if it has an initializer. |
| |
| * except.c (expand_throw): Use cp_finish_decl for the throw temp. |
| * cvt.c (build_up_reference): Pass DIRECT_BIND down into |
| cp_finish_decl. |
| * init.c (expand_default_init): Check for DIRECT_BIND instead of |
| DECL_ARTIFICIAL. |
| |
| * call.c (build_over_call): Use build_decl. |
| |
| * except.c (expand_throw): Just use convert, not |
| build_reinterpret_cast. |
| |
| * lex.c (handle_generic_pragma): Use token_buffer. |
| |
| * decl.c (check_tag_decl): Don't complain about null friend decl. |
| |
| 1998-11-24 Dave Pitts <dpitts@cozx.com> |
| |
| * Make-lang.in (DEMANGLER_PROG): Move the output arguments to the |
| first position. |
| * lex.c (check_newline): Use ISALPHA. |
| (readescape): Use ISGRAPH. |
| (yyerror): Use ISGRAPH. |
| |
| 1998-11-24 Nathan Sidwell <nathan@acm.org> |
| |
| * search.c (get_abstract_virtuals): Do not use initial |
| CLASSTYPE_ABSTRACT_VIRTUALS. |
| * typeck2.c (abstract_virtuals_error): Show location of abstract |
| declaration. |
| * call.c (build_new_method_call): Use |
| CLASSTYPE_ABSTRACT_VIRTUAL, rather than recalculate. |
| * class.c (finish_struct_bits): Don't bother working out whether |
| get_abstract_virtuals will do anything, just do it. |
| |
| 1998-11-24 Graham <grahams@rcp.co.uk> |
| |
| * typeck.c (build_component_ref): Remove unused statement. |
| |
| 1998-11-24 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * class.c (add_method): Catch invalid overloads. |
| |
| * class.c (add_method): Build up OVERLOADs properly for conversion ops. |
| * search.c (lookup_conversions): Handle getting real OVERLOADs. |
| (add_conversions): Likewise. Revert last change. |
| * call.c (add_conv_candidate): Pass totype to add_candidate instead |
| of fn. Don't add a new candidate if the last one was for the same |
| type. |
| (print_z_candidates): Handle getting a type as a function. |
| (joust): If we got two conversion candidates to the same type, |
| just pick one. |
| (build_object_call): Lose 'templates'. |
| (build_user_type_conversion_1): Handle getting real OVERLOADs. |
| |
| 1998-11-23 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck2.c (process_init_constructor): If there are elements |
| that don't have initializers and they need to have constructors |
| run, supply them with initializers. |
| |
| * class.c (finish_struct_1): A class with a 0-width bitfield is |
| still empty. |
| |
| 1998-11-23 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (instantiate_class_template): Don't try to figure out what |
| specialization to use for a partial instantiation. Correct |
| typos in a couple of comments. Avoid calling uses_template_parms |
| multiple times. |
| |
| 1998-11-23 Benjamin Kosnik <bkoz@cygnus.com> |
| |
| * method.c (process_overload_item): Add call to |
| build_mangled_C9x_name for intTI_type_nodes. |
| (build_mangled_C9x_name): Add prototype, define. |
| * decl.c (init_decl_processing): Add names for |
| TImode_type_node. |
| |
| 1998-11-23 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * parse.y (named_class_head): Update CLASSTYPE_DECLARED_CLASS. |
| |
| * class.c (finish_struct_1): Set things up for 0-width bitfields |
| like we do for others. |
| |
| * decl.c (check_tag_decl): New fn. |
| (shadow_tag): Split out from here. |
| * decl2.c (grok_x_components): Call it. |
| |
| 1998-11-22 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c: Lose warn_about_return_type. |
| (grokdeclarator): Always complain about implicit int, except for |
| `main () { ... }'. |
| |
| * decl.c (tag_name): New fn. |
| (xref_tag): Complain about using typedef-name after class-key. |
| |
| * init.c (expand_vec_init): Also keep going if from_array. |
| |
| * tree.c (is_overloaded_fn): Also handle the output of |
| build_offset_ref. |
| |
| * decl.c (grokdeclarator): Use constructor_name when comparing |
| field name against enclosing class. |
| * class.c (finish_struct_anon): Likewise. |
| |
| 1998-11-22 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (poplevel): Remove code to handle KEEP == 2. |
| (finish_function): Don't confuse BLOCK-order when |
| processing a destructor. |
| |
| 1998-11-21 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (require_complete_types_for_parms): Call layout_decl |
| after we've completed the type. |
| |
| 1998-11-21 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl2.c (validate_nonmember_using_decl): Allow using templates |
| from the global namespace. |
| |
| 1998-11-21 Jason Merrill <jason@yorick.cygnus.com> |
| |
| Handle specifying template args to member function templates. |
| * tree.c (build_overload): Always create an OVERLOAD for a template. |
| * search.c (add_conversions): Handle finding an OVERLOAD. |
| * decl2.c (check_classfn): Likewise. |
| * lex.c (identifier_type): See through a baselink. |
| * parse.y (do_id): Don't call do_identifier if we got a baselink. |
| * class.c (instantiate_type, case TREE_LIST): Recurse. |
| |
| * decl.c (grokdeclarator): Allow a boolean constant for array |
| bounds, odd as that sounds. |
| |
| * pt.c (unify): Be more strict about non-type parms, except for |
| array bounds. |
| (UNIFY_ALLOW_INTEGER): New macro. |
| |
| 1998-11-19 Manfred Hollstein <manfred@s-direktnet.de> |
| |
| * Make-lang.in (mandir): Replace all uses of $(mandir) by $(man1dir). |
| |
| 1998-11-19 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * semantics.c (begin_class_definition): Call |
| maybe_process_partial_specialization before push_template_decl. |
| Don't call push_template_decl for a specialization. |
| * search.c (lookup_field): Do return a member template class. |
| * decl2.c (handle_class_head): Handle member template classes. |
| |
| * decl.c (grokdeclarator): A parm type need not be complete. |
| |
| * pt.c (convert_nontype_argument): Fix thinko. |
| |
| 1998-11-18 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (PTRMEM_CST_CLASS): Fix typo. |
| (global_delete_fndecl): New variable. |
| * decl.c (global_delete_fndecl): Define it. |
| (init_decl_processing): Set it. |
| * init.c (build_builtin_delete_call): Use it. |
| * tree.c (mapcar): Recursively call mapcar for the type of EXPR |
| nodes. |
| |
| 1998-11-18 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (cplus_expand_expr_stmt): Always complain about unresolved |
| type. |
| |
| * tree.c (lvalue_p_1): An INDIRECT_REF to a function is an lvalue. |
| * call.c (build_object_call): Also support references to functions. |
| * typeck.c (convert_for_initialization): Don't decay a function |
| if the target is a reference to function. |
| |
| * search.c (add_conversions): Get all the overloads from a class. |
| |
| * decl.c (grok_ctor_properties): Complain about any constructor |
| that will take a single arg of the class type by value. |
| |
| * typeck2.c (build_functional_cast): Can't create objects of |
| abstract classes this way. |
| * cvt.c (ocp_convert): Likewise. |
| |
| * decl.c (grokfndecl): Member functions of local classes are not |
| public. |
| |
| 1998-11-18 Mark Mitchell <mark@markmitchell.com> |
| |
| * Make-lang.in (cc1plus): Add dependency on hash.o. |
| |
| 1998-11-18 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * search.c (get_abstract_virtuals): Complain about virtuals with |
| no final overrider. |
| * typeck2.c (abstract_virtuals_error): Remove handling for virtuals |
| with no final overrider. |
| * class.c (override_one_vtable): Don't set DECL_ABSTRACT_VIRTUAL_P |
| on virtuals with no final overrider. |
| |
| * lex.c (reinit_parse_for_block): Add a space after the initial ':'. |
| |
| * class.c (finish_struct_1): Don't remove zero-width bit-fields until |
| after layout_type. |
| |
| * friend.c (do_friend): Don't set_mangled_name_for_decl. |
| |
| * class.c (finish_struct_anon): Complain about non-fields. |
| * decl2.c (build_anon_union_vars): Likewise. |
| |
| * decl.c (grokdeclarator): Normal data members can't have the same |
| name as the class, either. |
| * class.c (finish_struct_anon): Neither can members of an |
| anonymous union. |
| |
| 1998-11-17 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (TYPE_ALIAS_SET): Document language-dependent uses. |
| (TYPE_BINFO): Likewise. |
| (IS_AGGR_TYPE): Tweak. |
| (SET_IS_AGGR_TYPE): New macro. |
| (CLASS_TYPE_P): Tweak. |
| (lang_type): Group mark bitfields together. Remove linenum. |
| (CLASSTYPE_SOURCE_LINE): Remove macro. |
| (CLASSTYPE_MARKED_N): New macro. |
| (SET_CLASSTYPE_MARKED_N): Likewise. |
| (CLEAR_CLASSTYPE_MARKED_N): Likewise. |
| (CLASS_TYPE_MARKED_*): Use them. |
| (SET_CLASSTYPE_MARKED_*): Likewise. |
| (CLEAR_CLASSTYPE_MARKED_*): Likewise. |
| (TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO): Likewise. |
| (TYPE_TEMPLATE_INFO): Handle TEMPLATE_TEMPLATE_PARMs as well. |
| (TYPENAME_TYPE_FULLNAME): Use TYPE_BINFO rather than CLASSTYPE_SIZE. |
| * class.c (class_cache_obstack): New variable. |
| (class_cache_firstobj): Likewise. |
| (finish_struct): Don't set CLASSTYPE_SOURCE_LINE. |
| (pushclass): Free the cache, when appropriate. |
| (popclass): Tidy. |
| (maybe_push_cache_obstack): Use class_cache_obstack. |
| * decl.c (include hash.h). |
| (typename_hash): New function. |
| (typename_compare): Likewise. |
| (build_typename_type): Check the hash table to avoid creating |
| duplicates. |
| (build_ptrmemfunc_type): Use SET_IS_AGGR_TYPE. |
| (grokdeclarator): Use CLASS_TYPE_P. |
| (xref_basetypes): Likewise. |
| (start_function): Likewise. Don't put current_class_ref on the |
| permanent obstack. |
| * error.c (dump_type_real): Use TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO |
| and TYPE_TI_ARGS. |
| * lex.c (note_got_semicolon): Use CLASS_TYPE_P. |
| (make_lang_type): Don't create TYPE_LANG_SPECIFIC and associated |
| fields for types other than class types. Do clear TYPE_ALIAS_SET |
| for types other than class types, though. |
| * method.c (build_overload_identifier): Use CLASS_TYPE_P and |
| TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO. |
| * pt.c (process_template_parm): Don't set |
| CLASSTYPE_GOT_SEMICOLON. |
| (lookup_template_class): Use TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO. |
| Coerce arguments on the momentary obstack. |
| (for_each_template_parm): Use TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO. |
| (instantiate_class_template): Calculate template arguments on the |
| momentary obstack. Tidy. |
| (tsubst_template_arg_vector): Use make_temp_vec. |
| (tsubst_aggr_type): Put template arguments on the momentary |
| obstack. |
| (tsubst_decl): Likewise. |
| (tsubst): Copy the array bounds index to the permanent obstack |
| before building index types. Use new macros. |
| (unify): Use new macros. |
| (do_type_instantiation): Likewise. |
| * search.c (lookup_fnfields_1): Use new macros. |
| (dfs_pushdecls): Build envelopes on the cache obstack. |
| (dfs_compress_decls): Use new macros. |
| (push_class_decls): Build on the cache obstack. |
| * semantics.c (finish_typeof): Don't set CLASSTYPE_GOT_SEMICOLON. |
| * sign.c (build_signature_pointer_or_reference_type): Use |
| SET_IS_AGGR_TYPE. |
| * tree.c (make_binfo): Check CLASS_TYPE_P. |
| (copy_template_template_parm): Adjust. |
| (make_temp_vec): Use push_expression_obstack. |
| * typeck.c (complete_type): Use new macros. |
| (comptypes): Likewise. |
| |
| 1998-11-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (tsubst): Add diagnostics for invalid array, reference |
| and pointer to member types. |
| |
| 1998-11-16 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck2.c (my_friendly_abort): Don't fatal twice in a row. |
| |
| * typeck.c (c_expand_start_case): Use build_expr_type_conversion. |
| Simplify. |
| |
| * parse.y (structsp): Fix cut-and-paste error. |
| |
| * init.c (build_new): Complain about non-integral size. |
| |
| * parse.y (unary_expr): Complain about defining types in sizeof. |
| |
| * typeck.c (expr_sizeof): Complain about sizeof an overloaded fn. |
| |
| * rtti.c (build_x_typeid): Complain about typeid without |
| including <typeinfo>. |
| (get_typeid): Likewise. Complain about typeid of incomplete type. |
| (get_tinfo_fn_dynamic): Likewise. |
| (get_typeid_1): Not static anymore. |
| * except.c (build_eh_type_type): Use get_typeid_1. |
| |
| * rtti.c (build_dynamic_cast_1): Give errors for dynamic_cast to |
| ambiguous or private bases. Fix warning for reference cast. |
| |
| 1998-11-16 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (DECL_TEMPLATE_INSTANTIATED): New macro. |
| * decl.c (duplicate_decls): Remove special-case code to deal with |
| template friends, and just do the obvious thing. |
| * pt.c (register_specialization): Tweak for clarity, and also to |
| clear DECL_INITIAL for an instantiation before it is merged with a |
| specialization. |
| (check_explicit_specialization): Fix indentation. |
| (tsubst_friend_function): Handle both definitions in friend |
| declaration and outside friend declarations. |
| (tsubst_decl): Don't clear DECL_INITIAL for an instantiation. |
| (regenerate_decl_from_template): Tweak accordingly. |
| (instantiate_decl): Likewise. |
| |
| 1998-11-16 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (cplus_expand_expr_stmt): Promote warning about naked |
| member function reference to error. |
| * cvt.c (ocp_convert): Complain about converting an overloaded |
| function to void. |
| |
| * init.c (build_offset_ref): Just return a lone static member |
| function. |
| |
| * decl.c (cp_finish_decl): Only complain about real CONSTRUCTORs, |
| not internal ones. |
| |
| * typeck.c (build_binary_op_nodefault): Improve error handling. |
| |
| * decl.c (grokfndecl): Complain about making 'main' a template. |
| |
| * typeck.c (string_conv_p): Don't convert from wchar_t[] to char*. |
| |
| * call.c (build_method_call): Handle a BIT_NOT_EXPR around a |
| TYPE_DECL in a template. |
| |
| 1998-11-15 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck2.c (my_friendly_abort): Add URL in the other case, too. |
| |
| * decl.c (struct cp_function): Add named_label_uses. |
| (push_cp_function_context): Save it. |
| (pop_cp_function_context): Restore it. |
| (define_label): Also complain about jumping into the scope of |
| non-POD objects that don't have constructors. |
| * tree.c (pod_type_p): New fn. |
| |
| * pt.c (instantiate_class_template): Clear TYPE_BEING_DEFINED sooner. |
| * rtti.c (synthesize_tinfo_fn): Call import_export_decl here. |
| (get_tinfo_fn): Not here. |
| * repo.c (repo_get_id): Abort if we get called for an incomplete |
| type. |
| |
| 1998-11-13 Mark Mitchell <mark@markmitchell.com> |
| |
| * except.c (expand_throw): Make sure first argument to |
| __cp_push_exception is of type `void*' to avoid spurious error |
| messages. |
| |
| 1998-11-11 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (try_one_overload): Take orig_targs again. Only check for |
| mismatches against them; we don't care what a previous call found. |
| (resolve_overloaded_unification): Adjust. |
| |
| * search.c (lookup_field): Don't return anything for a non-type |
| field from a dependent type. |
| * decl.c (grokdeclarator): Resolve SCOPE_REFs of the current class |
| in an array declarator. |
| (start_decl): Push into the class before looking for the field. |
| |
| 1998-11-08 Mark Mitchell <mark@markmitchell.com> |
| |
| * method.c (build_overload_value): Handle REFERENCE_TYPE. |
| |
| 1998-11-08 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl.c (grokdeclarator): Allow namespace-scoped members if they |
| are friends. |
| |
| 1998-11-08 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (tsubst_decl): Don't mess with the global value of an |
| un-mangled DECL_ASSEMBLER_NAME. |
| |
| 1998-11-03 Christopher Faylor <cgf@cygnus.com> |
| |
| * decl.c (init_decl_processing): Remove CYGWIN conditional |
| since CYGWIN is now able to deal with trapping signals. |
| |
| Sat Nov 7 15:48:02 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * cp-tree.h: Don't include gansidecl.h. |
| * exception.cc: Include gansidecl.h (since we don't include config.h) |
| * g++spec.c: Don't include gansidecl.h. |
| |
| 1998-11-06 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (lang_decl_flags): Add defined_in_class. Decrease |
| size of dummy. |
| (DECL_DEFINED_IN_CLASS_P): New macro. |
| (TEMPLATE_PARMS_FOR_INLINE): Document. |
| (check_static_variable_definition): New function. |
| * decl.c (cp_finish_decl): Set DECL_DEFINED_IN_CLASS_P, if |
| appropriate. |
| (check_static_variable_definition): Split out from ... |
| (grokdeclarator): Here. |
| * pt.c (check_default_tmpl_args): New function, split out from ... |
| (push_template_decl_real): Here. |
| (instantiate_template): Fix comment. |
| |
| 1998-11-04 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (CP_TYPE_CONST_P): Make {0,1}-valued. |
| (CP_TYPE_VOLATILE_P): Likewise. |
| (CP_TYPE_RESTRICT_P): Likewise. |
| |
| 1998-11-03 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (tsubst): Use build_index_type, not build_index_2_type. |
| |
| 1998-11-02 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * class.c (instantiate_type): Be more helpful. |
| |
| * decl2.c (import_export_decl): Call import_export_class. |
| |
| * cp-tree.h (EMPTY_CONSTRUCTOR_P): Check !TREE_HAS_CONSTRUCTOR. |
| * decl2.c (build_expr_from_tree): Propagate TREE_HAS_CONSTRUCTOR. |
| * pt.c (tsubst_copy): Likewise. |
| |
| 1998-11-02 Mark Mitchell <mark@markmitchell.com> |
| |
| * init.c (expand_vec_init): Fix off-by-one error. |
| |
| 1998-11-02 Alexandre Oliva <oliva@dcc.unicamp.br> |
| |
| * parse.y (apparent_template_type): New type. |
| (named_complex_class_head_sans_basetype): Use it. |
| * Makefile.in (CONFLICTS): One new conflict. |
| * parse.c: Regenerated. |
| |
| 1998-11-01 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (COMPARE_STRICT): New macro. |
| (COMPARE_BASE): Likewise. |
| (COMPARE_RELAXED): Likewise. |
| (COMPARE_REDECLARATION): Likewise. |
| (same_type_p): Likewise. |
| (same_or_base_type_p): Likewise. |
| * call.c (standard_conversion): Use them, in place of comptypes |
| with numeric arguments. |
| (reference_binding): Likewise. |
| (convert_like): Likewise. |
| (build_over_call): Likewise. |
| (is_subseq): Likewise. |
| (is_properly_derived_from): Likewise. |
| (compare_ics): Likewise. |
| (joust): Likewise. |
| * class.c (delete_duplicate_fields_1): Likewise. |
| (resolves_to_fixed_type_p): Likewise. |
| (instantiate_type): Likewise. Remove #if 0'd code. |
| * decl.c (decls_match): Likewise. Use COMPARE_REDECLARATION here. |
| (pushdecl): Likewise. |
| (lookup_name_real): Likewise. |
| (grokdeclarator): Likewise. Check for illegal array declarations. |
| (grokparms): Likewise. |
| (grok_op_properties): Likewise. |
| * decl2.c (check_classfn): Likewise. |
| * friend.c (is_friend): Likewise. |
| (make_friend_class): Likewise. |
| * init.c (expand_aggr_init): Likewise. |
| (expand_vec_init): Likewise. |
| * pt.c (is_member_template_class): Remove declaration. |
| (is_specialization_of): Use COMPARE_* and new macros. |
| (comp_template_parms): Likewise. |
| (convert_nontype_argument): Likewise. |
| (coerce_template_template_parms): Likewise. |
| (template_args_equal): Likewise. |
| (lookup_template_class): Likewise. |
| (type_unification_real): Likewise. |
| (unify): Likewise. |
| (get_bindings_real): Likewise. |
| * search.c (covariant_return_p): Likewise. |
| (get_matching_virtual): Likewise. |
| * sig.c (match_method_types): Likewise. |
| * tree.c (vec_binfo_member): Likewise. |
| (cp_tree_equal): Likewise. |
| * typeck.c (common_type): Likewise. |
| (comp_array_types): Likewise. Get issues involving unknown array |
| bounds right. |
| (comptypes): Update comments. Use new flags. |
| (comp_target_types): Use new macros. |
| (compparms): Likewise. |
| (comp_target_parms): Likewise. |
| (string_conv_p): Likewise. |
| (build_component_ref): Likewise. |
| (build_indirect_ref): Likewise. |
| (build_conditional_expr): Likewise. |
| (build_static_cast): Likewise. |
| (build_reinterpret_cast): Likewise. |
| (build_const_cast): Likewise. |
| (build_modify_expr): Likewise. |
| (convert_for_assignment): Likewise. |
| (comp_ptr_ttypes_real): Likewise. |
| (ptr_reasonably_similar): Likewise. |
| (comp_ptr_ttypes_const): Likewise. |
| |
| 1998-10-31 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * rtti.c (build_dynamic_cast_1): Fix cut-and-paste error. |
| |
| 1998-10-30 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl2.c (delete_sanity): Pass integer_zero_node, not |
| integer_two_node, to build_vec_delete. |
| * init.c (build_array_eh_cleanup): Remove. |
| (expand_vec_init_try_block): New function. |
| (expand_vec_init_catch_clause): Likewise. |
| (build_vec_delete_1): Don't deal with case that auto_delete_vec |
| might be integer_two_node anymore. |
| (expand_vec_init): Rework for initialization-correctness and |
| exception-correctness. |
| * typeck2.c (process_init_constructor): Make mutual exclusivity |
| of cases more obvious. |
| |
| 1998-10-29 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (lookup_name_real): OK, only warn if not lexing. |
| Simplify suggested fix. |
| |
| * cp-tree.h (IDENTIFIER_MARKED): New macro. |
| * search.c (lookup_conversions): Use breadth_first_search. |
| (add_conversions): Avoid adding two conversions to the same type. |
| (breadth_first_search): Work with base binfos, rather |
| than binfos and base indices. |
| (get_virtual_destructor): Adjust. |
| (tree_has_any_destructor_p): Adjust. |
| (get_matching_virtual): Adjust. |
| |
| * pt.c (push_template_decl_real): Generalize check for incorrect |
| number of template parms. |
| (is_member_template_class): #if 0. |
| |
| 1998-10-29 Richard Henderson <rth@cygnus.com> |
| |
| * Makefile.in (cc1plus): Put CXX_OBJS, and thence @extra_cxx_objs@, |
| last. |
| |
| 1998-10-28 Zack Weinberg <zack@rabi.phys.columbia.edu> |
| |
| * lex.c: Call check_newline from lang_init always. After |
| calling cpp_start_read, set yy_cur and yy_lim to read from the |
| cpplib token buffer. |
| |
| 1998-10-28 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * class.c (instantiate_type): Don't consider templates for a normal |
| match. |
| |
| * class.c (finish_struct_1): Don't complain about non-copy |
| assignment ops in union members. |
| |
| * class.c (build_vtable): Don't pass at_eof to import_export_vtable. |
| (prepare_fresh_vtable): Likewise. |
| (finish_struct_1): Don't call import_export_class. |
| * decl2.c (finish_vtable_vardecl): Do import/export stuff. |
| (finish_prevtable_vardecl): Lose. |
| (finish_file): Don't call it. |
| * pt.c (instantiate_class_template): Likewise. |
| * cp-tree.h: Remove it. |
| |
| * init.c (build_delete): Reset TYPE_HAS_DESTRUCTOR here. |
| * decl.c (finish_function): Not here. |
| (start_function): Do set DECL_INITIAL. |
| |
| * pt.c (push_template_decl_real): Complain about default template |
| args for enclosing classes. |
| |
| * call.c (add_function_candidate): Treat conversion functions |
| as coming from the argument's class. |
| * cp-tree.h (DECL_CONV_FN_P): New fn. |
| (DECL_DESTRUCTOR_P): Also check DECL_LANGUAGE. |
| * class.c (add_method): Use DECL_CONV_FN_P. |
| * decl2.c (check_classfn): Likewise. |
| * error.c (dump_function_name): Likewise. |
| (dump_function_decl): Likewise. |
| * pt.c (fn_type_unification): Likewise. |
| * search.c (add_conversions): Likewise. |
| |
| 1998-10-27 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * lex.c (do_identifier): Also generate LOOKUP_EXPR for RESULT_DECL. |
| * method.c (hack_identifier): Also check for using RESULT_DECL |
| from outer context. |
| |
| 1998-10-27 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (grokdeclarator): Use type_quals, rather than constp, |
| consistently. |
| |
| 1998-10-27 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * call.c (standard_conversion): instantiate_type here. |
| (reference_binding): And here. |
| (implicit_conversion): Not here. |
| (build_op_delete_call): No need to cons up an OVERLOAD. |
| * cvt.c (cp_convert_to_pointer): instantiate_type here. |
| (convert_to_reference): And here. |
| * decl.c (grok_reference_init): Not here. |
| (grokparms): Or here. |
| * typeck2.c (digest_init): Or here. |
| * typeck.c (decay_conversion): Take the address of overloaded |
| functions, too. |
| (require_instantiated_type): Lose. |
| (convert_arguments): Don't handle unknown types here. |
| (build_c_cast): Likewise. |
| (build_binary_op): Gut. |
| (build_conditional_expr): Don't require_instantiated_type. |
| (build_modify_expr): Likewise. |
| (build_static_cast): Don't instantiate_type. |
| (build_reinterpret_cast): Likewise. |
| (build_const_cast): Likewise. |
| (convert_for_initialization): Likewise. |
| (build_ptrmemfunc): Use type_unknown_p. |
| (convert_for_assignment): Also do default_conversion on overloaded |
| functions. Hand them off to ocp_convert. |
| |
| 1998-10-26 Mark Mitchell <mark@markmitchell.com> |
| |
| * error.c (dump_decl): Deal with TEMPLATE_DECLs that are |
| VAR_DECLs. Handle vtables whose DECL_CONTEXT is not a type. |
| |
| * class.c (finish_struct_1): Use build_cplus_array_type to build |
| array types. |
| * decl.c (init_decl_processing): Likewise. |
| * except.c (expand_end_eh_spec): Likewise. |
| * search.c (expand_upcast_fixups): Simplify very slightly. |
| |
| 1998-10-26 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokdeclarator): Complain about a variable using |
| constructor syntax coming back null from start_decl. |
| |
| * friend.c (make_friend_class): Complain about trying to make |
| a non-class type a friend. |
| |
| * decl.c (grokfndecl): Set DECL_INITIAL for a defn here. |
| (start_function): Not here. |
| |
| 1998-10-26 Brendan Kehoe <brendan@cygnus.com> |
| |
| * decl.c (grokdeclarator): Disallow `explicit' in a friend declaration. |
| |
| 1998-10-26 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck2.c (process_init_constructor): Only skip anonymous fields |
| if they are bitfields. |
| |
| * cp-tree.def (TYPEOF_TYPE): New code. |
| * error.c (dump_type_real): Handle it. |
| * pt.c (tsubst): Likewise. |
| * tree.c (search_tree): Likewise. |
| * semantics.c (finish_typeof): New fn. |
| * parse.y (typespec): Use it. |
| * cp-tree.h: Declare it. |
| |
| 1998-10-26 Manfred Hollstein <manfred@s-direktnet.de> |
| |
| * cp-tree.h (FORMAT_VBASE_NAME): Make definition unconditional. |
| |
| 1998-10-26 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck.c (convert_arguments): Don't handle pmf references |
| specially. |
| |
| * init.c (build_member_call): Don't try to convert to the base type |
| if it's ambiguous or pedantic. |
| |
| * typeck2.c (check_for_new_type): Only depend on pedantic for |
| C-style casts. |
| |
| 1998-10-25 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (grokdeclarator): Set DECL_NONCONVERTING_P for all |
| non-converting constructors. |
| |
| 1998-10-24 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * gxxint.texi: Correct documentation for n, N, Q, and B. |
| |
| 1998-10-23 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * parse.y (condition): Convert VAR_DECL from reference to indirect |
| reference. |
| |
| 1998-10-23 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * exception.cc (__cp_pop_exception): Free the original exception |
| value, not the potentially coerced one. |
| |
| 1998-10-23 Mark Mitchell <mark@markmitchell.com> |
| |
| * Makefile.in (hash.h): Run gperf when necessary. |
| |
| * cp-tree.h (CP_TYPE_READONLY): Remove. |
| (CP_TYPE_VOLATILE): Likewise. |
| (CP_TYPE_QUALS): New macro. |
| (CP_TYPE_CONST_P): Likewise. |
| (CP_TYPE_VOLATILE_P): Likewise. |
| (CP_TYPE_RESTRICT_P): Likewise. |
| (CP_TYPE_CONST_NON_VOLATILE_P): Likewise. |
| (cp_build_type_variant): Rename to ... |
| (cp_build_qualified_type): New function. |
| (c_apply_type_quals_to_decl): Declare. |
| (SIGNATURE_POINTER_NAME_FORMAT): Modify to allow `restrict'. |
| (SIGNATURE_REFERENCE_NAME_FORMAT): Likewise. |
| (cp_type_qual_from_rid): New function. |
| (compparms): Remove unused parameter. All callers changed. |
| (cp_type_quals): New function. |
| (at_least_as_qualified_p): Likewise. |
| (more_qualified_p): Likewise. |
| |
| * call.c (standard_conversion): Replace calls to |
| cp_build_type_variant with cp_build_qualified_type. Use |
| CP_TYPE_QUALS to get qualifiers and at_least_as_qualified_p to |
| compare them. Use CP_TYPE_* macros to check qualifiers. |
| (reference_binding): Likewise. |
| (implicit_conversion): Likewise. |
| (add_builtin_candidates): Likewise. |
| (build_over_call): Likewise. |
| * class.c (overrides): Compare all qualifiers, not just `const', |
| on method declarations. |
| * cvt.c (convert_to_reference): More CP_TYPE_QUALS conversion, etc. |
| (convert_pointer_to_real): Likewise. |
| (type_promotes_to): Likewise. |
| * decl.c (check_for_uninitialized_const_var): New function. |
| (init_decl_processing): More CP_TYPE_QUALS conversion, etc. |
| (cp_finish_decl): Use check_for_uninitialized_const_var. |
| (grokdeclarator): More CP_TYPE_QUALS conversion, etc. Update to |
| handle `restrict'. |
| (grok_ctor_properties): Likewise. |
| (grok_op_properties): Likewise. |
| (start_function): Likewise. |
| (rever_static_member_fn): Likewise. |
| * decl2.c (grok_method_quals): Likewise. |
| (grokfield): Likewise. |
| * error.c (dump_readonly_or_volatile): Rename to ... |
| (dump_qualifiers): New function. Handle `restrict'. |
| (dump_type_real): Use it. |
| (dump_aggr_type): Likewise. |
| (dump_type_prefix): Likewise. |
| (dump_type_suffix): Likewise. |
| (dump_function_decl): Likewise. |
| (cv_as_string): Likewise. |
| * gxx.gperf: Add __restrict and __restrict__. |
| * gxxint.texi: Document `u' as used for `__restrict', and a few |
| other previously undocumented codes. |
| * hash.h: Regenerated. |
| * init.c (expand_aggr_init): More CP_TYPE_QUALS conversion, etc. |
| (build_member_call): Likewise. |
| (build_new_1): Likewise. |
| * lex.c (init_parse): Add entry for RID_RESTRICT. |
| (cons_up_default_function): More CP_TYPE_QUALS conversion, etc. |
| (cp_type_qual_from_rid): Define. |
| * lex.h (enum rid): Add RID_RESTRICT. |
| * method.c (process_modifiers): Deal with `restrict'. |
| * parse.y (primary): More CP_TYPE_QUALS conversion, etc. |
| * parse.c: Regenerated. |
| * pt.c (convert_nontype_argument): More CP_TYPE_QUALS conversion, etc. |
| (tsubst_aggr_type): Likewise. |
| (tsubst): Likewise. |
| (check_cv_quals_for_unify): Likewise. |
| (unify): Likewise. |
| * rtti.c (init_rtti_processing): Likewise. |
| (build_headof): Likewise. |
| (get_tinfo_var): Likewise. |
| (buidl_dynamic_cast_1): Likewise. Fix `volatile' handling. |
| (expand_class_desc): Likewise. |
| (expand_attr_desc): Likewise. |
| (synthesize_tinfo_fn): Likewise. |
| * search.c (covariant_return_p): Likewise. Fix `volatile' handling. |
| (get_matching_virtual): Likewise. |
| (expand_upcast_fixups): Likewise. |
| * sig.c (build_signature_pointer_or_reference_name): Take |
| type_quals, not constp and volatilep. |
| (build_signature_pointer_or_reference_type): Likewise. |
| (match_method_types): More CP_TYPE_QUALS conversion, etc. |
| (build_signature_pointer_constructor): Likewise. |
| (build_signature_method_call): Likewise. |
| * tree.c (build_cplus_array_type): Likewise. |
| (cp_build_type_variant): Rename to ... |
| (cp_build_qualified_type): New function. Deal with `__restrict'. |
| (canonical_type_variant): More CP_TYPE_QUALS conversion, etc. |
| (build_exception_variant): Likewise. |
| (mapcar): Likewise. |
| * typeck.c (qualif_type): Likewise. |
| (common_type): Likewise. |
| (comptypes): Likewise. |
| (comp_cv_target_types): Likewise. |
| (at_least_as_qualified_p): Define. |
| (more_qualified_p): Likewise. |
| (comp_cv_qualification): More CP_TYPE_QUALS conversion, etc. |
| (compparms): Likewise. |
| (inline_conversion): Likewise. |
| (string_conv_p): Likewise. |
| (build_component_ref): Likewise. |
| (build_indirect_ref): Likewise. |
| (build_array_ref): Likewise. |
| (build_unary_op): Likewise. |
| (build_conditional_expr): Likewise. |
| (build_static_cast): Likewise. |
| (build_c_cast): Likewise. |
| (build_modify_expr): Likewise. |
| (convert_For_assignment): Likewise. |
| (comp_ptr_ttypes_real): Likewise. |
| (cp_type_quals): New function. |
| |
| 1998-10-23 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * cp-tree.h (CP_TYPE_READONLY): New macro to handle arrays. |
| (CP_TYPE_VOLATILE): Likewise. |
| * decl.c (grokdeclarator): Use them. |
| * tree.c (canonical_type_variant): Likewise. |
| |
| 1998-10-22 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * parse.y (named_class_head): Push into class while parsing the |
| base class list. |
| * decl2.c (push_scope, pop_scope): New functions. |
| * cp-tree.h: Declare them. |
| * init.c (build_new_1): Delay cleanup until end of full expression. |
| |
| 1998-10-21 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck.c (build_component_ref): Use of a type here is an error. |
| |
| 1998-10-19 Jason Merrill <jason@yorick.cygnus.com> |
| |
| Revamp references to member functions. |
| * method.c (hack_identifier): Call build_component_ref for a |
| reference to a member function. |
| * typeck.c (build_component_ref): Only return a single function |
| if it's static. Otherwise, return a COMPONENT_REF. |
| (build_x_function_call): Handle a COMPONENT_REF. |
| (build_unary_op): Handle all unknown-type things. |
| * decl2.c (arg_assoc): Handle COMPONENT_REF. |
| * class.c (instantiate_type): Complain if the function we get is a |
| nonstatic member function. Remove code for finding "compatible" |
| functions. |
| * pt.c (tsubst_copy): Handle NOP_EXPR. |
| * tree.c (build_dummy_object): New fn. |
| (maybe_dummy_object): New fn. |
| (is_dummy_object): New fn. |
| * cp-tree.h: Declare them. |
| * cvt.c (cp_convert_to_pointer): Use maybe_dummy_object. |
| * error.c (dump_expr, case OFFSET_REF): Use is_dummy_object. |
| * init.c (build_member_call): Use maybe_dummy_object and |
| is_dummy_object. |
| (build_offset_ref): Use maybe_dummy_object. |
| (resolve_offset_ref): Use is_dummy_object. |
| * typeck.c (build_x_function_call): Call build_dummy_object. |
| (unary_complex_lvalue): Call is_dummy_object. |
| |
| * typeck.c (build_component_addr): Make sure field is a field. |
| |
| * call.c (build_new_op): Delete obsolete code. |
| |
| * pt.c (tsubst, TEMPLATE*PARM*): Abort if we don't have any args. |
| |
| 1998-10-18 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl2.c (validate_nonmember_using_decl): Fix using-directives of |
| std if std is ignored. |
| |
| 1998-10-18 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokvardecl): Fix thinko. |
| |
| * decl.c (grokdeclarator): Embedded attrs bind to the right, |
| not the left. |
| |
| * parse.y (fn.def2): Fix 'attrs' format. |
| |
| 1998-10-18 Alastair J. Houghton <ajh8@doc.ic.ac.uk> |
| |
| * Makefile.in (CONFLICTS): Update. |
| * parse.y (expr_or_declarator_intern): New rule. |
| (expr_or_declarator, direct_notype_declarator, primary, |
| functional_cast): Use it. |
| (notype_declarator_intern): New rule. |
| (notype_declarator, complex_notype_declarator): Use it. |
| |
| 1998-10-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokfndecl): Set DECL_CONTEXT to namespace if appropriate. |
| (grokvardecl): Likewise. |
| |
| Sat Oct 17 23:27:20 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * class.c (make_method_vec): Cast 1st argument of `bzero' to (PTR). |
| (add_method): Likewise for arguments 1 & 2 of `bcopy'. |
| |
| * decl.c (signal_catch): Mark with ATTRIBUTE_NORETURN. |
| |
| * pt.c (process_partial_specialization): Cast 1st argument of |
| `bzero' to (PTR). |
| |
| * tree.c (build_base_fields): Cast `base_align' to (int) when |
| comparing against one. |
| |
| 1998-10-16 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (lookup_name_real): Handle template parameters for member |
| templates where said parameters have the same name as the |
| surrounding class. |
| |
| * decl.c (expand_static_init): Build cleanups before entering the |
| anonymous function used to do them to avoid access-checking |
| confusion. |
| |
| * decl.c (grokfndecl): Add back call to cplus_decl_attributes |
| accidentally removed by previous change, and make DECL_RTL here. |
| * class.c (add_method): Don't make DECL_RTL here. |
| |
| * pt.c (for_each_template_parm): Don't examine uninstantiated |
| default arguments. |
| |
| 1998-10-16 Dave Brolley <brolley@cygnus.com> |
| |
| * lex.c (real_yylex): Fix unaligned access of wchar_t. |
| |
| 1998-10-16 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (add_method): Fix documentation to reflect previous |
| changes. Check for duplicate method declarations here. |
| * decl.c (decls_match): Handle FUNCTION_DECL vs TEMPLATE_DECL |
| correctly; such things never match. |
| (grokfndecl): Don't look for duplicate methods here. |
| * decl2.c (check_classfn): Don't assume names are mangled. |
| Don't add bogus member function declarations to a class before the |
| class type is complete. |
| (grokfield): Reformat error message. |
| * method.c (set_mangled_name_for_decl): Don't mangle names while |
| processing_template_decl. |
| |
| 1998-10-16 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck.c (build_indirect_ref): Complain about a pointer to data |
| member, too. |
| * typeck2.c (build_m_component_ref): Don't indirect a pointer to |
| data member. |
| * init.c (resolve_offset_ref): Don't undo the above. |
| |
| * cp-tree.h (DECL_C_BIT_FIELD, SET_DECL_C_BIT_FIELD): New macros. |
| (struct lang_decl_flags): Add `bitfield'. |
| * class.c (finish_struct_1): Use DECL_C_BIT_FIELD instead of |
| DECL_BIT_FIELD. |
| * decl2.c (grokbitfield, grok_alignof): Likewise. |
| * init.c (build_offset_ref): Likewise. |
| * typeck.c (build_component_addr, expr_sizeof): Likewise. |
| * cvt.c (build_up_reference): Don't crash if taking the address |
| returns error_mark_node. |
| |
| * decl.c (grokfndecl): Also check ctype when checking for ::main(). |
| |
| 1998-10-15 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokfndecl): ::main and __builtin_* get C linkage. |
| Do mangling here. |
| (grokdeclarator): Instead of here. |
| * friend.c (do_friend): Lose special handling of ::main and |
| __builtin_*. |
| * cp-tree.h (DECL_MAIN_P): Check for C linkage. |
| |
| * spew.c (yylex): Clear looking_for_typename if we got |
| 'enum { ... };'. |
| |
| 1998-10-15 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (maybe_warn_about_overly_private_class): Improve error |
| messages for class with only private constructors. |
| |
| * cp-tree.def (TYPENAME_TYPE): Add to documentation. |
| * cp-tree.h (TYPENAME_TYPE_FULLNAME): Document. |
| (build_typename_type): New function. |
| * decl.c (build_typename_type): Broken out from ... |
| (make_typename_type): Use it. |
| * search.c (lookup_field): Likewise. |
| |
| 1998-10-14 Benjamin Kosnik <bkoz@rhino.cygnus.com> |
| |
| * pt.c (convert_nontype_argument): Check against type_referred_to. |
| * decl.c (grokvardecl): Check for declarator name before building |
| DECL_ASSEMBLER_NAME. |
| |
| 1998-10-14 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (lookup_template_class): Add comment. |
| (instantiate_class_template): Don't mark the _TYPE node for |
| member class templates as an instantiation. |
| |
| 1998-10-14 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokfndecl): Fix my thinko. |
| |
| 1998-10-13 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * tinfo2.cc (fast_compare): Remove. |
| (before): Just use strcmp. |
| * tinfo.cc (operator==): Just use strcmp. |
| |
| 1998-10-13 Klaus-Georg Adams <Klaus-Georg.Adams@chemie.uni-karlsruhe.de> |
| |
| * decl.c (grokfndecl): Don't check for linkage in `extern "C"' |
| declarations. |
| |
| 1998-10-13 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (specializations_of_same_template_p): Remove. |
| * search.c (get_template_base): Don't use it. |
| (get_template_base_recursive): Likewise. |
| * pt.c (specializations_of_same_template_p): Remove. |
| (unify): Don't use it. |
| (lookup_template_class): Find the correct parent when setting |
| CLASSTYPE_TI_TEMPLATE. |
| |
| 1998-10-12 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * tinfo.cc (operator==): Always compare names. |
| |
| 1998-10-12 Herman ten Brugge <Haj.Ten.Brugge@net.HCC.nl> |
| |
| * decl.c (start_function): Fix cut-and-paste error. |
| |
| 1998-10-12 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * inc/typeinfo: Add #pragma interface. |
| (operator!=): Just call operator==. |
| * tinfo.cc: Add #pragma implementation. |
| (operator==): Move from inc/typeinfo and tinfo2.cc. |
| Check __COMMON_UNRELIABLE instead of _WIN32. |
| |
| * typeck2.c (my_friendly_abort): Add URL. |
| |
| 1998-10-12 Alastair J. Houghton <ajh8@doc.ic.ac.uk> |
| |
| * decl.c (start_method): Added extra parameter for attributes. |
| * cp-tree.h (start_method): Update prototype. |
| * parse.y (fn.def2): Update start_method parameter list. |
| |
| 1998-10-11 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (specializations_of_same_template_p): Declare. |
| * pt.c (specializations_of_same_template_p): New function. |
| (unify): Use it. |
| * search.c (get_template_base): Use it. |
| (get_template_base_recursive): Likewise. |
| |
| 1998-10-10 Manfred Hollstein <manfred@s-direktnet.de> |
| |
| * decl2.c (start_objects): Add new variable `joiner' and |
| initialize it properly. |
| |
| 1998-10-09 Mark Mitchell <mark@markmitchell.com> |
| |
| * search.c (expand_upcast_fixups): Tweak to match 1998-10-07 |
| change to vtable types. |
| |
| * cvt.c (ocp_convert): Avoid infinite recursion caused by |
| 1998-10-03 change. |
| |
| 1998-10-08 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (resolve_overloaded_unification): New fn. |
| (try_one_overload): Likewise. |
| (unify): Don't fail on unknown type. |
| (type_unification_real): Likewise. Use resolve_overloaded_unification |
| to handle an overloaded argument. |
| (template_args_equal): Split out... |
| (comp_template_args): From here. |
| (determine_specialization): Also allow a template with more |
| parms than were explicitly specified. |
| * cp-tree.h: Add template_args_equal. |
| * call.c (resolve_args): Remove TEMPLATE_ID_EXPR code. |
| |
| Thu Oct 8 15:58:30 1998 Anthony Green <green@cygnus.com> |
| |
| * semantics.c (finish_asm_stmt): Revert my 1998-09-28 |
| change. |
| |
| Thu Oct 8 06:00:19 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * typeck.c (unsigned_type): Only return TItype nodes when |
| HOST_BITS_PER_WIDE_INT is >= 64 bits. |
| (signed_type): Likewise. |
| * decl.c (intTI_type_node, unsigned_intTI_type_node): Only declare |
| when HOST_BITS_PER_WIDE_INT is >= 64 bits. |
| (init_decl_processing): Only create TItype nodes when |
| HOST_BITS_PER_WIDE_INT is >= 64 bits. |
| * cp-tree.h (intTI_type_node, unsigned_intTI_type_node): Only declare |
| when HOST_BITS_PER_WIDE_INT is >= 64 bits. |
| |
| Wed Oct 7 12:32:44 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * Makefile.in (hash.h): Add -L KR-C -F ', 0, 0' flags to gperf. |
| (gxx.gperf): Update comments describing invocation flags. |
| (hash.h): Regenerate using gperf 2.7.1 (19981006 egcs). |
| |
| 1998-10-07 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (finish_struct_1): Add commentary on previous change. |
| |
| * cp-tree.h (vtbl_ptr_type_node): New variable. |
| * class.c (build_vtbl_ref): Don't indirect through the vptr; it's |
| already of the right type. |
| (finish_struct_1): Make the vptr be of type vtbl_ptr_type_node. |
| Simplify code to grow vtable. |
| * decl.c (vtbl_ptr_type_node): Define. |
| (init_decl_processing): Initialize it. |
| |
| 1998-10-06 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.def (PTRMEM_CST): New tree node. |
| * cp-tree.h (ptrmem_cst): New type. |
| (lang_type): Remove local_typedecls. |
| (dummy): Increase to 12 bits from 11. |
| (CLASSTYPE_LOCAL_TYPEDECLS): Remove. |
| (PTRMEM_CST_CLASS): New macro. |
| (PTRMEM_CST_MEMBER): Likewise. |
| (current_access_specifier): New variable. |
| (current_class_type): Remove duplicate declaration. |
| (finish_struct): Change prototype. |
| (unreverse_member_declarations): New function. |
| (pushdecl_class_level): Change prototype. |
| (grok_enum_decls): Remove. |
| (fixup_anonymous_union): New function. |
| (grok_x_components): Change prototype. |
| (tsubst_chain): Remove. |
| (finish_member_template_decl): Likewise. |
| (check_explicit_specialization): Fix indentation. |
| (finish_class_definition): Change prototype. |
| (finish_member_class_template): Likewise. |
| (finish_member_declaration): New function. |
| (check_multiple_declarators): Likewise. |
| * class.c (class_stack_node_t): New type. |
| (current_class_base): Remove. |
| (current_class_stack): Change type. |
| (current_access_specifier): New variable. |
| (grow_method): Remove. |
| (check_member_decl_is_same_in_complete_scope): Break out from |
| finish_struct. |
| (make_method_vec): New function. |
| (free_method_vec): Likewise. |
| (add_implicitly_declared_members): Break out from finish_struct_1. |
| (free_method_vecs): New variable. |
| (add_method): Rework for direct use from parser. |
| (handle_using_decl): Watch for NULL_TREE while iterating through |
| CLASSTYPE_METHOD_VEC. |
| (finish_struct_methods): Don't build CLASSTYPE_METHOD_VEC here; |
| just do some error-checking. |
| (warn_hidden): Change iteration through CLASSTYPE_METHOD_VEC. |
| (finish_struct_1): Simplify. Use add_implicitly_declared_members. |
| (finish_struct): Change prototype. Simplify; fields and methods |
| are already set up at this point. |
| (init_class_processing): Set up current_class_stack. |
| (pushclass): Save current_access_specifier. |
| (popclass): Restore it. |
| (currently_open_class): Simplify. |
| (build_self_reference): Remove use of CLASSTYPE_LOCAL_TYPEDECLS. |
| * decl.c (saved_scope): Add access_specifier. |
| (maybe_push_to_top_level): Save it. |
| (pop_from_top_level): Restore it. |
| (maybe_process_template_type_declaration): Use |
| finish_member_declaration. |
| (pushtag): Likewise. |
| (pushdecl_class_level): Don't return a value. |
| (fixup_anonymous_union): Break out from grok_x_components. |
| (shadow_tag): Use it. |
| (xref_tag): Complain about using an elaborated type specifier to |
| reference a template type parameter or typedef name. |
| (xref_basetypes): Don't set CLASSTYPE_LOCAL_TYPEDECLS. |
| (current_local_enum): Remove. |
| (build_enumerator): Call finish_member_declaration. |
| (grok_enum_decls): Remove. |
| * decl2.c (grok_x_components): Simplify. |
| (check_classfn): Change iteration through CLASSTYPE_METHOD_VEC. |
| (grokfield): Don't set CLASSTYPE_LOCAL_TYPEDECLS. |
| (merge_functions): Add to comment. |
| (arg_assoc_type): Prototype. |
| (arg_assoc): Pass as many arguments as there are parameters. |
| * error.c (dump_expr): Handle PTRMEM_CST. Improve handling of |
| OFFSET_REF. |
| * expr.c (cpls_expand_expr): Remove dead code. Handle |
| PTRMEM_CST. |
| * friend.c (do_friend): Lookup friends when in nested classes. |
| Change comments. |
| * init.c (build_offset_ref): Do lookup even for classes that are |
| only partially defined. |
| (decl_constant_value): Remove dead code. |
| * method.c (build_overload_value): Remove hack where by TYPE was |
| not a TYPE. Handle PTRMEM_CST. |
| (build_template_parm_names): Don't pass a PARM_DECL where a TYPE |
| should go. |
| * parse.y (components, notype_components, component_decl, |
| component_decl_1, component_declarator, component_declarator0): |
| Now all are itype rather than ttype. Rework to add members to |
| classes on the fly. |
| (typesqpecqual_reserved): Use check_multiple_declarators. |
| (structsp): Update class to finish_class_definition. |
| (do_xref_defn): Unsplit into named_class_head. |
| (access_specifier): Set current_access_specifier. |
| * pt.c (set_current_access_from_decl): New function. |
| (finish_member_template_decl): Don't take the parameters. |
| (comp_template_args): Make more robust. |
| (lookup_template_class): Don't use current_local_enum. |
| (for_each_template_parm): Handle PTRMEM_CST. |
| (instantiate_class_template): Use set_current_access_from_decl, |
| finish_member_declaration and unreverse_member_declarations. Set |
| lineno/input_filename before generating implicit member functions. |
| (type_unification_real): Don't assume back-unification happens |
| only for the last argument. |
| (regenerate_decl_from_template): Call pushclass a bit earlier. |
| (tsubst_chain): Remove. |
| (tsubst_enum): Use set_current_access_from_decl. |
| (set_mangled_name_for_template_decl): Fix indentation. |
| * search.c (lookup_fnfields_1): Change iteration through |
| CLASSTYPE_METHOD_VEC. |
| (dfs_pushdecls): Likewise. |
| (dfs_compress_decls): Likewise. |
| (add_conversions): Likewise. |
| * semantics.c (finish_class_definition): Don't take components. |
| Change call to finish_struct. |
| (finish_member_declaration): New function. |
| (finish_member_class_template): Don't take template parameters. |
| Change call to grok_x_components. Call finish_member_template_decl. |
| (check_multiple_declarators): New function. |
| * sig.c (append_signature_fields): Work from the TYPE_METHODS, not |
| a passed in fieldlist. |
| * tree.c (search_tree): Handle PTRMEM_CST. |
| (mapcar): Likewise. |
| * typeck.c (unary_complex_lvalue): Build PTRMEM_CSTs, not |
| INTEGER_CSTs, for pointer-to-data members. |
| |
| * call.c (resolve_args): Resolve template specializations, if |
| possible. |
| |
| Tue Oct 6 07:57:26 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * Makefile.in (spew.o): Depend on toplev.h. |
| |
| * call.c (compare_ics): Initialize variables `deref_from_type2', |
| `deref_to_type1' and `deref_to_type2'. |
| |
| * except.c (get_eh_type): Hide prototype and definition. |
| (process_start_catch_block_old): Remove unused static prototype. |
| |
| * pt.c (tsubst_decl): Initialize variable `argvec'. |
| |
| * spew.c: Include toplev.h. |
| |
| 1998-10-05 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (instantiate_decl): Do save and restore file position. |
| |
| 1998-10-05 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * method.c (build_decl_overload_real): Clear |
| numeric_output_need_bar after __. |
| |
| 1998-10-05 Nathan Sidwell <nathan@acm.org> |
| |
| * call.c (build_new_method_call): Issue 'incomplete type' error, |
| if class is not defined. |
| |
| 1998-10-05 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * call.c (build_object_call): Move declaration of variable |
| `fn' into the scope where it is used. Don't access variable |
| `fn' when it is uninitialized, instead use `fns'. |
| |
| 1998-10-04 Theodore Papadopoulo <Theodore.Papadopoulo@sophia.inria.fr> |
| |
| * errfn.c (cp_thing): Print buf as a string not as a printf format |
| to avoid problems with the operator%. Consequently, `%%' sequences |
| in format are copied as `%' in buf. |
| |
| 1998-10-04 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (pop_tinst_level): Call extract_interface_info. |
| (instantiate_decl): Don't save and restore file position. |
| |
| * decl.c (cp_finish_decl): Make statics in extern inlines and |
| templates common, if possible and the target doesn't support weak |
| symbols. |
| |
| * decl.c (grokdeclarator): Remove redundant calls to |
| build_type_variant and some duplicated code. |
| * sig.c (build_signature_reference_type): Only take the type parm. |
| (build_signature_pointer_type): Likewise. |
| * tree.c (build_cplus_method_type): Adjust. |
| * cp-tree.h: Update. |
| |
| 1998-10-04 Mark Mitchell <mark@markmitchell.com> |
| |
| * call.c (build_over_call): Make pedwarns about dropped qualifiers |
| into full-fledged errors. |
| * cvt.c (convert_to_reference): Likewise. |
| * typeck.c (convert_for_assignment): Likewise. |
| |
| * search.c (expand_upcast_vtables): In addition to unsetting |
| TREE_READONLY, remove top-level const type qualifier. |
| |
| 1998-10-03 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (current_class_ptr, current_class_ref): Clarify |
| documentation. |
| * cvt.c (ocp_convert): Don't expect fold to remove all trivial |
| NOP type conversions. |
| * decl.c (decls_match): Use comptypes directly; ignore |
| qualifiers on the DECL. |
| (duplicate_decls): Remove qualifier checks on DECL. |
| (grokdeclarator): Make the type built up include top-level |
| qualifiers. |
| * decl2.c (do_dtors): Fix spelling error. |
| * error.c (dump_simple_decl): Don't look at qualifiers on the decl |
| when printing type information. |
| * init.c (build_new_1): Add documentation. Deal with the fact |
| that type of allocated memory now contains qualifiers. |
| * lex.c (is_global): Improve error-recovery. |
| * sig.c (build_member_function_pointer): Don't cast away const |
| on fields of sigtable_entry_type. |
| * tree.c (lvalue_type): Don't look at top-level qualifiers on |
| expressions. |
| * typeck.c (decay_conversion): Likewise. |
| (build_component_ref): Make sure the type of the COMPONENT_REF |
| contains top-level qualifiers, as appropriate. Improve |
| error-handling. |
| (build_indirect_ref): Simplify. Don't strip top-level qualifiers. |
| (build_array_ref): Likewise. |
| (build_unary_op): Improve error-recovery. |
| (unary_complex_lvalue): Make taking the address a bound member |
| function an error, not a sorry. |
| (build_conditional_expr): Look at the type qualifiers, not the |
| qualifiers on the expression itself. |
| |
| 1998-10-03 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (merge_functions): Remove duplicates. |
| |
| * decl2.c: Add -f{no-,}implicit-inline-templates. |
| (import_export_decl): Check it. |
| |
| * decl.c (lookup_name_real): Template parms also take precedence |
| over implicit typename. Only warn if yylex. |
| |
| * typeck.c (build_conditional_expr): Only fold if ifexp is an |
| INTEGER_CST. |
| |
| * decl2.c (finish_vtable_vardecl): Check DECL_INTERFACE_KNOWN |
| instead of linkage. |
| |
| 1998-10-01 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * cp-tree.h (FORMAT_VBASE_NAME): New macro. |
| * class.c (build_vbase_pointer): Use it. |
| * rtti.c (expand_class_desc): Likewise. |
| * tree.c (build_vbase_pointer_fields): Likewise. |
| |
| Thu Oct 1 10:43:45 1998 Nick Clifton <nickc@cygnus.com> |
| |
| * decl.c (start_decl): Add invocation of |
| SET_DEFAULT_DECL_ATTRIBUTES, if defined. |
| (start_function): Add invocation of |
| SET_DEFAULT_DECL_ATTRIBUTES, if defined. |
| |
| * lex.c: Replace occurrences of HANDLE_SYSV_PRAGMA with |
| HANDLE_GENERIC_PRAGMAS. |
| |
| 1998-09-28 Anthony Green <green@cygnus.com> |
| |
| * semantics.c (finish_asm_stmt): Always permit volatile asms. |
| |
| 1998-09-28 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (grokdeclarator): Tighten checks for invalid |
| destructors. Improve error-messages and error-recovery. |
| * decl2.c (check_classfn): Don't assume that mangled destructor |
| names contain type information. |
| |
| 1998-09-25 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * search.c (get_base_distance): Remove assert. |
| |
| * decl2.c (build_anon_union_vars): Don't process a field with no |
| name. |
| (finish_anon_union): Also complain about local anon unions with no |
| members. |
| |
| 1998-09-25 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl.c (lookup_namespace_name): If the name is a namespace, |
| return it immediately. |
| |
| Fri Sep 25 11:45:38 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * cp-tree.h (define_case_label): Remove unused parameter. |
| (check_java_method): Likewise. |
| (grokclassfn): Likewise. |
| (expand_aggr_init): Likewise. |
| (build_x_delete): Likewise. |
| (maybe_end_member_template_processing): Likewise. |
| (unshare_base_binfos): Add prototype. |
| (string_conv_p): Likewise. |
| (my_friendly_abort): Mark with ATTRIBUTE_NORETURN. |
| |
| * cvt.c (build_up_reference): Remove unused parameter |
| `checkconst', all callers changed. |
| (build_type_conversion): Mark parameter `code' with |
| ATTRIBUTE_UNUSED. |
| (build_expr_type_conversion): Initialize variable `conv'. |
| |
| * decl.c (push_namespace): Initialize variable `d'. |
| (define_case_label): Remove unused parameter `decl', all callers |
| changed. |
| |
| * decl2.c (lang_decode_option): If !USE_CPPLIB, mark parameter |
| `argc' with ATTRIBUTE_UNUSED. |
| (grokclassfn): Remove unused parameter `cname', all callers |
| changed. |
| (check_java_method): Likewise for parameter `ctype'. |
| (copy_assignment_arg_p): Mark parameter `virtualp' with |
| ATTRIBUTE_UNUSED. |
| (finish_prevtable_vardecl): Likewise for parameter `prev'. |
| |
| * expr.c (extract_init): Likewise for parameters `decl' and `init'. |
| |
| * init.c (expand_aggr_init_1): Remove unused parameter |
| `alias_this', all callers changed. |
| (expand_aggr_init): Likewise. |
| (expand_default_init): Likewise. |
| (build_new_1): Initialize variable `susp'. |
| (build_x_delete): Remove unused parameter `type', all callers |
| changed. |
| |
| * lex.c (set_typedecl_interface_info): Mark parameter `prev' with |
| ATTRIBUTE_UNUSED. |
| (readescape): Use (unsigned) value in shift. |
| (real_yylex): Likewise. Likewise. Also cast `sizeof' to int when |
| comparing to a signed quantity. |
| |
| * pt.c (maybe_end_member_template_processing): Remove unused |
| parameter `decl', all callers changed. |
| (check_explicit_specialization): Add braces around empty body in |
| an else-statement. |
| (current_template_args): Initialize variable `args'. |
| (lookup_template_class): Likewise for variable `prev_local_enum'. |
| (tsubst_decl): Likewise for variable `r'. |
| (set_mangled_name_for_template_decl): Initialize variable |
| `context'. |
| |
| * spew.c (scan_tokens): Change type of parameter `n' to unsigned. |
| Likewise for variable `i'. |
| (yylex): Initialize variable `trrr'. |
| |
| * typeck.c (compparms): Mark variable `strict' with |
| ATTRIBUTE_UNUSED. |
| |
| * xref.c (simplify_type): Cast argument of ctype function to |
| `unsigned char'. |
| |
| 1998-09-24 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (language_lvalue_valid): Remove. |
| * decl.c (grokdeclarator): Don't disallow references to functions. |
| * tree.c (lvalue_p_1): New function, combining duplicated |
| code from ... |
| (lvalue_p): Use it. |
| (real_lvalue_p): Likewise. |
| * typeck.c (language_lvalue_valid): Remove. |
| (build_modify_expr): Treat FUNCTION_TYPEs as readonly, even though |
| they don't have TREE_READONLY set. |
| * typeck2.c (readonly_error): Add case for FUNCTION_DECLs. |
| |
| 1998-09-24 Benjamin Kosnik <bkoz@loony.cygnus.com> |
| |
| * spew.c (yylex): Give diagnostic. |
| * hash.h (is_reserved_word): Add export. |
| * gxx.gperf: Likewise. |
| * lex.h (rid): Add RID_EXPORT. |
| * lex.c (init_parse): Likewise. |
| |
| Tue Sep 22 21:01:19 1998 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> |
| |
| * friend.c (do_friend): Make warning a full sentence. |
| |
| 1998-09-22 Mark Mitchell <mark@markmitchell.com> |
| |
| * parse.y (component_decl_list): Improve error-recovery. |
| |
| 1998-09-22 Benjamin Kosnik <bkoz@loony.cygnus.com> |
| |
| * decl.c (make_typename_type): Move error to point where name |
| variable can be used by dump_type. |
| |
| 1998-09-22 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (grokfndecl): Improve error-recovery. |
| * decl2.c (grokfield): Likewise. |
| * pt.c (finish_member_template_decl): Likewise. |
| |
| 1998-09-20 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * method.c (hack_identifier): Finding multiple members is always |
| an error. |
| |
| 1998-09-21 Per Bothner <bothner@cygnus.com> |
| |
| * Make-lang.in (c++-filt): Link libiberty.a after cxxmain.o. |
| |
| Mon Sep 21 01:53:05 1998 Felix Lee <flee@cygnus.com> |
| |
| * lex.c (init_lex): Use getenv ("LANG"), not GET_ENVIRONMENT (). |
| |
| 1998-09-20 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (maybe_warn_about_overly_private_class): Reformat. |
| |
| 1998-09-17 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * exception.cc (__cplus_type_matcher): Realign some code. |
| |
| 1998-09-16 Mark Mitchell <mark@markmitchell.com> |
| |
| * Make-lang.in (tinfo.o): Use CXXFLAGS when compiling. |
| (tinfo2.o): Likewise. |
| (exception.o): Likewise. |
| (new.o): Likewise. |
| (opnew.o): Likewise. |
| (opnewnt.o): Likewise. |
| (opvnew.o): Likewise. |
| (opvnewnt.o): Likewise. |
| (opdel.o): Likewise. |
| (opdelnt.o): Likewise. |
| (opvdel.o): Likewise. |
| (opvdelnt.o): Likewise. |
| |
| 1998-09-16 Richard Henderson <rth@cygnus.com> |
| |
| * decl.c (init_decl_processing): Kill __builtin_fp and __builtin_sp. |
| |
| 1998-09-15 Alexandre Oliva <oliva@dcc.unicamp.br> |
| |
| * call.c (build_field_call): Handle static data members too. |
| |
| * typeck.c (comptypes): When comparing pointer types, check |
| whether referred types match even in strictest modes. |
| |
| 1998-09-15 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h: Revert previous change. |
| (finish_struct_methods): Remove declaration. |
| * class.c: Revert previous change. |
| (maybe_warn_about_overly_private_class): New function. |
| (finish_struct_methods): Declare here, and make static. Remove |
| unnecessary parameters. Tidy slightly. Use |
| maybe_warn_about_overly_private_class. |
| (finish_struct_1): Adjust. Remove check for private constructors, |
| now done elsewhere. |
| (finish_struct): Adjust. |
| |
| 1998-09-15 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * except.c (expand_start_catch_block): No need to check for new |
| exception model. |
| (process_start_catch_block_old): Deleted. |
| (process_start_catch_block): Add call to start_decl_1(). |
| (expand_end_catch_block): Add call to end_catch_handler(). |
| * exception.cc (__cplus_type_matcher): Only check the exception |
| language if there is an exception table. |
| |
| 1998-09-15 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * search.c (expand_indirect_vtbls_init): Mark temporary stack slots |
| as used to prevent conflicts with virtual function tables. |
| |
| 1998-09-14 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (lang_type): Add has_non_private_static_mem_fn. |
| (CLASSTYPE_HAS_NON_PRIVATE_STATIC_MEM_FN): New macro, to access it. |
| * class.c (maybe_class_too_private_p): New function. |
| (finish_struct_methods): Use it. |
| (finish_struct_1): Likewise. |
| (finish_struct): Set CLASSTYPE_HAS_NON_PRIVATE_STATIC_MEM_FN if |
| appropriate. |
| |
| * pt.c (check_specialization_scope): Fix spelling error. |
| (check_explicit_specialization): Remove code to handle explicit |
| specializations in class scope; they are now correctly diagnosed |
| as errors. |
| |
| 1998-09-10 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (pushdecl): Don't copy types if the |
| DECL_ABSTRACT_ORIGIN of the new decl matches the TYPE_NAME of the |
| type. |
| |
| 1998-09-09 Kriang Lerdsuwanakij <lerdsuwa@scf-fs.usc.edu> |
| |
| * class.c (get_enclosing_class): New function. |
| (is_base_of_enclosing_class): Likewise. |
| * cp-tree.h (get_enclosing_class): Declare. |
| (is_base_of_enclosing_class): Likewise. |
| * pt.c (coerce_template_parms): Use them. |
| |
| 1998-09-09 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * g++spec.c (lang_specific_driver): Check whether MATH_LIBRARY is |
| null to decide whether to use it. |
| |
| * error.c (dump_type_real): Handle NAMESPACE_DECL. |
| * parse.y (base_class.1): Avoid crash on error. |
| |
| 1998-09-08 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl.c (make_typename_type): If context is a namespace, the code |
| is in error. |
| |
| 1998-09-08 Mumit Khan <khan@xraylith.wisc.edu> |
| |
| * parse.y (nomods_initdcl0): Set up the parser stack correctly. |
| |
| 1998-09-08 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (anonymous_namespace_name): Declare. |
| * decl.c: Define it. |
| (push_namespace): Use anonymous_namespace_name, rather than local |
| static anon_name. |
| * error.c (dump_decl): If a namespace is named |
| anonymous_namespace_name, call it {anonymous}. |
| |
| * decl.c (grokparms): Distinguish between references and pointers |
| in error message. |
| |
| 1998-09-08 Richard Henderson <rth@cygnus.com> |
| Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (process_partial_specialization): Consistently allocate |
| and zero tpd.parms based on ntparms. Use tpd2.parms, not |
| tpd.parms, where appropriate. |
| |
| Sun Sep 6 00:00:51 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * Makefile.in (INCLUDES): Update after recent toplevel gcc |
| reorganizations. |
| |
| 1998-09-05 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (TI_PENDING_SPECIALIZATION_FLAG): Remove. |
| * class.c (finish_struct): Remove hackery to deal with explicit |
| specializations in class scope. |
| * decl.c (grokfndecl): Improve error-recovery. |
| * decl2.c (grokfield): Likewise. |
| * pt.c (check_specialization_scope): New function. |
| (begin_specialization): Call it. |
| (process_partial_specialization): New function, split out from |
| push_template_decl. Check partial specializations more |
| stringently. |
| (push_template_decl): Call it. |
| (check_explicit_specialization): Don't attempt to handle explicit |
| specializations in class scope. |
| (template_parm_data): Document. Add current_arg and |
| arg_uses_template_parms. |
| (mark_template_parm): Set it. |
| (tsubst_arg_types): Remove unused variable. |
| * semantics.c (begin_class_definition): Tweak. |
| |
| 1998-09-04 Mark Mitchell <mark@markmitchell.com> |
| |
| * inc/typeinfo (type_info::type_info(const char*)): Make |
| `explicit'. |
| |
| * cp-tree.h (hash_tree_cons_simple): New macro. |
| * pt.c (tsubst_arg_types): New function. Use hash_tree_cons. |
| (coerce_template_parms): Use make_temp_vec, instead of |
| make_tree_vec. Document this behavior. |
| (lookup_template_class): Likewise. |
| (tsubst, cases METHOD_TYPE, FUNCTION_TYPE): Use tsubst_arg_types. |
| Remove dead code (and add assertion to check its deadness). Fix |
| bug w.r.t. exception specifications. |
| |
| 1998-09-03 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (import_export_vtable): Always make artificials comdat. |
| (import_export_decl): Likewise. |
| * pt.c (mark_decl_instantiated): Likewise. |
| |
| 1998-09-03 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (finish_globally_qualified_member_call_expr): |
| Rename to ... |
| (finish_qualified_call_expr). |
| * semantics.c: Likewise. |
| * parse.y (primary): Use it. |
| * method.c (hack_identifier): Remove redundant code. |
| |
| * init.c (resolve_offset_ref): Call convert_from_reference to |
| handle members of reference type. Improve error recovery. |
| |
| 1998-09-03 Benjamin Kosnik <bkoz@cygnus.com> |
| |
| * cp-tree.h: Declare warn_nontemplate_friend. |
| * decl2.c (lang_decode_option): Set. |
| * lang-options.h: Add -Wnon-template-friend. |
| * friend.c (do_friend): Use to toggle non-template function warning. |
| |
| 1998-09-03 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (finish_enum): Don't resolve CONST_DECLs to their |
| corresponding INTEGER_CSTs when processing_template_decl. |
| * pt.c (tsubst_enum): Tweak accordingly. |
| |
| 1998-09-03 Benjamin Kosnik <bkoz@rhino.cygnus.com> |
| |
| * decl.c (pushdecl_class_level): Add warning here. |
| (pushdecl): Tweak. |
| |
| 1998-09-02 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * cvt.c (convert_pointer_to_real): Tidy. |
| * search.c (get_base_distance_recursive): Simplify. |
| (get_base_distance): Likewise. |
| |
| * pt.c (unify): Only special-case INTEGER_TYPE if it uses template |
| parms. |
| |
| Wed Sep 02 09:25:29 1998 Nick Clifton <nickc@cygnus.com> |
| |
| * lex.c (check_newline): Call HANDLE_PRAGMA before |
| HANDLE_SYSV_PRAGMA if both are defined. Generate warning messages |
| if unknown pragmas are encountered. |
| (handle_sysv_pragma): Interpret return code from |
| handle_pragma_token (). Return success/failure indication rather |
| than next unprocessed character. |
| (pragma_getc): New function: retrieves characters from the |
| input stream. Defined when HANDLE_PRAGMA is defined. |
| (pragma_ungetc): New function: replaces characters back into the |
| input stream. Defined when HANDLE_PRAGMA is defined. |
| |
| 1998-09-01 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (output_vtable_inherit): Use %cDIGIT in the operands. |
| * class.c (build_vtable_entry_ref): Likewise. |
| |
| 1998-09-01 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (DECL_FRIEND_PSEUDO_TEMPLATE_INSTANTIATION): New macro. |
| * decl2.c (import_export_decl): Likewise. |
| * pt.c (instantiate_decl): Use it. |
| |
| 1998-09-01 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (lookup_name_real): Also do implicit typename thing for |
| artificial TYPE_DECLs. |
| * search.c (lookup_field): Likewise. |
| (lookup_fnfields, lookup_field): Adjust for implicit typename kludge. |
| * semantics.c (begin_constructor_declarator): Use enter_scope_of. |
| (enter_scope_of): Extract type from implicit typename. |
| (begin_class_definition): Likewise. |
| * lex.c (identifier_type): Handle implicit typename when checking |
| for SELFNAME. |
| |
| * cp-tree.h: Declare flag_strict_prototype. |
| * lex.c (do_scoped_id, do_identifier): Don't implicitly_declare if |
| -fstrict-prototype. |
| * decl.c (init_decl_processing): If -f{no,-}strict-prototype wasn't |
| specified, set it to the value of pedantic. |
| |
| 1998-09-01 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl2.c (arg_assoc): Handle template-id expressions as arguments. |
| |
| 1998-08-31 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (finish_enum): Handle member enums of classes declared in |
| template functions. |
| |
| * decl2.c (grok_x_components): Strip attributes before calling |
| groktypename. |
| |
| 1998-08-31 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * cp-tree.h, decl2.c: Remove support for -fall-virtual, |
| -fenum-int-equivalence and -fno-nonnull-objects. |
| * class.c (check_for_override): Remove support for -fall-virtual. |
| (finish_struct_1): Likewise. |
| * call.c (build_new_op): Remove support for -fenum-int-equivalence. |
| * typeck.c (build_binary_op_nodefault): Likewise. |
| * cvt.c (ocp_convert): Likewise. |
| * call.c (build_vfield_ref): Remove support for -fno-nonnull-objects. |
| * class.c (build_vbase_path): Likewise. |
| |
| Sun Aug 30 22:16:31 1998 H.J. Lu (hjl@gnu.org) |
| |
| * Makefile.in (INTERFACE): New, set to 1. |
| |
| 1998-08-30 Mark Mitchell <mark@markmitchell.com> |
| |
| * error.c (dump_decl): Use CP_DECL_CONTEXT, not DECL_CONTEXT, when |
| comparing with global_namespace. |
| (dump_aggr_type): Likewise. |
| |
| * decl.c (grokfndecl): Issue error on declaration of friend |
| templates with explicit template arguments. |
| |
| * pt.c (convert_template_argument): New function, split out |
| from... |
| (coerce_template_parms): Here. |
| (tsubst): Attempt better error-recovery. |
| |
| 1998-08-28 Benjamin Kosnik <bkoz@loony.cygnus.com> |
| |
| * pt.c (decl_template_parm_p): Add checks for |
| TEMPLATE_TEMPLATE_PARM. |
| |
| 1998-08-28 Mark Mitchell <mark@markmitchell.com> |
| |
| * lex.c (do_identifier): Fix thinko in previous change. |
| |
| 1998-08-28 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * search.c (dfs_search, binfo_for_vtable, dfs_bfv_helper): New fns. |
| * decl2.c (output_vtable_inherit): Call binfo_for_vtable. |
| |
| 1998-08-28 Richard Henderson <rth@cygnus.com> |
| |
| Add support for discarding unused virtual functions. |
| * lang-options.h: Add -fvtable-gc. |
| * cp-tree.h: Add flag_vtable_gc. |
| * decl2.c (output_vtable_inherit): New fn. |
| (finish_vtable_vardecl): Call it. |
| * class.c (build_vtable_entry_ref): New fn. |
| (build_vtbl_ref): Call it. |
| |
| 1998-08-28 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (build_enumerator): Take the enumeration type as a |
| parameter. |
| * decl.c (finish_enum): Don't set the TREE_TYPE for the |
| enumeration constant values if we're processing_template_decls. |
| Don't set the type for the CONST_DECLs either; that's done in |
| build_enumerator. |
| (build_enumerator): Take the enumeration type as a |
| parameter. |
| * lex.c (do_identifier): Don't resolve enumeration constants while |
| processing template declarations, even if they happen to be |
| TEMPLATE_PARM_INDEXs. |
| |
| * parse.y (current_enum_type): New variable. |
| (primary): Don't allow statement-expression in local classes just |
| as we don't in global classes. |
| (structsp): Use current_enum_type. |
| (enum_list): Likewise. |
| * pt.c (tsubst_enum): Don't check for NOP_EXPRs introduced by |
| finish_enum; they no longer occur. |
| |
| * cp-tree.h (finish_base_specifier): New function. |
| * parse.y (base_class): Use it. |
| * semantics.c (finish_base_specifier): Define it. |
| |
| * parse.y (structsp): Warn on use of typename outside of template |
| declarations. |
| |
| 1998-08-27 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * lex.c (handle_cp_pragma): Remove #pragma vtable. |
| * lang-options.h: Remove +e options. |
| * decl2.c (lang_decode_option): Likewise. |
| (import_export_vtable): Don't check write_virtuals. |
| (finish_vtable_vardecl, finish_file): Likewise. |
| * search.c (dfs_debug_mark): Likewise. |
| * semantics.c (begin_class_definition): Likewise. |
| * class.c (build_vtable, finish_vtbls, finish_struct_1): Likewise. |
| |
| * call.c (build_over_call): Check flag_elide_constructors. |
| * decl2.c: flag_elide_constructors defaults to 1. |
| * typeck.c (convert_arguments): Remove return_loc parm. |
| (build_function_call_real): Adjust. |
| |
| * search.c: Tear out all mi_matrix and memoize code. |
| (lookup_field, lookup_fnfields): Use scratch_tree_cons. |
| * lang-options.h: Remove documentation for -fhandle-exceptions, |
| -fmemoize-lookups and -fsave-memoized. |
| * cp-tree.h: Lose mi_matrix and memoize support. |
| * decl2.c: Ignore -fmemoize-lookups and -fsave-memoized. |
| * class.c: Lose struct class_level. |
| (pushclass, popclass): Lose memoize support. |
| * init.c (build_offset_ref): Likewise. |
| |
| Never change BINFO_INHERITANCE_CHAIN. |
| * init.c (emit_base_init): Change modification of |
| BINFO_INHERITANCE_CHAIN to an assert. |
| * search.c (get_base_distance_recursive): Likewise. |
| (get_base_distance): Likewise. |
| (lookup_member): Likewise. |
| (convert_pointer_to_single_level): Likewise. |
| (lookup_field): Likewise. Lose setting TREE_VIA_* on TREE_LISTs. |
| (lookup_fnfields): Likewise. |
| * tree.c (propagate_binfo_offsets): Don't call unshare_base_binfos. |
| (unshare_base_binfos): Don't call propagate_binfo_offsets. |
| (layout_basetypes): Call propagate_binfo_offsets instead of |
| unshare_base_binfos. |
| * decl.c (xref_basetypes): Call unshare_base_binfos. |
| * pt.c (instantiate_class_template): Likewise. |
| * tree.c (reverse_path): Remove 'copy' parm; always make a |
| temporary copy. |
| * class.c (build_vbase_path): Just call it. |
| * search.c (compute_access): Likewise. Don't re-reverse. |
| |
| 1998-08-27 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (build_vbase_path): Use reverse_path. |
| (finish_base_struct): Move warnings for inaccessible bases to |
| layout_basetypes. |
| (modify_one_vtable): Remove check of TREE_USED (binfo). |
| (fixup_vtable_deltas1): Likewise. |
| * cp-tree.h (BINFO_INHERITANCE_CHAIN): Document here. |
| (xref_tag): Remove binfos parameter. |
| (make_binfo): Remove chain parameter. |
| (reverse_path): Add copy parameter. |
| * decl.c (init_decl_processing): Change calls to xref_tag. |
| (xref_tag): Remove binfos parameter. |
| (xref_basetypes): Change calls to make_binfo. |
| * decl2.c (grok_x_components): Change calls to xref_tag. |
| (handle_class_head): Likewise. |
| * friend.c (do_friend): Likewise. |
| * lex.c (make_lang_type): Change calls to make_binfo. |
| * parse.y (structsp): Change calls to xref_tag. |
| (named_complex_class_head_sans_basetype): Likewise. |
| (named_class_head): Likewise. |
| * rtti.c (init_rtti_processing): Likewise. |
| * search.c (compute_access): Change calls to reverse_path. |
| (dfs_get_vbase_types): Change calls to make_binfo. |
| (get_vbase_types): Remove dead code. |
| * tree.c (unshare_base_binfos): Change calls to make_binfo. |
| (layout_basetypes): Warn here about inaccessible bases. |
| (make_binfo): Remove chain parameter. |
| (reverse_path): Add copy parameter. |
| |
| 1998-08-27 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * class.c: #if 0 complete_type_p. |
| * init.c (build_java_class_ref, build_new_1): Remove unused locals. |
| * method.c (process_overload_item): Likewise. |
| * typeck.c (comp_target_types): Likewise. |
| |
| Stop sharing binfos for indirect virtual bases. |
| * tree.c (propagate_binfo_offsets): Unshare vbases, too. |
| (layout_basetypes): Likewise. |
| (unshare_base_binfos): Copy vbases, too. |
| * cp-tree.h (BINFO_VIA_PUBLIC, BINFO_BASEINIT_MARKED, |
| BINFO_VBASE_INIT_MARKED): Remove obsolete macros. |
| (BINFO_PUSHDECLS_MARKED, SET_BINFO_PUSHDECLS_MARKED, |
| CLEAR_BINFO_PUSHDECLS_MARKED): New macros. |
| * search.c (lookup_field, lookup_fnfields, lookup_member): Remove |
| reference to BINFO_VIA_PUBLIC. |
| (marked_pushdecls_p, unmarked_pushdecls_p): New fns. |
| (push_class_decls): Use them. |
| (dfs_pushdecls): Use SET_BINFO_PUSHDECLS_MARKED. |
| (dfs_compress_decls): Use CLEAR_BINFO_PUSHDECLS_MARKED. |
| |
| 1998-08-27 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (build_enumerator): Set DECL_CONTEXT for the |
| CONST_DECLs. |
| |
| 1998-08-26 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (finish_enum): Change prototype. |
| * decl.c (finish_enum): Use TYPE_VALUES, rather than taking a |
| VALUES parameter. Don't try to compute mins/maxs if |
| processing_template_decl. |
| * parse.y (structsp): Use new calling sequence for finish_enum. |
| * pt.c (tsubst_enum): Likewise. Take the new type as input. |
| (lookup_template_class): Remove unused variables. Tweak. |
| Register enums on instantiation list before substituting |
| enumeration constants. |
| (tsubst_decl): Remove unused variables. |
| (regenerate_decl_from_template): Likewise. |
| |
| * decl.c (duplicate_decls): Don't obliterate the |
| DECL_TEMPLATE_INFO for a template if we're not replacing it with |
| anything. |
| |
| * lex.c (do_identifier): Fix typo in comment. |
| |
| Wed Aug 26 10:54:51 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * errfn.c: Remove stdarg.h/varargs.h. |
| * tree.c: Likewise. |
| |
| 1998-08-25 Brendan Kehoe <brendan@cygnus.com> |
| |
| * pt.c (tsubst_copy): Only do typename overloading on an |
| IDENTIFIER_NODE that happens to look like a typename if it actually |
| has a type for us to use. |
| |
| 1998-08-25 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck.c (comp_cv_target_types): Split out... |
| (comp_target_types): From here. Don't allow cv-qual changes under |
| a pointer if nptrs == 0. Fix OFFSET_TYPE handling. |
| (build_ptrmemfunc): Pass 1 to nptrs. |
| * cvt.c (perform_qualification_conversions): Use comp_ptr_ttypes. |
| |
| 1998-08-25 Mark Mitchell <mark@markmitchell.com> |
| |
| * search.c (dependent_base_p): Don't compare a binfo to |
| current_class_type; use the TREE_TYPE of the binfo instead. |
| |
| * cp-tree.h (CLASS_TYPE_P): Revise definition. |
| |
| 1998-08-25 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (duplicate_decls): Don't complain about different |
| exceptions from an internal decl even if pedantic. |
| |
| * typeck.c (convert_for_assignment): Converting from pm of vbase |
| to derived is an error, not a sorry. |
| |
| * call.c (build_over_call): Use convert_pointer_to_real for 'this'. |
| * class.c (fixed_type_or_null): Rename from |
| resolves_to_fixed_type_p. Return the dynamic type of the |
| expression, if fixed, or null. |
| (resolves_to_fixed_type_p): Use it. Return 0 if the dynamic type |
| does not match the static type. |
| (build_vbase_path): Rename 'alias_this' to 'nonnull'. Use |
| resolves_to_fixed_type_p again. |
| |
| 1998-08-24 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (tsubst_decl): Move special case code for dealing with |
| tricky friend templates here from ... |
| (regenerate_decl_from_template): Here. |
| |
| 1998-08-24 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (start_decl): Remove redundant linkage check. |
| |
| 1998-08-24 Gavin Romig-Koch <gavin@cygnus.com> |
| |
| * typeck.c (c_expand_return): Handle the case that valtype |
| is wider than the functions return type. |
| |
| 1998-08-24 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (CLASS_TYPE_P): New macro. |
| * decl.c (grokdeclarator): Use it instead of IS_AGGR_TYPE. |
| * pt.c (process_template_parm): Undo previous change. |
| |
| 1998-08-24 Benjamin Kosnik <bkoz@cygnus.com> |
| |
| * cp-tree.h: Declare. |
| * pt.c (decl_template_parm_p): New function. |
| * decl.c (pushdecl): Check decls for redeclaring template parms. |
| (xref_tag): Make redeclaration an error, print decl. |
| * decl2.c (grokfield): Check field_decls for redeclaration as well. |
| |
| 1998-08-24 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * parse.y (primary): Fix up the type of string constants. |
| |
| 1998-08-24 Mark Mitchell <mark@markmitchell.com> |
| |
| * typeck.c (convert_for_initialization): Move check for odd uses |
| of NULL to avoid duplicate warnings. |
| |
| 1998-08-24 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * tree.c (lvalue_type): Fix for arrays. |
| * typeck.c (string_conv_p): New fn. |
| (convert_for_assignment): Use it. |
| (build_unary_op): Use lvalue_type. |
| * call.c (standard_conversion, convert_like): Use string_conv_p. |
| (add_function_candidate): Use lvalue_type. |
| * cvt.c (convert_to_reference): Likewise. |
| * decl2.c (lang_decode_option): Ignore -traditional. |
| * decl.c (init_decl_processing): flag_writable_strings inhibits |
| flag_const_strings. |
| |
| 1998-08-24 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * lang-options.h (lang_options): Add fconst-strings to the list |
| of valid options. |
| * decl2.c (lang_f_options, lang_decode_option): Likewise. |
| |
| 1998-08-24 Nathan Sidwell <nathan@acm.org> |
| |
| * lex.c (real_yylex): Don't warn about long long constants if |
| we're allowing long long. |
| |
| 1998-08-24 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl.c (pushdecl): Use IDENTIFIER_NAMESPACE_VALUE instead of |
| accessing bindings directly. |
| |
| * search.c (my_tree_cons): Reimplement. |
| |
| * lang-specs.h: Remove __HONOR_STD. |
| * inc/exception, inc/new, inc/new.h, inc/typeinfo: Likewise. |
| |
| 1998-08-23 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (grokdeclarator): Complain about in-class initialization |
| of aggregates and/or references. |
| * pt.c (process_template_parm): Clear IS_AGGR_TYPE for |
| TEMPLATE_TYPE_PARMs. |
| |
| * decl2.c (grok_array_decl): Add comment. |
| (mark_used): Don't instantiate an explicit instantiation. |
| * friend.c (make_friend_class): Remove bogus comment. Fix check |
| for partial specializations. |
| * pt.c (check_explicit_specialization): Don't |
| SET_DECL_EXPLICIT_INSTANTIATION here. |
| (mark_decl_instantiated): Or here. |
| (do_decl_instantiation): Do it here, instead. Add checks for |
| duplicate explicit instantiations, etc. Tidy. |
| (do_type_instantiation): Likewise. |
| (instantiate_decl): Improve comments. Complain about explicit |
| instantiations where no definition is available. |
| |
| * cp-tree.h (ansi_null_node): Remove. |
| * call.c (build_over_call): Warn about converting NULL to an |
| arithmetic type. |
| * cvt.c (build_expr_type_conversion): Likewise. Use |
| null_ptr_cst_p instead of expanding it inline. |
| * decl.c (ansi_null_node): Remove. |
| (init_decl_processing): Make null_node always have integral type. |
| * except.c (build_throw): Warn about converting NULL to an |
| arithmetic type. |
| * lex.c (init_parse): Remove handling of ansi_null_node. |
| * pt.c (type_unification_real): Don't convert NULL to void* type. |
| * typeck.c (build_binary_op_nodefault): Fix NULL warnings. |
| (convert_for_assignment): Warn about converting NULL to an |
| arithmetic type. |
| (convert_for_initialization): Likewise. |
| |
| 1998-08-20 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * tree.c (search_tree, no_linkage_helper, no_linkage_check): New fn. |
| * pt.c (coerce_template_parms): Use no_linkage_check. |
| * decl.c (grokvardecl): Likewise. |
| (grokfndecl): Likewise. Members of anonymous types have no linkage. |
| |
| * method.c (process_overload_item): Remove useless code. |
| |
| 1998-08-20 Per Bothner <bothner@cygnus.com> |
| |
| Handle new'ing of Java classes. |
| * init.c (build_class_classref): New function. |
| (build_new_1): If type is TYPE_FOR_JAVA: Call _Jv_AllocObject; |
| constructor does not return this; don't need to exception-protect. |
| |
| * pt.c (lookup_template_class): Copy TYPE_FOR_JAVA flag. |
| * decl2.c (acceptable_java_type): Handle template-derived types. |
| |
| 1998-08-20 Per Bothner <bothner@cygnus.com> |
| |
| * decl2.c (import_export_vtable): Suppress vtables for Java classes. |
| |
| 1998-08-20 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (duplicate_decls): Always merge the old and new patterns |
| for templates, regardless of whether or not the new one has |
| DECL_INITIAL. Don't throw away specializations. Merge |
| DECL_SAVED_TREE. |
| * pt.c (tsubst_decl): Use the right pattern when calculating the |
| complete args for a new template instance. |
| (do_decl_instantiation): Fix typo in comment. |
| (regenerate_decl_from_template): Deal with tricky friend template |
| case. |
| (instantiate_decl): Likewise. |
| |
| Thu Aug 20 09:09:45 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * init.c (build_builtin_delete_call): Add missing assemble_external |
| call. |
| |
| 1998-08-20 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * parse.y (notype_unqualified_id): Also accept ~A<int>. |
| |
| 1998-08-19 Mark Mitchell <mark@markmitchell.com> |
| |
| * typeck.c (build_binary_op_nodefault): Warn on use of NULL in |
| arithmetic. |
| * except.c (build_throw): Warn when NULL is thrown, even with |
| -ansi. Use ansi_null_node, rather than integer_zero_node, in the |
| thrown expression. |
| |
| * cp-tree.h (ansi_null_node): New variable. |
| * decl.c (ansi_null_node): New variable. |
| (init_decl_processing): Initialize its type. |
| * lex.c (init_parse): Initialize its value. Use ansi_null_node |
| for null_node in non-ANSI mode. |
| * typeck.c (build_binary_op_nodefault): Use ansi_null_node in |
| place of null_node to avoid spurious errors. |
| |
| 1998-08-17 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (enter_scope_of): New function. |
| * parse.y (complex_direct_notype_declarator): Use it. |
| * semantics.c (enter_scope_of): New function. |
| |
| 1998-08-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokparms): No, here. |
| |
| * decl.c (grokdeclarator): Catch parm with pointer to array of |
| unknown bound here... |
| * method.c (process_overload_item): ...not here. |
| |
| * gxxint.texi: Remove obsolete documentation of overloading code. |
| |
| * decl.c (finish_enum): Also set TYPE_SIZE_UNIT. |
| * class.c (finish_struct_bits): Likewise. |
| |
| * tree.c (lvalue_type): Fix for arrays. |
| * typeck.c (build_unary_op): Use lvalue_type. |
| * call.c (add_function_candidate): Likewise. |
| * cvt.c (convert_to_reference): Likewise. |
| |
| * decl2.c (lang_decode_option): Ignore -traditional. |
| |
| * init.c (build_offset_ref): Don't mess with error_mark_node. |
| * lex.c (do_scoped_id): Use cp_error. |
| |
| * rtti.c (get_tinfo_fn): Don't mess with the context for now. |
| |
| 1998-08-17 Benjamin Kosnik <bkoz@loony.cygnus.com> |
| |
| * decl.c (grokdeclarator): Allow anonymous types to be cv-qualified. |
| |
| Mon Aug 17 10:40:18 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * cp-tree.h (set_identifier_local_value): Provide prototype. |
| |
| * decl2.c (do_namespace_alias): Remove unused variables `binding' |
| and `old'. |
| |
| Fri Aug 14 16:42:27 1998 Nick Clifton <nickc@cygnus.com> |
| |
| * Makefile.in: Rename BBISON to BISON so that it can be properly |
| inherited from the parent makefile. |
| |
| 1998-08-13 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * lang-options.h: Add -finit-priority. |
| * decl2.c: Likewise. Check flag_init_priority instead of |
| USE_INIT_PRIORITY. |
| |
| * decl2.c (setup_initp): New fn. |
| (start_objects, finish_objects, do_ctors): Handle init_priority. |
| (do_dtors, finish_file): Likewise. |
| |
| 1998-08-13 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (tsubst_copy): Hush warning. |
| |
| * rtti.c (get_tinfo_fn): Also set DECL_IGNORED_P. |
| |
| 1998-08-12 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (print_template_context): Don't abort when instantiating a |
| synthesized method. |
| |
| * decl.c (grokdeclarator): Issue errors on namespace qualified |
| declarators in parameter lists or in class scope. |
| |
| 1998-08-09 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (check_explicit_specialization): Don't abort on bogus |
| explicit instantiations. |
| |
| 1998-08-07 Mark Mitchell <mark@markmitchell.com> |
| |
| * typeck.c (require_complete_type): Use complete_type_or_else. |
| (complete_type_or_else): Always return NULL_TREE on failure, as |
| documented. |
| |
| * pt.c (tsubst_aggr_type): Prototype. |
| (tsubst_decl): New function, split out from tsubst. Set |
| input_filename and lineno as appropriate. |
| (pop_tinst_level): Restore the file and line number saved in |
| push_tinst_level. |
| (instantiate_class_template): Set input_filename and lineno as |
| appropriate. |
| (tsubst): Move _DECL processing to tsubst_decl. Make sure the |
| context for a TYPENAME_TYPE is complete. |
| |
| * decl2.c (grokbitfield): Issue errors on bitfields declared with |
| function type. |
| (do_dtors): As in do_ctors, pretend to be a member of the same |
| class as a static data member while generating a call to its |
| destructor. |
| |
| * cvt.c (cp_convert_to_pointer): Handle NULL pointer |
| conversions, even in complex virtual base class hierarchies. |
| |
| 1998-08-06 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (ENUM_TEMPLATE_INFO): New macro. |
| (TYPE_TEMPLATE_INFO): Likewise. |
| (SET_TYPE_TEMPLATE_INFO): Likewise. |
| (ENUM_TI_TEMPLATE): Likewise. |
| (ENUM_TI_ARGS): Likewise. |
| (lookup_nested_type_by_name): Remove. |
| * decl.c (maybe_process_template_type_declaration): Handle enums. |
| (start_enum): Don't check for primary-template enum declarations |
| here. |
| (finish_enum): Clean up, document. Make sure template enum |
| constants get the correct type. |
| (build_enumerator): Copy initializers for template enumerations, |
| too. |
| (grok_enum_decls): Document. |
| * lex.c (do_identifier): Document use of LOOKUP_EXPR a bit |
| better. Build LOOKUP_EXPRs for local variables, even if they are |
| TREE_PERMANENT. |
| * pt.c (tsubst_enum): Remove field_chain parameter. |
| (template_class_depth): Include the depth of surrounding function |
| contexts. |
| (push_template_decl): Check for primary-template enum declarations |
| here. Deal with enumeration templates. |
| (lookup_template_class): Likewise. |
| (for_each_template_parm): Likewise. |
| (instantiate_class_template): Don't call tsubst_enum directly, |
| call tsubst instead, to instantiate enums. Deal with all |
| field_chain issues here, not in tsubst_enum. |
| (lookup_nested_type_by_name): Remove. |
| (tsubst_aggr_type): Revise handling of enumeration types. |
| (tsubst): Likewise. |
| (tsubst_copy): Likewise. |
| (tsubst_expr): Call tsubst, not tsubst_enum for TAG_DEFNs. |
| |
| 1998-08-04 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (pushtag): Don't mangle the name of a TYPE_DECL if it |
| uses template parameters. |
| * method.c (build_template_parm_names): Use the full set of |
| template arguments for tsubst'ing. |
| (build_overload_identifier): Pass the full set of template |
| arguments to build_template_parm_names, not just the |
| innermost_args. |
| * pt.c (TMPL_ARGS_DEPTH): Define using |
| TMPL_ARGS_HAVE_MULTIPLE_LEVELS, for clarity. |
| (NUM_TMPL_ARGS): New macro. |
| (add_outermost_template_args): Deal with the case where the outer |
| args will be completely discarded. |
| (coerce_template_parms): Use the full set of template arguments |
| for tsubst'ing. Simplify. Add some asserts. Improve |
| error messages. |
| (lookup_template_class): Pass the full set of template arguments |
| to coerce_template_parms. |
| (tsubst): Add assertion. |
| (do_type_instantiation): Don't instantiate member template |
| classes. |
| |
| * init.c (build_offset_ref): Deal with a TEMPLATE_ID_EXPR whose |
| name is a LOOKUP_EXPR, rather than an IDENTIFIER_NODE. |
| |
| 1998-08-03 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * method.c (set_mangled_name_for_decl): Change return type to void. |
| |
| * decl.c (lookup_name_real): A namespace-level decl takes priority |
| over implicit typename. Avoid doing the same lookup twice. |
| |
| * search.c (dependent_base_p): New fn. |
| (dfs_pushdecls, dfs_compress_decls): Use it. |
| |
| * typeck.c (get_member_function_from_ptrfunc): Don't try to handle |
| virtual functions if the type doesn't have any. |
| |
| 1998-08-03 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl2.c (grokfield): Don't mangle the name of a TYPE_DECL if it |
| uses template parameters. |
| |
| 1998-08-02 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.def (LOOKUP_EXPR): Document. Remove second argument. |
| * cp-tree.h (DECL_TI_TEMPLATE): Improve documentation. |
| * lex.c (do_identifier): Don't use a second argument, or a type, |
| when building LOOKUP_EXPRs. |
| (do_identifier): Likewise. |
| (do_scoped_id): Likewise. |
| * method.c (hack_identifier): Improve error message. |
| * pt.c (lookup_template_function): Don't needlessly call |
| copy_to_permanent or build_min. |
| (tsubst_copy): Remove #if 0'd code. tsubst into LOOKUP_EXPRs if |
| necessary. |
| (do_decl_instantiation): Improve error message. |
| * tree.c (mapcar, case LOOKUP_EXPR): Don't be sorry; make a copy. |
| (build_min): Copy the type to the permanent obstack, too. |
| |
| 1998-08-01 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * init.c (init_init_processing): Remove BI* handling. |
| (build_builtin_call): Remove. |
| (build_builtin_delete_call): New fn. |
| (build_delete): Use it. |
| |
| 1998-07-31 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (PROCESSING_REAL_TEMPLATE_DECL_P): New macro. |
| (maybe_check_template_type): New function. |
| * decl.c (maybe_process_template_type_declaration): New function, |
| split out from pushtag Call maybe_check_template_type. |
| (pushtag): Use it. Use PROCESSING_REAL_TEMPLATE_DECL_P. |
| (xref_tag): Use PROCESSING_REAL_TEMPLATE_DECL_P. |
| * friend.c (do_friend): Use PROCESSING_REAL_TEMPLATE_DECL_P. |
| * pt.c (template_class_depth_real): Generalization of ... |
| (template_class_depth): Use it. |
| (register_specialization): Use duplicate_decls for duplicate |
| declarations of specializations. |
| (maybe_check_template_type): New function. |
| (push_template_decl_real): Fix comment. |
| (convert_nontype_argument): Likewise. |
| (lookup_template_class): Likewise. Avoid an infinite loop on |
| erroneous code. |
| (tsubst_friend_function): Fix comment. |
| (tsubst, case FUNCTION_DECL): Deal with a DECL_TI_TEMPLATE that is |
| an IDENTIFIER_NODE. |
| * semantics.c (begin_function_definition): Use |
| reset_specialization to note that template headers don't apply |
| directly to declarations after the opening curly for a function. |
| |
| 1998-07-29 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (push_overloaded_decl): Use current_namespace instead of |
| DECL_CONTEXT (decl) to determine where we go. |
| |
| * decl.c (lookup_name_real): Fix typo. |
| |
| 1998-07-28 Mark Mitchell <mark@markmitchell.com> |
| |
| * friend.c (is_friend): Be lenient with member functions to deal |
| with nested friends. |
| |
| 1998-07-28 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * class.c (finish_struct_1): Convert integer_zero_node to |
| ssizetype before passing it to set_rtti_entry. |
| * typeck2.c (initializer_constant_valid_p): Allow conversion of 0 |
| of any size to a pointer. |
| |
| 1998-07-27 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (TI_USES_TEMPLATE_PARMS): Remove. |
| (build_template_decl_overload): Remove. |
| (set_mangled_name_for_decl): New function. |
| (innermost_args): Remove is_spec parameter. |
| (most_specialized, most_specialized_class): Remove declarations. |
| (lookup_template_class): Add entering_scope parameter. |
| (maybe_process_partial_specialization): New function. |
| (finish_template_decl): Likewise. |
| (finish_template_type): Likewise. |
| * class.c (finish_struct): Clean up processing of member template |
| specializations. |
| * decl.c (pushtag): Fix formatting. |
| (lookup_tag): Improve handling of pseudo-global levels. |
| (make_typename_type): Adjust call to lookup_template_class. |
| (shadow_tag): Use maybe_process_partial_specialization. |
| (xref_tag): Improve handling of member friends. |
| (start_function): Call push_nested_class before |
| push_template_decl. Don't call push_template_decl for |
| specializations. |
| * decl2.c (grok_x_components): Don't call xref_tag for |
| template instantiations. Handle UNION_TYPEs like RECORD_TYPEs. |
| (grokclassfn): Use set_mangled_name_for_decl. |
| (arg_assoc_class): Adjust call to innermost_args. |
| (mark_used): Don't call instantiate_decl for a TEMPLATE_DECL. |
| * error.c (dump_function_name): Improve printing of template |
| function names. |
| * friend.c (is_friend): Don't compare types of decls to determine |
| friendship, unless flag_guiding_decls. |
| (make_friend_class): Partial specializations cannot be friends. |
| (do_friend): Use set_mangled_name_for_decl. Call |
| push_template_decl_real instead of push_template_decl. |
| * method.c (build_decl_overload_real): Remove prototype. Give it |
| external linkage. |
| (build_overload_identifier): Adjust call to innermost_args. |
| (build_template_decl_overload): Remove. |
| (set_mangled_name_for_decl): New function. |
| * parse.y (.finish_template_type): New non-terminal. |
| (template_def): Use finish_template_decl. Use template_extdef |
| instead of extdef. |
| (template_extdef, template_datadef): New non-terminals, containing |
| only those rules for things which can be templates. |
| (datadef): Tidy. |
| (template_type, self_template_type): Use .finish_template_type. |
| (named_class_head): Use maybe_process_partial_specialization. |
| * pt.c (mangle_class_name_for_template): Remove context parameter. |
| (get_class_bindings): Remove outer_args parameter. |
| (complete_template_args): Remove. |
| (add_outermost_template_args): New function. |
| (register_specialization): Return the specialization. |
| (unregister_specialization): New function. |
| (tsubst_template_parms): Likewise. |
| (most_specialized, most_specialized_class): Prototype here as |
| static. |
| (original_template): Rename to most_general_template. |
| (tsubst_template_parms): New function. |
| (set_mangled_name_for_template_decl): Likewise. |
| (TMPL_ARGS_DEPTH): New macro. |
| (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Adjust. |
| (TMPL_ARGS_LEVEL): New macro. |
| (SET_TMPL_ARGS_LEVEL): Likewise. |
| (TMPL_ARG): Likewise. |
| (SET_TMPL_ARG): Likewise. |
| (TMPL_ARGS_DEPTH): Likewise. |
| (finish_member_template_decl): Use finish_template_decl. |
| (maybe_process_partial_specialization): New function, split out |
| from tsubst. |
| (inline_needs_template_parms): Use TMPL_PARMS_DEPTH. |
| (maybe_begin_member_template_processing): Use new macros. |
| (is_member_template): Likewise. |
| (is_member_template_class): Likewise. |
| (add_to_template_args): Likewise. Deal with multiple levels of |
| args. |
| (maybe_process_partial_specialization): New function. |
| (retrieve_specialization): Add consistency check. |
| (determine_specialization): Return full argument list. |
| (check_explicit_specialization): Tweak friend handling. Use full |
| argument lists. Simplify. |
| (current_template_args): Use new macros. |
| (push_template_decl_real): Change ill-named mainargs to specargs. |
| Check that a partial specialization actually specializes at least |
| one parameter. Improve friend handling. Modify for full |
| template arguments. |
| (classtype_mangled_name): Don't mangle the names of |
| specializations. |
| (lookup_template_class): Add entering_scope parameter. Use it to |
| avoid finding a template type when an instantiation is required. |
| Simplify. Use full template arguments. |
| (tsubst_friend_function): Use unregister_specialization. Use new |
| macros. Use full template arguments. |
| (tsubst_friend_class): Substitute, using tsubst_template_parms, |
| into the template parameters before passing them to |
| redeclare_class_template. |
| (instantiate_class_template): Simplify. Use full template |
| arguments. Adjust calls to get_class_bindings. Use |
| SET_IDENTIFIER_TYPE_VALUE where needed. Improve friend handling. |
| (innermost_args): Use new macros. |
| (tsubst_aggr_type): New function, split out from tsubst. |
| (tsubst): Use tsubst_aggr_type, tsubst_template_parms, new calling |
| conventions for lookup_template_class. Refine handling of partial |
| instantiations. Remove calls to complete_template_args. |
| Simplify. Add consistency checks. Use set_mangled_name_for_decl |
| and set_mangled_name_for_template_decl. |
| (tsubst_copy): Use tsubst_aggr_type. |
| (instantiate_template): Use full template arguments. |
| (more_specialized): Improve formatting. |
| (more_specialized_class): Adjust calls to get_class_bindings. |
| (get_bindings_real): Don't call complete_template_args. |
| (most_specialized): Don't overwrite input; create a new list. |
| (most_specialized_class): Use most_general_template. |
| (regenerate_decl_from_template): Use unregister_specialization. |
| Use full template arguments. |
| (instantiate_decl): Use full template arguments. |
| (set_mangled_name_for_template_decl): New function. |
| * semantics.c (begin_class_definition): Use |
| maybe_process_partial_specialization. |
| (finish_member_class_template): New function. |
| (finish_template_decl): Likewise. |
| (finish_template_type): Likewise. |
| (typeck.c): Don't crash after issuing a compiler_error. |
| * Makefile.in (CONFLICTS): Adjust; we removed a s/r conflict. |
| |
| 1998-07-27 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck2.c (build_functional_cast): Handle default-initialization. |
| |
| * call.c (build_over_call): Pass 1 to popclass. |
| |
| * parse.y (direct_notype_declarator): Add precedence declaration |
| to notype_unqualified_id case. |
| * Makefile.in (EXPECT): Adjust. |
| |
| * tree.c (ovl_member): Fix for single function in OVL. |
| |
| 1998-07-27 Dave Brolley <brolley@cygnus.com> |
| |
| * c-lex.c (yylex): Fix boundary conditions in character literal and |
| string literal loops. |
| |
| 1998-07-24 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (lookup_name_real): OK, do return the from_obj value |
| unless got_object depends on template parms. |
| |
| * parse.y (nested_name_specifier_1): Pull out the TYPE_MAIN_VARIANT. |
| |
| * pt.c (coerce_template_parms): Also complain about local enums. |
| |
| * cp-tree.h: Add prototype for set_identifier_local_value. |
| * decl.c (set_identifier_local_value_with_scope): Make static, |
| prototype. |
| * search.c (covariant_return_p): Likewise. |
| * except.c (build_terminate_handler, alloc_eh_object): Likewise. |
| |
| * call.c (build_method_call): Only pull out the type of a destructor |
| if it's a template type parm. |
| * decl.c (lookup_name_real): Never return the from_obj value. |
| |
| 1998-07-23 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * except.c (process_start_catch_block_old): Call start_decl_1 for |
| catch parm. |
| * decl.c (start_decl_1): Avoid duplicate error. |
| |
| * init.c (expand_default_init): Only perform the initialization if |
| it will do something. |
| |
| 1998-07-23 H.J. Lu (hjl@gnu.org) |
| |
| * parse.y (base_class): Check for invalid base class. |
| |
| 1998-07-23 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (import_export_template): Fold in... |
| (import_export_class): ...to here. Handle dllimport/export. |
| |
| * class.c (build_vtable): Pass at_eof to import_export_vtable. |
| (prepare_fresh_vtable): Likewise. |
| * decl2.c (import_export_class): Split out... |
| (finish_prevtable_vardecl): From here. |
| * class.c (finish_struct_1): Call import_export_class if at_eof. |
| |
| * decl.c (start_function): #if 0 mysterious code I wrote and have |
| forgotten why. |
| * rtti.c (get_tinfo_fn): If this is for a class type, set |
| DECL_CONTEXT. |
| |
| 1998-07-22 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * inc/exception: Change terminate and unexpected to (). |
| |
| * parse.y (named_class_head_sans_basetype_defn): A |
| named_class_head_sans_basetype followed by '{' or ':' is a defn. |
| |
| 1998-07-21 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * tree.c (canonical_type_variant): New fn to handle arrays. |
| * cp-tree.h (CANONICAL_TYPE_VARIANT): Remove. |
| * pt.c (unify, default case): Also fold arg. Fix array bounds case. |
| * method.c (process_overload_item): Use build_overload_value for |
| arrays. |
| |
| 1998-07-20 Dave Brolley <brolley@cygnus.com> |
| |
| * lex.c (mbchar.h): #include it. |
| (GET_ENVIRONMENT): New macro. |
| (init_parse): Set character set based on LANG environment variable. |
| (real_yylex): Handle multibyte characters in character literals. |
| (real_yylex): Handle multibyte characters in string literals. |
| |
| 1998-07-19 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * lex.c (do_identifier): Look for class value even if we don't |
| have a global value. Do implicit declaration if parsing is 2. |
| * semantics.c (finish_call_expr): Pass 2 if we're doing Koenig |
| lookup. |
| |
| 1998-07-19 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (pushtag): Revert previous change. |
| * pt.c (lookup_template_class): Don't put out debugging |
| information for types that use template parameters. |
| |
| * decl.c (pushtag): Don't put out debugging information for |
| compiler-generated typedefs. |
| |
| * error.c (dump_type_real): Don't crash when presented with |
| intQI_type_node or the like. |
| |
| * semantics.c (finish_translation_unit): Fix spelling error in |
| comment. |
| |
| 1998-07-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (lookup_name_real): Pull out single function here. |
| (select_decl): Not here. |
| (unqualified_namespace_lookup): Use CP_DECL_CONTEXT. |
| |
| * decl.c (qualify_lookup): Tweak again. |
| |
| * pt.c (lookup_template_class): Don't mess with the context of the |
| instantiation. |
| * decl2.c (current_decl_namespace): Remove special handling for |
| templates. |
| |
| * pt.c (tsubst, case FUNCTION_DECL): Fix getting complete args for |
| a member template specialization. |
| |
| * tree.c (ovl_member): Use decls_match to compare functions. |
| * decl.c (decls_match): Check the context of a function. |
| |
| * parse.y (primary): Use notype_unqualified_id instead of IDENTIFIER |
| in Koenig lookup support rules. |
| * semantics.c (finish_call_expr): Handle the new cases. |
| |
| * typeck.c (build_x_function_call): Handle overloaded methods. |
| |
| * decl.c (grokvardecl): Don't call build_static_name for extern "C". |
| |
| 1998-07-16 Mark Mitchell <mark@markmitchell.com> |
| |
| * semantics.c (finish_object_call_expr): Revert previous change. |
| * call.c (build_new_method_call): Likewise. Instead, convert |
| TYPE_DECLs to IDENTIFIERs here, in the presence of templates. |
| |
| 1998-07-16 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (qualify_lookup): Handle templates. |
| |
| * decl2.c (do_using_directive): Don't pass ancestor. |
| * decl.c (push_using_directive): Calculate ancestor. |
| |
| * decl2.c (do_nonmember_using_decl): Allow for type shadowing. |
| * decl.c (pushdecl): Move type shadowing handling from here... |
| (duplicate_decls): ...to here. |
| * decl.c (set_identifier_local_value_with_scope): New fn. |
| (pushdecl): Use it. |
| (set_identifier_local_value, lookup_type_current_level): New fns. |
| * decl2.c (do_local_using_decl): Handle types and binding level |
| stuff properly. |
| |
| * init.c (build_offset_ref): Don't call mark_used on an OVERLOAD. |
| * decl.c (select_decl): Extract a lone function from an OVERLOAD. |
| (lookup_namespace_name): Likewise. |
| * typeck.c (build_unary_op): Not here anymore. |
| |
| * decl2.c (do_class_using_decl): Make sure we get an identifier. |
| * class.c (handle_using_decl): Ignore TYPE_DECLs. |
| |
| * decl.c (qualify_lookup): New fn. |
| (lookup_name_real): Use it. |
| |
| 1998-07-16 Martin v. Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl2.c (add_using_namespace): When directly using a namespace |
| that was indirect before, promote it. |
| |
| * cp-tree.h (LOOKUP_PREFER_TYPES, LOOKUP_PREFER_NAMESPACES, |
| LOOKUP_PREFER_BOTH, LOOKUP_NAMESPACES_ONLY, LOOKUP_TYPES_ONLY, |
| LOOKUP_QUALIFIERS_ONLY, LOOKUP_TEMPLATES_EXPECTED): New macros. |
| * decl.c (select_decl): Replace two flag parameters by one. |
| (unqualified_namespace_lookup): Likewise, pass flag. |
| (lookup_flags): New function. |
| (lookup_name_real): Compute flags, pass them. |
| (lookup_namespace_name): Call with zero-flag. |
| * decl2.c (ambiguous_decl): Add flag parameter, complain only |
| according to flags. |
| (lookup_using_namespace, qualified_lookup_using_namespace): |
| Add flag parameter, pass them through. |
| * lex.c (do_scoped_id): Call with zero-flag. |
| |
| 1998-07-16 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck.c (convert_for_assignment): Use comptypes. |
| |
| 1998-07-16 Mark Mitchell <mark@markmitchell.com> |
| |
| * semantics.c (finish_object_call_expr): Move test for the |
| function called being a TYPE_DECL to ... |
| * call.c (build_new_method_call): Here. |
| |
| 1998-07-15 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (arg_assoc_class): Also look at template arguments, if any. |
| (arg_assoc): Handle error_mark_node and multiple levels of TREE_LIST. |
| |
| * lex.c (looking_for_typename): Don't initialize. |
| |
| * decl2.c (ambiguous_decl): Clarify error message. |
| |
| * decl.c (push_using_directive): Iterate over namespaces used |
| indirectly. |
| |
| 1998-07-15 Martin v. Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl2.c (add_using_namespace): Iterate over namespaces used |
| indirectly. |
| |
| * decl.c (lookup_name_real): Accept namespace aliases as locals. |
| (cat_namespace_levels): Ignore aliases. |
| (duplicate_decls): Ignore duplicate aliases. |
| * decl2.c (do_namespace_alias): Process block level namespace |
| aliases. Store alias with pushdecl. Remove odr errors. |
| * parse.y (namespace_alias): New non-terminal. |
| (extdef): Use it. |
| |
| 1998-07-15 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (arg_assoc_type): Handle METHOD_TYPE like FUNCTION_TYPE. |
| Handle TEMPLATE_TYPE_PARM. |
| (arg_assoc): Rewrite. |
| |
| * pt.c (complete_template_args): Don't look at the context unless |
| we have to. |
| |
| * method.c (build_decl_overload_real): Fix namespace handling. |
| |
| * typeck.c (build_unary_op): Extract a lone function from an |
| OVERLOAD. |
| |
| * call.c (build_scoped_method_call): Handle getting a namespace |
| for basetype in a destructor call. |
| (check_dtor_name): Handle enums. |
| |
| * parse.y (using_directive): New nonterminal. |
| (extdef, simple_stmt): Use it. |
| |
| 1998-07-14 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl2.c (add_function): Move error message ... |
| (arg_assoc_namespace): ... from here. |
| |
| 1998-07-14 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * parse.y (namespace_qualifier): Fix multiple level handling. |
| * decl2.c (namespace_ancestor): Use CP_DECL_CONTEXT. |
| (arg_assoc): Don't skip the first argument of a function. |
| |
| Tue Jul 14 20:09:22 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * search.c (my_tree_cons): Clean up. |
| |
| 1998-07-14 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * call.c (joust): Don't warn about "confusing" conversions to the |
| same type. |
| |
| 1998-07-14 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * class.c (push_nested_class): Complain about namespaces. |
| * decl.c (start_decl): Enter the object's namespace. |
| (cp_finish_decl): Leave it. |
| (grokdeclarator): Likewise. |
| * decl2.c (check_decl_namespace): New function. |
| (finish_file): Call it. |
| * parse.y (complex_direct_notype_declarator): Set complexity |
| of namespace-qualified ids to -1, enter the namespace. |
| |
| * method.c (build_template_decl_overload): Expect _DECL as first |
| parameter. Put context temporarily into current_namespace. |
| * pt.c (check_explicit_specialization): Change caller. |
| (tsubst): Likewise. |
| |
| * init.c (build_offset_ref): Call mark_used and |
| convert_from_reference for namespace members. |
| |
| Mon Jul 13 23:25:28 1998 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * search.c (my_tree_cons): The bitfield is at index 2. |
| |
| Mon Jul 13 17:21:01 1998 Nick Clifton <nickc@cygnus.com> |
| |
| * lang-options.h: Format changed to work with new --help support |
| in gcc/toplev.c |
| |
| 1998-07-12 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl2.c (build_expr_from_tree): Change calls of do_identifier. |
| Do Koenig lookup in CALL_EXPR. |
| (arg_assoc): Handle error_mark. |
| * lex.c (is_global): New function. |
| (do_identifier): Expect arguments for Koenig lookup. |
| * parse.y (primary): Add rules for calls of unqualified function calls. |
| (do_id): Change call of do_identifier. |
| * pt.c (finish_stmt_expr): Likewise. |
| * semantics.c (finish_id_expr): Likewise. |
| (finish_call_expr): Add integer parameter to indicate |
| argument-dependent lookup. |
| |
| * decl.c (struct binding_level): New field using_directives. |
| (push_using_decl): Not sorry anymore. |
| (push_using_directive): New function. |
| (lookup_tag): Use CP_DECL_CONTEXT to iterate. |
| (unqualified_namespace_lookup): New function, code from ... |
| (lookup_name_real): ... here. |
| * decl2.c (lookup_using_namespace): Pass using list instead of |
| initial scope. |
| (validate_nonmember_using_decl): New function. |
| (do_nonmember_using_decl): New function. |
| (do_toplevel_using_decl): Use them. |
| (do_local_using_decl): New function. |
| (do_using_directive): Support block-level directives. |
| * parse.y (simple_stmt): Support using declarations and |
| directives. |
| (namespace_qualifier, namespace_using_decl): New non-terminals. |
| |
| * xref.c (classname): New function. |
| (GNU_xref_hier): Change class and base parameters to tree. |
| * decl.c (xref_baseypes): Change caller. |
| * friend.c (make_friend_class): Likewise. |
| |
| 1998-07-12 Kriang Lerdsuwanakij <lerdsuwa@scf-fs.usc.edu> |
| |
| * typeck.c (comptypes, case TEMPLATE_TEMPLATE_PARM): Add parameter |
| comparison. |
| |
| * pt.c (for_each_template_parm, case TEMPLATE_DECL): If it is a |
| template template parameter, record its use. |
| (for_each_template_parm, case TEMPLATE_TEMPLATE_PARM): Traverse |
| its template arguments if exists. |
| |
| * pt.c (coerce_template_template_parms): New function equivalent |
| to coerce_template_parms when IS_TMPL_PARM is true. |
| (coerce_template_parms): Use it. Remove the IS_TMPL_PARM parameter, |
| all callers changed. |
| |
| (coerce_template_parms): Access ARGLIST properly when creating a |
| new vector. Only accept implicit TYPE_DECL as valid argument for |
| a template template parameter when it is a base class of |
| current_class_type. Don't display error message when COMPLAIN is |
| false. |
| |
| 1998-07-12 Klaus Kaempf (kkaempf@progis.de) |
| |
| * repo.c (get_base_filename): Use file_name_nondirectory. |
| (open_repo_file): Likewise. |
| * cp-tree.h (file_name_nondirectory): Add prototype. |
| |
| 1998-07-12 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * friend.c (do_friend): Pull the identifier out of declarator. |
| Use cp_error and friends. |
| * decl2.c (qualified_lookup_using_namespace): Fix call to |
| purpose_member. |
| * decl.c (lookup_name_real): Don't call complete_type on a namespace. |
| (grokvardecl): Use DECL_CLASS_SCOPE_P. |
| * cvt.c (convert_pointer_to_real): Check for error_mark_node sooner. |
| * class.c (warn_hidden): Fix for OVERLOAD. |
| From grahams@rcp.co.uk: |
| * cp-tree.h (DEFARG_NODE_CHECK): New macro. |
| (DEFARG_LENGTH, DEFARG_POINTER): Use it. |
| |
| Sun Jul 12 01:20:57 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * g++.1 (-traditional): Remove duplicated documentation. |
| |
| 1998-07-11 Mark Mitchell <mark@markmitchell.com> |
| |
| * method.c (flush_repeats): Add nrepeats parameter. |
| (issue_nrepeats): Likewise. |
| (is_back_referenceable_type): New function. Don't back-reference |
| TEMPLATE_TYPE_PARMs as well as simple types like integers. |
| (build_mangled_name_for_type): Likewise. |
| (build_mangled_name_for_type_with_Gcode): Likewise. |
| (lasttype): Remove. |
| (nrepeats): Likewise. |
| (Nrepeats): Likewise. |
| (start_squangling): Don't clear the variables removed above. |
| (end_squangling): Likewise. |
| (flush_repeats): Tidy. Use nrepeats parameter rather than |
| Nrepeats global. |
| (issue_nrepeats): Likewise, but with nrepeats global. Use |
| is_backreferenceable_type. |
| (build_overload_nested_name): Tidy. Add comment. Use |
| build_mangled_name_for_type. |
| (build_underscore_int): Comment. |
| (build_overload_scope_ref): Use build_mangled_name_for_type. |
| (build_overload_int): Likewise. |
| (build_template_template_parm_names): Tidy. |
| (build_template_parm_names): Use build_mangled_name_for_type. |
| (build_overload_identifier): Add comments. |
| (build_mangled_name_for_type_with_Gcode): Split out from |
| build_mangled_name. |
| (build_mangled_name_for_type): Use it. |
| (build_mangled_name): Rework to use build_mangled_name_for_type |
| and to not use global nrepeats/Nrepeats. Tidy. |
| (process_modifiers): Tidy. |
| (check_btype): Use is_backreferenceable_type. Add comment. |
| Rename `node' to `type'. |
| (process_overload_item): Set numeric_output_need_bar here. |
| Use build_mangled_name_for_type. Tidy. |
| (build_decl_overload_real): Tidy. Don't use Nrepeats. Use |
| build_mangled_name_for_type. |
| |
| * pt.c (push_template_decl_real): Don't look at DECL_TEMPLATE_INFO |
| for TYPE_DECLs. |
| |
| 1998-07-08 Vladimir N. Makarov <vmakarov@cygnus.com> |
| |
| * cp-tree.h (warn_long_long): Define. |
| * decl.c (grokdeclarator): Add flag `warn_long_long' as guard for |
| warning "ANSI C++ does not support `long long'". |
| * decl2.c (warn_long_long): Define. |
| (lang_decode_option): Parse -Wlong-long, -Wno-long-long options. |
| |
| 1998-07-07 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (xref_tag): Handle attributes between 'class' and name. |
| * parse.y (aggr): Likewise. |
| * semantics.c (finish_class_definition): Likewise. |
| * Makefile.in (EXPECTED): Adjust. |
| |
| * cp-tree.h: Declare flag_optional_diags and warn_multichar. |
| * decl2.c: Define them. |
| (lang_decode_option): Handle them. |
| * lang-options.h: Add -foptional-diags. |
| * class.c (finish_struct): Don't complain about multiple meanings of |
| name if -fno-optional-diags. |
| * decl.c (pushdecl_class_level): Likewise. |
| * lex.c (real_yylex): Check warn_multichar. |
| |
| 1998-07-06 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (lookup_tag): Use CP_DECL_CONTEXT. |
| |
| * tree.c (make_binfo): Fix length. |
| |
| 1998-06-30 Benjamin Kosnik <bkoz@bliss.nabi.net> |
| |
| * decl2.c (lang_decode_option): Remove warn_template_debugging. |
| * lang-options.h: Likewise. |
| |
| Mon Jun 29 20:17:40 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * except.c (build_eh_type_type_ref): Remove unused variable `susp'. |
| (process_start_catch_block): Likewise for variables |
| `false_label_rtx', `call_rtx' and `return_value_rtx'. |
| |
| 1998-06-29 Brendan Kehoe <brendan@cygnus.com> |
| |
| * tree.c (build_srcloc): Make sure we allocate this node on the |
| permanent obstack. |
| |
| Sat Jun 27 23:34:18 1998 Fred Fish <fnf@ninemoons.com> |
| |
| * g++spec.c (NEED_MATH_LIBRARY): Define to 1 if not already defined. |
| (lang_specific_driver): Initialize need_math with NEED_MATH_LIBRARY. |
| (lang_specific_driver): Only add -lm automatically if need_math is |
| nonzero. |
| |
| Sat Jun 27 12:22:56 1998 Jeffrey A Law (law@cygnus.com) |
| |
| * Make-lang.in (g++): Depend on mkstemp.o. Link in mkstemp.o |
| |
| Sat Jun 27 07:36:09 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * Makefile.in (EXPR_H): New dependency variable. |
| (decl2.o): Depend on $(EXPR_H). |
| (typeck.o): Likewise. |
| (init.o): Likewise. |
| (expr.o): Likewise. |
| |
| 1998-06-25 Benjamin Kosnik <bkoz@lisa.cygnus.com> |
| |
| * decl.c (start_enum): Put local enums on permanent_obstack. |
| |
| 1998-06-25 Mark Mitchell <mark@markmitchell.com> |
| |
| * cp-tree.h (c_get_alias_set): Declare. |
| * decl.c (init_decl_processing): Set lang_get_alias_set. |
| |
| 1998-06-25 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * cp-tree.h (mark_all_runtime_matches): Add function prototype. |
| * except.c (mark_all_runtime_matches): Set TREE_SYMBOL_REFERENCED |
| flag for all function decls which are in the exception table. |
| * exception.cc (__cplus_type_matcher): Check for CATCH_ALL_TYPE match. |
| * decl2.c (finish_file): Call mark_all_runtime_matches to make sure |
| code is emitted for any referenced rtti function. |
| |
| 1998-06-25 Dave Brolley <brolley@cygnus.com> |
| |
| * lang-specs.h: Use new | syntax to eliminate |
| string concatenation. |
| |
| 1998-06-25 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * cp-tree.h (CP_DECL_CONTEXT): New macro. |
| * decl2.c (is_namespace_ancestor, lookup_using_namespace): Use it. |
| * method.c (build_overload_nested_name): Likewise. |
| * sig.c (build_signature_pointer_or_reference_type): Don't set |
| DECL_CONTEXT. |
| |
| 1998-06-24 Martin v. Löwis <loewis@informatik.hu-berlin.de> |
| |
| Set DECL_CONTEXT for globals to NULL_TREE instead of global_namespace. |
| * cp-tree.h (FROB_CONTEXT): New macro. |
| (DECL_MAIN_P): ::main should have a DECL_CONTEXT of NULL_TREE. |
| * decl.c (namespace_binding): Replace NULL_TREE with |
| global_namespace. |
| (set_namespace_binding, pop_namespace, lookup_name_real): Likewise. |
| * decl2.c (is_namespace_ancestor, lookup_using_namespace): |
| Likewise. |
| * decl.c (pushtag): Use FROB_CONTEXT. |
| (pushdecl, make_typename_type, define_function, grokdeclarator): |
| Likewise. |
| * decl2.c (set_decl_namespace, do_namespace_alias): Likewise. |
| * pt.c (push_template_decl_real, lookup_template_class, tsubst): |
| Likewise. |
| * decl2.c (decl_namespace): Return global_namespace if no context. |
| * method.c (build_overload_nested_name): Expect null as context. |
| * pt.c (mangle_class_name_for_template): Do nothing for null |
| contexts. |
| (lookup_template_class): Allow for null id_context. |
| |
| 1998-06-25 Richard Henderson <rth@cygnus.com> |
| |
| * method.c (emit_thunk): Set current_function_is_thunk for the |
| ASM_OUTPUT_MI_THUNK case as well. |
| |
| 1998-06-23 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * exception.cc (__cplus_type_matcher): Get a match_info pointer |
| instead of an exception table entry as a parameter. |
| |
| 1998-06-23 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * parse.y (function_try_block): Don't call start_catch_handler. |
| * except.c (call_eh_info): Remove coerced field from declaration. |
| (build_eh_type_type_ref): New function to create an address of a |
| rtti function for the new style exception tables. |
| (expand_start_catch_block): Split function, this contains the |
| common part. |
| (process_start_catch_block_old): New function to perform the rest |
| of expand_start_catch_block under old style exceptions. |
| (process_start_catch_block_old): New function to perform the rest |
| of expand_start_catch_block under new style exceptions. |
| (expand_end_catch_block): Only pop the false label off the stack under |
| the old style of exceptions. |
| * semantics.c (finish_try_block): Don't call start_catch_handler. |
| * exception.cc (struct cp_eh_info): Add original_value field. |
| (__cplus_type_matcher): Perform type matching on the original exception |
| value, and if we have a match, set the current value. |
| (__cp_push_exception): Set the original exception value. |
| |
| 1998-06-23 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * call.c (joust): Fix confusing conversion warning. |
| |
| * call.c (build_op_delete_call): Add placement parm. Check |
| LOOKUP_SPECULATIVELY. |
| * cp-tree.h, decl2.c, init.c: Adjust. |
| * decl.c (finish_function): Use it. |
| |
| * pt.c (tsubst): Diagnose creating void fields or variables. |
| |
| Mon Jun 22 08:50:26 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * call.c (build_scoped_method_call): Remove unused variable `tmp'. |
| |
| * cp-tree.h (check_dtor_name): Add prototype. |
| |
| * init.c (expand_member_init): Remove unused variables |
| `ptr_type_node', `parm' and `rval'. |
| |
| * ptree.c (print_lang_type): Use HOST_WIDE_INT_PRINT_DEC specifier |
| in call to fprintf. |
| (lang_print_xnode): Likewise. |
| |
| * typeck2.c (enum_name_string): Cast argument to sprintf to long |
| and use %ld specifier. |
| |
| * xref.c (GNU_xref_end_scope): Use HOST_WIDE_INT_PRINT_DEC |
| specifier in call to fprintf. |
| (GNU_xref_member): Cast argument to sprintf to int. |
| |
| Fri Jun 19 23:22:42 1998 Bruno Haible <bruno@linuix.mathematik.uni-karlsruhe.de> |
| |
| * typeck2.c (pop_init_level): Warn about implicit zero initialization |
| of struct members. |
| |
| Thu Jun 18 09:32:32 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * cp-tree.h: Prototype function `check_java_method'. |
| |
| 1998-06-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * class.c (finish_struct): Make conflicting use of id a pedwarn. |
| * decl.c (pushdecl_class_level): Likewise. |
| |
| 1998-06-17 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (convert_nontype_argument): Issue an error when presented |
| with an integer (real) constant that cannot be simplified to an |
| INT_CST (REAL_CST). |
| |
| * cp-tree.h (c_get_alias_set): Remove declaration added in |
| 1998-06-13 change that should never have been checked in. |
| |
| 1998-06-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck.c (build_binary_op_nodefault): Change % in format strings |
| to %%. |
| |
| * decl.c (grokvardecl): Don't build_static_name for decls that |
| aren't at namespace scope. |
| |
| * init.c (perform_member_init): Catch default-initialization of |
| references. |
| |
| 1998-06-17 Mark Mitchell <mark@markmitchell.com> |
| |
| * errfn.c (cp_thing): Handle the `%%' formatting sequence. |
| |
| 1998-06-17 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * method.c (hack_identifier): Complain about getting a namespace |
| or class template. |
| * typeck.c (decay_conversion): Remove check for namespaces. |
| * typeck2.c (incomplete_type_error): Likewise. |
| * parse.y (template_arg): Add PTYPENAME expansion. |
| |
| 1998-06-16 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * decl.c (grokvardecl): Don't build external assembler names for |
| TYPENAMEs in other namespaces as there is no declarator. |
| * error.c (cp_file_of, cp_line_of): Don't extract file or line number |
| info from DECL_CONTEXT if it is NULL. |
| |
| 1998-06-16 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * call.c (check_dtor_name): Split out. |
| (build_scoped_method_call): Use it. |
| (build_method_call): Use it. |
| * init.c (build_offset_ref): Use it. |
| |
| * typeck.c (build_static_cast): Fix handling of pointers to members. |
| |
| * decl.c (finish_function): Just return nothing from a constructor. |
| * typeck.c (c_expand_return): Complain about returning a void |
| expression from a destructor. |
| |
| 1998-06-13 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (alter_access): Accept a BINFO explaining how to get |
| from the entity whose accessed is being altered to the type doing |
| the altering. |
| (handle_using_decl): New function containing code split out from ... |
| (finish_struct_1): Here. |
| |
| * cp-tree.h (complete_type_or_else): Declare. |
| * init.c (build_new_1, build_delete): Use it. |
| * typeck.c (require_complete_type): Use complete_type, rather than |
| expanding it inline. |
| (complete_type_or_else): New function. |
| (build_component_ref): Use it. |
| (pointer_int_sum): Make sure the type pointed to is complete. |
| (pointer_diff): Likewise. |
| |
| * pt.c (for_each_template_parm): Traverse the TYPE_CONTEXT for |
| types. |
| |
| * search.c (get_matching_virtual): Note that member templates |
| cannot override virtual functions. |
| |
| 1998-06-12 Brendan Kehoe <brendan@cygnus.com> |
| |
| * pt.c (check_explicit_specialization): If DECLARATOR turned into |
| an error_mark_node from lookup_template_function, return the same. |
| (determine_specialization): Also make sure TEMPLATE_ID isn't an |
| error_mark_node, before we try to read its operands. |
| * decl.c (grokdeclarator): If we got an error_mark_node from |
| check_explicit_specialization, just return it right back. |
| |
| 1998-06-12 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (instantiate_type): Don't treat template-ids that don't |
| specify any template arguments as equivalent to ordinary |
| identifiers. Use OFFSET_REF instead of SCOPE_REF to refer to |
| pointer-to-members for member templates. Tidy slightly. |
| * cp-tree.def (TEMPLATE_ID_EXPR): Revise documentation. |
| * init.c (build_offset_ref): Handle template-ids like ordinary |
| identifiers, for the most part, but store a TEMPLATE_ID_EXPR in the |
| offset part of the OFFSET_REF. |
| * typeck.c (build_unary_op): Change check for unknown types to |
| look for OFFSET_REFs, not SCOPE_REFs. |
| |
| 1998-06-11 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (is_member_template_class): New function. |
| (push_template_decl_real): Use it. |
| |
| 1998-06-11 Benjamin Kosnik <bkoz@elmo.cygnus.com> |
| |
| * friend.c (do_friend): Add support for nested classes using |
| member functions of the enclosing class as friends. |
| |
| 1998-06-10 Mark Mitchell <mark@markmitchell.com> |
| |
| * call.c (convert_default_arg): Make global, not static. |
| (convert_arg_for_ellipsis): Split out from ... |
| (build_over_call): Here. |
| * cp-tree.h (convert_default_arg); Declare. |
| (convert_arg_to_ellipsis): Likewise. |
| (do_member_init): Remove. |
| * init.c (do_member_init): Remove; this code is dead. |
| (expand_member_init): Remove much of this code; it is dead. |
| * typeck.c (convert_arguments): Use convert_default_arg and |
| convert_arg_for_ellipsis, rather than duplicating here. |
| |
| * call.c (convert_like): Don't fail silently if |
| build_user_type_conversion fails. Always return error_mark_node |
| for failure. |
| |
| 1998-06-10 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * search.c (covariant_return_p): Complain about ambiguous base. |
| |
| * typeck.c (build_component_ref): Diagnose ref to nested type. |
| |
| 1998-06-10 Brendan Kehoe <brendan@cygnus.com> |
| |
| * decl.c (grokparms): Check that INIT isn't an error_mark_node |
| before giving error about invalid type for default arg. |
| |
| 1998-06-10 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * call.c (build_method_call): Fix thinko. |
| |
| 1998-06-10 Dave Brolley <brolley@cygnus.com> |
| |
| * decl2.c (lang_decode_option): New argc/argv interface. |
| * cp-tree.h (lang_decode_option): New argc/argv interface. |
| * lang-specs.h (default_compilers): Only call cpp if -E, -M or -MM is |
| specified for cpplib-enabled compilers. |
| * lex.c (lang_init): Don't check_newline for cpplib. |
| (init_parse): Don't initialize cpplib here. |
| |
| 1998-06-10 Brendan Kehoe <brendan@cygnus.com> |
| |
| * typeck.c (build_component_ref): Make sure FIELD has a lang_specific |
| piece before checking DECL_MUTABLE_P. |
| |
| 1998-06-10 John Carr <jfc@mit.edu> |
| |
| * tree.c (debug_binfo): Make printf format match arguments. |
| |
| * error.c (OB_PUTI): Make printf format match arguments. |
| |
| 1998-06-10 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * init.c (perform_member_init): Handle default-initialization. |
| |
| * except.c (build_throw): Handle throwing NULL. |
| |
| * typeck.c (build_x_function_call): Use resolve_offset_ref. |
| |
| * search.c (compute_access): Only strip an anonymous union |
| for a FIELD_DECL. |
| |
| * call.c (add_builtin_candidates): Tweak. |
| |
| * cvt.c (build_expr_type_conversion): Restore code for conversion |
| from class types. |
| * decl2.c (delete_sanity): Use it. Clean up. |
| |
| * typeck.c (comp_ptr_ttypes_real): Fix cv-qual comparisons. |
| |
| 1998-06-10 Branko Cibej <branko.cibej@hermes.si> |
| |
| * typeck.c (c_expand_return): Don't warn about void expressions on |
| return statements in functions returning void. |
| |
| 1998-06-09 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (fn_type_unification): Revise documentation. Tidy. |
| (type_unification): Likewise. |
| |
| 1998-06-09 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * semantics.c (finish_try_block): Rename expand_start_catch, and delete |
| expand_end_catch. |
| * parse.y (function_try_block): Rename expand_start_catch, and delete |
| expand_end_catch. |
| * except.c (expand_end_eh_spec): Rename expand_start_catch, and delete |
| expand_end_catch. |
| |
| 1998-06-09 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * search.c (lookup_member): New fn. |
| * class.c (finish_struct_1): Use it. |
| * decl.c (lookup_name_real): Use it. |
| |
| Mon Jun 8 20:45:52 1998 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> |
| |
| * Makefile.in (decl2.o): Depend on dwarf2out.h and dwarfout.h. |
| |
| * cp-tree.h: Add prototype for `maybe_print_template_context' and |
| `maybe_make_one_only'. |
| |
| * decl.c (auto_function): Remove unused variable `decl'. |
| |
| * decl2.c: Include dwarf2out.h and dwarfout.h. |
| |
| * lex.c: Remove redundant declarations of `set_float_handler' and |
| `asm_out_file'. |
| |
| 1998-06-08 Andrew MacLeod <amacleod@cygnus.com> |
| |
| * except.c (init_exception_processing): Remove NEW_EH_MODEL compile |
| time flag. Call __cp_eh_info instead of __cp_exception_info. |
| * exception.cc (struct cp_eh_info): Remove NEW_EH_MODEL flag. |
| (__cp_exception_info): Return offset into cp_eh_info structure to |
| match what use to be the start of this structure. |
| (__cp_eh_info): New function to return a pointer to cp_eh_info struct. |
| (__cplus_type_matcher, __cp_push_exception): Remove NEW_EH_MODEL |
| compile time flag. |
| (__uncatch_exception, __check_eh_spec, std::uncaught_exception): Call |
| __cp_eh_info instead of __cp_exception_info. |
| |
| 1998-06-08 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (cp_finish_decl): Disable inlining of extern inlines |
| with static variables. |
| |
| 1998-06-08 Mark Mitchell <mark@markmitchell.com> |
| |
| * init.c (build_offset_ref): Correct previous change to use build, |
| not build_min. |
| |
| 1998-06-07 Mark Mitchell <mark@markmitchell.com> |
| |
| * class.c (instantiate_type): Handle pointer-to-members where the |
| member is a template. |
| * init.c (build_offset_ref): Likewise. |
| * typeck.c (build_unary_op): Likewise. |
| |
| 1998-06-07 Richard Henderson <rth@cygnus.com> |
| |
| * lex.c (lang_init_options): New function. |
| (lang_init): Remove flag_exceptions == 2 hack. |
| |
| 1998-06-05 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * search.c (envelope_add_decl): Tweak for implicit typename. |
| |
| * call.c (joust): Also warn about confusing conversion op/constructor |
| overload resolution. |
| |
| * spew.c (yylex): Also return the TYPE_DECL if got_object. |
| Don't clear got_object after '~'. |
| * call.c (build_scoped_method_call): Tweak destructor handling. |
| (build_method_call): Likewise. |
| * pt.c (tsubst_copy, case METHOD_CALL_EXPR): Don't mess with |
| TYPE_MAIN_VARIANT for destructors. |
| * semantics.c (finish_object_call_expr): Complain about calling a |
| TYPE_DECL. |
| |
| 1998-06-05 Per Bothner <bothner@cygnus.com> |
| |
| * g++spec.c (lang_specific_pre_link, lang_specific_extra_ofiles): |
| Define - update needed by gcc.c change. |
| |
| 1998-06-05 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * error.c (cp_printers): Use 'o' instead of '_' for the null entry. |
| |
| 1998-06-05 Martin v. Löwis <loewis@informatik.hu-berlin.de> |
| |
| * cp-tree.h (DECL_NAMESPACE_ALIAS, ORIGINAL_NAMESPACE): Declare. |
| * decl.c (lookup_name_real): Add namespaces_only parameter. |
| If set, return only NAMESPACE_DECLs. |
| (select_decl): Likewise. |
| (identifier_type_value): Give additional parameter. |
| (lookup_name_nonclass): Likewise. |
| (lookup_name): Likewise. |
| (find_binding): Skip namespace aliases. |
| (binding_for_name): Likewise. |
| (push_namespace): Check for namespace aliases. |
| (lookup_name_namespace_only): New function. |
| (begin_only_namespace_names, end_only_namespace_names): New functions. |
| * decl2.c (set_decl_namespace): Skip namespace aliases. |
| (do_using_directive): Likewise. |
| (do_namespace_alias): Produce namespace aliases, fix alias |
| redeclaration. |
| * error.c (dump_decl): Support SCOPE_REF. |
| * parse.y (extdef): Wrap lookup with namespace_only for namespace |
| aliases and using declarations. |
| |
| 1998-06-04 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * tree.c (really_overloaded_fn): Only see through one TREE_LIST. |
| |
| * error.c (dump_expr): Clean up NEW_EXPR case. |
| |
| 1998-06-04 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| Suggested by Brendan Kehoe |
| * decl2.c (do_toplevel_using_decl): When decl is a TYPE_DECL, |
| treat it as using ::decl. |
| |
| * decl2.c (arg_assoc_type): Process unknown_type_node and OFFSET_TYPE. |
| |
| * tree.c (mapcar): Support NEW_EXPR. |
| |
| * error.c (dump_expr): Support NEW_EXPR. |
| |
| 1998-06-03 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * method.c (make_thunk): Use overload machinery to make name. |
| * search.c (covariant_return_p): New fn. |
| (get_matching_virtual): Use it. |
| |
| * init.c (build_new_1): Fix check for void. |
| |
| 1998-06-01 Per Bothner <bothner@cygnus.com> |
| |
| * cp-tree.h (TYPE_FOR_JAVA): New macro. |
| * decl.c, cp-tree.h (java_byte_type_node, java_short_type_node, |
| java_int_type_node, java_long_type_node, java_float_type_node, |
| java_double_type_node, java_char_type_node, java_boolean_type_node): |
| New "primitive" types, with predefined names __java_byte etc. |
| (record_builtin_java_type): New function. |
| (init_decl_processing): Make Java types with record_builtin_java_type. |
| (pushtag, grokdeclarator): Set TYPE_FOR_JAVA if in extern "JAVA". |
| (xref_baseypes): If base class was TYPE_FOR_JAVA, so is this class. |
| (grokfndecl): Call check_java_method for Java classes. |
| * method.c (is_java_type): Removed. Replaced with TYPE_FOR_JAVA. |
| (process_overload_item): Match types against specific |
| java_XX_type_node types, rather than using is_java_type. |
| * class.c (finish_struct_1): Don't add default copy constructor |
| or operator= if TYPE_FOR_JAVA. |
| (pop_lang_conext): Restore strict_prototyp proper if Java. |
| * decl2.c (acceptable_java_type, check_java_method): New functions. |
| * pt.c (instantiate_class_template): Copy TYPE_FOR_JAVA from pattern. |
| (tsubst): Move common statement after if statement. |
| * typeck.c (comptypes): If strict, TYPE_FOR_JAVA must match. |
| |
| 1998-06-01 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (for_each_template_parm): Use first_rtl_op. |
| |
| * tree.c (build_cplus_array_type_1): Also check index_type for |
| template parms. |
| |
| 1998-05-31 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (tsubst): Always copy BINFO_BASETYPES. |
| |
| 1998-05-29 scott snyder <snyder@d0sgif.fnal.gov> |
| |
| * tree.c (layout_basetypes): If we change TYPE_SIZE, change |
| TYPE_SIZE_UNIT too. |
| |
| 1998-05-29 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (grokdeclarator): Don't complain about in-class |
| initialization of static consts if we don't really know the type |
| of the variable. |
| |
| 1998-05-29 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * cp-tree.h (DECL_DESTRUCTOR_P): New macro. |
| * method.c (build_destructor_name): New fn. |
| * decl2.c (maybe_retrofit_in_chrg): Split out... |
| (grokclassfn): From here. Reorganize. |
| * decl.c (grok_ctor_properties): Make sure ctors for types with |
| vbases have the in_chrg parm. |
| * pt.c (instantiate_class_template): Update |
| TYPE_USES_VIRTUAL_BASECLASSES from tsubsted bases. Don't call |
| grok_*_properties. |
| (tsubst): Call grok_ctor_properties and maybe_retrofit_in_chrg. |
| |
| 1998-05-28 Mark Mitchell <mark@markmitchell.com> |
| |
| * pt.c (instantiate_decl): Make test for whether or not static |
| variables should be instantiated early match its comment. |
| |
| 1998-05-28 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (start_decl): Always pedwarn about vacuously redeclaring |
| a member. |
| (start_function): Call check_default_args. |
| * decl2.c (grokfield): Don't call check_default_args. |
| (check_default_args): Use cp_error_at. |
| * lex.c (do_pending_defargs): Call check_default_args. |
| |
| 1998-05-27 Brendan Kehoe <brendan@cygnus.com> |
| |
| * call.c (build_method_call): Make sure get_type_value returns |
| something before we try to use its TYPE_MAIN_VARIANT. |
| (build_scoped_method_call): Likewise. |
| |
| 1998-05-27 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * typeck2.c (digest_init): Complain about getting a TREE_LIST to |
| initialize an array. |
| |
| * search.c (expand_upcast_fixups): Don't set DECL_CONTEXT and |
| DECL_VIRTUAL_P. |
| |
| * friend.c (do_friend): Clarify template warning. |
| |
| 1998-05-27 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (shadow_label): Don't treat decls as identifiers. |
| (maybe_push_to_top_level): Clear shadowed_labels. |
| |
| * pt.c (instantiate_decl): Reset lineno and filename after calling |
| regenerate_decl_from_template. |
| |
| * decl.c (grokdeclarator): Don't try to use TYPE_OBSTACK on an |
| error_mark_node. |
| |
| 1998-05-27 Kevin Buhr <buhr@stat.wisc.edu> |
| |
| * parse.y (base_class): Use is_aggr_type, not IS_AGGR_TYPE. |
| |
| 1998-05-26 Kriang Lerdsuwanakij <lerdsuwa@scf.usc.edu> |
| |
| * pt.c (process_template_parm): Accept TYPENAME_TYPE nodes. |
| (convert_nontype_argument): Handle cases when nontype template |
| parameters become classes after substitution. |
| |
| 1998-05-26 Mark Mitchell <mark@markmitchell.com> |
| |
| * friend.c (is_friend): Use comptypes, rather than == to compare |
| types. Modify for new representation of template friends. |
| (make_friend_class): Likewise. |
| * pt.c (tsubst_friend_class): Undo 1998-05-21 change. Tweak. |
| (instantiate_class_template): Deal with template friends. |
| |
| * decl.c (store_parm_decls): Remove redundant call to |
| expand_main_function. |
| |
| 1998-05-26 Benjamin Kosnik <bkoz@loony.cygnus.com> |
| |
| * decl.c (start_decl): Check for DECL_LANG_SPECIFIC before |
| DECL_USE_TEMPLATE. |
| |
| 1998-05-26 Per Bothner <bothner@cygnus.com> |
| |
| * language_as_string: Handle lang_java. |
| |
| 1998-05-26 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (pushdecl): Don't copy the type_decl. |
| |
| 1998-05-26 Martin v. Löwis <loewis@informatik.hu-berlin.de> |
| |
| * class.c (pushclass): Always store TYPE_MAIN_VARIANT in |
| current_class_type. |
| * decl.c (grokdeclarator): Put typedefs on the type's obstack. |
| |
| * parse.y (complex_direct_notype_declarator): Use $1 to access |
| scope of notype_qualified_id. |
| |
| 1998-05-26 Dave Brolley <brolley@cygnus.com> |
| |
| * lex.c (parse_options,yy_cur,yy_lim): Add for cpplib. |
| (init_parse): Initialize cpplib interface. |
| |
| * Makefile.in (CXX_OBJS): Make sure dependencies never end with an |
| empty continuation. |
| |
| 1998-05-26 Mark Mitchell <mark@markmitchell.com> |
| |
| * decl.c (pushtag): Avoid crashing on erroneous input. |
| |
| 1998-05-25 Martin v. Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl.c (push_namespace): Only produce one unique name for |
| anonymous namespaces. |
| (get_unique_name): Remove. |
| |
| 1998-05-25 Mark Mitchell <mark@markmitchell.com> |
| |
| * call.c (tourney): Don't do any extra comparisons. |
| |
| * decl2.c (build_anon_union_vars): Don't crash on empty sub-unions. |
| |
| * cp-tree.h (processing_template_parmlist): Declare. |
| * decl.c (pushtag): Don't call push_template_decl when we |
| shouldn't. |
| * pt.c (processing_template_parmlist): New variable. |
| (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): New macro. |
| (complete_template_args): Use it. |
| (add_to_template_args): Likewise. |
| (innermost_args): Likewise. |
| (tsubst): Likewise. |
| (begin_template_parm_list): Use processing_template_parmlist. |
| (end_template_parm_list): Likewise. |
| |
| * cp-tree.h (ANON_UNION_TYPE_P): New macro. |
| * decl.c (grokdeclarator): Use it. |
| * decl2.c (grok_x_components): Likewise. |
| * init.c (initializing_context): Likewise. |
| * method.c (do_build_copy_constructor): Likewise. |
| (do_build_assign_ref): Likewise. |
| * search.c (compute_access): Likewise. |
| * typeck.c (build_component_ref): Likewise. |
| |
| * decl.c (grokdeclarator): Don't give a cv-qualified version of an |
| unnamed type a typedef name "for linkage purposes". |
| |
| * pt.c (lookup_template_class): Don't look at |
| IDENTIFIER_CLASS_VALUE when there's no current_class_type. |
| |
| * method.c (build_overload_int): Handle error cases gracefully. |
| |
| * pt.c (instantiate_decl): Handle static member variables |
| correctly. |
| |
| * pt.c (tsubst): Use the tsubst'd type when producing new |
| TEMPLATE_PARM_INDEX nodes. |
| |
| 1998-05-24 Mark Mitchell <mark@markmitchell.com> |
| |
| * tree.c (cp_tree_equal): Handle pointers to member functions. |
| |
| * call.c (maybe_handle_implicit_object): Handle QUAL_CONVs. Make |
| sure the type of the REF_BIND is a reference type. |
| (maybe_handle_ref_bind, compare_ics): Rename reference_type to |
| target_type for clarity. |
| |
| * parse.y (xcond): Move call to condition_conversion ... |
| * semantics.c (finish_for_cond): Here. |
| * parse.c: Regenerated. |
| |
| 1998-05-24 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (push_namespace): Namespaces have type void. |
| * typeck2.c (incomplete_type_error): Complain about namespace |
| used as expression. |
| * typeck.c (decay_conversion): Likewise. |
| |
| 1998-05-24 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * error.c (dump_expr): Support namespaces. |
| |
| 1998-05-23 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * cp-tree.def: Add SRCLOC. |
| * cp-tree.h: Add struct tree_srcloc and accessor macros. |
| * tree.c (build_srcloc, build_srcloc_here): New fns. |
| * pt.c (add_pending_template): Use build_srcloc_here. |
| (push_tinst_level): Update last_template_error_tick before erroring. |
| (instantiate_decl): Restore lineno and input_filename before |
| calling add_pending_template. |
| * decl2.c (finish_file): Set up lineno and input_filename for |
| pending templates. |
| |
| 1998-05-22 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (lang_print_error_function): New fn. |
| (init_decl_processing): Set print_error_function to use it. |
| * errfn.c (cp_thing): Don't call maybe_print_template_context here. |
| |
| * call.c (maybe_handle_ref_bind): Propagate ICS_USER_FLAG and |
| ICS_BAD_FLAG. |
| |
| * cvt.c (ocp_convert): Don't set LOOKUP_NO_CONVERSION for |
| copy-initialization. |
| |
| * class.c (build_vtable_entry): Use int_fits_type_p. |
| (build_vtable): Pass a signed offset to build_vtable_entry. |
| (prepare_fresh_vtable, modify_one_vtable, fixup_vtable_deltas1, |
| set_rtti_entry): Likewise. |
| |
| 1998-05-22 Per Bothner <bothner@cygnus.com> |
| |
| * cp-tree.h: Add comments documenting which LANG_FLAGS are used. |
| (C_TYPE_VARIABLE_SIZE, C_DECL_VARIABLE_SIZE): Removed, not used. |
| |
| 1998-05-22 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (print_template_context): Use fprintf instead of cp_error. |
| |
| * pt.c (determine_specialization): Just return an error_mark_node. |
| Also print the decl we want in error messages. If we complain, |
| return error_mark_node. |
| (tsubst_friend_function): Set lineno and input_filename so |
| error messages will be useful. |
| (instantiate_template): Just return an error_mark_node. |
| (check_explicit_specialization): Don't mess with a returned |
| error_mark_node. |
| |
| * pt.c (print_template_context): Add new argument. |
| (maybe_print_template_context): New fn. |
| (push_tinst_level): Increment tinst_level_tick. |
| (pop_tinst_level): Likewise. |
| * errfn.c (cp_thing): Call maybe_print_template_context. Use |
| xrealloc instead of xmalloc. |
| |
| * typeck.c (build_unary_op, CONVERT_EXPR): Propagate TREE_CONSTANT. |
| |
| 1998-05-21 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * pt.c (tsubst_friend_class): Don't call redeclare_class_template |
| if the template we looked up is the same as the one we already |
| have. |
| |
| Thu May 21 11:54:44 1998 Dave Brolley <brolley@cygnus.com> |
| |
| * lex.c: (handle_sysv_pragma): FILE* parameter not used. |
| (cpp_reader,parse_in): Add for cpplib. |
| (check_newline): Call handle_sysv_pragma with new interface. |
| (check_newline): Call GET_DIRECTIVE_LINE, not get_directive_line. |
| |
| * input.c: (yy_cur,yy_lim,yy_get_token,GETC): Add for cpplib. |
| (sub_getch): Call GETC for cpplib. |
| |
| * cp-tree.h: (get_directive_line): Different prototype for cpplib. |
| (GET_DIRECTIVE_LINE): Macro wrapper for get_directive_line. |
| |
| * Makefile.in (CXX_OBJS): Add @extra_cxx_objs@ for cpplib. |
| |
| 1998-05-21 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (maybe_make_one_only): New fn. |
| (import_export_vtable): Use it. |
| (import_export_decl): Likewise. |
| * pt.c (mark_decl_instantiated): Likewise. |
| |
| 1998-05-21 Mark Mitchell <mmitchell@usa.net> |
| |
| * decl2.c (find_representative_member): Rename to ... |
| (build_anon_union_vars): New function. |
| (finish_anon_union): Fix stupidity of previous change. |
| |
| 1998-05-20 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl.c (grokfndecl): Handle definition of specialization in |
| friend declaration. |
| |
| * error.c (dump_decl): Fix LOOKUP_EXPR handling. |
| |
| 1998-05-20 Mark Mitchell <mmitchell@usa.net> |
| |
| * class.c (delete_duplicate_fields_1): Use DECL_DECLARES_TYPE_P |
| to look for type declarations. |
| (finish_struct): Deal with templates on the CLASSTYPE_TAGS list. |
| * cp-tree.h (DECL_DECLARES_TYPE_P): New macro. |
| (finish_member_class_template): Declare. |
| * decl.c (pushtag): Put member class templates on the |
| CLASSTYPE_TAGS list, just as for ordinary member classes. |
| (pushdecl_class_level): Use DECL_DECLARES_TYPE_P. |
| (lookup_tag): Look for IDENTIFIER_CLASS_VALUEs, just as with |
| IDENTIFIER_NAMESPACE_VALUEs. |
| * parse.y (component_decl): Move code to ... |
| * semantics.c (finish_member_class_template): New function. |
| Don't put member class templates on the list of components for a |
| class. |
| * parse.c: Regenerated. |
| * pt.c (classtype_mangled_name): Don't try DECL_CONTEXT on types. |
| In fact, don't use DECL_CONTEXT at all here. |
| |
| 1998-05-20 Martin von Löwis <loewis@informatik.hu-berlin.de> |
| |
| * decl.c (record_unknown_type): New function. |
| (init_decl_processing): Call it for the unknown and global type |
| nodes. |
| |
| 1998-05-20 Mark Mitchell <mmitchell@usa.net> |
| |
| * decl2.c (find_representative_member): New function. |
| (finish_anon_union): Use it. |
| |
| * cp-tree.h (MAIN_NAME_P): New macro. |
| (DECL_MAIN_P): Likwise. |
| * decl.c (pushdecl): Avoid crashing on redefinitions of `main'. |
| (grokfndecl): Use the new macros. |
| (grokdeclarator): Likewise. |
| (start_function): Likewise. |
| (store_parm_decls): Likewise. |
| (finsh_function): Likewise. |
| * friend.c (do_friend): Likewise. |
| * typeck.c (build_function_call_real): Likewise. |
| (build_unary_op): Likewise. |
| |
| Wed May 20 02:16:01 1998 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * decl2.c (start_objects, finish_objects, do_dtors, |
| do_ctors): Split out from... |
| (finish_file): ...here. |
| |
| Tue May 19 20:36:23 1998 Jason Merrill <jason@yorick.cygnus.com> |
| |
| * tree.c (is_overloaded_fn): Don't abort on placeholders from |
| push_class_decls. |
| |
| Tue May 19 15:16:22 1998 Brendan Kehoe <brendan@cygnus.com> |
| |
| * class.c (is_empty_class): Return 0 if TYPE is an error_mark_node. |
| |
| * error.c (dump_expr): Handle an ARROW_EXPR. |
| |
| Tue May 19 15:13:39 1998 Mark Mitchell <mmitchell@usa.net> |
| |
| * decl.c (saveable_obstack): Declare. |
| |