gcc/cp/ChangeLog

   1 2008-10-24  Jakub Jelinek  <jakub@redhat.com>
   2
   3         * Make-lang.in (check-c++-subtargets): New alias for
   4         check-g++-subtargets.
   5         (lang_checks_parallelized): Add check-g++.
   6         (check_g++_parallelize): New variable.
   7
   8 2008-10-21  Richard Guenther  <rguenther@suse.de>
   9
  10         * semantics.c (simplify_aggr_init_exprs_r): Remove.
  11         (expand_or_defer_fn): Do not walk the function body to
  12         simplify aggr_init_exprs.
  13
  14 2008-10-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
  15
  16         PR c++/37004
  17         * typeck.c (cp_common_type): New. The same as
  18         type_after_usual_arithmetic_conversions but without promotions.
  19         (type_after_usual_arithmetic_conversions): Do the promotions and
  20         call cp_common_type.
  21         (common_type): Make it behave like the C version of this
  22         function. Do not handle pointer types.
  23         (common_pointer_type): Move handling of pointer types from
  24         common_type to here.
  25         (cp_build_binary_op): Use common_pointer_type instead of
  26         common_type in call to pointer_diff.
  27         Use cp_common_type instead of common_type.
  28         * cp-tree.h (common_pointer_type): Declare.
  29
  30 2008-10-14  Jakub Jelinek  <jakub@redhat.com>
  31
  32         PR c++/37819
  33         * cp-gimplify.c (cp_genericize_r): Only fold_convert COND_EXPR
  34         arguments if they don't already have COND_EXPR's type.
  35
  36 2008-10-14  Paolo Carlini  <paolo.carlini@oracle.com>
  37
  38         PR c++/37650
  39         * pt.c (push_template_decl_real): Check that current_template_parms
  40         is not null.
  41         (process_partial_specialization): Assert current_template_parms not
  42         null.
  43
  44 2008-10-13  Doug Evans  <dje@google.com>
  45
  46         * cp-tree.h (DECL_MAIN_P): Fix parentheses around expression.
  47
  48 2008-10-10  Jakub Jelinek  <jakub@redhat.com>
  49
  50         PR c++/37146
  51         * cp-gimplify.c (cp_genericize_r): Fix up bitfield operands of
  52         COND_EXPR.
  53
  54 2008-10-09  Jakub Jelinek  <jakub@redhat.com>
  55
  56         PR c++/37568
  57         * semantics.c (finalize_nrv_r): Clear DECL_INITIAL instead of
  58         setting it to error_mark_node.
  59
  60 2008-10-07  Steve Ellcey  <sje@cup.hp.com>
  61
  62         * decl.c (start_cleanup_fn): Declare as inline.
  63
  64 2008-10-06  Jason Merrill  <jason@redhat.com>
  65
  66         PR c++/37376, other mangling issues
  67         * mangle.c (write_type): Update TYPE_PACK_EXPANSION mangling.
  68         (write_member_name): Break out from...
  69         (write_expression): ...here.  Handle dependent COMPONENT_REF.
  70         (write_template_arg): Wrap an argument pack in 'I'/'E'.
  71         (write_builtin_type): Update char16/32_t mangling.
  72         (write_nested_name, write_prefix): Don't forget template args
  73         for typename types.
  74         * operators.def: Add ARROW_EXPR, update COMPONENT_REF and
  75         EXPR_PACK_EXPANSION.
  76
  77 2008-10-06  Aldy Hernandez  <aldyh@redhat.com>
  78
  79         * typeck.c (build_x_indirect_ref): Add location argument.
  80         (cp_build_binary_op): Pass location to warn_for_div_by_zero.
  81         (cp_build_unary_op): Add location argument.
  82         (cp_build_modify_expr): Same.
  83         * class.c (build_base_path): Pass location to build_indirect_ref.
  84         * semantics.c (handle_omp_for_class_iterator): Pass elocus to
  85         build_modify_expr.
  86
  87 2008-10-05  Dodji Seketeli  <dodji@redhat.com>
  88
  89         PR c++/37410
  90         * cp-gimplify.c (cp_gimplify_expr): For each USING_STMT
  91         make sure an IMPORTED_DECL node is added to the BLOCK_VARS list
  92         of the innermost containing BLOCK.
  93
  94 2008-10-03  Paolo Carlini  <paolo.carlini@oracle.com>
  95
  96         PR c++/37719
  97         * error.c (dump_function_decl): Save the exceptions in case of
  98         error about incompatible specifications in a specialization.
  99
 100 2008-10-01  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 101
 102         * tree.c (lvalue_p_1): COMPOUND_LITERAL_EXPR is also an lvalue.
 103
 104 2008-09-30  H.J. Lu  <hongjiu.lu@intel.com>
 105
 106         PR c++/37683
 107         * parser.c (cp_parser_selection_statement): Fix uninitialized
 108         variable.
 109
 110 2008-09-30  Simon Martin  <simartin@users.sourceforge.net>
 111
 112         PR c++/37555
 113         PR c++/37556
 114         * decl.c (grokdeclarator): Set the type for typedefs to a
 115         nested-name-specifier to error_mark_node.
 116
 117 2008-09-30  Paolo Bonzini  <bonzini@gnu.org>
 118
 119         * parser.c (cp_parser_selection_statement): Implement here the
 120         -Wempty-body warning for `if' and `else' statements.
 121         * semantics.c (finish_if_stmt): Do not call empty_body_warning.
 122
 123 2008-09-25  Paolo Carlini  <paolo.carlini@oracle.com>
 124
 125         PR c++/37649
 126         * name-lookup.c (maybe_process_template_type_declaration): Check
 127         return value of push_template_decl_real for error_mark_node.
 128
 129 2008-09-24  Aldy Hernandez  <aldyh@redhat.com>
 130
 131         * semantics.c (finish_fname): Pass location to fname_decl.
 132
 133 2008-09-23  Jakub Jelinek  <jakub@redhat.com>
 134
 135         PR c++/37533
 136         * semantics.c (finish_omp_for): If processing_template_decl, just build
 137         MODIFY_EXPR for init instead of calling cp_build_modify_expr.
 138
 139 2008-09-23  Aldy Hernandez  <aldyh@redhat.com>
 140
 141         * typeck.c (build_array_ref): Pass location to cp_build_binary_op.
 142         (get_member_function_from_ptrfunc): Same.
 143         (build_x_binary_op): Same.
 144         (build_binary_op): Same.
 145         (cp_build_binary_op): New location argument.
 146         (pointer_diff): Pass location to cp_build_binary_op.
 147         (cp_truthvalue_conversion): Pass location to build_binary_op.
 148         (convert_ptrmem): Pass location to cp_build_binary_op.
 149         (cp_build_modify_expr): Same.
 150         (build_ptrmemfunc): Same.
 151         * init.c (expand_cleanup_for_base): Pass location to
 152         c_common_truthvalue_conversion.
 153         (build_new_1): Pass location to cp_build_binary_op.
 154         (build_vec_delete_1): Pass location to *build_binary_op,
 155         c_common_truthvalue_conversion.
 156         (build_vec_init): Same.
 157         (build_delete): Same.
 158         * decl.c (compute_array_index_type): Same.
 159         * call.c (build_new_op): Same.
 160         * rtti.c (build_dynamic_cast_1): Same.
 161         * cp-tree.h: Add argument to cp_build_binary_op.
 162         * semantics.c (handle_omp_for_class_iterator): Pass location to
 163         *build_binary_op, c_common_truthvalue_conversion.
 164         * decl2.c (get_guard_cond): Same.
 165
 166 2008-09-17  Richard Guenther  <rguenther@suse.de>
 167
 168         PR c++/22374
 169         * rtti.c (build_dynamic_cast_1): Convert the COND_EXPR
 170         result to the correct type.
 171
 172 2008-09-17  H.J. Lu  <hongjiu.lu@intel.com>
 173
 174         PR c++/37450
 175         * name-lookup.c (pushdecl_maybe_friend): Don't return the old
 176         parameter for duplicate.
 177
 178 2008-09-17  Jason Merrill  <jason@redhat.com>
 179
 180         PR c++/37588
 181         * name-lookup.c (lookup_type_scope): Look through sk_function_parms.
 182
 183 2008-09-17  Jakub Jelinek  <jakub@redhat.com>
 184
 185         PR c++/37552
 186         * typeck.c (build_array_ref): Use protected_set_expr_location instead
 187         of SET_EXPR_LOCATION when ret might not be an expression.
 188
 189 2008-09-17  Jan Hubicka  <jh@suse.cz>
 190
 191         PR c++/18071
 192         * cp/decl.c (start_method): Set DECL_NO_INLINE_WARNING_P.
 193
 194 2008-09-16  Jakub Jelinek  <jakub@redhat.com>
 195
 196         PR c++/37531
 197         * semantics.c (finish_compound_literal): Return error_mark_node if
 198         type is errorneous.
 199
 200         PR c++/37532
 201         * lex.c (init_reswords): Don't populate ridpointers for D_CONLY
 202         reserved words.
 203
 204 2008-09-15  Aldy Hernandez  <aldyh@redhat.com>
 205
 206         * decl.c (duplicate_decls): Call error_at.
 207         (grokfndecl): New location argument.  Use location if available.
 208         (grokdeclarator): Pass declarator location to grokfndecl.
 209         * cp-tree.h (struct cp_declarator): Update comment for id_loc.
 210         * decl2.c (check_classfn): Use error_at.
 211         * parser.c (cp_parser_init_declarator): Set function_start_locus
 212         to brace location.
 213         (cp_parser_member_declaration): Set id_loc for function declarators.
 214
 215 2008-09-09  Jan Hubicka  <jh@suse.cz>
 216
 217         PR middle-end/37500
 218         * pt.c (tsubst_decl): Do not copy DECL_STRUCT_FUNCTION pointer.
 219
 220 2008-09-09  Jakub Jelinek  <jakub@redhat.com>
 221
 222         PR c++/37417
 223         * tree.c (array_type_nelts_top): Add size_one_node instead of
 224         integer_one_node.
 225
 226 2008-09-09  Jason Merrill  <jason@redhat.com>
 227
 228         PR c++/37439
 229         * pt.c (tsubst_copy) [PARM_DECL]: Don't abort if the parm has
 230         DECL_CONTEXT set.
 231
 232 2008-09-09  Jakub Jelinek  <jakub@redhat.com>
 233
 234         PR c++/37389
 235         * decl.c (build_enumerator): Handle previous value's DECL_INITIAL
 236         being error_operand_p.  Don't clear value if it was error_mark_node.
 237
 238 2008-09-09  Paolo Bonzini  <bonzini@gnu.org>
 239
 240         * cp-objcp-common.h (LANG_HOOKS_EXPAND_DECL): Remove.
 241         * cp-tree.h: Don't mention DECL_ANON_UNION_ELEMS.
 242         * semantics.c (anon_aggr_type_p): Remove.
 243
 244 2008-09-06  Jason Merrill  <jason@redhat.com>
 245
 246         PR c++/37302
 247         * parser.c (cp_parser_parameter_declaration_list): Process the
 248         PARM_DECLs as we go and push them.  Return a TREE_LIST.
 249         (cp_parser_parameter_declaration_clause): Return a TREE_LIST.
 250         (cp_parser_direct_declarator): Create a binding level and
 251         suppress deprecated warnings in the parameter list.
 252         (make_call_declarator): PARMS is now a tree.
 253         * cp-tree.h (struct cp_declarator): Function parms are now a tree.
 254         * decl.h (enum deprecated_states, deprecated_state): Move here.
 255         * decl.c: From here.
 256         (type_is_deprecated): New fn.
 257         (grokparms): PARMLIST is a tree now.  Warn about parms that
 258         use deprecated types.
 259         * mangle.c (write_expression): Handle PARM_DECL, CALL_EXPR and
 260         0-operand cast.
 261         * pt.c (tsubst) [DECLTYPE_TYPE]: Set skip_evaluation.
 262         (tsubst_copy) [PARM_DECL]: Handle a PARM_DECL used outside of a
 263         function.
 264         * name-lookup.c (pushtag): Look through function parameter scopes.
 265         (pushdecl_maybe_friend): Don't set DECL_CONTEXT on a PARM_DECL
 266         when we're parsing a function declarator.
 267
 268 2008-09-05  Douglas Gregor  <doug.gregor@gmail.com>
 269
 270        PR c++/37342
 271        * tree.c (cp_build_qualified_type_real): Deal with sharing of
 272        TYPE_LANG_SPECIFIC in the canonical types of pointer-to-method
 273        types.
 274
 275 2008-09-04  Ian Lance Taylor  <iant@google.com>
 276
 277         * parser.c (check_no_duplicate_clause): Change code parameter to
 278         enum omp_clause_code.
 279
 280 2008-09-03  Jakub Jelinek  <jakub@redhat.com>
 281
 282         PR c++/37348
 283         * decl.c (cp_finish_decl): Only set
 284         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P if decl is VAR_DECL.
 285
 286         PR c++/37189
 287         * cp-tree.h (defer_mark_used_calls, deferred_mark_used_calls): New
 288         extern decls.
 289         * decl2.c (mark_used): If defer_mark_used_calls, push decl into
 290         deferred_mark_used_calls vector and exit early.
 291         * decl.c (defer_mark_used_calls, deferred_mark_used_calls): New
 292         variables.
 293         (finish_function): Set defer_mark_used_calls for the duration of the
 294         function.  Call mark_used on any queued decls.
 295
 296 2008-09-02  Jason Merrill  <jason@redhat.com>
 297
 298         PR c++/37208
 299         * call.c (build_over_call): Make =delete work with SFINAE.
 300         * class.c (resolve_address_of_overloaded_function): Likewise.
 301
 302         * cp-tree.h (struct lang_decl_flags): Rename threadprivate_p to
 303         threadprivate_or_deleted_p.
 304         (CP_DECL_THREADPRIVATE_P): Adjust.
 305         (DECL_DELETED_FN): Likewise.
 306         (SD_UNINITIALIZED, SD_INITIALIZED, SD_DEFAULTED): New macros.
 307         (SD_DELETED): New macro.
 308         * parser.c (cp_parser_init_declarator): Use them.
 309         * decl.c (start_decl): Use them.
 310
 311         * decl2.c (mark_used): Give =deleted error even in sizeof.
 312
 313         * typeck2.c (check_narrowing): Downgrade narrowing error to
 314         permerror.
 315
 316 2008-09-02  Aldy Hernandez  <aldyh@redhat.com>
 317
 318         * typeck.c (build_array_ref): Use new location argument.
 319         * class.c (build_vtbl_ref_1): Pass location to build_array_ref.
 320         * call.c (build_new_op): Same.
 321         * decl2.c (grok_array_decl): Same.
 322         * cp-tree.h (build_array_ref): Add location argument to prototype.
 323
 324 2008-09-01  Aldy Hernandez  <aldyh@redhat.com>
 325
 326         * typeck.c (build_x_indirect_ref): Add location argument.
 327         * class.c (build_base_path): Pass location to build_indirect_ref.
 328         * pt.c (tsubst_copy_and_build): Pass location to
 329         finish_label_address_expr.
 330         * parser.c (cp_parser_unary_expression): Same.
 331
 332 2008-08-31  Jason Merrill  <jason@redhat.com>
 333
 334         Implement late-specified return type using 'auto'.
 335         * cp-tree.h (struct cp_declarator): Add late_return_type field to
 336         function declarator.
 337         * parser.c (cp_parser_late_return_type_opt): New fn.
 338         (cp_parser_direct_declarator): Use it.
 339         (make_call_declarator): Put it in the declarator.
 340         * decl.c (grokdeclarator): Splice in late-specified return type.
 341         * pt.c (splice_late_return_type): New fn.
 342
 343 2008-08-29  Michael Meissner  <gnu@the-meissners.org>
 344
 345         * decl.c (builtin_function_1): Take a bool argument to decide
 346         whether to use pushdecl or pushdecl_top_level.
 347         (duplicate_decls): Copy function specific target and optimization
 348         options on duplicate declarations.
 349         (cxx_builtin_function): Update builtin_function_1 call.
 350         (cxx_builtin_function_ext_scope): New function, guarantee that the
 351         declaration is done at global scope.
 352
 353         * cp-objcp-common.h (LANG_HOOKS_BUILTIN_FUNCTION_EXT_SCOPE): New
 354         macro, define builtin function hook for delayed machine specific
 355         builtins.
 356
 357         * cp-tree.h (cxx_builtin_function_ext_scope): Add declaration.
 358
 359 2008-08-30  Jason Merrill  <jason@redhat.com>
 360
 361         PR c++/37288
 362         * pt.c (dependent_type_p): Don't abort on auto outside of a template.
 363
 364 2008-08-29  Jason Merrill  <jason@redhat.com>
 365
 366         Implement C++0x 'auto' semantics.
 367         * decl.c (start_decl_1): Don't complain about auto being incomplete.
 368         (cp_finish_decl): Deduce auto.
 369         * init.c (build_new): Handle 'new auto'.
 370         * typeck2.c (cxx_incomplete_type_diagnostic): Give a different
 371         message for auto than for normal template type parms.
 372         * pt.c (type_dependent_expression_p): Handle { }.
 373         (make_auto): New function.
 374         (listify_autos): New function.
 375         (do_auto_deduction): New function.
 376         (is_auto): New function.
 377         (type_uses_auto): New function.
 378         * cp-tree.h: Declare them.
 379         * parser.c (cp_parser_decl_specifier_seq): In C++0x mode, don't
 380         treat auto as a declspec.
 381         (cp_parser_simple_type_specifier): It's a type-specifier.
 382
 383 2008-08-29  Mark Mitchell  <mark@codesourcery.com>
 384
 385         * mangle.c (write_type): Add target-specific manglings for
 386         non-fundamental types to the substitution table.
 387         gcc/testsuite/
 388
 389 2008-08-29  Jakub Jelinek  <jakub@redhat.com>
 390
 391         PR fortran/29635
 392         PR fortran/23057
 393         * name-lookup.c (do_using_directive, cp_emit_debug_info_for_using):
 394         Adjust debug_hooks->imported_module_or_decl callers.
 395
 396 2008-08-29  Jan Hubicka  <jh@suse.cz>
 397
 398         * cp-gimplify.c (cp_gimplify_expr): Add PRED_CONTINUE heuristic.
 399
 400 2008-08-28  Paolo Carlini  <paolo.carlini@oracle.com>
 401
 402         PR c++/37260
 403         * decl.c (reshape_init_r): Check init for error_mark_node.
 404
 405 2008-08-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 406
 407         PR c++/17880
 408         * semantics.c (maybe_convert_cond): Call verify_sequence_points.
 409         (finish_return_stmt): Likewise.
 410         (finish_switch_condition): Likewise.
 411
 412 2008-08-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 413
 414         * cp-tree.h: Fix #error directive.
 415
 416 2008-08-26  Douglas Gregor  <doug.gregor@gmail.com>
 417
 418         * typeck.c (type_after_usual_arithmetic_conversions): Don't do the
 419         usual arithmetic conversions on scoped enumeration types.
 420         (common_type): Ditto.
 421         (default_conversion): Don't perform integral promotions on scoped
 422         enumeration types.
 423         (build_array_ref): Scoped enumeration types can't be used as
 424         subscripts.
 425         * decl.c (start_enum): If building a C++0x scoped enumeration,
 426         enter its scope. If provided with an underlying type, check that
 427         underlying type and set up the enumeration type accordingly.
 428         (finish_enum): Only compute an underlying type if the underlying
 429         type isn't already fixed, and only convert the enumerator values
 430         now if we've just computed the underlying type. Finish the scope
 431         of C++0x scoped enumerations.
 432         (build_enumerator): For enumerations with a fixed underlying type,
 433         check the enumerator values when the enumerator is defined.
 434         (lookup_enumerator): New.
 435         * call.c (standard_conversion): Don't allow assignment from
 436         integers to scoped enumeration types, even with -fpermissive.
 437         Don't convert from scoped enumerations to bool or any arithmetic
 438         types.
 439         (build_conditional_expr): Don't per the usual arithmetic
 440         conversions for scoped enumeration types.
 441         (convert_like_real): Check complain to see if we should
 442         produce warnings.
 443         * error.c (class_key_or_enum_as_string): Print scoped enums.
 444         * cp-tree.h (MAYBE_CLASS_TYPE_P): Check CLASS_TYPE_P, not
 445         TYPE_LANG_FLAG_5.
 446         (INTEGRAL_OR_UNSCOPED_ENUMERATION_TYPE_P): New.
 447         (SCOPED_ENUM_P): New.
 448         (UNSCOPED_ENUM_P): New.
 449         (SET_SCOPED_ENUM_P): New.
 450         (ENUM_UNDERLYING_TYPE): New.
 451         * pt.c (lookup_template_class): Update the instantiation of enum
 452         types to deal with C++0x scoped enumerations and underlying
 453         types.
 454         * name-lookup.c (begin_scope): Deal with scoped enumeration
 455         scopes.
 456         (lookup_qualified_name): Deal with lookup into enumeration types.
 457         * name-lookup.h (enum scope_kind): Add sk_scoped_enum.
 458         * parser.c (cp_parser_class_or_namespace_name): Rename to...
 459         (cp_parser_qualifying_entity): ... this. Also, in C++0x mode,
 460         parse a type-name that can be an enumeration type.
 461         (cp_parser_nested_name_specifier_opt): Update with C++0x grammar.
 462         (cp_parser_elaborated_type_specifier): Parse the
 463         optional `struct' or `class' following enum (in C++0x).
 464         (cp_parser_enum_specifier): Parse C++0x scoped enumerations and
 465         enum-base clauses.
 466
 467 2008-08-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 468
 469         * typeck.c: Update all calls to pedwarn.
 470         * decl.c: Likewise.
 471         * call.c: Likewise.
 472         * error.c: Likewise.
 473         * pt.c: Likewise.
 474         * name-lookup.c: Likewise.
 475         * parser.c: Likewise.
 476
 477 2008-08-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 478
 479         PR c++/35158
 480         * parser.c (cp_parser_omp_for_loop): Handle parenthesized
 481         initializers.
 482
 483 2008-08-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 484
 485         * parser.c: Update all calls to inform.
 486         * typeck.c: Likewise.
 487         * init.c: Likewise.
 488         * class.c: Likewise.
 489         * call.c: Likewise.
 490         * method.c: Likewise.
 491         * friend.c: Likewise.
 492         * typeck2.c: Likewise.
 493         * pt.c: Likewise.
 494         * name-lookup.c: Likewise.
 495         * lex.c: Likewise.
 496
 497 2008-08-19  Jakub Jelinek  <jakub@redhat.com>
 498
 499         PR debug/37156
 500         * error.c (cp_print_error_function): Deal with recursive BLOCK trees.
 501
 502 2008-08-18  Tomas Bily  <tbily@suse.cz>
 503
 504         * tree.c (cp_tree_equal): Use CONVERT_EXPR_CODE_P.
 505
 506 2008-08-18  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 507
 508         * typeck.c: Update all callers of permerror.
 509         * init.c: Likewise.
 510         * class.c: Likewise.
 511         * decl.c: Likewise.
 512         * call.c: Likewise.
 513         * except.c: Likewise.
 514         * cvt.c: Likewise.
 515         * typeck2.c: Likewise.
 516         * pt.c: Likewise.
 517         * semantics.c: Likewise.
 518         * name-lookup.c: Likewise.
 519         * lex.c: Likewise.
 520         * decl2.c: Likewise.
 521         * parser.c: Likewise.
 522
 523 2008-08-14  Paolo Carlini  <paolo.carlini@oracle.com>
 524
 525         PR c++/34485
 526         * pt.c (check_template_shadow): Change to return a bool.
 527         * name-lookup.c (push_class_level_binding): Early return if
 528         check_template_shadow returns false.
 529         * cp-tree.h (check_template_shadow): Adjust declaration.
 530
 531 2008-08-14  Paolo Carlini  <paolo.carlini@oracle.com>
 532
 533         PR c++/34600
 534         * decl.c (grokdeclarator): In case of extern and initializer, return
 535         error_mark_node after the error.
 536
 537 2008-08-13  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 538
 539         PR 30551
 540         * decl.c (grokfndecl): Call check_main_parameters_type only if
 541         -Wmain.
 542
 543 2008-08-12  Paolo Carlini  <paolo.carlini@oracle.com>
 544
 545         PR c++/37087
 546         * parser.c (cp_parser_class_head): Early return error_mark_node in
 547         case of global qualification of class name or qualified name that
 548         does not name a class.
 549
 550 2008-08-09  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 551
 552         PR c++/12242
 553         * cvt.c (ocp_convert): Warn for out-of-range conversions to enum.
 554
 555 2008-08-09  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 556
 557         PR 36901
 558         * cp-tree.h (struct diagnostic_context, struct diagnostic_info):
 559         Delete forward declarations. Check that toplev.h has not been
 560         included before this file. Include toplev.h and diagnostic.h.
 561         * error.c (cp_cpp_error): Use DK_PEDWARN.
 562         (cxx_incomplete_type_diagnostic): Update declaration.
 563         (cxx_incomplete_type_error): Use DK_ERROR.
 564         * typeck2.c (cxx_incomplete_type_diagnostic): Take a diagnostic_t
 565         as argument. Use emit_diagnostic.
 566         (cxx_incomplete_type_error): Use DK_ERROR.
 567         (add_exception_specifier): Use diagnostic_t instead of custom
 568         codes.
 569         * typeck.c (complete_type_or_else): Update call to
 570         cxx_incomplete_type_diagnostic.
 571         * init.c (build_delete): Likewise.
 572         * call.c (diagnostic_fn_t): Remove unused typedef.
 573         (build_temp): Pass a pointer to diagnostic_t.
 574         (convert_like_real): Use emit_diagnostic.
 575         (joust): Check return value of warning before giving informative
 576         note.
 577         * friend.c (do_friend): Check return value of warning
 578         before giving informative note.
 579         * parser.c (cp_parser_template_id): Likewise.
 580
 581 2008-08-09  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 582
 583         PR 7651
 584         * class.c (check_bases_and_members): Warn with -Wuninitialized
 585         instead of -Wextra.
 586
 587 2008-08-08  Volker Reichelt  <v.reichelt@netcologne.de>
 588
 589         PR c++/35985
 590         * decl.c (xref_basetypes): Check base for MAYBE_CLASS_TYPE_P,
 591         and make sure it is not a union.
 592
 593 2008-08-07  H.J. Lu  <hongjiu.lu@intel.com>
 594
 595         * semantics.c (finish_decltype_type): Initialize type.
 596
 597 2008-08-07  Douglas Gregor  <doug.gregor@gmail.com>
 598
 599         * semantics.c (finish_decltype_type): Handle calls to function
 600         pointers and references to functions properly.
 601
 602 2008-08-06  Douglas Gregor  <doug.gregor@gmail.com>
 603
 604         PR c++/36460
 605         * parser.c (cp_parser_template_argument): Don't assume that '>>'
 606         following a type-id is an error when in C++0x mode.
 607
 608 2008-08-06  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 609
 610         PR 26785
 611         * decl.c (grokdeclarator): Use explicit location with permerror_at.
 612
 613 2008-08-06  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 614
 615         PR 8715
 616         * typeck.c (cp_build_binary_op): Move code to c-common.c.
 617
 618 2008-08-05  Jason Merrill  <jason@redhat.com>
 619
 620         PR c++/37016
 621         * decl.c (build_ptrmemfunc_type): Don't require structural
 622         comparison of PMF types.
 623         * tree.c (cp_build_qualified_type_real): Don't clear
 624         a valid TYPE_PTRMEMFUNC_TYPE.
 625         * typeck.c (cp_build_unary_op): Still do build_ptrmemfunc in
 626         templates.
 627
 628 2008-08-04  Jason Merrill  <jason@redhat.com>
 629
 630         PR c++/36963
 631         * typeck2.c (check_narrowing): Allow narrowing conversion
 632         from an explicit floating-point constant.
 633
 634         PR c++/37006
 635         * pt.c (tsubst_decl): Leave DECL_INITIAL set on deleted
 636         instantiations.
 637
 638 2008-08-04  Simon Baldwin  <simonb@google.com>
 639
 640         PR c++/36999
 641         * parser.c (cp_parser_elaborated_type_specifier): Warn only when
 642         the declaration's id is followed by a semicolon.
 643
 644 2008-07-31  Jakub Jelinek  <jakub@redhat.com>
 645
 646         PR c++/36405
 647         * rtti.c (get_tinfo_decl_dynamic, get_typeid): Call
 648         complete_type_or_else even for UNKNOWN_TYPE to get diagnostics.
 649
 650 2008-07-31  Jason Merrill  <jason@redhat.com>
 651
 652         PR c++/36633
 653         * init.c (build_new_1): Don't convert pointer to the data type
 654         until we're actually going to treat it as that type.
 655
 656         PR c++/11309
 657         * tree.c (build_aggr_init_expr): Split out...
 658         (build_cplus_new): ...from here.
 659         (stabilize_init): Don't mess with AGGR_INIT_EXPR either.
 660         * init.c (build_new_1): new T() means value-initialization,
 661         not default-initialization.
 662         (build_vec_init): Likewise.
 663         (build_value_init_1): Use build_aggr_init_expr.
 664
 665 2008-07-30  Dodji Seketeli  <dseketel@redhat.com>
 666
 667         PR c++/36767
 668         * decl2.c (fix_temporary_vars_context_r): New function.
 669          (one_static_initialization_or_destruction): Make sure temporary
 670          variables part of the initialiser have their DECL_CONTEXT()
 671          properly set.
 672
 673 2008-07-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 674
 675         PR 34389
 676         * typeck.c (build_binary_op): Encapsulate code into
 677         shorten_binary_op.
 678
 679 2008-07-29  Jakub Jelinek  <jakub@redhat.com>
 680
 681         PR c++/36852
 682         * tree.c (cplus_array_hash, build_cplus_array_type_1): Hash on
 683         TYPE_UID instead of pointers.
 684
 685 2008-07-29  Jan Hubicka  <jh@suse.cz>
 686
 687         * optimize.c (maybe_clone_body): Remove DECL_INLINE.
 688         * decl.c (duplicate_decls): Likewise.
 689         (grokfndecl): Likewise.
 690         (start_method): Likewise.
 691         * method.c (make_thunk, make_alias_for, implicitly_declare_fn):
 692         Likewise.
 693         * pt.c (register_specialization, regenerate_decl_from_template):
 694         Likewise.
 695         * decl2.c (grokfield): Likewise.
 696
 697 2008-07-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 698
 699         PR 34985
 700         * decl.c (duplicate_decls): Merge USED flags.
 701
 702 2008-07-27  Jason Merrill  <jason@redhat.com>
 703
 704         PR c++/36943
 705         * decl.c (reshape_init_r): Allow C++0x initializer lists.
 706
 707 2008-07-28  Richard Guenther  <rguenther@suse.de>
 708
 709         Merge from gimple-tuples-branch.
 710
 711         2008-07-22  Aldy Hernandez  <aldyh@redhat.com>
 712
 713         * cp-gimplify.c (gimplify_if_stmt): Set location on newly created
 714         COND_EXPR.
 715
 716         2008-07-18  Jakub Jelinek  <jakub@redhat.com>
 717
 718         * decl.c (finish_function): Call gimple_body after cp_genericize.
 719
 720         2008-07-18  Aldy Hernandez  <aldyh@redhat.com>
 721
 722         * optimize.c: Include gimple.h instead of tree-gimple.h.
 723         * Make-lang.in (cp-gimplify.o): Depend on tree-iterator.h.
 724         * cp-gimplify.c: Rename tree-gimple.h to gimple.h.  Include
 725         tree-iterator.h.
 726
 727         2008-07-16  Jakub Jelinek  <jakub@redhat.com>
 728
 729         * optimize.c (maybe_clone_body): Clear DECL_SAVED_TREE for the clone.
 730
 731         2008-07-14  Jakub Jelinek  <jakub@redhat.com>
 732
 733         * cp-gimplify.c (cp_gimplify_expr): Update comment.
 734
 735         2008-07-14  Aldy Hernandez  <aldyh@redhat.com>
 736
 737         * cp-tree.h (union lang_tree_node): Rename GENERIC_NEXT to
 738         TREE_CHAIN.
 739         * cp-gimplify.c (cxx_omp_clause_apply_fn): Rename
 740         GIMPLE_MODIFY_STMT to MODIFY_EXPR.
 741         (cxx_omp_clause_copy_ctor): Same.
 742         (cxx_omp_clause_assign_op): Same.
 743
 744         2008-05-28  Jakub Jelinek  <jakub@redhat.com>
 745
 746         * cp-gimplify.c (cp_gimplify_omp_for): Add pre_p argument.  Tuplify.
 747         (cp_gimplify_expr): Adjust caller.
 748
 749         2008-05-11 Doug Kwan  <dougkwan@google.com>
 750
 751         * init.c (build_vec_delete): Add type conversion for argument
 752         0 of POINTER_PLUS_EXPR.
 753
 754         2008-04-29  Doug Kwan  <dougkwan@google.com>
 755
 756         * decl2 (File): Include "gimple.h"
 757         (cp_write_global_declarations): Use gimple_body instead of
 758         DECL_SAVED_TREE.
 759         * Make-lang.in (cp/decl2.o): Add $(GIMPLE_H)
 760
 761         2008-04-10  Diego Novillo  <dnovillo@google.com>
 762
 763         http://gcc.gnu.org/ml/gcc-patches/2008-04/msg00913.html
 764
 765         * optimize.c (maybe_clone_body): Re-enable call to
 766         clone_body.
 767         * cp-gimplify.c (cp_gimplify_omp_for): Mark disabled
 768         code with call to gimple_unreachable.
 769         (cp_genericize): Fix handling of clone bodies.
 770
 771         2008-04-04  Diego Novillo  <dnovillo@google.com>
 772
 773         http://gcc.gnu.org/ml/gcc-patches/2008-04/msg00413.html
 774
 775         * optimize.c (maybe_clone_body): Re-enable.
 776
 777         2008-02-19  Diego Novillo  <dnovillo@google.com>
 778                     Oleg Ryjkov  <olegr@google.com>
 779
 780         http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00804.html
 781
 782         * cp-gimplify.c (gimplify_for_stmt): Change gimple_seq
 783         argument to gimple_seq *.  Update all users.
 784         (gimplify_must_not_throw_expr): Likewise.
 785
 786         2008-02-04  Oleg Ryjkov <olegr@google.com>
 787
 788         * except.c: Include gimple.h
 789         (cp_protect_cleanup_actions): Convert to tuples.
 790         * Make-lang.in (cp/except.o): Add dependency on gimple.h
 791
 792         2007-11-10  Aldy Hernandez  <aldyh@redhat.com>
 793
 794         * cp-gimplify.c (gimplify_cp_loop): Call tree_annotate_all_with_locus
 795         instead of annotating each block manually.
 796
 797         2007-10-30  Aldy Hernandez  <aldyh@redhat.com>
 798
 799         * cp-gimplify.c (gimplify_cp_loop): Tuplify.
 800         (gimplify_for_stmt): Same.
 801         (gimplify_switch_stmt): Same.
 802         (cp_gimplify_expr): [FOR_STMT]: Do not call gimplify_for_stmt.  Return
 803         GS_OK.
 804         [WHILE_STMT]: Return GS_OK.
 805         [SWITCH_STMT]: Same.
 806         [CONTINUE_STMT]: Same.
 807         [BREAK_STMT]: Same.
 808         (cp_genericize): Set gimple_body() of cloned functions when needed.
 809
 810         2007-10-29  Aldy Hernandez  <aldy@quesejoda.com>
 811
 812         * cp-gimplify.c: Move build_gimple_eh_filter_tree here.
 813         (cp_gimplify_init_expr): Convert to tuples.
 814         (gimplify_must_not_throw_expr): Make function return a
 815         gimplify_status and convert to tuples.
 816
 817         2007-10-18  Aldy Hernandez  <aldy@quesejoda.com>
 818
 819         * cp-gimplify.c (genericize_try_block): Enable and do not call
 820         gimplify_stmt.
 821         (genericize_catch_block): Same.
 822         (genericize_eh_spec_block): Same.
 823         Rename gimple_build_eh_filter_tree to build_gimple_eh_filter_tree.
 824         (cp_gimplify_expr): Enable TRY_BLOCK, HANDLER, and EH_SPEC_BLOCK.
 825
 826         2007-10-16  Aldy Hernandez  <aldy@quesejoda.com>
 827
 828         * optimize.c (maybe_clone_body): Comment out call to clone_body.
 829         * decl.c (finish_function): Use gimple_body instead of
 830         DECL_SAVED_TREE.
 831         * cp-tree.h (cp_gimplify_expr): Last 2 arguments are sequences.
 832         * cp-gimplify.c (genericize_try_block): Comment out.
 833         (genericize_catch_block): Same.
 834         (genericize_eh_spec_block): Same.
 835         (gimplify_cp_loop): Comment out calls to gimplify_stmt.
 836         (gimplify_for_stmt): Comment out.
 837         (gimplify_switch_stmt): Comment out call to gimplify_stmt.
 838         (cp_gimplify_omp_for): Same.
 839         (gimplify_must_not_throw_expr): Argument pre_p is a sequence.
 840         Comment out call to gimplify_stmt and append_to_statement_list.
 841         Rename gimple_build_eh_filter_tree to build_gimple_eh_filter_tree.
 842         (cp_gimplify_init_expr): Arguments pre_p and post_p are sequences.
 843         (cp_gimplify_expr): Same.
 844         Comment out calls to genericize_*_block.  Comment out call to
 845         gimplify_for_stmt.
 846
 847 2008-07-27  H.J. Lu  <hongjiu.lu@intel.com>
 848
 849         PR c++/36944
 850         * class.c (type_has_user_provided_default_constructor): Handle
 851         default parameters.
 852
 853 2008-07-27  Paolo Carlini  <paolo.carlini@oracle.com>
 854
 855         * decl.c (push_library_fn): Add a parameter for the exceptions that
 856         the function may throw.
 857         (push_void_library_fn, push_throw_library_fn, expand_static_init):
 858         Adjust.
 859         (build_library_fn): Change to static.
 860         * cp-tree.h: Adjust declarations.
 861         * except.c (declare_nothrow_library_fn): New.
 862         (do_get_exception_ptr, do_begin_catch, do_free_exception,
 863         do_allocate_exception):  Use the latter, adjust the declarations
 864         (ie, add empty exception-specification), consistently with the
 865         actual implementation in libsupc++.
 866
 867 2008-07-25  Jan Hubicka  <jh@suse.cz>
 868
 869         * typeck.c (inline_conversion): Remove.
 870         (cp_build_function_call): Do not use inline_conversion.
 871         * decl.c (duplicate_decls): Do not insist on inline being declared
 872         early.
 873         (start_cleanup_fn): Do not assume that INLINE flags prevent function
 874         from being output.  We now remove static functions always.
 875         (finish_function): Do return warning on all static functions.
 876         * call.c (build_over_call): Do not use inline_conversion.
 877         * cp-tree.h (possibly_inlined_p): Declare.
 878         (inline_conversion): Remove.
 879         * pt.c (instantiate_decl): Use possibly_inlined_p predicate.
 880         * decl2.c (cp_write_global_declarations): Likewise.
 881         (mark_used): Likewise.
 882         (possibly_inlined_p): New functions.
 883
 884 2008-07-25  Jason Merrill  <jason@redhat.com>
 885
 886         * class.c (type_has_user_provided_default_constructor): Handle
 887         templates.
 888
 889 2008-07-23  Jan Hubicka  <jh@suse.cz>
 890
 891         * decl.c (duplicate_decls): Update comment and unit-at-a-time.
 892         (grogfndecl): Drop flag_inline_trees code.
 893         * pt.c (instantiate_decl): Drop flag_iline_trees code.
 894         * lex.c (cxx_init): Do not set unit-at-a-time.
 895
 896 2008-07-23  Jason Merrill  <jason@redhat.com>
 897
 898         * mangle.c (write_unqualified_name): Avoid infinite recursion when
 899         trying to mangle a decl with no name.
 900
 901         Implement defaulted/deleted functions as per N2346
 902         * cp-tree.h (struct lang_decl_flags): Add defaulted_p bitfield.
 903         (DECL_DELETED_FN): New macro.
 904         (DECL_DEFAULTED_FN): New macro.
 905         * class.c (user_provided_p): New fn.
 906         (defaultable_fn_p): New fn.
 907         (type_has_user_provided_constructor): New fn.
 908         (type_has_user_provided_default_constructor): New fn.
 909         (check_methods): A defaulted fn is still trivial.
 910         (check_bases_and_members): Likewise.
 911         * decl.c (grok_special_member_properties): Likewise.
 912         (duplicate_decls): Complain about redeclaring a function as deleted.
 913         (start_decl): initialized==2 means deleted.
 914         (cp_finish_decl): Handle deleted/defaulted semantics.
 915         * decl2.c (grokfield): Likewise.
 916         (mark_used): Check DECL_DEFAULTED_FN instead of DECL_ARTIFICIAL.
 917         Complain about using a deleted fn.
 918         * init.c (build_value_init_1): Use type_has_user_provided_constructor.
 919         (perform_member_init): Check for a user-provided default constructor
 920         even if TYPE_NEEDS_CONSTRUCTING.
 921         (build_new_1): Likewise.
 922         * call.c (build_over_call): Don't call mark_used twice.
 923         * method.c (implicitly_declare_fn): Set DECL_DEFAULTED_FN.
 924         * search.c (check_final_overrider): Check for deleted mismatch.
 925         * parser.c (cp_parser_init_declarator): Tell start_decl about =delete.
 926         (cp_parser_pure_specifier): Handle =default and =delete.
 927
 928         * error.c (maybe_warn_cpp0x): Suggest -std=gnu++0x as well.
 929
 930 2008-07-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 931
 932         PR 35058
 933         * typeck.c: All calls to pedwarn changed.
 934         * decl.c: All calls to pedwarn changed.
 935         * call.c: All calls to pedwarn changed.
 936         * error.c: All calls to pedwarn changed.
 937         * typeck2.c: All calls to pedwarn changed.
 938         * pt.c: All calls to pedwarn changed.
 939         * name-lookup.c: All calls to pedwarn changed.
 940         * parser.c: All calls to pedwarn changed.
 941
 942 2008-07-21  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 943
 944         * call.c: Fix comment typos.
 945         * class.c: Likewise.
 946         * cp-tree.h: Likewise.
 947         * cxx-pretty-print.c: Likewise.
 948         * decl.c: Likewise.
 949         * init.c: Likewise.
 950         * name-lookup.c: Likewise.
 951         * operators.def: Likewise.
 952         * parser.c: Likewise.
 953         * pt.c: Likewise.
 954         * tree.c: Likewise.
 955         * typeck.c: Likewise.
 956
 957 2008-07-21  Paolo Carlini  <paolo.carlini@oracle.com>
 958
 959         PR c++/36871
 960         PR c++/36872
 961         * semantics.c (classtype_has_nothrow_assign_or_copy_p): Only check
 962         copy constructors and copy assignment operators proper.
 963
 964 2008-07-21  Rafael Ávila de Espíndola  <espindola@google.com>
 965
 966         * parser.c (cp_token): Remove in_system_header.
 967         (eof_token): Remove in_system_header.
 968         (cp_lexer_get_preprocessor_token): Don't set in_system_header.
 969         (cp_lexer_set_source_position_from_token): Don't set in_system_header.
 970         (cp_parser_member_declaration):  Use in_system_header_at.
 971         * pt.c (lookup_template_class): Don't set DECL_IN_SYSTEM_HEADER.
 972         (pop_tinst_level): Don't set in_system_header.
 973         (instantiate_class_template): Don't set in_system_header.
 974         (instantiate_decl): Don't set in_system_header.
 975         (instantiate_pending_templates): Don't set in_system_header.
 976
 977 2008-07-21  Paolo Carlini  <paolo.carlini@oracle.com>
 978
 979         PR c++/36870
 980         * semantics.c (classtype_has_nothrow_assign_or_copy_p): Use
 981         TYPE_NOTHROW_P, not TREE_NOTHROW.
 982         (trait_expr_value): Likewise.
 983
 984 2008-07-18  Dodji Seketeli  <dseketel@redhat.com>
 985
 986         PR c++/36407
 987         * call.c (convert_like_real): Don't take the error code path
 988           when a rvalue or base conversion has the bad_p field set.
 989
 990 2008-07-18  Kris Van Hees  <kris.van.hees@oracle.com>
 991
 992         * rtti.c (emit_support_tinfos): Add char16_type_node and
 993         char32_type_node.
 994         * typeck2.c (digest_init): Support char16_t and char32_t.
 995
 996 2008-07-18  Kavih R. Ghazi  <ghazi@caip.rutgers.edu>
 997
 998         * cvt.c (convert_to_void): Avoid C++ keywords.
 999         * decl.c (walk_namespaces_r, wrapup_globals_for_namespace):
