gcc/cp/ChangeLog

   1 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
   2
   3         PR c++/23510
   4         * error.c (print_instantiation_partial_context_line): New.
   5         (print_instantiation_partial_context): Print at most 12 contexts,
   6         skip the rest with a message.
   7
   8 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
   9
  10         PR c++/42824
  11         * pt.c (lookup_template_class): Better support of specialization
  12         of member of class template implicit instantiation.
  13
  14 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
  15
  16         PR c++/35669
  17         * call.c (conversion_null_warnings): Replace -Wconversion with
  18         -Wconversion-null.
  19         * cvt.c (build_expr_type_conversion): Likewise.
  20
  21 2010-02-18  Jason Merrill  <jason@redhat.com>
  22
  23         PR c++/42837
  24         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
  25
  26         PR c++/43108
  27         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
  28         C build_binary_op.
  29         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
  30         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
  31
  32         PR c++/43070
  33         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
  34
  35         PR c++/26261
  36         PR c++/43101
  37         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
  38         (maybe_update_decl_type): New fn.
  39         * parser.c (cp_parser_init_declarator): Use it.
  40
  41         PR c++/43109
  42         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
  43
  44 2010-02-17  Jason Merrill  <jason@redhat.com>
  45
  46         PR c++/43075
  47         * call.c (build_over_call): Don't create zero-sized assignments.
  48         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
  49         * cp-objcp-common.c (cp_expr_size): Remove.
  50         * cp-tree.h: Remove prototype.
  51
  52         PR c++/43069
  53         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
  54         decl we looked up doesn't match.
  55
  56         PR c++/43093
  57         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
  58         have an INIT_EXPR anymore.
  59
  60         PR c++/43079
  61         * pt.c (convert_nontype_argument): Change assert to test.
  62
  63 2010-02-16  Jason Merrill  <jason@redhat.com>
  64
  65         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
  66
  67         PR c++/43031
  68         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
  69         VIEW_CONVERT_EXPR for conversions between structural equality types
  70         that the back end can't tell are the same.
  71
  72         PR c++/43036
  73         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
  74         cv-quals from element here.
  75         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
  76
  77 2010-02-14  Jason Merrill  <jason@redhat.com>
  78
  79         PR c++/41997
  80         * semantics.c (finish_compound_literal): Use
  81         cp_apply_type_quals_to_decl when creating a static variable.
  82
  83 2010-02-12  Jason Merrill  <jason@redhat.com>
  84
  85         PR c++/43024
  86         * name-lookup.h (current_binding_level): Check for null
  87         cp_function_chain.
  88
  89 2010-02-12  Jason Merrill  <jason@redhat.com>
  90
  91         PR c++/43054
  92         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
  93
  94 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
  95
  96         PR c++/43033
  97         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
  98         instead of x.
  99
 100 2010-02-10  Jason Merrill  <jason@redhat.com>
 101
 102         PR c++/41896
 103         * semantics.c (outer_lambda_capture_p): Revert.
 104         (add_capture): Only finish_member_declaration if
 105         we're in the lambda class.
 106         (register_capture_members): New.
 107         * cp-tree.h: Declare it.
 108         * parser.c (cp_parser_lambda_expression): Call it.
 109
 110 2010-02-10  Jason Merrill  <jason@redhat.com>
 111
 112         PR c++/41896
 113         * semantics.c (outer_lambda_capture_p): Use current_function_decl
 114         instead of current_class_type.
 115
 116 2010-02-10  Jason Merrill  <jason@redhat.com>
 117
 118         PR c++/42983, core issue 906
 119         * method.c (defaultable_fn_check): Check virtualness.
 120
 121 2010-02-10  Jason Merrill  <jason@redhat.com>
 122
 123         PR c++/43016
 124         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
 125
 126 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
 127
 128         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
 129         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
 130         translation.
 131         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
 132         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
 133         (cp_parser_parameter_declaration)
 134         (cp_parser_exception_specification_opt)
 135         (cp_parser_exception_declaration): Likewise.
 136         * pt.c (check_default_tmpl_args): Likewise.
 137         * search.c (lookup_field_r): Likewise.
 138
 139 2010-02-09  Jason Merrill  <jason@redhat.com>
 140
 141         PR c++/42399
 142         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
 143
 144 2010-02-09  Jason Merrill  <jason@redhat.com>
 145
 146         PR c++/42370
 147         * decl2.c (change_return_type): New fn.
 148         * semantics.c (apply_lambda_return_type): Use it.
 149         * cp-tree.h: Declare it.
 150
 151 2010-02-05  Richard Guenther  <rguenther@suse.de>
 152
 153         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
 154         * cp-lang.c: Include gt-cp-cp-lang.h.
 155         * config-lang.in (gtfiles): Add cp/cp-lang.c.
 156
 157 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
 158
 159         PR c++/42915
 160         * typeck.c (get_template_parms_of_dependent_type): Try getting
 161         the template parameters fromt the type itself first.
 162
 163 2010-02-03  Jason Merrill  <jason@redhat.com>
 164
 165         PR c++/4926
 166         PR c++/38600
 167         * mangle.c (write_unqualified_id): Split out from write_expression.
 168         (write_unqualified_name): Call it.
 169         (write_member_name): Likewise.
 170         (write_expression): Support TEMPLATE_ID_EXPR.
 171         Disambiguate operator names.
 172
 173         PR c++/12909
 174         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
 175         -fabi-version=4.
 176
 177 2010-02-02  Jason Merrill  <jason@redhat.com>
 178
 179         PR c++/41090
 180         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
 181         * optimize.c (clone_body): Remap their initializers when making base
 182         variants.
 183         (maybe_clone_body): Complain if multiple clones aren't safe.
 184
 185 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
 186
 187         PR c++/42758
 188         PR c++/42634
 189         PR c++/42336
 190         PR c++/42797
 191         PR c++/42880
 192         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 193         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
 194         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
 195         * pt.c (coerce_template_parms, type_unification_real,
 196         expand_template_argument_pack, coerce_template_parameter_pack):
 197         Set the non default template args count.
 198         (current_template_args): Always set non defaulted
 199         template args count when compiled with --enable-checking
 200         (tsubst_template_args, type_unification_real): Propagate the non
 201         defaulted template args count.
 202         * error.c (get_non_default_template_args_count): Renamed
 203         count_non_default_template_args into this. Don't calculate the
 204         non default template argument count anymore. Use the new
 205         accessor macros above to get it.
 206         (dump_template_argument_list, dump_type, dump_decl,
 207         dump_template_parms): Adjust.
 208         * parser.c (cp_parser_template_argument_list): Always set defaulted
 209         template args count when compiled with --enable-checking.
 210
 211 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
 212
 213         * decl.c (redeclaration_error_message): Wrap the return messages into
 214         G_() for easy translation.
 215
 216 2010-01-28  Jason Merrill  <jason@redhat.com>
 217
 218         PR c++/42880
 219         * semantics.c (begin_class_definition): Don't use type_as_string.
 220
 221 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
 222
 223         PR c++/42713
 224         PR c++/42820
 225         * typeck.c (get_template_parms_of_dependent_type): Factorized
 226         this out of incompatible_template_type_parms_p
 227         (incompatible_dependent_types_p): Renamed
 228         incompatible_template_type_parms_p into this. Make it detect
 229         two incompatible dependent typedefs too.
 230         (structural_comptypes): Use incompatible_dependent_types_p.
 231         * pt.c (get_template_info):
 232         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
 233
 234 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
 235             Jason Merrill  <jason@redhat.com>
 236
 237         * mangle.c (write_type): Mangle transparent record as member type.
 238         * semantics.c (begin_class_definition): Recognize decimal classes
 239         and set TYPE_TRANSPARENT_AGGR.
 240
 241 2010-01-20  Jason Merrill  <jason@redhat.com>
 242
 243         PR c++/42338
 244         * mangle.c (write_expression): Handle tree codes that have extra
 245         arguments in the middle-end.
 246
 247 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
 248
 249         PR c++/42038
 250         * except.c (expand_start_catch_block): Deal correctly with
 251         do_begin_catch returning error_mark_node.
 252
 253 2010-01-20  Jason Merrill  <jason@redhat.com>
 254
 255         PR c++/41788
 256         * class.c (layout_class_type): Set packed_maybe_necessary for packed
 257         non-PODs.
 258
 259         PR c++/41920
 260         * semantics.c (build_lambda_object): Call mark_used on captured
 261         variables.
 262
 263         PR c++/40750
 264         * decl.c (grokdeclarator): Clear type_quals for a member function
 265         declared using a typedef.  Don't complain about adding cv-quals
 266         to a function typedef in C++0x mode.
 267
 268 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
 269
 270         * decl.c (create_array_type_for_decl): Remove set but not used
 271         variable error_msg.  Remove break stmts after return stmts.
 272
 273 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
 274
 275         * error.c (dump_template_parms, count_non_default_template_args):
 276         Revert fix of PR c++/42634.
 277
 278 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 279
 280         PR c++/42634
 281         * error.c (dump_template_parms): Use innermost template
 282         arguments before calling count_non_default_template_args.
 283         (count_non_default_template_args): We are being called with
 284         template innermost arguments now. There is no need to ensure
 285         that again.
 286
 287 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
 288
 289         PR c++/42766
 290         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
 291
 292 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 293
 294         PR c++/42697
 295         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
 296
 297 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
 298
 299         PR c++/42697
 300         *pt.c (tsubst_decl): Get the arguments of a specialization from
 301         the specialization template, not from the most general template.
 302
 303 2010-01-16  Jason Merrill  <jason@redhat.com>
 304
 305         PR c++/42761
 306         * semantics.c (finish_decltype_type): Within a template, treat
 307         unresolved CALL_EXPR as dependent.
 308
 309 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
 310
 311         * error.c (dump_template_parms,count_non_default_template_args):
 312         Revert changes of PR c++/42634.
 313
 314 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
 315
 316         PR middle-end/42674
 317         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
 318         functions with noreturn attribute.
 319
 320 2010-01-14  Jason Merrill  <jason@redhat.com>
 321
 322         PR c++/42701
 323         * call.c (build_new_method_call): Don't free the vec here.
 324
 325         PR c++/42655
 326         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
 327
 328 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
 329
 330         PR c++/42634
 331         * error.c (dump_template_parms): Use innermost template
 332         arguments before calling count_non_default_template_args.
 333         (count_non_default_template_args): We are being called with
 334         template innermost arguments now. There is no need to ensure
 335         that again.
 336
 337 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
 338
 339         c++/40155
 340         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
 341         arguments that were previously deduced.
 342
 343 2010-01-05  Jason Merrill  <jason@redhat.com>
 344
 345         * pt.c (unify_pack_expansion): Handle deduction from init-list.
 346         * call.c (build_over_call): Don't complain about it.
 347
 348 2010-01-04  Jason Merrill  <jason@redhat.com>
 349
 350         PR c++/42555
 351         * pt.c (tsubst_decl): Don't apply type attributes in place.
 352
 353         PR c++/42567
 354         * semantics.c (describable_type): Remove decltype comment and
 355         semantics.
 356
 357
 358 \f
 359 Copyright (C) 2010 Free Software Foundation, Inc.
 360
 361 Copying and distribution of this file, with or without modification,
 362 are permitted in any medium without royalty provided the copyright
 363 notice and this notice are preserved.