OSDN Git Service

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