OSDN Git Service

* call.c (build_op_delete_call): Tweak error.
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2009-11-10  Jason Merrill  <jason@redhat.com>
2
3         * call.c (build_op_delete_call): Tweak error.
4
5         PR c++/34158
6         PR c++/36406
7         * call.c (non_placement_deallocation_fn_p): Split out...
8         (build_op_delete_call): ...from here.  Use instantiate_type
9         for placement delete.  Simplify logic.
10         * pt.c (primary_template_instantiation_p): Non-static.
11         * cp-tree.h: Declare it.
12
13 2009-11-09  Jason Merrill  <jason@redhat.com>
14
15         PR c++/41972
16         * parser.c (cp_parser_template_argument): Accept SCOPE_REF around
17         VAR_DECL.
18
19         PR c++/41994
20         * pt.c (tsubst_baselink): tsubst the name.
21
22 2009-11-07  Jason Merrill  <jason@redhat.com>
23
24         PR c++/37920
25         * pt.c (tsubst) [TYPEOF_TYPE]: Set cp_unevaluated_operand.
26
27         PR c++/18451
28         PR c++/40738
29         * cp-tree.h (cp_decl_specifier_seq): Add any_type_specifiers_p.
30         * parser.c (cp_parser_single_declaration): Call
31         cp_parser_parse_and_diagnose_invalid_type_name here, too.
32         (cp_parser_parameter_declaration): And here.
33         (cp_parser_parse_and_diagnose_invalid_type_name): Be
34         less picky about declarator form.  Don't skip to
35         the end of the block if we're in a declarator.
36         (cp_parser_decl_specifier_seq): Set any_type_specifiers_p.
37         (cp_parser_simple_declaration): Check it.
38         (cp_parser_member_declaration): Likewise.
39         (cp_parser_diagnose_invalid_type_name): Tweak error message.
40         (cp_parser_expression_statement): Likewise.
41         * decl2.c (grokfield): Mention decltype instead of typeof.
42
43 2009-11-06  Jason Merrill  <jason@redhat.com>
44
45         PR c++/15946
46         * parser.c (cp_parser_check_template_parameters): Don't talk about
47         specialization at function scope.
48         (cp_parser_diagnose_invalid_type_name): Handle dependent scope.
49         (cp_parser_parse_and_diagnose_invalid_type_name): Likewise.
50         (cp_parser_expression_statement): Suggest typename.
51         * error.c (dump_decl) [SCOPE_REF]: Print the type here.
52         (dump_expr) [SCOPE_REF]: Call it.
53         (dump_type) [UNBOUND_CLASS_TEMPLATE]: Check TFF_UNQUALIFIED_NAME.
54         * cxx-pretty-print.c (pp_cxx_unqualified_id): Print class template
55         args.
56
57         PR c++/9381
58         * decl2.c (build_memfn_type): Preserve attributes.
59         (cp_reconstruct_complex_type): Likewise.
60         (maybe_retrofit_in_chrg): Likewise.
61         * class.c (adjust_clone_args): Likewise.
62         * call.c (standard_conversion): Use build_memfn_type.
63         * pt.c (tsubst): Likewise.
64         * decl.c (build_ptrmem_type): Likewise
65         (check_function_type): Preserve attributes.
66         * tree.c (cp_build_type_attribute_variant): Propagate exception
67         specs on METHOD_TYPE, too.
68         (strip_typedefs): Preserve exception specs and attributes.
69
70 2009-11-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
71
72         PR c++/41536
73         * optimize.c (maybe_clone_body): Copy DECL_ATTRIBUTES and
74         DECL_DISREGARD_INLINE_LIMITS also.
75
76 2009-11-06  Jakub Jelinek  <jakub@redhat.com>
77
78         PR c++/41967
79         * parser.c (cp_parser_omp_for_loop): After diagnosing not perfectly
80         nested loop and parsing statements, don't cp_parser_require }, instead
81         exit the loop if next token is CPP_EOF.
82
83 2009-11-05  Jason Merrill  <jason@redhat.com>
84
85         PR c++/34180
86         * method.c (do_build_copy_constructor): Don't drop cv-quals from
87         the field type.
88
89         PR c++/7046
90         * class.c (finish_struct): Store maximum_field_alignment in
91         TYPE_PRECISION.
92         * pt.c (instantiate_class_template): Set maximum_field_alignment.
93
94         PR c++/34870
95         * name-lookup.c (arg_assoc_class): Call complete_type.
96         * pt.c (instantiate_class_template): Call uses_template_parms
97         instead of dependent_type_p.
98
99         PR c++/41703
100         * pt.c (check_undeduced_parms): New subroutine of...
101         (more_specialized_fn): ...here.  Undeduced template parms can make
102         a template less specialized than another.
103
104 2009-11-04  Jason Merrill  <jason@redhat.com>
105
106         PR c++/39413
107         * search.c (lookup_base): Don't complete_type (base).
108
109         PR c++/35067
110         * method.c (use_thunk): Check DECL_WEAK as well as
111         DECL_ONE_ONLY.
112
113         PR c++/17365, DR 218
114         * name-lookup.c (add_function): Ignore non-functions.
115
116 2009-11-03  Jason Merrill  <jason@redhat.com>
117
118         PR c++/36959
119         * decl2.c (cxx_callgraph_analyze_expr): Don't reference a function
120         just because a static variable in it is needed unless -frepo.
121
122         PR c++/41876
123         * parser.c (cp_parser_type_specifier_seq): Rename is_condition to
124         is_declaration.
125         (cp_parser_exception_declaration): Pass true.
126         (cp_parser_omp_for_loop): Likewise.
127
128         PR c++/41927
129         * typeck.c (build_x_binary_op): Don't do warn_parentheses
130         if we're in a SFINAE context.
131
132         PR c++/41815
133         * call.c (build_call_a): Strip cv-quals from rvalue result.
134
135         PR c++/40944
136         * call.c (initialize_reference): Add complain parm.
137         * typeck.c (convert_for_initialization): Pass it.
138         * decl.c (grok_reference_init): Likewise.
139         * cp-tree.h: Declare it.
140
141         PR c++/40687
142         * pt.c (do_auto_deduction): Diagnose inconsistent deduction.
143
144 2009-11-02  Dodji Seketeli  <dodji@redhat.com>
145
146         PR c++/37093
147         * pt.c (check_valid_ptrmem_cst_expr): New function.
148         (convert_nontype_argument): Use it to output an error for
149         illegal pointer to member expressions used as template arguments.
150
151 2009-11-02  Jason Merrill  <jason@redhat.com>
152
153         Restrict DR 757 change to C++0x mode.
154         * decl2.c (mark_used): Check cxx_dialect.
155         * decl.c (grokfndecl): Do check type linkage in C++98 mode.
156         (grokvardecl): Likewise.
157         * pt.c (check_instantiated_arg): Likewise.
158
159 2009-11-02  Jakub Jelinek  <jakub@redhat.com>
160
161         PR c++/41774
162         * name-lookup.c (handle_namespace_attrs): Pass 1 as last argument to
163         push_visibility.
164         * parser.c (cp_parser_namespace_definition): Pass 1 as argument to
165         pop_visibility.
166         * rtti.c (push_abi_namespace): Pass 2 as last argument to
167         push_visibility.
168         (pop_abi_namespace): Pass 2 as argument to pop_visibility.
169
170 2009-10-31  Jason Merrill  <jason@redhat.com>
171
172         * tree.c (cv_unqualified): New fn.
173         * cp-tree.h: Declare it.
174         * typeck.c (decay_conversion): Use it instead of TYPE_MAIN_VARIANT.
175
176         * rtti.c (tinfo_name): Fix lengths for private case.
177
178 2009-10-31  Jason Merrill  <jason@redhat.com>
179
180         PR c++/41754
181         * call.c (compare_ics): Avoid bad union use when
182         comparing two ck_lists.
183
184 2009-10-30  Jerry Quinn  <jlquinn@optonline.net>
185
186         * mangle.c (mangle_type_string_for_rtti): Reapply 153734.
187         (needs_fake_anon): Likewise.
188         (write_name): Likewise.
189         (write_nested_name): Likewise.
190         * cp-tree.h (mangle_type_string_for_rtti): Likewise.
191         (get_anonymous_namespace): Likewise.
192         * name-lookup.c (get_anonymous_namespace_name): Likewise.
193         * rtti.c (tinfo_name): Likewise, with +1 in the second
194         build_string call fixed.
195         (tinfo_base_init): Likewise.
196
197 2009-10-30  Jason Merrill  <jason@redhat.com>
198
199         Revert:
200         * decl.c (cp_fname_init): Correct build_string argument.
201
202 2009-10-30  Jerry Quinn  <jlquinn@optonline.net>
203
204         * mangle.c (mangle_type_string_for_rtti): Revert 153734.
205         (needs_fake_anon): Likewise.
206         (write_name): Likewise.
207         (write_nested_name): Likewise.
208         * cp-tree.h (mangle_type_string_for_rtti): Likewise.
209         (get_anonymous_namespace): Likewise.
210         * name-lookup.c (get_anonymous_namespace_name): Likewise.
211         * rtti.c (tinfo_name): Likewise.
212         (tinfo_base_init): Likewise.
213
214 2009-10-30  Dodji Seketeli  <dodji@redhat.com>
215
216         PR c++/41863
217         * pt.c (iterative_hash_template_arg): articifial parms
218         don't have DECL_PARM_INDEX set. Do not hash it.
219
220 2009-10-28  Jerry Quinn  <jlquinn@optonline.net>
221
222         * mangle.c (mangle_type_string_for_rtti): Revert r149964.
223         (needs_fake_anon): Likewise.
224         (write_name): Likewise.
225         (write_nested_name): Likewise.
226         * cp-tree.h (mangle_type_string_for_rtti): Likewise.
227         (get_anonymous_namespace): Likewise.
228         * name-lookup.c (get_anonymous_namespace_name): Likewise.
229         * rtti.c (tinfo_name): Insert '*' in front of private names.
230         (tinfo_base_init): Use it.
231
232 2009-10-28  Jason Merrill  <jason@redhat.com>
233
234         Core issue 812, 861
235         * name-lookup.c (set_decl_namespace): Deal properly with inline
236         namespaces.
237         (qualified_lookup_using_namespace): Overhaul.
238         * pt.c (print_candidates): Handle getting an OVERLOAD.
239
240 2009-10-28  Jason Merrill  <jason@redhat.com>
241
242         * decl.c (cp_fname_init): Correct build_string argument.
243
244 2009-10-27  Jason Merrill  <jason@redhat.com>
245
246         Allow no-capture lambdas to convert to function pointer.
247         * semantics.c (maybe_add_lambda_conv_op): New.
248         * parser.c (cp_parser_lambda_expression): Call it.
249         (cp_parser_lambda_declarator_opt): Make op() static if
250         no captures.
251         * mangle.c (write_closure_type_name): Adjust.
252         * semantics.c (finish_this_expr): Adjust.
253         * decl.c (grok_op_properties): Allow it.
254         * call.c (build_user_type_conversion_1): Handle static conversion op.
255         (build_op_call): And op().
256
257 2009-10-26  Jakub Jelinek  <jakub@redhat.com>
258
259         PR debug/41828
260         * cp-lang.c (cxx_dwarf_name): Return NULL instead of
261         <anonymous ...> for anonymous aggregate names.
262
263 2009-10-26  Jason Merrill  <jason@redhat.com>
264
265         PR c++/38796, Core issue 906
266         * cp-tree.h (DECL_DEFAULTED_OUTSIDE_CLASS_P): New.
267         (DECL_DEFAULTED_IN_CLASS_P): New.
268         * class.c (user_provided_p): Non-static.
269         (check_methods): Use it.
270         (check_bases_and_members): Check defaulted fns.
271         (defaultable_fn_p): Move and rename to...
272         * method.c (defaultable_fn_check): ...this.
273         (defaulted_late_check): New.
274         * pt.c (tsubst_decl): Call it.
275         * decl2.c (grokfield): Adjust.
276         * decl.c (cp_finish_decl): Adjust.
277         (grok_special_member_properties): Use user_provided_p.
278
279 2009-10-26  Dodji Seketeli  <dodji@redhat.com>
280
281         PR c++/41785
282         * pt.c (template_args_equal): Handle comparison of
283         an ARGUMENT_PACK_SELECT node with the arguments node it selects into.
284         * cp-tree.def: Fix a typo in the description of TYPE_PACK_EXPANSION.
285
286 2009-10-26  Dodji Seketeli  <dodji@redhat.com>
287
288         PR c++/41020
289         * decl.c (decls_match): Use DECL_IS_BUILTIN instead of
290         DECL_BUILT_IN.
291
292 2009-10-23  Dodji Seketeli  <dodji@redhat.com>
293
294         PR c++/40808
295         * mangle.c (write_template_args): Allow mangling of empty template
296         argument list. Updated function comments.
297
298 2009-10-23  Jason Merrill  <jason@redhat.com>
299
300         * semantics.c (lambda_expr_this_capture): Use thisify_lambda_field.
301
302         * semantics.c (outer_lambda_capture_p): New fn.
303         (thisify_lambda_field): Factor out...
304         (add_default_capture): ...from here.
305         (finish_id_expression): Use them.
306
307         Core issue 899
308         * call.c (add_function_candidate): Only permit explicit conversion
309         ops if copy ctor was called with a single argument.
310
311         * call.c (initialize_reference): Tweak error message.
312
313 2009-10-21  Jakub Jelinek  <jakub@redhat.com>
314
315         * mangle.c (finish_mangling_get_identifier): Use
316         obstack_base (mangle_obstack) instead of name_base.
317
318 2009-10-19  Jakub Jelinek  <jakub@redhat.com>
319
320         * parser.c (cp_lexer_print_token, cp_parser_is_string_literal,
321         cp_parser_string_literal, cp_parser_primary_expression): Likewise.
322         (cp_lexer_get_preprocessor_token): Use C_LEX_STRING_JOIN instead
323         of C_LEX_RAW_STRINGS.
324
325 2009-10-15  Jason Merrill  <jason@redhat.com>
326
327         PR c++/38888
328         * error.c (dump_template_bindings): Wrap argument packs in {}.
329
330         PR c++/38798
331         * parser.c (CP_PARSER_FLAGS_NO_TYPE_DEFINITIONS): New.
332         (cp_parser_type_specifier): Don't try to parse a class-specifier
333         or enum-specifier in that case.
334         (cp_parser_trailing_type_id): New.
335         (cp_parser_late_return_type_opt): Call it.
336         (cp_parser_type_id_1): Add is_trailing_return parm.
337         (cp_parser_type_specifier_seq): Likewise.
338
339 2009-10-14  Jason Merrill  <jason@redhat.com>
340
341         PR c++/39866
342         * call.c (print_z_candidates): Don't print deleted candidates.
343         (print_z_candidate): Note deleted candidates.
344
345 2009-10-14  Larry Evans  <cppljevans@suddenlink.net>
346
347         PR c++/40092
348         * tree.c (cp_tree_equal): Add test for TEMPLATE_PARM_PARAMETER_PACK
349         equality.
350
351 2009-10-12  Jason Merrill  <jason@redhat.com>
352
353         PR c++/37875
354         * parser.c (cp_parser_decltype): Set greater_than_is_operator_p.
355
356         PR c++/37766
357         * pt.c (type_unification_real): Call convert_template_argument
358         for function default template arguments.
359         (check_default_tmpl_args): Suggest -std=c++0x when function default
360         template args seen in C++98 mode.
361
362 2009-10-11  Jason Merrill  <jason@redhat.com>
363
364         PR c++/37204
365         * typeck.c (build_reinterpret_cast_1): Handle rvalue refs
366         properly.
367
368 2009-10-11  Richard Guenther  <rguenther@suse.de>
369
370         * tree.c (cp_free_lang_data): Drop anonymous aggregate names.
371
372 2009-10-08  Jason Merrill  <jason@redhat.com>
373
374         PR c++/36816
375         * pt.c (maybe_adjust_types_for_deduction): Do rvalue ref adjustment
376         even when DEDUCE_EXACT.
377
378         PR c++/37177
379         * pt.c (resolve_nondeduced_context): New.
380         * cvt.c (convert_to_void): Call it.
381         * semantics.c (finish_decltype_type): Likewise.
382         * typeck.c (decay_conversion): Here too.
383         * pt.c (tsubst_decl): Don't clobber input_location.
384         Don't register a bad specialization.
385
386 2009-10-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>
387
388         * cp-tree.h: Fix location of documentation for DECL_LANG_FLAG_7.
389
390 2009-10-07  Jason Merrill  <jason@redhat.com>
391
392         PR c++/39863
393         * pt.c (tsubst_pack_expansion): Don't do anything now if we
394         have incomplete packs of different lengths.
395
396         PR c++/41038
397         * tree.c (build_qualified_name): Call convert_from_reference.
398
399 2009-10-06  Jason Merrill  <jason@redhat.com>
400
401         Fix lookup of initialized captures in unevaluated context.
402         * cp-tree.h (DECL_NORMAL_CAPTURE_P): New.
403         * name-lookup.c (qualify_lookup): Check it.
404         * parser.c (cp_parser_lambda_introducer): Pass explicit_init_p
405         to add_capture.
406         * semantics.c (add_capture): Set DECL_NORMAL_CAPTURE_P
407         on captures without explicit init.
408         (add_default_capture): Pass explicit_init_p.
409
410         Fix capture by copy of types with explicit copy constructor.
411         * cp-tree.h (TARGET_EXPR_DIRECT_INIT_P): New.
412         (DIRECT_INIT_EXPR_P): New.
413         * typeck.c (convert_for_initialization): Just return if
414         DIRECT_INIT_EXPR_P.
415         * semantics.c (build_lambda_object): Use
416         TARGET_EXPR_DIRECT_INIT_P for normal captures.
417
418 2009-10-05  Jason Merrill  <jason@redhat.com>
419
420         * parser.c: Mark lambda_scope and lambda_count for PCH.
421
422 2009-10-03  Jason Merrill  <jason@redhat.com>
423
424         PR c++/41553
425         * parser.c (cp_parser_lambda_introducer): Avoid infinite loop on
426         parse error.
427
428 2009-10-02  Jason Merrill  <jason@redhat.com>
429
430         * mangle.c (write_unnamed_type_name): Implement.
431         (local_class_index): Split out from...
432         (discriminator_for_local_entity): ...here.
433         (nested_anon_class_index): New.
434         * cp-tree.h (TYPE_FUNCTION_SCOPE_P): New.
435
436 2009-10-02  Janis Johnson  <janis187@us.ibm.com>
437
438         * call.c (convert_arg_to_ellipsis): Avoid promoting decimal32
439         to double.
440
441 2009-10-01  Jason Merrill  <jason@redhat.com>
442
443         * parser.c (cp_parser_lambda_expression): Compute visibility.
444         (no_linkage_lambda_type_p): Remove.
445         * cp-tree.h: Remove declaration.
446         * tree.c (no_linkage_check): Don't call it.  Don't check template
447         args.  Don't check TREE_PUBLIC Types.
448
449 2009-10-01  Gabriel Dos Reis  <gdr@cse.tamu.edu>
450             Jason Merrill <jason@redhat.com>
451
452         * decl.c (grokdeclarator): Set constexprness before announcing
453         friendship.
454
455 2009-10-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>
456
457         * decl.c (record_builtin_java_type): Undo unintended change.
458         (cxx_init_decl_processing): Likewise.
459
460 2009-10-01  Jason Merrill  <jason@redhat.com>
461
462         * pt.c (register_specialization): Push DECL_SOURCE_LOCATION to the
463         clones.
464
465         * decl.c (grok_special_member_properties): Only adjust
466         TYPE_HAS_COMPLEX_* if the function is defaulted in the class body.
467         (cp_finish_decl): Push DECL_DELETED_FN/DECL_DEFAULTED_FN to the
468         clones.
469
470 2009-09-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>
471
472         * decl.c (check_for_uninitialized_const_var): Check constexpr
473         variables too.
474         (grokdeclarator): Handle `constexpr'.
475         (check_tag_decl): Reject `constexpr'.
476         (check_function_type): Check constexpr functions.
477         * cp-tree.h (ds_constexpr): New cp_decl_spec enumerator.
478         (CLASSTYPE_LITERAL_P): New.
479         (lang_type_class::is_literal): New.
480         (lang_type_class::dummy): Adjust width.
481         (literal_type_p): Declare.
482         * parser.c (cp_parser_check_decl_spec): Print it.
483         (cp_parser_decl_specifier_seq): Accept "constexpr".
484         * semantics.c (validate_constexpr_fundecl): Define.
485         (literal_type_p): Define.
486
487 2009-09-30  Jason Merrill  <jason@redhat.com>
488
489         * semantics.c (lambda_expr_this_capture): Fix default capture
490         of explicit capture of 'this'.
491
492 2009-09-30  Jason Merrill  <jason@redhat.com>
493
494         * parser.c (cp_parser_lambda_expression): Don't add __ to __this.
495
496 2009-09-30  Jason Merrill  <jason@redhat.com>
497
498         * cp-tree.h (LANG_DECL_U2_CHECK): Check LANG_DECL_HAS_MIN.
499
500 2009-09-29  John Freeman  <jfreeman08@gmail.com>
501             Jason Merrill  <jason@redhat.com>
502
503         Add support for lambda-expressions as per N2927.
504         * cp-tree.def (VEC_INIT_EXPR, LAMBDA_EXPR): New.
505         * cp-tree.h (LAMBDA_TYPE_P, LAMBDA_FUNCTION_P): New.
506         (LAMBDA_EXPR_DEFAULT_CAPTURE_MODE): New.
507         (LAMBDA_EXPR_DEFAULT_CAPTURE_LIST): New.
508         (LAMBDA_EXPR_THIS_CAPTURE, LAMBDA_EXPR_CAPTURES_THIS_P): New.
509         (LAMBDA_EXPR_MUTABLE_P, LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P): New.
510         (LAMBDA_EXPR_RETURN_TYPE, LAMBDA_EXPR_LOCATION): New.
511         (LAMBDA_EXPR_EXTRA_SCOPE, LAMBDA_EXPR_DISCRIMINATOR): New.
512         (struct tree_lambda_expr): New.
513         (union lang_tree_node): Add lambda_expression.
514         (struct lang_type_class): Add lazy_move_ctor flag, lambda_expr field.
515         (CLASSTYPE_LAZY_MOVE_CTOR, CLASSTYPE_LAMBDA_EXPR): New.
516         (LAMBDA_TYPE_EXTRA_SCOPE, VEC_INIT_EXPR_SLOT): New.
517         (VEC_INIT_EXPR_INIT, DECLTYPE_FOR_LAMBDA_CAPTURE): New.
518         (DECLTYPE_FOR_LAMBDA_RETURN): New.
519         (enum special_function_kind): Add sfk_move_constructor.
520         (LAMBDANAME_PREFIX, LAMBDANAME_FORMAT, LAMBDANAME_P): New.
521         * parser.c (cp_parser_lambda_expression, cp_parser_lambda_introducer)
522         (cp_parser_lambda_declarator_opt, cp_parser_lambda_body): New.
523         (start_lambda_scope, record_lambda_scope, finish_lambda_scope): New.
524         (no_linkage_lambda_type_p): New.
525         (cp_parser_primary_expression): Recognize lambda expression.
526         (cp_parser_init_declarator): Note lambda scope.
527         (cp_parser_function_definition_after_declarator): Likewise.
528         (cp_parser_late_parsing_default_args): Likewise.
529         (cp_parser_skip_to_closing_parenthesis): Skip to end of lambda capture
530         lists, too.
531         (cp_parser_parameter_declaration): Don't defer lambda default args.
532         * semantics.c (finish_non_static_data_member, finish_id_expression):
533         Handle default capture for lambda expressions.
534         (finish_this_expr): Handle 'this' keyword inside of lambda expressions.
535         (outer_automatic_var_p): New.
536         (finish_decltype_type): Handle decltypes within lambda expressions.
537         (classtype_has_nothrow_assign_or_copy_p): Synthesized move constructor.
538         (build_lambda_expr, build_lambda_object, begin_lambda_type)
539         (lambda_return_type, lambda_capture_field_type, apply_lambda_return_type)
540         (capture_decltype, add_capture, add_default_capture)
541         (lambda_expr_this_capture): New.
542         * mangle.c (write_unnamed_type_name): New. Incomplete.
543         (write_closure_type_name): New.
544         (write_unqualified_name): Recognize unnamed, closure types.
545         (write_type): Do not write decltypes from lambda expressions.
546         (decl_mangling_context): New.
547         (write_name): Use it.  Handle PARM_DECL scope.
548         (write_prefix): Likewise.  Handle VAR_DECL/FIELD_DECL scope.
549         (write_compact_number): Factor out from...
550         (write_expression, write_template_param): ...here.
551         (discriminator_for_local_entity): Recognize lambdas.
552         (write_local_name): Handle PARM_DECL scope.
553         * typeck.c (structural_comptypes): Compare decltypes from lambda
554         expressions.
555         (check_return_expr): Deduce lambda return type from multiple return
556         statements.
557         * class.c (add_implicitly_declared_members): Add lazy move constructor
558         for lambda types.
559         (check_bases_and_members): Delete default constructor and assignment
560         operator for lambda types.
561         (maybe_note_name_used_in_class): Do not confuse lambda expression with
562         defining a class.
563         * decl.c (reshape_init_r): Array copy.
564         (grokfndecl): Synthesized move constructor.
565         (cp_tree_node_structure): Lambda expression.
566         * method.c (use_thunk): Synthesized move constructor.
567         (do_build_copy_constructor): Likewise.
568         (locate_copy): Likewise.
569         (implicitly_declare_fn): Likewise.
570         * cp-objcp-common.c (cp_tree_size): Handle LAMBDA_EXPR.
571         * error.c (dump_aggr_type): Recognize lambda type.
572         (dump_function_decl): Recognize lambda function.
573         (function_category): Likewise.
574         (dump_function_name): Hide lambda name.
575         * tree.c (build_array_copy, move): New.
576         (special_function_p): Synthesized move constructor.
577         (no_linkage_check): Handle lambdas.
578         * search.c (lookup_fnfields_1): Synthesized move constructor.
579         * cp-gimplify.c (cp_gimplify_init_expr, cp_gimplify_expr):
580         Handle VEC_INIT_EXPR.
581         * typeck2.c (digest_init_r): Array copy.
582         * pt.c (get_template_info): Don't touch typedefs.
583         (instantiate_decl): Don't resubstitute artificial decls.
584         (tsubst_decl, tsubst, tsubst_copy_and_build): Handle lambdas.
585         (lookup_template_class): Don't fall back on name lookup.
586         * name-lookup.c (make_lambda_name): New.
587         (pushdecl_class_level): Handle default capture for lambda expressions.
588         (qualify_lookup): Handle decltypes within lambda expressions.
589         (pushtag): Handle ts_within_enclosing_non_class in function scope.
590
591 2009-09-28  Janis Johnson  <janis187@us.ibm.com>
592
593         * mangle.c (write_builtin_type): Support decimal float types.
594
595 2009-09-28  Richard Henderson  <rth@redhat.com>
596
597         * cp-objcp-common.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New.
598
599 2009-09-24  Jakub Jelinek  <jakub@redhat.com>
600
601         * method.c (make_thunk, make_alias_for): Don't set
602         DECL_NO_STATIC_CHAIN.
603         * decl.c (builtin_function_1, grokfndecl): Likewise.
604         * lex.c (build_lang_decl): Likewise.
605
606 2009-09-23  Dodji Seketeli  <dodji@redhat.com>
607
608         PR debug/41065
609         * decl.c (cp_finish_decl): Record the types used by the global
610         variable declaration we've just parsed.
611
612 2009-09-22  Dodji Seketeli  <dodji@redhat.com>
613
614         * cp-lang.c (LANG_HOOKS_FUNCTION_PARAMETER_PACK_P,
615         LANG_HOOKS_FUNCTION_PARM_EXPANDED_FROM_PACK_P,
616         LANG_HOOKS_GET_GENERIC_FUNCTION_DECL): Initialize these
617         hooks for the c++ FE.
618         * cp-tree.h (function_parameter_pack_p, get_function_template_decl,
619         function_parameter_expanded_from_pack_p): Declare ...
620         * pt.c (function_parameter_pack_p, get_function_template_decl,
621         function_parameter_expanded_from_pack_p): ... new hooks.
622         (get_template_info): Make this more robust.
623         (template_args_variadic_p, make_ith_pack_parameter_name): Add a new
624         line between comment and function.
625         (get_template_argument_pack_elems): Fix comment.
626         (tsubst_decl): Arguments of function parameter packs are not
627         parameter packs themselves.
628
629 2009-09-21  Jason Merrill  <jason@redhat.com>
630
631         PR c++/41421
632         * tree.c (trivial_type_p): Fix logic.
633
634 2009-09-21  Jason Merrill  <jason@redhat.com>
635
636         * name-lookup.c (push_class_level_binding): Sanity check.
637
638 2009-09-18  Jason Merrill  <jason@redhat.com>
639
640         * decl2.c (determine_visibility): Make anonymous types internal.
641         (mark_used): Complain about types without linkage used in
642         decls with internal linkage.
643         (vague_linkage_fn_p): Split out from...
644         * decl.c (maybe_commonize_var): ...here.
645         (grokdeclarator): Adjust linkage when a typedef gives linkage name.
646         * tree.c (no_linkage_check): Check the enclosing class and template
647         arguments.
648
649         * cp-tree.h (TYPE_NAMESPACE_SCOPE_P): New.
650
651         * pt.c (get_pattern_parm): New.
652         (listify): Split out from...
653         (listify_autos): ...here.
654         (unify): Deduce std::initializer_list for T.
655         * call.c (build_over_call): Warn about it.
656
657 2009-09-17  Andrew Pinski  <pinskia@gcc.gnu.org>
658
659         PR c++/39365
660         * typeck.c (cp_build_unary_op): Check TREE_CODE for bools instead of
661         using same_type_p.
662         (convert_for_assignment): Likewise.
663         * cvt.c (type_promotes_to): Likewise.
664
665 2009-09-14  Richard Henderson  <rth@redhat.com>
666             Jakub Jelinek  <jakub@redhat.com>
667
668         * cp-tree.h (finish_asm_stmt): Update decl.
669         * parser.c (cp_parser_asm_definition): Parse asm goto.
670         (cp_parser_asm_label_list): New.
671         * pt.c (tsubst_copy_asm_operands): Don't recurse on labels.
672         (tsubst_expr): Handle asm labels.
673         * semantics.c (finish_asm_stmt): Add and use labels parameter.
674
675 2009-09-14  Richard Henderson  <rth@redhat.com>
676
677         * except.c (init_exception_processing): Don't call
678         default_init_unwind_resume_libfunc.
679         (cp_protect_cleanup_actions): Return the decl to call.
680         (build_exc_ptr): Use __builtin_eh_pointer.
681         * optimize.c (clone_body): Set eh_lp_nr, not eh_region.
682
683 2009-09-13  Richard Guenther  <rguenther@suse.de>
684         Rafael Avila de Espindola  <espindola@google.com>
685
686         * except.c (init_exception_processing): Do not set
687         lang_eh_runtime_type.
688         (choose_personality_routine): Do not set eh_personality_decl,
689         set pragma_java_exceptions.
690         * cp-lang.c (LANG_HOOKS_EH_RUNTIME_TYPE): Define.
691         (LANG_HOOKS_EH_PERSONALITY): Likewise.
692         (cp_eh_personality_decl): New.
693         (cp_eh_personality): Likewise.
694         * Make-lang.in (cp-lang.o): Add $(EXPR_H) and $(EXCEPT_H)
695         dependencies.
696
697 2009-09-13  Wei Guozhi  <carrot@google.com>
698
699         PR c++/3187
700         * cp/optimize.c (build_delete_destructor_body): New function.
701         (maybe_clone_body): Call build_delete_destructor_body for
702         deleting destructor.
703
704 2009-09-10  Jason Merrill  <jason@redhat.com>
705
706         * repo.c (extract_string, get_base_filename, init_repo): constify.
707
708 2009-09-09  Jason Merrill  <jason@redhat.com>
709
710         * error.c (find_typenames_r): Also add decltypes.
711
712 2009-09-09  Paolo Carlini  <paolo.carlini@oracle.com>
713
714         PR c++/28293
715         * decl2.c (grokfield): Check for explicit template argument lists.
716
717 2009-09-09  Jack Howarth  <howarth@bromo.med.uc.edu>
718
719         PR bootstrap/41180
720         * Make-lang.in: Remove redundant code from linkage for darwin10.
721
722 2009-09-08  Paolo Carlini  <paolo.carlini@oracle.com>
723
724         PR c++/39923
725         * decl.c (build_init_list_var_init): Check return value of
726         perform_implicit_conversion.
727
728 2009-09-08  Jason Merrill  <jason@redhat.com>
729
730         * class.c (currently_open_class): Make sure we're dealing with the
731         main variant.
732
733         * cp-tree.h (enum overload_flags): Remove OP_FLAG.
734         * method.c (lazily_declare_fn): Check for dtorness in ABI warning.
735
736         * name-lookup.c (is_class_level): Remove.
737         (push_binding_level, leave_scope, resume_scope): Adjust.
738         (pushlevel_class): Adjust.
739         (poplevel_class): Make sure we're on class_binding_level.
740
741         * decl.c (grokmethod): Rename from start_method.
742         (finish_method): Remove.
743         * cp-tree.h: Adjust.
744         * parser.c (cp_parser_save_member_function_body): Adjust.
745
746 2009-09-03  Doug Kwan  <dougkwan@google.com>
747
748         * tree.c (cp_fix_function_decl_p): New.
749         (cp_free_lang_data): New.
750
751 2009-09-03  Diego Novillo  <dnovillo@google.com>
752
753         * Make-lang.in (decl2.o): Add dependency on $(POINTER_SET_H).
754         * decl2.c: Include pointer-set.h.
755         (collect_candidates_for_java_method_aliases): New.
756         (cp_write_global_declarations): Call it.
757         Add local variable CANDIDATES.  If set, call
758         build_java_method_aliases.
759         (build_java_method_aliases): Add argument CANDIDATES.
760         Use it to determine if FNDECL should get a hidden alias.
761         * cp-objcp-common.h (LANG_HOOKS_FREE_LANG_DATA): Define.
762         * cp-tree.h (cp_free_lang_data): Declare.
763
764 2009-09-03  Richard Guenther  <rguenther@suse.de>
765
766         * method.c (use_thunk): Use cgraph_finalize_function to hand
767         off thunks to the cgraph.
768         * semantics.c (emit_associated_thunks): Do not emit thunks
769         for really extern functions.
770
771 2009-09-03  Diego Novillo  <dnovillo@google.com>
772
773         * cp-lang.c (lang_hooks): Remove const qualifier.
774
775 2009-09-02  Jason Merrill  <jason@redhat.com>
776
777         * semantics.c (describable_type): Don't pretend to be in a template.
778
779         * ptree.c (cxx_print_type) [DECLTYPE_TYPE]: Print the expression.
780
781 2009-09-01  Alexandre Oliva  <aoliva@redhat.com>
782
783         * cp-tree.h (TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS): New.
784         * cp-lang.c (cxx_dwarf_name): Pass it.
785         * error.c (count_non_default_template_args): Take flags as
786         argument.  Adjust all callers.  Skip counting of default
787         arguments if the new flag is given.
788
789 2009-09-01  Dodji Seketeli  <dodji@redhat.com>
790
791         PR bootstrap/41205
792         * pt.c (make_ith_pack_parameter_name): Don't use strnlen that is a
793         GNU extension.
794
795 2009-09-01  Richard Guenther  <rguenther@suse.de>
796
797         * cp-objcp-common.c (cp_expr_size): Use tree_expr_size.
798         * cp-objcp-common.h (LANG_HOOKS_EXPR_SIZE): Do not define.
799
800 2009-09-01  Richard Guenther  <rguenther@suse.de>
801
802         * cp-objcp-common.h (LANG_HOOKS_MARK_ADDRESSABLE): Remove.
803
804 2009-08-31  Dodji Seketeli  <dodji@redhat.com>
805
806         PR debug/30161
807         * cp-tree.h (get_template_info): Parameter should be const.
808         (CLASSTYPE_SPECIALIZATION_OF_PRIMARY_TEMPLATE_P): Fix typo.
809         (get_template_argument_pack_elems,
810         get_primary_template_innermost_parameters,
811         get_template_innermost_arguments, template_template_parameter_p):
812         Declare ...
813         * pt.c (get_template_argument_pack_elems,
814         get_template_innermost_parameters, get_template_innermost_arguments,
815         template_template_parameter_p):
816         ... New C++ front end implementation of new language hooks.
817         (primary_template_instantiation_p): New private helper.
818         (make_ith_pack_parameter_name): Use snprintf and strnlen instead of
819         printf and strlen.
820         (get_template_info): Const-ify parameter.
821         * cp-lang.c (LANG_HOOKS_GET_INNERMOST_GENERIC_PARMS,
822         LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS,
823         LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS,
824         LANG_HOOKS_GENERIC_TYPE_PARAMETER_DECL_P): Initialize these
825         interfaces for the C++ front-end.
826
827 2009-08-31  Jason Merrill  <jason@redhat.com>
828
829         PR c++/41127
830         * parser.c (cp_parser_enum_specifier): Make sure the : is followed by a
831         type-specifier-seq before we commit.
832
833 2009-08-28  Richard Guenther  <rguenther@suse.de>
834
835         PR lto/41058
836         * cp-gimplify.c (cp_genericize_r): Do not leak zero-sized stores
837         into the generic IL.
838
839 2009-08-27  Richard Guenther  <rguenther@suse.de>
840
841         * class.c (build_vtbl_ref_1): Remove excess vertical space.
842         * Make-lang.in (CXX_TREE_H): Remove c-common.def dependency
843         tracked by $(TREE_H).
844         * semantics.c (expand_or_defer_fn): Zero DECL_SAVED_TREE.
845
846 2009-08-26  Jason Merrill  <jason@redhat.com>
847
848         * call.c (build_builtin_candidate): Don't set LOOKUP_ONLYCONVERTING
849         if we're contextually converting to bool.
850         (build_conditional_expr): Likewise.
851         * typeck.c (condition_conversion): Likewise.
852
853         * call.c (build_conditional_expr): Fix logic errors.
854         (build_new_op): Remove dead COND_EXPR handling.
855
856 2009-08-24  Jason Merrill  <jason@redhat.com>
857
858         * cp-tree.h (DECL_DEFERRED_FN): Remove.
859         (struct lang_decl_fn): Remove deferred flag.
860         * class.c (build_clone): Don't set it.
861         * decl2.c (note_vague_linkage_fn): Don't check or set it.
862         (mark_used): Don't check it.
863         * method.c (make_thunk, make_alias_for): Don't set it.
864
865         * decl2.c (mark_used): Streamline logic.
866
867         PR c++/41109
868         PR c++/41110
869         PR c++/41134
870         * cp-tree.h (DECL_ODR_USED): New macro.
871         (struct lang_decl_base): Add odr_used flag.
872         * decl.c (duplicate_decls): Propagate it.  Use it for error.
873         * pt.c (register_specialization): Use it for error.
874         * decl2.c (mark_used): Use it as gating flag rather than TREE_USED.
875         (cp_write_global_declarations): Use it for error.
876         (tree_used_ok): Remove.
877         * cp-tree.h: Remove tree_used_ok.
878         * call.c (build_call_a): Don't call it.
879         * init.c (build_offset_ref): Likewise.
880
881 2009-08-21  Jakub Jelinek  <jakub@redhat.com>
882
883         PR c++/41131
884         * tree.c (lvalue_p_1) <case CONST_DECL>: Return clk_none if
885         not TREE_STATIC.
886
887 2009-08-19  Jason Merrill  <jason@redhat.com>
888
889         PR c++/41119
890         PR c++/41120
891         * decl2.c (mark_used): Increment function_depth during synthesis.
892         * parser.c (cp_parser_default_argument): Not here.
893
894 2009-08-19  Jakub Jelinek  <jakub@redhat.com>
895
896         * method.c (use_thunk): Call free_after_compilation after
897         assemble_end_function.
898
899 2009-08-17  Richard Guenther  <rguenther@suse.de>
900
901         * decl.c (build_ptrmemfunc_type): Keep variant chain intact.
902         Avoid useless copy.
903         (finish_enum): Keep variant chain intact.
904         * tree.c (cp_build_reference_type): Likewise.
905
906 2009-08-16  Jason Merrill  <jason@redhat.com>
907
908         Make TREE_USED match the [basic.def.odr] concept for FUNCTION_DECL
909         and VAR_DECL, so mark_used only has effect the first time.
910         * decl2.c (mark_used): Just return if TREE_USED is already set.
911         Don't set TREE_USED if cp_unevaluated_operand is set.
912         (tree_used_ok): New fn.
913         * init.c (build_offset_ref): Check it instead of TREE_USED.
914         * call.c (build_call_a): Likewise.
915         * cp-tree.h: Declare it.
916         (DECL_NO_LINKAGE_CHECKED): No longer needed.
917         (struct lang_decl_base): Remove no_linkage_checked bitfield.
918
919         * decl2.c (finish_static_data_member_decl): Don't set TREE_USED.
920
921         * decl2.c (mark_used): It's ok to synthesize for default args now.
922
923 2009-08-10  Jason Merrill  <jason@redhat.com>
924
925         Implement DR 757: It's OK for a decl to use a type without linkage
926         so long as the decl is defined in the current translation unit.
927         * decl2.c (no_linkage_decls): New vector.
928         (mark_used): Add decls that use types with no linkage.
929         (cp_write_global_declarations): Check that they are defined.
930         (decl_defined_p, no_linkage_error): New fns.
931         * cp-tree.h (DECL_NO_LINKAGE_CHECKED): New macro.
932         (struct lang_decl_base): Add flag.
933         * decl.c (grokfndecl): Don't check type linkage.
934         (grokvardecl): If the type has no linkage, just make sure
935         DECL_LANG_SPECIFIC is set.
936         * pt.c (check_instantiated_arg): Don't check type linkage.
937         * name-lookup.c (is_local_extern): New fn.
938         * name-lookup.h: Declare it.
939
940 2009-08-05  Jason Merrill  <jason@redhat.com>
941
942         PR c++/40948
943         * init.c (build_vec_init): Evaluate the initializer before
944         starting the initialization try block.
945
946 2009-08-05  Manuel López-Ibáñez  <manu@gcc.gnu.org>
947
948         PR c++/36069
949         * typeck.c (convert_for_assignment): Do not warn for any boolean
950         variant. Use explicit location.
951
952 2009-08-04  Dodji Seketeli  <dodji@redhat.com>
953
954         PR c++/39987
955         * pt.c (tsubst_default_argument): Let access checks of the
956         default argument happen in the context of the current function.
957
958 2009-08-04  Manuel López-Ibáñez  <manu@gcc.gnu.org>
959
960         PR c++/16696
961         * call.c (build_new_op): Only try prefix operator if -fpermissive,
962         otherwise just error.
963
964 2009-08-04  Dodji Seketeli  <dodji@redhat.com>
965
966         PR debug/39706
967         * error.c (lang_decl_name): Print qualified names for decls
968         in  namespace scope.
969
970 2009-08-03  Jason Merrill  <jason@redhat.com>
971             Jakub Jelinek  <jakub@redhat.com>
972
973         PR c++/40948
974         * init.c (build_vec_init): Look through a TARGET_EXPR around a
975         CONSTRUCTOR.
976
977 2009-07-31  Jason Merrill  <jason@redhat.com>
978             Douglas Gregor  <doug.gregor@gmail.com>
979
980         Remove implicit binding of lvalues to rvalue references (N2831)
981         * call.c (convert_class_to_reference): Binding an lvalue to an
982         rvalue reference is bad.  If the user-defined conversion is bad,
983         set bad_p before merging conversions.
984         (maybe_handle_ref_bind): Don't push down bad_p.
985         (reference_binding): Binding an lvalue to an rvalue reference is bad.
986         (convert_like_real): Give a helpful error about binding lvalue
987         to rvalue reference.
988         (reference_related_p): No longer static.
989         * typeck.c (build_typed_address): New.
990         (build_static_cast_1): Add static_cast from lvalue to &&.
991         * cp-tree.h: Adjust.
992
993 2009-07-31  Jason Merrill  <jason@redhat.com>
994
995         * call.c (reference_binding): Rename lvalue_p to is_lvalue.
996         Do direct binding of "rvalues" in memory to rvalue references.
997         * tree.c (lvalue_p_1): Can't be both non-addressable lvalue and
998         "rvalue" in memory.
999         * typeck.c (build_static_cast_1): Do direct binding of memory
1000         "rvalues" to rvalue references.
1001         * cvt.c (cp_fold_convert): New.
1002         * cp-tree.h: Declare it.
1003
1004 2009-07-31  Jason Merrill  <jason@redhat.com>
1005
1006         * typeck.c (build_address): Do fold away ADDR_EXPR of INDIRECT_REF.
1007         * tree.c (rvalue): Use cp_build_qualified_type, not TYPE_MAIN_VARIANT.
1008
1009 2009-07-29  Jason Merrill  <jason@redhat.com>
1010
1011         PR c++/14912
1012         * cp-tree.h (enum tsubst_flags): Add tf_no_class_instantiations.
1013         * error.c (count_non_default_template_args): Pass it.
1014         * pt.c (tsubst) [TYPENAME_TYPE]: Don't complete type if it's set.
1015
1016 2009-07-29  Richard Guenther  <rguenther@suse.de>
1017
1018         PR c++/40834
1019         * cp-gimplify.c (cp_genericize_r): Properly walk the BIND_EXPR
1020         vars.
1021
1022 2009-07-26  Simon Martin  <simartin@users.sourceforge.net>
1023
1024         PR c++/40749
1025         * decl.c (grokdeclarator): Do not set TREE_NO_WARNING for functions
1026         with a qualified return type.
1027
1028 2009-07-24  Jason Merrill  <jason@redhat.com>
1029
1030         Core issue 901
1031         * call.c (build_op_delete_call): If this is for a new-expression
1032         and the op delete is deleted, do nothing.
1033
1034         Core issue 702
1035         * call.c (compare_ics): Give list-initialization of std::init_list
1036         priority over conversion to scalar, too.
1037
1038 2009-07-22  Jason Merrill  <jason@redhat.com>
1039
1040         * mangle.c (mangle_type_string_for_rtti): Rename to be clearer.
1041         (needs_fake_anon): New.
1042         (write_name): Check it.
1043         (write_nested_name): Add a fake anonymous namespace scope if true.
1044         * name-lookup.c (get_anonymous_namespace_name): No longer static.
1045         * rtti.c, cp-tree.h: Adjust.
1046
1047 2009-07-22  Richard Guenther  <rguenther@suse.de>
1048
1049         PR c++/40799
1050         * cp-gimplify.c (cp_gimplify_expr): Move handling of using
1051         related exprs to ...
1052         (cp_genericize_r): ... genericization stage.
1053         (cp_genericize): Adjust.
1054
1055 2009-07-21  Jason Merrill  <jason@redhat.com>
1056
1057         Core issue 934
1058         * call.c (reference_binding): Implement binding to { }.
1059         (initialize_reference): Binding temporary to non-const && is fine.
1060         * decl.c (grok_reference_init): Remove error for CONSTRUCTOR.
1061
1062         * decl.c (reshape_init_r): { T } is not an aggregate initializer
1063         for class T.
1064
1065 2009-07-17  Richard Guenther  <rguenther@suse.de>
1066
1067         PR c/40401
1068         * decl.c (finish_function): Do not emit unused result warnings
1069         from here.
1070         * cp-objcp-common.h (LANG_HOOKS_POST_GIMPLIFY_PASS): Use
1071         c_warn_unused_result_pass.
1072         * semantics.c (expand_or_defer_fn): Adjust assertion about IL status.
1073         * optimize.c (clone_body): Clone in GENERIC.
1074         (maybe_clone_body): Do not clear DECL_SAVED_TREE.
1075         * decl2.c (cp_write_global_declarations): Fix body test.
1076         Do not call cgraph_optimize.
1077         * Make-lang.in (optimize.o): Add tree-iterator.h dependency.
1078         * method.c (use_thunk): Register thunk with
1079         cgraph_finalize_function.
1080         * error.c (function_category): Guard access of DECL_LANG_SPECIFIC.
1081
1082 2009-07-17  Richard Guenther  <rguenther@suse.de>
1083
1084         * init.c (build_vec_delete_1): Do not set DECL_REGISTER on the
1085         temporary pointer.
1086
1087 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
1088             Manuel López-Ibáñez  <manu@gcc.gnu.org>
1089
1090         PR 40435 
1091         * typeck.c, init.c, class.c, method.c, rtti.c, except.c, error.c,
1092         tree.c, cp-gimplify.c, cxx-pretty-print.c, pt.c, semantics.c,
1093         call.c, cvt.c, mangle.c: Add location argument to
1094         fold_{unary,binary,ternary}, fold_build[123], build_call_expr,
1095         build_size_arg, build_fold_addr_expr, build_call_array,
1096         non_lvalue, size_diffop, fold_build1_initializer,
1097         fold_build2_initializer, fold_build3_initializer,
1098         fold_build_call_array, fold_build_call_array_initializer,
1099         fold_single_bit_test, omit_one_operand, omit_two_operands,
1100         invert_truthvalue, fold_truth_not_expr, build_fold_indirect_ref,
1101         fold_indirect_ref, combine_comparisons, fold_builtin_*,
1102         fold_call_expr, build_range_check, maybe_fold_offset_to_address,
1103         round_up, round_down.
1104
1105 2009-07-16  Jason Merrill  <jason@redhat.com>
1106
1107         PR libstdc++/37907
1108         Split POD into "standard-layout" and "trivial" as per N2230,
1109         Support std::is_standard_layout and std::is_trivial traits.
1110         * cp-tree.h (enum cp_trait_kind): Add CPTK_IS_STD_LAYOUT,
1111         CPTK_IS_TRIVIAL.
1112         (struct lang_type_class): Add non_std_layout.
1113         (CLASSTYPE_NON_STD_LAYOUT): New.
1114         * class.c (check_bases): Set it.
1115         (check_field_decls): Likewise.
1116         (check_bases_and_members): Likewise.
1117         * parser.c (cp_parser_primary_expression): Handle RID_IS_STD_LAYOUT,
1118         RID_IS_TRIVIAL.
1119         (cp_parser_trait_expr): Likewise.
1120         * semantics.c (trait_expr_value): Handle CPTK_IS_STD_LAYOUT,
1121         CPTK_IS_TRIVIAL.
1122         (finish_trait_expr): Likewise.
1123         * tree.c (scalarish_type_p, trivial_type_p, std_layout_type_p): New.
1124         (pod_type_p): Use them.
1125         (type_has_nontrivial_copy_init, type_has_nontrivial_default_init): New.
1126
1127         Adjust bits of the language that no longer refer to POD types.
1128         * call.c (convert_arg_to_ellipsis): Use type_has_nontrivial_copy_init
1129         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
1130         (build_x_va_arg): Likewise.
1131         (call_builtin_trap): Remove.
1132         * decl.c (declare_local_label): Use type_has_nontrivial_default_init
1133         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
1134         (cp_finish_decl): Likewise.
1135         (check_previous_goto_1, check_goto): Adjust error.
1136         * typeck.c (build_class_member_access_expr): Check
1137         CLASSTYPE_NON_STD_LAYOUT rather than CLASSTYPE_NON_POD_P.
1138
1139 2009-07-14  Taras Glek  <tglek@mozilla.com>
1140             Rafael Espindola  <espindola@google.com>
1141
1142         * Make-lang.in: Added CP_PLUGIN_HEADERS and
1143         c.install-target to export cp-tree.h cxx-pretty-print.h
1144         name-lookup.h headers for plugins.
1145
1146 2009-07-14  Jason Merrill  <jason@redhat.com>
1147
1148         PR c++/37276
1149         * decl.c (decls_match): A non-extern-C declaration doesn't match
1150         a builtin extern-C declaration.
1151
1152         PR c++/40746
1153         * name-lookup.c (qualified_lookup_using_namespace): Don't stop
1154         looking in used namespaces just because we found something on
1155         another branch.
1156
1157         PR c++/40740
1158         * semantics.c (perform_koenig_lookup): Handle empty template args.
1159
1160         * call.c (build_over_call): Use can_trust_pointer_alignment.
1161
1162 2009-07-14  Dodji Seketeli  <dodji@redhat.com>
1163
1164         PR debug/40705
1165         PR c++/403057
1166         * decl2.c (grokfield): Don't call set_underlying_type on typedef
1167         decls that are type names.
1168
1169 2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1170
1171         PR C++/22154
1172         * parser.c (cp_parser_elaborated_type_specifier): Accept typename in
1173         front of qualified names.
1174
1175 2009-07-12  Jason Merrill  <jason@redhat.com>
1176
1177         PR c++/36628
1178         * tree.c (rvalue): Use lvalue_or_rvalue_with_address_p.
1179
1180         PR c++/37206
1181         * cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.
1182         * tree.c (lvalue_p_1): Return it.  Remove
1183         treat_class_rvalues_as_lvalues parm.
1184         (real_lvalue_p): Disallow pseudo-lvalues here.
1185         (lvalue_or_rvalue_with_address_p): New fn.
1186         * call.c (initialize_reference): Use it instead of real_lvalue_p.
1187
1188         PR c++/40689
1189         * init.c (build_new_1): Handle initializer list as array initializer.
1190         (build_vec_init): Likewise.
1191         * typeck.c (cp_build_modify_expr): Likewise.
1192         * typeck2.c (process_init_constructor_array): Error rather than abort
1193         if too many initializers.
1194
1195 2009-07-10  Jakub Jelinek  <jakub@redhat.com>
1196
1197         PR c++/40502
1198         * error.c (cp_print_error_function): Check for NULL block.
1199
1200 2008-07-09  Simon Martin  <simartin@users.sourceforge.net>
1201             Jason Merrill  <jason@redhat.com>
1202
1203         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
1204         append_type_to_template_for_access_check_1): Use CLASS_TYPE_P.
1205
1206 2009-07-09  Dodji Seketeli  <dodji@redhat.com>
1207
1208         PR c++/40684
1209         * pt.c (type_unification_real): Use tsubst_template_arg instead
1210         of tsubst to substitute default template arguments.
1211
1212 2009-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1213
1214         PR c++/31246
1215         * init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated
1216         code.
1217         * cp-gimplify.c (genericize_eh_spec_block): Likewise.
1218         
1219
1220 2009-07-07  Jason Merrill  <jason@redhat.com>
1221
1222         PR c++/35828
1223         * pt.c (tsubst_decl): Don't abort if we didn't change anything
1224         in a TEMPLATE_DECL's args.
1225
1226 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1227
1228         * semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by
1229         EXPR_LOCATION.
1230         
1231 2009-07-07  Jason Merrill  <jason@redhat.com>
1232
1233         PR c++/37816
1234         * decl.c (build_enumerator): Don't add enumerators for a
1235         scoped enum to the enclosing class.
1236
1237         PR c++/40639
1238         * decl.c (start_enum): Allow dependent underlying type.
1239
1240         PR c++/40633
1241         * decl.c (finish_enum): Finish scope even in a template.
1242
1243 2009-07-07  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1244
1245         * init.c: Replace %J by an explicit location. Update all calls.
1246         * decl.c: Likewise.
1247         * typeck2.c: Likewise.
1248         * pt.c: Likewise.
1249         * name-lookup.c: Likewise.
1250         
1251 2009-07-06  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1252
1253         * decl.c: Replace %H by an explicit location. Update all calls.
1254         * except.c: Likewise.
1255         * semantics.c: Likewise.
1256         * parser.c: Likewise.
1257
1258 2009-07-06  Simon Martin  <simartin@users.sourceforge.net>
1259
1260         PR c++/40557
1261         * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
1262         append_type_to_template_for_access_check_1): Use
1263         RECORD_OR_UNION_CODE_P.
1264
1265 2009-07-04  Jason Merrill  <jason@redhat.com>
1266
1267         * pt.c (retrieve_specialization): Don't get confused by a
1268         using-declaration that brings in another instance of this template
1269         from a base class.
1270
1271         * ptree.c (cxx_print_type): Fix logic.
1272
1273         * cp-tree.h (LANG_DECL_FN_CHECK): Fix non-checking version.
1274
1275         PR c++/40619
1276         * cp-tree.h (struct lang_decl_parm): New.
1277         (struct lang_decl): Add it.
1278         (LANG_DECL_PARM_CHECK): New.
1279         (DECL_PARM_INDEX): New.
1280         * decl2.c (parm_index): Remove.
1281         * lex.c (retrofit_lang_decl): Handle parms.
1282         (cxx_dup_lang_specific_decl): Likewise.
1283         * mangle.c (write_expression): Adjust.
1284         * tree.c (cp_tree_equal): Adjust.
1285         (decl_linkage): Only check DECL_COMDAT for functions and variables.
1286         * parser.c (cp_parser_parameter_declaration_list): Set
1287         DECL_PARM_INDEX.
1288         * pt.c (iterative_hash_template_arg): Hash it.
1289
1290 2009-07-03  Jason Merrill  <jason@redhat.com>
1291
1292         * cp-tree.h (struct lang_decl): Overhaul.
1293         (struct lang_decl_flags): Remove.
1294         (struct lang_decl_base): New.
1295         (struct lang_decl_min): New.
1296         (struct lang_decl_fn): New.
1297         (struct lang_decl_ns): New.
1298         (CAN_HAVE_FULL_LANG_DECL_P): Replace with LANG_DECL_HAS_MIN.
1299         (LANG_DECL_MIN_CHECK): New.
1300         (LANG_DECL_FN_CHECK): New.
1301         (LANG_DECL_NS_CHECK): New.
1302         (STRIP_TEMPLATE): New.
1303         (NON_THUNK_FUNCTION_CHECK): Remove.
1304         (DECL_DECLARES_FUNCTION_P): New.
1305         (lots): Adjust.
1306         * lex.c (retrofit_lang_decl, cxx_dup_lang_specific_decl): Adjust.
1307         * decl.c (push_local_name, duplicate_decls): Adjust.
1308         * decl2.c (start_objects): Don't set u2sel.
1309         * semantics.c (finish_omp_threadprivate): Adjust.
1310         * class.c (build_clone): Don't do much on TEMPLATE_DECLs.
1311         (decl_cloned_function_p): Out-of-line implementation of macros.
1312         (clone_function_decl, adjust_clone_args): Use DECL_CLONED_FUNCTION_P.
1313         * mangle.c (write_unqualified_name): Don't check function flags
1314         on non-functions.
1315         * method.c (make_alias_for): Don't set DECL_CLONED_FUNCTION.
1316         * pt.c (build_template_decl): Don't set function flags.
1317         (check_default_tmpl_args): Check that it's a function.
1318         (instantiate_template): Use DECL_ABSTRACT_ORIGIN to find the
1319         cloned template.
1320
1321         * pt.c (tsubst_decl) [FUNCTION_DECL]: Don't tsubst
1322         DECL_CLONED_FUNCTION.
1323
1324         * cp-tree.h (struct lang_type_class): Move sorted_fields here.
1325         * class.c (finish_struct_1): Adjust.
1326         * ptree.c (cxx_print_decl, cxx_print_type): Adjust.
1327         * search.c (lookup_field_1): Adjust.
1328
1329         * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Remove.
1330         * decl.c (finish_method): Don't add to it.
1331         * class.c (fixup_pending_inline): Remove.
1332         (fixup_inline_methods): Remove.
1333         (finish_struct_1): Don't call it.
1334
1335         * error.c (dump_function_name): Handle null name.
1336
1337 2009-07-02  Mark Mitchell  <mark@codesourcery.com>
1338
1339         * typeck.c (cp_build_binary_op): Move warnings about use of NULL
1340         in arithmetic earlier and allow comparisions of NULL with
1341         pointers-to-members.
1342
1343 2009-07-02  Jason Merrill  <jason@redhat.com>
1344
1345         Use hash tables for template specialization lookup.
1346         * pt.c (struct spec_entry): New type.
1347         (decl_specializations, type_specializations): New hash tables.
1348         (register_specialization, retrieve_specialization): Use them.
1349         (reregister_specialization, lookup_template_class): Use them.
1350         (eq_specializations, hash_tmpl_and_args, hash_specialization): New.
1351         (iterative_hash_template_arg): New.
1352         (init_template_processing): New
1353         (process_partial_specialization): Don't look to see if we already
1354         have this partial specialization.
1355         (maybe_process_partial_specialization): Handle reassigning
1356         full specializations when we get an explicit specialization
1357         of the partial instantiation.
1358         (tsubst_friend_function): Adjust specialization reassignment code.
1359         (instantiate_template): Only do one lookup.
1360         (instantiate_decl): Don't do any lookup.
1361         * cp-tree.h: Declare init_template_processing.
1362         * decl.c (duplicate_decls): Pass args to reregister_specialization.
1363
1364 2009-07-01  Jason Merrill  <jason@redhat.com>
1365
1366         * cp-tree.h (DECL_CLASS_TEMPLATE_P): Use DECL_IMPLICIT_TYPEDEF_P.
1367
1368         * pt.c (register_specialization): Use duplicate_decls to merge
1369         the argument with a previous specialization.
1370         (check_explicit_specialization): Call register_specialization to
1371         merge the TEMPLATE_DECL with a previous version.
1372         (determine_specialization): Return the args even if fn is a template.
1373
1374 2009-07-01  Ian Lance Taylor  <iant@google.com>
1375
1376         * g++spec.c (lang_specific_driver): Bump num_args by 1.
1377
1378 2009-06-30  Jason Merrill  <jason@redhat.com>
1379
1380         PR c++/40595
1381         * pt.c (tsubst_pack_expansion): Handle unexpanded packs in an
1382         EXPR_PACK_EXPANSION.
1383
1384 2009-06-29  Jason Merrill  <jason@redhat.com>
1385
1386         PR c++/40274
1387         * error.c (dump_template_parms): Pass all args to
1388         count_non_default_template_args.
1389         (count_non_default_template_args): Pull out the inner ones.
1390
1391 2009-06-26  H.J. Lu  <hongjiu.lu@intel.com>
1392
1393         * decl.c (duplicate_decls): Re-indent.
1394
1395 2009-06-25  Ian Lance Taylor  <iant@google.com>
1396
1397         * call.c (avoid_sign_compare_warnings): New static function.
1398         (build_new_op): Call it.
1399         * typeck.c (cp_build_binary_op): Don't call warn_sign_compare if
1400         TREE_NO_WARNING is set on either operand.
1401
1402 2009-06-25  Ian Lance Taylor  <iant@google.com>
1403
1404         * g++spec.c (SKIPOPT): define.
1405         (lang_specific_driver): Handle -static-libstdc++.  Only add
1406         LIBSTDCXX_STATIC if we add LIBSTDCXX.
1407
1408 2009-06-25  Ian Lance Taylor  <iant@google.com>
1409
1410         * cvt.c (convert_to_void): Only warn about COND_EXPR if neither
1411         the second nor third operand has side effects.
1412
1413 2009-06-25  Ian Lance Taylor  <iant@google.com>
1414
1415         * parser.c (cp_parser_binary_expression): Increment
1416         c_inhibit_evaluation_warnings while parsing the right hand side of
1417         "true || x" or "false && x".
1418         * typeck.c (cp_build_binary_op): Only call warn_for_sign_compare
1419         if c_inhibit_evaluation_warnings is zero.
1420
1421 2009-06-24  Jason Merrill  <jason@redhat.com>
1422
1423         * error.c (dump_decl): Do say "typedef" for the injected class name.
1424
1425         * pt.c (lookup_template_class): Use currently_open_class,
1426         compare template args later.
1427
1428         PR c++/40342
1429         * decl.c (decls_match): Check DECL_TI_TEMPLATE too.
1430         * class.c (resolve_address_of_overloaded_function): Fix typo.
1431
1432 2009-06-18  Aldy Hernandez  <aldyh@redhat.com>
1433
1434         * class.c (get_vtable_decl): Replace finish_decl with cp_finish_decl.
1435         * decl.c (finish_decl): Remove.
1436         (declare_global_var): Replace finish_decl with cp_finish_decl.
1437         (start_method): Same.
1438         * rtti.c (emit_tinfo_decl): Same.
1439         * pt.c (tsubst_expr): Same.
1440         (instantiate_decl): Same.
1441         * decl2.c (grokbitfield): Same.
1442         * name-lookup.c (pushdecl_top_level_1): Same.
1443         * cp-tree.h: Remove finish_decl.
1444
1445 2009-06-16  David Edelsohn  <edelsohn@gnu.org>
1446
1447         * g++-spec.c (LIBSTDCXX_STATIC): Default to NULL.
1448         (lang_specific_driver): Always allocate extra argument.
1449         Add LIBSTDCXX_STATIC to arglist if defined and linking
1450         statically.
1451
1452 2009-06-16  Ian Lance Taylor  <iant@google.com>
1453
1454         * Make-lang.in (cp/class.o): Depend upon gt-cp-class.h.
1455         (cp/semantics.o): Depend upon gt-cp-semantics.h.
1456
1457 2009-06-16  Ian Lance Taylor  <iant@google.com>
1458
1459         * parser.c (cp_unevaluated_operand): Define global variable.
1460         (cp_parser_question_colon_clause): Increment
1461         c_inhibit_evaluation_warnings when evaluating an expression which
1462         will never be executed.
1463         (cp_parser_decltype): Increment cp_unevaluated_operand and
1464         c_inhibit_evaluation_warnings, not skip_evaluation.
1465         (cp_parser_sizeof_operand): Likewise.
1466         (cp_parser_enclosed_template_argument_list): Save
1467         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
1468         skip_evaluation.
1469         * cp-tree.h (struct saved_scope): Remove skip_evaluation field.
1470         Add unevaluated_operand and inhibit_evaluation_warnings fields.
1471         (cp_unevaluated_operand): Declare.
1472         * name-lookup.c (push_to_top_level): Save cp_unevaluated_operand
1473         and c_inhibit_evaluation_warnings rather than skip_evaluation.
1474         (pop_from_top_level): Restore cp_unevaluated_operand and
1475         c_inhibit_evaluation_warnings rather than skip_evaluation.
1476         * class.c (build_base_path): Check cp_unevaluated_operand rather
1477         than skip_evaluation.
1478         * typeck.c (build_class_member_access_expr): Likewise.
1479         (cp_build_binary_op): Don't warn about bad shift counts if
1480         c_inhibit_evaluation_warnings is non-zero.
1481         * pt.c (coerce_template_parms): Save state of
1482         cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
1483         skip_evaluation.
1484         (tsubst_aggr_type): Likewise.
1485         (tsubst_pack_expansion): Check cp_unevaluated_operand rather than
1486         skip_evaluation.
1487         (tsubst_copy): Likewise.
1488         (tsubst): Set cp_unevaluated_operand and
1489         c_inhibit_evaluation_warnings, not skip_evaluation.
1490         (tsubst_copy_and_build): Likewise.
1491         * call.c (convert_arg_to_ellipsis): Check cp_unevaluated_operand
1492         rather than skip_evaluation.
1493         * decl2.c (mark_used): Likewise.
1494         * semantics.c (finish_non_static_data_member): Likewise.
1495         * cvt.c (cp_convert_and_check): Check
1496         c_inhibit_evaluation_warnings rather than skip_evaluation.
1497         * mangle.c (write_type): Set cp_unevaluated_operand rather than
1498         skip_evaluation.
1499
1500 2009-06-15  Ian Lance Taylor  <iant@google.com>
1501
1502         * parser.c (cp_parser_direct_declarator): Add braces around
1503         variables declared before label.
1504
1505 2009-06-15  Rafael Avila de Espindola  <espindola@google.com>
1506
1507         * cp-objcp-common.h (LANG_HOOKS_COMDAT_GROUP): Remove.
1508         * cp-tree.h (cxx_comdat_group): Change signature.
1509         * decl.c (duplicate_decls): Use DECL_COMDAT_GROUP.
1510         (cxx_comdat_group): Change signature.
1511         * decl2.c (comdat_linkage, maybe_make_one_only): Update call to
1512         make_decl_one_only.
1513         (constrain_visibility, get_guard): Use DECL_COMDAT_GROUP.
1514         * method.c (use_thunk): Update call to make_decl_one_only.
1515         * optimize.c (maybe_clone_body): Use DECL_COMDAT_GROUP
1516
1517 2009-06-12  Aldy Hernandez  <aldyh@redhat.com>
1518
1519         * typeck.c (cp_build_binary_op): Pass location to overflow_warning.
1520         (build_modify_expr): New arg.
1521         * semantics.c (finish_unary_op_expr): Pass location to
1522         overflow_warning.
1523         (handle_omp_for_class_iterator): Pass location to build_modify_expr.
1524         * typeck.c (cxx_sizeof_or_alignof_type): Pass location to
1525         c_sizeof_or_alignof_type.
1526         (build_array_ref): New argument.
1527         (build_compound_expr): Same.
1528         (build_const_cast): Same.
1529         (build_ptrmemfunc): Pass location to build_c_cast.
1530         * init.c (avoid_placement_new_aliasing): Pass location to
1531         build_stmt.
1532         (build_vec_delete_1): Pass location to cp_build_modify_expr,
1533         build_compound_expr.
1534         * class.c (build_vtbl_ref_1): Pass location to build_array_ref.
1535         * decl.c (poplevel): Pass location to c_build_bind_expr.
1536         (finish_case_label): Pass location to build_case_label.
1537         (finish_constructor_body): Same.
1538         (finish_destructor_body): Pass location to build_stmt.
1539         (cxx_maybe_build_cleanup): Same, but to build_compound_expr.
1540         * call.c (build_new_op): Pass location to build_array_ref.
1541         (build_x_va_arg): Pass location to build_va_arg.
1542         * except.c (expand_end_catch_block): Pass location to
1543         build_stmt.
1544         * cp-tree.h (build_array_ref): New argument.
1545         (build_compound_expr): Same.
1546         (build_c_cast): Same.
1547         * cp-gimplify.c (gimplify_if_stmt): Pass location on down.
1548         (gimplify_switch_stmt): Same.
1549         * typeck2.c (split_nonconstant_init_1): Same.
1550         * pt.c (tsubst_copy): Same.
1551         * semantics.c (add_decl_expr): Same.
1552         (do_poplevel): Same.
1553         (push_cleanup): Same.
1554         (finish_goto_stmt): Same.
1555         (finish_expr_stmt): Same.
1556         (begin_if_stmt): Same.
1557         (begin_while_stmt): Same.
1558         (begin_do_stmt): Same.
1559         (finish_return_stmt): Same.
1560         (begin_for_stmt): Same.
1561         (finish_break_stmt): Same.
1562         (finish_continue_stmt): Same.
1563         (begin_switch_stmt): Same.
1564         (begin_try_block): Same.
1565         (begin_handler): Same.
1566         (finish_asm_stmt): Same.
1567         (finish_label_stmt): Same.
1568         (finish_stmt_expr_expr): Same.
1569         (finalize_nrv_r): Same.
1570         (finish_omp_atomic): Same.
1571         * name-lookup.c (do_using_directive): Same.
1572         * decl2.c (grok_array_decl): Same.
1573         * parser.c (cp_parser_cast_expression): Same.
1574         (cp_parser_selection_statement): Same.
1575         (cp_parser_implicitly_scoped_statement): Same.
1576         (cp_parser_objc_selector_expression): Same.
1577         (cp_parser_objc_synchronized_statement): Same.
1578         (cp_parser_objc_throw_statement): Same.
1579         (cp_parser_omp_critical): Same.
1580         (cp_parser_omp_master): Same.
1581         * typeck.c (build_function_call): Add location argument.
1582         * init.c: Add location argument to all build_decl calls.
1583         * class.c: Same.
1584         * method.c: Same.
1585         * rtti.c: Same.
1586         * tree.c: Same.
1587         * pt.c: Same.
1588         * semantics.c: Same.
1589         * lex.c: Same.
1590         * decl2.c: Same.
1591         * cp-gimplify.c: Same.
1592         * decl.c: Same.
1593         (cp_make_fname_decl): Add location argument.  Pass location ot
1594         build_decl.
1595         (finish_case_label): Same.
1596         * cp-tree.h (finish_case_label): Add location argument.
1597         * parser.c (cp_parser_label_for_labeled_statement): Pass location to
1598         finish_case_label.
1599         
1600 2009-06-09  Jason Merrill  <jason@redhat.com>
1601
1602         PR c++/40381
1603         * decl2.c (mark_used): Return after complaining about deleted fn.
1604
1605 2009-06-08  Jason Merrill  <jason@redhat.com>
1606
1607         * parser.c (cp_parser_type_id_1): 'auto' type is ok with a
1608         late-specified return type.
1609
1610 2009-06-08  Jakub Jelinek  <jakub@redhat.com>
1611
1612         PR c++/40373
1613         * call.c (check_dtor_name): Return false even if
1614         get_type_value (name) is error_mark_node.
1615
1616         PR c++/40370
1617         PR c++/40372
1618         * parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS
1619         on error_mark_node.  Check for VLAs outside of function context
1620         before check whether to wrap bounds into a NOP_EXPR with
1621         TREE_SIDE_EFFECTS.
1622
1623 2009-06-08  Alexandre Oliva  <aoliva@redhat.com>
1624
1625         * repo.c (get_base_filename): Use aux_base_name rather than
1626         alternate temporary file during second compare debug compilation.
1627         (finish_repo): Skip during -fcompare-debug-second.
1628
1629 2009-06-06  Ian Lance Taylor  <iant@google.com>
1630
1631         * parser.c (cp_parser_label_for_labeled_statement): Support
1632         attribute on labels if immediately followed by semicolon.
1633         * semantics.c (finish_label_stmt): Return new label.
1634         * pt.c (tsubst_expr): Handle attributes for LABEL_EXPR.
1635
1636 2009-06-03  Ian Lance Taylor  <iant@google.com>
1637
1638         * Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and
1639         $(SYSTEM_H).
1640
1641 2009-06-02  Mark Mitchell  <mark@codesourcery.com>
1642
1643         * decl.c (maybe_deduce_size_from_array_init): Use relayout_decl.
1644
1645 2009-06-02  Jason Merrill  <jason@redhat.com>
1646
1647         PR c++/40308
1648         PR c++/40311
1649         * typeck.c (cp_build_modify_expr): Always pass init-lists to the
1650         conversion code.
1651         * call.c (implicit_conversion): Allow init-list conversion to scalar
1652         during direct-initialization, too.  Mark the conversion bad if it
1653         has too many levels of braces.
1654         (convert_like_real): And give a helpful error.
1655
1656         PR c++/40306
1657         PR c++/40307
1658         * decl.c (cp_finish_decl): Handle auto deduction from ().
1659         * typeck.c (build_x_indirect_ref): Handle dereferencing an operand
1660         with dependent type that is known to be a pointer.
1661
1662 2009-06-02  Simon Martin  <simartin@users.sourceforge.net>
1663
1664         PR c++/38089
1665         * pt.c (register_specialization): Properly setup DECL_CONTEXT for
1666         specializations in an invalid namespace.
1667
1668 2009-06-01  Aldy Hernandez  <aldyh@redhat.com>
1669
1670         * error.c (print_instantiation_partial_context): Print column
1671         numbers.
1672
1673 2009-05-29  Ian Lance Taylor  <iant@google.com>
1674
1675         * error.c (cp_printer): Don't use va_arg with enum type.
1676
1677 2009-05-28  Dodji Seketeli  <dodji@redhat.com>
1678
1679         PR c++/39754
1680         * cp-tree.h (canonical_type_variant): Remove this function declaration.
1681         (strip_typedefs): New function declaration.
1682         * tree.c (strip_typedefs): New function definition.
1683         (canonical_type_variant): Remove function definition.
1684         * cvt.c (convert_from_reference): No need to use
1685         canonical_type_variant.
1686         * typeck.c (cp_build_indirect_ref): Likewise.
1687         * error.c (dump_template_bindings): Use strip_typedefs instead of
1688         canonical_type_variant.
1689         * pt.c (convert_template_argument, unify): Likewise.
1690         * mangle.c (canonicalize_for_substitution): Don't use
1691         canonical_type_variant.
1692
1693 2009-05-27  Jason Merrill  <jason@redhat.com>
1694
1695         * call.c (implicit_conversion): Handle conversion from
1696         initializer-list to scalar.
1697         (convert_like_real): Likewise.  Avoid crashing on list
1698         initialization with bad conversions.
1699         (can_convert): Use LOOKUP_EXPLICIT.
1700         (can_convert_arg_bad): Add flags parm.
1701         * cp-tree.h: Adjust.
1702         * typeck.c (convert_for_assignment): Pass flags.
1703
1704 2009-05-27  Ian Lance Taylor  <iant@google.com>
1705
1706         * Make-lang.in (g++$(exeext)): Change $(COMPILER) to $(LINKER).
1707         (cc1plus-dummy$(exeext), cc1plus$(exeext)): Likewise.
1708
1709 2009-05-26  Ian Lance Taylor  <iant@google.com>
1710
1711         * Make-lang.in (g++spec.o): Use $(COMPILER).
1712         (g++$(exeext), cc1plus-dummy$(exeext)): Likewise.
1713         (cc1plus$(exeext)): Likewise.
1714
1715 2009-05-26  Dodji Seketeli  <dodji@redhat.com>
1716
1717         PR c++/40007
1718         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Remove this accessor.
1719         (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): New accessor.
1720         (get_types_needing_access_check): Declare new entry point.
1721         * pt.c (append_type_to_template_for_access_check_1,
1722         get_types_needing_access_check): New functions.
1723         (perform_typedefs_access_check): Accept FUNCTION_DECLs and
1724         RECORD_TYPEs rather than TEMPLATE_DECLs. Use the new
1725         get_types_needing_access_check, no more
1726         MEMBER_TYPES_NEEDING_ACCESS_CHECK.
1727         (instantiate_class_template): Set input_location to the source
1728         location of the most specialized template definition.
1729         Perform access check using the RECORD_TYPE of the template, not its
1730         associated most generic TEMPLATE_DECL.
1731         (append_type_to_template_for_access_check): Augment function
1732         comments. Use the new get_types_needing_access_check, not
1733         MEMBER_TYPE_NEEDING_ACCESS_CHECK. Use the new
1734         append_type_to_template_for_access_check_1 subroutine.
1735
1736 2009-05-22  Jason Merrill  <jason@redhat.com>
1737
1738         PR c++/38064
1739         * typeck.c (cp_build_binary_op): Allow ENUMERAL_TYPE in
1740         arithmetic comparisons.
1741         (cp_common_type): Handle scoped enums.
1742
1743         * call.c (promoted_arithmetic_type_p): Don't use INTEGRAL_TYPE_P.
1744         (add_builtin_candidate, add_builtin_candidates): Likewise.
1745         (convert_like_real): Likewise.
1746         * class.c (check_bitfield_decl): Likewise.
1747         * decl.c (check_static_variable_definition): Likewise.
1748         (compute_array_index_type): Likewise.
1749         * decl2.c (grokbitfield): Likewise.
1750         * init.c (build_new_1): Likewise.
1751         * pt.c (convert_nontype_argument): Likewise.
1752         (current_instantiation): Likewise.
1753         * tree.c (pod_type_p): Likewise.
1754         * typeck.c (build_static_cast_1): Likewise.
1755         (build_reinterpret_cast_1): Likewise.
1756
1757 2009-05-22  Richard Guenther  <rguenther@suse.de>
1758
1759         PR middle-end/38964
1760         * init.c (avoid_placement_new_aliasing): Remove.
1761         (build_new_1): Do not call it.
1762
1763 2009-05-22  Mark Mitchell  <mark@codesourcery.com>
1764
1765         * decl2.c (decl_needed_p): Consider dllexport'd functions needed.
1766         * semantics.c (expand_or_defer_fn): Similarly.
1767
1768 2009-05-20  Ian Lance Taylor  <iant@google.com>
1769
1770         * parser.c (cp_parser_postfix_expression): Change args to a vec.
1771         Release it when done.
1772         (tree_vector): Define typedef.  Define VEC functions.
1773         (cp_parser_parenthesized_expression_list): Change return type to
1774         vec.  Change all callers.
1775         (cp_parser_new_expression): Change placement and initializer to
1776         vecs.  Release them when done.
1777         (cp_parser_new_placement): Change return type to vec.  Change all
1778         callers.
1779         (cp_parser_new_initializer): Likewise.
1780         * typeck.c (build_function_call_vec): Just call
1781         cp_build_function_call_vec.
1782         (cp_build_function_call): Just build a vec and call
1783         cp_build_function_call_vec.
1784         (cp_build_function_call_vec): New function based on old
1785         cp_build_function_call.
1786         (convert_arguments): Remove nargs and argarray parameters.  Change
1787         values to a vec.  Change caller.
1788         (build_x_compound_expr_from_vec): New function.
1789         (cp_build_modify_expr): Build vec to pass to
1790         build_special_member_call.
1791         * call.c (struct z_candidate): Add first_arg field.  Change args
1792         field to vec.
1793         (convert_class_to_reference): Handle first argument separately.
1794         (add_candidate): Add first_arg parameter.  Change args parameter
1795         to vec.  Change all callers.
1796         (add_function_candidate, add_conv_candidate): Likewise.
1797         (add_template_candidate_real, add_template_candidate): Likewise.
1798         (add_template_conv_candidate): Likewise.
1799         (build_user_type_conversion_1): Handle first argument separately.
1800         (resolve_args): Change return type and parameter type to vecs.
1801         Change all callers.
1802         (perform_overload_resolution): Change args parameter to vec.
1803         Change all callers.
1804         (build_new_function_call, build_operator_new_call): Likewise.
1805         (add_candidates): Likewise.
1806         (build_op_call): New globally visible function, built from and
1807         replacing static function build_object_call.
1808         (build_new_op): Don't handle CALL_EXPR.  Build vec, not tree_list,
1809         of arguments.
1810         (build_op_delete_call): Build vec to pass to
1811         cp_build_function_call_vec.
1812         (build_temp): Build vec to pass to build_special_member_call.
1813         (convert_like_real): Likewise.
1814         (perform_direct_initialization_if_possible): Likewise.
1815         (build_over_call): Handle first_arg field.  Use build_call_array
1816         rather than build_call_list.
1817         (build_special_member_call): Change args parameter to vec.  Change
1818         all callers.
1819         (build_new_method_call): Likewise.
1820         * init.c (expand_default_init): Change parms to vec.
1821         (build_raw_new_expr): Change placement and init to vecs.  Change
1822         all callers.
1823         (build_new_1, build_new): Likewise.
1824         * class.c (resolve_address_of_overloaded_function): Build array to
1825         pass to fn_type_unification.
1826         * pt.c (tsubst_copy_and_build): For NEW_EXPR build vecs to pass to
1827         build_new.  For CALL_EXPR create a vec rather than a tree_list;
1828         expand a pack if necessary.
1829         (fn_type_unification): Change args parameter to const tree *.  Add
1830         nargs parameter.  Change all callers.
1831         (type_unification_real): Likewise.
1832         (unify): Build array to pass to type_unification_real.
1833         (get_bindings): Build array to pass to fn_type_unification.
1834         (any_type_dependent_arguments_p): Change args parameter to a vec.
1835         Change all callers.
1836         (make_args_non_dependent): Renamed from build_non_dependent_args.
1837         Change return type to void.  Change parameter type to vec.  Change
1838         all callers.
1839         (do_auto_deduction): Pass an array to type_unification_real.
1840         * semantics.c (perform_koenig_lookup): Change args to vec.  Change
1841         all callers.
1842         (finish_call_expr): Change args to vec.  Change all callers.  Call
1843         build_op_call instead of passing CALL_EXPR to build_new_op.
1844         (cxx_omp_create_clause_info): Allocate vec to pass to
1845         build_special_member_call.
1846         * decl2.c (build_offset_ref_call_from_tree): Change args parameter
1847         to vec.  Change all callers.
1848         * name-lookup.c (lookup_function_nonclass): Likewise.
1849         (struct arg_lookup): Change args to vec.
1850         (arg_assoc_namespace): Handle args as a vec.
1851         (arg_assoc_args_vec): New static function.
1852         (lookup_arg_dependent): Change args parameter to vec.  Change all
1853         callers.
1854         * method.c (do_build_assign_ref): Allocate vec to pass to
1855         build_special_member_call.
1856         * except.c (build_throw): Likewise.
1857         * typeck2.c (build_functional_cast): Likewise.
1858         * cvt.c (ocp_convert): Likewise.
1859         * tree.c (build_min_non_dep_call_vec): Change last parameter to
1860         vec.  Change all callers.
1861         * cp-tree.h: Update declarations.
1862         * name-lookup.h: Update declarations.
1863
1864 2009-05-20  Sandra Loosemore  <sandra@codesourcery.com>
1865
1866         * typeck.c (default_conversion): Check targetm.promoted_type.
1867         * decl.c (grokdeclarator): Check targetm.invalid_return_type.
1868         (grokparms): Check targetm.invalid_parameter_type.
1869         * cvt.c (ocp_convert): Check targetm.convert_to_type.
1870         (build_expr_type_conversion): Check targetm.promoted_type.
1871
1872 2009-05-19  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1873
1874         * typeck.c (build_binary_op): Allow % on integal vectors.
1875
1876 2009-05-18  Jason Merrill  <jason@redhat.com>
1877
1878         Implement explicit conversions ops as specified in N2437.
1879         * decl.c (grokdeclarator): Handle explicit conversion ops.
1880         (check_initializer): Pass flags to store_init_value.
1881         * decl2.c (maybe_emit_vtables): Likewise.
1882         * init.c (expand_aggr_init_1): Likewise.
1883         * call.c (convert_class_to_reference): Take flags parm,
1884         check DECL_NONCONVERTING_P.
1885         (build_user_type_conversion_1): Check DECL_NONCONVERTING_P.
1886         (add_builtin_candidates): Simplify getting type of conversion.
1887         (build_object_call): Likewise.  Check DECL_NONCONVERTING_P.
1888         (implicit_conversion): Pass through LOOKUP_ONLYCONVERTING.
1889         (reference_binding): Take flags parm.  Direct-initialize copy parm.
1890         (add_function_candidate): Direct-initialize the copy parm.
1891         (add_conv_candidate): Use LOOKUP_IMPLICIT, not LOOKUP_NORMAL.
1892         (build_builtin_candidate): Add LOOKUP_ONLYCONVERTING.
1893         (conditional_conversion): Likewise.
1894         (convert_like_real): Only complain about DECL_NONCONVERTING_P
1895         constructors.
1896         (perform_implicit_conversion_flags): Add flags parm to
1897         perform_implicit_conversion.  Improve diagnostics.
1898         * cp-tree.h (LOOKUP_IMPLICIT): New macro.
1899         (LOOKUP_COPY_PARM): New bit macro.
1900         * cvt.c (build_expr_type_conversion): Check DECL_NONCONVERTING_P.
1901         * typeck.c (convert_for_assignment): Take flags parm, pass it to
1902         perform_implicit_conversion_flags.
1903         (cp_build_modify_expr): Pass flags to convert_for_assignment.
1904         (convert_for_initialization): Likewise.
1905         * typeck2.c (store_init_value): Take flags parm, pass to
1906         digest_init_flags.
1907         (digest_init_flags): Add flags parm to digest_init.
1908         (digest_init_r): Take flags parm, pass to convert_for_initialization.
1909         (process_init_constructor_array): Pass it.
1910         (process_init_constructor_record): Likewise.
1911         (process_init_constructor_union): Likewise.
1912
1913 2009-05-16  Jason Merrill  <jason@redhat.com>
1914
1915         PR c++/40139
1916         * pt.c (tsubst_qualified_id): Retain the type if we aren't dealing
1917         with a dependent type.  Actually look up the destructor.
1918         * semantics.c (finish_id_expression): Fix logic.
1919         (finish_qualified_id_expr): Don't try to use 'this' if we aren't in
1920         a function.
1921         * typeck.c (build_x_unary_op): Diagnose taking the address of a
1922         constructor or destructor.
1923         * tree.c (get_first_fn): Handle OFFSET_REF.
1924
1925 2009-05-17  Joseph Myers  <joseph@codesourcery.com>
1926
1927         * tree.c (cxx_printable_name_internal): Allow consecutive
1928         translated and untranslated cached copies of the name of the
1929         current function.
1930
1931 2009-05-15  Ian Lance Taylor  <iant@google.com>
1932
1933         * cp-tree.h (enum cp_lvalue_kind_flags): Rename from
1934         cp_lvalue_kind.  Change all uses.
1935         (enum base_access_flags): Rename from enum base_access.  Change
1936         all uses.
1937         * parser.c (enum cp_parser_flags): Remove enum tag.
1938
1939 2009-05-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1940
1941         PR 16302
1942         * call.c (build_new_op): Update calls to warn_logical_operator.
1943
1944 2009-05-14  Ian Lance Taylor  <iant@google.com>
1945
1946         * class.c (layout_class_type): Change itk to unsigned int.
1947         * decl.c (finish_enum): Change itk to unsigned int.
1948         * parser.c (cp_parser_check_decl_spec): Change ds to int.  Remove
1949         casts.
1950
1951 2009-05-13  David Mandelin <dmandelin@mozilla.com>:
1952
1953         * decl.c (duplicate_decls): Preserve parameter attributes.
1954
1955 2009-05-10  Jan Hubicka  <jh@suse.cz>
1956
1957         * decl2.c (cxx_callgraph_analyze_expr): Use
1958         cgraph_mark_address_taken.
1959
1960 2009-05-10  Joseph Myers  <joseph@codesourcery.com>
1961
1962         * call.c (name_as_c_string): Call type_as_string_translate.
1963         Translate identifiers to locale character set.
1964         * cp-tree.h (lang_decl_name): Update prototype.
1965         (type_as_string_translate, decl_as_string_translate,
1966         cxx_printable_name_translate): Declare.
1967         * cxx-pretty-print.c (M_): Define.
1968         (pp_cxx_unqualified_id, pp_cxx_canonical_template_parameter): Mark
1969         English fragments for conditional translation with M_.
1970         * decl.c (grokdeclarator): Translate identifiers to locale
1971         character set for diagnostics.
1972         * error.c (M_): Define.
1973         (dump_template_bindings, dump_type, dump_aggr_type,
1974         dump_type_prefix, dump_global_iord, dump_simple_decl, dump_decl,
1975         dump_function_decl, dump_template_parms, dump_expr,
1976         dump_binary_op, op_to_string, assop_to_string): Mark English
1977         fragments for conditional translation with M_.
1978         (type_as_string): Disable translation of identifiers.
1979         (type_as_string_translate): New.
1980         (expr_as_string): Disable translation of identifiers.
1981         (decl_as_string): Disable translation of identifiers.
1982         (decl_as_string_translate): New.
1983         (lang_decl_name): Add parameter translate.
1984         (args_to_string): Call type_as_string_translate.
1985         (cp_print_error_function): Call cxx_printable_name_translate.
1986         (print_instantiation_full_context,
1987         print_instantiation_partial_context): Call
1988         decl_as_string_translate.
1989         * parser.c (cp_lexer_get_preprocessor_token): Use %qE for
1990         identifier in diagnostic.
1991         * tree.c (cxx_printable_name): Change to
1992         cxx_printable_name_internal.  Add parameter translate.
1993         (cxx_printable_name, cxx_printable_name_translate): New wrappers
1994         round cxx_printable_name_internal.
1995
1996 2009-05-08  H.J. Lu  <hongjiu.lu@intel.com>
1997
1998         PR c/36892
1999         * call.c (build_call_a): Updated warn_deprecated_use call.
2000         (build_over_call): Likewise.
2001         * decl.c (grokdeclarator): Likewise.
2002         (grokparms): Likewise.
2003         * semantics.c (finish_id_expression): Likewise.
2004         * typeck.c (build_class_member_access_expr): Likewise.
2005         (finish_class_member_access_expr): Likewise.
2006
2007 2009-05-06  Dodji Seketeli  <dodji@redhat.com>
2008
2009         PR c++/17395
2010         * pt.c (tsubst_copy) <case PARM_DECL>: We don't want to tsubst the
2011         whole list of PARM_DECLs, just the current one.
2012
2013 2009-05-05  Shujing Zhao  <pearly.zhao@oracle.com>
2014
2015         * cp-tree.h:
2016         (opname_tab, assignop_tab, update_member_visibility, yyerror, yyhook,
2017         mangle_compound_literal): Remove unused declarations.
2018         (build_vfield_ref, cxx_print_statistics, clone_function_decl,
2019         adjust_clone_args, maybe_push_cleanup_level, pushtag, make_anon_name,
2020         pushdecl_top_level_maybe_friend, pushdecl_top_level_and_finish,
2021         check_for_out_of_scope_variable, print_other_binding_stack,
2022         maybe_push_decl, cxx_mark_addressable, force_target_expr,
2023         build_target_expr_with_type, finish_case_label,
2024         cxx_maybe_build_cleanup, begin_eh_spec_block, finish_eh_spec_block,
2025         check_template_keyword, cxx_omp_predetermined_sharing,
2026         cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor,
2027         cxx_omp_clause_assign_op, cxx_omp_clause_dtor, cxx_omp_finish_clause,
2028         cxx_omp_privatize_by_reference): Rearrange the declarations line to
2029         match the comment that indicates the .c file which the functions are
2030         defined.
2031         (cxx_print_xnode, cxx_print_decl, cxx_print_type,
2032         cxx_print_identifier, cxx_print_error_function, pushdecl): Add comment.
2033
2034 2009-05-05  Nathan Sidwell  <nathan@codesourcery.com>
2035
2036         * typeck.c (cp_build_compound_expr): Require RHS to have a known
2037         type.
2038         * class.c (resolve_address_of_overloaded_function): Use
2039         OVL_CURRENT for error message.
2040         (instantiate_type): Forbid COMPOUND_EXPRs and remove code dealing
2041         with them.  Do not copy the node.
2042
2043 2009-05-05  Jakub Jelinek  <jakub@redhat.com>
2044
2045         PR c++/40013
2046         * pt.c (tsubst): If magic NOP_EXPR with side-effects has no type,
2047         set it from its operand's type after tsubst_expr.
2048
2049 2009-05-04  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2050
2051         PR c++/28152
2052         * parser.c (cp_lexer_get_preprocessor_token):  Do not store the
2053         canonical spelling for keywords.
2054         (cp_parser_attribute_list): Use the canonical spelling for
2055         keywords in attributes.
2056
2057 2009-05-01  Joseph Myers  <joseph@codesourcery.com>
2058
2059         * cxx-pretty-print.c (is_destructor_name, pp_cxx_unqualified_id,
2060         pp_cxx_template_keyword_if_needed, pp_cxx_postfix_expression,
2061         pp_cxx_new_expression, pp_cxx_delete_expression,
2062         pp_cxx_unary_expression, pp_cxx_assignment_operator,
2063         pp_cxx_assignment_expression, pp_cxx_expression,
2064         pp_cxx_function_specifier, pp_cxx_decl_specifier_seq,
2065         pp_cxx_simple_type_specifier, pp_cxx_type_specifier_seq,
2066         pp_cxx_exception_specification, pp_cxx_direct_declarator,
2067         pp_cxx_ctor_initializer, pp_cxx_type_id, pp_cxx_statement,
2068         pp_cxx_namespace_alias_definition, pp_cxx_template_parameter,
2069         pp_cxx_canonical_template_parameter, pp_cxx_template_declaration,
2070         pp_cxx_declaration, pp_cxx_typeid_expression,
2071         pp_cxx_va_arg_expression, pp_cxx_offsetof_expression,
2072         pp_cxx_trait_expression): Mostly use pp_string and
2073         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
2074         for non-identifiers.  Mark English strings for translation.
2075         * cxx-pretty-print.h (pp_cxx_ws_string): Define.
2076         * error.c (dump_template_parameter, dump_template_bindings,
2077         dump_type, dump_aggr_type, dump_type_prefix, dump_simple_decl,
2078         dump_decl, dump_template_decl, dump_function_decl,
2079         dump_parameters, dump_exception_spec, dump_template_parms,
2080         dump_expr, dump_binary_op, dump_unary_op, op_to_string,
2081         assop_to_string, args_to_string, cp_print_error_function,
2082         print_instantiation_full_context,
2083         print_instantiation_partial_context): Mostly use pp_string and
2084         pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
2085         for non-identifiers.  Mark English strings for translation.
2086         (dump_global_iord): Mark strings for translation; use longer
2087         strings instead of substituting single words.
2088         (function_category): Return a format string marked for
2089         translation, not a single word or phrase to substitute in a longer
2090         phrase.
2091
2092 2009-04-28  Ben Elliston  <bje@au.ibm.com>
2093
2094         PR c++/35652
2095         Revert:
2096
2097         2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2098
2099         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
2100
2101 2009-04-27  Ian Lance Taylor  <iant@google.com>
2102
2103         * semantics.c (finish_omp_clauses): Change type of c_kind to enum
2104         omp_clause_code.
2105
2106 2009-04-27  Jakub Jelinek  <jakub@redhat.com>
2107
2108         PR c++/39875
2109         * cvt.c (convert_to_void) <case INDIRECT_REF>: Only warn about
2110         -Wunused-value if implicit.
2111
2112 2009-04-24  Ian Lance Taylor  <iant@google.com>
2113
2114         * call.c (build_temp): Change 0 to enum constant.
2115         * cp-tree.h (cp_lvalue_kind): Typedef to int rather than enum
2116         type.
2117         * cp-gimplify.c (cp_gimplify_expr): Add cast to enum type.
2118         * decl2.c (constrain_visibility): Likewise.
2119         * parser.c (cp_lexer_get_preprocessor_token): Likewise.
2120         (cp_parser_flags): Typedef to int rather than enum type.
2121         (cp_parser_expression_stack_entry): Change prec field to enum
2122         cp_parser_prec.
2123
2124         * typeck.c (build_modify_expr): Add lhs_origtype parameter.
2125         Change all callers.
2126
2127 2009-04-22  Dodji Seketeli  <dodji@redhat.com>
2128
2129         PR c++/39639
2130         * parser.c (cp_parser_template_argument_list): Display an error
2131         when an ellipsis is not preceded by a parameter pack. Also, warn
2132         about variadic templates usage without -std=c++0x.
2133
2134 2009-04-21  Taras Glek <tglek@mozilla.com>
2135
2136         * cp-tree.h: Update GTY annotations to new syntax.
2137         * decl.c: Likewise.
2138         * mangle.c: Likewise.
2139         * name-lookup.c: Likewise.
2140         * name-lookup.h: Likewise.
2141         * parser.c: Likewise.
2142         * pt.c: Likewise.
2143         * rtti.c: Likewise.
2144         * semantics.c: Likewise.
2145         * typeck2.c: Likewise.
2146
2147 2009-04-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2148
2149         PR c++/14875
2150         * parser.c (cp_parser_error): Pass token->flags to c_parse_error.
2151
2152 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2153
2154         PR c++/35711
2155         * typeck.c (check_for_casting_away_constness): We diagnose casting
2156         away any qualifiers not just constness.
2157         (casts_away_constness): Mention that it handles more than just
2158         constness.
2159         
2160 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
2161
2162         * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995,
2163         ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999,
2164         ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003,
2165         ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
2166         ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS,
2167         cfns.gperf: Add copyright and license notices.
2168         * cfns.h: Regenerate.
2169         * ChangeLog, ChangeLog-2004: Correct dates.
2170
2171 2009-04-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2172
2173         PR 16202
2174         * tree.c (lvalue_p_1): Use const_tree.
2175         Use CONST_CAST_TREE to avoid warning.
2176         (lvalue_p): Returns bool, receives const_tree.
2177
2178 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2179
2180         PR c++/13358
2181         * parser.c (cp_parser_check_decl_spec): Drop redundant flags.
2182         * error.c (pedwarn_cxx98): New.
2183         * cp-tree.h (pedwarn_cxx98): Declare.
2184
2185 2009-04-20  Le-Chun Wu  <lcwu@google.com>
2186
2187         PR c++/39803
2188         * init.c (build_vec_init): Set TREE_NO_WARNING on the
2189         compiler-generated INDIRECT_REF expression.
2190
2191 2009-04-20  Ian Lance Taylor  <iant@google.com>
2192
2193         * typeck.c (build_function_call_vec): New function.
2194         (cp_build_function_call): Only pass first parameter to
2195         objc_rewrite_function_call.
2196         (build_modify_expr): Add rhs_origtype parameter.  Change all
2197         callers.
2198         * decl.c (finish_decl): Add origtype parameter.  Change all
2199         callers.
2200         * semantics.c (finish_call_expr): Pass VEC to
2201         resolve_overloaded_builtin.
2202
2203 2009-04-20  Ian Lance Taylor  <iant@google.com>
2204
2205         * cp-tree.h (base_access): Change typedef to int.
2206         * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR.
2207         (cp_parser_omp_threadprivate): Likewise.
2208         * pt.c (unify_pack_expansion): Add casts to enum type.
2209
2210 2009-04-19  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2211
2212         PR c/32061
2213         PR c++/36954
2214         * call.c (build_new_op): Save the original codes of operands
2215         before folding.
2216
2217 2009-04-18  Kazu Hirata  <kazu@codesourcery.com>
2218
2219         * cp-tree.h: Remove the prototype for insert_block.
2220         * decl.c (insert_block): Remove.
2221
2222 2009-04-16  Ian Lance Taylor  <iant@google.com>
2223
2224         * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.
2225         (tsubst_flags_t): Change typedef from enum type to int.
2226
2227 2009-04-16  Paolo Bonzini  <bonzini@gnu.org>
2228
2229         * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
2230         instead of targetm.vector_opaque_p.
2231
2232 2009-04-15  Le-Chun Wu  <lcwu@google.com>
2233
2234         PR c++/39551
2235         * call.c (build_over_call): Set TREE_NO_WARNING on the
2236         compiler-generated INDIRECT_REF expression.
2237         * cvt.c (convert_to_void): Emit warning when stripping off
2238         INDIRECT_REF.
2239
2240 2009-04-14  Diego Novillo  <dnovillo@google.com>
2241
2242         * parser.c (cp_parser_type_specifier_seq): Move call to
2243         invoke_plugin_callbacks ...
2244         (cp_parser_type_specifier_seq): ... here.
2245
2246 2009-04-14  Le-Chun Wu  <lcwu@google.com>
2247
2248         * Make-lang.in: Modify dependencies of files including plugin.h.
2249         * decl.c (finish_function): Call invoke_plugin_callbacks.
2250         * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks.
2251
2252 2009-04-14  Jason Merrill  <jason@redhat.com>
2253
2254         PR c++/39763
2255         * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings
2256         about shadowing by tentative parms.
2257
2258 2009-04-13  Jason Merrill  <jason@redhat.com>
2259
2260         PR c++/39480
2261         * call.c (build_over_call): Don't call memcpy if the target is
2262         the same as the source.
2263
2264 2009-04-13  Jason Merrill  <jason@redhat.com>
2265
2266         PR c++/39750
2267         * pt.c (uses_template_parms): Handle CONSTRUCTOR.
2268
2269 2009-04-12  Jason Merrill  <jason@redhat.com>
2270
2271         PR c++/39742
2272         * call.c (joust): Don't crash on variadic fn.
2273
2274 2009-04-10  Jason Merrill  <jason@redhat.com>
2275
2276         PR c++/28301
2277         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
2278         if we see a close brace without an open brace.
2279
2280 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
2281
2282         * parser.c (cp_parser_class_specifier): Remove the unused
2283         has_trailing_semicolon.
2284
2285 2009-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2286
2287         PR  c++/20118
2288         * parser.c (cp_parser_check_template_parameters): Take a
2289         cp_declarator parameter.
2290         (cp_parser_elaborated_type_specifier): Update to
2291         cp_parser_check_template_parameters.
2292         (cp_parser_class_head): Likewise.
2293         (cp_parser_check_declarator_template_parameters): Likewise.
2294         (cp_parser_check_template_parameters): Handle first the non-error
2295         conditions. Give more accurate diagnostics if a declarator is
2296         given. 
2297
2298 2009-04-08  Jason Merrill  <jason@redhat.com>
2299
2300         PR c++/25185
2301         * error.c (dump_aggr_type): Chase template typedefs if
2302         -fno-pretty-templates.
2303
2304 2009-04-08  Dodji Seketeli  <dodji@redhat.com>
2305
2306         PR c++/39637
2307         * parser.c (cp_parser_enumerator_definition): Make sure the
2308         initializer of the enumerator doesn't contain any bare parameter pack.
2309
2310 2009-04-07  Jason Merrill  <jason@redhat.com>
2311
2312         PR c++/34691
2313         * name-lookup.c (merge_functions): Keep multiple extern "C" functions.
2314         * call.c (joust): Complain about mismatched default arguments
2315         in extern "C" functions.
2316         * class.c (resolve_address_of_overloaded_function): Handle multiple
2317         extern "C" functions.
2318         * pt.c (resolve_overloaded_unification): Likewise.
2319
2320 2009-04-07  Jason Merrill  <jason@redhat.com>
2321
2322         PR c++/25185
2323         * error.c (dump_function_decl): Don't pretty-print templates
2324         if -fno-pretty-templates.
2325         (count_non_default_template_args): Print all args if
2326         -fno-pretty-templates.
2327
2328 2009-04-06  Jason Merrill  <jason@redhat.com>
2329
2330         PR c++/35146
2331         * pt.c (fn_type_unification): For DEDUCE_EXACT check that
2332         the deduced template arguments give us the parameter types
2333         we're looking for.
2334
2335 2009-04-05  Giovanni Bajo <giovannibajo@libero.it>
2336             Jason Merrill  <jason@redhat.com>
2337
2338         PR c++/14912
2339         * error.c (count_non_default_template_args): New fn.
2340         (dump_template_parms): Call it.
2341         (dump_template_argument_list): Call it.  Add parms parm.
2342         (dump_template_argument): Adjust call to dump_template_argument_list.
2343         (dump_type, dump_decl): Likewise.
2344         (dump_template_bindings): Refactor logic.
2345
2346 2009-04-03  Jason Merrill  <jason@redhat.com>
2347
2348         PR c++/25185
2349         * error.c (dump_template_bindings): Look through typedefs in
2350         typename results.
2351         (dump_type) [TYPENAME_TYPE]: Print the typedef name if any.
2352         (find_typenames_r): Also collect typedefs.
2353         * pt.c (unify): Strip typedefs.
2354
2355         PR c++/39608
2356         * semantics.c (finish_id_expression): Don't assume a dependent
2357         member of the current instantiation isn't a valid integral
2358         constant expression.  Check dependent_scope_p.
2359         * pt.c (dependent_scope_p): Check TYPE_P.
2360         (tsubst_copy): If args is null, just return.
2361
2362 2009-04-02  Jason Merrill  <jason@redhat.com>
2363
2364         PR c++/25185
2365         * error.c (find_typenames, find_typenames_r): New fns.
2366         (dump_function_decl): Call find_typenames.
2367         (dump_template_bindings): Print typenames as well.
2368         * pt.c (tsubst): Non-static.
2369         * cp-tree.h: Declare it.
2370
2371 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
2372
2373         PR c++/26693
2374         * decl2.c (grokfield): when a typedef appears in a
2375         class, create the typedef variant type node for it.
2376         (save_template_attributes): Creating typedef variant type node
2377          here is now useless.
2378         * decl.c (grokdeclarator): If the typedef'ed struct/class was
2379         anonymous, set the proper type name to all its type variants.
2380         (xref_basetypes) : Fixup the variant types after setting
2381         TYPE_BINFO on REF.
2382         * name-lookup.c (pushdecl_maybe_friend): Reuse the
2383         set_underlying_type function to install typedef variant types.
2384         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
2385         macro.
2386         (append_type_to_template_for_access_check): New entry points.
2387         * semantics.c (check_accessibility_of_qualified_id):
2388         When a typedef that is a member of a class appears in a template,
2389         add it to the template. It will be ...
2390         * class.c (finish_struct_bits): Split type variant fixup into ...
2391         (fixup_type_variants): A new entry point.
2392         * pt.c (instantiate_class_template, instantiate_template ): ... access
2393         checked at template instantiation time.
2394         (resolve_type_name_type): The type name should be the name of the
2395         main type variant.
2396         (retrieve_specialization): Specializations of template typedefs aren't
2397         to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl).
2398         (append_type_to_template_for_access_check): New entry point.
2399         (tsubst_decl): For typedefs, build the variant type from the correct
2400         original type.
2401         (get_class_bindings): Fix function comment.
2402         (perform_typedefs_access_check): New entry point.
2403
2404 2009-03-31  Jason Merrill  <jason@redhat.com>
2405
2406         PR c++/34691
2407         * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched
2408         extern "C" declarations.
2409
2410         C++ DR 613
2411         * semantics.c (finish_non_static_data_member): Allow such references
2412         without an associated object in sizeof/decltype/alignof.
2413
2414         * ptree.c (cxx_print_decl): Pretty-print full name of
2415         function/template.
2416         (cxx_print_type): Pretty-print full name of class.
2417
2418         * decl.c (grokdeclarator): Reject pointer to qualified function
2419         type.
2420
2421         PR c++/37806, core issue 547
2422         * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals
2423         to a typedef.
2424         * tree.c (cp_build_qualified_type_real): Don't apply restrict to a 
2425         function type.
2426         * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG.
2427         * decl.c (groktypename): Add is_template_arg parameter.
2428         (grokdeclarator): Allow function cv-quals on a template type arg.
2429         * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add
2430         is_template_arg argument in calls to groktypename.
2431         * cp-tree.h: Adjust prototype.
2432         * error.c (dump_type_prefix, dump_type_suffix): Fix plain 
2433         FUNCTION_TYPE printing.
2434         
2435         * mangle.c (write_expression): Mangle dependent name as
2436         source-name.
2437
2438         PR c++/38030, 38850, 39070
2439         * pt.c (type_dependent_expression_p_push): New fn.
2440         (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the
2441         substitution makes the call non-dependent.  Preserve koenig_p.
2442         * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup
2443         for non-dependent calls.
2444         * semantics.c (finish_call_expr): Revert earlier changes.
2445         * cp-tree.h: Revert change to finish_call_expr prototype.
2446
2447 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
2448
2449         PR preprocessor/34695
2450         * cp-tree.h (cp_cpp_error): Remove.
2451         * error.c (cp_cpp_error): Remove.
2452         * parser.c (cp_lexer_new_main): Set done_lexing instead of
2453         client_diagnostic and error callback.
2454
2455 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
2456
2457         * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
2458         * cp/cp-objcp-common.c (cxx_staticp): Remove.
2459         * cp/cp-tree.h (cxx_staticp): Remove.
2460
2461 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
2462
2463         PR c++/39554
2464         * parser.c (cp_parser_postfix_expression): Don't call
2465         warning_if_disallowed_function_p.
2466
2467 2009-03-27  Jan Hubicka  <jh@suse.cz>
2468
2469         * except.c (choose_personality_routine): Set terminate_node to abort
2470         for java exceptions.
2471
2472 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
2473             Jakub Jelinek  <jakub@redhat.com>
2474
2475         PR debug/37959
2476         * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
2477         (cp_function_decl_explicit_p): New prototype.
2478         * cp-objcp-common.c (cp_function_decl_explicit_p): New function.
2479
2480 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2481
2482         PR c++/38638
2483         * parser.c (cp_parser_elaborated_type_specifier): If we have a
2484         typename tag and don't have either a TYPE_DECL or a
2485         TEMPLATE_ID_EXPR, set the type to NULL.
2486
2487 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
2488
2489         PR c++/37647
2490         * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class
2491         scope.
2492
2493 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
2494
2495         PR c++/29727
2496         * decl.c (check_array_designated_initializer): Handle error_mark_node.
2497
2498 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2499
2500         PR c++/35652
2501         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
2502
2503 2009-03-26  Andrew Haley  <aph@redhat.com>
2504
2505         PR C++/39380
2506         * decl2.c (possibly_inlined_p): If java exceptions are in use
2507         don't inline a decl unless it is explicitly marked inline.
2508         * lex.c: (pragma_java_exceptions): New variable.
2509         (handle_pragma_java_exceptions): Set pragma_java_exceptions.
2510         * cp-tree.h (pragma_java_exceptions): Declare new variable.
2511
2512 2009-03-24  Jason Merrill  <jason@redhat.com>
2513
2514         PR c++/28274
2515         * name-lookup.c (pushdecl_maybe_friend): Check default args later.
2516
2517 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
2518
2519         PR c/39495
2520         * semantics.c (handle_omp_for_class_iterator): Swap cond operands and
2521         code if iter is the second operand.
2522         * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p
2523         argument.  If it is set, don't build the toplevel expression with
2524         build_x_binary_op, but build2.
2525         (cp_parser_assignment_expression,  cp_parser_omp_for_incr): Adjust
2526         callers.
2527         (cp_parser_omp_for_cond): Don't assume the first operand of the
2528         comparison must be decl.
2529
2530 2009-03-23  Jason Merrill  <jason@redhat.com>
2531
2532         PR c++/37729
2533         * pt.c (make_fnparm_pack): Split out from...
2534         (instantiate_decl): ...here.
2535         (tsubst_pack_expansion): Handle being called in a late-specified
2536         return type.
2537
2538         PR c++/39526
2539         * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing
2540         a parm with a parm.
2541
2542 2009-03-20  Jason Merrill  <jason@redhat.com>
2543
2544         PR c++/28879
2545         * parser.c (cp_parser_direct_declarator): In a template, wrap 
2546         non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set.
2547         * pt.c (tsubst): Preserve it in a partial instantiation.
2548         (dependent_type_p_r): Don't check value_dependent_expression_p.
2549         * decl.c (compute_array_index_type): Don't check
2550         value_dependent_expression_p if TREE_SIDE_EFFECTS.
2551
2552         C++ core issue 703
2553         * typeck2.c (check_narrowing): Don't complain about loss of 
2554         precision when converting a floating-point constant.
2555
2556 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
2557
2558         PR c/39495
2559         * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL.
2560         (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond.
2561
2562 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
2563
2564         * parser.c (struct cp_token): Reorder fields for 64-bit hosts.
2565         (eof_token): Adjust.
2566
2567 2009-03-18  H.J. Lu  <hongjiu.lu@intel.com>
2568
2569         PR c++/39425
2570         * parser.c (cp_parser_explicit_specialization): Don't skip the
2571         rest of the specialization when begin_specialization returns
2572         false.
2573
2574 2009-03-17  Jason Merrill  <jason@redhat.com>
2575
2576         * decl.c (grokfndecl): Set DECL_CONTEXT on parms.
2577         (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms.
2578         * pt.c (check_explicit_specialization): Likewise.
2579         (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a
2580         local specialization.
2581         * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name.
2582         * decl2.c (parm_index): New fn.
2583         * semantics.c (finish_decltype_type): Don't use describable_type.
2584         * mangle.c (write_expression): Likewise.  Mangle ALIGNOF_EXPR.
2585         Give a sorry for unsupported codes rather than crash.  Mangle
2586         conversions with other than 1 operand.  New mangling for PARM_DECL.
2587         * operators.def (ALIGNOF_EXPR): Mangle as "az".
2588
2589 2009-03-17  Jing Yu  <jingyu@google.com>
2590
2591         PR middle-end/39378
2592         * method.c (use_thunk): Change is_thunk from crtl to cfun.
2593
2594 2009-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
2595
2596         PR c++/39475
2597         * semantics.c (check_trait_type): New.
2598         (finish_trait_expr): Use it.
2599
2600 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
2601
2602         * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs
2603         instead of calling imported_module_or_decl debug hook if
2604         building_stmt_tree ().
2605         * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand
2606         is a NAMESPACE_DECL.
2607
2608         PR debug/37890
2609         * name-lookup.c (do_namespace_alias): Don't call global_decl debug
2610         hook at function scope.
2611
2612         PR debug/39471
2613         * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME
2614         on IMPORTED_DECL.
2615
2616 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
2617
2618         PR c++/39371
2619         * semantics.c (finish_switch_cond): Don't call get_unwidened.
2620         * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument
2621         instead of TREE_TYPE (cond).
2622
2623 2009-03-08  H.J. Lu  <hongjiu.lu@intel.com>
2624
2625         PR c++/39060
2626         * parser.c (cp_parser_late_parsing_default_args): Continue
2627         the loop when cp_parser_assignment_expression returns
2628         error_mark_node.
2629
2630 2009-03-07  Jason Merrill  <jason@redhat.com>
2631
2632         PR c++/39367
2633         * init.c (build_new_1): Don't use a VLA type.
2634         (build_vec_init): Handle getting a pointer for BASE.
2635
2636 2009-03-06  H.J. Lu  <hongjiu.lu@intel.com>
2637
2638         PR c++/37520
2639         * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL
2640         when mangling symbols.
2641
2642 2009-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
2643
2644         PR c++/33492
2645         * error.c (dump_expr): Don't try to print THROW_EXPRs in full.
2646
2647 2009-03-06  Alexandre Oliva  <aoliva@redhat.com>
2648
2649         * decl.c (record_builtin_java_type): Use canonicalized integer
2650         types.
2651
2652 2009-03-04  Jason Merrill  <jason@redhat.com>
2653
2654         PR c++/38908
2655         * class.c (is_really_empty_class): New fn.
2656         * cp-tree.h: Declare it.
2657         * cp-objcp-common.c (cp_expr_size): Use it.
2658
2659         PR c++/13549
2660         * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR.
2661         * parser.c (cp_parser_postfix_expression): Call it for 
2662         TEMPLATE_ID_EXPR.
2663         * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR.
2664         (get_first_fn): Likewise.
2665
2666         PR c++/9634
2667         PR c++/29469
2668         PR c++/29607
2669         Implement DR 224.
2670         * decl.c (make_typename_type): Do look inside currently open classes.
2671         * parser.c (cp_parser_lookup_name): Likewise.
2672         (cp_parser_template_name): Likewise.
2673         * pt.c (dependent_scope_p): New function.
2674         * cp-tree.h: Declare it.
2675         * class.c (currently_open_class): Return fast if T isn't a class.
2676
2677 2009-02-26  H.J. Lu  <hongjiu.lu@intel.com>
2678
2679         PR c++/37789
2680         * parser.c (cp_parser_mem_initializer): Return error_mark_node
2681         if cp_parser_mem_initializer_id returns error_mark_node.
2682
2683 2009-02-24  Richard Guenther  <rguenther@suse.de>
2684
2685         PR c++/39242
2686         * pt.c (instantiate_decl): Do not instantiate extern, non-inline
2687         declared functions.
2688
2689 2009-02-23  H.J. Lu  <hongjiu.lu@intel.com>
2690
2691         PR c++/36411
2692         * pt.c (coerce_template_template_parms): Return 0 if parameter
2693         is error_mark_node.
2694
2695 2009-02-23  Jason Merrill  <jason@redhat.com>
2696
2697         * pt.c (unify): Call maybe_adjust_types_for_deduction when
2698         deducing from an initializer list.
2699
2700 2009-02-20  Jason Merrill  <jason@redhat.com>
2701
2702         PR c++/39225
2703         * decl.c (grokdeclarator): Handle ~identifier.
2704
2705 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
2706
2707         PR target/39175
2708         * decl2.c (determine_visibility): If visibility changed and
2709         DECL_RTL has been already set, call make_decl_rtl to update symbol
2710         flags.
2711
2712 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
2713
2714         PR c++/39188
2715         * cp-tree.h (maybe_commonize_var): New.
2716
2717         * decl.c (maybe_commonize_var): Make it extern.
2718
2719         * decl2.c (finish_anon_union): Call maybe_commonize_var.
2720
2721 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
2722
2723         PR c++/39219
2724         * parser.c (cp_parser_enum_specifier): Apply all attributes.
2725
2726 2009-02-18  Jason Merrill  <jason@redhat.com>
2727
2728         * cfns.h: Tweak pathname for cfns.gperf.
2729
2730 2009-02-13  Jason Merrill  <jason@redhat.com>
2731
2732         PR c++/39070
2733         * semantics.c (finish_call_expr): Change koenig_p parm to int.
2734         If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates.
2735         * cp-tree.h: Adjust prototype.
2736         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1.
2737
2738 2009-02-12  Jason Merrill  <jason@redhat.com>
2739
2740         PR c++/38950
2741         * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type.
2742
2743 2009-02-11  Jason Merrill  <jason@redhat.com>
2744
2745         PR c++/39153
2746         * decl2.c (cp_write_global_declarations): 
2747         Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL.
2748
2749         PR c++/30111
2750         * init.c (build_value_init_noctor): Split out from...
2751         (build_value_init): ...here.
2752         (expand_aggr_init_1): Handle value-initialization.
2753         * cp-tree.h: Add declaration.
2754         * class.c (type_has_user_provided_constructor): 
2755         Handle non-class arguments.
2756
2757 2009-02-10  Jason Merrill  <jason@redhat.com>
2758
2759         PR c++/38649
2760         * class.c (defaultable_fn_p): Handle ... properly.
2761
2762         PR c++/36744
2763         * tree.c (lvalue_p_1): Condition rvalue ref handling on
2764         treat_class_rvalues_as_lvalues, too.
2765
2766 2009-02-10  Paolo Carlini  <paolo.carlini@oracle.com>
2767
2768         PR c++/34397
2769         * typeck.c (build_x_array_ref): New.
2770         * cp-tree.h: Declare it.
2771         * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF.
2772
2773 2009-02-09  Jason Merrill  <jason@redhat.com>
2774
2775         PR c++/39109
2776         * semantics.c (simplify_aggr_init_expr): Do zero-initialization here.
2777         * init.c (build_value_init): Not here. Don't build a TARGET_EXPR.
2778         * tree.c (get_target_expr): Handle AGGR_INIT_EXPR.
2779         * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling
2780         for build_value_init TARGET_EXPR.
2781         * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro.
2782
2783 2009-02-06  Paolo Carlini  <paolo.carlini@oracle.com>
2784
2785         PR c++/35147
2786         PR c++/37737
2787         * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH.
2788
2789 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
2790
2791         PR c++/39095
2792         * operators.def: Use COMPONENT_REF code for ->/pt operator again,
2793         remove ./dt operator.
2794         * mangle.c (write_expression): Handle COMPONENT_REF after handling
2795         ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it
2796         write_string ("dt") instead of using operators.def.
2797
2798 2009-02-03  Jason Merrill  <jason@redhat.com>
2799
2800         * typeck.c (cp_build_unary_op): Only complain about taking address
2801         of main if pedantic.
2802
2803 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
2804
2805         PR inline-asm/39059
2806         * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs.
2807
2808         PR c++/39056
2809         * typeck2.c (digest_init_r): Don't call process_init_constructor
2810         for COMPLEX_TYPE.
2811
2812 2009-02-03  Paolo Bonzini  <bonzini@gnu.org>
2813
2814         PR c++/36897
2815         * pt.c (convert_nontype_argument_function): Expect expr to be an
2816         ADDR_EXPR.
2817
2818         PR c++/37314
2819         * typeck.c (merge_types): Call resolve_typename_type if only
2820         one type is a typename.
2821
2822 2009-02-02  Jason Merrill  <jason@redhat.com>
2823
2824         PR c++/39054
2825         * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node 
2826         in BIT_NOT_EXPR.
2827
2828 2009-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
2829
2830         PR c++/39053
2831         * parser.c (cp_parser_pure_specifier): If there are no tokens left
2832         do not call cp_lexer_consume_token.
2833
2834 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
2835
2836         PR c++/39028
2837         * parser.c (cp_parser_already_scoped_statement): Handle __label__
2838         declarations.
2839
2840 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
2841
2842         PR c++/33465
2843         * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR.
2844
2845 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
2846
2847         PR c++/38655
2848         * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE.
2849
2850 2009-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
2851
2852         * typeck.c (invalid_nonstatic_memfn_p): Use
2853         DECL_NONSTATIC_MEMBER_FUNCTION_P.
2854
2855 2009-01-27  Paolo Carlini  <paolo.carlini@oracle.com>
2856
2857         PR c++/37554
2858         * call.c (build_over_call): If convert_for_arg_passing returns
2859         error_mark_node unconditionally return it.
2860
2861 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
2862
2863         * class.c (check_field_decls): Also inherit packed for bitfields
2864         regardless of their type.
2865
2866 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
2867
2868         PR c++/38930
2869         * decl2.c (grokfield): Reverting changes of PR c++/26693
2870         (save_template_attributes): Likewise.
2871         * decl.c (grokdeclarator): Likewise.
2872         * name-lookup.c (pushdecl_maybe_friend): Likewise.
2873         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise.
2874         (append_type_to_template_for_access_check): Likewise.
2875         * semantics.c (check_accessibility_of_qualified_id): Likewise.
2876         * pt.c (instantiate_class_template, instantiate_template ): Likewise.
2877         (tsubst): Likewise.
2878         (resolve_type_name_type): Likewise.
2879         (append_type_to_template_for_access_check): Likewise.
2880
2881 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
2882
2883         PR c++/26693
2884         * decl2.c (grokfield): when a typedef appears in a
2885         class, create the typedef variant type node for it.
2886         (save_template_attributes): Creating typedef variant type node
2887          here is now useless.
2888         * decl.c (grokdeclarator): If the typedef'ed struct/class was
2889         anonymous, set the proper type name to all its type variants.
2890         * name-lookup.c (pushdecl_maybe_friend): Reuse the
2891         set_underlying_type function to install typedef variant types.
2892         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
2893         macro.
2894         (append_type_to_template_for_access_check): New entry points.
2895         * semantics.c (check_accessibility_of_qualified_id):
2896         When a typedef that is a member of a class appears in a template,
2897         add it to the template. It will be ...
2898         * pt.c (instantiate_class_template, instantiate_template ): ... access
2899         checked at template instantiation time.
2900         (tsubst): Handle the case of being called with NULL args.
2901         (resolve_type_name_type): The type name should be the name of the
2902         main type variant.
2903         (append_type_to_template_for_access_check): New entry point.
2904
2905 2009-01-19  Jason Merrill  <jason@redhat.com>
2906
2907         PR c++/23287
2908         * parser.c (cp_parser_unqualified_id): In a template,
2909         accept ~identifier.
2910         * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE.
2911
2912 2009-01-16  Jason Merrill  <jason@redhat.com>
2913
2914         PR c++/38877
2915         * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF.
2916         * init.c (build_new): Don't call describable_type unless we
2917         have an auto.
2918
2919         PR c++/29470
2920         * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags.
2921
2922         PR c++/38579
2923         * search.c (protected_accessible_p): N doesn't vary.
2924
2925 2009-01-15  Jason Merrill  <jason@redhat.com>
2926
2927         PR c++/38850
2928         * pt.c (tsubst_copy_and_build): Tell finish_call_expr to
2929         accept hidden friends.
2930
2931 2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2932
2933         PR C++/29388
2934         * decl.c (grokdeclarator): Check for a non namespace/class context.
2935
2936 2009-01-15  Jason Merrill  <jason@redhat.com>
2937
2938         PR c++/36334
2939         PR c++/37646
2940         * tree.c (lvalue_p_1): Handle BASELINK.  A COMPONENT_REF to
2941         a function isn't necessarily an lvalue. Take tree, not const_tree.
2942         (lvalue_p, real_lvalue_p): Take tree, not const_tree.
2943         * typeck.c (lvalue_or_else): Likewise.
2944         * cp-tree.h: Adjust prototypes.
2945
2946 2009-01-15  Steve Ellcey  <sje@cup.hp.com>
2947
2948         PR c++/38357
2949         * pt.c (tsubst): Check for NULL args.
2950
2951 2009-01-15  Dodji Seketeli  <dodji@redhat.com>
2952
2953         PR c++/38636
2954         * name-lookup.c (pushtag): Don't create members to types that are not
2955         being created.
2956
2957 2009-01-14  Nick Clifton  <nickc@redhat.com>
2958
2959         PR c++/37862
2960         * parser.c: Pass cp_id_kind computed in
2961         cp_parser_postfix_dot_deref_expression to
2962         cp_parser_primary_expression.
2963
2964 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
2965
2966         PR c++/38795
2967         * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR,
2968         STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same
2969         as CAST_EXPR.
2970
2971 2009-01-12  Jason Merrill  <jason@redhat.com>
2972             Steve Ellcey  <sje@cup.hp.com>
2973
2974         PR c++/35109
2975         * name-lookup.c (lookup_name_real): Keep looking past a hidden 
2976         binding.
2977
2978 2009-01-12  Dodji Seketeli  <dodji@redhat.com>
2979
2980         PR c++/36019
2981         * pt.c (parameter_of_template_p): New function.
2982         * cp-tree.h: Declare it.
2983         * name-lookup.c (binding_to_template_parms_of_scope_p): New
2984         function.
2985         (outer_binding): Take template parameters in account when looking for
2986         a name binding.
2987
2988 2009-01-12  Jason Merrill  <jason@redhat.com>
2989
2990         PR c++/31488
2991         * tree.c (pod_type_p): Return 1 for structs created by the back end.
2992
2993 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
2994
2995         PR c/32041
2996         * parser.c (cp_parser_builtin_offsetof): Allow `->' in
2997         offsetof member-designator, handle it as `[0].'.
2998
2999         PR c++/38794
3000         * decl.c (start_function): If grokdeclarator hasn't returned
3001         FUNCTION_DECL nor error_mark_node, issue diagnostics.
3002
3003 2009-01-11  Jakub Jelinek  <jakub@redhat.com>
3004
3005         PR c++/36254
3006         * cp-gimplify.c (genericize_if_stmt): Renamed from ...
3007         (gimplify_if_stmt): ... this.
3008         (cp_gimplify_expr): Don't handle IF_STMT here.
3009         (cp_genericize_r): Call genericize_if_stmt for IF_STMT.
3010
3011 2009-01-10  Andrew Pinski  <pinskia@gmail.com>
3012
3013         PR c++/38648
3014         * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl.
3015
3016         PR c++/36695
3017         * typeck2.c (build_functional_cast): Check for reference type and NULL
3018         PARMS.
3019
3020 2009-01-09  Steve Ellcey  <sje@cup.hp.com>
3021
3022         * typeck.c (cp_build_unary_op): Check for ERROR_MARK.
3023
3024 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
3025
3026         PR c++/35335
3027         * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR.
3028
3029 2009-01-09  John F. Carr  <jfc@mit.edu>
3030
3031         PR c++/37877
3032         * parser.c (cp_parser_class_specifier): Clear
3033         parser->in_unbraced_linkage_specification_p while parsing class
3034         specifiers.
3035
3036 2009-01-07  Jakub Jelinek  <jakub@redhat.com>
3037
3038         PR c++/38725
3039         * semantics.c (finish_goto_stmt): Convert destination to
3040         void *.
3041
3042 2009-01-06  Jason Merrill  <jason@redhat.com>
3043
3044         PR c++/35297
3045         PR c++/35477
3046         PR c++/35784
3047         PR c++/36846
3048         PR c++/38276
3049         * pt.c (check_default_tmpl_args): Don't complain about
3050         out-of-order parameter packs in the enclosing class
3051         or parameter packs after default args.
3052         (coerce_template_parms): If we have more than one
3053         parameter pack, don't flatten argument packs.
3054         (template_args_equal): Handle argument packs.
3055         (comp_template_args): Don't flatten argument packs.
3056         (check_instantiated_arg): Split out from...
3057         (check_instantiated_args): Here.  Handle arg packs.
3058         (convert_template_argument): Just check that nontype argument
3059         packs have the right type.
3060
3061 2009-01-05  Dodji Seketeli  <dodji@redhat.com>
3062
3063         PR c++/38472
3064         * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo.
3065
3066 2009-01-05  Jason Merrill  <jason@redhat.com>
3067
3068         PR c++/38698
3069         * typeck2.c (process_init_constructor_union): Handle union with
3070         no fields.
3071
3072         * mangle.c (write_expression): Remove mangling for zero-operand
3073         casts.
3074
3075         PR c++/38701
3076         * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid
3077         defaulting.
3078
3079         PR c++/38702
3080         * class.c (defaultable_fn_p): Only operator== can be a copy
3081         assignment operator.
3082
3083 2009-01-02  Jason Merrill  <jason@redhat.com>
3084
3085         PR c++/38698
3086         * typeck2.c (process_init_constructor_union): Handle excess
3087         initializers.
3088         (process_init_constructor_record): Likewise.
3089
3090         PR c++/38684
3091         * typeck2.c (digest_init_r): Don't use process_init_constructor
3092         for non-aggregate classes.
3093
3094 \f
3095 Copyright (C) 2009 Free Software Foundation, Inc.
3096
3097 Copying and distribution of this file, with or without modification,
3098 are permitted in any medium without royalty provided the copyright
3099 notice and this notice are preserved.