OSDN Git Service

f9b197144dc424e0028778aa39442d1c7748ba45
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2008-05-29  Paolo Carlini  <paolo.carlini@oracle.com>
2
3         PR c++/35243
4         * pt.c (tsubst_initializer_list): Consistently check the tree
5         returned by tsubst_pack_expansion for error_mark_node.
6
7 2008-05-27  Michael Matz  <matz@suse.de>
8
9         PR c++/27975
10         * call.c (build_new_op): Make warning conditional on
11         OPT_Wenum_compare.
12
13 2008-05-27  Alexandre Oliva  <aoliva@redhat.com>
14
15         PR c++/35909
16         * call.c (convert_like_real): Convert bitfield to desired type
17         before creating temporary.
18
19 2008-05-26  Daniel Franke  <franke.daniel@gmail.com>
20
21         * Makefile.in: Adjusted dependencies on c-incpath.o.
22
23 2008-05-23  Jakub Jelinek  <jakub@redhat.com>
24
25         PR c++/36237
26         * cp-gimplify.c (cxx_omp_clause_apply_fn): Call
27         fold_build_cleanup_point_expr on build_call_a results.
28
29         PR c++/36308
30         * semantics.c (omp_clause_info_fndecl): New function.
31         (finish_omp_clauses): Use it.
32
33 2008-05-21  Jakub Jelinek  <jakub@redhat.com>
34
35         PR c++/36023
36         * cp-tree.h (check_array_initializer): New prototype.
37         * decl.c (check_array_initializer): New function.
38         (check_initializer): Call it.
39         * semantics.c (finish_compound_literal): Call it for ARRAY_TYPEs.
40
41 2008-05-21  Tom Tromey  <tromey@redhat.com>
42
43         * mangle.c (save_partially_mangled_name): Remove.
44         (restore_partially_mangled_name): Likewise.
45         (write_encoding): Update.
46         (write_unqualified_name): Likewise.
47         (start_mangling): Always use name_obstack.  Remove 'ident_p'
48         argument.
49         (get_identifier_nocopy): Remove.
50         (finish_mangling_internal): Rename from finish_mangling.
51         (finish_mangling): New function.
52         (finish_mangling_get_identifier): Likewise.
53         (partially_mangled_name, partially_mangled_name_len): Remove.
54         (mangle_decl_string): Change return type.  Update.
55         (mangle_decl, mangle_type_string, mangle_special_for_type,
56         mangle_ctor_vtbl_for_type, mangle_thunk, mangle_guard_variable,
57         mangle_ref_init_variable): Update.
58
59 2008-05-12  Paolo Carlini  <paolo.carlini@oracle.com>
60
61         PR c++/35331
62         * semantics.c (begin_class_definition): Extend checks on the first
63         argument.
64
65 2008-05-12  Tomas Bily  <tbily@suse.cz>
66
67         * typeck2.c (digest_init): Use CONVERT_EXPR_P.
68         * call.c (build_over_call): Likewise.
69         * error.c (dump_expr): Use CASE_CONVERT.
70         * class.c (fixed_type_or_null): Likewise.
71
72 2008-05-11  Volker Reichelt  <v.reichelt@netcologne.de>
73
74         * parser.c (cp_parser_omp_clause_reduction): Add missing "expected"
75         in error message.
76         (cp_parser_omp_clause_schedule): Remove superfluous "expected"
77         in error message.
78
79 2008-05-07  Kenneth Zadeck  <zadeck@naturalbridge.com>
80
81         * decl.c (duplicate_decls): Merge in DECL_PURE_P, TREE_READONLY,
82         DECL_LOOPING_CONST_OR_PURE_P attributes.
83         * rtti.c (build_dynamic_cast_1): Rename DECL_IS_PURE to
84         DECL_PURE_P.
85
86 2008-05-02  Simon Baldwin  <simonb@google.com>
87
88         PR bootstrap/36108
89         * typeck.c (build_array_ref): Remove warn_array_subscript_range.
90
91 2008-05-01  Simon Baldwin  <simonb@google.com>
92
93         * typeck.c (build_array_ref): Call warn_array_subscript_range.
94
95 2008-04-30  Jakub Jelinek  <jakub@redhat.com>
96
97         PR c++/35986
98         * pt.c (more_specialized_fn): Stop the loop even if there are no
99         arguments before ellipsis.
100
101 2008-04-29  Jakub Jelinek  <jakub@redhat.com>
102
103         PR c++/35650
104         * parser.c (cp_parser_lookup_name): Look through single function
105         OVERLOAD.
106
107         PR c++/35987
108         * typeck.c (cp_build_modify_expr) <case PREINCREMENT_EXPR>: Don't build
109         COMPOUND_EXPR if the second argument would be error_mark_node.
110
111 2008-04-28  Jason Merrill  <jason@redhat.com>
112             Liu Guanwei <liu_gw@163.com>
113
114         PR c++/57
115         * parser.c (cp_parser_parameter_declaration): Handle < ambiguity
116         in default arguments.
117
118 2008-04-25  Jan Hubicka  <jh@suse.cz>
119
120         * typeck.c (check_return_expr): Update.
121         * decl.c (start_preparsed_function): Update.
122         * method.c (use_thunk): Update.
123
124 2008-04-24  Jakub Jelinek  <jakub@redhat.com>
125
126         PR c++/35758
127         * cp-tree.h (cp_reconstruct_complex_type): New prototype.
128         * cp-objcp-common.h (LANG_HOOKS_RECONSTRUCT_COMPLEX_TYPE): Define.
129         * decl2.c (is_late_template_attribute): Only make vector_size
130         late tmpl attribute if argument is type or value dependent.
131         (cp_reconstruct_complex_type): New function.
132
133 2008-04-24  Richard Guenther  <rguenther@suse.de>
134
135         * typeck.c (cp_build_function_call): Call
136         check_builtin_function_arguments.
137
138 2008-04-23  Paolo Bonzini  <bonzini@gnu.org>
139
140         * typeck.c (get_member_function_from_ptrfunc): Don't set TREE_INVARIANT.
141         (build_ptrmemfunc1): Don't set TREE_INVARIANT.
142         * init.c (build_zero_init): Don't set TREE_INVARIANT.
143         * class.c (build_base_path): Don't set TREE_INVARIANT.
144         (build_vtbl_ref_1): Don't set TREE_INVARIANT.
145         (build_vtbl_initializer): Don't set TREE_INVARIANT.
146         * decl.c (build_enumerator): Don't set TREE_INVARIANT.
147         * rtti.c (tinfo_base_init): Don't set TREE_INVARIANT.
148         (generic_initializer): Don't set TREE_INVARIANT.
149         (ptr_initializer): Don't set TREE_INVARIANT.
150         (ptm_initializer): Don't set TREE_INVARIANT.
151         (class_initializer): Don't set TREE_INVARIANT.
152         * typeck2.c (process_init_constructor): Don't set TREE_INVARIANT.
153         * pt.c (push_inline_template_parms_recursive): Don't set TREE_INVARIANT.
154         (build_template_parm_index): Don't set TREE_INVARIANT.
155         (reduce_template_parm_level): Don't set TREE_INVARIANT.
156         (process_template_parm): Don't set TREE_INVARIANT.
157
158 2008-04-22  Jason Merrill  <jason@redhat.com>
159
160         PR c++/35316
161         * semantics.c (finish_decltype_type): Check DECL_BIT_FIELD_TYPE
162         to see if DECL_BIT_FIELD_TYPE should be used, not some other flag.
163         * typeck.c (is_bitfield_expr_with_lowered_type): Likewise.
164
165 2008-04-22  Jakub Jelinek  <jakub@redhat.com>
166
167         PR c++/35747
168         * semantics.c (finish_stmt_expr): Call pop_stmt_list even if the stmt
169         expression is errorneous.
170
171 2008-04-21  Jason Merrill  <jason@redhat.com>
172
173         PR c++/35325
174         * tree.c (cp_tree_equal): Handle FIXED_CST.
175
176         PR c++/35678
177         * pt.c (template_template_parm_bindings_ok_p): Set 
178         processing_template_decl while in this function.
179
180 2008-04-18  Kris Van Hees <kris.van.hees@oracle.com>
181
182         * cvt.c (type_promotes_to): Support char16_t and char32_t.
183         * decl.c (grokdeclarator): Disallow signed/unsigned/short/long on
184         char16_t and char32_t.
185         * lex.c (reswords): Add char16_t and char32_t (for c++0x).
186         * mangle.c (write_builtin_type): Mangle char16_t/char32_t as vendor
187         extended builtin type "u8char{16,32}_t".
188         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): Support
189         RID_CHAR{16,32}.
190         (cp_lexer_print_token): Support CPP_STRING{16,32}.
191         (cp_parser_is_string_literal): Idem.
192         (cp_parser_string_literal): Idem.
193         (cp_parser_primary_expression): Support CPP_CHAR{16,32} and
194         CPP_STRING{16,32}.
195         (cp_parser_simple_type_specifier): Support RID_CHAR{16,32}. 
196         * tree.c (char_type_p): Support char16_t and char32_t as char types.
197         * typeck.c (string_conv_p): Support char16_t and char32_t.
198
199 2008-04-17  Jason Merrill  <jason@redhat.com>
200
201         PR c++/35773
202         * call.c (build_user_type_conversion_1): Represent second step of 
203         copy-init with an rvalue conversion.
204         (convert_like_real) [ck_user]: Don't implicitly add it here.
205
206 2008-04-15  Jakub Jelinek  <jakub@redhat.com>
207
208         PR c/35751
209         * decl.c (layout_var_decl): If extern or static var has variable
210         size, set TREE_TYPE (decl) to error_mark_node.
211
212 2008-04-16  Danny Smith  <dannysmith@users.sourceforge.net>
213
214        PR target/35921
215        * optimize.c (maybe_clone_body): Copy DECL_DLLIMPORT_P flag
216        to clone.
217
218 2008-04-09  Jason Merrill  <jason@redhat.com>
219
220         PR c++/35708
221         * semantics.c (finish_compound_literal): Return a TARGET_EXPR, 
222         not a pushed variable.
223
224 2008-04-09  Volker Reichelt  <v.reichelt@netcologne.de>
225
226         * call.c (build_op_delete_call): Fix quotation in warning message.
227         * decl.c (grokdeclarator): Quote keyword in error message.
228         * pt.c (check_for_bare_parameter_packs): Fix quotation in error
229         message.
230
231         * parser.c (cp_parser_check_type_definition): Print error string
232         directly rather than using "%s".
233         (cp_parser_postfix_expression): Fix quotation.
234         (cp_parser_decltype): Likewise.
235         (cp_parser_sizeof_operand): Fix quotation. Simplify.
236
237         * parser.c (cp_parser_non_integral_constant_expression): Build error
238         message with CONCAT rather than using "%s".
239         (cp_parser_primary_expression): Fix quotation.
240         (cp_parser_postfix_expression): Likewise.
241         (cp_parser_postfix_dot_deref_expression): Likewise.
242         (cp_parser_unary_expression): Likewise.
243         (cp_parser_new_expression): Likewise.
244         (cp_parser_delete_expression): Likewise.
245
246         * parser.c (cp_parser_asm_specification_opt): Print CPP_CLOSE_PAREN
247         as `)', not as `('.  Fix quotation.
248         (cp_parser_consume_semicolon_at_end_of_statement): Fix quotation.
249         (cp_parser_primary_expression): Likewise.
250         (cp_parser_nested_name_specifier_opt): Likewise.
251         (cp_parser_postfix_expression): Likewise.
252         (cp_parser_postfix_open_square_expression): Likewise.
253         (cp_parser_parenthesized_expression_list): Likewise.
254         (cp_parser_pseudo_destructor_name): Likewise.
255         (cp_parser_new_expression): Likewise.
256         (cp_parser_direct_new_declarator): Likewise.
257         (cp_parser_delete_expression): Likewise.
258         (cp_parser_cast_expression): Likewise.
259         (cp_parser_question_colon_clause): Likewise.
260         (cp_parser_builtin_offsetof): Likewise.
261         (cp_parser_trait_expr): Likewise.
262         (cp_parser_label_for_labeled_statement): Likewise.
263         (cp_parser_compound_statement): Likewise.
264         (cp_parser_selection_statement): Likewise.
265         (cp_parser_condition): Likewise.
266         (cp_parser_iteration_statement): Likewise.
267         (cp_parser_already_scoped_statement): Likewise.
268         (cp_parser_simple_declaration): Likewise.
269         (cp_parser_linkage_specification): Likewise.
270         (cp_parser_static_assert): Likewise.
271         (cp_parser_decltype): Likewise.
272         (cp_parser_conversion_function_id): Likewise.
273         (cp_parser_operator_function_id): Likewise.
274         (cp_parser_operator): Likewise.
275         (cp_parser_type_parameter): Likewise.
276         (cp_parser_template_id): Likewise.
277         (cp_parser_explicit_instantiation): Likewise.
278         (cp_parser_explicit_specialization): Likewise.
279         (cp_parser_enum_specifier): Likewise.
280         (cp_parser_namespace_definition): Likewise.
281         (cp_parser_namespace_alias_definition): Likewise.
282         (cp_parser_using_declaration): Likewise.
283         (cp_parser_using_directive): Likewise.
284         (cp_parser_asm_definition): Likewise.
285         (cp_parser_direct_declarator): Likewise.
286         (cp_parser_ptr_operator): Likewise.
287         (cp_parser_parameter_declaration_clause): Likewise.
288         (cp_parser_initializer_clause): Likewise.
289         (cp_parser_class_specifier): Likewise.
290         (cp_parser_member_specification_opt): Likewise.
291         (cp_parser_member_declaration): Likewise.
292         (cp_parser_pure_specifier): Likewise.
293         (cp_parser_constant_initializer): Likewise.
294         (cp_parser_base_clause): Likewise.
295         (cp_parser_exception_specification_opt): Likewise.
296         (cp_parser_try_block): Likewise.
297         (cp_parser_function_try_block): Likewise.
298         (cp_parser_handler): Likewise.
299         (cp_parser_throw_expression): Likewise.
300         (cp_parser_asm_operand_list): Likewise.
301         (cp_parser_attributes_opt): Likewise.
302         (cp_parser_label_declaration): Likewise.
303         (cp_parser_constructor_declarator_p): Likewise.
304         (cp_parser_template_declaration_after_export): Likewise.
305         (cp_parser_single_declaration): Likewise.
306         (cp_parser_objc_message_expression): Likewise.
307         (cp_parser_objc_message_args): Likewise.
308         (cp_parser_objc_encode_expression): Likewise.
309         (cp_parser_objc_defs_expression): Likewise.
310         (cp_parser_objc_protocol_expression): Likewise.
311         (cp_parser_objc_selector_expression): Likewise.
312         (cp_parser_objc_protocol_refs_opt): Likewise.
313         (cp_parser_objc_typename): Likewise.
314         (cp_parser_objc_method_keyword_params): Likewise.
315         (cp_parser_objc_superclass_or_category): Likewise.
316         (cp_parser_objc_try_catch_finally_statement): Likewise.
317         (cp_parser_objc_synchronized_statement): Likewise.
318         (cp_parser_objc_throw_statement): Likewise.
319         (cp_parser_omp_var_list_no_open): Likewise.
320         (cp_parser_omp_clause_default): Likewise.
321         (cp_parser_omp_clause_if): Likewise.
322         (cp_parser_omp_clause_num_threads): Likewise.
323         (cp_parser_omp_clause_reduction): Likewise.
324         (cp_parser_omp_clause_schedule): Likewise.
325         (cp_parser_omp_critical): Likewise.
326         (cp_parser_omp_for_loop): Likewise.
327         (cp_parser_omp_sections_scope): Likewise.
328
329         * parser.c (cp_parser_template_parameter_list): Simplify.
330
331 2008-04-07  James E. Wilson  <wilson@tuliptree.org>
332
333         * pt.c (tsubst_copy, case SIZEOF_EXPR): Initialize len.
334
335 2008-04-07  Jason Merrill  <jason@redhat.com>
336
337         PR c++/35734
338         * class.c (type_has_user_nondefault_constructor): A template 
339         counts as a nondefault constructor.
340
341 2008-04-04  Paolo Bonzini  <bonzini@gnu.org>
342
343         * decl.c (cxx_push_function_context): Delete.
344         (cxx_pop_function_context): Delete.
345         (start_preparsed_function): Merge cxx_push_function_context (!f->decl
346         code only).
347         * cp-objcp-common.h (LANG_HOOKS_FUNCTION_INIT,
348         LANG_HOOKS_FUNCTION_FINAL): Delete.
349         (LANG_HOOKS_FUNCTION_MISSING_NORETURN_OK_P): Rename to
350         LANG_HOOKS_MISSING_NORETURN_OK_P.
351         * cp-tree.h (cxx_push_function_context, cxx_pop_function_context):
352         Delete prototype.
353         * semantics.c (current_stmt_tree): Fix comment.
354
355 2008-04-03  Jakub Jelinek  <jakub@redhat.com>
356
357         PR c++/35741
358         * semantics.c (finish_offsetof): Undo effect of convert_from_reference
359         before calling fold_offsetof.
360
361 2008-04-03  Tom Tromey  <tromey@redhat.com>
362
363         * Make-lang.in (c++_OBJS): New variable.
364
365 2008-04-03  Paolo Bonzini  <bonzini@gnu.org>
366     
367         * optimize.c (clone_body): New, from tree-inline.c.
368
369 2008-04-03  Paolo Bonzini  <bonzini@gnu.org>
370
371         * method.c (synthesize_method): Use {push,pop}_function_context.
372         * name-lookup.c (push_to_top_level): Likewise.
373         * parser.c (cp_parser_late_parsing_for_member): Likewise.
374
375 2008-03-30  Volker Reichelt  <v.reichelt@netcologne.de>
376
377         PR c++/35578
378         * parser.c (cp_parser_decl_specifier_seq): Add location to error
379         message.
380
381 2008-03-27  Tom Tromey  <tromey@redhat.com>
382
383         * Make-lang.in: Revert automatic dependency patch.
384
385 2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>
386
387         PR obj-c++/35704
388         * typeck.c (build_x_compound_expr): Use cp_build_compound_expr.
389         (build_compound_expr): New, for compatibility with C
390         build_compound_expr.
391         (cp_build_compound_expr): Renamed from build_compound_expr.
392         (build_c_cast): New, for compatibility with C build_c_cast.
393         (cp_build_c_cast): Renamed from build_c_cast.
394         * init.c (build_vec_delete_1): Fix calls to build_compound_expr.
395         * decl.c (cxx_maybe_build_cleanup): Ditto.
396         * cp-tree.h (build_compound_expr): Add C-compatibile prototype.
397         (cp_build_compound_expr): Renamed from build_compound_expr.
398         (build_c_cast): Add C-compatible prototype.
399         (cp_build_c_cast): Renamed from build_c_cast.
400         * typeck2.c (build_functional_cast): Use cp_build_c_cast.
401         * parser.c (cp_parser_cast_expression): Fix call to build_c_cast.
402
403 2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>
404
405         * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Cope with
406         tsubst_pack_expansion returning a pack expansion, or a TREE_VEC
407         ending in a pack expansion, both of which can occur when
408         substituting into a nested template.
409         (tsubst_copy_and_build) <case SIZEOF_EXPR>: When we're
410         instantiating the sizeof...(X) form, make tsubst_copy do the work.
411         * parser.c (cp_parser_template_parameter): Deal with unnamed
412         non-type template parameter packs identified by pack expansions in
413         the parameter type.
414
415 2008-03-26  Jakub Jelinek  <jakub@redhat.com>
416
417         PR c++/35546
418         * pt.c (apply_late_template_attributes): Don't call tsubst on
419         first attribute argument if it is IDENTIFIER_NODE.
420
421         PR c++/35332
422         * error.c (dump_expr): Pass {,UN}ORDERED_EXPR, UN{LT,LE,GT,GE,EQ}_EXPR
423         and LTGT_EXPR to pp_expression.
424
425 2008-03-26  Douglas Gregor  <doug.gregor@gmail.com>
426
427        * pt.c (coerce_template_template_parm): Moved the body of the loop
428        of coerce_template_template_parms here, to make iteration over a
429        template argument pack simpler.
430        Also, allow matching of a template parameter pack in the template
431        template parameter to a template parameter in the template
432        template argument.
433        (coerce_template_template_parms): Deal with variadic template
434        template parameters. Use coerce_template_template_parm.
435        (unify): Make sure we coerce the template template argument's
436        template arguments to the template template parameter's template
437        parameters, not the other way around.
438
439 2008-03-25  Tom Tromey  <tromey@redhat.com>
440
441         * Make-lang.in: Remove .o targets.
442         (cp/g++spec.o): Moved to cp/.  Reduce to variable setting.
443         (GXX_OBJS): Update.
444         (c++_OBJS): New variable.
445         (CXX_TREE_H, CXX_PRETTY_PRINT_H): Remove.
446
447 2008-03-25  Douglas Gregor  <doug.gregor@gmail.com>
448
449        * typeck.c (composite_pointer_type_r): Add SFINAE support.
450        (composite_pointer_type): Ditto.
451        (common_type): Fix call to composite_pointer_type.
452        (cxx_sizeof_nowarn): New; used to be a macro.
453        (cxx_sizeof_expr): Add SFINAE support.
454        (cxx_alignof_expr): Ditto.
455        (decay_conversion): Fix calls for SFINAE support.
456        (rationalize_conditional_expr): Add SFINAE support.
457        (build_class_member_access_expr): Ditto.
458        (finish_class_member_access_expr): Ditto.
459        (build_x_indirect_ref): Ditto.
460        (build_indirect_ref): Original version renamed to
461        cp_build_indirect_ref; new version provides a bridge from
462        c-common.
463        (cp_build_indirect_ref): Was build_indirect_ref; added SFINAE
464        support.
465        (get_member_function_from_ptrfunc): Fix calls for SFINAE support.
466        (build_function_call): Original version renamed to
467        cp_build_function_call; new version provides a bridge from
468        c-common.
469        (cp_build_function_call): Was build_function_call; added SFINAE
470        support.
471        (convert_arguments): Add SFINAE support.
472        (build_x_binary_op): Ditto.
473        (build_binary_op): Original version renamed to cp_build_binary_op;
474        new version provides a bridge from c-common.
475        (cp_build_binary_op): Was build_binary_op; added SFINAE support.
476        (pointer_diff): Fix calls for SFINAE.
477        (build_x_unary_op): Add SFINAE support.
478        (condition_conversion): Fix calls for SFINAE.
479        (build_unary_op): Original version renamed to cp_build_unary_op;
480        new version provides a bridge from c-common.
481        (cp_build_unary_op): Was build_unary_op; added SFINAE support.
482        (unary_complex_lvalue): Fix calls for SFINAE.
483        (build_x_conditional_expr): Add SFINAE support.
484        (build_x_compound_expr_from_list): Fix calls for SFINAE.
485        (build_x_compound_expr): Add SFINAE support.
486        (convert_ptrmem): Fix calls for SFINAE.
487        (build_static_cast_1): Add SFINAE support.
488        (build_static_cast): Ditto.
489        (build_reinterpret_cast_1): Ditto.
490        (build_reinterpret_cast): Ditto.
491        (build_const_cast_1): Ditto.
492        (build_const_cast): Ditto.
493        (build_c_cast): Ditto.
494        (build_modify_expr): Original version renamed to
495        cp_build_modify_expr; new version provides a bridge from c-common.
496        (cp_build_modify_expr): Was build_modify_expr; added SFINAE
497        support.
498        (build_x_modify_expr): Add SFINAE support.
499        (build_ptrmemfunc): Fix calls for SFINAE.
500        (convert_for_assignment): Add SFINAE support.
501        (convert_for_initialization): Ditto.
502        (check_return_expr): Fix calls for SFINAE.
503        (lvalue_or_else): Add SFINAE support.
504        * init.c (perform_member_init): Fix calls for SFINAE.
505        (emit_mem_initializers): Ditto.
506        (expand_virtual_init): Ditto.
507        (expand_cleanup_for_base): Ditto.
508        (build_aggr_init): Add SFINAE support.
509        (expand_default_init): Ditto.
510        (expand_aggr_init_1): Fix calls for SFINAE.
511        (build_offset_ref): Ditto.
512        (build_new_1): Add SFINAE support.
513        (build_new): Ditto.
514        (build_vec_delete_1): Fix calls for SFINAE.
515        (get_temp_regvar): Ditto.
516        (build_vec_init): Add SFINAE support.
517        (build_dtor_call): Fix calls for SFINAE.
518        (build_delete): Ditto.
519        (push_base_cleanups): Ditto.
520        (build_vec_delete_1): Ditto.
521        * class.c (build_base_path): Fix calls for SFINAE.
522        (build_simple_base_path): Ditto.
523        (convert_to_base_statically): Ditto.
524        (build_vfn_ref): Ditto.
525        (resolve_address_of_overloaded_function): Ditto.
526        * decl.c (check_initializer): Fix calls for SFINAE.
527        (register_dtor_fn): Ditto.
528        (compute_array_index_type): Ditto.
529        (finish_enum): Ditto.
530        (start_preparsed_function): Ditto.
531        (cxx_maybe_build_cleanup): Ditto.
532        * call.c (convert_like): Add COMPLAIN argument.
533        (convert_like_with_context): Ditto.
534        (build_this): Fix calls for SFINAE.
535        (build_user_type_conversion): Ditto.
536        (resolve_args): Ditto.
537        (build_new_function_call): Add SFINAE support.
538        (build_operator_new_call): Fix calls for SFINAE.
539        (build_object_call): Add SFINAE support.
540        (build_conditional_expr): Ditto.
541        (build_new_op): Ditto.
542        (build_op_delete_call): Fix calls for SFINAE.
543        (build_temp): Ditto.
544        (convert_like_real): Add SFINAE support.
545        (build_x_va_arg): Fix calls for SFINAE.
546        (convert_default_arg): Ditto.
547        (build_over_call): Add SFINAE support.
548        (build_java_interface_fn_ref): Fix calls for SFINAE.
549        (build_special_member_call): Add SFINAE support.
550        (build_new_method_call): Ditto.
551        (perform_implicit_conversion): Ditto.
552        (perform_direct_initialization_if_possible): Ditto.
553        (initialize_reference): Fix calls for SFINAE.
554        * method.c (do_build_assign_ref): Fix calls for SFINAE.
555        * rtti.c (build_headof): Fix calls for SFINAE.
556        (get_tinfo_decl_dynamic): Ditto.
557        (get_typeid): Ditto.
558        (build_dynamic_cast_1): Add SFINAE support.
559        (build_dynamic_cast): Ditto.
560        (tinfo_base_init): Fix calls for SFINAE.
561        * except.c (do_get_exception_ptr): Fix calls for SFINAE.
562        (do_end_catch): Ditto.
563        (initialize_handler_parm): Ditto.
564        (expand_start_catch_block): Ditto.
565        (do_allocate_exception): Ditto.
566        (do_free_exception): Ditto.
567        (build_throw): Ditto.
568        * cvt.c (build_up_reference): Fix calls for SFINAE.
569        (convert_to_reference): Ditto.
570        (ocp_convert): Ditto.
571        (convert_to_void): Add SFINAE support.
572        * tree.c (build_dummy_object): Fix calls for SFINAE.
573        (stabilize_expr): Ditto.
574        * cp-tree.h (build_conditional_expr): Add tsubst_flags_t
575        parameter.
576        (build_new_method_call): Ditto.
577        (build_special_member_call): Ditto.
578        (build_new_op): Ditto.
579        (perform_implicit_conversion): Ditto.
580        (perform_direct_initialization_if_possible): Ditto.
581        (convert_to_void): Ditto.
582        (build_aggr_init): Ditto.
583        (build_new): Ditto.
584        (build_vec_init): Ditto.
585        (build_dynamic_cast): Ditto.
586        (finish_call_expr): Ditto
587        (cxx_sizeof_or_alignof_expr): Add COMPLAIN parameter.
588        (cxx_sizeof_nowarn): Remove macro; add function declaration.
589        (build_class_member_access_expr): Add tsubst_flags_t parameter.
590        (finish_class_member_access_expr): Ditto.
591        (build_x_indirect_ref): Ditto.
592        (cp_build_indirect_ref): New.
593        (cp_build_function_call): Add tsubst_flags_t parameter.
594        (build_x_unary_op): Ditto.
595        (cp_build_unary_op): New.
596        (build_x_conditional_expr): Add tsubst_flags_t parameter.
597        (build_x_compound_expr): Ditto.
598        (build_compound_expr): Ditto.
599        (build_static_cast): Ditto.
600        (build_reinterpret_cast): Ditto.
601        (build_const_cast): Ditto.
602        (build_c_cast): Ditto.
603        (build_x_modify_expr): Ditto.
604        (cp_build_modify_expr): New.
605        (convert_for_initialization): Add tsubst_flags_t parameter.
606        (cp_build_binary_op): Remove macro; add function declaration.
607        (invalid_nonstatic_memfn_p): Add tsubst_flags_t parameter.
608        (lvalue_or_else): Ditto.
609        (build_functional_cast): Ditto.
610        * typeck2.c (digest_init): Fix calls for SFINAE.
611        (process_init_constructor_array): Ditto.
612        (process_init_constructor_record): Ditto.
613        (build_x_arrow): Ditto.
614        (build_m_component_ref): Ditto.
615        (build_functional_cast): Add SFINAE support.
616        * pt.c (tsubst_copy_and_build): Add (more) SFINAE support.
617        * semantics.c (simplify_loop_decl_cond): Fix calls for SFINAE.
618        (finish_expr_stmt): Ditto.
619        (finish_for_expr): Ditto.
620        (finish_asm_stmt): Ditto.
621        (finish_non_static_data_member): Ditto.
622        (finish_qualified_id_expr): Ditto.
623        (finish_call_expr): Add SFINAE support.
624        (finish_increment_expr): Fix calls for SFINAE.
625        (finish_unary_op_expr): Ditto.
626        (simplify_aggr_init_expr): Ditto.
627        (finish_omp_clauses): Ditto.
628        (finish_omp_for): Ditto.
629        (finish_omp_barrier): Ditto.
630        (finish_omo_flush): Ditto.
631        * decl2.c (grok_array_decl): Fix calls or SFINAE.
632        (build_anon_union_vars): Ditto.
633        (get_guard_cond): Ditto.
634        (set_guard): Ditto.
635        (one_static_initialization_or_destruction): Ditto.
636        (do_static_initialization_or_destruction): Ditto.
637        (generate_ctor_or_dtor_function): Ditto.
638        (build_offset_ref_call_from_tree): Ditto.
639        * parser.c (cp_parser_postfix_expression): Fix calls for SFINAE.
640        (cp_parser_postfix_dot_deref_expression): Ditto.
641        (cp_parser_unary_expression): Ditto.
642        (cp_parser_new_expression): Ditto.
643        (cp_parser_cast_expression): Ditto.
644        (cp_parser_binary_expression): Ditto.
645        (cp_parser_question_colon_clause): Ditto.
646        (cp_parser_assignment_expression): Ditto.
647        (cp_parser_expression): Ditto.
648        (cp_parser_builtin_offsetof): Ditto.
649        (cp_parser_template_argument): Ditto.
650        (cp_parser_functional_cast): Ditto.
651
652 2008-03-24  Tom Tromey  <tromey@redhat.com>
653
654         * lex.c (handle_pragma_interface): Don't copy the filename.
655         (handle_pragma_implementation): Copy filename using xstrdup.
656
657 2008-03-21  Paolo Carlini  <pcarlini@suse.de>
658
659         * cp-tree.h (IS_AGGR_TYPE): Rename to MAYBE_CLASS_TYPE_P.
660         (SET_IS_AGGR_TYPE): Rename to SET_CLASS_TYPE_P.
661         (IS_AGGR_TYPE_CODE): Rename to RECORD_OR_UNION_CODE_P.
662         (PROMOTES_TO_AGGR_TYPE): Remove.
663         (CLASS_TYPE_P, TYPE_NON_AGGREGATE_CLASS): Adjust.
664         * typeck.c (unary_complex_lvalue, build_modify_expr,
665         convert_for_initialization): Adjust.
666         * init.c (is_aggr_type): Remove.
667         (is_class_type): Add.
668         (build_offset_ref, build_new_1, build_vec_delete_1, build_vec_init,
669         build_delete): Adjust.
670         * lex.c (make_aggr_type): Remove.
671         (make_class_type): Add.
672         (cxx_make_type): Adjust.
673         * class.c (finish_struct_1, fixed_type_or_null, is_empty_class):
674         Adjust.
675         * decl.c (build_typename_type, make_typename_type,
676         make_unbound_class_template, cxx_init_decl_processing,
677         check_tag_decl, groktypename, start_decl_1, layout_var_decl,
678         check_initializer, cp_finish_decl, build_ptrmemfunc_type, grokparms,
679         grok_op_properties, xref_tag, check_function_type): Adjust.
680         * call.c (check_dtor_name, standard_conversion, implicit_conversion,
681         add_builtin_candidate, add_builtin_candidates,
682         build_user_type_conversion_1, convert_like_real, build_cxx_call,
683         is_subseq, compare_ics): Adjust.
684         * method.c (use_thunk): Adjust.
685         * rtti.c (build_dynamic_cast_1, create_pseudo_type_info,
686         create_tinfo_types): Adjust.
687         * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
688         build_up_reference, convert_to_reference, convert_from_reference,
689         ocp_convert, build_expr_type_conversion): Adjust.
690         * tree.c (bind_template_template_parm, error_type): Adjust.
691         * dump.c (cp_dump_tree): Adjust.
692         * search.c (lookup_member): Adjust.
693         * friend.c (make_friend_class, do_friend): Adjust.
694         * typeck2.c (store_init_value, process_init_constructor_array,
695         process_init_constructor_record, build_x_arrow, build_m_component_ref,
696         build_functional_cast): Adjust.
697         * pt.c (finish_member_template_decl, process_template_parm,
698         lookup_template_class, tsubst_function_type, tsubst,
699         tsubst_copy_and_build, get_template_base, bt_instantiate_type_proc):
700         Adjust.
701         * semantics.c (begin_class_definition, finish_base_specifier,
702         finish_typeof, cxx_omp_predetermined_sharing, finish_decltype_type):
703         Adjust.
704         * name-lookup.c (constructor_name_p, push_overloaded_decl,
705         do_class_using_decl, lookup_qualified_name,
706         maybe_process_template_type_declaration): Adjust.
707         * decl2.c (grok_array_decl, check_member_template,
708         constrain_class_visibility): Adjust.
709         * parser.c (cp_parser_class_name): Adjust.
710
711 2008-03-18  Paolo Bonzini  <bonzini@gnu.org>
712
713         * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Delete.
714         
715 2008-03-17  Jason Merrill  <jason@redhat.com>
716
717         PR c++/35548
718         * call.c (reference_binding): Check LOOKUP_NO_TEMP_BIND when binding
719         a temp directly to a reference as per DR391.
720
721 2008-03-12  Richard Guenther  <rguenther@suse.de>
722
723         PR c++/35469
724         Revert:
725         2008-02-04  Richard Guenther  <rguenther@suse.de>
726
727         PR java/35035
728         * decl.c (record_builtin_java_type): Make jboolean a
729         integer type again where its mode doesn't match that of bool.
730
731         2008-01-25  Richard Guenther  <rguenther@suse.de>
732
733         PR c++/33887
734         * decl.c (record_builtin_java_type): Make __java_boolean
735         a variant of bool.
736         * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check
737         after TYPE_MAIN_VARIANT check.
738
739 2008-03-10  Jakub Jelinek  <jakub@redhat.com>
740
741         PR c++/35328
742         * semantics.c (finish_omp_clauses): Look through NOP_EXPR even
743         if errorcount.
744
745         PR c++/35337
746         * semantics.c (finish_omp_clauses): Use %qD instead of %qE for
747         DECL_P in not a variable and appears more than once error messages.
748
749 2008-03-07  Paolo Bonzini  <bonzini@gnu.org>
750
751         Revert:
752
753         2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>
754
755         PR c++/35049
756         PR c++/35096
757         * typeck.c (structural_comptypes): Call cp_comptypes.
758         (comptypes): New; called from the C/C++ common bits to perform
759         strict checks.
760         (cp_comptypes): Renamed from comptypes, which is already used,
761         with a different signature, by the C++ front end.
762         (build_reinterpret_cast_1): Call cp_comptypes.
763         (ptr_reasonably_similar): Ditto.
764         * decl.c (decls_match): Ditto.
765         * cvt.c (convert_to_reference): Ditto.
766         * cp-tree.h (same_type_p): Ditto.
767         (same_or_base_type_p): Ditto.
768         (comptypes): Rename to cp_comptypes.
769         * pt.c (canonical_type_parameter): Call cp_comptypes.
770
771 2008-03-07  Paolo Bonzini  <bonzini@gnu.org>
772
773         * cp-objcp-common.c (cxx_types_compatible_p): Remove obsolete
774         test for equivalence between pointer and references.
775
776 2008-03-02  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
777
778         PR 24924
779         * class.c (finish_struct_anon): Use permerror instead of pedwarn.
780         (check_field_decls): Likewise.
781         (note_name_declared_in_class): Likewise.
782         * call.c (build_new_op): Likewise.
783         (convert_like_real): Likewise.
784         (build_over_call): Likewise.
785         * lex.c (unqualified_fn_lookup_error): Likewise.
786         * parser.c (cp_parser_template_id): Likewise.
787         * cvt.c (warn_ref_binding): Likewise.
788         (convert_to_reference): Likewise.
789         (ocp_convert): Likewise.
790         (convert_to_void): Use error instead of pedwarn.
791         * error.c (cp_cpp_error): Use pedantic_warning_kind.
792         * decl.c (compute_array_index_type): Use constant_expression_error.
793         
794 2008-03-01  Douglas Gregor  <doug.gregor@gmail.com>
795
796         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): Note
797         that auto is either a storage class or a simple type specifier,
798         depending on the dialect.
799         (cp_parser_decl_specifier_seq): Complain about `auto' as a storage
800         specifier in C++98 mode, error in C++0x mode (since we don't
801         support auto as a type specifier, yet).
802         (cp_parser_storage_class_specifier_opt): Don't treat `auto' as a
803         storage specifier in C++0x mode.
804         (cp_parser_simple_type_specifier): Parse `auto' as a
805         simple-type-specifier, but error because we don't support it yet.
806
807 2008-02-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
808
809         * parser.c (cp_parser_nonclass_name): New.
810         (cp_parser_pseudo_destructor_name): Use it instead of
811         cp_parser_type_name.
812         (cp_parser_type_name): Move code to cp_parser_nonclass_name.
813
814 2008-02-29  Tom Tromey  <tromey@redhat.com>
815
816         * parser.c (struct cp_token) <input_file_stack_index>: Remove.
817         (cp_lexer_get_preprocessor_token): Update.
818         (cp_lexer_set_source_position_from_token): Don't call
819         restore_input_file_stack.
820         * lex.c (cxx_init): Don't use push_srcloc or pop_srcloc.
821
822 2008-02-28  Richard Guenther  <rguenther@suse.de>
823
824         Revert:
825         2008-02-26  Richard Guenther  <rguenther@suse.de>
826
827         * decl.c (duplicate_decls): Remove decl from global mapping
828         before ggc_freeing it.
829
830 2008-02-27  Jakub Jelinek  <jakub@redhat.com>
831
832         PR c++/35368
833         * rtti.c: Include c-pragma.h.
834         (push_abi_namespace, pop_abi_namespace): New functions.
835         (build_dynamic_cast_1, tinfo_base_init, get_pseudo_ti_index,
836         create_tinfo_types, emit_support_tinfos): Use them.
837         * Make-lang.in (cp/rtti.o): Depend on $(C_PRAGMA_H).
838
839 2008-02-26  Jason Merrill  <jason@redhat.com>
840
841         PR c++/35315
842         * decl.c (grokdeclarator): Allow a typedef of an unnamed struct
843         to name the struct for linkage purposes even if it has attributes.
844         (start_decl): In that case, set ATTR_FLAG_TYPE_IN_PLACE.
845
846 2008-02-26  Tom Tromey  <tromey@redhat.com>
847
848         * parser.c (eof_token): Remove old location code.
849         (check_empty_body): Remove test of USE_MAPPED_LOCATION.
850         * decl2.c (generate_ctor_or_dtor_function): Remove old location
851         code.
852         (cp_write_global_declarations): Likewise.
853         * lex.c (cxx_init): Remove old location code.
854         (handle_pragma_implementation): Remove test of
855         USE_MAPPED_LOCATION.
856         * pt.c (tsubst): Remove old location code.
857         * error.c (cp_print_error_function): Remove test of
858         USE_MAPPED_LOCATION.
859         * decl.c (pop_label): Remove old location code.
860         (finish_function): Likewise.
861
862 2008-02-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
863
864         PR 26264
865         * call.c (magic_varargs_p):  Remove BUILT_IN_STDARG_START.
866         
867 2008-02-26  Richard Guenther  <rguenther@suse.de>
868
869         * decl.c (duplicate_decls): Remove decl from global mapping
870         before ggc_freeing it.
871
872 2008-02-26  Paolo Carlini  <pcarlini@suse.de>
873
874         PR c++/35323
875         * name-lookup.c (arg_assoc_type): Handle FIXED_POINT_TYPE.
876
877 2008-02-26  Manuel Lopez-Ibanez <manu@gcc.gnu.org>
878         
879         * typeck.c (build_class_member_access_expr): Add appropriate
880         OPT_W* parameter to warning.
881         (build_reinterpret_cast_1): Likewise.
882         * name-lookup.c (push_overloaded_decl): Likewise.
883         
884 2008-02-25  Paolo Carlini  <pcarlini@suse.de>
885
886         PR c++/35333
887         * error.c (dump_expr): Handle CONJ_EXPR.
888
889 2008-02-25  Paolo Carlini  <pcarlini@suse.de>
890
891         PR c++/35338
892         * error.c (dump_type): Handle FIXED_POINT_TYPE.
893         (dump_expr): Handle FIXED_CST.
894
895 2008-02-24  Jason Merrill  <jason@redhat.com>
896
897         * parser.c (cp_parser_declaration): Handle "inline namespace".
898         (cp_parser_namespace_definition): Likewise.
899
900         PR c++/33486
901         * name-lookup.c (arg_assoc_namespace): Look down into inline 
902         namespaces, too.
903
904 2008-02-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
905
906         * typeck.c (check_for_casting_away_constness): Use 1 single
907         argument, the type of cast, to decide what diagnostics generate.
908         (build_static_cast_1): Remove unused code. Update call to
909         check_for_casting_away_constness.
910         (build_reinterpret_cast_1): Update call to
911         check_for_casting_away_constness.
912         (build_const_cast_1): Likewise.
913         
914 2008-02-24  Paolo Carlini  <pcarlini@suse.de>
915
916         * error.c (dump_expr): Don't deal directly with NEW_EXPR (and
917         VEC_NEW_EXPR), forward to pp_expression.
918         * cxx-pretty-print.c (pp_cxx_new_expression): Fix FIXME.
919
920 2008-02-24  Danny Smith  <dannysmith@users.sourceforge.net>
921
922         PR c++/34749
923         * friend.c (do_friend): Call cplus_decl_attributes earlier.
924
925 2008-02-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
926
927         PR C++/34715
928         * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS for
929         template decls' function decl.
930
931 2008-02-22  Paolo Carlini  <pcarlini@suse.de>
932
933         PR c++/35282
934         Revert:
935         2008-02-14  Paolo Carlini  <pcarlini@suse.de>
936
937         PR c++/28743
938         * pt.c (determine_specialization): In case of function templates,
939         when the type of DECL does not match FN there is no match.
940
941 2008-02-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
942
943         PR c/19999
944         * typeck.c (build_binary_op): Warn about floating point
945         comparisons if FLOAT_TYPE_P, not only for REAL_TYPE.
946
947 2008-02-19  Jason Merrill  <jason@redhat.com>
948
949         PR c++/34950
950         * pt.c (resolve_overloaded_unification): Set processing_template_decl
951         while we look for possible bindings.
952
953 2008-02-19  Jakub Jelinek  <jakub@redhat.com>
954
955         PR c++/35028
956         * cp-gimplify.c (cxx_omp_clause_apply_fn): Handle vararg copy ctors.
957
958         PR c++/34964
959         PR c++/35244
960         * semantics.c (finish_omp_threadprivate): Do nothing for error_operand_p
961         vars.  Afterwards ensure v is VAR_DECL.
962
963         PR c++/35078
964         * parser.c (cp_parser_omp_for_loop): If DECL has REFERENCE_TYPE, don't
965         call cp_finish_decl.
966         * semantics.c (finish_omp_for): Fail if DECL doesn't have integral type
967         early.
968
969 2008-02-15  Douglas Gregor  <doug.gregor@gmail.com>
970
971         PR c++/35023
972         PR c++/35024
973         PR c++/35026
974         * pt.c (finish_member_template_decl): If the type in a TYPE_DECL
975         is error_mark_node, return an error early.
976         (find_parameter_packs_r): Pass the pointer set along to recursive
977         calls of cp_walk_subtrees; don't try to manage the pointer set
978         ourselves.
979         (uses_parameter_packs): Pass the pointer set to cp_walk_tree.
980         (make_pack_expansion): Ditto.
981         (check_for_bare_parameter_packs): Ditto. Also, don't bother taking
982         a second pass through the tree with find_parameter_packs_r; that
983         second pass no longer does anything.
984         (push_template_decl_real): If we have an erroneous declaration,
985         set its type to error_mark_node before returning an error.
986
987 2008-02-14  Douglas Gregor  <doug.gregor@gmail.com>
988
989         PR c++/34050
990         * pt.c (tsubst_initializer_list): Deal with the use of
991         VOID_TYPE_NODE to indicate value-initialization of the bases.
992
993 2008-02-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
994             Jason Merrill  <jason@redhat.com>
995
996         PR c++/5645
997         PR c++/11159
998         * class.c (type_has_user_nondefault_constructor): New fn.
999         * cp-tree.h: Declare it.
1000         * init.c (emit_mem_initializers): Use it for -W warning about
1001         missing base initializer.
1002
1003 2008-02-14  Paolo Carlini  <pcarlini@suse.de>
1004
1005         PR c++/28743
1006         * pt.c (determine_specialization): In case of function templates,
1007         when the type of DECL does not match FN there is no match.
1008
1009 2008-02-13  Jakub Jelinek  <jakub@redhat.com>
1010             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1011
1012         PR c++/35138
1013         * parser.c (cp_parser_pseudo_destructor_name): If next tokens
1014         are not identifier :: ~, return before calling cp_parser_type_name.
1015
1016 2008-02-13  Jason Merrill  <jason@redhat.com>
1017
1018         PR c++/34962, c++/34937, c++/34939
1019         * decl2.c (is_late_template_attribute): Always defer attributes 
1020         vector_size and weak.
1021
1022         PR c++/34774
1023         * pt.c (value_dependent_expression_p): Look into DECL_INITIAL
1024         of enumerators, too.
1025
1026 2008-02-12  Jason Merrill  <jason@redhat.com>
1027
1028         PR c++/34824
1029         * call.c (convert_like_real): Pass LOOKUP_NO_CONVERSION to build_temp
1030         if we're doing conversions to call a user-defined conversion function.
1031
1032 2008-02-12  Steven Bosscher  <steven@gcc.gnu.org>
1033
1034         PR c++/29048
1035         * semantics.c (finish_qualified_id_expr): Avoid duplicate access
1036         check here, too.
1037
1038 2008-02-12  Jakub Jelinek  <jakub@redhat.com>
1039
1040         PR c++/34862
1041         * init.c (build_new_1): Don't create placement_expr before
1042         constructing alloc_call.  Verify that the pointer is passed by
1043         value to operator new.
1044
1045 2008-02-11  Jason Merrill  <jason@redhat.com>
1046
1047         PR c++/35097
1048         * pt.c (tsubst): Don't look up a template typedef in an explicit
1049         specialization.
1050
1051 2008-02-11  Douglas Gregor  <doug.gregor@gmail.com>
1052
1053        PR c++/35113
1054        * tree.c (cp_build_qualified_type_real): When building a
1055        cv-qualified array type, build it as a unique type with
1056        build_cplus_array_type_1 and then adopt the unqualified type's
1057        main variant.
1058         
1059 2008-02-11  Paolo Carlini  <pcarlini@suse.de>
1060
1061         PR c++/35077
1062         * decl.c (groktypename): Check grokdeclarator return.
1063
1064 2008-02-10  Jason Merrill  <jason@redhat.com>
1065
1066         PR c++/34094
1067         * decl2.c (cp_write_global_declarations): Don't write out static 
1068         data members with DECL_IN_AGGR_P set.
1069
1070 2008-02-08  Jason Merrill  <jason@redhat.com>
1071
1072         PR c++/35116
1073         * tree.c (build_target_expr_with_type): Handle void initializer.
1074         (bot_manip): Remap slot before recursing.
1075
1076 2008-02-06  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1077
1078         PR other/35107
1079         * Make-lang.in (cc1plus-dummy, cc1plus): Add $(GMPLIBS).
1080
1081 2008-02-06  Alexandre Oliva  <aoliva@redhat.com>
1082
1083         PR c++/35056
1084         * tree.c: Include tree-flow.h.
1085         (build_target_expr): Check type compatibility.
1086         * Make-lang.in (cp/tree.o): Depend on $(TREE_FLOW_H).
1087         * call.c (convert_like_real): Convert bitfield to expected type.
1088
1089 2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>
1090
1091         PR c++/35049
1092         PR c++/35096
1093         * typeck.c (structural_comptypes): Call cp_comptypes.
1094         (comptypes): New; called from the C/C++ common bits to perform
1095         strict checks.
1096         (cp_comptypes): Renamed from comptypes, which is already used,
1097         with a different signature, by the C++ front end.
1098         (build_reinterpret_cast_1): Call cp_comptypes.
1099         (ptr_reasonably_similar): Ditto.
1100         * decl.c (decls_match): Ditto.
1101         * cvt.c (convert_to_reference): Ditto.
1102         * cp-tree.h (same_type_p): Ditto.
1103         (same_or_base_type_p): Ditto.
1104         (comptypes): Rename to cp_comptypes.
1105         * pt.c (canonical_type_parameter): Call cp_comptypes.
1106
1107 2008-02-05  Jakub Jelinek  <jakub@redhat.com>
1108
1109         PR c++/33553
1110         * pt.c (tsubst) <case INTEGER_TYPE>: Don't issue error if max is
1111         value dependent expression.
1112
1113 2008-02-05  Douglas Gregor  <doug.gregor@gmail.com>
1114
1115         PR c++/35074
1116         * decl2.c (save_template_attributes): When we're modifying the
1117         TYPE_MAIN_VARIANT to add new attributes, be sure to also modify
1118         all of the other variants to add those same attributes. Otherwise,
1119         the main variant will be inconsistent with those other variants.
1120         
1121 2008-02-04  Richard Guenther  <rguenther@suse.de>
1122
1123         PR java/35035
1124         * decl.c (record_builtin_java_type): Make jboolean a
1125         integer type again where its mode doesn't match that of bool.
1126
1127 2008-02-02  Jason Merrill  <jason@redhat.com>
1128             Mark Mitchell  <mark@codesourcery.com>
1129
1130         PR c++/33916
1131         * init.c (build_value_init_1): New function.
1132         (build_value_init): New function.
1133         * typeck2.c (build_functional_cast): Call it.
1134         * cp-gimplify.c (cp_gimplify_init_expr): Handle its output.
1135
1136         * cp-tree.h (TYPE_HAS_USER_CONSTRUCTOR): Rename from 
1137         TYPE_HAS_CONSTRUCTOR.
1138         * class.c (finish_struct_bits, maybe_warn_about_overly_private_class,
1139         add_implicitly_declared_members): Adjust.
1140         (check_field_decls): Adjust. Remove warnings about reference/const
1141         in class without constructor.
1142         (check_bases_and_members): Adjust.  Give those warnings here instead.
1143         * decl.c (fixup_anonymous_aggr): Adjust.
1144         (check_initializer): Adjust, clarify logic slightly.
1145         (grok_special_member_properties): Adjust, only set if user-provided.
1146         * rtti.c (create_tinfo_types): Don't set.
1147         * cvt.c (ocp_convert): Remove exception for vtable_entry_type et al.
1148         Use same_type_ignoring_top_level_qualifiers_p.
1149         * pt.c (check_explicit_specialization): Adjust.
1150         (instantiate_class_template): Adjust.
1151
1152 2008-01-31  Douglas Gregor  <doug.gregor@gmail.com>
1153            Jakub Jelinek  <jakub@redhat.com>
1154
1155        PR c++/34935
1156        PR c++/34936
1157        * typeck.c (structural_comptypes): Handle comparisons of
1158        VOID_TYPE, BOOLEAN_TYPE, INTEGER_TYPE, FIXED_POINT_TYPE, and
1159        REAL_TYPE nodes.
1160        * mangle.c (write_builtin_type): Map down to the canonical type,
1161        which will be one of the predefined type nodes.
1162
1163 2008-01-29  Michael Meissner  <michael.meissner@amd.com>
1164
1165         PR 35004
1166         * cp-tree.h (struct full_lang_decl): Make tree_code bitfield 16
1167         bits to allow for expansion of the number of middle end tree
1168         codes.
1169
1170 2008-01-29  Douglas Gregor  <doug.gregor@gmail.com>
1171
1172         PR c++/34055
1173         PR c++/34103
1174         PR c++/34219
1175         PR c++/34606
1176         PR c++/34753
1177         PR c++/34754
1178         PR c++/34755
1179         PR c++/34919
1180         PR c++/34961
1181         * typeck.c (check_return_expr): Tweak call to
1182         check_for_bare_parameter_packs.
1183         * class.c (add_method): Be careful with error_mark_nodes.
1184         * cp-tree.h (check_for_bare_parameter_packs): Remove "*" from
1185         signature.
1186         * pt.c (struct find_parameter_pack_data): Remove
1187         SET_PACKS_TO_ERROR.
1188         (find_parameter_packs_r): Don't use SET_PACKS_TO_ERROR.
1189         (uses_parameter_packs): Don't set SET_PACKS_TO_ERROR.
1190         (make_pack_expansion): Ditto.
1191         (check_for_bare_parameter_packs): Parameter is now a tree, not a
1192         tree*.
1193         (process_template_parm): Tweak call to
1194         check_for_bare_parameter_packs.  
1195         (push_template_decl_real): Tweak calls to
1196         check_for_bare_parameter_packs. If bare parameter packs are found
1197         in the list of exceptions, clear out that list after giving an
1198         error.
1199         * semantics.c (finish_cond): Tweak call to
1200         check_for_bare_parameter_packs.
1201         (finish_expr_stmt): Ditto.
1202         (finish_for_expr): Ditto.
1203         (finish_switch_cond): Ditto.
1204         (finish_mem_initializers): Ditto.
1205         (finish_member_declaration): Ditto.
1206         (finish_static_assert): Check for bare parameter packs in the
1207         condition.
1208         * decl2.c (cplus_decl_attributes): Check for bare parameter packs in the
1209         attributes of a declaration.
1210         * parser.c (cp_parser_using_declaration): Tweak call to
1211         check_for_bare_parameter_packs.
1212         (cp_parser_base_clause): Ditto.
1213
1214 2008-01-28  Jason Merrill  <jason@redhat.com>
1215
1216         PR c++/35007
1217         * class.c (build_base_path): Fix !want_pointer case.
1218
1219 2008-01-27  Jason Merrill  <jason@redhat.com>
1220
1221         PR c++/27177
1222         * class.c (build_base_path): Fix previous change.
1223
1224 2008-01-26  Jakub Jelinek  <jakub@redhat.com>
1225
1226         PR c++/34965
1227         * error.c (dump_expr): Handle TRUTH_AND_EXPR, TRUTH_OR_EXPR
1228         and TRUTH_XOR_EXPR.
1229
1230 2008-01-26  Richard Guenther  <rguenther@suse.de>
1231
1232         PR c++/34235
1233         * typeck.c (build_binary_op): Remove code to shorten compares.
1234
1235 2008-01-25  Richard Guenther  <rguenther@suse.de>
1236
1237         PR c++/33887
1238         * decl.c (record_builtin_java_type): Make __java_boolean
1239         a variant of bool.
1240         * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check
1241         after TYPE_MAIN_VARIANT check.
1242
1243 2008-01-25  Jason Merrill  <jason@redhat.com>
1244
1245         PR c++/27177
1246         * class.c (build_base_path): Don't mess with virtual access if
1247         skip_evaluation.
1248         * call.c (standard_conversion): Don't check whether source type
1249         is complete.
1250
1251         * decl2.c (is_late_template_attribute): Don't defer attribute
1252         visibility just because the type is dependent.
1253
1254 2008-01-25  Jason Merrill  <jason@redhat.com>
1255             Mark Mitchell  <mark@codesourcery.com>
1256
1257         PR c++/31780
1258         * call.c (standard_conversion): Allow conversion from integer/real
1259         to complex.
1260         (compare_ics): Such a conversion is worse than a normal arithmetic
1261         conversion.
1262         
1263 2008-01-25  Richard Guenther  <rguenther@suse.de>
1264
1265         PR c++/33887
1266         * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define
1267         to true.
1268
1269 2008-01-24  Paolo Carlini  <pcarlini@suse.de>
1270
1271         PR c++/34603
1272         * pt.c (push_template_decl_real): Return error_mark_node in case
1273         of template definition of non-template.
1274
1275 2008-01-24  Jason Merrill  <jason@redhat.com>
1276
1277         PR c++/34913
1278         * decl2.c (is_late_template_attribute): Defer any attribute with 
1279         dependent args.  Also defer type attributes if the type is dependent.
1280
1281 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
1282             Alexandre Oliva  <aoliva@redhat.com>
1283
1284         PR c++/33984
1285         * call.c (reference_binding): For bitfields use the declared bitfield
1286         type.
1287         (add_builtin_candidates): Likewise.
1288         * class.c (layout_class_type): For bitfields copy over the
1289         original type quals.
1290
1291 2008-01-22  Jason Merrill  <jason@redhat.com>
1292
1293         PR c++/28560
1294         * decl.c (groktypename): Also ignore attributes on dependent 
1295         possibly-class types.
1296
1297         PR c++/34912
1298         * friend.c (do_friend): Check for prior declaration of a friend 
1299         function of a local class.
1300         * name-lookup.c (lookup_name_innermost_nonclass_level): 
1301         No longer static.
1302         * name-lookup.h: Declare it.
1303
1304 2008-01-22  Tom Tromey  <tromey@redhat.com>
1305
1306         PR c++/34829:
1307         * init.c (build_new_1): Only disallow Java aggregates.
1308
1309 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
1310
1311         PR c++/34607
1312         * semantics.c (finish_omp_for): Don't call c_finish_omp_for
1313         if decl or init is error_mark_node.
1314
1315         PR c++/34918
1316         * error.c (dump_expr): Handle VECTOR_CST.
1317
1318 2008-01-21  Jason Merrill  <jason@redhat.com>
1319
1320         PR c++/33959
1321         * pt.c (tsubst_aggr_type): Make sure our context is complete.
1322
1323         PR c++/34573
1324         * pt.c (retrieve_local_specialization): Robustify.
1325         (tsubst_pack_expansion, tsubst_decl): Remove redundant checks.
1326
1327         PR c++/34846
1328         * pt.c (tsubst): Only call retrieve_local_specialization if the
1329         original typedef was in a function template.
1330
1331         PR c++/34196
1332         * decl.c (wrap_cleanups_r): Set TRY_CATCH_IS_CLEANUP.
1333
1334 2008-01-21  Richard Guenther  <rguenther@suse.de>
1335
1336         PR c++/34850
1337         * error.c (cp_print_error_function): Deal with recursive
1338         BLOCK trees.
1339
1340 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
1341
1342         PR c++/34891
1343         * error.c (dump_expr): Deal with VIEW_CONVERT_EXPR.
1344
1345 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
1346
1347         PR c++/34776
1348         PR c++/34486
1349         * name-lookup.c (do_class_using_decl): Do not call constructor_name_p
1350         on non-IS_AGGR_TYPE scope.
1351         (constructor_name_p): Assert IS_AGGR_TYPE.
1352
1353 2008-01-18  Ian Lance Taylor  <iant@google.com>
1354
1355         PR c++/33407
1356         * decl.c (duplicate_decls): Copy DECL_IS_OPERATOR_NEW flag.
1357         (grok_op_properties): For NEW_EXPR and VEC_NEW_EXPR set
1358         DECL_IS_OPERATOR_NEW flag.
1359
1360 2008-01-16  Richard Guenther  <rguenther@suse.de>
1361
1362         PR c++/33819
1363         * typeck.c (is_bitfield_expr_with_lowered_type): Recurse
1364         for conversions to type variants.
1365
1366 2008-01-15  Andreas Tobler  <a.tobler@schweiz.org>
1367
1368         * parser.c (cp_parser_template_parameter): Fix C90 issue with mixing
1369         declaration and code.  Update copyright year.
1370
1371 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
1372
1373         PR c++/34399
1374         * friend.c (do_friend): Don't query TYPE_BEING_DEFINED unless we
1375         know we have a class type.
1376
1377 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
1378
1379         PR c++/34751
1380         * pt.c (coerce_template_parameter_pack): When substituting into
1381         the type of a non-type template parameter pack. use the
1382         deduced/substituted arguments.
1383         * parser.c (declarator_can_be_parameter_pack): A pointer-to-member
1384         can be a parameter pack with the ellipsis following it.  When we
1385         have an erroneous declaration, allow it to be a parameter pack.
1386         (cp_parser_template_parameter): Complain about default
1387         arguments on non-type template parameter packs, and parse them
1388         using the new cp_parser_default_argument.
1389         (cp_parser_parameter_declaration): Complain about parameter packs
1390         with default arguments. Move parsing of default arguments into a
1391         new function, cp_parser_default_argument.
1392         (cp_parser_default_argument): New; extracted from
1393         cp_parser_parameter_declaration.
1394
1395 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
1396
1397         PR c++/34051
1398         PR c++/34055
1399         PR c++/34102
1400         PR c++/34103
1401         * typeck.c (check_return_expr): If there are bare parameter packs
1402         in the return value, set it to error_mark_node.
1403         * tree.c (cp_walk_subtrees): Walk USING_DECL nodes.
1404         * pt.c (find_parameter_packs_r): Look at the type of
1405         IDENTIFIER_NODEs (e.g., for user-defined conversions).
1406         (check_for_bare_parameter_packs): Flip the result: now returns
1407         TRUE when there were bare parameter packs, FALSE otherwise.
1408         (push_template_decl_real): Deal with flipped result of
1409         check_for_bare_parameter_packs.
1410         * semantics.c (finish_cond): If there are bare parameter packs in
1411         the conditional, set it to error_mark_node.
1412         (finish_expr_stmt): If there are bare parameter packs in the
1413         expression, set it to error_mark_node.
1414         (finish_for_expr): Ditto.
1415         (finish_switch_cond): If there are bare parameter packs in
1416         the conditional, set it to error_mark_node.
1417         (finish_mem_initializers): If there are bare parameter packs in
1418         the member initializer, set it to error_mark_node.
1419         (finish_member_declaration): Check the attributes of the
1420         declaration for bare parameter packs, and remove the attributes if
1421         any have bare parameter packs.
1422         * parser.c (cp_parser_using_declaration): Check the using
1423         declaration for bare parameter packs.
1424         (cp_parser_base_clause): If there are bare parameter packs in a
1425         base specifier, don't add it to the chain.
1426
1427 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
1428
1429        PR c++/34314
1430        * error.c (dump_simple_decl): Display ellipsis for template
1431        non-type parameter packs.
1432        (dump_decl): Display ellipsis for template type parameter packs.
1433        (dump_template_decl): Display ellipsis for template template
1434        parameter packs.
1435        * pt.c (redeclare_class_template): When redeclaring a class
1436        template, check for collisions between template parameters and
1437        template parameter packs.
1438
1439 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
1440
1441        PR c++/33964
1442        * pt.c (process_partial_specialization): Don't mark template
1443        parameters that occur in non-deduced contexts.
1444        (struct pair_fn_data): Add include_nondeduced_p.
1445        (for_each_template_parm_r): Only visit non-deduced contexts if
1446        include_nondeduced_p is set.
1447        (for_each_template_parm): Added parameter include_nondeduced_p,
1448        which states whether template parameters found in non-deduced
1449        contexts should be visited.
1450        (uses_template_parms): Visit all template parameters, even those
1451        in non-deduced contexts.
1452
1453 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
1454
1455        PR c++/34052
1456        * pt.c (check_default_tmpl_args): Check for parameter packs that
1457        aren't at the end of a primary template.
1458        (push_template_decl_real): Remove check for parameter packs that
1459        aren't at the end of a primary template; that now happens in
1460        check_default_tmpl_args.
1461        * semantics.c (finish_template_template_parm): Use
1462        check_default_tmpl_args to check for errors in the template
1463        parameter list.
1464         
1465 2008-01-12  Doug Kwan  <dougkwan@google.com>
1466
1467         * decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
1468         instead of OPT_Wreturn_type in warning due to ignored return type
1469         qualifiers.
1470         * pt.c: (tsubst_function_type): Use OPT_Wignored_qualifiers
1471         instead of OPT_Wreturn_type in warning due to ignored return type
1472         qualifiers.
1473
1474 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
1475
1476         PR c++/33890
1477         * semantics.c (finish_omp_for): Don't call
1478         fold_build_cleanup_point_expr if processing_template_decl.
1479
1480 2008-01-04  Paolo Carlini  <pcarlini@suse.de>
1481             Jakub Jelinek  <jakub@redhat.com>
1482
1483         PR c++/34611
1484         * error.c (dump_template_argument): Deal with TREE_LIST.
1485
1486 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
1487
1488        * parser.c (cp_parser_check_decl_spec): Don't warn about "long
1489        long" in C++0x mode; change the warning to note that "long long"
1490        is only unsupported in C++98 mode.
1491
1492 2007-12-20  Jason Merrill  <jason@redhat.com>
1493
1494         PR c++/34111
1495         * call.c (standard_conversion): Derived-to-base is considered a
1496         standard conversion.
1497
1498 2007-12-19  Jakub Jelinek  <jakub@redhat.com>
1499
1500         PR c++/34513
1501         * parser.c (cp_parser_omp_parallel): For non-combined parallel
1502         call cp_parser_statement rather than
1503         cp_parser_already_scoped_statement.
1504
1505 2007-12-18  Jason Merrill  <jason@redhat.com>
1506
1507         PR c++/34206
1508         * pt.c (tsubst_aggr_type): Do nothing if the type already doesn't 
1509         use template parms.
1510         (dependent_type_p_r): Handle the domain of an array.
1511
1512 2007-12-18  Douglas Gregor  <doug.gregor@gmail.com>
1513             Jakub Jelinek  <jakub@redhat.com>
1514         
1515         PR c++/32565
1516         PR c++/33943
1517         PR c++/33965
1518         * pt.c (template_template_parm_bindings_ok_p): New; verifies
1519         bindings of template template parameters after all template
1520         arguments have been deduced.
1521         (coerce_template_parms): Don't complain when COMPLAIN doesn't
1522         include tf_error.
1523         (fn_type_unification): Use template_template_parm_bindings_ok_p. 
1524         (unify): Deal with variadic, bound template template parameters. 
1525         (get_class_bindings): Use template_template_parm_bindings_ok_p. 
1526
1527 2007-12-18  Jakub Jelinek  <jakub@redhat.com>
1528
1529         PR c++/34488
1530         * decl.c (grokdeclarator): Reject friend sfk_constructor
1531         FUNCTION_TYPE.
1532
1533 2007-12-17  Jakub Jelinek  <jakub@redhat.com>
1534
1535         PR c/34506
1536         * parser.c (cp_parser_omp_all_clauses): Accept optional comma
1537         in between clauses.
1538
1539 2007-12-15  Alexandre Oliva  <aoliva@redhat.com>
1540
1541         PR debug/7081
1542         * cp-lang.c (cp_classify_record): New.
1543         (LANG_HOOKS_CLASSIFY_RECORD): Override.
1544
1545 2007-12-11  Jakub Jelinek  <jakub@redhat.com>
1546
1547         PR c++/34238
1548         * decl2.c (cp_write_global_declarations): Revert 2007-11-22 change.
1549
1550         PR c++/34364
1551         * rtti.c (build_dynamic_cast): Call convert_from_reference even for
1552         dynamic_cast in a template.
1553
1554 2007-12-10  Simon Martin  <simartin@users.sourceforge.net>
1555
1556         PR c++/34059
1557         * typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
1558         MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.
1559
1560 2007-12-10  Jakub Jelinek  <jakub@redhat.com>
1561
1562         PR c++/34395
1563         * error.c (dump_type_prefix, dump_type_suffix): Handle
1564         TYPE_PACK_EXPANSION.
1565
1566         PR c++/34394
1567         * error.c (dump_expr): Handle ABS_EXPR.
1568
1569 2007-12-09  Jakub Jelinek  <jakub@redhat.com>
1570
1571         PR c++/34178
1572         PR c++/34340
1573         * repo.c (repo_emit_p): Return 2 for DECL_INTEGRAL_CONSTANT_VAR_P
1574         in class scope rather than DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
1575         Return 2 also if DECL_EXPLICIT_INSTANTIATION.
1576         * decl2.c (import_export_decl): Don't make VAR_DECLs import_p when
1577         flag_use_repository and repo_emit_p returned 2.
1578
1579 2007-12-06  Jakub Jelinek  <jakub@redhat.com>
1580
1581         PR c++/34336
1582         * tree.c (stabilize_call, stabilize_init): Do nothing if
1583         processing_template_decl.
1584
1585 2007-12-05  Jakub Jelinek  <jakub@redhat.com>
1586
1587         PR c++/34271
1588         * semantics.c (finish_decltype_type): For SCOPE_REF issue an
1589         error instead of assertion failure.
1590         * parser.c (cp_parser_decltype): If closing paren is not found,
1591         return error_mark_node.
1592
1593 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
1594
1595        PR c++/34101
1596        * name-lookup.c (arg_assoc_template_arg): Recurse on argument
1597        packs.
1598        (arg_assoc_type): We don't need to handle TYPE_ARGUMENT_PACK here,
1599        since arg_assoc_template_arg will deal with them (better).
1600
1601 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
1602
1603        PR c++/33509
1604        * pt.c (tsubst_exception_specification): Handle substitutions into
1605        member templates, where tsubst_pack_expansion returns a
1606        TYPE_PACK_EXPANSION.
1607
1608 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
1609
1610        PR c++/33091
1611        * pt.c (unify_pack_expansion): If we didn't deduce any actual
1612        bindings for the template parameter pack, don't try to keep the
1613        empty deduced arguments.
1614        (unify): If a parameter is a template-id whose template argument
1615        list contains a pack expansion that is not at the end, then we
1616        cannot unify against that template-id.
1617
1618 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
1619
1620         PR c++/34061
1621         * pt.c (current_template_args): Use error_operand_p.
1622
1623 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
1624
1625         PR c++/34273
1626         * error.c (dump_decl): Handle TREE_BINFO.
1627
1628 2007-12-01  Ollie Wild  <aaw@google.com>
1629
1630         PR c++/8171
1631         * typeck.c (build_binary_op): Add conversion of pointers to function
1632         members appearing as operands to the equality operators.
1633
1634 2007-11-30  Jakub Jelinek  <jakub@redhat.com>
1635
1636         PR c++/34275
1637         * error.c (dump_expr): Handle OBJ_TYPE_REF.
1638
1639 2007-11-29  Jakub Jelinek  <jakub@redhat.com>
1640
1641         PR c++/34270
1642         * tree.c (lvalue_p_1) <case COND_EXPR>: Handle x ?: y
1643         in templates.
1644         * typeck.c (is_bitfield_expr_with_lowered_type) <case COND_EXPR>:
1645         Likewise.
1646
1647         PR c++/34267
1648         PR c++/34268
1649         * parser.c (cp_parser_decltype): Don't call finish_id_expression
1650         on ~type.
1651         * semantics.c (finish_decltype_type): Issue error on types, TYPE_DECLs
1652         and ~type early.
1653
1654 2007-11-27  Jakub Jelinek  <jakub@redhat.com>
1655
1656         PR tree-optimization/34181
1657         * method.c (use_thunk): Don't inline the call in the thunk.
1658
1659         PR c++/34213
1660         * tree.c (decl_linkage): Static data members and static member
1661         functions in anonymous ns classes are lk_external.
1662
1663 2007-11-26  Andreas Krebbel  <krebbel1@de.ibm.com>
1664
1665         PR c++/34081
1666         * decl.c (start_preparsed_function): Pass 
1667         processing_template_decl for the new allocate_struct_function
1668         parameter.
1669
1670 2007-11-25  Richard Guenther  <rguenther@suse.de>
1671
1672         * decl.c (poplevel): Use BLOCK_CHAIN.
1673
1674 2007-11-24  Ollie Wild  <aaw@google.com>
1675
1676         * typeck.c (delta_from_ptrmemfunc): New function.
1677         (get_member_function_from_ptrfunc): Call delta_from_ptrmemfunc.
1678         (build_binary_op): Call delta_from_ptrmemfunc.
1679
1680 2007-11-23  Jakub Jelinek  <jakub@redhat.com>
1681
1682         PR c++/30293
1683         PR c++/30294
1684         * decl.c (cp_finish_decl): Disallow variable or field
1685         definitions if extern "Java" aggregates.
1686         (grokparms): Disallow parameters with extern "Java"
1687         aggregates.
1688         (check_function_type): Disallow function return values
1689         with extern "Java" aggregates.
1690         * init.c (build_new_1): Disallow placement new with
1691         extern "Java" aggregates.
1692
1693 2007-11-23  Mark Mitchell  <mark@codesourcery.com>
1694             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1695         
1696         PR c++/5310
1697         * call.c (convert_like_real): Build a zero constant when __null is
1698         converted to an integer type.
1699         
1700 2007-11-22  Jakub Jelinek  <jakub@redhat.com>
1701
1702         PR c++/34094
1703         * decl2.c (cp_write_global_declarations): Issue error about static
1704         data members in anonymous namespace which are declared and used,
1705         but not defined.
1706
1707 2007-11-20  Jakub Jelinek  <jakub@redhat.com>
1708
1709         PR c++/34089
1710         * parser.c (cp_parser_class_head): Reject function template ids.
1711
1712         PR c++/28879
1713         * tree.c (build_cplus_array_type_1): Don't pass any VLA types
1714         when processing_template_decl to build_array_type.
1715
1716         PR c++/33962
1717         * pt.c (more_specialized_fn): Don't segfault if one or
1718         both argument list end with ellipsis.
1719
1720 2007-11-18  Jakub Jelinek  <jakub@redhat.com>
1721
1722         PR c++/30988
1723         * semantics.c (finish_call_expr): Set
1724         current_function_returns_abnormally if fn is noreturn FUNCTION_DECL
1725         or OVERLOAD with all noreturn functions.
1726
1727 2007-11-16  Jakub Jelinek  <jakub@redhat.com>
1728
1729         PR c++/34100
1730         * pt.c (apply_late_template_attributes): Do nothing if decl's type is
1731         error_mark_node.
1732
1733 2007-11-13  Jakub Jelinek  <jakub@redhat.com>
1734
1735         PR c++/34054
1736         PR c++/34056
1737         PR c++/34057
1738         PR c++/34058
1739         PR c++/34060
1740         * pt.c (find_parameter_packs_r): If ppd->set_packs_to_error,
1741         set to error_mark_node the outermost POINTER_TYPE to the pack if
1742         it is seen in a POINTER_TYPE.
1743         (push_template_decl_real): If check_for_bare_parameter_packs
1744         fails for function return type, set the return type to
1745         integer_type_node.  If check_for_bare_parameter_packs failed
1746         for non-function, return error_mark_node.
1747
1748         PR c++/29225
1749         * call.c (build_new_op): Call resolve_args before calling
1750         build_over_call.
1751
1752 2007-11-11  Tom Tromey  <tromey@redhat.com>
1753
1754         PR c++/17577:
1755         * lex.c (handle_pragma_implementation): Use cpp_included_before.
1756
1757 2007-11-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1758
1759         PR c++/8570
1760         * pt.c (redeclare_class_template): Update error message. Use a
1761         note to show the previous declaration.
1762         (tsubst_friend_class): Use the location of the friend template as
1763         the input location before calling redeclare_class_template.
1764
1765 2007-11-11  Jakub Jelinek  <jakub@redhat.com>
1766
1767         PR c++/34068
1768         * semantics.c (finish_pseudo_destructor_expr): Handle
1769         object == error_mark_node.
1770
1771 2007-11-10  Jakub Jelinek  <jakub@redhat.com>
1772
1773         PR c++/32241
1774         * pt.c (tsubst_copy_and_build) <case COMPONENT_REF>: If object_type
1775         is not scalar type, let finish_class_member_access_expr handle
1776         diagnostics.  Pass BIT_NOT_EXPR argument to
1777         finish_pseudo_destructor_expr.  Handle SCOPE_REF properly.
1778
1779 2007-11-09  Douglas Gregor  <doug.gregor@gmail.com>
1780
1781         PR c++/33510
1782         * decl.c (cp_complete_array_type): If any of the initializer
1783         elements are pack expansions, don't compute the array size yet.
1784
1785 2007-11-08  Andrew Pinski  <pinskia@gmail.com>
1786
1787         PR c++/30297:
1788         * tree.c (decl_linkage): Fields have no linkage.
1789
1790 2007-11-08  Daniel Jacobowitz  <dan@codesourcery.com>
1791
1792         * class.c (build_ctor_vtbl_group): Lay out the new type and decl.
1793
1794 2007-11-07  Douglas Gregor  <doug.gregor@gmail.com>
1795
1796         PR c++/33045
1797         PR c++/33837
1798         PR c++/33838
1799         * semantics.c (finish_decltype_type): See through INDIRECT_REFs.
1800         Be careful with ERROR_MARK_NODEs.
1801         * parser.c (cp_parser_check_access_in_redeclaration): Handle NULL
1802         argument.
1803
1804 2007-11-07  Jakub Jelinek  <jakub@redhat.com>
1805
1806         PR c++/33501
1807         * call.c (build_over_call): Don't check TREE_ADDRESSABLE
1808         on incomplete type.
1809
1810 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
1811
1812         PR c++/33977
1813         PR c++/33886
1814         * tree.c (c_build_qualified_type): Define bridge to
1815         cp_build_qualified_type.
1816
1817 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
1818
1819         PR c++/31439
1820         PR c++/32114
1821         PR c++/32115
1822         PR c++/32125
1823         PR c++/32126
1824         PR c++/32127
1825         PR c++/32128
1826         PR c++/32253
1827         PR c++/32566
1828         * typeck.c (check_return_expr): Pass address of retval to
1829         check_for_bare_parameter_packs.
1830         * class.c (build_base_field): Tolerate bases that have no layout
1831         due to errors.
1832         (end_of_base): Ditto.
1833         * tree.c (canonical_type_variant): Be careful with
1834         ERROR_MARK_NODE.
1835         * cp-tree.h (check_for_bare_parameter_packs): Now accepts a
1836         tree*.
1837         * pt.c (find_parameter_pack_data): Add set_packs_to_error field,
1838         which states whether parameter packs should be replaced with
1839         ERROR_MARK_NODE.
1840         (find_parameter_packs_r): Pass addresses to cp_walk_tree wherever
1841         possible. If set_packs_to_error is set true, replace the parameter
1842         pack with ERROR_MARK_NODE. Manage our own pointer sets.
1843         (uses_parameter_packs): Don't set parameter packs to
1844         ERROR_MARK_NODE.
1845         (check_for_bare_parameter_packs): Now takes a pointer to a tree,
1846         which may be modified (if it is a parameter pack). Instructs
1847         find_parameter_packs_r to replace parameter packs with
1848         ERROR_MARK_NODE (so that they won't cause errors later on).
1849         (process_template_parm): Pass pointer to
1850         check_for_bare_parameter_packs.
1851         (process_partial_specialization): Replace pack expansions before
1852         the end of the template argument list with ERROR_MARK_NODE.
1853         (push_template_decl_real): Pass pointer to
1854         check_for_bare_parameter_packs. Replace parameter packs not at the
1855         end of the template parameter list with ERROR_MARK_NODE.
1856         (convert_template_argument): Be more careful about using DECL_NAME
1857         on only declarations.
1858         (unify): Can't unify against ERROR_MARK_NODE.
1859         * semantics.c (finish_cond): Pass pointer to
1860         check_for_bare_parameter_packs.
1861         (finish_expr_stmt): Ditto.
1862         (finish_for_expr): Ditto.
1863         (finish_switch_cond): Pass pointer to
1864         check_for_bare_parameter_packs, and call it before we put the
1865         condition into the statement.
1866         (finish_mem_initializers): Pass pointer to
1867         check_for_bare_parameter_packs.
1868         (finish_member_declaration): Ditto.
1869         * parser.c (cp_parser_base_clause): Ditto.
1870         
1871 2007-11-06  Jakub Jelinek  <jakub@redhat.com>
1872
1873         PR target/33168
1874         * decl.c (cp_finish_decl): Call make_rtl_for_nonlocal_decl already
1875         with the final TREE_READONLY flag in place.  processing_template_decl
1876         is known to be 0 in this part of function.
1877
1878         PR c++/33894
1879         * cp-tree.h: Update comment - TYPE_LANG_FLAG_0 is not
1880         OMP_ATOMIC_DEPENDENT_P in OMP_ATOMIC.
1881         * pt.c (tsubst_expr): Assert OMP_ATOMIC_DEPENDENT_P.
1882         * semantics.c (finish_omp_atomic): Revert most of the
1883         2007-02-05 changes, just keep the new representation of
1884         OMP_ATOMIC_DEPENDENT_P OMP_ATOMIC.
1885
1886 2007-11-05  H.J. Lu  <hongjiu.lu@intel.com>
1887
1888         PR c++/33871
1889         * decl2.c (constrain_visibility): Clear DECL_ONE_ONLY if marked
1890         local.
1891
1892 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
1893
1894         PR c++/33996
1895         PR c++/33235
1896         PR c++/33930
1897         * typeck.c (merge_types): Don't lose rvalue references when
1898         merging types.
1899         * call.c (build_over_call): Don't elide move constructors just
1900         because the copy constructor is trivial (!).
1901         (compare_ics): If comparing cv-qualifiers fails, we can still order
1902         based on binding lvalues vs. rvalues.
1903
1904 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
1905
1906         PR c++/33939
1907         * pt.c (unify_pack_expansion): bring handling of function call
1908         arguments into line with type_unification_real. 
1909
1910 2007-11-05  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1911
1912         * typeck.c (build_binary_op): Use pedwarn instead of error for
1913         consistency.
1914
1915 2007-11-05  Jakub Jelinek  <jakub@redhat.com>
1916
1917         PR c++/33836
1918         * parser.c (cp_parser_unary_expression): For &&label call
1919         cp_parser_non_integral_constant_expression and return error_mark_node
1920         if it returned true.
1921
1922         PR c++/33969
1923         * decl.c (grokdeclarator): Don't call build_memfn_type if type
1924         is neither FUNCTION_TYPE nor METHOD_TYPE.
1925
1926 2007-11-02  Jakub Jelinek  <jakub@redhat.com>
1927
1928         PR c++/33516
1929         * parser.c (cp_parser_nested_name_specifier_opt): Use
1930         TYPE_MAIN_VARIANT (new_scope) as scope if new_scope is an incomplete
1931         typedef of currently open class.
1932
1933 2007-11-02  Paolo Carlini  <pcarlini@suse.de>
1934
1935         PR c++/33495
1936         * error.c (dump_expr): Deal specially with statements.
1937
1938 2007-11-01  Jason Merrill  <jason@redhat.com>
1939
1940         PR c++/30897
1941         * pt.c (push_template_decl_real): Set DECL_CONTEXT on template
1942         template parms.
1943         (lookup_template_class): Use it to get the outer template args
1944         for instantiating one.
1945
1946         PR c++/29236
1947         * pt.c (reduce_template_parm_level): tsubst the parameters
1948         of a template template parm.
1949
1950 2007-11-01  Douglas Gregor  <doug.gregor@gmail.com>
1951
1952         PR c++/33955
1953         * pt.c (find_parameter_packs_r): Handle TYPENAME_TYPE.
1954
1955 2007-11-01  Jakub Jelinek  <jakub@redhat.com>
1956
1957         PR c++/32384
1958         * parser.c (cp_parser_postfix_dot_deref_expression): If
1959         POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor
1960         first and if that succeeds and type is SCALAR_TYPE_P, create
1961         PSEUDO_DTOR_EXPR.
1962
1963         PR c++/32260
1964         * rtti.c (enum_tinfo_kind): Fix TK_TYPE_INFO_TYPE comment.
1965         (typeid_ok_p): Use the same alias set for abi::__type_info_pseudo
1966         as for std::type_info.
1967
1968 2007-10-31  Paolo Carlini  <pcarlini@suse.de>
1969
1970         PR c++/33494
1971         * cxx-pretty-print.c (pp_cxx_typeid_expression,
1972         pp_cxx_delete_expression): Change to static linkage.
1973         * cxx-pretty-print.h: Adjust declarations.
1974         * error.c (dump_expr, case EXPR_PACK_EXPANSION, TYPEID_EXPR,
1975         MEMBER_REF, DOTSTAR_EXPR, DELETE_EXPR, VEC_DELETE_EXPR,
1976         MODOP_EXPR): Forward to pp_expression.
1977
1978         * cxx-pretty-print.c (pp_cxx_expression, case NON_DEPENDENT_EXPR):
1979         Fix typo.
1980
1981 2007-10-31 Christian Bruel  <christian.bruel@st.com>
1982            Mark Mitchell  <mark@codesourcery.com>
1983
1984         PR c++/19531
1985         * typeck.c (check_return_expr): Don't set named_return_value_okay_p
1986         if retval is volatile. 
1987         
1988 2007-10-30  Jakub Jelinek  <jakub@redhat.com>
1989
1990         PR c++/33616
1991         * decl2.c (build_offset_ref_call_from_tree): Call
1992         build_non_dependent_expr on object prior to building ADDR_EXPR from it
1993         if FN is DOTSTAR_EXPR.
1994
1995 2007-10-30  Douglas Gregor  <doug.gregor@gmail.com>
1996
1997         PR c++/31993
1998         PR c++/32252
1999         * pt.c (find_parameter_packs_r): Fix typo in comment.
2000         (convert_template_argument): Look at the pattern of a pack
2001         expansion to determine what kind of entity we're converting.
2002         (coerce_template_parameter_pack): When we have coerced a non-type
2003         template parameter pack, substitute into the type of that pack.
2004         (tsubst_pack_expansion): When our substitution of a parameter pack
2005         is a "trivial" substitution of itself, just substitute into the
2006         pack expansion rather than actually expanding.
2007
2008 2007-10-29  Jakub Jelinek  <jakub@redhat.com>
2009
2010         PR c++/33841
2011         * class.c (check_bitfield_decl): Don't set field's type to error_mark_node
2012         for non-integral type bitfields.  Return true if bitfield is correct, false
2013         error has been diagnosed.
2014         (check_field_decls): If check_bitfield_decl returned false, call also
2015         check_field_decl.
2016
2017 2007-10-28  Paolo Carlini  <pcarlini@suse.de>
2018             Mark Mitchell  <mark@codesourcery.com>
2019
2020         PR c++/30659
2021         * pt.c (do_decl_instantiation): If the VAR_DECL is not a
2022         class member error out and return.
2023
2024 2007-10-27  Jakub Jelinek  <jakub@redhat.com>
2025
2026         * error.c (reinit_cxx_pp): Initialize cxx_pp->enclosing_scope
2027         to current_function_decl rather than 0.
2028
2029         PR c++/33844
2030         * cxx-pretty-print.c (pp_cxx_pm_expression) <case MEMBER_REF>: Print
2031         ->* rather than .*.
2032         * error.c (dump_expr): Handle MEMBER_REF and DOTSTAR_EXPR.
2033
2034 2007-10-27  Jason Merrill  <jason@redhat.com>
2035
2036         PR c++/5247
2037         * call.c (convert_default_arg): Detect recursion.
2038
2039 2007-10-27  Jakub Jelinek  <jakub@redhat.com>
2040
2041         PR c++/33842
2042         * cxx-pretty-print.h (pp_cxx_offsetof_expression): New prototype.
2043         * cxx-pretty-print.c (pp_cxx_primary_expression): Handle
2044         OFFSETOF_EXPR.
2045         (pp_cxx_offsetof_expression_1, pp_cxx_offsetof_expression): New
2046         functions.
2047         * error.c (dump_expr): Handle OFFSETOF_EXPR.
2048
2049 2007-10-26  Jason Merrill  <jason@redhat.com>
2050
2051         PR c++/24791
2052         * pt.c (get_template_info): New fn.
2053         (template_class_depth): Use it.
2054         (push_template_decl_real): Check that the template args of the 
2055         definition match the args of the previous declaration.
2056
2057 2007-10-26  Paolo Carlini  <pcarlini@suse.de>
2058
2059         PR c++/31988
2060         * decl2.c (coerce_new_type): Do not allow a default argument for
2061         the first parameter.
2062
2063 2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>
2064
2065         PR c++/33839
2066         * parser.c (cp_parser_decltype): Return ERROR_MARK_NODE if we
2067         don't see the leading '('. Only lookup names if we get an
2068         IDENTIFIER_NODE.
2069
2070 2007-10-26  Jakub Jelinek  <jakub@redhat.com>
2071
2072         PR c++/33744
2073         * parser.c (cp_parser_parenthesized_expression_list): Set
2074         greater_than_is_operator_p to true in between the parens.
2075
2076 2007-10-26  Paolo Carlini  <pcarlini@suse.de>
2077
2078         PR c++/31747
2079         * decl.c (grokdeclarator): In case of conflicting specifiers
2080         just return error_mark_node.
2081
2082 2007-10-26  Ollie Wild  <aaw@google.com>
2083
2084         * expr.c (cxx_expand_expr): Removed.
2085         * cp-tree.h (exx_expand_expr): Removed.
2086         * cp-objcp-common.h (LANK_HOOKS_EXPAND_EXPR): Replace cxx_expand_expr
2087         with c_expand_expr.
2088
2089 2007-10-25  Paolo Carlini  <pcarlini@suse.de>
2090
2091         PR c++/33843
2092         * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with BIT_NOT_EXPR.
2093
2094 2007-10-23  Jason Merrill  <jason@redhat.com>
2095
2096         PR c++/25950 (DR 391)
2097         * call.c (struct conversion): Remove check_copy_constructor_p.
2098         (reference_binding): Always bind a reference directly to a 
2099         compatible class rvalue.  Pass down LOOKUP_NO_TEMP_BIND during 
2100         temporary creation.
2101         (check_constructor_callable): Remove.
2102         (convert_like_real): Don't call it.
2103         (initialize_reference): Don't call check_constructor_callable.
2104         (standard_conversion): Check LOOKUP_NO_CONVERSION instead of
2105         LOOKUP_CONSTRUCTOR_CALLABLE.  Don't require a temporary for base
2106         conversions if LOOKUP_NO_TEMP_BIND.
2107         (implicit_conversion): Pass through LOOKUP_NO_TEMP_BIND.
2108         (build_user_type_conversion_1): Pass through LOOKUP_NO_TEMP_BIND for
2109         second conversion.
2110         * cp-tree.h (LOOKUP_CONSTRUCTOR_CALLABLE): Remove.
2111
2112 2007-10-22  Jakub Jelinek  <jakub@redhat.com>
2113
2114         PR c++/33372
2115         * semantics.c (finish_omp_clauses): Check !type_dependent_expression_p
2116         before checking if its type is integral.
2117
2118 2007-10-22  Jason Merrill  <jason@redhat.com>
2119
2120         PR c++/33620
2121         * class.c (finish_struct_bits): Copy TYPE_ATTRIBUTES.
2122         * pt.c (apply_late_template_attributes): Splice out dependent
2123         attributes from DECL_ATTRIBUTES.
2124
2125         * decl.c (cxx_maybe_build_cleanup): Use build_address.
2126
2127 2007-10-17  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2128
2129         * typeck.c (build_binary_op) : Use appropriate warning option
2130         instead of unnamed warning.
2131
2132 2007-10-16  Paolo Carlini  <pcarlini@suse.de>
2133
2134         PR c++/31446
2135         * pt.c (current_template_args): Do not change TREE_LIST elements
2136         with a TREE_VALUE of error_mark_node.
2137
2138 2007-10-16  Mark Mitchell  <mark@codesourcery.com>
2139
2140         * typeck.c (cp_apply_type_quals_to_decl): Expand documentation.
2141         * decl.c (start_decl): Tidy.
2142         (start_decl_1): Call cp_apply_type_quals_to_decl after completing
2143         the type.
2144         (grokdeclarator): Clarify comment.
2145
2146 2007-10-14  Andrew Pinski  <pinskia@gmail.com>
2147
2148         PR c++/30303
2149         * decl.c (grokfndecl): Return NULL after the "definition of
2150         implicitly-declared" error happened.
2151
2152 2007-10-12  Simon Martin  <simartin@users.sourceforge.net>
2153
2154         PR c++/26698
2155         * call.c (build_user_type_conversion_1): Do not consider conversion
2156         functions to convert a (possibly cv-qualified) object to the (possibly
2157         cv-qualified) same object type (or a reference to it), to a (possibly
2158         cv-qualified) base class of that type (or a reference to it).
2159
2160 2007-10-12  Paolo Carlini  <pcarlini@suse.de>
2161
2162         * pt.c (tsubst): Use template_parm_level_and_index.
2163
2164 2007-10-12  Jakub Jelinek  <jakub@redhat.com>
2165
2166         PR c++/32121
2167         * parser.c (cp_parser_compound_statement): Handle label-declarations
2168         at the beginning of the compound statement.
2169         (cp_parser_block_declaration): Issue diagnostics about __label__
2170         not at the beginning of a block.
2171
2172 2007-10-11  Paolo Carlini  <pcarlini@suse.de>
2173
2174         PR c++/33461
2175         * pt.c (coerce_template_parameter_pack): Do not pass error_mark_node
2176         to convert_template_argument.
2177         (coerce_template_parms): Return error_mark_node after fixed-length
2178         error.
2179         (tsubst_decl): Check for error_mark_node the return value of the
2180         first tsubst in 'case VAR_DECL'.
2181
2182 2007-10-08  Ollie Wild  <aaw@google.com>
2183
2184         * typeck2.c (digest_init): Call cplus_expand_constant after
2185         convert_for_initialization.
2186         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
2187         * expr.c (cplus_expand_constant): Updated function description.
2188
2189 2007-10-04  Jason Merrill  <jason@redhat.com>
2190
2191         PR c++/20416
2192         * call.c (initialize_reference): Handle local static reference
2193         temps properly.
2194
2195 2007-10-03  Jason Merrill  <jason@redhat.com>
2196
2197         PR c++/32470
2198         * name-lookup.c (push_namespace_with_attrs): Fold back into...
2199         (push_namespace): Here.
2200         (handle_namespace_attrs): New fn for the attr code.
2201         (leave_scope): Don't pop_visibility.
2202         * name-lookup.h (struct cp_binding_level): Remove has_visibility.
2203         * parser.c (cp_parser_namespace_definition): Call
2204         handle_namespace_attrs and pop_visibility as appropriate. 
2205
2206         PR c++/11756
2207         * mangle.c (write_type) [TYPEOF_TYPE]: Just sorry.
2208
2209 2007-10-03  Alexandre Oliva  <aoliva@redhat.com>
2210
2211         * decl.c (duplicate_decls): Preserve linkage flags for mere
2212         redeclarations of gnu_inline definitions.
2213
2214 2007-10-03  Jason Merrill  <jason@redhat.com>
2215
2216         PR c++/15764
2217         * decl.c (wrap_cleanups_r): New fn.
2218         (wrap_temporary_cleanups): New fn.
2219         (initialize_local_var): Call it.
2220
2221 2007-09-29  Jason Merrill  <jason@redhat.com>
2222
2223         PR c++/33094
2224         * decl.c (make_rtl_for_nonlocal_decl): It's ok for a member 
2225         constant to not have DECL_EXTERNAL if it's file-local.
2226
2227 2007-09-28  Ollie Wild  <aaw@google.com>
2228
2229         Revert
2230         2007-09-27  Ollie Wild  <aaw@google.com>
2231
2232         * typeck2.c (digest_init): Call cplus_expand_constant after
2233         convert_for_initialization.
2234         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
2235         * expr.c (cplus_expand_constant): Updated function description.
2236
2237 2007-09-28  Jason Merrill  <jason@redhat.com>
2238
2239         PR c++/10179
2240         * class.c (layout_empty_base): Take rli parameter, update
2241         rli->record_align if empty base has user-specified alignment.
2242         (build_base_field): Pass rli to it.
2243
2244 2007-09-28  Paolo Carlini  <pcarlini@suse.de>
2245
2246         PR c++/33213
2247         * error.c (dump_decl): Deal with TYPE_PACK_EXPANSION.
2248
2249 2007-09-28  Paolo Carlini  <pcarlini@suse.de>
2250
2251         PR c++/33118
2252         * error.c (dump_expr): Deal with ARGUMENT_PACK_SELECT.
2253         (dump_type): Use dump_template_argument for TYPE_ARGUMENT_PACK.
2254         (dump_parameters): Just call dump_type for argument packs too.
2255
2256 2007-09-28  Jakub Jelinek  <jakub@redhat.com>
2257
2258         PR c++/31434
2259         * tree.c (cp_build_qualified_type_real): Handle TYPE_PACK_EXPANSION
2260         qualification by creating qualified PACK_EXPANSION_PATTERN and
2261         then calling make_pack_expansion on it.
2262
2263 2007-09-27  Ollie Wild  <aaw@google.com>
2264
2265         * typeck2.c (digest_init): Call cplus_expand_constant after
2266         convert_for_initialization.
2267         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
2268         * expr.c (cplus_expand_constant): Updated function description.
2269
2270 2007-09-27  Jason Merrill  <jason@redhat.com>
2271
2272         PR c++/33571
2273         * decl2.c (is_late_template_attribute): Don't crash on unknown
2274         attribute.
2275
2276 2007-09-27  Paolo Carlini  <pcarlini@suse.de>
2277
2278         PR c++/33493
2279         * error.c (dump_expr): Deal with DELETE_EXPR and VEC_DELETE_EXPR.
2280         * cxx-pretty-print.c (pp_cxx_delete_expression): Add missing
2281         spaces in the formatting.
2282         * cxx-pretty-print.h (pp_cxx_delete_expression): Declare.
2283
2284 2007-09-27  Jakub Jelinek  <jakub@redhat.com>
2285
2286         * error.c (cxx_print_error_function): Add third argument, pass
2287         it over to lhd_print_error_function.
2288         (cp_print_error_function): If diagnostic->abstract_origin, print
2289         virtual backtrace.
2290         * cp-tree.h (struct diagnostic_info): New forward decl.
2291         (cxx_print_error_function): Add third argument.
2292
2293 2007-09-25  Simon Martin  <simartin@users.sourceforge.net>
2294
2295         PR c++/33207
2296         * name-lookup.c (pushtag): Do not create an implicit typedef before
2297         the associated type declaration is known to be valid.
2298
2299 2007-09-25  Jakub Jelinek  <jakub@redhat.com>
2300
2301         * tree.c (cxx_printable_name): Compare FUNCTION_DECL uids
2302         rather than pointers.
2303
2304 2007-09-24  Danny Smith  <dannysmith@user.sourceforge.net>
2305
2306         PR c++/14688
2307         * search.c (check_final_overrider): Fail if
2308         targetm.comp_type_attributes returns 0.
2309
2310 2007-09-24  Jason Merrill  <jason@redhat.com>
2311
2312         PR c++/33239
2313         * pt.c (resolve_typename_type): Don't look things up in the original
2314         template if it would mean losing template arguments.    
2315
2316 2007-09-24  Jakub Jelinek  <jakub@redhat.com>
2317
2318         PR c++/33506
2319         * cp-tree.h (cxx_type_hash_eq): New prototype.
2320         * cp-objcp-common.h (LANG_HOOKS_TYPE_HASH_EQ): Redefine.
2321         * tree.c (cxx_type_hash_eq): New function.
2322
2323 2007-09-24  Douglas Gregor  <doug.gregor@gmail.com>
2324
2325         PR c++/33185    
2326         * tree.c (cp_build_qualified_type_real): Build a canonical
2327         ARRAY_TYPE if the original ARRAY_TYPE was not a canonical type.
2328         
2329 2007-09-24  Douglas Gregor  <doug.gregor@gmail.com>
2330
2331         PR c++/33112
2332         PR c++/33185    
2333         * tree.c (cplus_array_compare): Compare pointers, not types.
2334         (build_cplus_array_type_1): Store new array type into the hash
2335         table before building the canonical type; build the canonical type
2336         correctly.
2337         (cp_build_qualified_type_real): Put all of the array types with
2338         cv-qualified element types into the C++ array hash table, built as 
2339         variants of the unqualified versions.
2340         
2341 2007-09-23  Jason Merrill  <jason@redhat.com>
2342
2343         PR c++/16370
2344         * decl.c (grokdeclarator): Look through implicit TYPE_DECLs
2345         for deprecation warnings.
2346
2347 2007-09-22  Jason Merrill  <jason@redhat.com>
2348
2349         PR c++/15269
2350         * call.c (build_over_call): Warn about deprecated virtuals.
2351
2352         PR c++/19407
2353         * cp-tree.h (ATTR_IS_DEPENDENT): New macro.
2354         (MAYBE_TAGGED_TYPE_P): Remove.
2355         * pt.c (apply_late_template_attributes): Check ATTR_IS_DEPENDENT
2356         instead of calling is_late_template_attribute again.
2357         (tsubst_decl) [TYPE_DECL]: Just check if the name is the tag.
2358         (tsubst): A typedef is a TYPE_NAME != TYPE_MAIN_DECL.
2359         Don't crash on typedefs from non-template classes.
2360         * decl2.c (grokfield): Don't sorry about attrs on template parms.
2361         (is_late_template_attribute): All attributes applied to template
2362         parms or typename types are dependent.  Static.
2363         (splice_template_attributes): Pass decl through.
2364         (save_template_attributes): Likewise.
2365
2366 2007-09-20  Jakub Jelinek  <jakub@redhat.com>
2367
2368         PR c++/33496
2369         * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Handle error_mark_node
2370         returned from tsubst_pack_expansion.
2371         (tsubst_copy_and_build) <case SIZEOF_EXPR>: Likewise.
2372         (tsubst_copy_and_build) <case CONSTRUCTOR>: Likewise.
2373
2374 2007-09-20  Paolo Carlini  <pcarlini@suse.de>
2375
2376         PR c++/33460
2377         * semantics.c (finish_id_expression): Use consistently
2378         context_for_name_lookup.
2379         * decl.c (fixup_anonymous_aggr): Fix error message for
2380         anonymous struct (vs union).
2381
2382 2007-09-19  Jason Merrill  <jason@redhat.com>
2383
2384         PR c++/7586
2385         * pt.c (tsubst): Handle typedefs by looking for the specialization.
2386         (retrieve_specialization): Only tagged types use 
2387         DECL_TEMPLATE_INSTANTIATIONS.
2388         (instantiate_class_template): Push nested classes too.
2389         (tsubst_decl) [TYPE_DECL]: Only check for canonical decl for
2390         tagged types.
2391         * cp-tree.h (MAYBE_TAGGED_TYPE_P): New macro.
2392         * init.c (is_aggr_type): Remove redundant tests.
2393         * class.c (push_nested_class): Use CLASS_TYPE_P.
2394
2395 2007-09-20  Paolo Carlini  <pcarlini@suse.de>
2396
2397         PR c++/33459
2398         * init.c (build_zero_init): If, recursively, build_zero_init
2399         returns a NULL_TREE, do not append it to the VEC of constructors.
2400
2401 2007-09-18  Jason Merrill  <jason@redhat.com>
2402
2403         PR c++/17743
2404         * pt.c (apply_late_template_attributes): Set processing_template_decl.
2405         (tsubst_decl) [TYPE_DECL]: Preserve naming typedef, pass
2406         ATTR_FLAG_TYPE_IN_PLACE.
2407         (tsubst): Do unqualified lookup to find typedefs from current class.
2408         [ARRAY_TYPE]: Propagate alignment info.
2409         * decl2.c (is_late_template_attribute): Only defer handling of
2410         attribute aligned if the expression is dependent.
2411         (save_template_attributes): If we're deferring any attributes,
2412         make this a naming typedef.
2413
2414 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
2415
2416         PR c++/33462 (again)
2417         * cxx-pretty-print.c (pp_cxx_va_arg_expression): Print
2418         va_arg instead of __builtin_va_arg.
2419
2420 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
2421
2422         PR c++/33462
2423         * cxx-pretty-print.c (pp_cxx_va_arg_expression): Add.
2424         (pp_cxx_primary_expression): Use it.
2425         * cxx-pretty-print.h (pp_cxx_va_arg_expression): Declare.
2426         * error.c (dump_expr): Use it.
2427
2428 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
2429
2430         PR c++/33463
2431         * cxx-pretty-print.c (pp_cxx_postfix_expression): Split
2432         out case TYPEID_EXPR to...
2433         (pp_cxx_typeid_expression): ... here; use pp_cxx_left_paren
2434         and pp_cxx_right_paren.
2435         * cxx-pretty-print.h (pp_cxx_typeid_expression): Declare.
2436         * error.c (dump_expr): Use it.
2437
2438 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
2439
2440         PR c++/33464
2441         * cxx-pretty-print.c (pp_cxx_trait_expression): Add.
2442         (pp_cxx_primary_expression): Use it.
2443         * cxx-pretty-print.h (pp_cxx_trait_expression): Declare.
2444         * error.c (dump_expr): Use it.
2445
2446 2007-09-16  Paolo Carlini  <pcarlini@suse.de>
2447
2448         PR c++/33124
2449         * init.c (build_new): Remove warning for zero-element
2450         allocations.
2451
2452 2007-09-16  Nathan Sidwell  <nathan@codesourcery.com>
2453
2454         PR c++/32756
2455         * call.c (maybe_handle_implicit_object): Set this_p, clear
2456         rvaluedness_matches_p.
2457         (compare_ics): Do not compare rvaluedness matching when one of the
2458         operands is an implicit object.
2459
2460 2007-09-14  Jason Merrill  <jason@redhat.com>
2461
2462         PR c++/17743, c++/19163
2463         * decl2.c (is_late_template_attribute): New fn.
2464         (splice_template_attributes, save_template_attributes): New fns.
2465         (cplus_decl_attributes): Call save_template_attributes.
2466         * pt.c (apply_late_template_attributes): New fn.
2467         (instantiate_class_template, tsubst_decl): Use it.
2468         * cp-tree.h: Declare is_late_template_attribute.
2469
2470 2007-09-13  Tom Tromey  <tromey@redhat.com>
2471
2472         * parser.c (cp_lexer_new_main): Don't use
2473         c_lex_return_raw_strings.
2474         (cp_lexer_get_preprocessor_token): Update.  Add special case when
2475         lexer is NULL.
2476
2477 2007-09-11  Jan Hubicka <jh@suse.cz>
2478
2479         * method.c (use_thunk): Use tree_rest_of_compilation
2480         * cp-objecp-common.h (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Kill.
2481         (LANG_HOOKS_CALLGRAPH_EMIT_ASSOCIATED_THUNKS): Define.
2482         * cp-tree.h (expand_body): Kill.
2483         (emit_associated_thunks): Declare.
2484         * semantics.c (emit_associated_thunks): Export.
2485         (expand_body): Kill.
2486
2487 2007-09-09  David Daney  <ddaney@avtrex.com>
2488
2489         PR c++/33324
2490         * init.c (build_new_1):  Use POINTER_PLUS_EXPR instead of MINUS_EXPR
2491         to calculate cookie_ptr.
2492
2493 2007-09-08  Jason Merrill  <jason@redhat.com>
2494
2495         PR c++/33342
2496         * pt.c (most_specialized_class): Set processing_template_decl
2497         while tsubsting partial spec args.
2498
2499 2007-09-06  Jason Merrill  <jason@redhat.com>
2500
2501         * decl2.c (get_guard): Copy visibility from the guarded variable.
2502
2503 2007-09-06  Jan Hubicka  <jh@suse.cz>
2504
2505         * semantics.c (expand_body): Do not mark arguments of clones used.
2506
2507 2007-09-06  Paolo Carlini  <pcarlini@suse.de>
2508
2509         PR c++/32674
2510         * decl.c (cp_finish_decl): When processing_template_decl,
2511         deal correctly with init as TREE_LIST.
2512
2513 2007-09-06  Tom Tromey  <tromey@redhat.com>
2514
2515         * decl.c (finish_function): Put return's location on line zero of
2516         file.
2517
2518 2007-09-05  Jason Merrill  <jason@redhat.com>
2519
2520         PR c++/15745
2521         * except.c (prepare_eh_type): Use type_decays_to.
2522
2523         PR c++/15097
2524         * init.c (build_delete): Use build_headof to get the address of the
2525         complete object if we aren't using the deleting destructor.
2526         * rtti.c (build_headof): No longer static.
2527         * cp-tree.h: Declare it.
2528
2529 2007-09-06  Jakub Jelinek  <jakub@redhat.com>
2530
2531         * decl.c (duplicate_decls): Set TREE_NOTHROW on __builtin_XX
2532         decl if a prototype for XX is provided with throw().
2533
2534         PR c++/33289
2535         * decl.c (builtin_function_1): Set DECL_ANTICIPATED also
2536         on __*_chk non-__builtin_* decls.
2537
2538 2007-09-05  Paolo Carlini  <pcarlini@suse.de>
2539
2540         PR c++/30302
2541         * semantics.c (finish_id_expression): Use context_for_name_lookup
2542         insted of DECL_CONTEXT, to see through anonymous structs and unions.
2543         * class.c (finish_struct_anon): Deal correctly with anonymous
2544         structs (vs unions, as GNU extension) in error messages.
2545
2546 2007-09-05  Jan Hubicka  <jh@suse.cz>
2547
2548         * sematics.c (expand_body): Remove unnecesary import_export_decl
2549         call, DECL_EXTERNAL checks and current_function_decl saving.
2550
2551 2007-09-05  Paolo Carlini  <pcarlini@suse.de>
2552
2553         PR c++/29731 (again)
2554         * parser.c (cp_parser_primary_expression): Return error_mark_node
2555         when a statement-expression is found in a template-argument list.
2556
2557 2007-09-04  Jason Merrill  <jason@redhat.com>
2558
2559         * except.c (initialize_handler_parm): Use
2560         fold_build_cleanup_point_expr.
2561
2562         PR c++/31419
2563         * call.c (reference_binding): Don't look for user-defined conversions
2564         to the same type.
2565
2566         PR c++/31411
2567         * except.c (initialize_handler_parm): Put a CLEANUP_POINT_EXPR inside
2568         the MUST_NOT_THROW_EXPR.
2569
2570 2007-09-04  Richard Sandiford  <richard@codesourcery.com>
2571
2572         * decl.c (cp_finish_decl): Call determine_visibility before
2573         make_rtl_for_nonlocal_decl.
2574
2575 2007-09-04  Jason Merrill  <jason@redhat.com>
2576
2577         PR c++/14032
2578         * pt.c (most_specialized_class): Substitute outer template
2579         arguments into the arguments of a member template partial
2580         specialization.
2581         (strip_innermost_template_args): New fn.
2582
2583 2007-09-03  Daniel Jacobowitz  <dan@codesourcery.com>
2584
2585         * Make-lang.in (g++spec.o): Remove SHLIB_MULTILIB.
2586
2587 2007-09-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2588
2589         * call.c (name_as_c_string): Supply a TYPE for CONST_CAST.
2590         * decl.c (cp_make_fname_decl): Likewise,
2591         * parser.c (cp_parser_string_literal): Likewise,
2592         * tree.c (pod_type_p, zero_init_p): Use CONST_CAST_TREE.
2593         * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
2594         Likewise,
2595
2596 2007-09-02  Paolo Carlini  <pcarlini@suse.de>
2597
2598         PR c++/33208
2599         * typeck.c (build_unary_op): Fix error message for
2600         Boolean expression as operand to operator--.
2601
2602 2007-09-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2603
2604         * tree.c (pod_type_p, zero_init_p): Use strip_array_types.
2605         * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
2606         Likewise.
2607
2608 2007-08-31 Douglas Gregor <doug.gregor@gmail.com>
2609
2610         PR c++/32597
2611         * init.c (build_default_init): Make extern.
2612         * cp-tree.h (build_default_init): Declare here.
2613         * pt.c (tsubst_expr): When the instantiation of the initializer of
2614         a variable results in an empty list, default-initialize the
2615         variable.
2616         (tsubst_copy_and_build): When the instantiation of the initializer
2617         in a new expression results in an empty initializer list,
2618         default-initialize it.
2619
2620 2007-08-31  Douglas Gregor  <doug.gregor@gmail.com>
2621
2622         * mangle.c (write_type): Change mangling of rvalue reference from
2623         `RR' to `O'. 
2624
2625 2007-08-31  Jakub Jelinek  <jakub@redhat.com>
2626
2627         * decl.c (duplicate_decls): Remove duplicated line.
2628
2629 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
2630
2631         PR c++/33210
2632         * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with
2633         BOUND_TEMPLATE_TEMPLATE_PARM.
2634
2635 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
2636
2637         PR c++/32113
2638         * search.c (lookup_member): Check the name argument for
2639         error_mark_node.
2640
2641 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
2642
2643         PR c++/33212
2644         * parser.c (cp_parser_trait_expr): Check rerurn value of
2645         cp_parser_type_id.
2646
2647 2007-08-30  Ollie Wild  <aaw@google.com>
2648
2649         * cvt.c (cp_convert_to_pointer): Remove force parameter. Call
2650         convert_ptrmem for pointer to member conversions.
2651         (convert_to_pointer_force): Update cp_convert_to_pointer call.
2652         (ocp_convert): Update cp_convert_to_pointer call.
2653         * typeck.c (convert_ptrmem): Add conditional for null pointers to
2654         members.
2655         (build_static_cast_1): Check can_convert for conversions in either
2656         direction.
2657         (get_delta_difference_1): New function.
2658         (get_delta_difference): Refactor to call get_delta_difference_1.
2659
2660 2007-08-30  Jakub Jelinek  <jakub@redhat.com>
2661
2662         * decl.c (start_preparsed_function): Set
2663         DECL_DISREGARD_INLINE_LIMITS for GNU_INLINE_P functions.
2664
2665 2007-08-28  Paolo Carlini  <pcarlini@suse.de>
2666
2667         PR c++/33209
2668         * error.c (dump_expr): Deal with TEMPLATE_TYPE_PARM and
2669         BOUND_TEMPLATE_TEMPLATE_PARM.
2670
2671 2007-08-28  Jakub Jelinek  <jakub@redhat.com>
2672
2673         PR c++/32596
2674         PR c++/32400
2675         * pt.c (check_explicit_specialization): Set DECL_INTERFACE_KNOWN
2676         and DECL_NOT_REALLY_EXTERN if tmpl_func is not public.
2677
2678 2007-08-27  Jason Merrill  <jason@redhat.com>
2679
2680         PR c++/29000
2681         * pt.c (build_non_dependent_expr, type_dependent_expression_p): 
2682         Look inside STMT_EXPR.
2683         * semantics.c (stmt_expr_value_expr): New fn.
2684         * cp-tree.h: Declare it.
2685
2686         PR c++/28558
2687         * decl.c (groktypename): Ignore attributes applied to class type.
2688
2689 2007-08-28  Richard Guenther  <rguenther@suse.de>
2690
2691         * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS.
2692
2693 2007-08-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2694         
2695         * error.c (dump_expr): Handle COMPLEX_CST.
2696         * cxx-pretty-print.c (pp_cxx_primary_expression): Likewise.
2697         (pp_cxx_expression): Likewise.
2698
2699 2007-08-27  Alexandre Oliva  <aoliva@redhat.com>
2700
2701         * decl.c (GNU_INLINE_P): New.
2702         (duplicate_decls): Handle gnu_inline.  Merge attributes and
2703         some flags in overriding definitions.
2704         (redeclaration_error_message): Handle gnu_inline.
2705         (start_preparsed_function): Likewise.
2706
2707 2007-08-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2708
2709         * call.c (sufficient_parms_p): Constify.
2710         * class.c (same_signature_p): Likewise.
2711         * cp-gimplify.c (is_invisiref_parm,
2712         cxx_omp_privatize_by_reference): Likewise.
2713         * cp-objcp-common.c (has_c_linkage): Likewise.
2714         * cp-tree.h (NON_THUNK_FUNCTION_CHECK, THUNK_FUNCTION_CHECK,
2715         sufficient_parms_p, same_signature_p, copy_fn_p, move_fn_p,
2716         grok_ctor_properties, nothrow_libfn_p, skip_artificial_parms_for,
2717         num_artificial_parms_for, comp_template_parms,
2718         template_parameter_pack_p, any_dependent_template_arguments_p,
2719         any_type_dependent_arguments_p, any_value_dependent_elements_p,
2720         repo_export_class_p, cxx_omp_privatize_by_reference, pod_type_p,
2721         zero_init_p, member_p, cp_lvalue_kind,
2722         builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
2723         varargs_function_p, is_dummy_object, special_function_kind,
2724         string_conv_p, type_unknown_p, comp_except_specs, compparms,
2725         comp_cv_qualification, is_bitfield_expr_with_lowered_type,
2726         unlowered_expr_type, ptr_reasonably_similar, cp_type_readonly,
2727         cp_has_mutable_p, at_least_as_qualified_p,
2728         invalid_nonstatic_memfn_p, lvalue_or_else, lvalue_p): Likewise.
2729         * decl.c (copy_fn_p, move_fn_p, grok_ctor_properties): Likewise.
2730         * except.c (nothrow_libfn_p): Likewise.
2731         * method.c (skip_artificial_parms_for, num_artificial_parms_for):
2732         Likewise.
2733         * pt.c (comp_template_parms, template_parameter_pack_p,
2734         any_type_dependent_arguments_p, any_value_dependent_elements_p,
2735         any_dependent_template_arguments_p): Likewise.
2736         * repo.c (repo_export_class_p): Likewise.
2737         * semantics.c (anon_aggr_type_p): Likewise.
2738         * tree.c (lvalue_p_1, real_lvalue_p, lvalue_p,
2739         builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
2740         varargs_function_p, member_p, is_dummy_object, pod_type_p,
2741         zero_init_p, special_function_p): Likewise.
2742         * typeck.c (comp_array_types, type_unknown_p, comp_except_specs,
2743         comp_array_types, at_least_as_qualified_p, comp_cv_qualification,
2744         compparms, invalid_nonstatic_memfn_p,
2745         is_bitfield_expr_with_lowered_type, unlowered_expr_type,
2746         string_conv_p, ptr_reasonably_similar, cp_type_readonly,
2747         cp_has_mutable_p, lvalue_or_else): Likewise.
2748
2749 2007-08-25  Paolo Bonzini  <bonzini@gnu.org>
2750
2751         * decl.c (cp_tree_node_structure): Kill TINST_LEVEL case.
2752         * cp-objcp-common.c (cp_tree_size): Ditto.
2753         * tree.c (cp_walk_subtrees): Ditto
2754         * cp-tree.def (TINST_LEVEL): Go away.
2755         * cp-tree.h (struct tinst_level_s): Rename to struct tinst_level,
2756         move together with other non-tree structs.
2757         (enum cp_tree_node_structure_enum): Nuke TS_CP_TINST_LEVEL.
2758         (union lang_tree_node): Eliminate tinst_level field.
2759         (TINST_DECL, TINST_LOCATION, TINST_IN_SYSTEM_HEADER_P): Annihilate.
2760         (current_instantiation, outermost_tinst_level): Return
2761         a "struct tinst_level *".
2762
2763         * error.c (print_instantiation_partial_context): Change second
2764         parameter to a "struct tinst_level *".  Replace accessor macros
2765         with field access.
2766         (print_instantiation_full_context): Likewise.
2767         * lex.c (in_main_input_context): Likewise.
2768
2769         * pt.c (struct pending_templates): New.
2770         (pending_templates, last_pending_template): Use it as a type.
2771         (current_tinst_level): Change typo to "struct tinst_level *"
2772         (reopen_tinst_level): Accept "struct tinst_level *", return decl.
2773         (add_pending_template): Construct a "struct pending_template".
2774         Replace TINST_LEVEL accessor macros with field access.
2775         (push_tinst_level): Likewise, using GGC_NEW instead of make_node.
2776         (pop_tinst_level): Likewise.
2777         (instantiate_pending_templates): Likewise.  Factor common code used
2778         when an instantiation has been done.
2779         (outermost_tinst_level): Replace tree_last with loop.
2780         (current_instantiation): Return a "struct tinst_level *".
2781
2782 2007-08-24  Ollie Wild  <aaw@google.com>
2783
2784         * name-lookup.c (add_decl_to_level): Remove addition to vtables chain.
2785         * name-lookup.h (cp_binding_level): Remove vtables member.
2786
2787 2007-08-24  Richard Guenther  <rguenther@suse.de>
2788
2789         * tree.c (cp_cannot_inline_tree_fn): Remove.
2790         * cp-tree.h (cp_cannot_inline_tree_fn): Likewise.
2791         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN):
2792         Remove define.
2793
2794 2007-08-24  Jakub Jelinek  <jakub@redhat.com>
2795
2796         PR c++/32567
2797         * typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return
2798         error_mark_node right away if build_expr_type_conversion
2799         returned it.
2800
2801         PR c++/32898
2802         * name-lookup.c (set_decl_namespace): lookup_qualified_name failure
2803         is error_mark_node rather than NULL_TREE.
2804         * pt.c (check_explicit_specialization): Likewise.
2805
2806         PR c++/31941
2807         * error.c (resolve_virtual_fun_from_obj_type_ref): Handle
2808         TARGET_VTABLE_USES_DESCRIPTORS targets properly.
2809
2810 2007-08-22  Jason Merrill  <jason@redhat.com>
2811
2812         PR c++/29365
2813         * pt.c (outermost_tinst_level): New function.
2814         * lex.c (in_main_input_context): New function.
2815         * cp-tree.h: Declare it.
2816         * decl2.c (constrain_class_visibility): Use it to avoid warning
2817         about uses of the anonymous namespace in the main input file.
2818
2819 2007-08-21  Jakub Jelinek  <jakub@redhat.com>
2820
2821         * init.c (build_new_1): Use get_target_expr instead of save_expr.
2822
2823 2007-08-20  Pawel Sikora  <pluto@pld-linux.org>
2824
2825         PR c++/7302
2826         * class.c (finish_struct_1): Warn when a class has virtual
2827         functions and accessible non-virtual destructor.
2828
2829 2007-08-20  Richard Guenther  <rguenther@suse.de>
2830
2831         PR c++/22369
2832         PR c++/22451
2833         * call.c (build_new_method_call): Convert initializer to
2834         the basetype.
2835         * init.c (build_aggr_init): Do not fiddle with types.
2836         (build_vec_delete_1): Use correct type for POINTER_PLUS_EXPR.
2837         * except.c (build_throw): Do not drop qualifiers for the
2838         pointer type.
2839         * typeck.c (get_member_function_from_ptrfunc): Do not
2840         fiddle with types, instead convert.
2841         (build_ptrmemfunc1): Convert to the target type for
2842         initialization.
2843         (gfc_trans_allocate): Convert result to target type.
2844         * cp-objcp-common.c (cxx_get_alias_set): Pointers to
2845         pointer-to-member structures shall have alias set zero as well.
2846
2847 2007-08-20  Richard Guenther  <rguenther@suse.de>
2848
2849         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P):
2850         Remove.
2851         * cp-tree.h (cp_auto_var_in_fn_p): Remove.
2852         (nonstatic_local_decl_p): Likewise.
2853         * tree.c (cp_auto_var_in_fn_p): Remove.
2854         * decl.c (nonstatic_local_decl_p): Remove.
2855
2856 2007-08-20  Richard Guenther  <rguenther@suse.de>
2857
2858         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_WALK_SUBTREES):
2859         Remove define.
2860         * tree.h (cp_walk_tree): New define to walk_tree_1 with
2861         cp_walk_subtrees lh parameter.
2862         (cp_walk_tree_without_duplicates): New define to
2863         walk_tree_without_duplicates_1 with cp_walk_subtrees lh parameter.
2864         * tree.c (count_trees): Call
2865         cp_walk_tree_without_duplicates.
2866         (verify_stmt_tree): Call cp_walk_tree.
2867         (break_out_target_exprs): Likewise.
2868         (WALK_SUBTREE): Likewise.
2869         * cp-gimplify.c (cp_genericize): Likewise.
2870         * cp-pt.c (find_parameter_packs_r): Likewise.
2871         (uses_parameter_packs): Likewise.
2872         (make_pack_expansion): Likewise.
2873         (check_for_bare_parameter_packs): Likewise.
2874         (for_each_template_parm): Likewise.
2875         * decl.c (check_default_argument): Call
2876         cp_walk_tree_without_duplicates.
2877         * except.c (build_throw): Likewise.
2878         * decl2.c (type_visibility): Likewise.
2879         * semantics.c (expand_or_defer_fn): Likewise.
2880         (finalize_nrv): Call cp_walk_tree.
2881
2882 2007-08-20  Jakub Jelinek  <jakub@redhat.com>
2883
2884         PR c++/33025
2885         * init.c (build_new_1): Rename placement_var variable to placement_expr.
2886         Initialize it with save_expr rather than get_temp_regvar.
2887
2888 2007-08-17  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2889
2890         PR c++/28989
2891         * tree.c (lvalue_p_1 <case SAVE_EXPR>): SAVE_EXPRs are never
2892         lvalues.
2893
2894 2007-08-17  Ollie Wild  <aaw@google.com>
2895
2896         PR c++/31749
2897         * name-lookup.c (do_nonmember_using_decl): Shift implicit type
2898         declarations into appropriate slots for comparison.  Fix type
2899         comparison.
2900
2901 2007-08-17  Paolo Carlini  <pcarlini@suse.de>
2902
2903         PR c++/32112
2904         * error.c (dump_decl): Deal with UNBOUND_CLASS_TEMPLATE.
2905         * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.
2906
2907 2007-08-17  Paolo Carlini  <pcarlini@suse.de>
2908
2909         PR c++/32870
2910         * parser.c (cp_parser_class_head): Improve error message.
2911
2912 2007-08-16  Seongbae Park  <seongbae.park@gmail.com>
2913
2914         * pt.c (instantiate_decl): Set input_location
2915         for the function end.
2916
2917 2007-08-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2918
2919         * cp-objcp-common.c (cxx_warn_unused_global_decl, cp_expr_size):
2920         Constify.
2921         * cp-tree.h (local_variable_p, nonstatic_local_decl_p,
2922         class_tmpl_impl_spec_p, cp_auto_var_in_fn_p, cp_type_quals,
2923         cxx_incomplete_type_diagnostic, cxx_incomplete_type_error,
2924         cxx_warn_unused_global_decl, cp_expr_size): Likewise.
2925         * decl.c (local_variable_p, nonstatic_local_decl_p): Likewise.
2926         * tree.c (class_tmpl_impl_spec_p, cp_auto_var_in_fn_p): Likewise.
2927         * typeck.c (cp_type_quals): Likewise.
2928         * typeck2.c (cxx_incomplete_type_diagnostic,
2929         cxx_incomplete_type_error): Likewise.
2930
2931 2007-08-16  Paolo Carlini  <pcarlini@suse.de>
2932
2933         PR c++/31132
2934         * pt.c (tsubst_friend_function): When check_classfn
2935         returns error_mark_node likewise return it.
2936
2937 2007-08-15  Jakub Jelinek  <jakub@redhat.com>
2938
2939         PR c++/32992
2940         * typeck.c (check_return_expr): Don't NRV optimize vars in
2941         anonymous unions.
2942         * decl.c (finish_function): Comment fix.
2943
2944 2007-08-15  Paolo Carlini  <pcarlini@suse.de>
2945
2946         PR c++/33035
2947         * pt.c (push_template_decl_real): Depending on TYPE_P
2948         use either TYPE_CONTEXT or DECL_CONTEXT.
2949
2950 2007-08-14  Mark Mitchell  <mark@codesourcery.com>
2951
2952         * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if
2953         constructors and destructors return this.
2954
2955 2007-08-14  Paolo Carlini  <pcarlini@suse.de>
2956
2957         PR c++/27211
2958         * decl2.c (check_classfn): Return error_mark_node in case of error;
2959         in that case, do not call add_method.
2960         * decl.c (start_decl): Deal with check_classfn returning
2961         error_mark_node.
2962         (grokfndecl): Likewise.
2963         * pt.c (tsubst_friend_function): Likewise.
2964
2965 2007-08-14  Andrew Pinski  <pinskia@gmail.com>
2966
2967         PR c++/30428
2968         * typeck.c (build_binary_op): Disallow vector float types with
2969         BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR.
2970
2971 2007-08-11  Ian Lance Taylor  <iant@google.com>
2972
2973         * cp-objcp-common.c (cxx_get_alias_set): Change return type to
2974         alias_set_type.
2975         * cp-tree.h (cxx_get_alias_set): Update declaration.
2976
2977 2007-08-10  Ollie Wild  <aaw@google.com>
2978
2979         * name-lookup.c (do_nonmember_using_decl): Print an error for ambiguous
2980         type lookups.
2981         (ambiguous_decl): Construct tree of ambiguous types.  Remove extaneous
2982         function parameter.
2983         (unqualified_namespace_lookup): Fix ambiguous_decl call.
2984         (lookup_using_namespace): Fix ambiguous_decl call.
2985         (qualified_lookup_using_namespace): Fix ambiguous_decl call.
2986
2987 2007-08-10  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2988
2989         * call.c (name_as_c_string): Use CONST_CAST.
2990         * decl.c (build_decl): Likewise.
2991         * parser.c (cp_parser_string_literal): Likewise.
2992
2993 2007-08-10  Paolo Carlini  <pcarlini@suse.de>
2994
2995         PR c++/17763
2996         * error.c (dump_expr): Consistently use the *_cxx_*
2997         variants of the pretty-print functions.
2998
2999 2007-08-10  Paolo Carlini  <pcarlini@suse.de>
3000
3001         PR c++/22256
3002         * decl.c (check_special_function_return_type): Just error
3003         on return type specified for conversion operator.
3004
3005 2007-08-09  Daniel Berlin  <dberlin@dberlin.org>
3006
3007         * typeck2.c (readonly_error): Handle general expressions.
3008         * error.c (dump_expr): Handle POINTER_PLUS_EXPR
3009
3010 2007-08-06  Dan Hipschman  <dsh@google.com>
3011
3012         * method.c (use_thunk): Use DECL_NAME instead of DECL_RTL to
3013         access function name.
3014
3015 2007-08-04  Alfred Minarik  <a.minarik@aon.at>
3016
3017         PR pch/13676
3018         * lang-specs.h: Add .hp, .hxx, .hpp, .h, .HPP, .tcc as c++ header.
3019         * g++spec.c (lang_specific_driver): Check them.
3020
3021 2007-08-06  Paolo Carlini  <pcarlini@suse.de>
3022
3023         PR c++/19532
3024         * pt.c (inline_needs_template_parms): Fix comment; change return type
3025         to bool.
3026
3027 2007-08-05  Volker Reichelt  <v.reichelt@netcologne.de>
3028
3029         Revert:
3030         2007-03-26  Dirk Mueller  <dmueller@suse.de>
3031
3032         * parser.c (cp_parser_member_declaration): Pedwarn
3033         about stray semicolons after member declarations.
3034
3035 2007-08-02  Lee Millward  <lee.millward@gmail.com>
3036
3037         PR c++/30849
3038         PR c++/30850
3039         PR c++/30851
3040         * parser.c (cp_parser_asm_definition): Detect and discard asm
3041         statements with invalid inputs or outputs.
3042         (cp_parser_asm_operand_list): Return error mark node if any
3043         of the operands are invalid. Adjust documentation.
3044         
3045 2007-08-02  Nick Clifton  <nickc@redhat.com>
3046
3047         * typeck.c: Change copyright header to refer to version 3 of the
3048         GNU General Public License and to point readers at the COPYING3
3049         file and the FSF's license web page.
3050         * optimize.c, lang-specs.h, init.c, class.c, repo.c, decl.c,
3051         config-lang.in, cp-tree.def, call.c, decl.h, ptree.c,
3052         Make-lang.in, method.c, rtti.c, cp-objcp-common.c, g++spec.c,
3053         cp-objcp-common.h, except.c, error.c, operators.def, cvt.c,
3054         tree.c, mangle.c, cp-tree.h, dump.c, search.c, friend.c, expr.c,
3055         cp-gimplify.c, cxx-pretty-print.c, cp-lang.c, typeck2.c, pt.c,
3056         cxx-pretty-print.h, semantics.c, name-lookup.c, lex.c, decl2.c,
3057         name-lookup.h, parser.c: Likewise.
3058
3059 2007-08-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3060
3061         PR middle-end/32668
3062         * call.c (magic_varargs_p): Honor the "type generic" attribute.
3063
3064 2007-07-30  Paolo Carlini  <pcarlini@suse.de>
3065
3066         PR c++/32108
3067         * semantics.c (finish_label_stmt): Reject the __label__
3068         extension outside function scopes.
3069
3070 2007-07-29  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3071
3072         * parser.c (eof_token): Un-constify.
3073         (cp_lexer_new_main, cp_lexer_new_from_tokens, VEC_alloc,
3074         cp_lexer_consume_token, cp_lexer_purge_token): Remove spurious
3075         casts.
3076
3077 2007-07-28  Kazu Hirata  <kazu@codesourcery.com>
3078
3079         * pt.c, tree.c, typeck2.c: Fix comment typos.
3080
3081 2007-07-28  Simon Martin  <simartin@users.sourceforge.net>
3082             Mark Mitchell  <mark@codesourcery.com>
3083
3084         PR c++/30917
3085         * name-lookup.c (lookup_name_real): Non namespace-scope bindings can be
3086         hidden due to friend declarations in local classes.
3087
3088 2007-07-27  Douglas Gregor  <doug.gregor@gmail.com>
3089
3090         * typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
3091         * cp-tree.def (DECLTYPE_TYPE): New.
3092         * error.c (dump_type): Dump DECLTYPE_TYPE nodes.
3093         (dump_type_prefix): Ditto.
3094         (dump_type_suffix): Ditto.
3095         * tree.c (DECLTYPE_TYPE): Walk DECLTYPE_TYPE nodes.
3096         * mangle.c (write_type): Handle DECLTYPE_TYPE.
3097         * cp-tree.h (IS_AGGR_TYPE): DECLTYPE_TYPE nodes can be aggregate
3098         types.
3099         (DECLTYPE_TYPE_EXPR): New.
3100         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): New.
3101         (finish_declared_type): Declare.
3102         * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Print
3103         DECLTYPE_TYPE nodes.
3104         (pp_cxx_type_id): Ditto.
3105         * pt.c (for_each_template_parm_r): Walk DECLTYPE_TYPE children.
3106         (tsubst): Substitute into a DECLTYPE_TYPE node.
3107         (tsubst_copy): Ditto.
3108         (unify): Cannot deduce anything from TYPEOF_TYPE or DECLTYPE_TYPE
3109         nodes.
3110         (dependent_type_p_r): DECLTYPE_TYPE types are always dependent.
3111         * semantics.c (finish_typeof): TYPEOF_TYPE types need to use
3112         structural equality (because we can't hash the expressions).
3113         (finish_declared_type): New.
3114         * lex.c (reswords): Add "decltype" keyword.
3115         * parser.c cp_lexer_next_token_is_decl_specifier_keyword
3116         (cp_parser_postfix_expression): Add member_access_only_p to
3117         restrict postfix expression to member access expressions.
3118         (cp_parser_unary_expression): Update call to
3119         cp_parser_postfix_expression to reflect new parameter.
3120         (cp_parser_declared_type): New.
3121         (cp_parser_simple_type_specifier): Parse decltype types.
3122
3123 2007-07-27  Mark Mitchell  <mark@codesourcery.com>
3124
3125         PR c++/32346
3126         * call.c (convert_for_arg_passing): Only widen bitfields to their
3127         declared types if necessary.
3128
3129 2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3130
3131         * parser.c (cp_parser_string_literal, cp_parser_sizeof_operand):
3132         Constify.
3133
3134 2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3135
3136         * decl.c (typename_hash, typename_compare): Constify.
3137         * mangle.c (hash_type, compare_type): Likewise.
3138         * pt.c (eq_local_specializations, hash_local_specialization):
3139         Likewise.
3140         * tree.c (cplus_array_hash, cplus_array_compare, list_hash_eq,
3141         list_hash): Likewise.
3142         * typeck2.c (pat_compare): Likewise.
3143
3144 2007-07-24  Nathan Sidwell  <nathan@codesourcery.com>
3145
3146         * method.c (implicitly_declare_fn): Increase alignment if member
3147         function pointer format requires it.
3148
3149 2007-07-24  Paolo Carlini  <pcarlini@suse.de>
3150
3151         PR c++/29001
3152         * typeck.c (check_return_expr): Do not pass a null argument
3153         to null_ptr_cst_p.
3154
3155 2007-07-24  Paolo Carlini  <pcarlini@suse.de>
3156
3157         PR c++/32561
3158         * decl.c (redeclaration_error_message): Call DECL_ANON_UNION_VAR_P
3159         only on VAR_DECL.
3160
3161 2007-07-22  Nathan Sidwell  <nathan@codesourcery.com>
3162
3163         PR c++/32839
3164         * typeck.c (convert_arguments): Only use default args if we have
3165         a function decl.
3166
3167         PR c++/30818
3168         * typeck.c (structural_comptypes): No need to check
3169         resolve_typename_type return value here.
3170         * cp-tree.h (TYPENAME_IS_RESOLVING_P): New.
3171         * pt.c (resolve_typename_type): Follow typename typedefs.  Return
3172         original type rather than error_mark_node in case of failure.
3173         * parser.c (cp_parser_nested_name_specifier_opt): Adjust
3174         resolve_typename_type result check.
3175         (cp_parser_direct_declarator, cp_parser_head,
3176         cp_parser_constructor_declarator_p): Likewise.
3177
3178 2007-07-12  Kazu Hirata  <kazu@codesourcery.com>
3179
3180         * pt.c (template_parms_variadic_p): Remove.
3181         * cp-tree.h: Remove the prototype for template_parms_variadic_p.
3182
3183 2007-07-12  Jakub Jelinek  <jakub@redhat.com>
3184
3185         PR c++/30854
3186         * error.c (dump_expr) <case AGGR_INIT_EXPR>: Pass true as last
3187         argument to dump_aggr_init_expr_args instead of false.
3188
3189 2007-07-11  Douglas Gregor  <doug.gregor@gmail.com>
3190
3191         * typeck.c (comptypes): When USE_CANONICAL_TYPES, use the
3192         canonical types; otherwise, fall back to structural type
3193         comparisons. If ENABLE_CHECKING and USE_CANONICAL_TYPES, give an
3194         internal compiler error if the canonical types are wrong.
3195         
3196 2007-07-11  Paolo Carlini  <pcarlini@suse.de>
3197
3198         PR c++/32560
3199         * parser.c (cp_parser_make_indirect_declarator): When the
3200         the code argument is ERROR_MARK return cp_error_declarator.
3201
3202 2007-07-09  Geoffrey Keating  <geoffk@apple.com>
3203
3204         PR 32617
3205         * decl.c (cxx_init_decl_processing): Don't set
3206         force_align_functions_log.
3207         (grokfndecl): Honour ptrmemfunc_vbit_in_pfn.
3208         * typeck.c (cxx_alignof_expr): When alignof is used on a plain
3209         FUNCTION_DECL, return its alignment.
3210
3211 2007-07-09  Richard Guenther  <rguenther@suse.de>
3212
3213         * decl.c (start_preparsed_function): Do not promote return type.
3214
3215 2007-07-08  Paolo Carlini  <pcarlini@suse.de>
3216
3217         PR c++/30535
3218         * pt.c (unify): Never pass error_mark_node to template_decl_level.
3219
3220 2007-07-07  Mark Mitchell  <mark@codesourcery.com>
3221
3222         PR c++/32232
3223         * pt.c (resolve_overloaded_unification): Robustify.  Return a
3224         bool, not an int.
3225         (type_unification_real): Adjust accordingly.
3226
3227 2007-07-06  Richard Guenther  <rguenther@suse.de>
3228
3229         * init.c (build_new_1): Use the correct pointer type.
3230         * typeck2.c (build_m_component_ref): Likewise.
3231
3232 2007-07-05  Mark Mitchell  <mark@codesourcery.com>
3233
3234         PR c++/32245
3235         * init.c (build_zero_init): Always build an initializer for
3236         non-static storage.
3237         * typeck2.c (build_functional_cast): Use build_zero_init.
3238
3239         PR c++/32251
3240         * init.c (build_new_1): Always pass the allocation function to
3241         build_op_delete_call.
3242         * call.c (build_op_delete_call): Handle operator delete with a
3243         variable-argument list.  Do not issue an error when no matching
3244         deallocation function is available for a new operator.
3245
3246         PR c++/31992
3247         * cp-tree.h (any_value_dependent_elements_p): Declare it.
3248         * decl.c (value_dependent_init_p): New function.
3249         (cp_finish_decl): Use it.
3250         * pt.c (value_dependent_expression_p): Use
3251         any_value_dependent_elements_p.
3252         * parser.c (cp_parser_primary_expression): Add comment about
3253         treating dependent qualified names as integral
3254         constant-expressions.
3255
3256 2007-07-04  Douglas Gregor  <doug.gregor@gmail.com>
3257
3258         * decl.c (build_ptrmemfunc_type): Always use structural equality
3259         tests when comparing pointer-to-member-function types, because the
3260         handling of TYPE_GET_PTRMEMFUNC_TYPE currently defeats canonical
3261         types.
3262         
3263 2007-07-03  Mark Mitchell  <mark@codesourcery.com>
3264
3265         * init.c (build_new): Tweak comment.
3266
3267 2007-06-29  Dave Brolley  <brolley@redhat.com>
3268
3269         PR c++/31743
3270         * parser.c (cp_parser_new_type_id): Don't reduce a named array
3271         type to its base type and number of elements here.
3272         * init.c (build_new): Call complete_type_or_else to ensure that the
3273         type is complete and to issue a diagnostic if it is not.
3274         (build_new_1): Don't call complete_type_or_else here.
3275
3276 2007-07-03  Richard Guenther  <rguenther@suse.de>
3277
3278         PR c++/32609
3279         * class.c (fixed_type_or_null): Re-lookup the hashtable slot
3280         after recursing.
3281
3282 2007-07-02  Simon Baldwin  <simonb@google.com>
3283
3284         * parser.c (cp_parser_elaborated_type_specifier): Added a warning
3285         for inner-style nested forward declarations that don't declare
3286         anything useful.
3287
3288 2007-07-02  Jakub Jelinek  <jakub@redhat.com>
3289
3290         PR c++/31748
3291         * semantics.c (finish_omp_clauses): Use %qD instead of %qE for
3292         DECL_P in not a variable and appears more than once error messages.
3293
3294 2007-07-01  Ollie Wild  <aaw@google.com>
3295
3296         * name-lookup.c (ambiguous_decl): Fix case when new->value is hidden.
3297         (select_decl): Remove function.
3298         (unqualified_namespace_lookup): Populate binding by calling
3299         ambiguous_decl.  Remove select_decl call.
3300         (lookup_qualified_name): Remove select_decl call.
3301         * decl.c (lookup_and_check_tag): Check for ambiguous references.
3302         * parser.c (cp_parser_elaborated_type_specifier): Skip redundant error
3303         generation when name lookup is ambiguous.
3304
3305 2007-06-29  Douglas Gregor  <doug.gregor@gmail.com>
3306
3307         PR c++/31724
3308         * init.c (build_new_1): Use structural equality on the copy of the
3309         array type.
3310
3311 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
3312
3313         * decl2.c (determine_visibility): Implement
3314         flag_visibility_ms_compat effect on type info.
3315         * decl.c (cxx_init_decl_processing): Implement
3316         global effect of flag_visibility_ms_compat.
3317
3318 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
3319
3320         * decl2.c (start_objects): Mark constructor-running function
3321         as artificial.
3322
3323 2007-06-26  Simon Martin  <simartin@users.sourceforge.net>
3324
3325         PR c++/32111
3326         * decl.c (grokdeclarator): Reset friendp for member functions declared
3327         friend of their own class.
3328
3329 2007-06-23  Mark Mitchell  <mark@codesourcery.com>
3330
3331         * decl2.c (determine_visibility): Don't look for dllexport here.
3332         (determine_visibility_from_class): Tidy.
3333
3334 2007-06-18  Simon Baldwin <simonb@google.com>
3335
3336         PR c++/31923
3337         * parser.c (cp_parser_single_declaration): Added check for storage
3338         class other than sc_none in parsed declaration, and a flag to indicate
3339         if the call is part of an explicit template specialization parse.
3340         * (cp_parser_explicit_specialization): Specialization check flag added
3341         to call to cp_parser_single_declaration(), set true.
3342         * (cp_parser_template_declaration_after_export): Specialization check
3343         flag added to call to cp_parser_single_declaration(), set false.
3344         * pt.c (check_explicit_specialization): Added code to copy visiblity
3345         and linkage from the templated function to the explicit specialization.
3346
3347 2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3348
3349         * typeck.c (build_binary_op): For templates build the
3350         expression in pieces to avoid the assert in build2_stat.
3351         (get_member_function_from_ptrfunc):
3352         Change over to using POINTER_PLUS_EXPR and convert
3353         the second operand to sizetype.
3354         * typeck2.c (build_m_component_ref):  Likewise.
3355         * init.c (expand_virtual_init): Create a POINTER_PLUS_EXPR
3356         instead of PLUS_EXPR for pointers.
3357         (build_new_1): Likewise.
3358         (build_vec_delete_1): Likewise.
3359         (build_vec_delete): Likewise.
3360         * class.c (build_base_path): Likewise.
3361         (build_base_path): Likewise.
3362         (convert_to_base_statically): Likewise.
3363         (fixed_type_or_null): Handle POINTER_PLUS_EXPR.
3364         (get_vtbl_decl_for_binfo): Handle POINTER_PLUS_EXPR
3365         instead of PLUS_EXPR.
3366         (dfs_accumulate_vtbl_inits): Create a POINTER_PLUS_EXPR
3367         instead of PLUS_EXPR for pointers.
3368         * call.c (build_special_member_call): Likewise.
3369         * rtti.c (build_headof): Likewise.
3370         Use sizetype instead of ptrdiff_type_node.
3371         (tinfo_base_init): Create a POINTER_PLUS_EXPR
3372         instead of PLUS_EXPR for pointers.
3373         * except.c (expand_start_catch_block):  Do a
3374         NEGATIVE and then a POINTER_PLUS_EXPR instead
3375         of a MINUS_EXPR.
3376         * cp-gimplify.c (cxx_omp_clause_apply_fn): Convert
3377         PLUS_EXPR on pointer types over to use
3378         POINTER_PLUS_EXPR and remove the conversion
3379         to the pointer types.
3380         * method.c (thunk_adjust): Use POINTER_PLUS_EXPR for
3381         adding to a pointer type. Use size_int instead of
3382         ssize_int. Convert the index to sizetype before
3383         adding it to the pointer.
3384
3385 2007-06-15  Mark Mitchell  <mark@codesourcery.com>
3386
3387         * cp-tree.h (DECL_VAR_MARKED_P): Remove.
3388         (DECL_ANON_UNION_VAR_P): New macro.
3389         * class.c (fixed_type_or_null): Tidy.  Use a hash table, rather
3390         than DECL_VAR_MARKED_P, to keep track of which variables we have
3391         seen.
3392         * decl.c (redeclaration_error_message): Complain about redeclaring
3393         anonymous union members at namespace scope.
3394         * decl2.c (build_anon_union_vars): Set DECL_ANON_UNION_VAR_P.
3395
3396 2007-06-14  Geoff Keating  <geoffk@apple.com>
3397
3398         * decl2.c (determine_visibility): Ensure that functions with
3399         hidden types as parameters are hidden.
3400
3401         PR 31093
3402         * decl2.c (determine_visibility): Remove duplicate code for
3403         handling type info.
3404
3405 2007-06-12  Ian Lance Taylor  <iant@google.com>
3406
3407         PR libstdc++/29286
3408         * init.c (avoid_placement_new_aliasing): New static function.
3409         (build_new_1): Call it.
3410
3411 2007-06-11  Rafael Avila de Espindola  <espindola@google.com>
3412
3413         * cp-objcp-common.h (LANG_HOOKS_SIGNED_TYPE): Remove.
3414         (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
3415
3416 2007-06-08  Jakub Jelinek  <jakub@redhat.com>
3417
3418         PR c++/32177
3419         * semantics.c (finish_omp_for): Call fold_build_cleanup_point_expr
3420         on init, the non-decl cond operand and increment value.
3421
3422 2007-06-07  Simon Martin  <simartin@users.sourceforge.net>
3423
3424         PR c++/30759
3425         * decl.c (check_initializer): Report an error when a brace enclosed
3426         initializer is used for a non-aggregate type in C++98.
3427         (redeclaration_error_message): Rewrote flag_cpp0x in terms of
3428         cxx_dialect.
3429         (grokdeclarator): Likewise.
3430         (move_fn_p): Likewise.
3431         * typeck.c (check_return_expr): Likewise.
3432         * call.c (reference_binding): Likewise.
3433         * error.c (cp_cpp_error): Likewise.
3434         * pt.c (check_default_tmpl_args): Likewise.
3435         (tsubst): Likewise.
3436         * lex.c (init_reswords): Likewise.
3437         * parser.c (p_parser_primary_expression): Likewise.
3438         (TOKEN_PRECEDENCE): Likewise.
3439         (cp_parser_init_declarator): Likewise.
3440         (cp_parser_ptr_operator): Likewise.
3441         (cp_parser_parameter_declaration): Likewise.
3442         (cp_parser_enclosed_template_argument_list): Likewise.
3443         (cp_parser_skip_to_end_of_template_parameter_list): Likewise.
3444         (cp_parser_next_token_ends_template_argument_p): Likewise.
3445
3446 2007-06-04  Simon Baldwin  <simonb@google.com>
3447
3448         * decl.c (grokdeclarator): Readability change.  Moved case labels
3449         into direct switch statement scope.
3450
3451 2007-06-04  Paolo Carlini  <pcarlini@suse.de>
3452
3453         * call.c (convert_like_real): Remove pointless code.
3454
3455 2007-05-31  Mark Mitchell  <mark@codesourcery.com>
3456
3457         * decl.c (get_atexit_fn_ptr_type): New function.
3458         (get_atexit_node): Use it.
3459         (start_cleanup_fn): Likewise.
3460         (register_dtor_fn): Use the object's destructor, instead of a
3461         separate cleanup function, where possible.
3462         * cp-tree.h (CPTI_ATEXIT_FN_PTR_TYPE): New enumerator.
3463         (atexit_fn_ptr_type_node): New macro.
3464         * decl2.c (build_cleanup): Use build_address.
3465
3466 2007-05-31  Daniel Berlin  <dberlin@dberlin.org>
3467
3468         * typeck.c (build_binary_op): Include types in error.
3469
3470 2007-05-31  Jakub Jelinek  <jakub@redhat.com>
3471
3472         PR c++/31806
3473         * decl.c (cp_finish_decl): Also clear was_readonly if a static var
3474         needs runtime initialization.
3475