12007-12-20 Jason Merrill <jason@redhat.com> 2 3 PR c++/34111 4 * call.c (standard_conversion): Derived-to-base is considered a 5 standard conversion. 6 72007-12-19 Jakub Jelinek <jakub@redhat.com> 8 9 PR c++/34513 10 * parser.c (cp_parser_omp_parallel): For non-combined parallel 11 call cp_parser_statement rather than 12 cp_parser_already_scoped_statement. 13 142007-12-18 Jason Merrill <jason@redhat.com> 15 16 PR c++/34206 17 * pt.c (tsubst_aggr_type): Do nothing if the type already doesn't 18 use template parms. 19 (dependent_type_p_r): Handle the domain of an array. 20 212007-12-18 Douglas Gregor <doug.gregor@gmail.com> 22 Jakub Jelinek <jakub@redhat.com> 23 24 PR c++/32565 25 PR c++/33943 26 PR c++/33965 27 * pt.c (template_template_parm_bindings_ok_p): New; verifies 28 bindings of template template parameters after all template 29 arguments have been deduced. 30 (coerce_template_parms): Don't complain when COMPLAIN doesn't 31 include tf_error. 32 (fn_type_unification): Use template_template_parm_bindings_ok_p. 33 (unify): Deal with variadic, bound template template parameters. 34 (get_class_bindings): Use template_template_parm_bindings_ok_p. 35 362007-12-18 Jakub Jelinek <jakub@redhat.com> 37 38 PR c++/34488 39 * decl.c (grokdeclarator): Reject friend sfk_constructor 40 FUNCTION_TYPE. 41 422007-12-17 Jakub Jelinek <jakub@redhat.com> 43 44 PR c/34506 45 * parser.c (cp_parser_omp_all_clauses): Accept optional comma 46 in between clauses. 47 482007-12-15 Alexandre Oliva <aoliva@redhat.com> 49 50 PR debug/7081 51 * cp-lang.c (cp_classify_record): New. 52 (LANG_HOOKS_CLASSIFY_RECORD): Override. 53 542007-12-11 Jakub Jelinek <jakub@redhat.com> 55 56 PR c++/34238 57 * decl2.c (cp_write_global_declarations): Revert 2007-11-22 change. 58 59 PR c++/34364 60 * rtti.c (build_dynamic_cast): Call convert_from_reference even for 61 dynamic_cast in a template. 62 632007-12-10 Simon Martin <simartin@users.sourceforge.net> 64 65 PR c++/34059 66 * typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from 67 MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO. 68 692007-12-10 Jakub Jelinek <jakub@redhat.com> 70 71 PR c++/34395 72 * error.c (dump_type_prefix, dump_type_suffix): Handle 73 TYPE_PACK_EXPANSION. 74 75 PR c++/34394 76 * error.c (dump_expr): Handle ABS_EXPR. 77 782007-12-09 Jakub Jelinek <jakub@redhat.com> 79 80 PR c++/34178 81 PR c++/34340 82 * repo.c (repo_emit_p): Return 2 for DECL_INTEGRAL_CONSTANT_VAR_P 83 in class scope rather than DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. 84 Return 2 also if DECL_EXPLICIT_INSTANTIATION. 85 * decl2.c (import_export_decl): Don't make VAR_DECLs import_p when 86 flag_use_repository and repo_emit_p returned 2. 87 882007-12-06 Jakub Jelinek <jakub@redhat.com> 89 90 PR c++/34336 91 * tree.c (stabilize_call, stabilize_init): Do nothing if 92 processing_template_decl. 93 942007-12-05 Jakub Jelinek <jakub@redhat.com> 95 96 PR c++/34271 97 * semantics.c (finish_decltype_type): For SCOPE_REF issue an 98 error instead of assertion failure. 99 * parser.c (cp_parser_decltype): If closing paren is not found, 100 return error_mark_node. 101 1022007-12-04 Douglas Gregor <doug.gregor@gmail.com> 103 104 PR c++/34101 105 * name-lookup.c (arg_assoc_template_arg): Recurse on argument 106 packs. 107 (arg_assoc_type): We don't need to handle TYPE_ARGUMENT_PACK here, 108 since arg_assoc_template_arg will deal with them (better). 109 1102007-12-04 Douglas Gregor <doug.gregor@gmail.com> 111 112 PR c++/33509 113 * pt.c (tsubst_exception_specification): Handle substitutions into 114 member templates, where tsubst_pack_expansion returns a 115 TYPE_PACK_EXPANSION. 116 1172007-12-04 Douglas Gregor <doug.gregor@gmail.com> 118 119 PR c++/33091 120 * pt.c (unify_pack_expansion): If we didn't deduce any actual 121 bindings for the template parameter pack, don't try to keep the 122 empty deduced arguments. 123 (unify): If a parameter is a template-id whose template argument 124 list contains a pack expansion that is not at the end, then we 125 cannot unify against that template-id. 126 1272007-12-02 Paolo Carlini <pcarlini@suse.de> 128 129 PR c++/34061 130 * pt.c (current_template_args): Use error_operand_p. 131 1322007-12-02 Paolo Carlini <pcarlini@suse.de> 133 134 PR c++/34273 135 * error.c (dump_decl): Handle TREE_BINFO. 136 1372007-12-01 Ollie Wild <aaw@google.com> 138 139 PR c++/8171 140 * typeck.c (build_binary_op): Add conversion of pointers to function 141 members appearing as operands to the equality operators. 142 1432007-11-30 Jakub Jelinek <jakub@redhat.com> 144 145 PR c++/34275 146 * error.c (dump_expr): Handle OBJ_TYPE_REF. 147 1482007-11-29 Jakub Jelinek <jakub@redhat.com> 149 150 PR c++/34270 151 * tree.c (lvalue_p_1) <case COND_EXPR>: Handle x ?: y 152 in templates. 153 * typeck.c (is_bitfield_expr_with_lowered_type) <case COND_EXPR>: 154 Likewise. 155 156 PR c++/34267 157 PR c++/34268 158 * parser.c (cp_parser_decltype): Don't call finish_id_expression 159 on ~type. 160 * semantics.c (finish_decltype_type): Issue error on types, TYPE_DECLs 161 and ~type early. 162 1632007-11-27 Jakub Jelinek <jakub@redhat.com> 164 165 PR tree-optimization/34181 166 * method.c (use_thunk): Don't inline the call in the thunk. 167 168 PR c++/34213 169 * tree.c (decl_linkage): Static data members and static member 170 functions in anonymous ns classes are lk_external. 171 1722007-11-26 Andreas Krebbel <krebbel1@de.ibm.com> 173 174 PR c++/34081 175 * decl.c (start_preparsed_function): Pass 176 processing_template_decl for the new allocate_struct_function 177 parameter. 178 1792007-11-25 Richard Guenther <rguenther@suse.de> 180 181 * decl.c (poplevel): Use BLOCK_CHAIN. 182 1832007-11-24 Ollie Wild <aaw@google.com> 184 185 * typeck.c (delta_from_ptrmemfunc): New function. 186 (get_member_function_from_ptrfunc): Call delta_from_ptrmemfunc. 187 (build_binary_op): Call delta_from_ptrmemfunc. 188 1892007-11-23 Jakub Jelinek <jakub@redhat.com> 190 191 PR c++/30293 192 PR c++/30294 193 * decl.c (cp_finish_decl): Disallow variable or field 194 definitions if extern "Java" aggregates. 195 (grokparms): Disallow parameters with extern "Java" 196 aggregates. 197 (check_function_type): Disallow function return values 198 with extern "Java" aggregates. 199 * init.c (build_new_1): Disallow placement new with 200 extern "Java" aggregates. 201 2022007-11-23 Mark Mitchell <mark@codesourcery.com> 203 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 204 205 PR c++/5310 206 * call.c (convert_like_real): Build a zero constant when __null is 207 converted to an integer type. 208 2092007-11-22 Jakub Jelinek <jakub@redhat.com> 210 211 PR c++/34094 212 * decl2.c (cp_write_global_declarations): Issue error about static 213 data members in anonymous namespace which are declared and used, 214 but not defined. 215 2162007-11-20 Jakub Jelinek <jakub@redhat.com> 217 218 PR c++/34089 219 * parser.c (cp_parser_class_head): Reject function template ids. 220 221 PR c++/28879 222 * tree.c (build_cplus_array_type_1): Don't pass any VLA types 223 when processing_template_decl to build_array_type. 224 225 PR c++/33962 226 * pt.c (more_specialized_fn): Don't segfault if one or 227 both argument list end with ellipsis. 228 2292007-11-18 Jakub Jelinek <jakub@redhat.com> 230 231 PR c++/30988 232 * semantics.c (finish_call_expr): Set 233 current_function_returns_abnormally if fn is noreturn FUNCTION_DECL 234 or OVERLOAD with all noreturn functions. 235 2362007-11-16 Jakub Jelinek <jakub@redhat.com> 237 238 PR c++/34100 239 * pt.c (apply_late_template_attributes): Do nothing if decl's type is 240 error_mark_node. 241 2422007-11-13 Jakub Jelinek <jakub@redhat.com> 243 244 PR c++/34054 245 PR c++/34056 246 PR c++/34057 247 PR c++/34058 248 PR c++/34060 249 * pt.c (find_parameter_packs_r): If ppd->set_packs_to_error, 250 set to error_mark_node the outermost POINTER_TYPE to the pack if 251 it is seen in a POINTER_TYPE. 252 (push_template_decl_real): If check_for_bare_parameter_packs 253 fails for function return type, set the return type to 254 integer_type_node. If check_for_bare_parameter_packs failed 255 for non-function, return error_mark_node. 256 257 PR c++/29225 258 * call.c (build_new_op): Call resolve_args before calling 259 build_over_call. 260 2612007-11-11 Tom Tromey <tromey@redhat.com> 262 263 PR c++/17577: 264 * lex.c (handle_pragma_implementation): Use cpp_included_before. 265 2662007-11-12 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 267 268 PR c++/8570 269 * pt.c (redeclare_class_template): Update error message. Use a 270 note to show the previous declaration. 271 (tsubst_friend_class): Use the location of the friend template as 272 the input location before calling redeclare_class_template. 273 2742007-11-11 Jakub Jelinek <jakub@redhat.com> 275 276 PR c++/34068 277 * semantics.c (finish_pseudo_destructor_expr): Handle 278 object == error_mark_node. 279 2802007-11-10 Jakub Jelinek <jakub@redhat.com> 281 282 PR c++/32241 283 * pt.c (tsubst_copy_and_build) <case COMPONENT_REF>: If object_type 284 is not scalar type, let finish_class_member_access_expr handle 285 diagnostics. Pass BIT_NOT_EXPR argument to 286 finish_pseudo_destructor_expr. Handle SCOPE_REF properly. 287 2882007-11-09 Douglas Gregor <doug.gregor@gmail.com> 289 290 PR c++/33510 291 * decl.c (cp_complete_array_type): If any of the initializer 292 elements are pack expansions, don't compute the array size yet. 293 2942007-11-08 Andrew Pinski <pinskia@gmail.com> 295 296 PR c++/30297: 297 * tree.c (decl_linkage): Fields have no linkage. 298 2992007-11-08 Daniel Jacobowitz <dan@codesourcery.com> 300 301 * class.c (build_ctor_vtbl_group): Lay out the new type and decl. 302 3032007-11-07 Douglas Gregor <doug.gregor@gmail.com> 304 305 PR c++/33045 306 PR c++/33837 307 PR c++/33838 308 * semantics.c (finish_decltype_type): See through INDIRECT_REFs. 309 Be careful with ERROR_MARK_NODEs. 310 * parser.c (cp_parser_check_access_in_redeclaration): Handle NULL 311 argument. 312 3132007-11-07 Jakub Jelinek <jakub@redhat.com> 314 315 PR c++/33501 316 * call.c (build_over_call): Don't check TREE_ADDRESSABLE 317 on incomplete type. 318 3192007-11-06 Douglas Gregor <doug.gregor@gmail.com> 320 321 PR c++/33977 322 PR c++/33886 323 * tree.c (c_build_qualified_type): Define bridge to 324 cp_build_qualified_type. 325 3262007-11-06 Douglas Gregor <doug.gregor@gmail.com> 327 328 PR c++/31439 329 PR c++/32114 330 PR c++/32115 331 PR c++/32125 332 PR c++/32126 333 PR c++/32127 334 PR c++/32128 335 PR c++/32253 336 PR c++/32566 337 * typeck.c (check_return_expr): Pass address of retval to 338 check_for_bare_parameter_packs. 339 * class.c (build_base_field): Tolerate bases that have no layout 340 due to errors. 341 (end_of_base): Ditto. 342 * tree.c (canonical_type_variant): Be careful with 343 ERROR_MARK_NODE. 344 * cp-tree.h (check_for_bare_parameter_packs): Now accepts a 345 tree*. 346 * pt.c (find_parameter_pack_data): Add set_packs_to_error field, 347 which states whether parameter packs should be replaced with 348 ERROR_MARK_NODE. 349 (find_parameter_packs_r): Pass addresses to cp_walk_tree wherever 350 possible. If set_packs_to_error is set true, replace the parameter 351 pack with ERROR_MARK_NODE. Manage our own pointer sets. 352 (uses_parameter_packs): Don't set parameter packs to 353 ERROR_MARK_NODE. 354 (check_for_bare_parameter_packs): Now takes a pointer to a tree, 355 which may be modified (if it is a parameter pack). Instructs 356 find_parameter_packs_r to replace parameter packs with 357 ERROR_MARK_NODE (so that they won't cause errors later on). 358 (process_template_parm): Pass pointer to 359 check_for_bare_parameter_packs. 360 (process_partial_specialization): Replace pack expansions before 361 the end of the template argument list with ERROR_MARK_NODE. 362 (push_template_decl_real): Pass pointer to 363 check_for_bare_parameter_packs. Replace parameter packs not at the 364 end of the template parameter list with ERROR_MARK_NODE. 365 (convert_template_argument): Be more careful about using DECL_NAME 366 on only declarations. 367 (unify): Can't unify against ERROR_MARK_NODE. 368 * semantics.c (finish_cond): Pass pointer to 369 check_for_bare_parameter_packs. 370 (finish_expr_stmt): Ditto. 371 (finish_for_expr): Ditto. 372 (finish_switch_cond): Pass pointer to 373 check_for_bare_parameter_packs, and call it before we put the 374 condition into the statement. 375 (finish_mem_initializers): Pass pointer to 376 check_for_bare_parameter_packs. 377 (finish_member_declaration): Ditto. 378 * parser.c (cp_parser_base_clause): Ditto. 379 3802007-11-06 Jakub Jelinek <jakub@redhat.com> 381 382 PR target/33168 383 * decl.c (cp_finish_decl): Call make_rtl_for_nonlocal_decl already 384 with the final TREE_READONLY flag in place. processing_template_decl 385 is known to be 0 in this part of function. 386 387 PR c++/33894 388 * cp-tree.h: Update comment - TYPE_LANG_FLAG_0 is not 389 OMP_ATOMIC_DEPENDENT_P in OMP_ATOMIC. 390 * pt.c (tsubst_expr): Assert OMP_ATOMIC_DEPENDENT_P. 391 * semantics.c (finish_omp_atomic): Revert most of the 392 2007-02-05 changes, just keep the new representation of 393 OMP_ATOMIC_DEPENDENT_P OMP_ATOMIC. 394 3952007-11-05 H.J. Lu <hongjiu.lu@intel.com> 396 397 PR c++/33871 398 * decl2.c (constrain_visibility): Clear DECL_ONE_ONLY if marked 399 local. 400 4012007-11-05 Douglas Gregor <doug.gregor@gmail.com> 402 403 PR c++/33996 404 PR c++/33235 405 PR c++/33930 406 * typeck.c (merge_types): Don't lose rvalue references when 407 merging types. 408 * call.c (build_over_call): Don't elide move constructors just 409 because the copy constructor is trivial (!). 410 (compare_ics): If comparing cv-qualifiers fails, we can still order 411 based on binding lvalues vs. rvalues. 412 4132007-11-05 Douglas Gregor <doug.gregor@gmail.com> 414 415 PR c++/33939 416 * pt.c (unify_pack_expansion): bring handling of function call 417 arguments into line with type_unification_real. 418 4192007-11-05 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 420 421 * typeck.c (build_binary_op): Use pedwarn instead of error for 422 consistency. 423 4242007-11-05 Jakub Jelinek <jakub@redhat.com> 425 426 PR c++/33836 427 * parser.c (cp_parser_unary_expression): For &&label call 428 cp_parser_non_integral_constant_expression and return error_mark_node 429 if it returned true. 430 431 PR c++/33969 432 * decl.c (grokdeclarator): Don't call build_memfn_type if type 433 is neither FUNCTION_TYPE nor METHOD_TYPE. 434 4352007-11-02 Jakub Jelinek <jakub@redhat.com> 436 437 PR c++/33516 438 * parser.c (cp_parser_nested_name_specifier_opt): Use 439 TYPE_MAIN_VARIANT (new_scope) as scope if new_scope is an incomplete 440 typedef of currently open class. 441 4422007-11-02 Paolo Carlini <pcarlini@suse.de> 443 444 PR c++/33495 445 * error.c (dump_expr): Deal specially with statements. 446 4472007-11-01 Jason Merrill <jason@redhat.com> 448 449 PR c++/30897 450 * pt.c (push_template_decl_real): Set DECL_CONTEXT on template 451 template parms. 452 (lookup_template_class): Use it to get the outer template args 453 for instantiating one. 454 455 PR c++/29236 456 * pt.c (reduce_template_parm_level): tsubst the parameters 457 of a template template parm. 458 4592007-11-01 Douglas Gregor <doug.gregor@gmail.com> 460 461 PR c++/33955 462 * pt.c (find_parameter_packs_r): Handle TYPENAME_TYPE. 463 4642007-11-01 Jakub Jelinek <jakub@redhat.com> 465 466 PR c++/32384 467 * parser.c (cp_parser_postfix_dot_deref_expression): If 468 POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor 469 first and if that succeeds and type is SCALAR_TYPE_P, create 470 PSEUDO_DTOR_EXPR. 471 472 PR c++/32260 473 * rtti.c (enum_tinfo_kind): Fix TK_TYPE_INFO_TYPE comment. 474 (typeid_ok_p): Use the same alias set for abi::__type_info_pseudo 475 as for std::type_info. 476 4772007-10-31 Paolo Carlini <pcarlini@suse.de> 478 479 PR c++/33494 480 * cxx-pretty-print.c (pp_cxx_typeid_expression, 481 pp_cxx_delete_expression): Change to static linkage. 482 * cxx-pretty-print.h: Adjust declarations. 483 * error.c (dump_expr, case EXPR_PACK_EXPANSION, TYPEID_EXPR, 484 MEMBER_REF, DOTSTAR_EXPR, DELETE_EXPR, VEC_DELETE_EXPR, 485 MODOP_EXPR): Forward to pp_expression. 486 487 * cxx-pretty-print.c (pp_cxx_expression, case NON_DEPENDENT_EXPR): 488 Fix typo. 489 4902007-10-31 Christian Bruel <christian.bruel@st.com> 491 Mark Mitchell <mark@codesourcery.com> 492 493 PR c++/19531 494 * typeck.c (check_return_expr): Don't set named_return_value_okay_p 495 if retval is volatile. 496 4972007-10-30 Jakub Jelinek <jakub@redhat.com> 498 499 PR c++/33616 500 * decl2.c (build_offset_ref_call_from_tree): Call 501 build_non_dependent_expr on object prior to building ADDR_EXPR from it 502 if FN is DOTSTAR_EXPR. 503 5042007-10-30 Douglas Gregor <doug.gregor@gmail.com> 505 506 PR c++/31993 507 PR c++/32252 508 * pt.c (find_parameter_packs_r): Fix typo in comment. 509 (convert_template_argument): Look at the pattern of a pack 510 expansion to determine what kind of entity we're converting. 511 (coerce_template_parameter_pack): When we have coerced a non-type 512 template parameter pack, substitute into the type of that pack. 513 (tsubst_pack_expansion): When our substitution of a parameter pack 514 is a "trivial" substitution of itself, just substitute into the 515 pack expansion rather than actually expanding. 516 5172007-10-29 Jakub Jelinek <jakub@redhat.com> 518 519 PR c++/33841 520 * class.c (check_bitfield_decl): Don't set field's type to error_mark_node 521 for non-integral type bitfields. Return true if bitfield is correct, false 522 error has been diagnosed. 523 (check_field_decls): If check_bitfield_decl returned false, call also 524 check_field_decl. 525 5262007-10-28 Paolo Carlini <pcarlini@suse.de> 527 Mark Mitchell <mark@codesourcery.com> 528 529 PR c++/30659 530 * pt.c (do_decl_instantiation): If the VAR_DECL is not a 531 class member error out and return. 532 5332007-10-27 Jakub Jelinek <jakub@redhat.com> 534 535 * error.c (reinit_cxx_pp): Initialize cxx_pp->enclosing_scope 536 to current_function_decl rather than 0. 537 538 PR c++/33844 539 * cxx-pretty-print.c (pp_cxx_pm_expression) <case MEMBER_REF>: Print 540 ->* rather than .*. 541 * error.c (dump_expr): Handle MEMBER_REF and DOTSTAR_EXPR. 542 5432007-10-27 Jason Merrill <jason@redhat.com> 544 545 PR c++/5247 546 * call.c (convert_default_arg): Detect recursion. 547 5482007-10-27 Jakub Jelinek <jakub@redhat.com> 549 550 PR c++/33842 551 * cxx-pretty-print.h (pp_cxx_offsetof_expression): New prototype. 552 * cxx-pretty-print.c (pp_cxx_primary_expression): Handle 553 OFFSETOF_EXPR. 554 (pp_cxx_offsetof_expression_1, pp_cxx_offsetof_expression): New 555 functions. 556 * error.c (dump_expr): Handle OFFSETOF_EXPR. 557 5582007-10-26 Jason Merrill <jason@redhat.com> 559 560 PR c++/24791 561 * pt.c (get_template_info): New fn. 562 (template_class_depth): Use it. 563 (push_template_decl_real): Check that the template args of the 564 definition match the args of the previous declaration. 565 5662007-10-26 Paolo Carlini <pcarlini@suse.de> 567 568 PR c++/31988 569 * decl2.c (coerce_new_type): Do not allow a default argument for 570 the first parameter. 571 5722007-10-26 Douglas Gregor <doug.gregor@gmail.com> 573 574 PR c++/33839 575 * parser.c (cp_parser_decltype): Return ERROR_MARK_NODE if we 576 don't see the leading '('. Only lookup names if we get an 577 IDENTIFIER_NODE. 578 5792007-10-26 Jakub Jelinek <jakub@redhat.com> 580 581 PR c++/33744 582 * parser.c (cp_parser_parenthesized_expression_list): Set 583 greater_than_is_operator_p to true in between the parens. 584 5852007-10-26 Paolo Carlini <pcarlini@suse.de> 586 587 PR c++/31747 588 * decl.c (grokdeclarator): In case of conflicting specifiers 589 just return error_mark_node. 590 5912007-10-26 Ollie Wild <aaw@google.com> 592 593 * expr.c (cxx_expand_expr): Removed. 594 * cp-tree.h (exx_expand_expr): Removed. 595 * cp-objcp-common.h (LANK_HOOKS_EXPAND_EXPR): Replace cxx_expand_expr 596 with c_expand_expr. 597 5982007-10-25 Paolo Carlini <pcarlini@suse.de> 599 600 PR c++/33843 601 * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with BIT_NOT_EXPR. 602 6032007-10-23 Jason Merrill <jason@redhat.com> 604 605 PR c++/25950 (DR 391) 606 * call.c (struct conversion): Remove check_copy_constructor_p. 607 (reference_binding): Always bind a reference directly to a 608 compatible class rvalue. Pass down LOOKUP_NO_TEMP_BIND during 609 temporary creation. 610 (check_constructor_callable): Remove. 611 (convert_like_real): Don't call it. 612 (initialize_reference): Don't call check_constructor_callable. 613 (standard_conversion): Check LOOKUP_NO_CONVERSION instead of 614 LOOKUP_CONSTRUCTOR_CALLABLE. Don't require a temporary for base 615 conversions if LOOKUP_NO_TEMP_BIND. 616 (implicit_conversion): Pass through LOOKUP_NO_TEMP_BIND. 617 (build_user_type_conversion_1): Pass through LOOKUP_NO_TEMP_BIND for 618 second conversion. 619 * cp-tree.h (LOOKUP_CONSTRUCTOR_CALLABLE): Remove. 620 6212007-10-22 Jakub Jelinek <jakub@redhat.com> 622 623 PR c++/33372 624 * semantics.c (finish_omp_clauses): Check !type_dependent_expression_p 625 before checking if its type is integral. 626 6272007-10-22 Jason Merrill <jason@redhat.com> 628 629 PR c++/33620 630 * class.c (finish_struct_bits): Copy TYPE_ATTRIBUTES. 631 * pt.c (apply_late_template_attributes): Splice out dependent 632 attributes from DECL_ATTRIBUTES. 633 634 * decl.c (cxx_maybe_build_cleanup): Use build_address. 635 6362007-10-17 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 637 638 * typeck.c (build_binary_op) : Use appropriate warning option 639 instead of unnamed warning. 640 6412007-10-16 Paolo Carlini <pcarlini@suse.de> 642 643 PR c++/31446 644 * pt.c (current_template_args): Do not change TREE_LIST elements 645 with a TREE_VALUE of error_mark_node. 646 6472007-10-16 Mark Mitchell <mark@codesourcery.com> 648 649 * typeck.c (cp_apply_type_quals_to_decl): Expand documentation. 650 * decl.c (start_decl): Tidy. 651 (start_decl_1): Call cp_apply_type_quals_to_decl after completing 652 the type. 653 (grokdeclarator): Clarify comment. 654 6552007-10-14 Andrew Pinski <pinskia@gmail.com> 656 657 PR c++/30303 658 * decl.c (grokfndecl): Return NULL after the "definition of 659 implicitly-declared" error happened. 660 6612007-10-12 Simon Martin <simartin@users.sourceforge.net> 662 663 PR c++/26698 664 * call.c (build_user_type_conversion_1): Do not consider conversion 665 functions to convert a (possibly cv-qualified) object to the (possibly 666 cv-qualified) same object type (or a reference to it), to a (possibly 667 cv-qualified) base class of that type (or a reference to it). 668 6692007-10-12 Paolo Carlini <pcarlini@suse.de> 670 671 * pt.c (tsubst): Use template_parm_level_and_index. 672 6732007-10-12 Jakub Jelinek <jakub@redhat.com> 674 675 PR c++/32121 676 * parser.c (cp_parser_compound_statement): Handle label-declarations 677 at the beginning of the compound statement. 678 (cp_parser_block_declaration): Issue diagnostics about __label__ 679 not at the beginning of a block. 680 6812007-10-11 Paolo Carlini <pcarlini@suse.de> 682 683 PR c++/33461 684 * pt.c (coerce_template_parameter_pack): Do not pass error_mark_node 685 to convert_template_argument. 686 (coerce_template_parms): Return error_mark_node after fixed-length 687 error. 688 (tsubst_decl): Check for error_mark_node the return value of the 689 first tsubst in 'case VAR_DECL'. 690 6912007-10-08 Ollie Wild <aaw@google.com> 692 693 * typeck2.c (digest_init): Call cplus_expand_constant after 694 convert_for_initialization. 695 * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed. 696 * expr.c (cplus_expand_constant): Updated function description. 697 6982007-10-04 Jason Merrill <jason@redhat.com> 699 700 PR c++/20416 701 * call.c (initialize_reference): Handle local static reference 702 temps properly. 703 7042007-10-03 Jason Merrill <jason@redhat.com> 705 706 PR c++/32470 707 * name-lookup.c (push_namespace_with_attrs): Fold back into... 708 (push_namespace): Here. 709 (handle_namespace_attrs): New fn for the attr code. 710 (leave_scope): Don't pop_visibility. 711 * name-lookup.h (struct cp_binding_level): Remove has_visibility. 712 * parser.c (cp_parser_namespace_definition): Call 713 handle_namespace_attrs and pop_visibility as appropriate. 714 715 PR c++/11756 716 * mangle.c (write_type) [TYPEOF_TYPE]: Just sorry. 717 7182007-10-03 Alexandre Oliva <aoliva@redhat.com> 719 720 * decl.c (duplicate_decls): Preserve linkage flags for mere 721 redeclarations of gnu_inline definitions. 722 7232007-10-03 Jason Merrill <jason@redhat.com> 724 725 PR c++/15764 726 * decl.c (wrap_cleanups_r): New fn. 727 (wrap_temporary_cleanups): New fn. 728 (initialize_local_var): Call it. 729 7302007-09-29 Jason Merrill <jason@redhat.com> 731 732 PR c++/33094 733 * decl.c (make_rtl_for_nonlocal_decl): It's ok for a member 734 constant to not have DECL_EXTERNAL if it's file-local. 735 7362007-09-28 Ollie Wild <aaw@google.com> 737 738 Revert 739 2007-09-27 Ollie Wild <aaw@google.com> 740 741 * typeck2.c (digest_init): Call cplus_expand_constant after 742 convert_for_initialization. 743 * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed. 744 * expr.c (cplus_expand_constant): Updated function description. 745 7462007-09-28 Jason Merrill <jason@redhat.com> 747 748 PR c++/10179 749 * class.c (layout_empty_base): Take rli parameter, update 750 rli->record_align if empty base has user-specified alignment. 751 (build_base_field): Pass rli to it. 752 7532007-09-28 Paolo Carlini <pcarlini@suse.de> 754 755 PR c++/33213 756 * error.c (dump_decl): Deal with TYPE_PACK_EXPANSION. 757 7582007-09-28 Paolo Carlini <pcarlini@suse.de> 759 760 PR c++/33118 761 * error.c (dump_expr): Deal with ARGUMENT_PACK_SELECT. 762 (dump_type): Use dump_template_argument for TYPE_ARGUMENT_PACK. 763 (dump_parameters): Just call dump_type for argument packs too. 764 7652007-09-28 Jakub Jelinek <jakub@redhat.com> 766 767 PR c++/31434 768 * tree.c (cp_build_qualified_type_real): Handle TYPE_PACK_EXPANSION 769 qualification by creating qualified PACK_EXPANSION_PATTERN and 770 then calling make_pack_expansion on it. 771 7722007-09-27 Ollie Wild <aaw@google.com> 773 774 * typeck2.c (digest_init): Call cplus_expand_constant after 775 convert_for_initialization. 776 * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed. 777 * expr.c (cplus_expand_constant): Updated function description. 778 7792007-09-27 Jason Merrill <jason@redhat.com> 780 781 PR c++/33571 782 * decl2.c (is_late_template_attribute): Don't crash on unknown 783 attribute. 784 7852007-09-27 Paolo Carlini <pcarlini@suse.de> 786 787 PR c++/33493 788 * error.c (dump_expr): Deal with DELETE_EXPR and VEC_DELETE_EXPR. 789 * cxx-pretty-print.c (pp_cxx_delete_expression): Add missing 790 spaces in the formatting. 791 * cxx-pretty-print.h (pp_cxx_delete_expression): Declare. 792 7932007-09-27 Jakub Jelinek <jakub@redhat.com> 794 795 * error.c (cxx_print_error_function): Add third argument, pass 796 it over to lhd_print_error_function. 797 (cp_print_error_function): If diagnostic->abstract_origin, print 798 virtual backtrace. 799 * cp-tree.h (struct diagnostic_info): New forward decl. 800 (cxx_print_error_function): Add third argument. 801 8022007-09-25 Simon Martin <simartin@users.sourceforge.net> 803 804 PR c++/33207 805 * name-lookup.c (pushtag): Do not create an implicit typedef before 806 the associated type declaration is known to be valid. 807 8082007-09-25 Jakub Jelinek <jakub@redhat.com> 809 810 * tree.c (cxx_printable_name): Compare FUNCTION_DECL uids 811 rather than pointers. 812 8132007-09-24 Danny Smith <dannysmith@user.sourceforge.net> 814 815 PR c++/14688 816 * search.c (check_final_overrider): Fail if 817 targetm.comp_type_attributes returns 0. 818 8192007-09-24 Jason Merrill <jason@redhat.com> 820 821 PR c++/33239 822 * pt.c (resolve_typename_type): Don't look things up in the original 823 template if it would mean losing template arguments. 824 8252007-09-24 Jakub Jelinek <jakub@redhat.com> 826 827 PR c++/33506 828 * cp-tree.h (cxx_type_hash_eq): New prototype. 829 * cp-objcp-common.h (LANG_HOOKS_TYPE_HASH_EQ): Redefine. 830 * tree.c (cxx_type_hash_eq): New function. 831 8322007-09-24 Douglas Gregor <doug.gregor@gmail.com> 833 834 PR c++/33185 835 * tree.c (cp_build_qualified_type_real): Build a canonical 836 ARRAY_TYPE if the original ARRAY_TYPE was not a canonical type. 837 8382007-09-24 Douglas Gregor <doug.gregor@gmail.com> 839 840 PR c++/33112 841 PR c++/33185 842 * tree.c (cplus_array_compare): Compare pointers, not types. 843 (build_cplus_array_type_1): Store new array type into the hash 844 table before building the canonical type; build the canonical type 845 correctly. 846 (cp_build_qualified_type_real): Put all of the array types with 847 cv-qualified element types into the C++ array hash table, built as 848 variants of the unqualified versions. 849 8502007-09-23 Jason Merrill <jason@redhat.com> 851 852 PR c++/16370 853 * decl.c (grokdeclarator): Look through implicit TYPE_DECLs 854 for deprecation warnings. 855 8562007-09-22 Jason Merrill <jason@redhat.com> 857 858 PR c++/15269 859 * call.c (build_over_call): Warn about deprecated virtuals. 860 861 PR c++/19407 862 * cp-tree.h (ATTR_IS_DEPENDENT): New macro. 863 (MAYBE_TAGGED_TYPE_P): Remove. 864 * pt.c (apply_late_template_attributes): Check ATTR_IS_DEPENDENT 865 instead of calling is_late_template_attribute again. 866 (tsubst_decl) [TYPE_DECL]: Just check if the name is the tag. 867 (tsubst): A typedef is a TYPE_NAME != TYPE_MAIN_DECL. 868 Don't crash on typedefs from non-template classes. 869 * decl2.c (grokfield): Don't sorry about attrs on template parms. 870 (is_late_template_attribute): All attributes applied to template 871 parms or typename types are dependent. Static. 872 (splice_template_attributes): Pass decl through. 873 (save_template_attributes): Likewise. 874 8752007-09-20 Jakub Jelinek <jakub@redhat.com> 876 877 PR c++/33496 878 * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Handle error_mark_node 879 returned from tsubst_pack_expansion. 880 (tsubst_copy_and_build) <case SIZEOF_EXPR>: Likewise. 881 (tsubst_copy_and_build) <case CONSTRUCTOR>: Likewise. 882 8832007-09-20 Paolo Carlini <pcarlini@suse.de> 884 885 PR c++/33460 886 * semantics.c (finish_id_expression): Use consistently 887 context_for_name_lookup. 888 * decl.c (fixup_anonymous_aggr): Fix error message for 889 anonymous struct (vs union). 890 8912007-09-19 Jason Merrill <jason@redhat.com> 892 893 PR c++/7586 894 * pt.c (tsubst): Handle typedefs by looking for the specialization. 895 (retrieve_specialization): Only tagged types use 896 DECL_TEMPLATE_INSTANTIATIONS. 897 (instantiate_class_template): Push nested classes too. 898 (tsubst_decl) [TYPE_DECL]: Only check for canonical decl for 899 tagged types. 900 * cp-tree.h (MAYBE_TAGGED_TYPE_P): New macro. 901 * init.c (is_aggr_type): Remove redundant tests. 902 * class.c (push_nested_class): Use CLASS_TYPE_P. 903 9042007-09-20 Paolo Carlini <pcarlini@suse.de> 905 906 PR c++/33459 907 * init.c (build_zero_init): If, recursively, build_zero_init 908 returns a NULL_TREE, do not append it to the VEC of constructors. 909 9102007-09-18 Jason Merrill <jason@redhat.com> 911 912 PR c++/17743 913 * pt.c (apply_late_template_attributes): Set processing_template_decl. 914 (tsubst_decl) [TYPE_DECL]: Preserve naming typedef, pass 915 ATTR_FLAG_TYPE_IN_PLACE. 916 (tsubst): Do unqualified lookup to find typedefs from current class. 917 [ARRAY_TYPE]: Propagate alignment info. 918 * decl2.c (is_late_template_attribute): Only defer handling of 919 attribute aligned if the expression is dependent. 920 (save_template_attributes): If we're deferring any attributes, 921 make this a naming typedef. 922 9232007-09-18 Paolo Carlini <pcarlini@suse.de> 924 925 PR c++/33462 (again) 926 * cxx-pretty-print.c (pp_cxx_va_arg_expression): Print 927 va_arg instead of __builtin_va_arg. 928 9292007-09-18 Paolo Carlini <pcarlini@suse.de> 930 931 PR c++/33462 932 * cxx-pretty-print.c (pp_cxx_va_arg_expression): Add. 933 (pp_cxx_primary_expression): Use it. 934 * cxx-pretty-print.h (pp_cxx_va_arg_expression): Declare. 935 * error.c (dump_expr): Use it. 936 9372007-09-18 Paolo Carlini <pcarlini@suse.de> 938 939 PR c++/33463 940 * cxx-pretty-print.c (pp_cxx_postfix_expression): Split 941 out case TYPEID_EXPR to... 942 (pp_cxx_typeid_expression): ... here; use pp_cxx_left_paren 943 and pp_cxx_right_paren. 944 * cxx-pretty-print.h (pp_cxx_typeid_expression): Declare. 945 * error.c (dump_expr): Use it. 946 9472007-09-18 Paolo Carlini <pcarlini@suse.de> 948 949 PR c++/33464 950 * cxx-pretty-print.c (pp_cxx_trait_expression): Add. 951 (pp_cxx_primary_expression): Use it. 952 * cxx-pretty-print.h (pp_cxx_trait_expression): Declare. 953 * error.c (dump_expr): Use it. 954 9552007-09-16 Paolo Carlini <pcarlini@suse.de> 956 957 PR c++/33124 958 * init.c (build_new): Remove warning for zero-element 959 allocations. 960 9612007-09-16 Nathan Sidwell <nathan@codesourcery.com> 962 963 PR c++/32756 964 * call.c (maybe_handle_implicit_object): Set this_p, clear 965 rvaluedness_matches_p. 966 (compare_ics): Do not compare rvaluedness matching when one of the 967 operands is an implicit object. 968 9692007-09-14 Jason Merrill <jason@redhat.com> 970 971 PR c++/17743, c++/19163 972 * decl2.c (is_late_template_attribute): New fn. 973 (splice_template_attributes, save_template_attributes): New fns. 974 (cplus_decl_attributes): Call save_template_attributes. 975 * pt.c (apply_late_template_attributes): New fn. 976 (instantiate_class_template, tsubst_decl): Use it. 977 * cp-tree.h: Declare is_late_template_attribute. 978 9792007-09-13 Tom Tromey <tromey@redhat.com> 980 981 * parser.c (cp_lexer_new_main): Don't use 982 c_lex_return_raw_strings. 983 (cp_lexer_get_preprocessor_token): Update. Add special case when 984 lexer is NULL. 985 9862007-09-11 Jan Hubicka <jh@suse.cz> 987 988 * method.c (use_thunk): Use tree_rest_of_compilation 989 * cp-objecp-common.h (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Kill. 990 (LANG_HOOKS_CALLGRAPH_EMIT_ASSOCIATED_THUNKS): Define. 991 * cp-tree.h (expand_body): Kill. 992 (emit_associated_thunks): Declare. 993 * semantics.c (emit_associated_thunks): Export. 994 (expand_body): Kill. 995 9962007-09-09 David Daney <ddaney@avtrex.com> 997 998 PR c++/33324 999 * init.c (build_new_1): Use POINTER_PLUS_EXPR instead of MINUS_EXPR 1000 to calculate cookie_ptr. 1001 10022007-09-08 Jason Merrill <jason@redhat.com> 1003 1004 PR c++/33342 1005 * pt.c (most_specialized_class): Set processing_template_decl 1006 while tsubsting partial spec args. 1007 10082007-09-06 Jason Merrill <jason@redhat.com> 1009 1010 * decl2.c (get_guard): Copy visibility from the guarded variable. 1011 10122007-09-06 Jan Hubicka <jh@suse.cz> 1013 1014 * semantics.c (expand_body): Do not mark arguments of clones used. 1015 10162007-09-06 Paolo Carlini <pcarlini@suse.de> 1017 1018 PR c++/32674 1019 * decl.c (cp_finish_decl): When processing_template_decl, 1020 deal correctly with init as TREE_LIST. 1021 10222007-09-06 Tom Tromey <tromey@redhat.com> 1023 1024 * decl.c (finish_function): Put return's location on line zero of 1025 file. 1026 10272007-09-05 Jason Merrill <jason@redhat.com> 1028 1029 PR c++/15745 1030 * except.c (prepare_eh_type): Use type_decays_to. 1031 1032 PR c++/15097 1033 * init.c (build_delete): Use build_headof to get the address of the 1034 complete object if we aren't using the deleting destructor. 1035 * rtti.c (build_headof): No longer static. 1036 * cp-tree.h: Declare it. 1037 10382007-09-06 Jakub Jelinek <jakub@redhat.com> 1039 1040 * decl.c (duplicate_decls): Set TREE_NOTHROW on __builtin_XX 1041 decl if a prototype for XX is provided with throw(). 1042 1043 PR c++/33289 1044 * decl.c (builtin_function_1): Set DECL_ANTICIPATED also 1045 on __*_chk non-__builtin_* decls. 1046 10472007-09-05 Paolo Carlini <pcarlini@suse.de> 1048 1049 PR c++/30302 1050 * semantics.c (finish_id_expression): Use context_for_name_lookup 1051 insted of DECL_CONTEXT, to see through anonymous structs and unions. 1052 * class.c (finish_struct_anon): Deal correctly with anonymous 1053 structs (vs unions, as GNU extension) in error messages. 1054 10552007-09-05 Jan Hubicka <jh@suse.cz> 1056 1057 * sematics.c (expand_body): Remove unnecesary import_export_decl 1058 call, DECL_EXTERNAL checks and current_function_decl saving. 1059 10602007-09-05 Paolo Carlini <pcarlini@suse.de> 1061 1062 PR c++/29731 (again) 1063 * parser.c (cp_parser_primary_expression): Return error_mark_node 1064 when a statement-expression is found in a template-argument list. 1065 10662007-09-04 Jason Merrill <jason@redhat.com> 1067 1068 * except.c (initialize_handler_parm): Use 1069 fold_build_cleanup_point_expr. 1070 1071 PR c++/31419 1072 * call.c (reference_binding): Don't look for user-defined conversions 1073 to the same type. 1074 1075 PR c++/31411 1076 * except.c (initialize_handler_parm): Put a CLEANUP_POINT_EXPR inside 1077 the MUST_NOT_THROW_EXPR. 1078 10792007-09-04 Richard Sandiford <richard@codesourcery.com> 1080 1081 * decl.c (cp_finish_decl): Call determine_visibility before 1082 make_rtl_for_nonlocal_decl. 1083 10842007-09-04 Jason Merrill <jason@redhat.com> 1085 1086 PR c++/14032 1087 * pt.c (most_specialized_class): Substitute outer template 1088 arguments into the arguments of a member template partial 1089 specialization. 1090 (strip_innermost_template_args): New fn. 1091 10922007-09-03 Daniel Jacobowitz <dan@codesourcery.com> 1093 1094 * Make-lang.in (g++spec.o): Remove SHLIB_MULTILIB. 1095 10962007-09-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1097 1098 * call.c (name_as_c_string): Supply a TYPE for CONST_CAST. 1099 * decl.c (cp_make_fname_decl): Likewise, 1100 * parser.c (cp_parser_string_literal): Likewise, 1101 * tree.c (pod_type_p, zero_init_p): Use CONST_CAST_TREE. 1102 * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p): 1103 Likewise, 1104 11052007-09-02 Paolo Carlini <pcarlini@suse.de> 1106 1107 PR c++/33208 1108 * typeck.c (build_unary_op): Fix error message for 1109 Boolean expression as operand to operator--. 1110 11112007-09-01 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1112 1113 * tree.c (pod_type_p, zero_init_p): Use strip_array_types. 1114 * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p): 1115 Likewise. 1116 11172007-08-31 Douglas Gregor <doug.gregor@gmail.com> 1118 1119 PR c++/32597 1120 * init.c (build_default_init): Make extern. 1121 * cp-tree.h (build_default_init): Declare here. 1122 * pt.c (tsubst_expr): When the instantiation of the initializer of 1123 a variable results in an empty list, default-initialize the 1124 variable. 1125 (tsubst_copy_and_build): When the instantiation of the initializer 1126 in a new expression results in an empty initializer list, 1127 default-initialize it. 1128 11292007-08-31 Douglas Gregor <doug.gregor@gmail.com> 1130 1131 * mangle.c (write_type): Change mangling of rvalue reference from 1132 `RR' to `O'. 1133 11342007-08-31 Jakub Jelinek <jakub@redhat.com> 1135 1136 * decl.c (duplicate_decls): Remove duplicated line. 1137 11382007-08-31 Paolo Carlini <pcarlini@suse.de> 1139 1140 PR c++/33210 1141 * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with 1142 BOUND_TEMPLATE_TEMPLATE_PARM. 1143 11442007-08-31 Paolo Carlini <pcarlini@suse.de> 1145 1146 PR c++/32113 1147 * search.c (lookup_member): Check the name argument for 1148 error_mark_node. 1149 11502007-08-31 Paolo Carlini <pcarlini@suse.de> 1151 1152 PR c++/33212 1153 * parser.c (cp_parser_trait_expr): Check rerurn value of 1154 cp_parser_type_id. 1155 11562007-08-30 Ollie Wild <aaw@google.com> 1157 1158 * cvt.c (cp_convert_to_pointer): Remove force parameter. Call 1159 convert_ptrmem for pointer to member conversions. 1160 (convert_to_pointer_force): Update cp_convert_to_pointer call. 1161 (ocp_convert): Update cp_convert_to_pointer call. 1162 * typeck.c (convert_ptrmem): Add conditional for null pointers to 1163 members. 1164 (build_static_cast_1): Check can_convert for conversions in either 1165 direction. 1166 (get_delta_difference_1): New function. 1167 (get_delta_difference): Refactor to call get_delta_difference_1. 1168 11692007-08-30 Jakub Jelinek <jakub@redhat.com> 1170 1171 * decl.c (start_preparsed_function): Set 1172 DECL_DISREGARD_INLINE_LIMITS for GNU_INLINE_P functions. 1173 11742007-08-28 Paolo Carlini <pcarlini@suse.de> 1175 1176 PR c++/33209 1177 * error.c (dump_expr): Deal with TEMPLATE_TYPE_PARM and 1178 BOUND_TEMPLATE_TEMPLATE_PARM. 1179 11802007-08-28 Jakub Jelinek <jakub@redhat.com> 1181 1182 PR c++/32596 1183 PR c++/32400 1184 * pt.c (check_explicit_specialization): Set DECL_INTERFACE_KNOWN 1185 and DECL_NOT_REALLY_EXTERN if tmpl_func is not public. 1186 11872007-08-27 Jason Merrill <jason@redhat.com> 1188 1189 PR c++/29000 1190 * pt.c (build_non_dependent_expr, type_dependent_expression_p): 1191 Look inside STMT_EXPR. 1192 * semantics.c (stmt_expr_value_expr): New fn. 1193 * cp-tree.h: Declare it. 1194 1195 PR c++/28558 1196 * decl.c (groktypename): Ignore attributes applied to class type. 1197 11982007-08-28 Richard Guenther <rguenther@suse.de> 1199 1200 * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS. 1201 12022007-08-28 Gabriel Dos Reis <gdr@integrable-solutions.net> 1203 1204 * error.c (dump_expr): Handle COMPLEX_CST. 1205 * cxx-pretty-print.c (pp_cxx_primary_expression): Likewise. 1206 (pp_cxx_expression): Likewise. 1207 12082007-08-27 Alexandre Oliva <aoliva@redhat.com> 1209 1210 * decl.c (GNU_INLINE_P): New. 1211 (duplicate_decls): Handle gnu_inline. Merge attributes and 1212 some flags in overriding definitions. 1213 (redeclaration_error_message): Handle gnu_inline. 1214 (start_preparsed_function): Likewise. 1215 12162007-08-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1217 1218 * call.c (sufficient_parms_p): Constify. 1219 * class.c (same_signature_p): Likewise. 1220 * cp-gimplify.c (is_invisiref_parm, 1221 cxx_omp_privatize_by_reference): Likewise. 1222 * cp-objcp-common.c (has_c_linkage): Likewise. 1223 * cp-tree.h (NON_THUNK_FUNCTION_CHECK, THUNK_FUNCTION_CHECK, 1224 sufficient_parms_p, same_signature_p, copy_fn_p, move_fn_p, 1225 grok_ctor_properties, nothrow_libfn_p, skip_artificial_parms_for, 1226 num_artificial_parms_for, comp_template_parms, 1227 template_parameter_pack_p, any_dependent_template_arguments_p, 1228 any_type_dependent_arguments_p, any_value_dependent_elements_p, 1229 repo_export_class_p, cxx_omp_privatize_by_reference, pod_type_p, 1230 zero_init_p, member_p, cp_lvalue_kind, 1231 builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p, 1232 varargs_function_p, is_dummy_object, special_function_kind, 1233 string_conv_p, type_unknown_p, comp_except_specs, compparms, 1234 comp_cv_qualification, is_bitfield_expr_with_lowered_type, 1235 unlowered_expr_type, ptr_reasonably_similar, cp_type_readonly, 1236 cp_has_mutable_p, at_least_as_qualified_p, 1237 invalid_nonstatic_memfn_p, lvalue_or_else, lvalue_p): Likewise. 1238 * decl.c (copy_fn_p, move_fn_p, grok_ctor_properties): Likewise. 1239 * except.c (nothrow_libfn_p): Likewise. 1240 * method.c (skip_artificial_parms_for, num_artificial_parms_for): 1241 Likewise. 1242 * pt.c (comp_template_parms, template_parameter_pack_p, 1243 any_type_dependent_arguments_p, any_value_dependent_elements_p, 1244 any_dependent_template_arguments_p): Likewise. 1245 * repo.c (repo_export_class_p): Likewise. 1246 * semantics.c (anon_aggr_type_p): Likewise. 1247 * tree.c (lvalue_p_1, real_lvalue_p, lvalue_p, 1248 builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p, 1249 varargs_function_p, member_p, is_dummy_object, pod_type_p, 1250 zero_init_p, special_function_p): Likewise. 1251 * typeck.c (comp_array_types, type_unknown_p, comp_except_specs, 1252 comp_array_types, at_least_as_qualified_p, comp_cv_qualification, 1253 compparms, invalid_nonstatic_memfn_p, 1254 is_bitfield_expr_with_lowered_type, unlowered_expr_type, 1255 string_conv_p, ptr_reasonably_similar, cp_type_readonly, 1256 cp_has_mutable_p, lvalue_or_else): Likewise. 1257 12582007-08-25 Paolo Bonzini <bonzini@gnu.org> 1259 1260 * decl.c (cp_tree_node_structure): Kill TINST_LEVEL case. 1261 * cp-objcp-common.c (cp_tree_size): Ditto. 1262 * tree.c (cp_walk_subtrees): Ditto 1263 * cp-tree.def (TINST_LEVEL): Go away. 1264 * cp-tree.h (struct tinst_level_s): Rename to struct tinst_level, 1265 move together with other non-tree structs. 1266 (enum cp_tree_node_structure_enum): Nuke TS_CP_TINST_LEVEL. 1267 (union lang_tree_node): Eliminate tinst_level field. 1268 (TINST_DECL, TINST_LOCATION, TINST_IN_SYSTEM_HEADER_P): Annihilate. 1269 (current_instantiation, outermost_tinst_level): Return 1270 a "struct tinst_level *". 1271 1272 * error.c (print_instantiation_partial_context): Change second 1273 parameter to a "struct tinst_level *". Replace accessor macros 1274 with field access. 1275 (print_instantiation_full_context): Likewise. 1276 * lex.c (in_main_input_context): Likewise. 1277 1278 * pt.c (struct pending_templates): New. 1279 (pending_templates, last_pending_template): Use it as a type. 1280 (current_tinst_level): Change typo to "struct tinst_level *" 1281 (reopen_tinst_level): Accept "struct tinst_level *", return decl. 1282 (add_pending_template): Construct a "struct pending_template". 1283 Replace TINST_LEVEL accessor macros with field access. 1284 (push_tinst_level): Likewise, using GGC_NEW instead of make_node. 1285 (pop_tinst_level): Likewise. 1286 (instantiate_pending_templates): Likewise. Factor common code used 1287 when an instantiation has been done. 1288 (outermost_tinst_level): Replace tree_last with loop. 1289 (current_instantiation): Return a "struct tinst_level *". 1290 12912007-08-24 Ollie Wild <aaw@google.com> 1292 1293 * name-lookup.c (add_decl_to_level): Remove addition to vtables chain. 1294 * name-lookup.h (cp_binding_level): Remove vtables member. 1295 12962007-08-24 Richard Guenther <rguenther@suse.de> 1297 1298 * tree.c (cp_cannot_inline_tree_fn): Remove. 1299 * cp-tree.h (cp_cannot_inline_tree_fn): Likewise. 1300 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN): 1301 Remove define. 1302 13032007-08-24 Jakub Jelinek <jakub@redhat.com> 1304 1305 PR c++/32567 1306 * typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return 1307 error_mark_node right away if build_expr_type_conversion 1308 returned it. 1309 1310 PR c++/32898 1311 * name-lookup.c (set_decl_namespace): lookup_qualified_name failure 1312 is error_mark_node rather than NULL_TREE. 1313 * pt.c (check_explicit_specialization): Likewise. 1314 1315 PR c++/31941 1316 * error.c (resolve_virtual_fun_from_obj_type_ref): Handle 1317 TARGET_VTABLE_USES_DESCRIPTORS targets properly. 1318 13192007-08-22 Jason Merrill <jason@redhat.com> 1320 1321 PR c++/29365 1322 * pt.c (outermost_tinst_level): New function. 1323 * lex.c (in_main_input_context): New function. 1324 * cp-tree.h: Declare it. 1325 * decl2.c (constrain_class_visibility): Use it to avoid warning 1326 about uses of the anonymous namespace in the main input file. 1327 13282007-08-21 Jakub Jelinek <jakub@redhat.com> 1329 1330 * init.c (build_new_1): Use get_target_expr instead of save_expr. 1331 13322007-08-20 Pawel Sikora <pluto@pld-linux.org> 1333 1334 PR c++/7302 1335 * class.c (finish_struct_1): Warn when a class has virtual 1336 functions and accessible non-virtual destructor. 1337 13382007-08-20 Richard Guenther <rguenther@suse.de> 1339 1340 PR c++/22369 1341 PR c++/22451 1342 * call.c (build_new_method_call): Convert initializer to 1343 the basetype. 1344 * init.c (build_aggr_init): Do not fiddle with types. 1345 (build_vec_delete_1): Use correct type for POINTER_PLUS_EXPR. 1346 * except.c (build_throw): Do not drop qualifiers for the 1347 pointer type. 1348 * typeck.c (get_member_function_from_ptrfunc): Do not 1349 fiddle with types, instead convert. 1350 (build_ptrmemfunc1): Convert to the target type for 1351 initialization. 1352 (gfc_trans_allocate): Convert result to target type. 1353 * cp-objcp-common.c (cxx_get_alias_set): Pointers to 1354 pointer-to-member structures shall have alias set zero as well. 1355 13562007-08-20 Richard Guenther <rguenther@suse.de> 1357 1358 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P): 1359 Remove. 1360 * cp-tree.h (cp_auto_var_in_fn_p): Remove. 1361 (nonstatic_local_decl_p): Likewise. 1362 * tree.c (cp_auto_var_in_fn_p): Remove. 1363 * decl.c (nonstatic_local_decl_p): Remove. 1364 13652007-08-20 Richard Guenther <rguenther@suse.de> 1366 1367 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_WALK_SUBTREES): 1368 Remove define. 1369 * tree.h (cp_walk_tree): New define to walk_tree_1 with 1370 cp_walk_subtrees lh parameter. 1371 (cp_walk_tree_without_duplicates): New define to 1372 walk_tree_without_duplicates_1 with cp_walk_subtrees lh parameter. 1373 * tree.c (count_trees): Call 1374 cp_walk_tree_without_duplicates. 1375 (verify_stmt_tree): Call cp_walk_tree. 1376 (break_out_target_exprs): Likewise. 1377 (WALK_SUBTREE): Likewise. 1378 * cp-gimplify.c (cp_genericize): Likewise. 1379 * cp-pt.c (find_parameter_packs_r): Likewise. 1380 (uses_parameter_packs): Likewise. 1381 (make_pack_expansion): Likewise. 1382 (check_for_bare_parameter_packs): Likewise. 1383 (for_each_template_parm): Likewise. 1384 * decl.c (check_default_argument): Call 1385 cp_walk_tree_without_duplicates. 1386 * except.c (build_throw): Likewise. 1387 * decl2.c (type_visibility): Likewise. 1388 * semantics.c (expand_or_defer_fn): Likewise. 1389 (finalize_nrv): Call cp_walk_tree. 1390 13912007-08-20 Jakub Jelinek <jakub@redhat.com> 1392 1393 PR c++/33025 1394 * init.c (build_new_1): Rename placement_var variable to placement_expr. 1395 Initialize it with save_expr rather than get_temp_regvar. 1396 13972007-08-17 Andrew Pinski <andrew_pinski@playstation.sony.com> 1398 1399 PR c++/28989 1400 * tree.c (lvalue_p_1 <case SAVE_EXPR>): SAVE_EXPRs are never 1401 lvalues. 1402 14032007-08-17 Ollie Wild <aaw@google.com> 1404 1405 PR c++/31749 1406 * name-lookup.c (do_nonmember_using_decl): Shift implicit type 1407 declarations into appropriate slots for comparison. Fix type 1408 comparison. 1409 14102007-08-17 Paolo Carlini <pcarlini@suse.de> 1411 1412 PR c++/32112 1413 * error.c (dump_decl): Deal with UNBOUND_CLASS_TEMPLATE. 1414 * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise. 1415 14162007-08-17 Paolo Carlini <pcarlini@suse.de> 1417 1418 PR c++/32870 1419 * parser.c (cp_parser_class_head): Improve error message. 1420 14212007-08-16 Seongbae Park <seongbae.park@gmail.com> 1422 1423 * pt.c (instantiate_decl): Set input_location 1424 for the function end. 1425 14262007-08-16 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1427 1428 * cp-objcp-common.c (cxx_warn_unused_global_decl, cp_expr_size): 1429 Constify. 1430 * cp-tree.h (local_variable_p, nonstatic_local_decl_p, 1431 class_tmpl_impl_spec_p, cp_auto_var_in_fn_p, cp_type_quals, 1432 cxx_incomplete_type_diagnostic, cxx_incomplete_type_error, 1433 cxx_warn_unused_global_decl, cp_expr_size): Likewise. 1434 * decl.c (local_variable_p, nonstatic_local_decl_p): Likewise. 1435 * tree.c (class_tmpl_impl_spec_p, cp_auto_var_in_fn_p): Likewise. 1436 * typeck.c (cp_type_quals): Likewise. 1437 * typeck2.c (cxx_incomplete_type_diagnostic, 1438 cxx_incomplete_type_error): Likewise. 1439 14402007-08-16 Paolo Carlini <pcarlini@suse.de> 1441 1442 PR c++/31132 1443 * pt.c (tsubst_friend_function): When check_classfn 1444 returns error_mark_node likewise return it. 1445 14462007-08-15 Jakub Jelinek <jakub@redhat.com> 1447 1448 PR c++/32992 1449 * typeck.c (check_return_expr): Don't NRV optimize vars in 1450 anonymous unions. 1451 * decl.c (finish_function): Comment fix. 1452 14532007-08-15 Paolo Carlini <pcarlini@suse.de> 1454 1455 PR c++/33035 1456 * pt.c (push_template_decl_real): Depending on TYPE_P 1457 use either TYPE_CONTEXT or DECL_CONTEXT. 1458 14592007-08-14 Mark Mitchell <mark@codesourcery.com> 1460 1461 * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if 1462 constructors and destructors return this. 1463 14642007-08-14 Paolo Carlini <pcarlini@suse.de> 1465 1466 PR c++/27211 1467 * decl2.c (check_classfn): Return error_mark_node in case of error; 1468 in that case, do not call add_method. 1469 * decl.c (start_decl): Deal with check_classfn returning 1470 error_mark_node. 1471 (grokfndecl): Likewise. 1472 * pt.c (tsubst_friend_function): Likewise. 1473 14742007-08-14 Andrew Pinski <pinskia@gmail.com> 1475 1476 PR c++/30428 1477 * typeck.c (build_binary_op): Disallow vector float types with 1478 BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR. 1479 14802007-08-11 Ian Lance Taylor <iant@google.com> 1481 1482 * cp-objcp-common.c (cxx_get_alias_set): Change return type to 1483 alias_set_type. 1484 * cp-tree.h (cxx_get_alias_set): Update declaration. 1485 14862007-08-10 Ollie Wild <aaw@google.com> 1487 1488 * name-lookup.c (do_nonmember_using_decl): Print an error for ambiguous 1489 type lookups. 1490 (ambiguous_decl): Construct tree of ambiguous types. Remove extaneous 1491 function parameter. 1492 (unqualified_namespace_lookup): Fix ambiguous_decl call. 1493 (lookup_using_namespace): Fix ambiguous_decl call. 1494 (qualified_lookup_using_namespace): Fix ambiguous_decl call. 1495 14962007-08-10 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1497 1498 * call.c (name_as_c_string): Use CONST_CAST. 1499 * decl.c (build_decl): Likewise. 1500 * parser.c (cp_parser_string_literal): Likewise. 1501 15022007-08-10 Paolo Carlini <pcarlini@suse.de> 1503 1504 PR c++/17763 1505 * error.c (dump_expr): Consistently use the *_cxx_* 1506 variants of the pretty-print functions. 1507 15082007-08-10 Paolo Carlini <pcarlini@suse.de> 1509 1510 PR c++/22256 1511 * decl.c (check_special_function_return_type): Just error 1512 on return type specified for conversion operator. 1513 15142007-08-09 Daniel Berlin <dberlin@dberlin.org> 1515 1516 * typeck2.c (readonly_error): Handle general expressions. 1517 * error.c (dump_expr): Handle POINTER_PLUS_EXPR 1518 15192007-08-06 Dan Hipschman <dsh@google.com> 1520 1521 * method.c (use_thunk): Use DECL_NAME instead of DECL_RTL to 1522 access function name. 1523 15242007-08-04 Alfred Minarik <a.minarik@aon.at> 1525 1526 PR pch/13676 1527 * lang-specs.h: Add .hp, .hxx, .hpp, .h, .HPP, .tcc as c++ header. 1528 * g++spec.c (lang_specific_driver): Check them. 1529 15302007-08-06 Paolo Carlini <pcarlini@suse.de> 1531 1532 PR c++/19532 1533 * pt.c (inline_needs_template_parms): Fix comment; change return type 1534 to bool. 1535 15362007-08-05 Volker Reichelt <v.reichelt@netcologne.de> 1537 1538 Revert: 1539 2007-03-26 Dirk Mueller <dmueller@suse.de> 1540 1541 * parser.c (cp_parser_member_declaration): Pedwarn 1542 about stray semicolons after member declarations. 1543 15442007-08-02 Lee Millward <lee.millward@gmail.com> 1545 1546 PR c++/30849 1547 PR c++/30850 1548 PR c++/30851 1549 * parser.c (cp_parser_asm_definition): Detect and discard asm 1550 statements with invalid inputs or outputs. 1551 (cp_parser_asm_operand_list): Return error mark node if any 1552 of the operands are invalid. Adjust documentation. 1553 15542007-08-02 Nick Clifton <nickc@redhat.com> 1555 1556 * typeck.c: Change copyright header to refer to version 3 of the 1557 GNU General Public License and to point readers at the COPYING3 1558 file and the FSF's license web page. 1559 * optimize.c, lang-specs.h, init.c, class.c, repo.c, decl.c, 1560 config-lang.in, cp-tree.def, call.c, decl.h, ptree.c, 1561 Make-lang.in, method.c, rtti.c, cp-objcp-common.c, g++spec.c, 1562 cp-objcp-common.h, except.c, error.c, operators.def, cvt.c, 1563 tree.c, mangle.c, cp-tree.h, dump.c, search.c, friend.c, expr.c, 1564 cp-gimplify.c, cxx-pretty-print.c, cp-lang.c, typeck2.c, pt.c, 1565 cxx-pretty-print.h, semantics.c, name-lookup.c, lex.c, decl2.c, 1566 name-lookup.h, parser.c: Likewise. 1567 15682007-08-01 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1569 1570 PR middle-end/32668 1571 * call.c (magic_varargs_p): Honor the "type generic" attribute. 1572 15732007-07-30 Paolo Carlini <pcarlini@suse.de> 1574 1575 PR c++/32108 1576 * semantics.c (finish_label_stmt): Reject the __label__ 1577 extension outside function scopes. 1578 15792007-07-29 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1580 1581 * parser.c (eof_token): Un-constify. 1582 (cp_lexer_new_main, cp_lexer_new_from_tokens, VEC_alloc, 1583 cp_lexer_consume_token, cp_lexer_purge_token): Remove spurious 1584 casts. 1585 15862007-07-28 Kazu Hirata <kazu@codesourcery.com> 1587 1588 * pt.c, tree.c, typeck2.c: Fix comment typos. 1589 15902007-07-28 Simon Martin <simartin@users.sourceforge.net> 1591 Mark Mitchell <mark@codesourcery.com> 1592 1593 PR c++/30917 1594 * name-lookup.c (lookup_name_real): Non namespace-scope bindings can be 1595 hidden due to friend declarations in local classes. 1596 15972007-07-27 Douglas Gregor <doug.gregor@gmail.com> 1598 1599 * typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes. 1600 * cp-tree.def (DECLTYPE_TYPE): New. 1601 * error.c (dump_type): Dump DECLTYPE_TYPE nodes. 1602 (dump_type_prefix): Ditto. 1603 (dump_type_suffix): Ditto. 1604 * tree.c (DECLTYPE_TYPE): Walk DECLTYPE_TYPE nodes. 1605 * mangle.c (write_type): Handle DECLTYPE_TYPE. 1606 * cp-tree.h (IS_AGGR_TYPE): DECLTYPE_TYPE nodes can be aggregate 1607 types. 1608 (DECLTYPE_TYPE_EXPR): New. 1609 (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): New. 1610 (finish_declared_type): Declare. 1611 * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Print 1612 DECLTYPE_TYPE nodes. 1613 (pp_cxx_type_id): Ditto. 1614 * pt.c (for_each_template_parm_r): Walk DECLTYPE_TYPE children. 1615 (tsubst): Substitute into a DECLTYPE_TYPE node. 1616 (tsubst_copy): Ditto. 1617 (unify): Cannot deduce anything from TYPEOF_TYPE or DECLTYPE_TYPE 1618 nodes. 1619 (dependent_type_p_r): DECLTYPE_TYPE types are always dependent. 1620 * semantics.c (finish_typeof): TYPEOF_TYPE types need to use 1621 structural equality (because we can't hash the expressions). 1622 (finish_declared_type): New. 1623 * lex.c (reswords): Add "decltype" keyword. 1624 * parser.c cp_lexer_next_token_is_decl_specifier_keyword 1625 (cp_parser_postfix_expression): Add member_access_only_p to 1626 restrict postfix expression to member access expressions. 1627 (cp_parser_unary_expression): Update call to 1628 cp_parser_postfix_expression to reflect new parameter. 1629 (cp_parser_declared_type): New. 1630 (cp_parser_simple_type_specifier): Parse decltype types. 1631 16322007-07-27 Mark Mitchell <mark@codesourcery.com> 1633 1634 PR c++/32346 1635 * call.c (convert_for_arg_passing): Only widen bitfields to their 1636 declared types if necessary. 1637 16382007-07-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1639 1640 * parser.c (cp_parser_string_literal, cp_parser_sizeof_operand): 1641 Constify. 1642 16432007-07-25 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 1644 1645 * decl.c (typename_hash, typename_compare): Constify. 1646 * mangle.c (hash_type, compare_type): Likewise. 1647 * pt.c (eq_local_specializations, hash_local_specialization): 1648 Likewise. 1649 * tree.c (cplus_array_hash, cplus_array_compare, list_hash_eq, 1650 list_hash): Likewise. 1651 * typeck2.c (pat_compare): Likewise. 1652 16532007-07-24 Nathan Sidwell <nathan@codesourcery.com> 1654 1655 * method.c (implicitly_declare_fn): Increase alignment if member 1656 function pointer format requires it. 1657 16582007-07-24 Paolo Carlini <pcarlini@suse.de> 1659 1660 PR c++/29001 1661 * typeck.c (check_return_expr): Do not pass a null argument 1662 to null_ptr_cst_p. 1663 16642007-07-24 Paolo Carlini <pcarlini@suse.de> 1665 1666 PR c++/32561 1667 * decl.c (redeclaration_error_message): Call DECL_ANON_UNION_VAR_P 1668 only on VAR_DECL. 1669 16702007-07-22 Nathan Sidwell <nathan@codesourcery.com> 1671 1672 PR c++/32839 1673 * typeck.c (convert_arguments): Only use default args if we have 1674 a function decl. 1675 1676 PR c++/30818 1677 * typeck.c (structural_comptypes): No need to check 1678 resolve_typename_type return value here. 1679 * cp-tree.h (TYPENAME_IS_RESOLVING_P): New. 1680 * pt.c (resolve_typename_type): Follow typename typedefs. Return 1681 original type rather than error_mark_node in case of failure. 1682 * parser.c (cp_parser_nested_name_specifier_opt): Adjust 1683 resolve_typename_type result check. 1684 (cp_parser_direct_declarator, cp_parser_head, 1685 cp_parser_constructor_declarator_p): Likewise. 1686 16872007-07-12 Kazu Hirata <kazu@codesourcery.com> 1688 1689 * pt.c (template_parms_variadic_p): Remove. 1690 * cp-tree.h: Remove the prototype for template_parms_variadic_p. 1691 16922007-07-12 Jakub Jelinek <jakub@redhat.com> 1693 1694 PR c++/30854 1695 * error.c (dump_expr) <case AGGR_INIT_EXPR>: Pass true as last 1696 argument to dump_aggr_init_expr_args instead of false. 1697 16982007-07-11 Douglas Gregor <doug.gregor@gmail.com> 1699 1700 * typeck.c (comptypes): When USE_CANONICAL_TYPES, use the 1701 canonical types; otherwise, fall back to structural type 1702 comparisons. If ENABLE_CHECKING and USE_CANONICAL_TYPES, give an 1703 internal compiler error if the canonical types are wrong. 1704 17052007-07-11 Paolo Carlini <pcarlini@suse.de> 1706 1707 PR c++/32560 1708 * parser.c (cp_parser_make_indirect_declarator): When the 1709 the code argument is ERROR_MARK return cp_error_declarator. 1710 17112007-07-09 Geoffrey Keating <geoffk@apple.com> 1712 1713 PR 32617 1714 * decl.c (cxx_init_decl_processing): Don't set 1715 force_align_functions_log. 1716 (grokfndecl): Honour ptrmemfunc_vbit_in_pfn. 1717 * typeck.c (cxx_alignof_expr): When alignof is used on a plain 1718 FUNCTION_DECL, return its alignment. 1719 17202007-07-09 Richard Guenther <rguenther@suse.de> 1721 1722 * decl.c (start_preparsed_function): Do not promote return type. 1723 17242007-07-08 Paolo Carlini <pcarlini@suse.de> 1725 1726 PR c++/30535 1727 * pt.c (unify): Never pass error_mark_node to template_decl_level. 1728 17292007-07-07 Mark Mitchell <mark@codesourcery.com> 1730 1731 PR c++/32232 1732 * pt.c (resolve_overloaded_unification): Robustify. Return a 1733 bool, not an int. 1734 (type_unification_real): Adjust accordingly. 1735 17362007-07-06 Richard Guenther <rguenther@suse.de> 1737 1738 * init.c (build_new_1): Use the correct pointer type. 1739 * typeck2.c (build_m_component_ref): Likewise. 1740 17412007-07-05 Mark Mitchell <mark@codesourcery.com> 1742 1743 PR c++/32245 1744 * init.c (build_zero_init): Always build an initializer for 1745 non-static storage. 1746 * typeck2.c (build_functional_cast): Use build_zero_init. 1747 1748 PR c++/32251 1749 * init.c (build_new_1): Always pass the allocation function to 1750 build_op_delete_call. 1751 * call.c (build_op_delete_call): Handle operator delete with a 1752 variable-argument list. Do not issue an error when no matching 1753 deallocation function is available for a new operator. 1754 1755 PR c++/31992 1756 * cp-tree.h (any_value_dependent_elements_p): Declare it. 1757 * decl.c (value_dependent_init_p): New function. 1758 (cp_finish_decl): Use it. 1759 * pt.c (value_dependent_expression_p): Use 1760 any_value_dependent_elements_p. 1761 * parser.c (cp_parser_primary_expression): Add comment about 1762 treating dependent qualified names as integral 1763 constant-expressions. 1764 17652007-07-04 Douglas Gregor <doug.gregor@gmail.com> 1766 1767 * decl.c (build_ptrmemfunc_type): Always use structural equality 1768 tests when comparing pointer-to-member-function types, because the 1769 handling of TYPE_GET_PTRMEMFUNC_TYPE currently defeats canonical 1770 types. 1771 17722007-07-03 Mark Mitchell <mark@codesourcery.com> 1773 1774 * init.c (build_new): Tweak comment. 1775 17762007-06-29 Dave Brolley <brolley@redhat.com> 1777 1778 PR c++/31743 1779 * parser.c (cp_parser_new_type_id): Don't reduce a named array 1780 type to its base type and number of elements here. 1781 * init.c (build_new): Call complete_type_or_else to ensure that the 1782 type is complete and to issue a diagnostic if it is not. 1783 (build_new_1): Don't call complete_type_or_else here. 1784 17852007-07-03 Richard Guenther <rguenther@suse.de> 1786 1787 PR c++/32609 1788 * class.c (fixed_type_or_null): Re-lookup the hashtable slot 1789 after recursing. 1790 17912007-07-02 Simon Baldwin <simonb@google.com> 1792 1793 * parser.c (cp_parser_elaborated_type_specifier): Added a warning 1794 for inner-style nested forward declarations that don't declare 1795 anything useful. 1796 17972007-07-02 Jakub Jelinek <jakub@redhat.com> 1798 1799 PR c++/31748 1800 * semantics.c (finish_omp_clauses): Use %qD instead of %qE for 1801 DECL_P in not a variable and appears more than once error messages. 1802 18032007-07-01 Ollie Wild <aaw@google.com> 1804 1805 * name-lookup.c (ambiguous_decl): Fix case when new->value is hidden. 1806 (select_decl): Remove function. 1807 (unqualified_namespace_lookup): Populate binding by calling 1808 ambiguous_decl. Remove select_decl call. 1809 (lookup_qualified_name): Remove select_decl call. 1810 * decl.c (lookup_and_check_tag): Check for ambiguous references. 1811 * parser.c (cp_parser_elaborated_type_specifier): Skip redundant error 1812 generation when name lookup is ambiguous. 1813 18142007-06-29 Douglas Gregor <doug.gregor@gmail.com> 1815 1816 PR c++/31724 1817 * init.c (build_new_1): Use structural equality on the copy of the 1818 array type. 1819 18202007-06-28 Geoffrey Keating <geoffk@apple.com> 1821 1822 * decl2.c (determine_visibility): Implement 1823 flag_visibility_ms_compat effect on type info. 1824 * decl.c (cxx_init_decl_processing): Implement 1825 global effect of flag_visibility_ms_compat. 1826 18272007-06-28 Geoffrey Keating <geoffk@apple.com> 1828 1829 * decl2.c (start_objects): Mark constructor-running function 1830 as artificial. 1831 18322007-06-26 Simon Martin <simartin@users.sourceforge.net> 1833 1834 PR c++/32111 1835 * decl.c (grokdeclarator): Reset friendp for member functions declared 1836 friend of their own class. 1837 18382007-06-23 Mark Mitchell <mark@codesourcery.com> 1839 1840 * decl2.c (determine_visibility): Don't look for dllexport here. 1841 (determine_visibility_from_class): Tidy. 1842 18432007-06-18 Simon Baldwin <simonb@google.com> 1844 1845 PR c++/31923 1846 * parser.c (cp_parser_single_declaration): Added check for storage 1847 class other than sc_none in parsed declaration, and a flag to indicate 1848 if the call is part of an explicit template specialization parse. 1849 * (cp_parser_explicit_specialization): Specialization check flag added 1850 to call to cp_parser_single_declaration(), set true. 1851 * (cp_parser_template_declaration_after_export): Specialization check 1852 flag added to call to cp_parser_single_declaration(), set false. 1853 * pt.c (check_explicit_specialization): Added code to copy visiblity 1854 and linkage from the templated function to the explicit specialization. 1855 18562007-06-15 Andrew Pinski <andrew_pinski@playstation.sony.com> 1857 1858 * typeck.c (build_binary_op): For templates build the 1859 expression in pieces to avoid the assert in build2_stat. 1860 (get_member_function_from_ptrfunc): 1861 Change over to using POINTER_PLUS_EXPR and convert 1862 the second operand to sizetype. 1863 * typeck2.c (build_m_component_ref): Likewise. 1864 * init.c (expand_virtual_init): Create a POINTER_PLUS_EXPR 1865 instead of PLUS_EXPR for pointers. 1866 (build_new_1): Likewise. 1867 (build_vec_delete_1): Likewise. 1868 (build_vec_delete): Likewise. 1869 * class.c (build_base_path): Likewise. 1870 (build_base_path): Likewise. 1871 (convert_to_base_statically): Likewise. 1872 (fixed_type_or_null): Handle POINTER_PLUS_EXPR. 1873 (get_vtbl_decl_for_binfo): Handle POINTER_PLUS_EXPR 1874 instead of PLUS_EXPR. 1875 (dfs_accumulate_vtbl_inits): Create a POINTER_PLUS_EXPR 1876 instead of PLUS_EXPR for pointers. 1877 * call.c (build_special_member_call): Likewise. 1878 * rtti.c (build_headof): Likewise. 1879 Use sizetype instead of ptrdiff_type_node. 1880 (tinfo_base_init): Create a POINTER_PLUS_EXPR 1881 instead of PLUS_EXPR for pointers. 1882 * except.c (expand_start_catch_block): Do a 1883 NEGATIVE and then a POINTER_PLUS_EXPR instead 1884 of a MINUS_EXPR. 1885 * cp-gimplify.c (cxx_omp_clause_apply_fn): Convert 1886 PLUS_EXPR on pointer types over to use 1887 POINTER_PLUS_EXPR and remove the conversion 1888 to the pointer types. 1889 * method.c (thunk_adjust): Use POINTER_PLUS_EXPR for 1890 adding to a pointer type. Use size_int instead of 1891 ssize_int. Convert the index to sizetype before 1892 adding it to the pointer. 1893 18942007-06-15 Mark Mitchell <mark@codesourcery.com> 1895 1896 * cp-tree.h (DECL_VAR_MARKED_P): Remove. 1897 (DECL_ANON_UNION_VAR_P): New macro. 1898 * class.c (fixed_type_or_null): Tidy. Use a hash table, rather 1899 than DECL_VAR_MARKED_P, to keep track of which variables we have 1900 seen. 1901 * decl.c (redeclaration_error_message): Complain about redeclaring 1902 anonymous union members at namespace scope. 1903 * decl2.c (build_anon_union_vars): Set DECL_ANON_UNION_VAR_P. 1904 19052007-06-14 Geoff Keating <geoffk@apple.com> 1906 1907 * decl2.c (determine_visibility): Ensure that functions with 1908 hidden types as parameters are hidden. 1909 1910 PR 31093 1911 * decl2.c (determine_visibility): Remove duplicate code for 1912 handling type info. 1913 19142007-06-12 Ian Lance Taylor <iant@google.com> 1915 1916 PR libstdc++/29286 1917 * init.c (avoid_placement_new_aliasing): New static function. 1918 (build_new_1): Call it. 1919 19202007-06-11 Rafael ��vila de Esp��ndola <espindola@google.com> 1921 1922 * cp-objcp-common.h (LANG_HOOKS_SIGNED_TYPE): Remove. 1923 (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove. 1924 19252007-06-08 Jakub Jelinek <jakub@redhat.com> 1926 1927 PR c++/32177 1928 * semantics.c (finish_omp_for): Call fold_build_cleanup_point_expr 1929 on init, the non-decl cond operand and increment value. 1930 19312007-06-07 Simon Martin <simartin@users.sourceforge.net> 1932 1933 PR c++/30759 1934 * decl.c (check_initializer): Report an error when a brace enclosed 1935 initializer is used for a non-aggregate type in C++98. 1936 (redeclaration_error_message): Rewrote flag_cpp0x in terms of 1937 cxx_dialect. 1938 (grokdeclarator): Likewise. 1939 (move_fn_p): Likewise. 1940 * typeck.c (check_return_expr): Likewise. 1941 * call.c (reference_binding): Likewise. 1942 * error.c (cp_cpp_error): Likewise. 1943 * pt.c (check_default_tmpl_args): Likewise. 1944 (tsubst): Likewise. 1945 * lex.c (init_reswords): Likewise. 1946 * parser.c (p_parser_primary_expression): Likewise. 1947 (TOKEN_PRECEDENCE): Likewise. 1948 (cp_parser_init_declarator): Likewise. 1949 (cp_parser_ptr_operator): Likewise. 1950 (cp_parser_parameter_declaration): Likewise. 1951 (cp_parser_enclosed_template_argument_list): Likewise. 1952 (cp_parser_skip_to_end_of_template_parameter_list): Likewise. 1953 (cp_parser_next_token_ends_template_argument_p): Likewise. 1954 19552007-06-04 Simon Baldwin <simonb@google.com> 1956 1957 * decl.c (grokdeclarator): Readability change. Moved case labels 1958 into direct switch statement scope. 1959 19602007-06-04 Paolo Carlini <pcarlini@suse.de> 1961 1962 * call.c (convert_like_real): Remove pointless code. 1963 19642007-05-31 Mark Mitchell <mark@codesourcery.com> 1965 1966 * decl.c (get_atexit_fn_ptr_type): New function. 1967 (get_atexit_node): Use it. 1968 (start_cleanup_fn): Likewise. 1969 (register_dtor_fn): Use the object's destructor, instead of a 1970 separate cleanup function, where possible. 1971 * cp-tree.h (CPTI_ATEXIT_FN_PTR_TYPE): New enumerator. 1972 (atexit_fn_ptr_type_node): New macro. 1973 * decl2.c (build_cleanup): Use build_address. 1974 19752007-05-31 Daniel Berlin <dberlin@dberlin.org> 1976 1977 * typeck.c (build_binary_op): Include types in error. 1978 19792007-05-31 Jakub Jelinek <jakub@redhat.com> 1980 1981 PR c++/31806 1982 * decl.c (cp_finish_decl): Also clear was_readonly if a static var 1983 needs runtime initialization. 1984 19852007-05-31 Paolo Carlini <pcarlini@suse.de> 1986 1987 PR c++/32158 1988 * semantics.c (finish_trait_expr): Complete the types. 1989 19902007-05-30 Russell Yanofsky <russ@yanofsky.org> 1991 Douglas Gregor <doug.gregor@gmail.com> 1992 Pedro Lamarao <pedro.lamarao@mndfck.org> 1993 Howard Hinnant <howard.hinnant@gmail.com> 1994 1995 PR c++/7412 1996 PR c++/29939 1997 * typeck.c (comptypes): Don't consider rvalue and lvalue 1998 reference types to be equivalent. 1999 (check_return_expr): Move from certain lvalues when returning 2000 them. 2001 * decl.c (grokdeclarator): Implement reference collapsing. 2002 (copy_fn_p): Don't consider constructors taking rvalue references 2003 to be copy constructors. 2004 (move_fn_p): New. 2005 * call.c (conversion): New "rvaluedness_matches_p" member. 2006 (convert_class_to_reference): Require reference type as first 2007 parameter instead of base type. 2008 (reference_binding): Add logic to handle rvalue references. 2009 (implicit_conversion): Update inaccurate comment. 2010 (convert_like_real): Disable creation of temporaries that are 2011 impossible to initialize for types with move constructors. 2012 (build_over_call): Elide move constructors when possible. 2013 (maybe_handle_implicit_object): Set "rvaluedness_matches_p". 2014 (maybe_handle_ref_bind): Return conversion instead of type node. 2015 (compare_ics): Add logic to use "rvaluedness_matches_p" values to 2016 determine preferred conversion sequences. 2017 * cp-tree.h (TYPE_REF_IS_RVALUE): New. 2018 (LOOKUP_PREFER_RVALUE): New. 2019 (DECL_MOVE_CONSTRUCTOR_P): New. 2020 (struct cp_declarator): Add "reference" member for reference 2021 types, with new "rvalue_ref" flag. 2022 (cp_build_reference_type): Declare. 2023 (move_fn_p): Declare. 2024 * error.c (dump_type_prefix): Format rvalue reference types 2025 correctly in error messages. 2026 * except.c (build_throw): Move from certain lvalues when 2027 throwing. 2028 * mangle.c (write_type): Mangle rvalue references differently 2029 than regular references. 2030 * parser.c (make_reference_declarator): Add boolean parameter for 2031 rvalue references. 2032 (cp_parser_make_indirect_declarator): New. 2033 (cp_parser_new_declarator_opt): Call 2034 cp_parser_make_indirect_declarator. 2035 (cp_parser_conversion_declarator_opt): Ditto. 2036 (cp_parser_declarator): Ditto. 2037 (cp_parser_ptr_operator): Parse "&&" tokens into rvalue reference 2038 declarators. 2039 * pt.c (tsubst): Implement reference collapsing. 2040 (maybe_adjust_types_for_deduction): Implement special template 2041 parameter deduction rule for rvalue references. 2042 (type_unification_real): Update calls to 2043 maybe_adjust_types_for_deduction. 2044 (try_one_overload): Ditto. 2045 (unify_pack_expansion): Ditto. 2046 * tree.c (lvalue_p_1): Handle rvalue reference types. 2047 (cp_build_reference_type): New. 2048 20492007-05-30 Jakub Jelinek <jakub@redhat.com> 2050 2051 PR c++/31809 2052 * decl.c (cp_finish_decl): Clear TREE_READONLY flag on TREE_STATIC 2053 variables that need runtime initialization. 2054 20552007-05-28 Andrew Pinski <Andrew_pinski@playstation.sony.com> 2056 2057 PR c++/31339 2058 * typeck.c (build_unary_op <case PREINCREMENT_EXPR, 2059 case POSTINCREMENT_EXPR, case PREDECREMENT_EXPR, 2060 case POSTDECREMENT_EXPR>): Return the error_mark_node 2061 if either the real or imaginary parts would an 2062 error_mark_node. 2063 20642007-05-25 Simon Martin <simartin@users.sourceforge.net> 2065 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2066 2067 PR c++/31745 2068 * parser.c (cp_parser_skip_to_closing_brace): Return true if the next 2069 token is a closing brace, false if there are no tokens left. 2070 (cp_parser_namespace_alias_definition): Only consume the next token if 2071 it is a closing brace. 2072 2073 * parser.c (cp_parser_class_specifier): Likewise. 2074 20752007-05-25 H.J. Lu <hongjiu.lu@intel.com> 2076 2077 * semantics.c (finish_member_declaration): Fix a typo in the 2078 last checkin. 2079 20802007-05-25 Douglas Gregor <doug.gregor@gmail.com> 2081 2082 PR c++/31431 2083 PR c++/31432 2084 PR c++/31434 2085 PR c++/31435 2086 PR c++/31437 2087 PR c++/31438 2088 PR c++/31442 2089 PR c++/31443 2090 PR c++/31444 2091 PR c++/31445 2092 * error.c (dump_type): Dump TYPE_ARGUMENT_PACK nodes. 2093 * cp-tree.h (check_for_bare_parameter_packs): Returns bool. 2094 * pt.c (check_for_bare_parameter_packs): Return bool indicated 2095 whether everything was okay. Fix indentation. 2096 (push_template_decl_real): Check for bare parameter packs in 2097 function parameters; where errors occur, mark the parameter types 2098 with ERROR_MARK_NODEs to avert ICEs. 2099 (coerce_template_parameter_pack): New. 2100 (coerce_template_parms): Moved parameter pack coercion into 2101 coerce_template_parameter_pack, and permit it anywhere in the 2102 template parameter list (not just at the end). Parameter and 2103 argument indices can vary (somewhat) separately now, so add 2104 PARM_IDX and ARG_IDX. 2105 (fn_type_unification): Don't set an argument pack as incomplete if 2106 no argument pack was deduced. 2107 (type_unification_real): If a type parameter is a parameter pack 2108 and has not otherwise been deduced, it will be deduced to an empty 2109 parameter pack. 2110 (more_specialized_fn): Use the actual lengths of the argument 2111 lists when comparing against expansions. 2112 * semantics.c (finish_member_declaration): If a field's type has 2113 bare parameter packs, error and set its type to ERROR_MARK_NODE. 2114 21152007-05-24 Danny Smith <dannysmith@users.sourceforge.net> 2116 2117 PR target/27067 2118 * mangle.c (mangle_decl): Call targetm.mangle_decl_assembler_name. 2119 21202007-05-22 Ollie Wild <aaw@google.com> 2121 2122 * name-lookup.c (ambiguous_decl): Adds check for hidden types. 2123 (unqualified_namespace_lookup): Adds check for hidden types. 2124 21252007-05-22 Ollie Wild <aaw@google.com> 2126 2127 * decl.c (duplicate_decls): Verify namespace names are unique. 2128 21292007-05-21 Mark Mitchell <mark@codesourcery.com> 2130 2131 * decl.c (cxx_maybe_build_cleanup): Handle 2132 __attribute__((cleanup)). 2133 21342007-05-19 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2135 2136 * cvt.c (cp_convert_and_check): Don't check warnings if the 2137 conversion failed. 2138 21392007-05-18 Geoffrey Keating <geoffk@apple.com> 2140 2141 * mangle.c (write_real_cst): Use 'unsigned long' for %lx. 2142 21432007-05-14 Paolo Carlini <pcarlini@suse.de> 2144 2145 PR c++/29928 2146 * rtti.c (get_tinfo_decl_dynamic, get_typeid): Try to complete the 2147 type only if is a class type (5.2.8/4). 2148 21492007-05-14 Rafael ��vila de Esp��ndola <espindola@google.com> 2150 2151 * cp-objcp-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove. 2152 * decl.c (grokdeclarator): Use unsigned_type_for instead of 2153 c_common_unsigned_type. 2154 21552007-05-11 Silvius Rus <rus@google.com> 2156 2157 * typeck.c (build_indirect_ref): Add call to 2158 strict_aliasing_warning. 2159 (build_reinterpret_cast_1): Condition call to 2160 strict_aliasing_warning. 2161 21622007-05-11 Jan Hubicka <jh@suse.cz> 2163 2164 * semantics.c (expand_or_defer_fn): Do not call c_record_cdtor_fn. 2165 * decl2.c (start_objects): ctors and dtors are no longer public. 2166 (cp_write_global_declarations): Do not call c_build_cdtor_fns. 2167 21682007-05-07 Andrew Pinski <andrew_pinski@playstation.sony.com> 2169 2170 * typeck.c (build_unary_op): Remove code that used to 2171 handle non lvalue increments/decrements. 2172 21732007-05-07 Mike Stump <mrs@apple.com> 2174 2175 * parser.c (check_empty_body): Add. 2176 (cp_parser_iteration_statement): Add call to check_empty_body. 2177 21782007-05-05 Geoffrey Keating <geoffk@apple.com> 2179 2180 PR 31775 2181 * mangle.c (write_mangled_name): Mangle static variable names. 2182 (write_unqualified_name): Use local-source-name for 2183 namespace-scope static variables. 2184 21852007-05-04 Dirk Mueller <dmueller@suse.de> 2186 2187 * cp-tree.h (DECL_MAIN_P): only if -ffreestanding is 2188 not in effect. 2189 21902007-05-02 Seongbae Park <seongbae.park@gmail.com> 2191 2192 PR c++/31663 2193 * decl2.c (constrain_class_visibility): 2194 Use strip_pointer_or_array_types instead of strip_array_types. 2195 21962007-04-28 Andrew Pinski <andrew_pinski@playstation.sony.com> 2197 2198 PR C++/30221 2199 * decl.c (reshape_init_r): Don't reshape the first element if it 2200 is a pointer to member function. 2201 22022007-04-27 Simon Baldwin <simonb@google.com> 2203 2204 * decl.c (grokparms): Changed message format from %qD to %qE. 2205 22062007-04-27 Douglas Gregor <doug.gregor@gmail.com> 2207 2208 * error.c (maybe_warn_variadic_templates): Variadic templates are 2209 now in C++0x, so only warn about them in C++98 mode. 2210 22112007-04-26 Andrew Pinski <andrew_pinski@playstation.sony.com> 2212 2213 PR C++/30016 2214 * typeck.c (build_reinterpret_cast_1): Only allow conversion to 2215 integeral types from vectors types. 2216 22172007-04-26 Jakub Jelinek <jakub@redhat.com> 2218 2219 PR c++/31598 2220 * semantics.c (finish_omp_clauses): Don't create CP_OMP_CLAUSE_INFO 2221 for type dependent OMP_CLAUSE_DECLs. 2222 22232007-04-24 Mark Mitchell <mark@codesourcery.com> 2224 2225 PR c++/31338 2226 * cp-tree.h (ARITHMETIC_TYPE): Include COMPLEX_TYPE. 2227 * typeck.c (type_after_usual_arithmetic_conversions): Adjust, as 2228 COMPLEX_TYPE is now an ARITHMETIC_TYPE. 2229 * init.c (build_zero_init): Adjust, as 2230 COMPLEX_TYPE is now a SCALAR_TYPE. 2231 * typeck2.c (digest_init): Allow brace-enclosed initializers for 2232 COMPLEX_TYPE, even though that is now a SCALAR_TYPE. 2233 22342007-04-25 Paolo Carlini <pcarlini@suse.de> 2235 2236 * semantics.c (classtype_has_nothrow_copy_or_assign_p): Adjust 2237 per N2255; rename as classtype_has_nothrow_assign_or_copy_p. 2238 (trait_expr_value): Adjust. 2239 22402007-04-23 Simon Baldwin <simonb@google.com> 2241 2242 * decl.c (grokparms): Added new error for duplicate function 2243 parameters names in function prototypes, to match gcc behavior. 2244 22452007-04-23 Jan Hubicka <jh@suse.cz> 2246 2247 * decl2.c (finish_objects): Do not call target constructor/destructor 2248 bits dirrectly. 2249 22502007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com> 2251 2252 * cp-tree.h (lang_tree_node): Use GENERIC_NEXT 2253 instead of checking GIMPLE_STMT_P in chain_next. 2254 22552007-04-17 Mark Mitchell <mark@codesourcery.com> 2256 2257 PR c++/31513 2258 * call.c (convert_for_arg_passing): Convert bitfields to their 2259 declared types. 2260 22612007-04-17 Simon Martin <simartin@users.sourceforge.net> 2262 2263 PR c++/31517 2264 * pt.c (value_dependent_expression_p): Handle MODOP_EXPRs. 2265 22662007-04-16 Seongbae Park <seongbae.park@gmail.com> 2267 2268 PR c++/29365 2269 * decl2.c (constrain_class_visibility): 2270 Do not warn about the use of anonymous namespace in the main input file. 2271 22722007-04-15 Mark Mitchell <mark@codesourcery.com> 2273 2274 * cp-tree.h (current_template_parms): Fix typo in comment. 2275 22762007-04-15 Kazu Hirata <kazu@codesourcery.com> 2277 2278 * cp-tree.h, error.c: Fix comment typos. 2279 22802007-04-13 Jason Merrill <jason@redhat.com> 2281 2282 PR c++/31074 2283 * call.c (reference_binding): Add c_cast_p parm. If true, 2284 add quals to TO as needed to make it reference-compatible. 2285 22862007-04-11 Jan Hubicka <jh@suse.cz> 2287 2288 * class.c (convert_to_base_statically): Fold produced tree; verify 2289 that we are not processing template_decl. 2290 22912007-04-09 Mark Mitchell <mark@codesourcery.com> 2292 2293 PR c++/31449 2294 * class.c (build_base_path): Ensure that the converted pointer has 2295 the same cv-qualification as the input. 2296 22972007-04-09 Paolo Carlini <pcarlini@suse.de> 2298 2299 * tree.c (cp_tree_equal): Deal with TRAIT_EXPR. 2300 23012007-04-08 Steven Bosscher <steven@gcc.gnu.org> 2302 2303 * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS): 2304 Do not set it. 2305 (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do not set it. 2306 * tree.c (cp_add_pending_fn_decls): Remove. 2307 * cp-tree.h (cp_add_pending_fn_decls): Remove prototype. 2308 23092007-04-07 Daniel Berlin <dberlin@dberlin.org> 2310 2311 Revert change removing staticp. 2312 23132007-04-06 Daniel Berlin <dberlin@dberlin.org> 2314 2315 * cp-objcp-common.c (cxx_staticp): Remove. 2316 * cp-objcp-common.h (LANG_HOOKS_STATICP): Remove. 2317 * cp-tree.h (cxx_staticp): 2318 23192007-04-04 Danny Smith <dannysmith.users.sourceforge.net> 2320 2321 * class.c (check_for_override): Don't remove dllmport attribute 2322 of virtual methods. 2323 23242007-04-03 Jakub Jelinek <jakub@redhat.com> 2325 2326 PR c++/30847 2327 * typeck.c (build_modify_expr): For COND_EXPR on LHS, if RHS has void 2328 type issue error and return early. 2329 23302007-03-30 Jason Merrill <jason@redhat.com> 2331 2332 PR c++/31187 2333 * typeck.c (cp_type_readonly): New fn. 2334 * cp-tree.h: Declare it. 2335 * decl.c (start_decl): Set implicit DECL_THIS_STATIC here. 2336 (cp_finish_decl): Not here. 2337 23382007-03-31 Richard Guenther <rguenther@suse.de> 2339 2340 * optimize.c (maybe_clone_body): Replace splay-tree usage by 2341 pointer-map. 2342 23432007-03-31 Douglas Gregor <doug.gregor@gmail.com> 2344 2345 PR c++/31138 2346 PR c++/31140 2347 PR c++/31141 2348 * parser.c (declarator_can_be_parameter_pack): New. 2349 (cp_parser_template_parameter): Only parse the `...' if the 2350 declarator can be a parameter pack. 2351 (cp_parser_parameter_declaration): Ditto. Also, handle when TYPE 2352 is NULL. 2353 * pt.c (find_parameter_packs_r): Look into the bounds on integer 2354 types (they could be used as array bounds). 2355 (check_for_bare_parameter_packs): Deal with TEMPLATE_PARM_INDEX. 2356 (tsubst_pack_expansion): Handle failure to expand parameter 2357 packs. 2358 23592007-03-30 Paolo Carlini <pcarlini@suse.de> 2360 2361 PR c++/26099 2362 * cp-tree.h (enum cp_trait_kind, struct tree_trait_expr, 2363 TRAIT_EXPR_TYPE1, TRAIT_EXPR_TYPE2, TRAIT_EXPR_KIND): Add. 2364 (enum cp_tree_node_structure_enum, union lang_tree_node): Update. 2365 (CLASS_TYPE_NON_UNION_P): Add. 2366 (struct lang_type_class): Add has_complex_dflt. 2367 (TYPE_HAS_COMPLEX_DFLT, TYPE_HAS_TRIVIAL_DFLT): Add. 2368 (locate_copy, locate_ctor, locate_dtor, finish_trait_expr): Declare. 2369 * cp-tree.def: Add TRAIT_EXPR. 2370 * cp-objcp-common.c (cp_tree_size): Add TRAIT_EXPR case. 2371 * lex.c (struct resword): Add __has_nothrow_assign, 2372 __has_nothrow_constructor, __has_nothrow_copy, __has_trivial_assign, 2373 __has_trivial_constructor, __has_trivial_copy, 2374 __has_trivial_destructor, __has_virtual_destructor, __is_abstract, 2375 __is_base_of, __is_class, __is_convertible_to, __is_empty, __is_enum, 2376 __is_pod, __is_polymorphic, __is_union. 2377 * parser.c (cp_parser_primary_expression): Deal with the new RIDs. 2378 (cp_parser_trait_expr): New. 2379 * semantics.c (finish_trait_expr, trait_expr_value 2380 classtype_has_nothrow_copy_or_assign_p): New. 2381 * method.c (locate_copy, locate_ctor, locate_dtor): Do not define 2382 as static. 2383 * decl.c (cp_tree_node_structure): Add TRAIT_EXPR. 2384 * class.c (check_bases, check_field_decl, check_bases_and_members): 2385 Deal with TYPE_HAS_COMPLEX_DFLT (t) too. 2386 * pt.c (uses_template_parms, tsubst_copy_and_build, 2387 value_dependent_expression_p, type_dependent_expression_p): Deal with 2388 TRAIT_EXPR. 2389 * tree.c (cp_walk_subtrees): Deal with TRAIT_EXPR. 2390 23912007-03-29 Richard Guenther <rguenther@suse.de> 2392 2393 * tree.c (cp_walk_subtrees): Do not set input_location. 2394 23952007-03-28 Simon Martin <simartin@users.sourceforge.net> 2396 2397 PR c++/29077 2398 * decl.c (grokfndecl): Properly setup decl if it is a constructor or a 2399 destructor. 2400 24012007-03-28 Douglas Gregor <doug.gregor@gmail.com> 2402 2403 * parser.c (struct cp_parser): Update comment for 2404 greater_than_is_operator_p. 2405 (cp_parser_primary_expression): In C++0x mode, a cast operator can 2406 be terminated with a `>>' token when !GREATER_THAN_IS_OPERATOR_P. 2407 (TOKEN_PRECEDENCE): In C++0x mode, `>>' is treated like `>' when 2408 !GREATER_THAN_IS_OPERATOR_P. 2409 (cp_parser_binary_expression): When -Wc++0x-compat, warn about 2410 `>>' operators that will become two `>' tokens in C++0x. 2411 (cp_parser_parameter_declaration): Treat `>>' like `>' in C++0x 2412 mode, allowing it to terminate default arguments. 2413 (cp_parser_enclosed_template_argument_list): In C++0x mode, treat 2414 `>>' like two consecutive `>' tokens. 2415 (cp_parser_skip_to_end_of_template_parameter_list): Ditto. 2416 (cp_parser_next_token_ends_template_argument_p): In C++0x, `>>' 2417 ends a template argument. 2418 24192007-03-28 Douglas Gregor <doug.gregor@gmail.com> 2420 2421 * decl.c (redeclaration_error_message): Complain when redeclaring 2422 a friend function with default template arguments (C++0x mode only). 2423 * cp-tree.h (check_default_tmpl_args): Declare. 2424 * pt.c (check_default_tmpl_args): In C++0x mode, permit default 2425 template arguments in function templates. Add support for checking 2426 the default template arguments of friend templates. 2427 (push_template_decl_real): Fix call to check_default_tmpl_args. 2428 (type_unification_real): If a template parameter has not been 2429 deduced but provides a default template argument, substitute into 2430 that default template argument. 2431 * parser.c (cp_parser_init_declarator): When declaring (but not 2432 defining!) a function template in C++0x mode, check for default 2433 template arguments. 2434 24352007-03-28 Douglas Gregor <doug.gregor@gmail.com> 2436 2437 PR c++/29993 2438 * decl.c (grokdeclarator): Deal with cv-qualified function type 2439 typedefs in the same way for member and non-member functions. 2440 24412007-03-26 Dirk Mueller <dmueller@suse.de> 2442 2443 * parser.c (cp_parser_member_declaration): Pedwarn 2444 about stray semicolons after member declarations. 2445 24462007-03-26 Paolo Carlini <pcarlini@suse.de> 2447 2448 PR c++/30500 2449 * pt.c (instantiate_decl): Set in_system_header. 2450 24512007-03-22 Mark Mitchell <mark@codesourcery.com> 2452 2453 * cp-tree.h (current_tempalte_parms): Improve documentation. 2454 * pt.c (current_template_args): Likewise. 2455 2456 PR c++/30863 2457 * parser.c (cp_parser_parse_and_diagnose_invalid_type_name): Do 2458 not consume tokens when failing. 2459 24602007-03-22 Jim Wilson <wilson@specifix.com> 2461 Mark Mitchell <mark@codesourcery.com> 2462 2463 PR c++/31273 2464 * call.c (standard_conversion): Use type_decays_to. Keep FCODE 2465 consistent with FROM. 2466 24672007-03-22 Gabriel Dos Reis <gdr@integrable-solutions.net> 2468 2469 * error.c (dump_expr): Handle dependent names that designate types. 2470 * cxx-pretty-print.c (pp_cxx_unqualified_id): Handle TYPENAME_TYPE. 2471 24722007-03-17 Kazu Hirata <kazu@codesourcery.com> 2473 2474 * cp-tree.def, parser.c, pt.c: Fix comment typos. 2475 24762007-03-16 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2477 2478 * cvt.c (cp_convert_and_check) : Define. 2479 * cp-tree.h (cp_convert_and_check): Declare. 2480 * call.c (convert_conversion_warnings): Rename to 2481 conversion_null_warnings. The warning for floating-point to 2482 integer is handled by convert_and_check in convert_like_real. 2483 (convert_like_real): convert_conversion_warnings was renamed as 2484 conversion_null_warnings. 2485 * typeck.c (build_binary_op): Use cp_convert_and_check to warn for 2486 overflow and changes of value during conversion. 2487 24882007-03-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2489 2490 PR c++/30891 2491 * parser.c (cp_parser_statement): If 'namespace' is found, this 2492 only can be a namespace alias definition, so parse it now. 2493 (cp_parser_namespace_alias_definition): if we find an open brace 2494 instead of '=', then this is actually a misplaced namespace 2495 definition. 2496 24972007-03-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2498 2499 PR c++/24924 2500 * decl.c (cxx_init_decl_processing): Move command-line options 2501 processing to c-opts.c. 2502 25032007-03-15 Douglas Gregor <doug.gregor@gmail.com> 2504 2505 * ptree.c (cxx_print_type): Use formatting markup for integers 2506 when printing template parameter index/level/orig level. 2507 (cxx_print_xnode): Ditto. 2508 * cp-tree.h (TEMPLATE_PARM_PARAMETER_PACK): Use TREE_LANG_FLAG_0. 2509 (struct template_parm_index_s): Remove the PARAMETER_PACK member. 2510 Make INDEX, LEVEL, and ORIG_LEVEL integers instead of 2511 HOST_WIDE_INTs. 2512 (struct saved_scope): Make X_PROCESSING_TEMPLATE_DECL an int, 2513 rather than a HOST_WIDE_INT. 2514 Turn X_PROCESSING_EXPLICIT_INSTANTIATION, SKIP_EVALUATION, and 2515 NEED_POP_FUNCTION_CONTEXT into bool bitfields; reorder fields for 2516 better bit-packing. 2517 (struct language_function): Make RETURNS_VALUE, RETURNS_NULL, 2518 RETURNS_ABNORMALLY, IN_FUNCTION_TRY_HANDLER, and 2519 IN_BASE_INITIALIZER bool bitfields. 2520 (struct cp_declarator): Make KIND a 4-bit field. Make 2521 PARAMETER_PACK_P a bool bitfield just after KIND. 2522 * pt.c (uses_parameter_packs): Destroy the pointer set. 2523 (make_pack_expansion): Ditto. 2524 (check_for_bare_parameter_packs): Ditto. 2525 * name-lookup.c (push_to_top_level): Make need_pop a bool value. 2526 25272007-03-14 Andrew Pinski <andrew_pinski@playstation.sony.com> 2528 2529 PR c++/31165 2530 * call.c (convert_default_arg): Instead of copying the node, 2531 unshare it. 2532 25332007-03-15 Dirk Mueller <dmueller@suse.de> 2534 2535 PR c++/30860 2536 * call.c (convert_conversion_warnings): New.. 2537 (convert_like_real): .. factored out from here. 2538 (convert_conversion_warnings): Add warning about 2539 false being converted to NULL in argument passing. 2540 25412007-03-14 Dirk Mueller <dmueller@suse.de> 2542 2543 * semantics.c (c_finish_if_stmt): Call empty_if_body_warning. 2544 (finish_do_body): Warn about empty body in do/while statement. 2545 25462007-03-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2547 2548 * class.c (warn_hidden): Add OPT_Woverloaded_virtual to warning. 2549 25502007-03-14 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2551 2552 PR c/21438 2553 * typeck.c (build_binary_op): Call warn_for_div_zero instead of 2554 warning. 2555 25562007-03-13 Alexandre Oliva <aoliva@redhat.com> 2557 2558 * repo.c (init_repo): Initialize random_seed saved options. 2559 (finish_repo): Adjust. 2560 25612007-03-13 Mark Mitchell <mark@codesourcery.com> 2562 2563 PR bootstrap/30899 2564 * Make-lang.in (doc/g++.1): Use $< to specify the location from 2565 which to copy. 2566 25672007-03-12 Seongbae Park <seongbae.park@gmail.com> 2568 2569 * decl.c (compute_array_index_type): New warning flag warn_vla. 2570 25712007-03-12 Mark Mitchell <mark@codesourcery.com> 2572 2573 PR c++/30108 2574 * call.c (convert_default_arg): Copy non-constant arguments. 2575 25762007-03-11 Mark Mitchell <mark@codesourcery.com> 2577 2578 PR c++/31038 2579 * parser.c (cp_parser_postfix_expression): Disallow compound 2580 literals in constant expressions. 2581 2582 PR c++/30328 2583 * semantics.c (finish_typeof): Use unlowered_expr_type. 2584 25852007-03-10 Mark Mitchell <mark@codesourcery.com> 2586 2587 PR c++/30274 2588 * cp-tree.h (unlowered_expr_type): New function. 2589 * typeck.c (is_bitfield_expr_with_lowered_type): Handle 2590 COMPOUND_EXPR, MODIFY_EXPR, and SAVE_EXPR. 2591 (unlowered_expr_type): New function. 2592 (build_unary_op): Disallow predecrements of bool bitfields. 2593 * call.c (build_conditional_expr): Use unlowered_expr_type. 2594 * pt.c (type_unification_real): Likewise. 2595 25962007-03-09 Douglas Gregor <doug.gregor@gmail.com> 2597 2598 PR c++/20599 2599 * typeck.c (check_return_expr): Check for bare parameter packs. 2600 (comptypes): Compare template parameter packs and 2601 type pack expansions. 2602 * decl.c (grokdeclarator): Deal with the declaration of function 2603 parameter packs. 2604 (grokparms): Verify that the (optional) function parameter pack is 2605 at the end of the parameter list. 2606 (xref_basetypes): Handle pack expansions in the base class. 2607 (cp_tree_node_structure): Handle ARGUMENT_PACK_SELECT. 2608 * cp-tree.def (TYPE_ARGUMENT_PACK): New. 2609 (NONTYPE_ARGUMENT_PACK): New. 2610 (TYPE_PACK_EXPANSION): New. 2611 (EXPR_PACK_EXPANSION): New. 2612 (ARGUMENT_PACK_SELECT): New. 2613 * cp-objcp-common.c (cp_tree_size): Compute size of 2614 (NON)TYPE_ARGUMENT_PACK, (TYPE|EXPR)_PACK_EXPANSION, and 2615 ARGUMENT_PACK_SELECT. 2616 * error.c (dump_template_argument): Print template argument packs. 2617 (dump_template_argument_list): Ditto. 2618 (dump_template_parameter): Dump `...' for template type parameter 2619 packs. 2620 (dump_type): Dump TYPE_PACK_EXPANSION nodes. 2621 (dump_parameters): Print function parameter packs. 2622 (dump_template_parms): Print template argument packs. 2623 (dump_expr): Dump EXPR_PACK_EXPANSION nodes. 2624 (maybe_warn_variadic_templates): New. 2625 * operators.def: Add ellipsis operator for EXPR_PACK_EXPANSION. 2626 * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK, 2627 NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION, 2628 CAST_EXPR. 2629 * mangle.c (write_type): Mangle TYPE_PACK_EXPANSION. 2630 (write_template_arg): Write argument packs as separate arguments. 2631 * cp-tree.h (struct template_parm_index_s): Add flag that 2632 indicates that the template parameter is actually a parameter 2633 pack. 2634 (struct tree_argument_pack_select): New. 2635 (enum cp_tree_node_structure_enum): Add TS_CP_ARGUMENT_PACK_SELECT. 2636 (union lang_tree_node): Add argument_pack_select. 2637 (FUNCTION_PARAMETER_PACK_P): New. 2638 (PACK_EXPANSION_P): New. 2639 (PACK_EXPANSION_PATTERN): New. 2640 (SET_PACK_EXPANSION_PATTERN): New. 2641 (PACK_EXPANSION_PARAMETER_PACKS): New. 2642 (ARGUMENT_PACK_P): New. 2643 (ARGUMENT_PACK_ARGS): New. 2644 (SET_ARGUMENT_PACK_ARGS): New. 2645 (ARGUMENT_PACK_INCOMPLETE_P): New. 2646 (ARGUMENT_PACK_EXPLICIT_ARGS): New. 2647 (TEMPLATE_PARM_PARAMETER_PACK): New. 2648 (TEMPLATE_TYPE_PARAMETER_PACK): New. 2649 (ARGUMENT_PACK_SELECT_FROM_PACK): New. 2650 (ARGUMENT_PACK_SELECT_INDEX): New. 2651 (ARGUMENT_PACK_SELECT_ARG): New. 2652 (struct cp_declarator): Add parameter_pack_p flag. 2653 (maybe_warn_variadic_templates): Declare. 2654 (process_template_parm): Add bool parameter IS_PARAMETER_PACK, to 2655 indicate a template parameter pack. 2656 (uses_parameter_packs): Declare. 2657 (template_parameter_pack_p): Declare. 2658 (template_parms_variadic_p): Declare. 2659 (make_pack_expansion): Declare. 2660 (check_for_bare_parameter_packs): Declare. 2661 * cxx-pretty-print.c (pp_cxx_unary_expression): Print 2662 sizeof... expressions. 2663 (pp_cxx_expression): Print pack expansions and non-type argument 2664 packs. 2665 (pp_cxx_exception_specification): Print pack expansions. 2666 (pp_cxx_direct_declarator): Print ellipsis for parameter packs. 2667 (pp_cxx_ctor_initializer): Print pack expansions. 2668 (pp_cxx_type_id): Print pack expansions. 2669 (pp_cxx_template_argument_list): Print argument packs. 2670 (pp_cxx_template_parameter): Print ellipsis for template parameter 2671 packs. 2672 * pt.c (comp_template_parms): Compare template parameter packs. 2673 (template_parameter_pack_p): New. 2674 (template_parms_variadic_p): New. 2675 (template_args_variadic_p): New. 2676 (make_ith_pack_parameter_name): New. 2677 (struct find_parameter_pack_data): New. 2678 (find_parameter_packs_r): New. 2679 (uses_parameter_packs): New. 2680 (make_pack_expansion): New. 2681 (check_for_bare_parameter_packs): New. 2682 (expand_template_argument_pack): New. 2683 (reduce_template_parm_level): Propagate parameter pack flag. 2684 (process_template_parm): Add is_parameter_pack parameter to state 2685 when the parameter is actually a parameter pack. Create template 2686 parameter packs when is_parameter_pack is true. 2687 (current_template_args): The argument for a template parameter 2688 pack is an argument pack containing a single pack expansion. 2689 (process_partial_specialization): When checking that non-type 2690 argument expressions do not involve template parameters, loop over 2691 the arguments in argument packs separately. 2692 (push_template_decl_real): Check that the type of the declaration 2693 does not have any bare parameter packs. Check that primary 2694 templates have no more than one parameter pack, and that it comes 2695 at the end of the template parameter list. 2696 (convert_template_argument): Handle coercions for pack expansion 2697 expressions by coercing the pattern then rebuilding the expansion. 2698 (coerce_template_parms): When coercing the arguments for a 2699 variadic template, pack "extra" arguments into an argument pack. 2700 (coerce_template_template_parms): Cannot coerce between parameter 2701 packs and non-pack parameters. 2702 (template_args_equal): Compare PACK_EXPANSION_P expressions. 2703 (comp_template_args): Expand all template arguments packs before 2704 comparing template argument lists. 2705 (mangle_class_name_for_template): Make argument packs as separate 2706 template arguments. 2707 (for_each_template_parm_r): No need to handle BASELINK. 2708 (instantiate_class_template): Handle pack expansions in the base 2709 class list. 2710 (tsubst_pack_expansion): New. 2711 (tsubst_template_args): Handle substitutions of argument packs and 2712 pack expansion into template argument lists. 2713 (tsubst_decl): Expand function parameter packs into separate 2714 function parameters. 2715 (tsubst_arg_types): Expand a type pack expansion into separate 2716 argument types. 2717 (tsubst_exception_specification): Handle pack expansions in 2718 exception specifiers. 2719 (tsubst): See through ARGUMENT_PACK_SELECT arguments when 2720 replacing a template parameter with its argument. If we encounter 2721 a substitution for an argument pack, just return the parameter 2722 itself. 2723 (tsubst_copy): sizeof(X...) returns the number of elements in 2724 parameter pack X. See through ARGUMENT_PACK_SELECT when the 2725 PARM_DECL is a parameter pack. 2726 (tsubst_expr): Expression pack expansions and argument packs 2727 cannot show up here; they will all be handled through function 2728 calls, sizeof, and template argument lists. 2729 (tsubst_copy_and_build): sizeof(X...) returns the number of 2730 elements in parameter pack X. Handle pack expansions in TREE_LIST 2731 and CONSTRUCTOR nodes. 2732 (fn_type_unification): Handle "incomplete" explicit template 2733 argument lists that specify some of the arguments for a template 2734 parameter pack. 2735 (type_unification_real): Unify arguments against pack expansions. 2736 (template_parm_level_and_index): New, helper function. 2737 (unify_pack_expansion): New. 2738 (unify): Unify argument packs on an argument-by-argument basis, 2739 handling variadic argument packs as well. 2740 (more_specialized_fn): Handle unification of function parameter 2741 packs. All things being equal, prefer non-variadic function 2742 templates to variadic function templates. 2743 (more_specialized_class): Prefer the variadic class template 2744 partial specialization that binds fewer arguments to a parameter 2745 pack. 2746 (regenerate_decl_from_template): Expand function parameter packs 2747 into separate parameters. 2748 (instantiate_decl): Ditto. 2749 (tsubst_initializer_list): Handle pack expansions for base-class 2750 initializers. 2751 (dependent_type_p_r): Determine dependent types in argument packs 2752 and pack expansions. 2753 (value_dependent_expression_p): Determine value-dependence of 2754 non-type argument packs. 2755 (dependent_template_arg_p): Handle argument packs. 2756 * semantics.c (finish_cond): Check for bare parameter packs. 2757 (finish_expr_stmt): Ditto. 2758 (finish_for_expr): Ditto. 2759 (finish_switch_cond): Ditto. 2760 (finish_mem_initializers): Ditto. 2761 * name-lookup.c (arg_assoc_type): Handle pack expansions and 2762 argument packs. 2763 * decl2.c (cp_build_parm_decl): Mark function parameter packs. 2764 * parser.c (make_declarator): Declarator is not an expansion. 2765 (make_pointer_declarator): Transfer parameter pack flag to outer 2766 declarator. 2767 (make_reference_declarator): Ditto. 2768 (make_ptrmem_declarator): Ditto. 2769 (make_call_declarator): Ditto. 2770 (make_array_declarator): Ditto. 2771 (cp_parser_postfix_expression): Allow pack expansion expressions 2772 in the argument list for a call expression. 2773 (cp_parser_parenthesized_expression_list): Add new parameter 2774 ALLOW_EXPANSION_P. When true, parse the ellipsis to mean "expand 2775 into separate arguments." 2776 (cp_parser_new_placement): Allow pack expansion expressions. 2777 (cp_parser_new_initializer): Ditto. 2778 (cp_parser_mem_initializer_list): Allow ellipsis to create a 2779 base-class initializer expansion. 2780 (cp_parser_mem_initializer): Ditto. 2781 (cp_parser_template_parameter_list): Keep track of whether the 2782 template parameter is a template parameter pack. 2783 (cp_parser_template_parameter): Parse the ellipsis to indicate a 2784 template parameter pack. 2785 (cp_parser_type_parameter): Ditto. 2786 (cp_parser_template_argument_list): Parse the ellipsis to indicate 2787 a pack expansion. 2788 (cp_parser_direct_declarator): Parse the ellipsis to indicate that 2789 this declarator is a parameter pack. 2790 (cp_parser_parameter_declaration): The ellipsis does not end the 2791 parameter declaration, because it might be a parameter pack. Parse 2792 the ellipsis to indicate a parameter pack. 2793 (cp_parser_initializer): Allow pack expansions. 2794 (cp_parser_initializer_list): Allow ellipsis to create an 2795 initializer expansion. 2796 (cp_parser_base_clause): Allow ellipsis to create a base specifier 2797 expansion. 2798 (cp_parser_type_id_list): Allow ellipsis to create an exception 2799 specifier expansion. 2800 (cp_parser_attribute_list): Don't allow pack expansions. 2801 (cp_parser_functional_cast): Allow pack expansions. 2802 (cp_parser_sizeof_operand): Allow ellipsis following "sizeof" to 2803 compute the length of a parameter pack. 2804 (cp_parser_next_token_ends_template_argument_p): An ellipsis can 2805 end a template argument. 2806 * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK, 2807 NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION, 2808 CAST_EXPR. 2809 28102007-03-09 Dirk Mueller <dmueller@suse.de> 2811 2812 * call.c (build_new_op): Call warn_logical_operator. 2813 28142007-03-08 Volker Reichelt <v.reichelt@netcologne.de> 2815 2816 PR c++/30852 2817 * semantics.c (finish_offsetof): Handle COMPOUND_EXPR. 2818 2819 PR c++/30534 2820 * pt.c (any_template_arguments_need_structural_equality_p): 2821 Robustify. 2822 28232007-03-08 Alexandre Oliva <aoliva@redhat.com> 2824 2825 * decl.c (grokdeclarator): Disable warnings for anonymous 2826 bitfields. 2827 28282007-03-05 Volker Reichelt <v.reichelt@netcologne.de> 2829 2830 * typeck2.c (readonly_error): Always emit a hard error. 2831 Remove last argument. 2832 * cp-tree.h (readonly_error): Adjust prototype. 2833 * semantics.c (finish_asm_stmt): Adjust call to readonly_error. 2834 * typeck.c (build_unary_op): Likewise. 2835 (build_modify_expr): Likewise. 2836 28372007-03-04 Simon Martin <simartin@users.sourceforge.net> 2838 2839 PR c++/30895 2840 * tree.c (cp_tree_equal): Properly handle COMPLEX_CST trees. 2841 28422007-03-03 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2843 2844 PR c++/15787 2845 * parser.c (struct cp_parser): New IN_IF_STMT. 2846 (cp_parser_statement_seq_opt): Handle an unexpected 'else', 2847 returning if parsing the body of an 'if' statement or issuing an 2848 error and continuing. 2849 (cp_parser_selection_statement): Set IN_IF_STMT bit when parsing 2850 body of 'if'. 2851 (cp_parser_jump_statement): Mask new IN_IF_STMT bit. 2852 28532007-03-02 Simon Martin <simartin@users.sourceforge.net> 2854 2855 PR c++/28253 2856 * class.c (update_vtable_entry_for_fn): Properly handle invalid overriders 2857 for thunks. 2858 28592007-03-02 Geoffrey Keating <geoffk@apple.com> 2860 2861 * g++spec.c (lang_specific_driver): Add -lstdc++ when compiling 2862 Objective-C++. Don't exit early if -shared-libgcc needs to be 2863 added. 2864 28652007-03-02 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2866 2867 * typeck.c (common_base_type): Delete unused function. 2868 28692007-03-01 Brooks Moses <brooks.moses@codesourcery.com> 2870 2871 * Make-lang.in: Add dummy lang.install-pdf target. 2872 28732007-03-01 Simon Baldwin <simonb@google.com> 2874 2875 PR c++/23689 2876 * decl.c (check_tag_decl): Added new warning for typedef ignored 2877 when it precedes an otherwise valid non-typedef declaration. 2878 28792007-02-28 Sandra Loosemore <sandra@codesourcery.com> 2880 2881 * typeck.c (build_function_call): Store converted arguments 2882 in a stack-allocated array instead of building a list. 2883 (convert_arguments): Store arguments in the array passed in as an 2884 argument, and return the actual number of arguments. 2885 * call.c (build_call): Delete, and replace with... 2886 (build_call_n, build_call_a): New. 2887 (build_op_delete_call): Rewrite to avoid constructing argument lists. 2888 (build_over_call): Store converted arguments in a stack-allocated 2889 array instead of building a list. 2890 (build_cxx_call): Pass arguments in an array instead of as a list. 2891 (build_java_interface_fn_ref): Rewrite to avoid constructing 2892 argument lists. 2893 * tree.h: Update declarations to reflect above changes. 2894 * method.c (use_thunk): Use a stack-allocated array to hold 2895 the arguments instead of a list. 2896 * rtti.c (throw_bad_cast): Update call to cxx_call. 2897 (throw_bad_typeid): Likewise. 2898 (build_dynamic_cast_1): Likewise. 2899 * init.c (build_builtin_delete_call): Use build_call_n. 2900 * decl.c (expand_static_init): Likewise. 2901 * except.c (cp_protect_cleanup_actions): Likewise. 2902 * cp-gimplify.c (genericize_eh_spec_block): Likewise. 2903 (gimplify_must_not_throw_expr): Likewise. 2904 (cxx_omp_apply_fn): Use build_call_a. 2905 29062007-02-26 Mark Mitchell <mark@codesourcery.com> 2907 2908 * semantics.c (expand_or_defer_fn): Call c_record_cdtor_fn. 2909 * decl2.c (cp_write_gloabl_declarations): Call c_build_cdtor_fns. 2910 29112007-02-25 Mark Mitchell <mark@codesourcery.com> 2912 2913 * cp-tree.h (static_ctors): Remove. 2914 * cp-tree.h (static_dtors): Likewise. 2915 * cp-objcp-common.c (decl_shadowed_for_var_lookup): Adjust for 2916 refactoring of tree_map hierarchy. 2917 (decl_shadowed_for_var_insert): Likewise. 2918 * semantics.c (expand_body): Use c_expand_body. 2919 (expand_or_defer_fn): Don't update static_ctors or static_dtors. 2920 * decl2.c (static_ctors): Remove. 2921 (static_dtors): Likewise. 2922 (generate_ctor_or_dtor_function): Pass NULL_TREE to 2923 objc_generate_static_init_call. Do not call static_[cd]tors. 2924 (generate_ctor_and_dtor_functions_for_priority): Do not check for 2925 static_[cd]tors. 2926 (cp_write_global_declarations): Likewise. 2927 29282007-02-23 Richard Guenther <rguenther@suse.de> 2929 2930 * class.c (note_name_declared_in_class): Make declaration 2931 changes meaning a pedwarn. 2932 29332007-02-22 Michael Matz <matz@suse.de> 2934 2935 PR c++/29433 2936 * cp-tree.h (TFF_UNQUALIFIED_NAME): New formatting flag. 2937 * error.c (dump_aggr_type, dump_simple_decl, dump_decl, 2938 dump_function_decl): Guard emitting outer scopes by new flag. 2939 * cp-lang.c (cxx_dwarf_name): New function. 2940 (LANG_HOOKS_DWARF_NAME): Define to cxx_dwarf_name. 2941 * pt.c (classtype_mangled_name, mangle_class_name_for_template): 2942 Remove functions. 2943 (push_template_decl_real, lookup_template_class): Remove calls 2944 to above functions. 2945 29462007-02-19 Mark Mitchell <mark@codesourcery.com> 2947 2948 * call.c (build_new_method_call): Ensure that explicit calls of 2949 destructors have type "void". 2950 29512007-02-19 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 2952 2953 * typeck.c (build_binary_op): Replace -Wstring-literal-comparison 2954 and -Walways-true with -Waddress. 2955 * cvt.c (convert_to_void): Replace unconditional warning with 2956 -Waddress. 2957 29582007-02-18 Kazu Hirata <kazu@codesourcery.com> 2959 2960 * decl.c, tree.c: Fix comment typos. 2961 29622007-02-15 Andrew Pinski <andrew_pinski@playstation.sony.com> 2963 2964 PR C++/30158 2965 * semantics.c (finish_stmt_expr_expr): Set TREE_TYPE of the 2966 statement expression if we had an error mark node. 2967 29682007-02-15 Sandra Loosemore <sandra@codesourcery.com> 2969 Brooks Moses <brooks.moses@codesourcery.com> 2970 Lee Millward <lee.millward@codesourcery.com> 2971 2972 * cp-tree.def (AGGR_INIT_EXPR): Adjust documentation. 2973 Change class to tcc_vl_exp. 2974 2975 * call.c (build_call): Use build_call_list instead 2976 of build3. 2977 (build_over_call): Likewise. 2978 (build_new_method_call): Use build_min_non_dep_call_list 2979 instead of build_min_non_dep. 2980 2981 * error.c (dump_call_expr_args): New function. 2982 (dump_aggr_init_expr_args): New function. 2983 (dump_expr) <AGGR_INIT_EXPR, CALL_EXPR, INDIRECT_REF>: Use them. 2984 Update to use new CALL_EXPR and AGGR_INIT_EXPR accessor macros. 2985 2986 * cvt.c (convert_to_void): Use build_call_array instead 2987 of build3; use new AGGR_INIT_EXPR accessor macros. 2988 2989 * mangle.c (write_expression): Use TREE_OPERAND_LENGTH 2990 instead of TREE_CODE_LENGTH. 2991 2992 * dump.c (cp_dump_tree) <AGGR_INIT_EXPR>: Update to use new 2993 AGGR_INIT_EXPR accessor macros. 2994 2995 * cp-gimplify.c (cp_gimplify_init_expr): Use 2996 AGGR_INIT_EXPR_SLOT to set the slot operand. 2997 2998 * cp-tree.h (AGGR_INIT_EXPR_FN): New macro. 2999 (AGGR_INIT_EXPR_SLOT): New macro. 3000 (AGGR_INIT_EXPR_ARG): New macro. 3001 (aggr_init_expr_nargs): New macro. 3002 (AGGR_INIT_EXPR_ARGP): New macro. 3003 (aggr_init_expr_arg_iterator): New. 3004 (init_aggr_init_expr_arg_iterator): New. 3005 (next_aggr_init_expr_arg): New. 3006 (first_aggr_init_expr_arg): New. 3007 (more_aggr_init_expr_args_p): New. 3008 (FOR_EACH_AGGR_INIT_EXPR_ARG): New. 3009 (stabilize_aggr_init): New declaration. 3010 (build_min_non_dep_call_list): Likewise. 3011 3012 * tree.c (process_aggr_init_operands): New function. 3013 (build_aggr_init_array) New function. 3014 (build_cplus_new): Update to use new CALL_EXPR and 3015 AGGR_INIT_EXPR accessor macros. Replace use of build3 with 3016 build_aggr_init_array. 3017 (build_min_non_dep_call_list) New function. 3018 (build_min_nt): Assert input code parameter is not a variable 3019 length expression class. 3020 (build_min, build_min_non_dep): Likewise. 3021 (cp_tree_equal) <CALL_EXPR>: Iterate through the arguments 3022 to check for equality instead of recursing. Handle tcc_vl_exp 3023 tree code classes. 3024 (stabilize_call): Update to only handle CALL_EXPRs, not 3025 AGGR_INIT_EXPRs; use new CALL_EXPR accessor macros. 3026 (stabilize_aggr_init): New function. 3027 (stabilize_init): Use it. 3028 3029 * cxx-pretty-print.c (pp_cxx_postfix_expression) 3030 <AGGR_INIT_EXPR, CALL_EXPR>: Update to use new CALL_EXPR and 3031 AGGR_INIT_EXPR accessor macros and argument iterators. 3032 3033 * pt.c (tsubst_copy) <CALL_EXPR>: Replace build_nt with 3034 build_vl_exp. Iterate through the operands, recursively 3035 processing each one. 3036 (tsubst_copy_and_build) <CALL_EXPR>: Update to use new 3037 CALL_EXPR accessor macros. 3038 (value_dependent_expression_p) <default>: Handle tcc_vl_exp 3039 tree code classes. Use TREE_OPERAND_LENGTH instead of 3040 TREE_CODE_LENGTH. 3041 3042 * semantics.c (finish_call_expr): Use build_nt_call_list 3043 instead of build_nt. 3044 (simplify_aggr_init_expr): Update to use new AGGR_INIT_EXPR 3045 accessor macros. Use build_call_array to construct the 3046 CALL_EXPR node instead of build3 3047 3048 * decl2.c (build_offset_ref_call_from_tree): Use 3049 build_nt_call_list and build_min_non_dep_call_list instead 3050 of build_min_nt and build_min_non_dep. 3051 3052 * parser.c (cp_parser_postfix_expression) <CPP_OPEN_PAREN>: 3053 Use build_nt_call_list instead of build_min_nt. 3054 30552007-02-15 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 3056 3057 PR c++/28943 3058 * call.c (build_conditional_expr): Improve error message. 3059 30602007-02-13 Dirk Mueller <dmueller@suse.de> 3061 3062 * friend.c (do_friend): Annotate warning about friend 3063 declarations in templates with OPT_Wnon_template_friend. 3064 Convert informal message from warning() to inform(). 3065 30662007-02-12 Simon Martin <simartin@users.sourceforge.net> 3067 Mark Mitchell <mark@codesourcery.com> 3068 3069 PR c++/14622 3070 * pt.c (do_decl_instantiation): Detect type mismatches in explicit 3071 instantiations for variables. 3072 30732007-02-12 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 3074 3075 PR middle-end/7651 3076 * cp-gimplify.c (gimplify_expr_stmt): Don't check extra_warnings. 3077 Check warn_unused_value just once. 3078 30792007-02-11 Mark Mitchell <mark@codesourcery.com> 3080 3081 PR c++/26988 3082 * pt.c (determine_specialization): Use skip_artificial_parms_for. 3083 (fn_type_unificiation): Likewise. 3084 (get_bindings): Likewise. 3085 3086o2007-02-06 Mark Mitchell <mark@codesourcery.com> 3087 3088 PR target/29487 3089 * decl.c (finish_function): Use DECL_REPLACEABLE. 3090 * tree.c (cp_cannot_inline_tree_fn): Likewise. 3091 30922007-02-10 Gabriel Dos Reis <gdr@integrable-solutions.net> 3093 3094 * parser.c (cp_parser_primary_expression): Reformat overly long lines. 3095 30962007-02-10 Richard Henderson <rth@redhat.com>, Jakub Jelinek <jakub@redhat.com> 3097 3098 * decl.c (grokvardecl): Don't error if !have_tls. 3099 (grokdeclarator): Likewise. 3100 * parser.c (cp_parser_omp_threadprivate): Likewise. 3101 31022007-02-07 Jakub Jelinek <jakub@redhat.com> 3103 3104 PR c++/30703 3105 * cp-gimplify.c (cp_genericize_r): Don't dereference invisiref 3106 parameters and result decls in omp clauses. 3107 (cxx_omp_privatize_by_reference): Pass also invisiref PARM_DECLs 3108 by reference. 3109 31102007-02-05 Dirk Mueller <dmueller@suse.de> 3111 3112 PR bootstrap/30510 3113 * parser.c (cp_parser_class_specifier): Always initialize bases. 3114 31152007-02-05 Paolo Bonzini <bonzini@gnu.org> 3116 3117 * cp-tree.h (OMP_ATOMIC_CODE): Delete. 3118 (OMP_ATOMIC_DEPENDENT_P): Rewrite. 3119 * pt.c (tsubst_expr): Adjust for new format of dependent OMP_ATOMIC 3120 expressions. 3121 * semantics.c (finish_omp_atomic): Store a whole expression node 3122 in operand 1, and integer_zero_node in operand 0, for dependent 3123 OMP_ATOMIC. Rewrite to make flow easier to understand. 3124 31252007-02-03 Gabriel Dos Reis <gdr@integrable-solutions.net> 3126 3127 * decl.c (grokdeclarator): Use OPT_Wreturn_type instead of 0. 3128 31292007-02-04 Kazu Hirata <kazu@codesourcery.com> 3130 3131 * class.c, cp-tree.h, decl.c, decl2.c, g++spec.c, init.c, 3132 parser.c, pt.c, tree.c, typeck.c: Follow spelling conventions. 3133 31342007-02-03 Douglas Gregor <doug.gregor@gmail.com> 3135 3136 * parser.c (cp_lexer_get_preprocessor_token): Attach the C++0x 3137 keyword warning to -Wc++0x-compat. 3138 31392007-02-03 Gabriel Dos Reis <gdr@integrable-solutions.net> 3140 3141 * decl.c (grokdeclarator): Update documentation. 3142 31432007-02-02 Jakub Jelinek <jakub@redhat.com> 3144 3145 PR c++/30536 3146 * decl.c (grokdeclarator): If __thread is used together with 3147 a storage class other than extern and static, clear thread_p 3148 after issuing diagnostics and fall through to checking the 3149 storage class. 3150 31512007-01-30 Roger Sayle <roger@eyesopen.com> 3152 3153 * error.c (dump_type_suffix): Avoid use of cp_build_binary_op when 3154 calculating the size of an array (to avoid recursive errors). 3155 31562007-01-30 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 3157 3158 PR c++/24745 3159 * typeck.c (build_binary_op): Fix logic for warning. Move warning 3160 to -Wpointer-arith. 3161 * call.c (convert_like_real): Don't warn when converting to 3162 boolean type. 3163 31642007-01-29 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 3165 3166 * decl.c (pop_label): Replace warning with call to 3167 warn_for_unused_label. 3168 31692007-01-28 Andrew Pinski <pinskia@gmail.com> 3170 3171 PR C++/28988 3172 * semantics.c (finish_pseudo_destructor_expr): Check the 3173 destrutor name by calling check_dtor_name. 3174 31752007-01-24 Douglas Gregor <dgregor@osl.iu.edu> 3176 3177 * lex.c (D_CPP0X): Rename. 3178 (D_CXX0X): To this. 3179 (reswords): D_CPP0X -> D_CXX0X. 3180 (init_reswords): Ditto. 3181 * parser.c (cp_lexer_get_preprocessor_token): Warn about the use 3182 of C++0x keywords as identifiers. 3183 31842007-01-23 Simon Martin <simartin@users.sourceforge.net> 3185 3186 PR c++/27492 3187 * decl.c (duplicate_decls): Don't reset DECL_INVALID_OVERRIDER_P for 3188 function decls. 3189 31902007-01-23 Ian Lance Taylor <iant@google.com> 3191 3192 * typeck.c (convert_for_assignment): Only warn about a = b = c 3193 when converting to bool. 3194 31952007-01-23 Roger Sayle <roger@eyesopen.com> 3196 3197 * call.c (null_ptr_cst_p): Replace use of TREE_CONSTANT_OVERFLOW with 3198 TREE_OVERFLOW. 3199 * typeck.c (ignore_overflows): Remove the remaining uses of 3200 TREE_CONSTANT_OVERFLOW. 3201 32022007-01-20 Jan Hubicka <jh@suse.cz> 3203 3204 * decl2.c (start_objects, start_static_storage_duration_function): 3205 Do not make the functions uninlinable. 3206 32072007-01-17 Ian Lance Taylor <iant@google.com> 3208 3209 * class.c (add_method): Call VEC_reserve_exact rather than passing 3210 a negative size to VEC_reserve. 3211 32122007-01-11 Simon Martin <simartin@users.sourceforge.net> 3213 3214 PR c++/29573 3215 * tree.c (cp_tree_equal): Properly handle MODOP_EXPR trees. 3216 32172007-01-10 Mark Mitchell <mark@codesourcery.com> 3218 3219 PR c++/28999 3220 * decl.c (make_typename_type): If the qualified name is not a 3221 type, issue an error. 3222 * parser.c (cp_parser_elaborated_type_specifier): Fix comment 3223 formatting. 3224 32252007-01-08 Geoffrey Keating <geoffk@apple.com> 3226 3227 * rtti.c: Include target.h. 3228 (emit_support_tinfos): If ! targetm.cxx.library_rtti_comdat (), 3229 don't emit typeinfo for fundamental types as weak. 3230 * Make-lang.in (cp/rtti.o): Update and correct dependencies. 3231 32322007-01-08 Richard Guenther <rguenther@suse.de> 3233 3234 * cvt.c (cp_convert_to_pointer): Use build_int_cst_type. 3235 32362007-01-08 Mark Shinwell <shinwell@codesourcery.com> 3237 3238 * call.c (standard_conversion): Pass flag to 3239 vector_types_convertible_p to disallow emission of note. 3240 * typeck.c (convert_for_assignment): Pass flag to 3241 vector_types_convertible_p to allow emission of note. 3242 (ptr_reasonably_similar): Pass flag to vector_types_convertible_p 3243 to disallow emission of note. 3244 32452007-01-07 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 3246 3247 PR c++/28986 3248 * typeck.c (build_binary_op): Call overflow_warning if 3249 TREE_OVERFLOW_P is true for the result and not for any of the 3250 operands. 3251 32522007-01-06 Lee Millward <lee.millward@codesourcery.com> 3253 3254 PR c++/19439 3255 * class.c (add_method): Don't wait until template 3256 instantiation time to complain about duplicate methods. 3257 32582007-01-05 Manuel Lopez-Ibanez <manu@gcc.gnu.org> 3259 3260 PR c/19978 3261 * semantics.c (finish_unary_op_expr): Warn only if result 3262 overflowed and operands did not. 3263 32642007-01-05 Ian Lance Taylor <iant@google.com> 3265 3266 * typeck.c (build_binary_op): Warn about comparing a non-weak 3267 address to NULL. 3268 32692007-01-05 Douglas Gregor <doug.gregor@gmail.com> 3270 3271 * pt.c (tsubst): Propagate the need for structural equality checks 3272 when reducing the level of template parameters. 3273 32742007-01-03 Kazu Hirata <kazu@codesourcery.com> 3275 3276 * pt.c: Fix a comment typo. 3277 32782007-01-02 Ian Lance Taylor <iant@google.com> 3279 3280 * semantics.c (maybe_convert_cond): Optionally warn when using an 3281 assignment as a condition. 3282 * typeck.c (convert_for_assignment): Optionally warn about 3283 assigning the result of an assignment to a bool. 3284 32852007-01-02 Douglas Gregor <doug.gregor@gmail.com> 3286 3287 * pt.c (canonical_template_parms): Correct typo in comment. 3288 32892007-01-02 Douglas Gregor <doug.gregor@gmail.com> 3290 3291 * typeck.c (structural_comptypes): Renamed from "comptypes". 3292 (comptypes): Use canonical type information to perform fast type 3293 comparison. When VERIFY_CANONICAL_TYPES, verify that the 3294 canonical type comparison returns the same results as we would see 3295 from the current, structural check. Support COMPARE_STRUCTURAL 3296 when we need structural checks. 3297 * decl.c (typename_compare): Fix comment. 3298 (build_typename_type): TYPENAME_TYPE nodes require structural 3299 equality checks, because they resolve different based on the 3300 current class type. 3301 (make_unbound_class_template): UNBOUND_CLASS_TEMPLATE nodes 3302 require structural equality checks (for now). 3303 (build_ptrmemfunc_type): Build the canonical pointer to member 3304 function type. 3305 (compute_array_index_type): Whenever we build a new index type 3306 to represent the size of an array in a template, we need to mark 3307 this index type as requiring structural equality. This goes for 3308 arrays with value-dependent sizes with the current ABI, or all 3309 arrays with ABI-1. 3310 * tree.c (cplus_array_hash): New. 3311 (struct cplus_array_info): New. 3312 (cplus_array_compare): New. 3313 (cplus_array_htab): New. 3314 (build_cplus_array_type_1): Use a hash table to cache the array 3315 types we build. Build the canonical array type for each array 3316 type. 3317 (cp_build_qualified_type_real): When building a cv-qualified array 3318 type, use the hash table of array types and build canonical array 3319 types as necessary. 3320 (bind_template_template_parm): BOUND_TEMPLATE_TEMPLATE_PARM nodes 3321 use structural equality (for now). 3322 * cp-tree.h (COMPARE_STRUCTURAL): New. 3323 * pt.c (canonical_template_parms): New. 3324 (canonical_type_parameter): New. 3325 (process_template_parm): Find the canonical type parameter. 3326 (lookup_template_class): When we have named the primary template 3327 type, set the canonical type for our template class to the primary 3328 template type. If any of the template arguments need structural 3329 equality checks, the template class needs structural equality 3330 checks. 3331 (tsubst): When reducing the level of a template template 3332 parameter, we require structural equality tests for the resulting 3333 parameter because its template parameters have not had their types 3334 canonicalized. When reducing a template type parameter, find the 3335 canonical reduced type parameter. 3336 (any_template_arguments_need_structural_equality_p): New. 3337 3338 3339Copyright (C) 2007 Free Software Foundation, Inc. 3340 3341Copying and distribution of this file, with or without modification, 3342are permitted in any medium without royalty provided the copyright 3343notice and this notice are preserved. 3344