1000         Likewise.
1001         * friend.c (is_friend): Likewise.
1002         * init.c (perform_member_init): Likewise.
1003         * mangle.c (write_template_prefix, write_template_template_param):
1004         Likewise.
1005         * name-lookup.c (do_namespace_alias, do_using_directive,
1006         parse_using_directive, ambiguous_decl, arg_assoc): Likewise.
1007         * parser.c (cp_parser_template_id, cp_parser_namespace_definition,
1008         cp_parser_objc_typename, cp_parser_objc_method_keyword_params):
1009         Likewise.
1010         * pt.c (is_specialization_of_friend, lookup_template_class,
1011         push_tinst_level, instantiate_class_template,
1012         tsubst_copy_and_build): Likewise.
1013         * tree.c (add_stmt_to_compound): Likewise.
1014         * typeck.c (finish_class_member_access_expr): Likewise.
1015
1016 2008-07-17  Julian Brown  <julian@codesourcery.com>
1017             Mark Mitchell  <mark@codesourcery.com>
1018
1019         * decl2.c (determine_visibility): Allow target to override
1020         visibility of class data.
1021
1022 2008-07-17  Paolo Carlini  <paolo.carlini@oracle.com>
1023
1024         PR c++/36855
1025         * semantics.c (trait_expr_value): Update __has_trivial_destructor
1026         semantics to the current WP (N2691).
1027
1028 2008-07-16  Dodji Seketeli  <dseketel@redhat.com>
1029
1030         PR c++/13699
1031         * name-lookup.c (lookup_extern_c_fun_binding_in_all_ns): New function.
1032         (pushdecl_maybe_friend): Check if a redeclaration of extern C function
1033         complies with exception specification constraints.
1034
1035 2008-07-14  Jason Merrill  <jason@redhat.com>
1036
1037         * lex.c (init_reswords): Always set D_OBJC.
1038
1039 2008-07-11  Tom Tromey  <tromey@redhat.com>
1040             Ian Lance Taylor  <iant@google.com>
1041
1042         * lex.c (struct resword, reswords): Don't define.
1043         (D_EXT, D_ASM, D_OBJC, D_CXX0X): Don't define.
1044         (init_reswords): Clarify mask code.  Use c_common_reswords rather
1045         than reswords.
1046
1047 2008-07-11  Dodji Seketeli  <dseketel@redhat.com>
1048
1049         PR c++/13101
1050         * decl.c (grokdeclarator): Warn about initializing variables
1051         of storage class 'extern' only after the type of the declarator
1052         has been properly computed.
1053
1054 2008-07-11  Dodji Seketeli  <dseketel@redhat.com>
1055
1056         PR c++/31754
1057         * cp-tree.h (struct cp_decl_specifier_seq): Add a location field. It
1058         carries the location of the primary type.
1059         * parser.c (cp_parser_check_type_definition): Update documentation.
1060         (cp_parser_check_for_definition_in_return_type,
1061         cp_parser_check_for_invalid_template_id,
1062         cp_parser_set_decl_spec_type,
1063         cp_parser_check_for_definition_in_return_type,
1064         cp_parser_diagnose_invalid_type_name,
1065         cp_parser_new_expression, cp_parser_explicit_instantiation,
1066         cp_parser_type_specifier, cp_parser_simple_type_specifier,
1067         cp_parser_omp_for_loop, cp_parser_pragma): Use location in error
1068         messages.
1069
1070 2008-07-11 Dodji Seketeli <dseketel@redhat.com>
1071
1072         PR c++/31754
1073         * pt.c, semantic.c:
1074         * semantic.c (qualified_name_lookup_error, finish_id_expression):
1075         Add a location_t parameter so that
1076         error message can have a more accurate location.
1077         * cp-tree.h: Updated prototype
1078         * pt.c (tsubst_qualified_id): Use location in error messages.
1079         * parser.c (cp_parser_postfix_expression,
1080         cp_parser_objc_statement, cp_parser_trait_expr,
1081         cp_parser_token_is_class_key,
1082         cp_parser_uncommitted_to_tentative_parse_p,
1083         cp_parser_check_for_invalid_template_id, cp_parser_is_string_literal,
1084         cp_parser_error, cp_parser_name_lookup_error,
1085         cp_parser_simulate_error, cp_parser_check_decl_spec,
1086         cp_parser_check_decl_spec, cp_parser_non_integral_constant_expression,
1087         cp_parser_diagnose_invalid_type_name,
1088         cp_parser_parse_and_diagnose_invalid_type_name,
1089         cp_parser_require_pragma_eol, cp_parser_make_typename_type,
1090         cp_parser_string_literal, cp_parser_primary_expression,
1091         cp_parser_primary_expression, cp_parser_unqualified_id,
1092         cp_parser_nested_name_specifier_opt, cp_parser_postfix_expression,
1093         cp_parser_postfix_dot_deref_expression, cp_parser_new_expression,
1094         cp_parser_direct_new_declarator, cp_parser_builtin_offsetof,
1095         cp_parser_label_for_labeled_statement, cp_parser_statement_seq_opt,
1096         cp_parser_jump_statement, cp_parser_block_declaration,
1097         cp_parser_simple_declaration, cp_parser_decl_specifier_seq,
1098         cp_parser_function_specifier_opt, cp_parser_decltype,
1099         cp_parser_mem_initializer_list, cp_parser_mem_initializer,
1100         cp_parser_mem_initializer_id, cp_parser_template_parameter,
1101         cp_parser_type_parameter, cp_parser_template_id,
1102         cp_parser_template_name, cp_parser_template_argument): Likewise.
1103
1104 2008-07-09  Paolo Carlini  <paolo.carlini@oracle.com>
1105
1106         PR c++/36760
1107         * pt.c (tsubst_function_type): Remove warning for type qualifiers
1108         on function return type.
1109
1110 2008-07-09  Paolo Carlini  <paolo.carlini@oracle.com>
1111
1112         PR c++/36760
1113         * pt.c (tsubst_function_type): Don't warn for type qualifiers
1114         on function return type in case of system header.
1115
1116 2008-07-09  Raksit Ashok <raksit@google.com>
1117
1118         * parser.c (cp_parser_postfix_expression): New warning based on flag
1119         warn_disallowed_functions.
1120
1121 2008-07-08  Simon Martin  <simartin@users.sourceforge.net>
1122
1123         PR c++/34963
1124         * decl.c (grokdeclarator): Reset storage_class and staticp for friend
1125         functions declared with a storage class qualifier.
1126
1127 2008-07-03  Richard Guenther  <rguenther@suse.de>
1128
1129         PR c++/36128
1130         * typeck.c (cp_build_function_call): Move code to verify
1131         builtin function arguments ...
1132         * call.c (build_cxx_call): ... here.
1133
1134 2008-07-02  Jason Merrill  <jason@redhat.com>
1135
1136         * Make-lang.in (cp/typeck2.o): Add $(REAL_H) dependency.
1137
1138         Implement WG21 N2672, Initializer List proposed wording
1139         * cp-tree.h (enum cp_tree_index): Add CPTI_INIT_LIST_TYPE.
1140         (struct lang_type_class): Add has_list_ctor bitfield.
1141         (TYPE_HAS_LIST_CTOR): New macro.
1142         (BRACE_ENCLOSED_INITIALIZER_P): Expect init_list_type_node.
1143         (CONSTRUCTOR_IS_DIRECT_INIT): New macro.
1144         (LOOKUP_NO_NARROWING): New macro.
1145         (LOOKUP_NO_COPY_CTOR_CONVERSION): New macro.
1146         * parser.c (cp_parse_braced_list): Split out from...
1147         (cp_parser_initializer_clause): ...here.
1148         (cp_parser_postfix_expression): Build up CONSTRUCTOR for compound
1149         literal here.
1150         (cp_lexer_next_token_is_not_keyword): New fn.
1151         (cp_parser_parenthesized_expression_list): Handle { }.
1152         (cp_parser_new_expression, cp_parser_new_initializer): Likewise.
1153         (cp_parser_assignment_expression, cp_parser_condition): Likewise.
1154         (cp_parser_jump_statement, cp_parser_simple_declaration): Likewise.
1155         (cp_parser_mem_initializer, cp_parser_init_declarator): Likewise.
1156         (cp_parser_initializer, cp_parser_functional_cast): Likewise.
1157         (cp_parser_omp_for_loop, cp_parser_cache_group): Likewise.
1158         (cp_parser_save_member_function_body): Likewise.
1159         * call.c (conversion_kind): Add ck_list, ck_aggr.
1160         (struct conversion): Add check_narrowing bitfield, conversion list.
1161         (build_list_conv): New fn.
1162         (build_aggr_conv): New fn.
1163         (implicit_conversion): Call them.
1164         (standard_conversion): Set check_narrowing if appropriate.
1165         (add_function_candidate): Handle LOOKUP_NO_COPY_CTOR_CONVERSION.
1166         (build_user_type_conversion_1): When converting from an init list,
1167         we allow additional conversions except when calling a copy ctor.
1168         (convert_like_real): Calling an explicit ctor for an init list is
1169         ill-formed.  Handle ck_list and ck_addr.  Check narrowing.
1170         (build_new_method_call): If CONSTRUCTOR_IS_DIRECT_INIT is set and
1171         class doesn't have a list ctor, break the {} into a TREE_LIST.
1172         (compare_ics): ck_list is better than other UDCs.
1173         (set_up_extended_ref_temp): Split out from initialize_reference.
1174         (is_std_init_list): New fn.
1175         (is_list_ctor): New fn.
1176         * decl.c (cxx_init_decl_processing): Create init_list_type_node.
1177         (reshape_init_array_1): Pass it to build_constructor.
1178         (reshape_init_class): Ditto.
1179         (initialize_artificial_var): Pass the appropriate type.
1180         (build_aggr_init_full_exprs): Split out from...
1181         (check_initializer): ...here.  Handle new semantics.
1182         (build_init_list_var_init): New subroutine of check_initializer.
1183         (grokdeclarator): Converting constructors can have more than one parm.
1184         (grok_special_member_properties): Set TYPE_HAS_LIST_CTOR.
1185         * init.c (expand_default_init): Only do digest_init for aggregates.
1186         * rtti.c (tinfo_base_init): Pass init_list_type_node to
1187         build_constructor_from_list.
1188         (generic_initializer, ptr_initializer): Ditto.
1189         (ptm_initializer, class_initializer): Ditto.
1190         (get_pseudo_ti_init): Ditto.
1191         * error.c (dump_type): Handle init_list_type_node.
1192         (maybe_warn_cpp0x): New fn.
1193         (maybe_varn_variadic_templates): Call it.
1194         * cvt.c (ocp_convert): Handle conversion from { }.
1195         * tree.c (build_array_of_n_type): New fn.
1196         * typeck2.c (store_init_value): Use init_list_type_node.
1197         (digest_init): Likewise.
1198         (check_narrowing): New fn.
1199         * semantics.c: (finish_compound_literal): Take CONSTRUCTOR instead
1200         of vector of constructor elts.  Handle non-aggregate types.  Make
1201         constant literals static.
1202         * pt.c: (tsubst_copy_and_build): Adjust.
1203         (unify): Handle { }.
1204         * name-lookup.c (arg_assoc_type): Handle init_list_type_node.
1205
1206 2008-07-01  Daniel Jacobowitz  <dan@codesourcery.com>
1207
1208         * typeck.c (comp_ptr_ttypes_real): Use vector_targets_convertible_p.
1209         (comp_ptr_ttypes_const): Likewise.
1210
1211 2008-07-01  Andrew Haley  <aph@redhat.com>
1212
1213         * decl.c (finish_constructor_body): Don't set the return value of
1214         the constructor if the constructor is that of a Java type.
1215
1216 2008-06-30  Jakub Jelinek  <jakub@redhat.com>
1217
1218         PR c++/36662
1219         * decl2.c (is_late_template_attribute): If the first attribute
1220         argument is IDENTIFIER_NODE, don't consider it when checking
1221         if arguments are value or type dependent.
1222
1223 2008-06-29  Paolo Carlini  <paolo.carlini@oracle.com>
1224
1225         PR c++/36655
1226         * pt.c (do_type_instantiation): In c++0x mode do not warn for
1227         extern template.
1228
1229 2008-06-29  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1230
1231         * Make-lang.in (cp-warn): Delete $(CXX_COMPAT_WARN).
1232
1233 2008-06-28  Jakub Jelinek  <jakub@redhat.com>
1234
1235         PR c++/36364
1236         * repo.c (repo_emit_p): Put const static data members initialized
1237         by const expr into *.rpo file, just return 2 if IDENTIFIER_REPO_CHOSEN
1238         for it is 0.
1239
1240 2008-06-27  Paolo Carlini  <paolo.carlini@oracle.com>
1241
1242         PR c++/36655
1243         * pt.c (do_decl_instantiation): In c++0x mode do not warn for
1244         extern template.
1245
1246 2008-06-24  Jonathan Wakely  <jwakely.gcc@gmail.com>
1247
1248         PR c++/23194
1249         * typeck.c (cp_build_function_call): Show example syntax in
1250         diagnostic.
1251
1252 2008-06-21  Jonathan Wakely  <jwakely.gcc@gmail.com>
1253
1254         * typeck.c (composite_pointer_type_r, cxx_sizeof_expr,
1255         cxx_alignof_expr, check_template_keyword, cp_build_binary_op,
1256         pointer_diff, cp_build_unary_op, build_x_compound_expr_from_list,
1257         build_reinterpret_cast_1, cp_build_c_cast, check_return_expr): Change
1258         pedwarn to permerror.
1259         * init.c (perform_member_init, build_new_1, build_new): Likewise.
1260         * decl.c (warn_extern_redeclared_static, duplicate_decls,
1261         * identify_goto, check_previous_goto_1, check_goto, define_label,
1262         check_tag_decl, start_decl, check_class_member_definition_namespace,
1263         grokfndecl, grokdeclarator): Likewise.
1264         * except.c (check_handlers): Likewise.
1265         * typeck2.c (digest_init): Likewise.
1266         * pt.c (check_specialization_namespace,
1267         check_explicit_instantiation_namespace,
1268         maybe_process_partial_specialization, check_explicit_specialization,
1269         convert_template_argument, do_decl_instantiation,
1270         do_type_instantiation, instantiate_decl): Likewise.
1271         * semantics.c (finish_template_type_parm): Likewise.
1272         * name-lookup.c (pushdecl_maybe_friend,
1273         check_for_out_of_scope_variable): Likewise.
1274         * decl2.c (finish_static_data_member_decl, build_anon_union_vars,
1275         coerce_new_type): Likewise.
1276         * parser.c (cp_parser_nested_name_specifier_opt,
1277         cp_parser_mem_initializer, cp_parser_elaborated_type_specifier,
1278         cp_parser_class_head, cp_parser_check_class_key): Likewise.
1279         (cp_parser_parameter_declaration): Check flag_permissive instead of
1280         flag_pedantic_errors.
1281         * call.c (joust): Change pedwarn to warning.
1282         * friend.c (make_friend_class): Likewise.
1283
1284 2008-06-16  Jan Hubicka  <jh@suse.cz>
1285
1286         * method.c: Include cgraph.h.
1287         (use_thunk): Use cgraph_add_new_function instead of calling backend
1288         directly.
1289
1290 2008-06-15  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
1291
1292         * parser.c: Fix comment typo.
1293
1294 2008-06-14  Simon Martin  <simartin@users.sourceforge.net>
1295
1296         PR c++/35320
1297         * decl2.c (grokbitfield): Receive the list of attributes, pass it to
1298         grokdeclarator and apply it to the created declaration.
1299         * cp-tree.h (grokbitfield): Update prototype.
1300         * parser.c (cp_parser_member_declaration): Don't apply the attributes
1301         since they are now applied in grokbitfield. Adjusted the call to
1302         grokbitfield.
1303         (cp_parser_objc_class_ivars): Likewise.
1304
1305 2008-06-14  Simon Martin  <simartin@users.sourceforge.net>
1306
1307         PR c++/35317
1308         * class.c (type_requires_array_cookie): Do not consider delete[]
1309         operators with an ellipsis as second argument.
1310
1311 2008-06-09  Jakub Jelinek  <jakub@redhat.com>
1312
1313         PR c++/36408
1314         * semantics.c (stmt_expr_value_expr): Don't crash on empty
1315         STATEMENT_LIST.
1316
1317 2008-06-08  Paolo Carlini  <paolo.carlini@oracle.com>
1318
1319          PR c++/35242
1320          * pt.c (maybe_process_partial_specialization): Check the tree
1321         returned by push_template_decl for error_mark_node.
1322         * parser.c (cp_parser_class_head): Likewise, check the tree
1323         returned by the latter.
1324
1325 2008-06-07  Paolo Carlini  <paolo.carlini@oracle.com>
1326
1327          PR c++/35327
1328          * decl.c (grokdeclarator): In case of wrong return type return
1329         immediately error_mark_node.
1330
1331 2008-06-06  Jakub Jelinek  <jakub@redhat.com>
1332
1333         * cp-tree.h (cxx_omp_finish_clause, cxx_omp_create_clause_info,
1334         dependent_omp_for_p, begin_omp_task, finish_omp_task,
1335         finish_omp_taskwait): New prototypes.
1336         (cxx_omp_clause_default_ctor): Add outer argument.
1337         (finish_omp_for): Add new clauses argument.
1338         * cp-gimplify.c (cxx_omp_finish_clause): New function.
1339         (cxx_omp_predetermined_sharing): Moved from semantics.c, rewritten.
1340         (cxx_omp_clause_default_ctor): Add outer argument.
1341         (cp_genericize_r): Walk OMP_CLAUSE_LASTPRIVATE_STMT.
1342         * cp-objcp-common.h (LANG_HOOKS_OMP_FINISH_CLAUSE): Define.
1343         * parser.c (cp_parser_omp_for_loop): Parse collapsed for loops.
1344         Add par_clauses argument.  If decl is present in parallel's
1345         lastprivate clause, change that clause to shared and add
1346         a lastprivate clause for decl to OMP_FOR_CLAUSES.
1347         Fix wording of error messages.  Adjust finish_omp_for caller.
1348         Add clauses argument.  Parse loops with random access iterators.
1349         (cp_parser_omp_clause_collapse, cp_parser_omp_clause_untied): New
1350         functions.
1351         (cp_parser_omp_for, cp_parser_omp_parallel): Adjust
1352         cp_parser_omp_for_loop callers.
1353         (cp_parser_omp_for_cond, cp_parser_omp_for_incr): New helper
1354         functions.
1355         (cp_parser_omp_clause_name): Handle collapse and untied
1356         clauses.
1357         (cp_parser_omp_clause_schedule): Handle auto schedule.
1358         (cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_COLLAPSE
1359         and PRAGMA_OMP_CLAUSE_UNTIED.
1360         (OMP_FOR_CLAUSE_MASK): Add PRAGMA_OMP_CLAUSE_COLLAPSE.
1361         (OMP_TASK_CLAUSE_MASK): Define.
1362         (cp_parser_omp_task, cp_parser_omp_taskwait): New functions.
1363         (cp_parser_omp_construct): Handle PRAGMA_OMP_TASK.
1364         (cp_parser_pragma): Handle PRAGMA_OMP_TASK and
1365         PRAGMA_OMP_TASKWAIT.
1366         * pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_COLLAPSE and
1367         OMP_CLAUSE_UNTIED.  Handle OMP_CLAUSE_LASTPRIVATE_STMT.
1368         (tsubst_omp_for_iterator): New function.
1369         (dependent_omp_for_p): New function.
1370         (tsubst_expr) <case OMP_FOR>: Use it.  Handle collapsed OMP_FOR
1371         loops.  Adjust finish_omp_for caller.  Handle loops with random
1372         access iterators.  Adjust for OMP_FOR_{INIT,COND,INCR} changes.
1373         (tsubst_expr): Handle OMP_TASK.
1374         * semantics.c (cxx_omp_create_clause_info): New function.
1375         (finish_omp_clauses): Call it.  Handle OMP_CLAUSE_UNTIED and
1376         OMP_CLAUSE_COLLAPSE.
1377         (cxx_omp_predetermined_sharing): Removed.
1378         * semantics.c (finish_omp_for): Allow pointer iterators.  Use
1379         handle_omp_for_class_iterator and dependent_omp_for_p.  Handle
1380         collapsed for loops.  Adjust c_finish_omp_for caller.  Add new
1381         clauses argument.  Fix check for type dependent cond or incr.
1382         Set OMP_FOR_CLAUSES to clauses.  Use cp_convert instead of
1383         fold_convert to convert incr amount to difference_type.  Only
1384         fold if not in template.  If decl is mentioned in lastprivate
1385         clause, set OMP_CLAUSE_LASTPRIVATE_STMT.  Handle loops with random
1386         access iterators.  Adjust for OMP_FOR_{INIT,COND,INCR}
1387         changes.
1388         (finish_omp_threadprivate): Allow static class members of the
1389         current class.
1390         (handle_omp_for_class_iterator, begin_omp_task, finish_omp_task,
1391         finish_omp_taskwait): New functions.
1392
1393         * parser.c (cp_parser_binary_expression): Add prec argument.
1394         (cp_parser_assignment_expression): Adjust caller.
1395         * cp-tree.h (outer_curly_brace_block): New prototype.
1396         * decl.c (outer_curly_brace_block): No longer static.
1397
1398 2008-06-02  Paolo Carlini  <paolo.carlini@oracle.com>
1399
1400          PR c++/36404
1401          * pt.c (push_template_decl_real): Consistently return error_mark_node
1402         on error.
1403
1404 2008-06-02  Tomas Bily  <tbily@suse.cz>
1405
1406          * typeck.c (is_bitfield_expr_with_lowered_type): Use CASE_CONVERT.
1407          (cp_build_unary_op): Likewise.
1408          (cp_build_indirect_ref): Use CONVERT_EXPR_P.
1409          (maybe_warn_about_returning_address_of_local): Likewise.
1410
1411 2008-05-29  Paolo Carlini  <paolo.carlini@oracle.com>
1412
1413          PR c++/35243
1414          * pt.c (tsubst_initializer_list): Consistently check the tree
1415          returned by tsubst_pack_expansion for error_mark_node.
1416
1417 2008-05-27  Michael Matz  <matz@suse.de>
1418
1419         PR c++/27975
1420         * call.c (build_new_op): Make warning conditional on
1421         OPT_Wenum_compare.
1422
1423 2008-05-27  Alexandre Oliva  <aoliva@redhat.com>
1424
1425         PR c++/35909
1426         * call.c (convert_like_real): Convert bitfield to desired type
1427         before creating temporary.
1428
1429 2008-05-26  Daniel Franke  <franke.daniel@gmail.com>
1430
1431         * Makefile.in: Adjusted dependencies on c-incpath.o.
1432
1433 2008-05-23  Jakub Jelinek  <jakub@redhat.com>
1434
1435         PR c++/36237
1436         * cp-gimplify.c (cxx_omp_clause_apply_fn): Call
1437         fold_build_cleanup_point_expr on build_call_a results.
1438
1439         PR c++/36308
1440         * semantics.c (omp_clause_info_fndecl): New function.
1441         (finish_omp_clauses): Use it.
1442
1443 2008-05-21  Jakub Jelinek  <jakub@redhat.com>
1444
1445         PR c++/36023
1446         * cp-tree.h (check_array_initializer): New prototype.
1447         * decl.c (check_array_initializer): New function.
1448         (check_initializer): Call it.
1449         * semantics.c (finish_compound_literal): Call it for ARRAY_TYPEs.
1450
1451 2008-05-21  Tom Tromey  <tromey@redhat.com>
1452
1453         * mangle.c (save_partially_mangled_name): Remove.
1454         (restore_partially_mangled_name): Likewise.
1455         (write_encoding): Update.
1456         (write_unqualified_name): Likewise.
1457         (start_mangling): Always use name_obstack.  Remove 'ident_p'
1458         argument.
1459         (get_identifier_nocopy): Remove.
1460         (finish_mangling_internal): Rename from finish_mangling.
1461         (finish_mangling): New function.
1462         (finish_mangling_get_identifier): Likewise.
1463         (partially_mangled_name, partially_mangled_name_len): Remove.
1464         (mangle_decl_string): Change return type.  Update.
1465         (mangle_decl, mangle_type_string, mangle_special_for_type,
1466         mangle_ctor_vtbl_for_type, mangle_thunk, mangle_guard_variable,
1467         mangle_ref_init_variable): Update.
1468
1469 2008-05-12  Paolo Carlini  <paolo.carlini@oracle.com>
1470
1471          PR c++/35331
1472          * semantics.c (begin_class_definition): Extend checks on the first
1473         argument.
1474
1475 2008-05-12  Tomas Bily  <tbily@suse.cz>
1476
1477          * typeck2.c (digest_init): Use CONVERT_EXPR_P.
1478          * call.c (build_over_call): Likewise.
1479          * error.c (dump_expr): Use CASE_CONVERT.
1480          * class.c (fixed_type_or_null): Likewise.
1481
1482 2008-05-11  Volker Reichelt  <v.reichelt@netcologne.de>
1483
1484         * parser.c (cp_parser_omp_clause_reduction): Add missing "expected"
1485         in error message.
1486         (cp_parser_omp_clause_schedule): Remove superfluous "expected"
1487         in error message.
1488
1489 2008-05-07  Kenneth Zadeck  <zadeck@naturalbridge.com>
1490
1491         * decl.c (duplicate_decls): Merge in DECL_PURE_P, TREE_READONLY,
1492         DECL_LOOPING_CONST_OR_PURE_P attributes.
1493         * rtti.c (build_dynamic_cast_1): Rename DECL_IS_PURE to
1494         DECL_PURE_P.
1495
1496 2008-05-02  Simon Baldwin  <simonb@google.com>
1497
1498         PR bootstrap/36108
1499         * typeck.c (build_array_ref): Remove warn_array_subscript_range.
1500
1501 2008-05-01  Simon Baldwin  <simonb@google.com>
1502
1503         * typeck.c (build_array_ref): Call warn_array_subscript_range.
1504
1505 2008-04-30  Jakub Jelinek  <jakub@redhat.com>
1506
1507         PR c++/35986
1508         * pt.c (more_specialized_fn): Stop the loop even if there are no
1509         arguments before ellipsis.
1510
1511 2008-04-29  Jakub Jelinek  <jakub@redhat.com>
1512
1513         PR c++/35650
1514         * parser.c (cp_parser_lookup_name): Look through single function
1515         OVERLOAD.
1516
1517         PR c++/35987
1518         * typeck.c (cp_build_modify_expr) <case PREINCREMENT_EXPR>: Don't build
1519         COMPOUND_EXPR if the second argument would be error_mark_node.
1520
1521 2008-04-28  Jason Merrill  <jason@redhat.com>
1522             Liu Guanwei <liu_gw@163.com>
1523
1524         PR c++/57
1525         * parser.c (cp_parser_parameter_declaration): Handle < ambiguity
1526         in default arguments.
1527
1528 2008-04-25  Jan Hubicka  <jh@suse.cz>
1529
1530         * typeck.c (check_return_expr): Update.
1531         * decl.c (start_preparsed_function): Update.
1532         * method.c (use_thunk): Update.
1533
1534 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
1535
1536         PR c++/35758
1537         * cp-tree.h (cp_reconstruct_complex_type): New prototype.
1538         * cp-objcp-common.h (LANG_HOOKS_RECONSTRUCT_COMPLEX_TYPE): Define.
1539         * decl2.c (is_late_template_attribute): Only make vector_size
1540         late tmpl attribute if argument is type or value dependent.
1541         (cp_reconstruct_complex_type): New function.
1542
1543 2008-04-24  Richard Guenther  <rguenther@suse.de>
1544
1545         * typeck.c (cp_build_function_call): Call
1546         check_builtin_function_arguments.
1547
1548 2008-04-23  Paolo Bonzini  <bonzini@gnu.org>
1549
1550         * typeck.c (get_member_function_from_ptrfunc): Don't set TREE_INVARIANT.
1551         (build_ptrmemfunc1): Don't set TREE_INVARIANT.
1552         * init.c (build_zero_init): Don't set TREE_INVARIANT.
1553         * class.c (build_base_path): Don't set TREE_INVARIANT.
1554         (build_vtbl_ref_1): Don't set TREE_INVARIANT.
1555         (build_vtbl_initializer): Don't set TREE_INVARIANT.
1556         * decl.c (build_enumerator): Don't set TREE_INVARIANT.
1557         * rtti.c (tinfo_base_init): Don't set TREE_INVARIANT.
1558         (generic_initializer): Don't set TREE_INVARIANT.
1559         (ptr_initializer): Don't set TREE_INVARIANT.
1560         (ptm_initializer): Don't set TREE_INVARIANT.
1561         (class_initializer): Don't set TREE_INVARIANT.
1562         * typeck2.c (process_init_constructor): Don't set TREE_INVARIANT.
1563         * pt.c (push_inline_template_parms_recursive): Don't set TREE_INVARIANT.
1564         (build_template_parm_index): Don't set TREE_INVARIANT.
1565         (reduce_template_parm_level): Don't set TREE_INVARIANT.
1566         (process_template_parm): Don't set TREE_INVARIANT.
1567
1568 2008-04-22  Jason Merrill  <jason@redhat.com>
1569
1570         PR c++/35316
1571         * semantics.c (finish_decltype_type): Check DECL_BIT_FIELD_TYPE
1572         to see if DECL_BIT_FIELD_TYPE should be used, not some other flag.
1573         * typeck.c (is_bitfield_expr_with_lowered_type): Likewise.
1574
1575 2008-04-22  Jakub Jelinek  <jakub@redhat.com>
1576
1577         PR c++/35747
1578         * semantics.c (finish_stmt_expr): Call pop_stmt_list even if the stmt
1579         expression is errorneous.
1580
1581 2008-04-21  Jason Merrill  <jason@redhat.com>
1582
1583         PR c++/35325
1584         * tree.c (cp_tree_equal): Handle FIXED_CST.
1585
1586         PR c++/35678
1587         * pt.c (template_template_parm_bindings_ok_p): Set
1588         processing_template_decl while in this function.
1589
1590 2008-04-18  Kris Van Hees <kris.van.hees@oracle.com>
1591
1592         * cvt.c (type_promotes_to): Support char16_t and char32_t.
1593         * decl.c (grokdeclarator): Disallow signed/unsigned/short/long on
1594         char16_t and char32_t.
1595         * lex.c (reswords): Add char16_t and char32_t (for c++0x).
1596         * mangle.c (write_builtin_type): Mangle char16_t/char32_t as vendor
1597         extended builtin type "u8char{16,32}_t".
1598         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): Support
1599         RID_CHAR{16,32}.
1600         (cp_lexer_print_token): Support CPP_STRING{16,32}.
1601         (cp_parser_is_string_literal): Idem.
1602         (cp_parser_string_literal): Idem.
1603         (cp_parser_primary_expression): Support CPP_CHAR{16,32} and
1604         CPP_STRING{16,32}.
1605         (cp_parser_simple_type_specifier): Support RID_CHAR{16,32}.
1606         * tree.c (char_type_p): Support char16_t and char32_t as char types.
1607         * typeck.c (string_conv_p): Support char16_t and char32_t.
1608
1609 2008-04-17  Jason Merrill  <jason@redhat.com>
1610
1611         PR c++/35773
1612         * call.c (build_user_type_conversion_1): Represent second step of
1613         copy-init with an rvalue conversion.
1614         (convert_like_real) [ck_user]: Don't implicitly add it here.
1615
1616 2008-04-15  Jakub Jelinek  <jakub@redhat.com>
1617
1618         PR c/35751
1619         * decl.c (layout_var_decl): If extern or static var has variable
1620         size, set TREE_TYPE (decl) to error_mark_node.
1621
1622 2008-04-16  Danny Smith  <dannysmith@users.sourceforge.net>
1623
1624         PR target/35921
1625         * optimize.c (maybe_clone_body): Copy DECL_DLLIMPORT_P flag
1626         to clone.
1627
1628 2008-04-09  Jason Merrill  <jason@redhat.com>
1629
1630         PR c++/35708
1631         * semantics.c (finish_compound_literal): Return a TARGET_EXPR,
1632         not a pushed variable.
1633
1634 2008-04-09  Volker Reichelt  <v.reichelt@netcologne.de>
1635
1636         * call.c (build_op_delete_call): Fix quotation in warning message.
1637         * decl.c (grokdeclarator): Quote keyword in error message.
1638         * pt.c (check_for_bare_parameter_packs): Fix quotation in error
1639         message.
1640
1641         * parser.c (cp_parser_check_type_definition): Print error string
1642         directly rather than using "%s".
1643         (cp_parser_postfix_expression): Fix quotation.
1644         (cp_parser_decltype): Likewise.
1645         (cp_parser_sizeof_operand): Fix quotation. Simplify.
1646
1647         * parser.c (cp_parser_non_integral_constant_expression): Build error
1648         message with CONCAT rather than using "%s".
1649         (cp_parser_primary_expression): Fix quotation.
1650         (cp_parser_postfix_expression): Likewise.
1651         (cp_parser_postfix_dot_deref_expression): Likewise.
1652         (cp_parser_unary_expression): Likewise.
1653         (cp_parser_new_expression): Likewise.
1654         (cp_parser_delete_expression): Likewise.
1655
1656         * parser.c (cp_parser_asm_specification_opt): Print CPP_CLOSE_PAREN
1657         as `)', not as `('.  Fix quotation.
1658         (cp_parser_consume_semicolon_at_end_of_statement): Fix quotation.
1659         (cp_parser_primary_expression): Likewise.
1660         (cp_parser_nested_name_specifier_opt): Likewise.
1661         (cp_parser_postfix_expression): Likewise.
1662         (cp_parser_postfix_open_square_expression): Likewise.
1663         (cp_parser_parenthesized_expression_list): Likewise.
1664         (cp_parser_pseudo_destructor_name): Likewise.
1665         (cp_parser_new_expression): Likewise.
1666         (cp_parser_direct_new_declarator): Likewise.
1667         (cp_parser_delete_expression): Likewise.
1668         (cp_parser_cast_expression): Likewise.
1669         (cp_parser_question_colon_clause): Likewise.
1670         (cp_parser_builtin_offsetof): Likewise.
1671         (cp_parser_trait_expr): Likewise.
1672         (cp_parser_label_for_labeled_statement): Likewise.
1673         (cp_parser_compound_statement): Likewise.
1674         (cp_parser_selection_statement): Likewise.
1675         (cp_parser_condition): Likewise.
1676         (cp_parser_iteration_statement): Likewise.
1677         (cp_parser_already_scoped_statement): Likewise.
1678         (cp_parser_simple_declaration): Likewise.
1679         (cp_parser_linkage_specification): Likewise.
1680         (cp_parser_static_assert): Likewise.
1681         (cp_parser_decltype): Likewise.
1682         (cp_parser_conversion_function_id): Likewise.
1683         (cp_parser_operator_function_id): Likewise.
1684         (cp_parser_operator): Likewise.
1685         (cp_parser_type_parameter): Likewise.
1686         (cp_parser_template_id): Likewise.
1687         (cp_parser_explicit_instantiation): Likewise.
1688         (cp_parser_explicit_specialization): Likewise.
1689         (cp_parser_enum_specifier): Likewise.
1690         (cp_parser_namespace_definition): Likewise.
1691         (cp_parser_namespace_alias_definition): Likewise.
1692         (cp_parser_using_declaration): Likewise.
1693         (cp_parser_using_directive): Likewise.
1694         (cp_parser_asm_definition): Likewise.
1695         (cp_parser_direct_declarator): Likewise.
1696         (cp_parser_ptr_operator): Likewise.
1697         (cp_parser_parameter_declaration_clause): Likewise.
1698         (cp_parser_initializer_clause): Likewise.
1699         (cp_parser_class_specifier): Likewise.
1700         (cp_parser_member_specification_opt): Likewise.
1701         (cp_parser_member_declaration): Likewise.
1702         (cp_parser_pure_specifier): Likewise.
1703         (cp_parser_constant_initializer): Likewise.
1704         (cp_parser_base_clause): Likewise.
1705         (cp_parser_exception_specification_opt): Likewise.
1706         (cp_parser_try_block): Likewise.
1707         (cp_parser_function_try_block): Likewise.
1708         (cp_parser_handler): Likewise.
1709         (cp_parser_throw_expression): Likewise.
1710         (cp_parser_asm_operand_list): Likewise.
1711         (cp_parser_attributes_opt): Likewise.
1712         (cp_parser_label_declaration): Likewise.
1713         (cp_parser_constructor_declarator_p): Likewise.
1714         (cp_parser_template_declaration_after_export): Likewise.
1715         (cp_parser_single_declaration): Likewise.
1716         (cp_parser_objc_message_expression): Likewise.
1717         (cp_parser_objc_message_args): Likewise.
1718         (cp_parser_objc_encode_expression): Likewise.
1719         (cp_parser_objc_defs_expression): Likewise.
1720         (cp_parser_objc_protocol_expression): Likewise.
1721         (cp_parser_objc_selector_expression): Likewise.
1722         (cp_parser_objc_protocol_refs_opt): Likewise.
1723         (cp_parser_objc_typename): Likewise.
1724         (cp_parser_objc_method_keyword_params): Likewise.
1725         (cp_parser_objc_superclass_or_category): Likewise.
1726         (cp_parser_objc_try_catch_finally_statement): Likewise.
1727         (cp_parser_objc_synchronized_statement): Likewise.
1728         (cp_parser_objc_throw_statement): Likewise.
1729         (cp_parser_omp_var_list_no_open): Likewise.
1730         (cp_parser_omp_clause_default): Likewise.
1731         (cp_parser_omp_clause_if): Likewise.
1732         (cp_parser_omp_clause_num_threads): Likewise.
1733         (cp_parser_omp_clause_reduction): Likewise.
1734         (cp_parser_omp_clause_schedule): Likewise.
1735         (cp_parser_omp_critical): Likewise.
1736         (cp_parser_omp_for_loop): Likewise.
1737         (cp_parser_omp_sections_scope): Likewise.
1738
1739         * parser.c (cp_parser_template_parameter_list): Simplify.
1740
1741 2008-04-07  James E. Wilson  <wilson@tuliptree.org>
1742
1743         * pt.c (tsubst_copy, case SIZEOF_EXPR): Initialize len.
1744
1745 2008-04-07  Jason Merrill  <jason@redhat.com>
1746
1747         PR c++/35734
1748         * class.c (type_has_user_nondefault_constructor): A template
1749         counts as a nondefault constructor.
1750
1751 2008-04-04  Paolo Bonzini  <bonzini@gnu.org>
1752
1753         * decl.c (cxx_push_function_context): Delete.
1754         (cxx_pop_function_context): Delete.
1755         (start_preparsed_function): Merge cxx_push_function_context (!f->decl
1756         code only).
1757         * cp-objcp-common.h (LANG_HOOKS_FUNCTION_INIT,
1758         LANG_HOOKS_FUNCTION_FINAL): Delete.
1759         (LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P): Rename to
1760         LANG_HOOKS_MISSING_NORETURN_OK_P.
1761         * cp-tree.h (cxx_push_function_context, cxx_pop_function_context):
1762         Delete prototype.
1763         * semantics.c (current_stmt_tree): Fix comment.
1764
1765 2008-04-03  Jakub Jelinek  <jakub@redhat.com>
1766
1767         PR c++/35741
1768         * semantics.c (finish_offsetof): Undo effect of convert_from_reference
1769         before calling fold_offsetof.
1770
1771 2008-04-03  Tom Tromey  <tromey@redhat.com>
1772
1773         * Make-lang.in (c++_OBJS): New variable.
1774
1775 2008-04-03  Paolo Bonzini  <bonzini@gnu.org>
1776
1777         * optimize.c (clone_body): New, from tree-inline.c.
1778
1779 2008-04-03  Paolo Bonzini  <bonzini@gnu.org>
1780
1781          * method.c (synthesize_method): Use {push,pop}_function_context.
1782          * name-lookup.c (push_to_top_level): Likewise.
1783          * parser.c (cp_parser_late_parsing_for_member): Likewise.
1784
1785 2008-03-30  Volker Reichelt  <v.reichelt@netcologne.de>
1786
1787         PR c++/35578
1788         * parser.c (cp_parser_decl_specifier_seq): Add location to error
1789         message.
1790
1791 2008-03-27  Tom Tromey  <tromey@redhat.com>
1792
1793         * Make-lang.in: Revert automatic dependency patch.
1794
1795 2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>
1796
1797         PR obj-c++/35704
1798         * typeck.c (build_x_compound_expr): Use cp_build_compound_expr.
1799         (build_compound_expr): New, for compatibility with C
1800         build_compound_expr.
1801         (cp_build_compound_expr): Renamed from build_compound_expr.
1802         (build_c_cast): New, for compatibility with C build_c_cast.
1803         (cp_build_c_cast): Renamed from build_c_cast.
1804         * init.c (build_vec_delete_1): Fix calls to build_compound_expr.
1805         * decl.c (cxx_maybe_build_cleanup): Ditto.
1806         * cp-tree.h (build_compound_expr): Add C-compatibile prototype.
1807         (cp_build_compound_expr): Renamed from build_compound_expr.
1808         (build_c_cast): Add C-compatible prototype.
1809         (cp_build_c_cast): Renamed from build_c_cast.
1810         * typeck2.c (build_functional_cast): Use cp_build_c_cast.
1811         * parser.c (cp_parser_cast_expression): Fix call to build_c_cast.
1812
1813 2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>
1814
1815         * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Cope with
1816         tsubst_pack_expansion returning a pack expansion, or a TREE_VEC
1817         ending in a pack expansion, both of which can occur when
1818         substituting into a nested template.
1819         (tsubst_copy_and_build) <case SIZEOF_EXPR>: When we're
1820         instantiating the sizeof...(X) form, make tsubst_copy do the work.
1821         * parser.c (cp_parser_template_parameter): Deal with unnamed
1822         non-type template parameter packs identified by pack expansions in
1823         the parameter type.
1824
1825 2008-03-26  Jakub Jelinek  <jakub@redhat.com>
1826
1827         PR c++/35546
1828         * pt.c (apply_late_template_attributes): Don't call tsubst on
1829         first attribute argument if it is IDENTIFIER_NODE.
1830
1831         PR c++/35332
1832         * error.c (dump_expr): Pass {,UN}ORDERED_EXPR, UN{LT,LE,GT,GE,EQ}_EXPR
1833         and LTGT_EXPR to pp_expression.
1834
1835 2008-03-26  Douglas Gregor  <doug.gregor@gmail.com>
1836
1837         * pt.c (coerce_template_template_parm): Moved the body of the loop
1838         of coerce_template_template_parms here, to make iteration over a
1839         template argument pack simpler.
1840         Also, allow matching of a template parameter pack in the template
1841         template parameter to a template parameter in the template
1842         template argument.
1843         (coerce_template_template_parms): Deal with variadic template
1844         template parameters. Use coerce_template_template_parm.
1845         (unify): Make sure we coerce the template template argument's
1846         template arguments to the template template parameter's template
1847         parameters, not the other way around.
1848
1849 2008-03-25  Tom Tromey  <tromey@redhat.com>
1850
1851         * Make-lang.in: Remove .o targets.
1852         (cp/g++spec.o): Moved to cp/.  Reduce to variable setting.
1853         (GXX_OBJS): Update.
1854         (c++_OBJS): New variable.
1855         (CXX_TREE_H, CXX_PRETTY_PRINT_H): Remove.
1856
1857 2008-03-25  Douglas Gregor  <doug.gregor@gmail.com>
1858
1859         * typeck.c (composite_pointer_type_r): Add SFINAE support.
1860         (composite_pointer_type): Ditto.
1861         (common_type): Fix call to composite_pointer_type.
1862         (cxx_sizeof_nowarn): New; used to be a macro.
1863         (cxx_sizeof_expr): Add SFINAE support.
1864         (cxx_alignof_expr): Ditto.
1865         (decay_conversion): Fix calls for SFINAE support.
1866         (rationalize_conditional_expr): Add SFINAE support.
1867         (build_class_member_access_expr): Ditto.
1868         (finish_class_member_access_expr): Ditto.
1869         (build_x_indirect_ref): Ditto.
1870         (build_indirect_ref): Original version renamed to
1871         cp_build_indirect_ref; new version provides a bridge from
1872         c-common.
1873         (cp_build_indirect_ref): Was build_indirect_ref; added SFINAE
1874         support.
1875         (get_member_function_from_ptrfunc): Fix calls for SFINAE support.
1876         (build_function_call): Original version renamed to
1877         cp_build_function_call; new version provides a bridge from
1878         c-common.
1879         (cp_build_function_call): Was build_function_call; added SFINAE
1880         support.
1881         (convert_arguments): Add SFINAE support.
1882         (build_x_binary_op): Ditto.
1883         (build_binary_op): Original version renamed to cp_build_binary_op;
1884         new version provides a bridge from c-common.
1885         (cp_build_binary_op): Was build_binary_op; added SFINAE support.
1886         (pointer_diff): Fix calls for SFINAE.
1887         (build_x_unary_op): Add SFINAE support.
1888         (condition_conversion): Fix calls for SFINAE.
1889         (build_unary_op): Original version renamed to cp_build_unary_op;
1890         new version provides a bridge from c-common.
1891         (cp_build_unary_op): Was build_unary_op; added SFINAE support.
1892         (unary_complex_lvalue): Fix calls for SFINAE.
1893         (build_x_conditional_expr): Add SFINAE support.
1894         (build_x_compound_expr_from_list): Fix calls for SFINAE.
1895         (build_x_compound_expr): Add SFINAE support.
1896         (convert_ptrmem): Fix calls for SFINAE.
1897         (build_static_cast_1): Add SFINAE support.
1898         (build_static_cast): Ditto.
1899         (build_reinterpret_cast_1): Ditto.
1900         (build_reinterpret_cast): Ditto.
1901         (build_const_cast_1): Ditto.
1902         (build_const_cast): Ditto.
1903         (build_c_cast): Ditto.
1904         (build_modify_expr): Original version renamed to
1905         cp_build_modify_expr; new version provides a bridge from c-common.
1906         (cp_build_modify_expr): Was build_modify_expr; added SFINAE
1907         support.
1908         (build_x_modify_expr): Add SFINAE support.
1909         (build_ptrmemfunc): Fix calls for SFINAE.
1910         (convert_for_assignment): Add SFINAE support.
1911         (convert_for_initialization): Ditto.
1912         (check_return_expr): Fix calls for SFINAE.
1913         (lvalue_or_else): Add SFINAE support.
1914         * init.c (perform_member_init): Fix calls for SFINAE.
1915         (emit_mem_initializers): Ditto.
1916         (expand_virtual_init): Ditto.
1917         (expand_cleanup_for_base): Ditto.
1918         (build_aggr_init): Add SFINAE support.
1919         (expand_default_init): Ditto.
1920         (expand_aggr_init_1): Fix calls for SFINAE.
1921         (build_offset_ref): Ditto.
1922         (build_new_1): Add SFINAE support.
1923         (build_new): Ditto.
1924         (build_vec_delete_1): Fix calls for SFINAE.
1925         (get_temp_regvar): Ditto.
1926         (build_vec_init): Add SFINAE support.
1927         (build_dtor_call): Fix calls for SFINAE.
1928         (build_delete): Ditto.
1929         (push_base_cleanups): Ditto.
1930         (build_vec_delete_1): Ditto.
1931         * class.c (build_base_path): Fix calls for SFINAE.
1932         (build_simple_base_path): Ditto.
1933         (convert_to_base_statically): Ditto.
1934         (build_vfn_ref): Ditto.
1935         (resolve_address_of_overloaded_function): Ditto.
1936         * decl.c (check_initializer): Fix calls for SFINAE.
1937         (register_dtor_fn): Ditto.
1938         (compute_array_index_type): Ditto.
1939         (finish_enum): Ditto.
1940         (start_preparsed_function): Ditto.
1941         (cxx_maybe_build_cleanup): Ditto.
1942         * call.c (convert_like): Add COMPLAIN argument.
1943         (convert_like_with_context): Ditto.
1944         (build_this): Fix calls for SFINAE.
1945         (build_user_type_conversion): Ditto.
1946         (resolve_args): Ditto.
1947         (build_new_function_call): Add SFINAE support.
1948         (build_operator_new_call): Fix calls for SFINAE.
1949         (build_object_call): Add SFINAE support.
1950         (build_conditional_expr): Ditto.
1951         (build_new_op): Ditto.
1952         (build_op_delete_call): Fix calls for SFINAE.
1953         (build_temp): Ditto.
1954         (convert_like_real): Add SFINAE support.
1955         (build_x_va_arg): Fix calls for SFINAE.
1956         (convert_default_arg): Ditto.
1957         (build_over_call): Add SFINAE support.
1958         (build_java_interface_fn_ref): Fix calls for SFINAE.
1959         (build_special_member_call): Add SFINAE support.
1960         (build_new_method_call): Ditto.
1961         (perform_implicit_conversion): Ditto.
1962         (perform_direct_initialization_if_possible): Ditto.
1963         (initialize_reference): Fix calls for SFINAE.
1964         * method.c (do_build_assign_ref): Fix calls for SFINAE.
1965         * rtti.c (build_headof): Fix calls for SFINAE.
1966         (get_tinfo_decl_dynamic): Ditto.
1967         (get_typeid): Ditto.
1968         (build_dynamic_cast_1): Add SFINAE support.
1969         (build_dynamic_cast): Ditto.
1970         (tinfo_base_init): Fix calls for SFINAE.
1971         * except.c (do_get_exception_ptr): Fix calls for SFINAE.
1972         (do_end_catch): Ditto.
1973         (initialize_handler_parm): Ditto.
1974         (expand_start_catch_block): Ditto.
1975         (do_allocate_exception): Ditto.
1976         (do_free_exception): Ditto.
1977         (build_throw): Ditto.
1978         * cvt.c (build_up_reference): Fix calls for SFINAE.
1979         (convert_to_reference): Ditto.
1980         (ocp_convert): Ditto.
1981         (convert_to_void): Add SFINAE support.
1982         * tree.c (build_dummy_object): Fix calls for SFINAE.
1983         (stabilize_expr): Ditto.
1984         * cp-tree.h (build_conditional_expr): Add tsubst_flags_t
1985         parameter.
1986         (build_new_method_call): Ditto.
1987         (build_special_member_call): Ditto.
1988         (build_new_op): Ditto.
1989         (perform_implicit_conversion): Ditto.
1990         (perform_direct_initialization_if_possible): Ditto.
1991         (convert_to_void): Ditto.
1992         (build_aggr_init): Ditto.
1993         (build_new): Ditto.
1994         (build_vec_init): Ditto.
1995         (build_dynamic_cast): Ditto.
1996         (finish_call_expr): Ditto
1997         (cxx_sizeof_or_alignof_expr): Add COMPLAIN parameter.
1998         (cxx_sizeof_nowarn): Remove macro; add function declaration.
1999         (build_class_member_access_expr): Add tsubst_flags_t parameter.
2000         (finish_class_member_access_expr): Ditto.
2001         (build_x_indirect_ref): Ditto.
2002         (cp_build_indirect_ref): New.
2003         (cp_build_function_call): Add tsubst_flags_t parameter.
2004         (build_x_unary_op): Ditto.
2005         (cp_build_unary_op): New.
2006         (build_x_conditional_expr): Add tsubst_flags_t parameter.
2007         (build_x_compound_expr): Ditto.
2008         (build_compound_expr): Ditto.
2009         (build_static_cast): Ditto.
2010         (build_reinterpret_cast): Ditto.
2011         (build_const_cast): Ditto.
2012         (build_c_cast): Ditto.
2013         (build_x_modify_expr): Ditto.
2014         (cp_build_modify_expr): New.
2015         (convert_for_initialization): Add tsubst_flags_t parameter.
2016         (cp_build_binary_op): Remove macro; add function declaration.
2017         (invalid_nonstatic_memfn_p): Add tsubst_flags_t parameter.
2018         (lvalue_or_else): Ditto.
2019         (build_functional_cast): Ditto.
2020         * typeck2.c (digest_init): Fix calls for SFINAE.
2021         (process_init_constructor_array): Ditto.
2022         (process_init_constructor_record): Ditto.
2023         (build_x_arrow): Ditto.
2024         (build_m_component_ref): Ditto.
2025         (build_functional_cast): Add SFINAE support.
2026         * pt.c (tsubst_copy_and_build): Add (more) SFINAE support.
2027         * semantics.c (simplify_loop_decl_cond): Fix calls for SFINAE.
2028         (finish_expr_stmt): Ditto.
2029         (finish_for_expr): Ditto.
2030         (finish_asm_stmt): Ditto.
2031         (finish_non_static_data_member): Ditto.
2032         (finish_qualified_id_expr): Ditto.
2033         (finish_call_expr): Add SFINAE support.
2034         (finish_increment_expr): Fix calls for SFINAE.
2035         (finish_unary_op_expr): Ditto.
2036         (simplify_aggr_init_expr): Ditto.
2037         (finish_omp_clauses): Ditto.
2038         (finish_omp_for): Ditto.
2039         (finish_omp_barrier): Ditto.
2040         (finish_omo_flush): Ditto.
2041         * decl2.c (grok_array_decl): Fix calls or SFINAE.
2042         (build_anon_union_vars): Ditto.
2043         (get_guard_cond): Ditto.
2044         (set_guard): Ditto.
2045         (one_static_initialization_or_destruction): Ditto.
2046         (do_static_initialization_or_destruction): Ditto.
2047         (generate_ctor_or_dtor_function): Ditto.
2048         (build_offset_ref_call_from_tree): Ditto.
2049         * parser.c (cp_parser_postfix_expression): Fix calls for SFINAE.
2050         (cp_parser_postfix_dot_deref_expression): Ditto.
2051         (cp_parser_unary_expression): Ditto.
2052         (cp_parser_new_expression): Ditto.
2053         (cp_parser_cast_expression): Ditto.
2054         (cp_parser_binary_expression): Ditto.
2055         (cp_parser_question_colon_clause): Ditto.
2056         (cp_parser_assignment_expression): Ditto.
2057         (cp_parser_expression): Ditto.
2058         (cp_parser_builtin_offsetof): Ditto.
2059         (cp_parser_template_argument): Ditto.
2060         (cp_parser_functional_cast): Ditto.
2061
2062 2008-03-24  Tom Tromey  <tromey@redhat.com>
2063
2064         * lex.c (handle_pragma_interface): Don't copy the filename.
2065         (handle_pragma_implementation): Copy filename using xstrdup.
2066
2067 2008-03-21  Paolo Carlini  <pcarlini@suse.de>
2068
2069         * cp-tree.h (IS_AGGR_TYPE): Rename to MAYBE_CLASS_TYPE_P.
2070         (SET_IS_AGGR_TYPE): Rename to SET_CLASS_TYPE_P.
2071         (IS_AGGR_TYPE_CODE): Rename to RECORD_OR_UNION_CODE_P.
2072         (PROMOTES_TO_AGGR_TYPE): Remove.
2073         (CLASS_TYPE_P, TYPE_NON_AGGREGATE_CLASS): Adjust.
2074         * typeck.c (unary_complex_lvalue, build_modify_expr,
2075         convert_for_initialization): Adjust.
2076         * init.c (is_aggr_type): Remove.
2077         (is_class_type): Add.
2078         (build_offset_ref, build_new_1, build_vec_delete_1, build_vec_init,
2079         build_delete): Adjust.
2080         * lex.c (make_aggr_type): Remove.
2081         (make_class_type): Add.
2082         (cxx_make_type): Adjust.
2083         * class.c (finish_struct_1, fixed_type_or_null, is_empty_class):
2084         Adjust.
2085         * decl.c (build_typename_type, make_typename_type,
2086         make_unbound_class_template, cxx_init_decl_processing,
2087         check_tag_decl, groktypename, start_decl_1, layout_var_decl,
2088         check_initializer, cp_finish_decl, build_ptrmemfunc_type, grokparms,
2089         grok_op_properties, xref_tag, check_function_type): Adjust.
2090         * call.c (check_dtor_name, standard_conversion, implicit_conversion,
2091         add_builtin_candidate, add_builtin_candidates,
2092         build_user_type_conversion_1, convert_like_real, build_cxx_call,
2093         is_subseq, compare_ics): Adjust.
2094         * method.c (use_thunk): Adjust.
2095         * rtti.c (build_dynamic_cast_1, create_pseudo_type_info,
2096         create_tinfo_types): Adjust.
2097         * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
2098         build_up_reference, convert_to_reference, convert_from_reference,
2099         ocp_convert, build_expr_type_conversion): Adjust.
2100         * tree.c (bind_template_template_parm, error_type): Adjust.
2101         * dump.c (cp_dump_tree): Adjust.
2102         * search.c (lookup_member): Adjust.
2103         * friend.c (make_friend_class, do_friend): Adjust.
2104         * typeck2.c (store_init_value, process_init_constructor_array,
2105         process_init_constructor_record, build_x_arrow, build_m_component_ref,
2106         build_functional_cast): Adjust.
2107         * pt.c (finish_member_template_decl, process_template_parm,
2108         lookup_template_class, tsubst_function_type, tsubst,
2109         tsubst_copy_and_build, get_template_base, bt_instantiate_type_proc):
2110         Adjust.
2111         * semantics.c (begin_class_definition, finish_base_specifier,
2112         finish_typeof, cxx_omp_predetermined_sharing, finish_decltype_type):
2113         Adjust.
2114         * name-lookup.c (constructor_name_p, push_overloaded_decl,
2115         do_class_using_decl, lookup_qualified_name,
2116         maybe_process_template_type_declaration): Adjust.
2117         * decl2.c (grok_array_decl, check_member_template,
2118         constrain_class_visibility): Adjust.
2119         * parser.c (cp_parser_class_name): Adjust.
2120
2121 2008-03-18  Paolo Bonzini  <bonzini@gnu.org>
2122
2123          * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
2124
2125 2008-03-17  Jason Merrill  <jason@redhat.com>
2126
2127         PR c++/35548
2128         * call.c (reference_binding): Check LOOKUP_NO_TEMP_BIND when binding
2129         a temp directly to a reference as per DR391.
2130
2131 2008-03-12  Richard Guenther  <rguenther@suse.de>
2132
2133         PR c++/35469
2134         Revert:
2135         2008-02-04  Richard Guenther  <rguenther@suse.de>
2136
2137          PR java/35035
2138          * decl.c (record_builtin_java_type): Make jboolean a
2139          integer type again where its mode doesn't match that of bool.
2140
2141         2008-01-25  Richard Guenther  <rguenther@suse.de>
2142
2143          PR c++/33887
2144          * decl.c (record_builtin_java_type): Make __java_boolean
2145          a variant of bool.
2146          * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check
2147          after TYPE_MAIN_VARIANT check.
2148
2149 2008-03-10  Jakub Jelinek  <jakub@redhat.com>
2150
2151         PR c++/35328
2152         * semantics.c (finish_omp_clauses): Look through NOP_EXPR even
2153         if errorcount.
2154
2155         PR c++/35337
2156         * semantics.c (finish_omp_clauses): Use %qD instead of %qE for
2157         DECL_P in not a variable and appears more than once error messages.
2158
2159 2008-03-07  Paolo Bonzini  <bonzini@gnu.org>
2160
2161         Revert:
2162
2163         2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>
2164
2165         PR c++/35049
2166         PR c++/35096
2167         * typeck.c (structural_comptypes): Call cp_comptypes.
2168         (comptypes): New; called from the C/C++ common bits to perform
2169         strict checks.
2170         (cp_comptypes): Renamed from comptypes, which is already used,
2171         with a different signature, by the C++ front end.
2172         (build_reinterpret_cast_1): Call cp_comptypes.
2173         (ptr_reasonably_similar): Ditto.
2174         * decl.c (decls_match): Ditto.
2175         * cvt.c (convert_to_reference): Ditto.
2176         * cp-tree.h (same_type_p): Ditto.
2177         (same_or_base_type_p): Ditto.
2178         (comptypes): Rename to cp_comptypes.
2179         * pt.c (canonical_type_parameter): Call cp_comptypes.
2180
2181 2008-03-07  Paolo Bonzini  <bonzini@gnu.org>
2182
2183         * cp-objcp-common.c (cxx_types_compatible_p): Remove obsolete
2184         test for equivalence between pointer and references.
2185
2186 2008-03-02  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2187
2188         PR 24924
2189         * class.c (finish_struct_anon): Use permerror instead of pedwarn.
2190         (check_field_decls): Likewise.
2191         (note_name_declared_in_class): Likewise.
2192         * call.c (build_new_op): Likewise.
2193         (convert_like_real): Likewise.
2194         (build_over_call): Likewise.
2195         * lex.c (unqualified_fn_lookup_error): Likewise.
2196         * parser.c (cp_parser_template_id): Likewise.
2197         * cvt.c (warn_ref_binding): Likewise.
2198         (convert_to_reference): Likewise.
2199         (ocp_convert): Likewise.
2200         (convert_to_void): Use error instead of pedwarn.
2201         * error.c (cp_cpp_error): Use pedantic_warning_kind.
2202         * decl.c (compute_array_index_type): Use constant_expression_error.
2203
2204 2008-03-01  Douglas Gregor  <doug.gregor@gmail.com>
2205
2206         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): Note
2207         that auto is either a storage class or a simple type specifier,
2208         depending on the dialect.
2209         (cp_parser_decl_specifier_seq): Complain about `auto' as a storage
2210         specifier in C++98 mode, error in C++0x mode (since we don't
2211         support auto as a type specifier, yet).
2212         (cp_parser_storage_class_specifier_opt): Don't treat `auto' as a
2213         storage specifier in C++0x mode.
2214         (cp_parser_simple_type_specifier): Parse `auto' as a
2215         simple-type-specifier, but error because we don't support it yet.
2216
2217 2008-02-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2218
2219         * parser.c (cp_parser_nonclass_name): New.
2220         (cp_parser_pseudo_destructor_name): Use it instead of
2221         cp_parser_type_name.
2222         (cp_parser_type_name): Move code to cp_parser_nonclass_name.
2223
2224 2008-02-29  Tom Tromey  <tromey@redhat.com>
2225
2226         * parser.c (struct cp_token) <input_file_stack_index>: Remove.
2227         (cp_lexer_get_preprocessor_token): Update.
2228         (cp_lexer_set_source_position_from_token): Don't call
2229         restore_input_file_stack.
2230         * lex.c (cxx_init): Don't use push_srcloc or pop_srcloc.
2231
2232 2008-02-28  Richard Guenther  <rguenther@suse.de>
2233
2234         Revert:
2235         2008-02-26  Richard Guenther  <rguenther@suse.de>
2236
2237         * decl.c (duplicate_decls): Remove decl from global mapping
2238         before ggc_freeing it.
2239
2240 2008-02-27  Jakub Jelinek  <jakub@redhat.com>
2241
2242         PR c++/35368
2243         * rtti.c: Include c-pragma.h.
2244         (push_abi_namespace, pop_abi_namespace): New functions.
2245         (build_dynamic_cast_1, tinfo_base_init, get_pseudo_ti_index,
2246         create_tinfo_types, emit_support_tinfos): Use them.
2247         * Make-lang.in (cp/rtti.o): Depend on $(C_PRAGMA_H).
2248
2249 2008-02-26  Jason Merrill  <jason@redhat.com>
2250
2251         PR c++/35315
2252         * decl.c (grokdeclarator): Allow a typedef of an unnamed struct
2253         to name the struct for linkage purposes even if it has attributes.
2254         (start_decl): In that case, set ATTR_FLAG_TYPE_IN_PLACE.
2255
2256 2008-02-26  Tom Tromey  <tromey@redhat.com>
2257
2258         * parser.c (eof_token): Remove old location code.
2259         (check_empty_body): Remove test of USE_MAPPED_LOCATION.
2260         * decl2.c (generate_ctor_or_dtor_function): Remove old location
2261         code.
2262         (cp_write_global_declarations): Likewise.
2263         * lex.c (cxx_init): Remove old location code.
2264         (handle_pragma_implementation): Remove test of
2265         USE_MAPPED_LOCATION.
2266         * pt.c (tsubst): Remove old location code.
2267         * error.c (cp_print_error_function): Remove test of
2268         USE_MAPPED_LOCATION.
2269         * decl.c (pop_label): Remove old location code.
2270         (finish_function): Likewise.
2271
2272 2008-02-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2273
2274         PR 26264
2275         * call.c (magic_varargs_p):  Remove BUILT_IN_STDARG_START.
2276
2277 2008-02-26  Richard Guenther  <rguenther@suse.de>
2278
2279         * decl.c (duplicate_decls): Remove decl from global mapping
2280         before ggc_freeing it.
2281
2282 2008-02-26  Paolo Carlini  <pcarlini@suse.de>
2283
2284          PR c++/35323
2285          * name-lookup.c (arg_assoc_type): Handle FIXED_POINT_TYPE.
2286
2287 2008-02-26  Manuel Lopez-Ibanez <manu@gcc.gnu.org>
2288
2289         * typeck.c (build_class_member_access_expr): Add appropriate
2290         OPT_W* parameter to warning.
2291         (build_reinterpret_cast_1): Likewise.
2292         * name-lookup.c (push_overloaded_decl): Likewise.
2293
2294 2008-02-25  Paolo Carlini  <pcarlini@suse.de>
2295
2296          PR c++/35333
2297          * error.c (dump_expr): Handle CONJ_EXPR.
2298
2299 2008-02-25  Paolo Carlini  <pcarlini@suse.de>
2300
2301          PR c++/35338
2302          * error.c (dump_type): Handle FIXED_POINT_TYPE.
2303         (dump_expr): Handle FIXED_CST.
2304
2305 2008-02-24  Jason Merrill  <jason@redhat.com>
2306
2307         * parser.c (cp_parser_declaration): Handle "inline namespace".
2308         (cp_parser_namespace_definition): Likewise.
2309
2310         PR c++/33486
2311         * name-lookup.c (arg_assoc_namespace): Look down into inline
2312         namespaces, too.
2313
2314 2008-02-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2315
2316         * typeck.c (check_for_casting_away_constness): Use 1 single
2317         argument, the type of cast, to decide what diagnostics generate.
2318         (build_static_cast_1): Remove unused code. Update call to
2319         check_for_casting_away_constness.
2320         (build_reinterpret_cast_1): Update call to
2321         check_for_casting_away_constness.
2322         (build_const_cast_1): Likewise.
2323
2324 2008-02-24  Paolo Carlini  <pcarlini@suse.de>
2325
2326         * error.c (dump_expr): Don't deal directly with NEW_EXPR (and
2327         VEC_NEW_EXPR), forward to pp_expression.
2328         * cxx-pretty-print.c (pp_cxx_new_expression): Fix FIXME.
2329
2330 2008-02-24  Danny Smith  <dannysmith@users.sourceforge.net>
2331
2332         PR c++/34749
2333         * friend.c (do_friend): Call cplus_decl_attributes earlier.
2334
2335 2008-02-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2336
2337         PR C++/34715
2338         * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS for
2339         template decls' function decl.
2340
2341 2008-02-22  Paolo Carlini  <pcarlini@suse.de>
2342
2343         PR c++/35282
2344         Revert:
2345         2008-02-14  Paolo Carlini  <pcarlini@suse.de>
2346
2347          PR c++/28743
2348          * pt.c (determine_specialization): In case of function templates,
2349         when the type of DECL does not match FN there is no match.
2350
2351 2008-02-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
2352
2353         PR c/19999
2354         * typeck.c (build_binary_op): Warn about floating point
2355         comparisons if FLOAT_TYPE_P, not only for REAL_TYPE.
2356
2357 2008-02-19  Jason Merrill  <jason@redhat.com>
2358
2359         PR c++/34950
2360         * pt.c (resolve_overloaded_unification): Set processing_template_decl
2361         while we look for possible bindings.
2362
2363 2008-02-19  Jakub Jelinek  <jakub@redhat.com>
2364
2365         PR c++/35028
2366         * cp-gimplify.c (cxx_omp_clause_apply_fn): Handle vararg copy ctors.
2367
2368         PR c++/34964
2369         PR c++/35244
2370         * semantics.c (finish_omp_threadprivate): Do nothing for error_operand_p
2371         vars.  Afterwards ensure v is VAR_DECL.
2372
2373         PR c++/35078
2374         * parser.c (cp_parser_omp_for_loop): If DECL has REFERENCE_TYPE, don't
2375         call cp_finish_decl.
2376         * semantics.c (finish_omp_for): Fail if DECL doesn't have integral type
2377         early.
2378
2379 2008-02-15  Douglas Gregor  <doug.gregor@gmail.com>
2380
2381         PR c++/35023
2382         PR c++/35024
2383         PR c++/35026
2384         * pt.c (finish_member_template_decl): If the type in a TYPE_DECL
2385         is error_mark_node, return an error early.
2386         (find_parameter_packs_r): Pass the pointer set along to recursive
2387         calls of cp_walk_subtrees; don't try to manage the pointer set
2388         ourselves.
2389         (uses_parameter_packs): Pass the pointer set to cp_walk_tree.
2390         (make_pack_expansion): Ditto.
2391         (check_for_bare_parameter_packs): Ditto. Also, don't bother taking
2392         a second pass through the tree with find_parameter_packs_r; that
2393         second pass no longer does anything.
2394         (push_template_decl_real): If we have an erroneous declaration,
2395         set its type to error_mark_node before returning an error.
2396
2397 2008-02-14  Douglas Gregor  <doug.gregor@gmail.com>
2398
2399         PR c++/34050
2400         * pt.c (tsubst_initializer_list): Deal with the use of
2401         VOID_TYPE_NODE to indicate value-initialization of the bases.
2402
2403 2008-02-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2404             Jason Merrill  <jason@redhat.com>
2405
2406         PR c++/5645
2407         PR c++/11159
2408         * class.c (type_has_user_nondefault_constructor): New fn.
2409         * cp-tree.h: Declare it.
2410         * init.c (emit_mem_initializers): Use it for -W warning about
2411         missing base initializer.
2412
2413 2008-02-14  Paolo Carlini  <pcarlini@suse.de>
2414
2415          PR c++/28743
2416          * pt.c (determine_specialization): In case of function templates,
2417         when the type of DECL does not match FN there is no match.
2418
2419 2008-02-13  Jakub Jelinek  <jakub@redhat.com>
2420             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2421
2422         PR c++/35138
2423         * parser.c (cp_parser_pseudo_destructor_name): If next tokens
2424         are not identifier :: ~, return before calling cp_parser_type_name.
2425
2426 2008-02-13  Jason Merrill  <jason@redhat.com>
2427
2428         PR c++/34962, c++/34937, c++/34939
2429         * decl2.c (is_late_template_attribute): Always defer attributes
2430         vector_size and weak.
2431
2432         PR c++/34774
2433         * pt.c (value_dependent_expression_p): Look into DECL_INITIAL
2434         of enumerators, too.
2435
2436 2008-02-12  Jason Merrill  <jason@redhat.com>
2437
2438         PR c++/34824
2439         * call.c (convert_like_real): Pass LOOKUP_NO_CONVERSION to build_temp
2440         if we're doing conversions to call a user-defined conversion function.
2441
2442 2008-02-12  Steven Bosscher  <steven@gcc.gnu.org>
2443
2444         PR c++/29048
2445         * semantics.c (finish_qualified_id_expr): Avoid duplicate access
2446         check here, too.
2447
2448 2008-02-12  Jakub Jelinek  <jakub@redhat.com>
2449
2450         PR c++/34862
2451         * init.c (build_new_1): Don't create placement_expr before
2452         constructing alloc_call.  Verify that the pointer is passed by
2453         value to operator new.
2454
2455 2008-02-11  Jason Merrill  <jason@redhat.com>
2456
2457         PR c++/35097
2458         * pt.c (tsubst): Don't look up a template typedef in an explicit
2459         specialization.
2460
2461 2008-02-11  Douglas Gregor  <doug.gregor@gmail.com>
2462
2463         PR c++/35113
2464         * tree.c (cp_build_qualified_type_real): When building a
2465         cv-qualified array type, build it as a unique type with
2466         build_cplus_array_type_1 and then adopt the unqualified type's
2467         main variant.
2468
2469 2008-02-11  Paolo Carlini  <pcarlini@suse.de>
2470
2471         PR c++/35077
2472         * decl.c (groktypename): Check grokdeclarator return.
2473
2474 2008-02-10  Jason Merrill  <jason@redhat.com>
2475
2476         PR c++/34094
2477         * decl2.c (cp_write_global_declarations): Don't write out static
2478         data members with DECL_IN_AGGR_P set.
2479
2480 2008-02-08  Jason Merrill  <jason@redhat.com>
2481
2482         PR c++/35116
2483         * tree.c (build_target_expr_with_type): Handle void initializer.
2484         (bot_manip): Remap slot before recursing.
2485
2486 2008-02-06  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2487
2488         PR other/35107
2489         * Make-lang.in (cc1plus-dummy, cc1plus): Add $(GMPLIBS).
2490
2491 2008-02-06  Alexandre Oliva  <aoliva@redhat.com>
2492
2493         PR c++/35056
2494         * tree.c: Include tree-flow.h.
2495         (build_target_expr): Check type compatibility.
2496         * Make-lang.in (cp/tree.o): Depend on $(TREE_FLOW_H).
2497         * call.c (convert_like_real): Convert bitfield to expected type.
2498
2499 2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>
2500
2501         PR c++/35049
2502         PR c++/35096
2503         * typeck.c (structural_comptypes): Call cp_comptypes.
2504         (comptypes): New; called from the C/C++ common bits to perform
2505         strict checks.
2506         (cp_comptypes): Renamed from comptypes, which is already used,
2507         with a different signature, by the C++ front end.
2508         (build_reinterpret_cast_1): Call cp_comptypes.
2509         (ptr_reasonably_similar): Ditto.
2510         * decl.c (decls_match): Ditto.
2511         * cvt.c (convert_to_reference): Ditto.
2512         * cp-tree.h (same_type_p): Ditto.
2513         (same_or_base_type_p): Ditto.
2514         (comptypes): Rename to cp_comptypes.
2515         * pt.c (canonical_type_parameter): Call cp_comptypes.
2516
2517 2008-02-05  Jakub Jelinek  <jakub@redhat.com>
2518
2519         PR c++/33553
2520         * pt.c (tsubst) <case INTEGER_TYPE>: Don't issue error if max is
2521         value dependent expression.
2522
2523 2008-02-05  Douglas Gregor  <doug.gregor@gmail.com>
2524
2525         PR c++/35074
2526         * decl2.c (save_template_attributes): When we're modifying the
2527         TYPE_MAIN_VARIANT to add new attributes, be sure to also modify
2528         all of the other variants to add those same attributes. Otherwise,
2529         the main variant will be inconsistent with those other variants.
2530
2531 2008-02-04  Richard Guenther  <rguenther@suse.de>
2532
2533         PR java/35035
2534         * decl.c (record_builtin_java_type): Make jboolean a
2535         integer type again where its mode doesn't match that of bool.
2536
2537 2008-02-02  Jason Merrill  <jason@redhat.com>
2538             Mark Mitchell  <mark@codesourcery.com>
2539
2540         PR c++/33916
2541         * init.c (build_value_init_1): New function.
2542         (build_value_init): New function.
2543         * typeck2.c (build_functional_cast): Call it.
2544         * cp-gimplify.c (cp_gimplify_init_expr): Handle its output.
2545
2546         * cp-tree.h (TYPE_HAS_USER_CONSTRUCTOR): Rename from
2547         TYPE_HAS_CONSTRUCTOR.
2548         * class.c (finish_struct_bits, maybe_warn_about_overly_private_class,
2549         add_implicitly_declared_members): Adjust.
2550         (check_field_decls): Adjust. Remove warnings about reference/const
2551         in class without constructor.
2552         (check_bases_and_members): Adjust.  Give those warnings here instead.
2553         * decl.c (fixup_anonymous_aggr): Adjust.
2554         (check_initializer): Adjust, clarify logic slightly.
2555         (grok_special_member_properties): Adjust, only set if user-provided.
2556         * rtti.c (create_tinfo_types): Don't set.
2557         * cvt.c (ocp_convert): Remove exception for vtable_entry_type et al.
2558         Use same_type_ignoring_top_level_qualifiers_p.
2559         * pt.c (check_explicit_specialization): Adjust.
2560         (instantiate_class_template): Adjust.
2561
2562 2008-01-31  Douglas Gregor  <doug.gregor@gmail.com>
2563             Jakub Jelinek  <jakub@redhat.com>
2564
2565         PR c++/34935
2566         PR c++/34936
2567         * typeck.c (structural_comptypes): Handle comparisons of
2568         VOID_TYPE, BOOLEAN_TYPE, INTEGER_TYPE, FIXED_POINT_TYPE, and
2569         REAL_TYPE nodes.
2570         * mangle.c (write_builtin_type): Map down to the canonical type,
2571         which will be one of the predefined type nodes.
2572
2573 2008-01-29  Michael Meissner  <michael.meissner@amd.com>
2574
2575         PR 35004
2576         * cp-tree.h (struct full_lang_decl): Make tree_code bitfield 16
2577         bits to allow for expansion of the number of middle end tree
2578         codes.
2579
2580 2008-01-29  Douglas Gregor  <doug.gregor@gmail.com>
2581
2582         PR c++/34055
2583         PR c++/34103
2584         PR c++/34219
2585         PR c++/34606
2586         PR c++/34753
2587         PR c++/34754
2588         PR c++/34755
2589         PR c++/34919
2590         PR c++/34961
2591         * typeck.c (check_return_expr): Tweak call to
2592         check_for_bare_parameter_packs.
2593         * class.c (add_method): Be careful with error_mark_nodes.
2594         * cp-tree.h (check_for_bare_parameter_packs): Remove "*" from
2595         signature.
2596         * pt.c (struct find_parameter_pack_data): Remove
2597         SET_PACKS_TO_ERROR.
2598         (find_parameter_packs_r): Don't use SET_PACKS_TO_ERROR.
2599         (uses_parameter_packs): Don't set SET_PACKS_TO_ERROR.
2600         (make_pack_expansion): Ditto.
2601         (check_for_bare_parameter_packs): Parameter is now a tree, not a
2602         tree*.
2603         (process_template_parm): Tweak call to
2604         check_for_bare_parameter_packs.
2605         (push_template_decl_real): Tweak calls to
2606         check_for_bare_parameter_packs. If bare parameter packs are found
2607         in the list of exceptions, clear out that list after giving an
2608         error.
2609         * semantics.c (finish_cond): Tweak call to
2610         check_for_bare_parameter_packs.
2611         (finish_expr_stmt): Ditto.
2612         (finish_for_expr): Ditto.
2613         (finish_switch_cond): Ditto.
2614         (finish_mem_initializers): Ditto.
2615         (finish_member_declaration): Ditto.
2616         (finish_static_assert): Check for bare parameter packs in the
2617         condition.
2618         * decl2.c (cplus_decl_attributes): Check for bare parameter packs in the
2619         attributes of a declaration.
2620         * parser.c (cp_parser_using_declaration): Tweak call to
2621         check_for_bare_parameter_packs.
2622         (cp_parser_base_clause): Ditto.
2623
2624 2008-01-28  Jason Merrill  <jason@redhat.com>
2625
2626         PR c++/35007
2627         * class.c (build_base_path): Fix !want_pointer case.
2628
2629 2008-01-27  Jason Merrill  <jason@redhat.com>
2630
2631         PR c++/27177
2632         * class.c (build_base_path): Fix previous change.
2633
2634 2008-01-26  Jakub Jelinek  <jakub@redhat.com>
2635
2636         PR c++/34965
2637         * error.c (dump_expr): Handle TRUTH_AND_EXPR, TRUTH_OR_EXPR
2638         and TRUTH_XOR_EXPR.
2639
2640 2008-01-26  Richard Guenther  <rguenther@suse.de>
2641
2642         PR c++/34235
2643         * typeck.c (build_binary_op): Remove code to shorten compares.
2644
2645 2008-01-25  Richard Guenther  <rguenther@suse.de>
2646
2647         PR c++/33887
2648         * decl.c (record_builtin_java_type): Make __java_boolean
2649         a variant of bool.
2650         * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check
2651         after TYPE_MAIN_VARIANT check.
2652
2653 2008-01-25  Jason Merrill  <jason@redhat.com>
2654
2655         PR c++/27177
2656         * class.c (build_base_path): Don't mess with virtual access if
2657         skip_evaluation.
2658         * call.c (standard_conversion): Don't check whether source type
2659         is complete.
2660
2661         * decl2.c (is_late_template_attribute): Don't defer attribute
2662         visibility just because the type is dependent.
2663
2664 2008-01-25  Jason Merrill  <jason@redhat.com>
2665             Mark Mitchell  <mark@codesourcery.com>
2666
2667         PR c++/31780
2668         * call.c (standard_conversion): Allow conversion from integer/real
2669         to complex.
2670         (compare_ics): Such a conversion is worse than a normal arithmetic
2671         conversion.
2672
2673 2008-01-25  Richard Guenther  <rguenther@suse.de>
2674
2675         PR c++/33887
2676         * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define
2677         to true.
2678
2679 2008-01-24  Paolo Carlini  <pcarlini@suse.de>
2680
2681          PR c++/34603
2682          * pt.c (push_template_decl_real): Return error_mark_node in case
2683         of template definition of non-template.
2684
2685 2008-01-24  Jason Merrill  <jason@redhat.com>
2686
2687         PR c++/34913
2688         * decl2.c (is_late_template_attribute): Defer any attribute with
2689         dependent args.  Also defer type attributes if the type is dependent.
2690
2691 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
2692             Alexandre Oliva  <aoliva@redhat.com>
2693
2694         PR c++/33984
2695         * call.c (reference_binding): For bitfields use the declared bitfield
2696         type.
2697         (add_builtin_candidates): Likewise.
2698         * class.c (layout_class_type): For bitfields copy over the
2699         original type quals.
2700
2701 2008-01-22  Jason Merrill  <jason@redhat.com>
2702
2703         PR c++/28560
2704         * decl.c (groktypename): Also ignore attributes on dependent
2705         possibly-class types.
2706
2707         PR c++/34912
2708         * friend.c (do_friend): Check for prior declaration of a friend
2709         function of a local class.
2710         * name-lookup.c (lookup_name_innermost_nonclass_level):
2711         No longer static.
2712         * name-lookup.h: Declare it.
2713
2714 2008-01-22  Tom Tromey  <tromey@redhat.com>
2715
2716         PR c++/34829:
2717         * init.c (build_new_1): Only disallow Java aggregates.
2718
2719 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
2720
2721         PR c++/34607
2722         * semantics.c (finish_omp_for): Don't call c_finish_omp_for
2723         if decl or init is error_mark_node.
2724
2725         PR c++/34918
2726         * error.c (dump_expr): Handle VECTOR_CST.
2727
2728 2008-01-21  Jason Merrill  <jason@redhat.com>
2729
2730         PR c++/33959
2731         * pt.c (tsubst_aggr_type): Make sure our context is complete.
2732
2733         PR c++/34573
2734         * pt.c (retrieve_local_specialization): Robustify.
2735         (tsubst_pack_expansion, tsubst_decl): Remove redundant checks.
2736
2737         PR c++/34846
2738         * pt.c (tsubst): Only call retrieve_local_specialization if the
2739         original typedef was in a function template.
2740
2741         PR c++/34196
2742         * decl.c (wrap_cleanups_r): Set TRY_CATCH_IS_CLEANUP.
2743
2744 2008-01-21  Richard Guenther  <rguenther@suse.de>
2745
2746         PR c++/34850
2747         * error.c (cp_print_error_function): Deal with recursive
2748         BLOCK trees.
2749
2750 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
2751
2752          PR c++/34891
2753          * error.c (dump_expr): Deal with VIEW_CONVERT_EXPR.
2754
2755 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
2756
2757          PR c++/34776
2758         PR c++/34486
2759          * name-lookup.c (do_class_using_decl): Do not call constructor_name_p
2760         on non-IS_AGGR_TYPE scope.
2761         (constructor_name_p): Assert IS_AGGR_TYPE.
2762
2763 2008-01-18  Ian Lance Taylor  <iant@google.com>
2764
2765         PR c++/33407
2766         * decl.c (duplicate_decls): Copy DECL_IS_OPERATOR_NEW flag.
2767         (grok_op_properties): For NEW_EXPR and VEC_NEW_EXPR set
2768         DECL_IS_OPERATOR_NEW flag.
2769
2770 2008-01-16  Richard Guenther  <rguenther@suse.de>
2771
2772         PR c++/33819
2773         * typeck.c (is_bitfield_expr_with_lowered_type): Recurse
2774         for conversions to type variants.
2775
2776 2008-01-15  Andreas Tobler  <a.tobler@schweiz.org>
2777
2778         * parser.c (cp_parser_template_parameter): Fix C90 issue with mixing
2779         declaration and code.  Update copyright year.
2780
2781 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
2782
2783         PR c++/34399
2784         * friend.c (do_friend): Don't query TYPE_BEING_DEFINED unless we
2785         know we have a class type.
2786
2787 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
2788
2789         PR c++/34751
2790         * pt.c (coerce_template_parameter_pack): When substituting into
2791         the type of a non-type template parameter pack. use the
2792         deduced/substituted arguments.
2793         * parser.c (declarator_can_be_parameter_pack): A pointer-to-member
2794         can be a parameter pack with the ellipsis following it.  When we
2795         have an erroneous declaration, allow it to be a parameter pack.
2796         (cp_parser_template_parameter): Complain about default
2797         arguments on non-type template parameter packs, and parse them
2798         using the new cp_parser_default_argument.
2799         (cp_parser_parameter_declaration): Complain about parameter packs
2800         with default arguments. Move parsing of default arguments into a
2801         new function, cp_parser_default_argument.
2802         (cp_parser_default_argument): New; extracted from
2803         cp_parser_parameter_declaration.
2804
2805 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
2806
2807         PR c++/34051
2808         PR c++/34055
2809         PR c++/34102
2810         PR c++/34103
2811         * typeck.c (check_return_expr): If there are bare parameter packs
2812         in the return value, set it to error_mark_node.
2813         * tree.c (cp_walk_subtrees): Walk USING_DECL nodes.
2814         * pt.c (find_parameter_packs_r): Look at the type of
2815         IDENTIFIER_NODEs (e.g., for user-defined conversions).
2816         (check_for_bare_parameter_packs): Flip the result: now returns
2817         TRUE when there were bare parameter packs, FALSE otherwise.
2818         (push_template_decl_real): Deal with flipped result of
2819         check_for_bare_parameter_packs.
2820         * semantics.c (finish_cond): If there are bare parameter packs in
2821         the conditional, set it to error_mark_node.
2822         (finish_expr_stmt): If there are bare parameter packs in the
2823         expression, set it to error_mark_node.
2824         (finish_for_expr): Ditto.
2825         (finish_switch_cond): If there are bare parameter packs in
2826         the conditional, set it to error_mark_node.
2827         (finish_mem_initializers): If there are bare parameter packs in
2828         the member initializer, set it to error_mark_node.
2829         (finish_member_declaration): Check the attributes of the
2830         declaration for bare parameter packs, and remove the attributes if
2831         any have bare parameter packs.
2832         * parser.c (cp_parser_using_declaration): Check the using
2833         declaration for bare parameter packs.
2834         (cp_parser_base_clause): If there are bare parameter packs in a
2835         base specifier, don't add it to the chain.
2836
2837 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
2838
2839         PR c++/34314
2840         * error.c (dump_simple_decl): Display ellipsis for template
2841         non-type parameter packs.
2842         (dump_decl): Display ellipsis for template type parameter packs.
2843         (dump_template_decl): Display ellipsis for template template
2844         parameter packs.
2845         * pt.c (redeclare_class_template): When redeclaring a class
2846         template, check for collisions between template parameters and
2847         template parameter packs.
2848
2849 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
2850
2851         PR c++/33964
2852         * pt.c (process_partial_specialization): Don't mark template
2853         parameters that occur in non-deduced contexts.
2854         (struct pair_fn_data): Add include_nondeduced_p.
2855         (for_each_template_parm_r): Only visit non-deduced contexts if
2856         include_nondeduced_p is set.
2857         (for_each_template_parm): Added parameter include_nondeduced_p,
2858         which states whether template parameters found in non-deduced
2859         contexts should be visited.
2860         (uses_template_parms): Visit all template parameters, even those
2861         in non-deduced contexts.
2862
2863 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
2864
2865         PR c++/34052
2866         * pt.c (check_default_tmpl_args): Check for parameter packs that
2867         aren't at the end of a primary template.
2868         (push_template_decl_real): Remove check for parameter packs that
2869         aren't at the end of a primary template; that now happens in
2870         check_default_tmpl_args.
2871         * semantics.c (finish_template_template_parm): Use
2872         check_default_tmpl_args to check for errors in the template
2873         parameter list.
2874
2875 2008-01-12  Doug Kwan  <dougkwan@google.com>
2876
2877         * decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
2878         instead of OPT_Wreturn_type in warning due to ignored return type
2879         qualifiers.
2880         * pt.c: (tsubst_function_type): Use OPT_Wignored_qualifiers
2881         instead of OPT_Wreturn_type in warning due to ignored return type
2882         qualifiers.
2883
2884 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
2885
2886         PR c++/33890
2887         * semantics.c (finish_omp_for): Don't call
2888         fold_build_cleanup_point_expr if processing_template_decl.
2889
2890 2008-01-04  Paolo Carlini  <pcarlini@suse.de>
2891             Jakub Jelinek  <jakub@redhat.com>
2892
2893         PR c++/34611
2894         * error.c (dump_template_argument): Deal with TREE_LIST.
2895
2896 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
2897
2898         * parser.c (cp_parser_check_decl_spec): Don't warn about "long
2899         long" in C++0x mode; change the warning to note that "long long"
2900         is only unsupported in C++98 mode.
2901
2902 2007-12-20  Jason Merrill  <jason@redhat.com>
2903
2904         PR c++/34111
2905         * call.c (standard_conversion): Derived-to-base is considered a
2906         standard conversion.
2907
2908 2007-12-19  Jakub Jelinek  <jakub@redhat.com>
2909
2910         PR c++/34513
2911         * parser.c (cp_parser_omp_parallel): For non-combined parallel
2912         call cp_parser_statement rather than
2913         cp_parser_already_scoped_statement.
2914
2915 2007-12-18  Jason Merrill  <jason@redhat.com>
2916
2917         PR c++/34206
2918         * pt.c (tsubst_aggr_type): Do nothing if the type already doesn't
2919         use template parms.
2920         (dependent_type_p_r): Handle the domain of an array.
2921
2922 2007-12-18  Douglas Gregor  <doug.gregor@gmail.com>
2923              Jakub Jelinek  <jakub@redhat.com>
2924
2925         PR c++/32565
2926         PR c++/33943
2927         PR c++/33965
2928         * pt.c (template_template_parm_bindings_ok_p): New; verifies
2929         bindings of template template parameters after all template
2930         arguments have been deduced.
2931         (coerce_template_parms): Don't complain when COMPLAIN doesn't
2932         include tf_error.
2933         (fn_type_unification): Use template_template_parm_bindings_ok_p.
2934         (unify): Deal with variadic, bound template template parameters.
2935         (get_class_bindings): Use template_template_parm_bindings_ok_p.
2936
2937 2007-12-18  Jakub Jelinek  <jakub@redhat.com>
2938
2939         PR c++/34488
2940         * decl.c (grokdeclarator): Reject friend sfk_constructor
2941         FUNCTION_TYPE.
2942
2943 2007-12-17  Jakub Jelinek  <jakub@redhat.com>
2944
2945         PR c/34506
2946         * parser.c (cp_parser_omp_all_clauses): Accept optional comma
2947         in between clauses.
2948
2949 2007-12-15  Alexandre Oliva  <aoliva@redhat.com>
2950
2951         PR debug/7081
2952         * cp-lang.c (cp_classify_record): New.
2953         (LANG_HOOKS_CLASSIFY_RECORD): Override.
2954
2955 2007-12-11  Jakub Jelinek  <jakub@redhat.com>
2956
2957         PR c++/34238
2958         * decl2.c (cp_write_global_declarations): Revert 2007-11-22 change.
2959
2960         PR c++/34364
2961         * rtti.c (build_dynamic_cast): Call convert_from_reference even for
2962         dynamic_cast in a template.
2963
2964 2007-12-10  Simon Martin  <simartin@users.sourceforge.net>
2965
2966         PR c++/34059
2967         * typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
2968         MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.
2969
2970 2007-12-10  Jakub Jelinek  <jakub@redhat.com>
2971
2972         PR c++/34395
2973         * error.c (dump_type_prefix, dump_type_suffix): Handle
2974         TYPE_PACK_EXPANSION.
2975
2976         PR c++/34394
2977         * error.c (dump_expr): Handle ABS_EXPR.
2978
2979 2007-12-09  Jakub Jelinek  <jakub@redhat.com>
2980
2981         PR c++/34178
2982         PR c++/34340
2983         * repo.c (repo_emit_p): Return 2 for DECL_INTEGRAL_CONSTANT_VAR_P
2984         in class scope rather than DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2985         Return 2 also if DECL_EXPLICIT_INSTANTIATION.
2986         * decl2.c (import_export_decl): Don't make VAR_DECLs import_p when
2987         flag_use_repository and repo_emit_p returned 2.
2988
2989 2007-12-06  Jakub Jelinek  <jakub@redhat.com>
2990
2991         PR c++/34336
2992         * tree.c (stabilize_call, stabilize_init): Do nothing if
2993         processing_template_decl.
2994
2995 2007-12-05  Jakub Jelinek  <jakub@redhat.com>
2996
2997         PR c++/34271
2998         * semantics.c (finish_decltype_type): For SCOPE_REF issue an
2999         error instead of assertion failure.
3000         * parser.c (cp_parser_decltype): If closing paren is not found,
3001         return error_mark_node.
3002
3003 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
3004
3005         PR c++/34101
3006         * name-lookup.c (arg_assoc_template_arg): Recurse on argument
3007         packs.
3008         (arg_assoc_type): We don't need to handle TYPE_ARGUMENT_PACK here,
3009         since arg_assoc_template_arg will deal with them (better).
3010
3011 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
3012
3013         PR c++/33509
3014         * pt.c (tsubst_exception_specification): Handle substitutions into
3015         member templates, where tsubst_pack_expansion returns a
3016         TYPE_PACK_EXPANSION.
3017
3018 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
3019
3020         PR c++/33091
3021         * pt.c (unify_pack_expansion): If we didn't deduce any actual
3022         bindings for the template parameter pack, don't try to keep the
3023         empty deduced arguments.
3024         (unify): If a parameter is a template-id whose template argument
3025         list contains a pack expansion that is not at the end, then we
3026         cannot unify against that template-id.
3027
3028 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
3029
3030          PR c++/34061
3031          * pt.c (current_template_args): Use error_operand_p.
3032
3033 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
3034
3035          PR c++/34273
3036          * error.c (dump_decl): Handle TREE_BINFO.
3037
3038 2007-12-01  Ollie Wild  <aaw@google.com>
3039
3040         PR c++/8171
3041         * typeck.c (build_binary_op): Add conversion of pointers to function
3042         members appearing as operands to the equality operators.
3043
3044 2007-11-30  Jakub Jelinek  <jakub@redhat.com>
3045
3046         PR c++/34275
3047         * error.c (dump_expr): Handle OBJ_TYPE_REF.
3048
3049 2007-11-29  Jakub Jelinek  <jakub@redhat.com>
3050
3051         PR c++/34270
3052         * tree.c (lvalue_p_1) <case COND_EXPR>: Handle x ?: y
3053         in templates.
3054         * typeck.c (is_bitfield_expr_with_lowered_type) <case COND_EXPR>:
3055         Likewise.
3056
3057         PR c++/34267
3058         PR c++/34268
3059         * parser.c (cp_parser_decltype): Don't call finish_id_expression
3060         on ~type.
3061         * semantics.c (finish_decltype_type): Issue error on types, TYPE_DECLs
3062         and ~type early.
3063
3064 2007-11-27  Jakub Jelinek  <jakub@redhat.com>
3065
3066         PR tree-optimization/34181
3067         * method.c (use_thunk): Don't inline the call in the thunk.
3068
3069         PR c++/34213
3070         * tree.c (decl_linkage): Static data members and static member
3071         functions in anonymous ns classes are lk_external.
3072
3073 2007-11-26  Andreas Krebbel  <krebbel1@de.ibm.com>
3074
3075         PR c++/34081
3076         * decl.c (start_preparsed_function): Pass
3077         processing_template_decl for the new allocate_struct_function
3078         parameter.
3079
3080 2007-11-25  Richard Guenther  <rguenther@suse.de>
3081
3082         * decl.c (poplevel): Use BLOCK_CHAIN.
3083
3084 2007-11-24  Ollie Wild  <aaw@google.com>
3085
3086         * typeck.c (delta_from_ptrmemfunc): New function.
3087         (get_member_function_from_ptrfunc): Call delta_from_ptrmemfunc.
3088         (build_binary_op): Call delta_from_ptrmemfunc.
3089
3090 2007-11-23  Jakub Jelinek  <jakub@redhat.com>
3091
3092         PR c++/30293
3093         PR c++/30294
3094         * decl.c (cp_finish_decl): Disallow variable or field
3095         definitions if extern "Java" aggregates.
3096         (grokparms): Disallow parameters with extern "Java"
3097         aggregates.
3098         (check_function_type): Disallow function return values
3099         with extern "Java" aggregates.
3100         * init.c (build_new_1): Disallow placement new with
3101         extern "Java" aggregates.
3102
3103 2007-11-23  Mark Mitchell  <mark@codesourcery.com>
3104             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3105
3106         PR c++/5310
3107         * call.c (convert_like_real): Build a zero constant when __null is
3108         converted to an integer type.
3109
3110 2007-11-22  Jakub Jelinek  <jakub@redhat.com>
3111
3112         PR c++/34094
3113         * decl2.c (cp_write_global_declarations): Issue error about static
3114         data members in anonymous namespace which are declared and used,
3115         but not defined.
3116
3117 2007-11-20  Jakub Jelinek  <jakub@redhat.com>
3118
3119         PR c++/34089
3120         * parser.c (cp_parser_class_head): Reject function template ids.
3121
3122         PR c++/28879
3123         * tree.c (build_cplus_array_type_1): Don't pass any VLA types
3124         when processing_template_decl to build_array_type.
3125
3126         PR c++/33962
3127         * pt.c (more_specialized_fn): Don't segfault if one or
3128         both argument list end with ellipsis.
3129
3130 2007-11-18  Jakub Jelinek  <jakub@redhat.com>
3131
3132         PR c++/30988
3133         * semantics.c (finish_call_expr): Set
3134         current_function_returns_abnormally if fn is noreturn FUNCTION_DECL
3135         or OVERLOAD with all noreturn functions.
3136
3137 2007-11-16  Jakub Jelinek  <jakub@redhat.com>
3138
3139         PR c++/34100
3140         * pt.c (apply_late_template_attributes): Do nothing if decl's type is
3141         error_mark_node.
3142
3143 2007-11-13  Jakub Jelinek  <jakub@redhat.com>
3144
3145         PR c++/34054
3146         PR c++/34056
3147         PR c++/34057
3148         PR c++/34058
3149         PR c++/34060
3150         * pt.c (find_parameter_packs_r): If ppd->set_packs_to_error,
3151         set to error_mark_node the outermost POINTER_TYPE to the pack if
3152         it is seen in a POINTER_TYPE.
3153         (push_template_decl_real): If check_for_bare_parameter_packs
3154         fails for function return type, set the return type to
3155         integer_type_node.  If check_for_bare_parameter_packs failed
3156         for non-function, return error_mark_node.
3157
3158         PR c++/29225
3159         * call.c (build_new_op): Call resolve_args before calling
3160         build_over_call.
3161
3162 2007-11-11  Tom Tromey  <tromey@redhat.com>
3163
3164         PR c++/17577:
3165         * lex.c (handle_pragma_implementation): Use cpp_included_before.
3166
3167 2007-11-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3168
3169         PR c++/8570
3170         * pt.c (redeclare_class_template): Update error message. Use a
3171         note to show the previous declaration.
3172         (tsubst_friend_class): Use the location of the friend template as
3173         the input location before calling redeclare_class_template.
3174
3175 2007-11-11  Jakub Jelinek  <jakub@redhat.com>
3176
3177         PR c++/34068
3178         * semantics.c (finish_pseudo_destructor_expr): Handle
3179         object == error_mark_node.
3180
3181 2007-11-10  Jakub Jelinek  <jakub@redhat.com>
3182
3183         PR c++/32241
3184         * pt.c (tsubst_copy_and_build) <case COMPONENT_REF>: If object_type
3185         is not scalar type, let finish_class_member_access_expr handle
3186         diagnostics.  Pass BIT_NOT_EXPR argument to
3187         finish_pseudo_destructor_expr.  Handle SCOPE_REF properly.
3188
3189 2007-11-09  Douglas Gregor  <doug.gregor@gmail.com>
3190
3191         PR c++/33510
3192         * decl.c (cp_complete_array_type): If any of the initializer
3193         elements are pack expansions, don't compute the array size yet.
3194
3195 2007-11-08  Andrew Pinski  <pinskia@gmail.com>
3196
3197         PR c++/30297:
3198         * tree.c (decl_linkage): Fields have no linkage.
3199
3200 2007-11-08  Daniel Jacobowitz  <dan@codesourcery.com>
3201
3202         * class.c (build_ctor_vtbl_group): Lay out the new type and decl.
3203
3204 2007-11-07  Douglas Gregor  <doug.gregor@gmail.com>
3205
3206         PR c++/33045
3207         PR c++/33837
3208         PR c++/33838
3209         * semantics.c (finish_decltype_type): See through INDIRECT_REFs.
3210         Be careful with ERROR_MARK_NODEs.
3211         * parser.c (cp_parser_check_access_in_redeclaration): Handle NULL
3212         argument.
3213
3214 2007-11-07  Jakub Jelinek  <jakub@redhat.com>
3215
3216         PR c++/33501
3217         * call.c (build_over_call): Don't check TREE_ADDRESSABLE
3218         on incomplete type.
3219
3220 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
3221
3222         PR c++/33977
3223         PR c++/33886
3224         * tree.c (c_build_qualified_type): Define bridge to
3225         cp_build_qualified_type.
3226
3227 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
3228
3229         PR c++/31439
3230         PR c++/32114
3231         PR c++/32115
3232         PR c++/32125
3233         PR c++/32126
3234         PR c++/32127
3235         PR c++/32128
3236         PR c++/32253
3237         PR c++/32566
3238         * typeck.c (check_return_expr): Pass address of retval to
3239         check_for_bare_parameter_packs.
3240         * class.c (build_base_field): Tolerate bases that have no layout
3241         due to errors.
3242         (end_of_base): Ditto.
3243         * tree.c (canonical_type_variant): Be careful with
3244         ERROR_MARK_NODE.
3245         * cp-tree.h (check_for_bare_parameter_packs): Now accepts a
3246         tree*.
3247         * pt.c (find_parameter_pack_data): Add set_packs_to_error field,
3248         which states whether parameter packs should be replaced with
3249         ERROR_MARK_NODE.
3250         (find_parameter_packs_r): Pass addresses to cp_walk_tree wherever
3251         possible. If set_packs_to_error is set true, replace the parameter
3252         pack with ERROR_MARK_NODE. Manage our own pointer sets.
3253         (uses_parameter_packs): Don't set parameter packs to
3254         ERROR_MARK_NODE.
3255         (check_for_bare_parameter_packs): Now takes a pointer to a tree,
3256         which may be modified (if it is a parameter pack). Instructs
3257         find_parameter_packs_r to replace parameter packs with
3258         ERROR_MARK_NODE (so that they won't cause errors later on).
3259         (process_template_parm): Pass pointer to
3260         check_for_bare_parameter_packs.
3261         (process_partial_specialization): Replace pack expansions before
3262         the end of the template argument list with ERROR_MARK_NODE.
3263         (push_template_decl_real): Pass pointer to
3264         check_for_bare_parameter_packs. Replace parameter packs not at the
3265         end of the template parameter list with ERROR_MARK_NODE.
3266         (convert_template_argument): Be more careful about using DECL_NAME
3267         on only declarations.
3268         (unify): Can't unify against ERROR_MARK_NODE.
3269         * semantics.c (finish_cond): Pass pointer to
3270         check_for_bare_parameter_packs.
3271         (finish_expr_stmt): Ditto.
3272         (finish_for_expr): Ditto.
3273         (finish_switch_cond): Pass pointer to
3274         check_for_bare_parameter_packs, and call it before we put the
3275         condition into the statement.
3276         (finish_mem_initializers): Pass pointer to
3277         check_for_bare_parameter_packs.
3278         (finish_member_declaration): Ditto.
3279         * parser.c (cp_parser_base_clause): Ditto.
3280
3281 2007-11-06  Jakub Jelinek  <jakub@redhat.com>
3282
3283         PR target/33168
3284         * decl.c (cp_finish_decl): Call make_rtl_for_nonlocal_decl already
3285         with the final TREE_READONLY flag in place.  processing_template_decl
3286         is known to be 0 in this part of function.
3287
3288         PR c++/33894
3289         * cp-tree.h: Update comment - TYPE_LANG_FLAG_0 is not
3290         OMP_ATOMIC_DEPENDENT_P in OMP_ATOMIC.
3291         * pt.c (tsubst_expr): Assert OMP_ATOMIC_DEPENDENT_P.
3292         * semantics.c (finish_omp_atomic): Revert most of the
3293         2007-02-05 changes, just keep the new representation of
3294         OMP_ATOMIC_DEPENDENT_P OMP_ATOMIC.
3295
3296 2007-11-05  H.J. Lu  <hongjiu.lu@intel.com>
3297
3298         PR c++/33871
3299         * decl2.c (constrain_visibility): Clear DECL_ONE_ONLY if marked
3300         local.
3301
3302 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
3303
3304         PR c++/33996
3305         PR c++/33235
3306         PR c++/33930
3307         * typeck.c (merge_types): Don't lose rvalue references when
3308         merging types.
3309         * call.c (build_over_call): Don't elide move constructors just
3310         because the copy constructor is trivial (!).
3311         (compare_ics): If comparing cv-qualifiers fails, we can still order
3312         based on binding lvalues vs. rvalues.
3313
3314 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
3315
3316         PR c++/33939
3317         * pt.c (unify_pack_expansion): bring handling of function call
3318         arguments into line with type_unification_real.
3319
3320 2007-11-05  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3321
3322         * typeck.c (build_binary_op): Use pedwarn instead of error for
3323         consistency.
3324
3325 2007-11-05  Jakub Jelinek  <jakub@redhat.com>
3326
3327         PR c++/33836
3328         * parser.c (cp_parser_unary_expression): For &&label call
3329         cp_parser_non_integral_constant_expression and return error_mark_node
3330         if it returned true.
3331
3332         PR c++/33969
3333         * decl.c (grokdeclarator): Don't call build_memfn_type if type
3334         is neither FUNCTION_TYPE nor METHOD_TYPE.
3335
3336 2007-11-02  Jakub Jelinek  <jakub@redhat.com>
3337
3338         PR c++/33516
3339         * parser.c (cp_parser_nested_name_specifier_opt): Use
3340         TYPE_MAIN_VARIANT (new_scope) as scope if new_scope is an incomplete
3341         typedef of currently open class.
3342
3343 2007-11-02  Paolo Carlini  <pcarlini@suse.de>
3344
3345         PR c++/33495
3346         * error.c (dump_expr): Deal specially with statements.
3347
3348 2007-11-01  Jason Merrill  <jason@redhat.com>
3349
3350         PR c++/30897
3351         * pt.c (push_template_decl_real): Set DECL_CONTEXT on template
3352         template parms.
3353         (lookup_template_class): Use it to get the outer template args
3354         for instantiating one.
3355
3356         PR c++/29236
3357         * pt.c (reduce_template_parm_level): tsubst the parameters
3358         of a template template parm.
3359
3360 2007-11-01  Douglas Gregor  <doug.gregor@gmail.com>
3361
3362         PR c++/33955
3363         * pt.c (find_parameter_packs_r): Handle TYPENAME_TYPE.
3364
3365 2007-11-01  Jakub Jelinek  <jakub@redhat.com>
3366
3367         PR c++/32384
3368         * parser.c (cp_parser_postfix_dot_deref_expression): If
3369         POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor
3370         first and if that succeeds and type is SCALAR_TYPE_P, create
3371         PSEUDO_DTOR_EXPR.
3372
3373         PR c++/32260
3374         * rtti.c (enum_tinfo_kind): Fix TK_TYPE_INFO_TYPE comment.
3375         (typeid_ok_p): Use the same alias set for abi::__type_info_pseudo
3376         as for std::type_info.
3377
3378 2007-10-31  Paolo Carlini  <pcarlini@suse.de>
3379
3380         PR c++/33494
3381         * cxx-pretty-print.c (pp_cxx_typeid_expression,
3382         pp_cxx_delete_expression): Change to static linkage.
3383         * cxx-pretty-print.h: Adjust declarations.
3384         * error.c (dump_expr, case EXPR_PACK_EXPANSION, TYPEID_EXPR,
3385         MEMBER_REF, DOTSTAR_EXPR, DELETE_EXPR, VEC_DELETE_EXPR,
3386         MODOP_EXPR): Forward to pp_expression.
3387
3388         * cxx-pretty-print.c (pp_cxx_expression, case NON_DEPENDENT_EXPR):
3389         Fix typo.
3390
3391 2007-10-31 Christian Bruel  <christian.bruel@st.com>
3392             Mark Mitchell  <mark@codesourcery.com>
3393
3394         PR c++/19531
3395         * typeck.c (check_return_expr): Don't set named_return_value_okay_p
3396         if retval is volatile.
3397
3398 2007-10-30  Jakub Jelinek  <jakub@redhat.com>
3399
3400         PR c++/33616
3401         * decl2.c (build_offset_ref_call_from_tree): Call
3402         build_non_dependent_expr on object prior to building ADDR_EXPR from it
3403         if FN is DOTSTAR_EXPR.
3404
3405 2007-10-30  Douglas Gregor  <doug.gregor@gmail.com>
3406
3407         PR c++/31993
3408         PR c++/32252
3409         * pt.c (find_parameter_packs_r): Fix typo in comment.
3410         (convert_template_argument): Look at the pattern of a pack
3411         expansion to determine what kind of entity we're converting.
3412         (coerce_template_parameter_pack): When we have coerced a non-type
3413         template parameter pack, substitute into the type of that pack.
3414         (tsubst_pack_expansion): When our substitution of a parameter pack
3415         is a "trivial" substitution of itself, just substitute into the
3416         pack expansion rather than actually expanding.
3417
3418 2007-10-29  Jakub Jelinek  <jakub@redhat.com>
3419
3420         PR c++/33841
3421         * class.c (check_bitfield_decl): Don't set field's type to error_mark_node
3422         for non-integral type bitfields.  Return true if bitfield is correct, false
3423         error has been diagnosed.
3424         (check_field_decls): If check_bitfield_decl returned false, call also
3425         check_field_decl.
3426
3427 2007-10-28  Paolo Carlini  <pcarlini@suse.de>
3428             Mark Mitchell  <mark@codesourcery.com>
3429
3430         PR c++/30659
3431         * pt.c (do_decl_instantiation): If the VAR_DECL is not a
3432         class member error out and return.
3433
3434 2007-10-27  Jakub Jelinek  <jakub@redhat.com>
3435
3436         * error.c (reinit_cxx_pp): Initialize cxx_pp->enclosing_scope
3437         to current_function_decl rather than 0.
3438
3439         PR c++/33844
3440         * cxx-pretty-print.c (pp_cxx_pm_expression) <case MEMBER_REF>: Print
3441         ->* rather than .*.
3442         * error.c (dump_expr): Handle MEMBER_REF and DOTSTAR_EXPR.
3443
3444 2007-10-27  Jason Merrill  <jason@redhat.com>
3445