re PR c++/59296 ([c++11] ref-qualified member function is ambiguous)
[gcc.git] / gcc / cp / ChangeLog
1 2014-06-20 Jason Merrill <jason@redhat.com>
2
3 PR c++/59296
4 * call.c (add_function_candidate): Avoid special 'this' handling
5 if we have a ref-qualifier.
6
7 PR c++/61556
8 * call.c (build_over_call): Call build_this in template path.
9
10 2014-06-19 Jason Merrill <jason@redhat.com>
11
12 PR c++/59296
13 * call.c (add_function_candidate): Also set LOOKUP_NO_TEMP_BIND.
14
15 2014-06-18 Jason Merrill <jason@redhat.com>
16
17 PR c++/59296
18 * call.c (add_function_candidate): Set LOOKUP_NO_RVAL_BIND for
19 ref-qualifier handling.
20
21 PR c++/61507
22 * pt.c (resolve_overloaded_unification): Preserve
23 ARGUMENT_PACK_EXPLICIT_ARGS.
24
25 2014-06-18 Jakub Jelinek <jakub@redhat.com>
26
27 * cp-gimplify.c (cxx_omp_finish_clause): Add a gimple_seq *
28 argument.
29 * cp-tree.h (cxx_omp_finish_clause): Adjust prototype.
30
31 2014-06-17 Jason Merrill <jason@redhat.com>
32
33 PR c++/60605
34 * pt.c (check_default_tmpl_args): Check DECL_LOCAL_FUNCTION_P.
35
36 2014-06-15 Jason Merrill <jason@redhat.com>
37
38 PR c++/61488
39 * pt.c (check_valid_ptrmem_cst_expr): Fix for template context.
40
41 PR c++/61500
42 * tree.c (lvalue_kind): Handle MEMBER_REF and DOTSTAR_EXPR.
43
44 2014-06-15 Jan Hubicka <hubicka@ucw.cz>
45
46 * decl.c (grokvardecl): Fix pasto in previous patch.
47
48 2014-06-15 Jan Hubicka <hubicka@ucw.cz>
49
50 * decl.c (duplicate_decls): Use set_decl_tls_model.
51 (grokdeclarator): Likewise.
52 * semantics.c (finish_id_expression): Check TLS only for
53 static variables.
54 (finish_omp_threadprivate): Use decl_default_tls_model.
55 * decl2.c (get_guard): Likewise.
56 * call.c (make_temporary_var_for_ref_to_temp): Likewise.
57
58 2014-06-14 Paolo Carlini <paolo.carlini@oracle.com>
59
60 PR c++/33101
61 * decl.c (grokparms): Improve error message about void parameters.
62 * error.c (type_to_string): Fix aka cut off code.
63
64 2014-06-12 Jason Merrill <jason@redhat.com>
65
66 * call.c (convert_arg_to_ellipsis): Use abi_version_crosses.
67 * cvt.c (type_promotes_to): Likewise.
68 * mangle.c (write_type, write_expression): Likewise.
69 (write_name, write_template_arg): Likewise.
70 (mangle_decl): Make alias based on flag_abi_compat_version.
71 Emit -Wabi warning here.
72 (finish_mangling_internal): Not here. Drop warn parm.
73 (finish_mangling_get_identifier, finish_mangling): Adjust.
74 (mangle_type_string, mangle_special_for_type): Adjust.
75 (mangle_ctor_vtbl_for_type, mangle_thunk): Adjust.
76 (mangle_guard_variable, mangle_tls_init_fn): Adjust.
77 (mangle_tls_wrapper_fn, mangle_ref_init_variable): Adjust.
78
79 * call.c (build_operator_new_call): Remove -fabi-version=1 support.
80 * class.c (walk_subobject_offsets, include_empty_classes): Likewise.
81 (layout_nonempty_base_or_field, end_of_class): Likewise.
82 (layout_empty_base, build_base_field, layout_class_type): Likewise.
83 (is_empty_class, add_vcall_offset_vtbl_entries_1): Likewise.
84 (layout_virtual_bases): Likewise.
85 * decl.c (compute_array_index_type): Likewise.
86 * mangle.c (write_mangled_name, write_prefix): Likewise.
87 (write_template_prefix, write_integer_cst, write_expression): Likewise.
88 (write_template_arg, write_array_type): Likewise.
89 * method.c (lazily_declare_fn): Likewise.
90 * rtti.c (get_pseudo_ti_index): Likewise.
91 * typeck.c (comp_array_types): Likewise.
92
93 2014-06-11 Jan Hubicka <hubicka@ucw.cz>
94
95 * vtable-class-hierarchy.c: Update handling for section names
96 that are no longer trees.
97 * decl.c (duplicate_decls): Likewise.
98
99 2014-06-11 Paolo Carlini <paolo.carlini@oracle.com>
100
101 PR c++/19200
102 * parser.c (cp_parser_init_declarator): Actually pass friend_p
103 to cp_parser_declarator.
104
105 2014-06-11 Paolo Carlini <paolo.carlini@oracle.com>
106
107 PR c++/60265
108 * parser.c (cp_parser_using_declaration): Handle unscoped enums.
109 * name-lookup.c (validate_nonmember_using_decl): Adjust error
110 message.
111
112 2014-06-11 Paolo Carlini <paolo.carlini@oracle.com>
113
114 PR c++/19200
115 * parser.c (cp_parser_declarator): Add bool parameter.
116 (cp_parser_direct_declarator): Likewise, use it.
117 (cp_parser_member_declaration): Pass friend_p to cp_parser_declarator.
118 (cp_parser_condition, cp_parser_explicit_instantiation,
119 cp_parser_init_declarator, cp_parser_type_id_1,
120 cp_parser_parameter_declaration, cp_parser_exception_declaration,
121 cp_parser_cache_defarg, cp_parser_objc_class_ivars,
122 cp_parser_objc_struct_declaration, cp_parser_omp_for_loop_init):
123 Adjust.
124 * decl.c (grokdeclarator): Fix handling of friend declared in
125 namespace scope (g++.dg/parse/friend10.C).
126
127 2014-06-10 Jan Hubicka <hubicka@ucw.cz>
128
129 * vtable-class-hierarchy.c: Use symtab_get_node (var_decl)
130 ->implicit_section.
131 * optimize.c (cdtor_comdat_group): Fix handling of aliases.
132 (maybe_clone_body): Move symbol across comdat groups.
133 * method.c (use_thunk): Copy implicit section flag.
134
135 2014-06-09 Paolo Carlini <paolo.carlini@oracle.com>
136
137 PR c++/22556
138 * name-lookup.c (pushdecl_maybe_friend_1): Use comptypes.
139
140 2014-06-07 Jan Hubicka <hubicka@ucw.cz>
141
142 * method.c (use_thunk): Use set_decl_section_name.
143 * optimize.c (maybe_clone_body): Use set_decl_section_name.
144 * decl.c (duplicate_decls): Likewise.
145 * vtable-class-hierarchy.c: Likewise.
146
147 2014-06-06 Paolo Carlini <paolo.carlini@oracle.com>
148
149 PR c++/60184
150 * class.c (check_field_decls): In C++11 mode do not reject
151 static data members and reference-type members in unions.
152
153 2014-06-05 Jason Merrill <jason@redhat.com>
154
155 PR c++/43453
156 * decl.c (check_initializer): Collapse a TREE_LIST here.
157 * typeck2.c (store_init_value): Not here.
158
159 2014-06-05 Richard Biener <rguenther@suse.de>
160 Paolo Carlini <paolo.carlini@oracle.com>
161
162 PR c++/56961
163 * cp-gimplify.c (cp_gimplify_expr, [MODIFY_EXPR]): Rework
164 handling of empty classes.
165
166 2014-06-04 Jason Merrill <jason@redhat.com>
167
168 * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful note
169 for noexcept and thread_local, too.
170
171 PR c++/61343
172 * decl.c (check_initializer): Maybe clear
173 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
174
175 2014-06-05 Richard Biener <rguenther@suse.de>
176
177 PR c++/61004
178 * typeck.c (cp_build_indirect_ref): Do not emit strict-aliasing
179 warnings for accessing empty classes.
180
181 2014-06-05 Marek Polacek <polacek@redhat.com>
182
183 PR c/49706
184 * parser.c (cp_parser_binary_expression): Warn when logical not is
185 used on the left hand side operand of a comparison.
186
187 2014-06-04 Paolo Carlini <paolo.carlini@oracle.com>
188
189 PR c++/43453
190 * typeck.c (cp_build_modify_expr): Handle array of characters
191 initialized by a string literal.
192 * decl.c (check_initializer): Handle parenthesized string literal
193 as initializer.
194 * typeck2.c (store_init_value): Remove redundant check.
195
196 2014-06-04 Jason Merrill <jason@redhat.com>
197
198 PR c++/51253
199 PR c++/61382
200 * cp-gimplify.c (cp_gimplify_expr): Handle CALL_EXPR_LIST_INIT_P here.
201 * semantics.c (simplify_aggr_init_expr): Not here, just copy it.
202
203 2014-06-04 Igor Zamyatin <igor.zamyatin@intel.com>
204
205 PR c/58942
206 * cp-array-notation.c (expand_sec_reduce_builtin): Handle the case
207 with a pointer.
208
209 2014-06-03 Paolo Carlini <paolo.carlini@oracle.com>
210
211 DR 1423
212 PR c++/52174
213 * call.c (standard_conversion): Convert nullptr to bool only
214 in case of direct-initialization.
215 (convert_like_real): Provide informative error message.
216
217 2014-06-03 Marek Polacek <polacek@redhat.com>
218
219 PR c/60439
220 * semantics.c (finish_switch_cond): Warn if switch condition has
221 boolean value.
222
223 2014-06-03 Jason Merrill <jason@redhat.com>
224
225 PR c++/60992
226 * pt.c (tsubst_copy) [VAR_DECL]: Try lookup first. Add a new
227 variable to local_specializations.
228
229 PR c++/60848
230 * call.c (is_std_init_list): Check CLASSTYPE_TEMPLATE_INFO.
231
232 2014-06-02 Jason Merrill <jason@redhat.com>
233
234 PR c++/61046
235 * decl.c (reshape_init_class): Handle un-folded
236 constant-expressions.
237
238 PR c++/61134
239 * pt.c (pack_deducible_p): Handle canonicalization.
240
241 2014-06-02 Paolo Carlini <paolo.carlini@oracle.com>
242
243 * pt.c (tsubst_function_type): Initialize arg_types.
244
245 2014-06-02 Siva Chandra Reddy <sivachandra@google.com>
246
247 PR debug/57519
248 * class.c (handle_using_decl): Pass the correct scope to
249 cp_emit_debug_info_for_using.
250
251 2014-06-02 Ville Voutilainen <ville.voutilainen@gmail.com>
252
253 PR c++/59483
254 PR c++/61148
255 * search.c (accessible_p): Use current_nonlambda_class_type.
256 * semantics.c (check_accessibility_of_qualified_id): Likewise.
257
258 2014-06-02 Andrew MacLeod <amacleod@redhat.com>
259
260 * decl.c: Include builtins.h.
261 * semantics.c: Likewise.
262
263 2014-05-31 Paolo Carlini <paolo.carlini@oracle.com>
264
265 DR 1227
266 PR c++/57543
267 * cp-tree.h (TYPE_HAS_LATE_RETURN_TYPE): Add.
268 * pt.c (tsubst_function_type): Inject the this parameter; do the
269 substitutions in the order mandated by the DR.
270 (copy_default_args_to_explicit_spec): Copy TYPE_HAS_LATE_RETURN_TYPE.
271 * decl.c (grokdeclarator): Maybe set TYPE_HAS_LATE_RETURN_TYPE.
272 (static_fn_type): Copy it.
273 * decl2.c (build_memfn_type, change_return_type,
274 cp_reconstruct_complex_type): Likewise.
275 * parser.c (cp_parser_lambda_declarator_opt): Likewise.
276 * tree.c (strip_typedefs): Likewise.
277 * typeck.c (merge_types): Likewise.
278
279 2014-05-30 Jason Merrill <jason@redhat.com>
280
281 PR c++/56947
282 * pt.c (instantiate_decl): Check that defer_ok is not set for
283 local class members.
284
285 PR c++/60992
286 * pt.c (tsubst_init): Split out from...
287 (tsubst_expr) [DECL_EXPR]: Here.
288 (tsubst_copy) [VAR_DECL]: Use it.
289 * semantics.c (finish_id_expression): Return the decl for static/const.
290
291 2014-05-28 Jason Merrill <jason@redhat.com>
292
293 PR c++/47202
294 * decl.c (cxx_comdat_group): Return a decl.
295 * optimize.c (cdtor_comdat_group): Get its DECL_ASSEMBLER_NAME.
296
297 * pt.c (tsubst) [ARRAY_TYPE]: Check for array of array of unknown
298 bound.
299
300 PR c++/61242
301 * call.c (build_aggr_conv): Ignore passed in flags.
302 (build_array_conv, build_complex_conv): Likewise.
303
304 2014-05-23 Jan Hubicka <hubicka@ucw.cz>
305
306 * optimize.c (maybe_thunk_body): Use set_comdat_group.
307 (maybe_clone_body): Likewise.
308 * decl.c (duplicate_decls): Update code duplicating comdat group;
309 do not copy symtab pointer; before freeing newdecl remove it
310 from symtab.
311 * decl2.c (constrain_visibility): Use set_comdat_group.
312
313 2014-05-23 Jan Hubicka <hubicka@ucw.cz>
314
315 * rtti.c: Include tm_p.h
316 (emit_tinfo_decl): Force RTTI data to be aligned to required
317 ABI alignment only.
318
319 2014-05-23 Jan Hubicka <hubicka@ucw.cz>
320
321 * class.c (build_vtable): Align vtables to TARGET_VTABLE_ENTRY_ALIGN
322 ignoring other target adjustments.
323
324 2014-05-23 Thomas Schwinge <thomas@codesourcery.com>
325
326 * semantics.c (finish_omp_clauses): Remove duplicated variable
327 initialization.
328
329 * parser.c (cp_parser_omp_target): Return bool values.
330
331 2014-05-22 Paolo Carlini <paolo.carlini@oracle.com>
332
333 PR c++/61088
334 * lambda.c (add_capture): Enforce that capture by value requires
335 complete type.
336 * typeck2.c (cxx_incomplete_type_inform): Early return if
337 TYPE_MAIN_DECL is null.
338
339 2014-05-21 Jonathan Wakely <jwakely@redhat.com>
340
341 PR c/61271
342 * cp-array-notation.c (cilkplus_an_triplet_types_ok_p): Fix condition.
343
344 2014-05-21 Ville Voutilainen <ville.voutilainen@gmail.com>
345
346 PR c++/61133
347 * lambda.c (build_capture_proxy, add_capture): Treat normal
348 captures and init-captures identically.
349
350 2014-05-21 Mark Wielaard <mjw@redhat.com>
351
352 PR debug/16063
353 * cp-lang.c (cxx_enum_underlying_base_type): New function.
354 (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define.
355
356 2014-05-21 Richard Sandiford <rsandifo@linux.vnet.ibm.com>
357
358 * cvt.c (convert_to_void): Use void_node instead of void_zero_node.
359 * cp-array-notation.c (replace_invariant_exprs): Likewise.
360 (expand_array_notation): Handle VOID_CST.
361 * error.c (dump_expr): Likewise.
362 * cxx-pretty-print.c (cxx_pretty_printer::primary_expression)
363 (cxx_pretty_printer::expression): Likewise.
364 (pp_cxx_new_expression): Use void_node instead of void_zero_node.
365 * decl.c (register_dtor_fn): Likewise.
366 * init.c (build_raw_new_expr, build_new_1, build_vec_init)
367 (build_delete, push_base_cleanups): Likewise.
368 * mangle.c (write_expression): Likewise.
369 * semantics.c (finish_break_stmt, empty_expr_stmt_p): Likewise.
370 * pt.c (tsubst_decl, tsubst_copy_and_build): Likewise.
371 (tsubst, tsubst_copy, build_non_dependent_expr): Handle VOID_CST.
372 * tree.c (cp_tree_equal): Likewise.
373 (build_dummy_object, is_dummy_object, stabilize_expr): Use void_node
374 instead of void_zero_node.
375 * typeck.c (check_return_expr): Likewise.
376 * typeck2.c (build_functional_cast): Likewise.
377
378 2014-05-21 Igor Zamyatin <igor.zamyatin@intel.com>
379
380 PR c/60189
381 * parser.c (cp_parser_postfix_expression): Move handling of cilk_sync
382 from here to...
383 (cp_parser_statement): ...here. Make sure only semicolon can go after
384 Cilk_sync.
385
386 2014-05-20 Paolo Carlini <paolo.carlini@oracle.com>
387
388 PR c++/58753
389 PR c++/58930
390 PR c++/58704
391 * typeck2.c (digest_nsdmi_init): New.
392 * parser.c (cp_parser_late_parse_one_default_arg): Use it.
393 * init.c (get_nsdmi): Likewise.
394 * cp-tree.h (digest_nsdmi_init): Declare.
395
396 2014-05-20 Jason Merrill <jason@redhat.com>
397
398 * typeck.c (get_member_function_from_ptrfunc): Don't try to look
399 up a virtual function in a dummy object.
400
401 2014-05-20 Paolo Carlini <paolo.carlini@oracle.com>
402
403 PR c++/60373
404 * decl.c (duplicate_decls): Replace pair of warning_at with
405 warning_at + inform.
406 (maybe_commonize_var): Likewise.
407
408 2014-05-20 Richard Sandiford <rsandifo@linux.vnet.ibm.com>
409
410 PR bootstrap/61210
411 * pt.c (tsubst_copy, tsubst_omp_for_iterator, tsubst_expr)
412 (tsubst_copy_and_build): Perform recursive substitutions in a
413 deterministic order.
414
415 2014-05-20 Paolo Carlini <paolo.carlini@oracle.com>
416
417 PR c++/58664
418 * typeck2.c (cxx_incomplete_type_inform): New.
419 (cxx_incomplete_type_diagnostic): Use it.
420 * decl.c (grokdeclarator): Check the element type of an
421 incomplete array type; call the above.
422 * cp-tree.h (cxx_incomplete_type_inform): Declare.
423
424 2014-05-19 Jason Merrill <jason@redhat.com>
425
426 PR c++/58761
427 * pt.c (tsubst_copy): Don't check at_function_scope_p.
428 (instantiate_class_template_1): Don't push_to_top_level in an nsdmi.
429
430 2014-05-19 Paolo Carlini <paolo.carlini@oracle.com>
431
432 * typeck2.c (cxx_incomplete_type_diagnostic): Use inform.
433 * parser.c (cp_parser_enum_specifier): Likewise.
434
435 2014-05-17 Trevor Saunders <tsaunders@mozilla.com>
436
437 * class.c (sorted_fields_type_new): Adjust.
438 * cp-cilkplus.c (cilk_install_body_with_frame_cleanup): Likewise.
439 * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise.
440 * cp-tree.h: Remove usage of variable_size gty attribute.
441 * decl.c (make_label_decl): Adjust.
442 (check_goto): Likewise.
443 (start_preparsed_function): Likewise.
444 (save_function_data): Likewise.
445 * lex.c (init_reswords): Likewise.
446 (retrofit_lang_decl): Likewise.
447 (cxx_dup_lang_specific_decl): Likewise.
448 (copy_lang_type): Likewise.
449 (cxx_make_type): Likewise.
450 * name-lookup.c (binding_entry_make): Likewise.
451 (binding_table_construct): Likewise.
452 (binding_table_new): Likewise.
453 (cxx_binding_make): Likewise.
454 (pushdecl_maybe_friend_1): Likewise.
455 (begin_scope): Likewise.
456 (push_to_top_level): Likewise.
457 * parser.c (cp_lexer_alloc): Likewise.
458 (cp_lexer_new_from_tokens): Likewise.
459 (cp_token_cache_new): Likewise.
460 (cp_parser_context_new): Likewise.
461 (cp_parser_new): Likewise.
462 (cp_parser_nested_name_specifier_opt): Likewise.
463 (cp_parser_template_id): Likewise.
464 * pt.c (maybe_process_partial_specialization): Likewise.
465 (register_specialization): Likewise.
466 (add_pending_template): Likewise.
467 (lookup_template_class_1): Likewise.
468 (push_tinst_level): Likewise.
469 * semantics.c (register_constexpr_fundef): Likewise.
470 (cxx_eval_call_expression): Likewise.
471 * typeck2.c (abstract_virtuals_error_sfinae): Likewise.
472
473 2014-05-16 Paolo Carlini <paolo.carlini@oracle.com>
474
475 PR c++/51640
476 * parser.c (cp_parser_diagnose_invalid_type_name): Early return
477 when cp_parser_lookup_name sets ambiguous_decls.
478
479 2014-05-15 Jason Merrill <jason@redhat.com>
480
481 * call.c (print_conversion_rejection): Use loc consistently.
482
483 2014-05-14 Paolo Carlini <paolo.carlini@oracle.com>
484
485 * cp-tree.h (DIRECT_LIST_INIT_P): Add.
486 * call.c (convert_like_real, build_new_method_call_1): Use it.
487 * decl2.c (grokfield): Likewise.
488 * init.c (perform_member_init, build_aggr_init, expand_default_init,
489 build_new_1): Likewise.
490 * mangle.c (write_expression): Likewise.
491 * parser.c (cp_parser_late_parse_one_default_arg): Likewise.
492
493 2014-05-14 Jason Merrill <jason@redhat.com>
494
495 PR c++/20332
496 PR c++/21631
497 * call.c (reference_binding): Treat lvalue/rvalue mismatch and
498 dropped cv-quals as a bad conversion.
499 (convert_like_real) [ck_ref_bind]: Explain them.
500 (compare_ics): Check badness before stripping reference
501 bindings. Handle comparing bad reference bindings.
502 * typeck.c (comp_cv_qualification): Add overload that just takes
503 integers.
504 * cp-tree.h: Declare it.
505
506 * call.c (struct conversion_info): Rename 'from_type' to 'from'.
507 (arg_conversion_rejection, bad_arg_conversion_rejection)
508 (explicit_conversion_rejection, template_conversion_rejection): Adjust.
509 (add_function_candidate): Pass actual argument, rather than type, to
510 bad_arg_conversion_rejection.
511 (print_conversion_rejection): Explain what's wrong with the conversion.
512 (print_z_candidates): Say "candidate:" before each candidate.
513 (splice_viable): Be strict if we see a viable or template candidate.
514 (build_user_type_conversion_1): Pass false to strict parameter.
515 (perform_overload_resolution, build_conditional_expr_1): Likewise.
516 (build_new_op_1, build_new_method_call_1): Likewise.
517 (build_op_call_1): Pass true to strict parameter.
518
519 2014-05-13 Jason Merrill <jason@redhat.com>
520
521 * call.c (print_error_for_call_failure): Say "no match" rather
522 than "ambiguous" if there were no strict matches.
523 (build_new_method_call_1): Likewise.
524
525 PR c++/61151
526 * semantics.c (is_this_parameter): Allow capture proxies too.
527
528 2014-05-12 Jason Merrill <jason@redhat.com>
529
530 * call.c (maybe_print_user_conv_context): New.
531 (convert_like_real): Use it. Print call context for bad
532 user-defined conversion.
533 (build_over_call): Print call context for bad 'this' conversion.
534
535 * call.c (convert_like_real): Use inform for identifying the
536 declaration point.
537
538 2014-05-12 Paolo Carlini <paolo.carlini@oracle.com>
539
540 * cvt.c (cp_convert_to_pointer): Don't call error_at if
541 complain & tf_error is false.
542
543 * decl.c (make_unbound_class_template): Prefer inform for
544 "declared here"-type message.
545
546 2014-05-09 Momchil Velikov <momchil.velikov@gmail.com>
547
548 PR c++/60463
549 PR c++/60755
550 * lambda.c (lambda_expr_this_capture): Add new parameter
551 add_capture_p controlling whether the functions will try to
552 capture 'this' via the default capture.
553 (maybe_resolve_dummy): Likewise.
554 * cp-tree.h: Adjust prototypes.
555 * call.c, semantics.c: Change callers of these functions.
556 * call.c (build_new_method_call_1): Use the actual 'this' that
557 would be potentially captured for the overload resolution, instead
558 of the dummy object.
559
560 2014-05-09 Paolo Carlini <paolo.carlini@oracle.com>
561
562 * pt.c (convert_nontype_argument_function): Add tsubst_flags_t
563 parameter.
564 (convert_nontype_argument): Adjust calls.
565 (coerce_template_parameter_pack): Add missing complain & tf_error
566 check.
567
568 2014-05-09 Jason Merrill <jason@redhat.com>
569
570 DR 587
571 PR c++/51317
572 * call.c (build_conditional_expr_1, conditional_conversion): Handle
573 non-class lvalues and xvalues that differ only in cv-qualifiers.
574
575 DR 5
576 PR c++/60019
577 * call.c (build_user_type_conversion_1): The copy-init temporary
578 is cv-unqualified.
579
580 PR c++/58714
581 * tree.c (stabilize_expr): A stabilized prvalue is an xvalue.
582
583 PR c++/54348
584 * call.c (build_conditional_expr_1): If overload resolution finds
585 no match, just say "different types".
586
587 PR c++/32019
588 * call.c (build_conditional_expr_1): Improve ambiguity diagnostic.
589
590 PR c++/22434
591 * call.c (build_conditional_expr_1): Don't try to pool cv-quals
592 if we didn't find a conversion.
593 Don't accept a bad conversion too early.
594
595 2014-05-08 Paolo Carlini <paolo.carlini@oracle.com>
596
597 PR c++/13981
598 * typeck.c (convert_for_assignment): Provide an inform for pointers
599 to incomplete class types.
600
601 2014-05-07 Paolo Carlini <paolo.carlini@oracle.com>
602
603 PR c++/61083
604 * pt.c (convert_nontype_argument): Protect all the error calls
605 with complain & tf_error.
606
607 2014-05-07 Paolo Carlini <paolo.carlini@oracle.com>
608
609 PR c++/61080
610 * pt.c (instantiate_decl): Avoid generating the body of a
611 deleted function.
612
613 2014-05-06 Paolo Carlini <paolo.carlini@oracle.com>
614
615 PR c++/60999
616 * pt.c (maybe_begin_member_template_processing): Use
617 uses_template_parms.
618
619 2014-05-06 Kenneth Zadeck <zadeck@naturalbridge.com>
620 Mike Stump <mikestump@comcast.net>
621 Richard Sandiford <rdsandiford@googlemail.com>
622
623 * call.c: Include wide-int.h.
624 (type_passed_as): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED.
625 (convert_for_arg_passing): Likewise.
626 * class.c: Include wide-int.h.
627 (walk_subobject_offsets): Use tree_int_cst_lt instead of INT_CST_LT.
628 (end_of_class): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED.
629 (include_empty_classes): Likewise
630 (layout_class_type): Use tree_int_cst_lt instead of INT_CST_LT.
631 * cvt.c: Include wide-int.h.
632 (ignore_overflows): Use wide_int_to_tree.
633 * decl.c: Include wide-int.h.
634 (check_array_designated_initializer): Use wide-int interfaces.
635 (compute_array_index_type): Use tree_int_cst_lt instead of INT_CST_LT.
636 (finish_enum_value_list): Use signop.
637 (build_enumerator): Use wide-int interfaces.
638 * init.c: Include wide-int.h.
639 (build_new_1): Use wide-int interfaces.
640 * mangle.c: Include wide-int.h.
641 (write_integer_cst): Use wide-int interfaces.
642 (write_array_type): Likewise.
643 * tree.c: Include wide-int.h.
644 (cp_tree_equal): Use tree_int_cst_equal.
645 * typeck2.c: Include wide-int.h.
646 (process_init_constructor_array): Use wide-int interfaces.
647
648 2014-05-03 Paolo Carlini <paolo.carlini@oracle.com>
649
650 PR c++/58582
651 * decl.c (grokfndecl): Check duplicate_decls return value for
652 error_mark_node.
653 * pt.c (instantiate_decl): A deleted function is defined.
654
655 2014-05-02 Jason Merrill <jason@redhat.com>
656
657 * decl2.c (vague_linkage_p): Local statics have vague linkage.
658
659 PR c++/60992
660 * lambda.c (lambda_capture_field_type): Wrap anything dependent
661 other than 'this'.
662 (add_capture): Check for VLA before calling it.
663 * semantics.c (is_this_parameter): Accept any 'this' parameter, not
664 just the current one. Make non-static.
665 * cp-tree.h: Declare it.
666 * pt.c (tsubst_copy) [VAR_DECL]: Also build a new VAR_DECL if
667 the operand was static or constant.
668
669 2014-05-02 Marek Polacek <polacek@redhat.com>
670
671 * typeck.c (maybe_warn_about_returning_address_of_local): Separate
672 warning_at calls.
673
674 2014-05-01 Marek Polacek <polacek@redhat.com>
675
676 PR c/43395
677 * typeck.c (maybe_warn_about_returning_address_of_local): Distinguish
678 between label and variable when warning about returning local address.
679
680 2014-04-30 Jason Merrill <jason@redhat.com>
681
682 PR c++/60980
683 * init.c (build_value_init): Don't try to call an array constructor.
684
685 PR c++/60951
686 * typeck2.c (massage_init_elt): Use maybe_constant_init.
687
688 2014-04-30 Marek Polacek <polacek@redhat.com>
689
690 * typeck.c (cp_build_binary_op): Call ubsan_instrument_division
691 even when SANITIZE_FLOAT_DIVIDE is on. Set doing_div_or_mod even
692 for non-integer types.
693
694 2014-04-29 Jason Merrill <jason@redhat.com>
695
696 DR 1351
697 Represent the unevaluated exception specification of an implicitly
698 declared or deleted function with a simple placeholder, not a list
699 of functions.
700 * cp-tree.h (UNEVALUATED_NOEXCEPT_SPEC_P): New.
701 * except.c (unevaluated_noexcept_spec): New.
702 * class.c (deduce_noexcept_on_destructor): Use it.
703 * decl.c (check_redeclaration_exception_specification): Call
704 maybe_instantiate_noexcept.
705 (duplicate_decls): Call it before merge_types.
706 (start_preparsed_function): Call maybe_instantiate_noexcept.
707 * decl2.c (mark_used): Call maybe_instantiate_noexcept earlier.
708 * init.c (get_nsdmi): Factor out of perform_member_init.
709 * method.c (process_subob_fn): Call maybe_instantiate_noexcept.
710 (walk_field_subobs): Consider NSDMI for EH spec.
711 (get_defaulted_eh_spec): New.
712 (implicitly_declare_fn): Use unevaluated_noexcept_spec.
713 (defaulted_late_check): Defer EH checking in non-template classes.
714 (after_nsdmi_defaulted_late_checks): New.
715 * parser.c (cp_parser_class_specifier_1): Use it.
716 (unparsed_classes): New macro.
717 * parser.h (cp_unparsed_functions_entry_d): Add classes field.
718 * pt.c (maybe_instantiate_noexcept): Use get_defaulted_eh_spec.
719 Remove list-of-functions handling.
720 * typeck2.c (merge_exception_specifiers): Remove list-of-functions
721 handling and FN parameter.
722 * typeck.c (merge_types): Adjust.
723
724 2014-04-28 Paolo Carlini <paolo.carlini@oracle.com>
725
726 PR c++/59120
727 * parser.c (cp_parser_alias_declaration): Check return value of
728 cp_parser_require.
729
730 2014-04-24 Jakub Jelinek <jakub@redhat.com>
731
732 * parser.c (cp_parser_omp_atomic): Allow seq_cst before
733 atomic-clause, allow comma in between atomic-clause and
734 seq_cst.
735
736 2014-04-24 Marc Glisse <marc.glisse@inria.fr>
737
738 PR libstdc++/43622
739 * rtti.c (emit_support_tinfos): Do not iterate on
740 registered_builtin_types (partial revert).
741
742 2014-04-23 Dinar Temirbulatov <dtemirbulatov@gmail.com>
743
744 PR c++/57958
745 * semantics.c (apply_deduced_return_type): Complete non-void type
746 before estimating whether the type is aggregate.
747
748 2014-04-22 Marc Glisse <marc.glisse@inria.fr>
749
750 PR libstdc++/43622
751 * rtti.c (emit_support_tinfo_1): New function, extracted from
752 emit_support_tinfos.
753 (emit_support_tinfos): Call it and iterate on registered_builtin_types.
754
755 2014-04-22 Jakub Jelinek <jakub@redhat.com>
756
757 PR c/59073
758 * parser.c (cp_parser_omp_parallel): If cp_parser_omp_for
759 fails, don't set OM_PARALLEL_COMBINED and return NULL.
760
761 2014-04-18 Jason Merrill <jason@redhat.com>
762
763 DR 1571
764 * call.c (reference_binding): Recurse on user-defined conversion.
765
766 PR c++/60872
767 * call.c (standard_conversion): Don't try to apply restrict to void.
768
769 2014-04-16 Marc Glisse <marc.glisse@inria.fr>
770
771 * decl.c (reshape_init_r): Handle a single element of vector type.
772
773 2014-04-16 Patrick Palka <patrick@parcs.ath.cx>
774
775 PR c++/60765
776 * decl2.c (cplus_decl_attributes): Handle
777 pointer-to-member-function declarations.
778
779 2014-04-16 Patrick Palka <patrick@parcs.ath.cx>
780
781 PR c++/60764
782 * call.c (build_user_type_coversion): Use build_dummy_object
783 to create the placeholder object for a constructor method call.
784 (build_special_member_call): Likewise.
785 (build_over_call): Check for the placeholder object with
786 is_dummy_object.
787 (build_new_method_call_1): Likewise. Don't attempt to resolve
788 a dummy object for a constructor method call.
789
790 2014-04-16 Paul Pluzhnikov <ppluzhnikov@google.com>
791
792 PR c++/59295
793 * friend.c (add_friend, make_friend_class): Move repeated friend
794 warning under Wredundant_decls.
795
796 2014-04-15 Paolo Carlini <paolo.carlini@oracle.com>
797
798 * decl.c (duplicate_decls): Remove redundant TYPE_NAME use.
799 * name-lookup.c (pushdecl_maybe_friend_1): Likewise.
800 (do_class_using_decl): Likewise.
801 * mangle.c (dump_substitution_candidates): Use TYPE_NAME_STRING.
802
803 2014-04-15 Jakub Jelinek <jakub@redhat.com>
804
805 PR plugins/59335
806 * Make-lang.h (CP_PLUGIN_HEADERS): Add type-utils.h.
807
808 2014-04-14 Paolo Carlini <paolo.carlini@oracle.com>
809
810 * cp-tree.h (TYPE_IDENTIFIER): Remove declaration.
811
812 2014-04-14 Paolo Carlini <paolo.carlini@oracle.com>
813
814 * pt.c (mark_template_parm): Use template_parm_level_and_index.
815
816 2014-04-11 Jason Merrill <jason@redhat.com>
817
818 * parser.h (struct cp_token): Rename ambiguous_p to error_reported.
819 * parser.c: Adjust.
820 (cp_lexer_get_preprocessor_token): Always clear it.
821 (cp_parser_lambda_expression): Use it to avoid duplicate diagnostics.
822
823 DR 1467
824 PR c++/51747
825 * decl.c (reshape_init_r): Handle a single element of class type.
826
827 DR 1338
828 * decl.c (cxx_init_decl_processing): Set DECL_IS_MALLOC on
829 built-in operator new.
830
831 2014-04-11 Paolo Carlini <paolo.carlini@oracle.com>
832
833 PR c++/58600
834 * name-lookup.c (parse_using_directive): Return early if the
835 attribs argument is error_mark_node; use get_attribute_name.
836
837 2014-04-11 Jason Merrill <jason@redhat.com>
838
839 DR 1030
840 PR c++/51253
841 * cp-tree.h (CALL_EXPR_LIST_INIT_P): New.
842 * call.c (struct z_candidate): Add flags field.
843 (add_candidate): Add flags parm.
844 (add_function_candidate, add_conv_candidate, build_builtin_candidate)
845 (add_template_candidate_real): Pass it.
846 (build_over_call): Set CALL_EXPR_LIST_INIT_P.
847 * tree.c (build_aggr_init_expr): Copy it.
848 * semantics.c (simplify_aggr_init_expr): Preevaluate args if it's set.
849
850 2014-04-10 Richard Biener <rguenther@suse.de>
851 Jakub Jelinek <jakub@redhat.com>
852
853 PR ipa/60761
854 * error.c (dump_decl) <case FUNCTION_DECL>: If
855 DECL_LANG_SPECIFIC is NULL, but DECL_ABSTRACT_ORIGIN is not,
856 recurse on DECL_ABSTRACT_ORIGIN instead of printing
857 <built-in>.
858
859 2014-04-09 Fabien Chêne <fabien@gcc.gnu.org>
860
861 * pt.c (check_template_variable): Check for the return of pedwarn
862 before emitting a note.
863 * parser.c (cp_parser_lambda_introducer): Likewise.
864
865 2014-04-08 Paolo Carlini <paolo.carlini@oracle.com>
866
867 PR c++/59115
868 * pt.c (process_template_parm): For an invalid non-type parameter
869 only set TREE_TYPE to error_mark_node.
870 (push_inline_template_parms_recursive, comp_template_parms,
871 redeclare_class_template, coerce_template_template_parm,
872 coerce_template_template_parms, unify): Use error_operand_p.
873
874 2014-04-08 Nathan Sidwell <nathan@codesourcery.com>
875
876 * class.c (check_bases_and_members): Warn about non-virtual dtors
877 in public bases only. Check warn_ecpp before complaining about
878 non-polymorphic bases.
879
880 2014-04-04 Fabien Chêne <fabien@gcc.gnu.org>
881
882 * decl.c (duplicate_decls): Check for the return of warning_at
883 before emitting a note.
884 (warn_misplaced_attr_for_class_type): Likewise.
885 (check_tag_decl): Likewise.
886
887 2014-04-04 Paolo Carlini <paolo.carlini@oracle.com>
888
889 PR c++/58207
890 * semantics.c (sort_constexpr_mem_initializers): Robustify loop.
891
892 2014-04-04 Patrick Palka <patrick@parcs.ath.cx>
893
894 PR c++/44613
895 * semantics.c (add_stmt): Set STATEMENT_LIST_HAS_LABEL.
896 * decl.c (cp_finish_decl): Create a new BIND_EXPR before
897 instantiating a variable-sized type.
898
899 PR c++/21113
900 * decl.c (decl_jump_unsafe): Consider variably-modified decls.
901
902 2014-04-04 Fabien Chêne <fabien@gcc.gnu.org>
903
904 * class.c (find_abi_tags_r): Check for the return of warning
905 before emitting a note.
906 (one_inherited_ctor): Likewise.
907
908 2014-04-04 Fabien Chêne <fabien@gcc.gnu.org>
909
910 * decl.c (duplicate_decls): Check for the return of permerror
911 before emitting a note.
912
913 2014-04-03 Nathan Sidwell <nathan@codesourcery.com>
914
915 * class.c (accessible_nvdtor_p): New.
916 (check_bases): Don't check base destructor here ...
917 (check_bases_and_members): ... check them here. Trigger on
918 Wnon-virtual-dtor flag.
919 (finish_struct_1): Use accessible_nvdtor_p.
920
921 2014-04-01 Jason Merrill <jason@redhat.com>
922
923 * pt.c (process_partial_specialization): Say "not deducible"
924 rather than "not used". Use inform.
925
926 PR c++/60374
927 * pt.c (coerce_template_parms): Check that the pack expansion
928 pattern works with the first matching parameter.
929
930 2014-04-01 Fabien Chêne <fabien@gcc.gnu.org>
931
932 * init.c (perform_member_init): Homogenize uninitialized
933 diagnostics.
934
935 2014-04-01 Jason Merrill <jason@redhat.com>
936
937 PR c++/60708
938 * call.c (build_array_conv): Call complete_type.
939
940 PR c++/60713
941 * typeck2.c (PICFLAG_SIDE_EFFECTS): New.
942 (picflag_from_initializer): Return it.
943 (process_init_constructor): Handle it.
944
945 PR c++/60642
946 * decl2.c (is_late_template_attribute): Don't defer abi_tag.
947 * mangle.c (write_unqualified_name): Fix abi_tag on templates.
948 * pt.c (get_template_info): Handle NAMESPACE_DECL.
949 (most_general_template): Handle more kinds of template.
950 * tree.c (handle_abi_tag_attribute): Ignore abi_tag on template
951 instantiations and specializations.
952
953 2014-03-31 Patrick Palka <patrick@parcs.ath.cx>
954
955 PR c++/44859
956 * typeck.c (maybe_warn_about_returning_address_of_local): Unwrap
957 COMPONENT_REFs and ARRAY_REFs sooner.
958
959 2014-03-29 Adam Butcher <adam@jessamine.co.uk>
960
961 PR c++/60626
962 * parser.c (cp_parser_init_declarator): Handle erroneous generic type
963 usage in non-functions with pushed scope.
964
965 2014-03-28 Adam Butcher <adam@jessamine.co.uk>
966
967 PR c++/60573
968 * name-lookup.h (cp_binding_level): New transient field defining_class_p
969 to indicate whether a scope is in the process of defining a class.
970 * semantics.c (begin_class_definition): Set defining_class_p.
971 * name-lookup.c (leave_scope): Reset defining_class_p.
972 * parser.c (synthesize_implicit_template_parm): Use cp_binding_level::
973 defining_class_p rather than TYPE_BEING_DEFINED as the predicate for
974 unwinding to class-defining scope to handle the erroneous definition of
975 a generic function of an arbitrarily nested class within an enclosing
976 class.
977
978 2014-03-26 Fabien Chêne <fabien@gcc.gnu.org>
979
980 PR c++/52369
981 * method.c (walk_field_subobs): Improve the diagnostic
982 locations for both REFERENCE_TYPEs and non-static const members.
983 * init.c (diagnose_uninitialized_cst_or_ref_member): Use %q#D
984 instead of %qD to be consistent with the c++11 diagnostic.
985
986 2014-03-25 Jason Merrill <jason@redhat.com>
987
988 PR c++/60566
989 PR c++/58678
990 * class.c (build_vtbl_initializer): Handle abstract dtors here.
991 * search.c (get_pure_virtuals): Not here.
992
993 PR c++/60375
994 * parser.c (cp_parser_lambda_expression): Don't parse the body of
995 a lambda in unevaluated context.
996
997 PR c++/60628
998 * decl.c (create_array_type_for_decl): Complain about array of auto.
999
1000 2014-03-25 Jakub Jelinek <jakub@redhat.com>
1001
1002 PR c++/60331
1003 * semantics.c (potential_constant_expression_1): Handle
1004 DECL_EXPR.
1005
1006 2014-03-24 Adam Butcher <adam@jessamine.co.uk>
1007
1008 PR c++/60627
1009 * parser.c (cp_parser_parameter_declaration_clause): Prevent 'auto' from
1010 introducing an implicit function template parameter within an explicit
1011 instantiation.
1012
1013 2014-03-22 Jason Merrill <jason@redhat.com>
1014
1015 PR c++/60574
1016 * decl.c (grokdeclarator): Change permerror about 'virtual auto'
1017 to error.
1018
1019 2014-03-21 Paolo Carlini <paolo.carlini@oracle.com>
1020
1021 PR c++/60384
1022 * name-lookup.c (push_class_level_binding_1): Check identifier_p
1023 on the name argument.
1024
1025 2014-03-20 Jakub Jelinek <jakub@redhat.com>
1026
1027 PR c++/60572
1028 * init.c (build_zero_init_1): Ignore fields with error_mark_node
1029 type.
1030
1031 2014-03-19 Paolo Carlini <paolo.carlini@oracle.com>
1032
1033 PR c++/51474
1034 * call.c (build_new_method_call_1): Handle pure virtuals called by
1035 NSDMIs too.
1036
1037 2014-03-17 Adam Butcher <adam@jessamine.co.uk>
1038
1039 PR c++/60390
1040 * parser.c (cp_parser_member_declaration): Don't allow
1041 finish_fully_implicit_template to consider friend declarations to be
1042 class member templates.
1043 (synthesize_implicit_template_parm): Handling winding back through class
1044 scope to the class being defined in order to inject a template argument
1045 list.
1046
1047 PR c++/60391
1048 * parser.c (cp_parser_skip_to_end_of_block_or_statement): Unwind generic
1049 function scope as per cp_parser_skip_to_end_of_statement.
1050
1051 2014-03-17 Paolo Carlini <paolo.carlini@oracle.com>
1052
1053 PR c++/59571
1054 * typeck2.c (check_narrowing): Use fold_non_dependent_expr_sfinae.
1055
1056 2014-03-14 Jason Merrill <jason@redhat.com>
1057
1058 PR c++/60532
1059 PR c++/58678
1060 * search.c (get_pure_virtuals): Handle abstract dtor here.
1061 (dfs_get_pure_virtuals): Not here.
1062
1063 PR c++/58678
1064 * search.c (dfs_get_pure_virtuals): Treat the destructor of an
1065 abstract class as pure.
1066
1067 2014-03-13 Paolo Carlini <paolo.carlini@oracle.com>
1068
1069 PR c++/60383
1070 * pt.c (maybe_process_partial_specialization): Check return value
1071 of check_specialization_namespace.
1072
1073 2014-03-13 Paolo Carlini <paolo.carlini@oracle.com>
1074
1075 PR c++/60254
1076 * semantics.c (finish_static_assert): Call cxx_constant_value only
1077 if require_potential_rvalue_constant_expression returns true.
1078
1079 2014-03-11 Paolo Carlini <paolo.carlini@oracle.com>
1080
1081 PR c++/60389
1082 * method.c (get_inherited_ctor): New.
1083 * cp-tree.h (get_inherited_ctor): Declare it.
1084 * semantics.c (is_valid_constexpr_fn): Use it.
1085
1086 2014-03-10 Jason Merrill <jason@redhat.com>
1087
1088 PR c++/60367
1089 * call.c (convert_default_arg): Remove special handling for
1090 CONSTRUCTOR.
1091
1092 PR c++/53492
1093 * parser.c (cp_parser_class_head): Also check PRIMARY_TEMPLATE_P
1094 when deciding whether to call push_template_decl for a member class.
1095 * pt.c (push_template_decl_real): Return after wrong levels error.
1096
1097 2014-03-08 Adam Butcher <adam@jessamine.co.uk>
1098
1099 PR c++/60033
1100 * pt.c (tsubst_copy): When retrieving a capture pack from a generic
1101 lambda, remove the lambda's own template argument list prior to fetching
1102 the specialization.
1103
1104 PR c++/60393
1105 * parser.c (cp_parser_parameter_declaration_clause): Move generic
1106 function template unwinding on error into a more general location, ...
1107 (cp_parser_skip_to_end_of_statement): ... here.
1108
1109 2014-03-07 Jason Merrill <jason@redhat.com>
1110
1111 * Make-lang.in (check_g++_parallelize): Split dg.exp.
1112
1113 * parser.c (cp_parser_type_id_1): Only allow 'auto' in C++1y if
1114 we're in a trailing return type.
1115
1116 * typeck.c (comp_template_parms_position): 'auto' and
1117 'decltype(auto)' are different from real template parms.
1118
1119 * parser.c (cp_parser_using_declaration): Consume the semicolon
1120 after bare parameter pack error.
1121
1122 * cp-tree.h (REF_PARENTHESIZED_P): New.
1123 * semantics.c (force_paren_expr): Set it.
1124 * pt.c (do_auto_deduction): Check it.
1125 (tsubst) [COMPONENT_REF]: Copy it.
1126 * typeck.c (maybe_warn_about_useless_cast): Don't strip dereference.
1127
1128 * decl.c (create_array_type_for_decl): Only warn about invalid
1129 C++1y VLA if flag_iso or warn_vla>0.
1130 (grokdeclarator): Likewise.
1131 * pt.c (tsubst): Likewise.
1132 * semantics.c (finish_decltype_type): Likewise.
1133 * typeck.c (cxx_sizeof_or_alignof_type): Likewise.
1134 (cp_build_addr_expr_1): Likewise.
1135 * init.c (build_new_1): Improve diagnostics.
1136
1137 2014-03-07 Paolo Carlini <paolo.carlini@oracle.com>
1138
1139 PR c++/58609
1140 * decl.c (check_initializer): Return NULL_TREE after error;
1141 consistently use inform.
1142
1143 2014-03-07 Paolo Carlini <paolo.carlini@oracle.com>
1144
1145 * decl.c (check_initializer): Remove dead code.
1146
1147 2014-03-06 Marek Polacek <polacek@redhat.com>
1148
1149 PR c/60197
1150 * typeck.c (check_return_expr): Call contains_cilk_spawn_stmt instead
1151 of checking tree code.
1152
1153 2014-03-06 Paolo Carlini <paolo.carlini@oracle.com>
1154
1155 * parser.c (cp_lexer_set_source_position): New.
1156 (cp_parser_mem_initializer): Use it.
1157 (cp_parser_postfix_open_square_expression): Likewise.
1158 (cp_parser_parenthesized_expression_list): Likewise.
1159 (cp_parser_new_initializer): Likewise.
1160 (cp_parser_jump_statement): Likewise.
1161 (cp_parser_initializer): Likewise.
1162 (cp_parser_functional_cast): Likewise.
1163
1164 2014-03-05 Jason Merrill <jason@redhat.com>
1165
1166 PR c++/60409
1167 * semantics.c (force_paren_expr): Only add a PAREN_EXPR to a
1168 dependent expression.
1169
1170 PR c++/60361
1171 * parser.c (cp_parser_template_id): Don't set up a CPP_TEMPLATE_ID
1172 if re-parsing might succeed.
1173 * semantics.c (finish_id_expression): Use of a parameter outside
1174 the function body is a parse error.
1175
1176 * parser.c (cp_parser_mem_initializer): Set input_location
1177 properly for init-list warning.
1178 (cp_parser_postfix_open_square_expression): Likewise.
1179 (cp_parser_parenthesized_expression_list): Likewise.
1180 (cp_parser_new_initializer): Likewise.
1181 (cp_parser_jump_statement): Likewise.
1182 (cp_parser_initializer): Likewise.
1183 (cp_parser_functional_cast): Likewise.
1184
1185 2014-03-04 Jason Merrill <jason@redhat.com>
1186
1187 PR c++/60417
1188 * typeck2.c (process_init_constructor_record): Set
1189 CONSTRUCTOR_IS_DIRECT_INIT on {} for omitted initializers.
1190
1191 PR c++/60415
1192 PR c++/54359
1193 * parser.c (cp_parser_direct_declarator): Set declarator to
1194 cp_error_declarator on invalid qualified-id.
1195
1196 2014-03-04 Paolo Carlini <paolo.carlini@oracle.com>
1197
1198 PR c++/60376
1199 * parser.c (cp_parser_using_declaration): Early return when
1200 cp_parser_nested_name_specifier errors out.
1201
1202 2014-03-01 Adam Butcher <adam@jessamine.co.uk>
1203
1204 PR c++/60377
1205 * parser.c (cp_parser_parameter_declaration_clause): Unwind generic
1206 function scope on parse error in function parameter list.
1207
1208 2014-03-01 Paolo Carlini <paolo.carlini@oracle.com>
1209
1210 * method.c (implicitly_declare_fn): Remove redundant
1211 DECL_TEMPLATE_RESULT and STRIP_TEMPLATE uses.
1212 * semantics.c (is_instantiation_of_constexpr): Likewise.
1213 * error.c (dump_function_decl): Likewise.
1214
1215 2014-03-01 Jason Merrill <jason@redhat.com>
1216
1217 PR c++/60379
1218 * semantics.c (begin_maybe_infinite_loop): Use
1219 fold_non_dependent_expr_sfinae.
1220
1221 2014-02-28 Jason Merrill <jason@redhat.com>
1222
1223 PR c++/58845
1224 * typeck.c (cp_build_binary_op): Sorry on vector&&vector.
1225
1226 2014-02-28 Paolo Carlini <paolo.carlini@oracle.com>
1227
1228 PR c++/58610
1229 * cp-tree.h (DECL_DELETED_FN): Use LANG_DECL_FN_CHECK.
1230 * call.c (print_z_candidate): Remove STRIP_TEMPLATE use.
1231 * lambda.c (maybe_add_lambda_conv_op): Likewise.
1232
1233 2014-02-27 Paolo Carlini <paolo.carlini@oracle.com>
1234
1235 PR c++/60253
1236 * call.c (convert_arg_to_ellipsis): Return error_mark_node after
1237 error_at.
1238
1239 2014-02-27 Jason Merrill <jason@redhat.com>
1240
1241 PR c++/60353
1242 PR c++/55877
1243 * decl2.c (tentative_decl_linkage): Don't mess with functions that
1244 are not yet defined.
1245
1246 2014-02-26 Jason Merrill <jason@redhat.com>
1247
1248 PR c++/60347
1249 PR lto/53808
1250 * class.c (clone_function_decl): Don't note_vague_linkage_fn.
1251 * init.c (build_vtbl_address): Do it here.
1252
1253 PR c++/59231
1254 PR c++/11586
1255 PR c++/14710
1256 PR c++/57132
1257 * pt.c (struct warning_sentinel): New.
1258 (tsubst_copy_and_build): Use it instead of
1259 c_inhibit_evaluation_warnings.
1260 * typeck.c (maybe_warn_about_useless_cast): Remove
1261 c_inhibit_evaluation_warnings check.
1262
1263 PR c++/54440
1264 * pt.c (get_template_parm_index): New.
1265 (fixed_parameter_pack_p_1, fixed_parameter_pack_p): New.
1266 (process_template_parm): Allow bare packs in template template
1267 parm template parms.
1268 (coerce_template_parameter_pack): Handle fixed template template
1269 parm packs and fixed packs not at the end of the parm list.
1270 (coerce_template_parms): Handle template parm packs not at the end
1271 of the parm list.
1272 (gen_elem_of_pack_expansion_instantiation): Handle a decl expansion.
1273
1274 PR c++/60182
1275 * pt.c (unify): Ignore alias templates when deducing a template
1276 template parameter.
1277
1278 PR c++/60345
1279 Revert:
1280 DR 1571
1281 * call.c (reference_binding): Recurse on user-defined conversion.
1282 (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
1283
1284 2014-02-25 Jason Merrill <jason@redhat.com>
1285
1286 DR 1571
1287 * call.c (reference_binding): Recurse on user-defined conversion.
1288 (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
1289
1290 * call.c (print_conversion_rejection): Handle n_arg of -2.
1291 (build_user_type_conversion_1): Pass it.
1292
1293 PR c++/55877
1294 * decl2.c (no_linkage_error): Handle C++98 semantics.
1295 (reset_type_linkage): Move from decl.c.
1296 (reset_type_linkage_1, reset_type_linkage_2, bt_reset_linkage_1)
1297 (bt_reset_linkage_2, reset_decl_linkage): New.
1298 (tentative_decl_linkage): Factor out of expand_or_defer_fn_1.
1299 (cp_write_global_declarations): Move condition into no_linkage_error.
1300 * decl.c (grokfndecl, grokvardecl): Use no_linkage_error.
1301 * semantics.c (expand_or_defer_fn_1): Factor out
1302 tentative_decl_linkage.
1303 * cp-tree.h: Adjust.
1304
1305 * decl2.c (finish_static_data_member_decl): Diagnose static data
1306 member in unnamed class.
1307 * class.c (finish_struct_anon_r): Avoid redundant diagnostic.
1308
1309 PR lto/53808
1310 * class.c (clone_function_decl): Call note_vague_linkage_fn for
1311 defaulted virtual dtor.
1312
1313 DR 1286
1314 PR c++/60328
1315 * pt.c (get_underlying_template): Fix equivalence calculation.
1316
1317 2014-02-25 Adam Butcher <adam@jessamine.co.uk>
1318
1319 PR c++/60311
1320 * parser.c (function_being_declared_is_template_p): Return false when
1321 processing a template parameter list.
1322 (cp_parser_parameter_declaration_clause): Don't set
1323 auto_is_implicit_function_template_parm_p when processing a
1324 template parameter list.
1325
1326 * parser.c (synthesize_implicit_template_parm): Inject new template
1327 argument list appropriately when a generic member function
1328 of a class template is declared out-of-line.
1329
1330 PR c++/60065
1331 * parser.c (cp_parser_direct_declarator): Don't save and
1332 restore num_template_parameter_lists around call to
1333 cp_parser_parameter_declaration_list.
1334 (function_being_declared_is_template_p): New predicate.
1335 (cp_parser_parameter_declaration_list): Use
1336 function_being_declared_is_template_p as predicate for
1337 inspecting current function template parameter list length
1338 rather than num_template_parameter_lists.
1339
1340 2014-02-24 Jason Merrill <jason@redhat.com>
1341
1342 PR c++/60146
1343 * pt.c (tsubst_omp_for_iterator): Don't let substitution of the
1344 DECL_EXPR initialize a non-class iterator.
1345
1346 PR c++/60312
1347 * parser.c (cp_parser_template_type_arg): Check for invalid 'auto'.
1348
1349 2014-02-21 Jason Merrill <jason@redhat.com>
1350
1351 PR c++/58170
1352 * parser.c (cp_parser_type_name): Always check dependency.
1353 (cp_parser_type_specifier_seq): Call
1354 cp_parser_parse_and_diagnose_invalid_type_name.
1355
1356 PR c++/60108
1357 * semantics.c (expand_or_defer_fn_1): Check DECL_DEFAULTED_FN.
1358
1359 PR c++/60185
1360 * parser.c (cp_parser_default_argument): Clear
1361 current_class_ptr/current_class_ref like tsubst_default_argument.
1362
1363 PR c++/60252
1364 * lambda.c (maybe_resolve_dummy): Check lambda_function rather
1365 than current_binding_level.
1366
1367 PR c++/60186
1368 * typeck2.c (massage_init_elt): Call fold_non_dependent_expr_sfinae.
1369
1370 PR c++/60187
1371 * parser.c (cp_parser_enum_specifier): Call
1372 check_for_bare_parameter_packs.
1373
1374 PR c++/59347
1375 * pt.c (tsubst_decl) [TYPE_DECL]: Don't try to instantiate an
1376 erroneous typedef.
1377
1378 PR c++/60241
1379 * pt.c (lookup_template_class_1): Update DECL_TEMPLATE_INSTANTIATIONS
1380 of the partial instantiation, not the most general template.
1381 (maybe_process_partial_specialization): Reassign everything on
1382 that list.
1383
1384 PR c++/60216
1385 * pt.c (register_specialization): Copy DECL_DELETED_FN to clones.
1386 (check_explicit_specialization): Don't clone.
1387
1388 PR c++/60219
1389 * pt.c (coerce_template_parms): Bail if argument packing fails.
1390
1391 PR c++/60224
1392 * decl.c (cp_complete_array_type, maybe_deduce_size_from_array_init):
1393 Don't get confused by a CONSTRUCTOR that already has a type.
1394
1395 PR c++/60227
1396 * call.c (build_array_conv): Don't crash on VLA.
1397
1398 PR c++/60248
1399 * mangle.c (mangle_decl): Don't make an alias for a TYPE_DECL.
1400
1401 PR c++/60252
1402 * lambda.c (maybe_resolve_dummy): Don't try to capture this
1403 in declaration context.
1404
1405 DR 1591
1406 PR c++/60051
1407 * pt.c (unify): Only unify if deducible. Handle 0-length list.
1408
1409 PR c++/60250
1410 * parser.c (cp_parser_direct_declarator): Don't wrap a
1411 type-dependent expression in a NOP_EXPR.
1412
1413 PR c++/60251
1414 * lambda.c (is_normal_capture_proxy): Handle VLA capture.
1415
1416 PR c++/60167
1417 PR c++/60222
1418 PR c++/58606
1419 * parser.c (cp_parser_template_argument): Restore dereference.
1420 * pt.c (template_parm_to_arg): Dereference non-pack expansions too.
1421 (process_partial_specialization): Handle deref.
1422 (unify): Likewise.
1423
1424 2014-02-21 Adam Butcher <adam@jessamine.co.uk>
1425
1426 PR c++/60052
1427 PR c++/60053
1428 * parser.c (cp_parser_parameter_declaration_list): Correctly reset
1429 implicit_template_scope upon leaving an out-of-line generic member
1430 function definition.
1431
1432 2014-02-20 Kai Tietz <ktietz@redhat.com>
1433
1434 PR c++/58873
1435 * parser.c (cp_parser_functional_cast): Treat NULL_TREE
1436 valued type argument as error_mark_node.
1437
1438 PR c++/58835
1439 * semantics.c (finish_fname): Handle error_mark_node.
1440
1441 2014-02-19 Jason Merrill <jason@redhat.com>
1442
1443 PR c++/60046
1444 * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
1445 spec from template context.
1446
1447 2014-02-19 Jakub Jelinek <jakub@redhat.com>
1448
1449 PR debug/56563
1450 * cp-objcp-common.c (cp_function_decl_explicit_p): Remove
1451 FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check.
1452
1453 PR c++/60267
1454 * pt.c (tsubst_expr): Handle ANNOTATE_EXPR.
1455
1456 2014-02-18 Paolo Carlini <paolo.carlini@oracle.com>
1457
1458 PR c++/60225
1459 * semantics.c (ensure_literal_type_for_constexpr_object): Use
1460 strip_array_types.
1461
1462 2014-02-18 Paolo Carlini <paolo.carlini@oracle.com>
1463
1464 PR c++/60215
1465 * semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]):
1466 During error recovery allow_non_constant may be false.
1467
1468 2014-02-18 Adam Butcher <adam@jessamine.co.uk>
1469
1470 PR c++/60190
1471 * parser.c (cp_parser_lambda_declarator_opt): Pop template parameter
1472 scope whenever a template parameter list has been started, independent
1473 of whether the function call operator was well-formed or not.
1474
1475 PR c++/60064
1476 * parser.c (cp_parser_member_declaration): Pop fully implicit template
1477 scope for generic friend declarations as well as for non-friends.
1478
1479 2014-02-12 Paolo Carlini <paolo.carlini@oracle.com>
1480
1481 PR c++/60047
1482 * method.c (implicitly_declare_fn): A constructor of a class with
1483 virtual base classes isn't constexpr (7.1.5p4).
1484
1485 2014-02-05 Jan Hubicka <hubicka@ucw.cz
1486
1487 * parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
1488
1489 2014-02-05 Jakub Jelinek <jakub@redhat.com>
1490
1491 PR c++/58703
1492 * parser.c (cp_parser_omp_declare_reduction): Save and free
1493 declarator_obstack.
1494
1495 2014-02-03 Marc Glisse <marc.glisse@inria.fr>
1496
1497 PR c++/53017
1498 PR c++/59211
1499 * tree.c (handle_init_priority_attribute): Call default_conversion on
1500 the attribute argument.
1501
1502 2014-02-03 Paolo Carlini <paolo.carlini@oracle.com>
1503
1504 PR c++/58871
1505 * method.c (synthesized_method_walk): If vbases is non-null but
1506 is_empty is true, likewise don't worry about the virtual bases.
1507
1508 2014-02-01 Paolo Carlini <paolo.carlini@oracle.com>
1509
1510 PR c++/51219
1511 * typeck2.c (process_init_constructor_record): Just skip unnamed
1512 bit-fields.
1513
1514 2014-01-31 Jason Merrill <jason@redhat.com>
1515
1516 PR c++/59469
1517 * pt.c (mark_decl_instantiated): Call mark_needed.
1518
1519 PR c++/58672
1520 * decl2.c (handle_tls_init): Handle null init fn.
1521
1522 PR c++/55800
1523 * decl2.c (get_tls_init_fn): Copy DECL_EXTERNAL from the variable.
1524
1525 2014-01-31 Paolo Carlini <paolo.carlini@oracle.com>
1526
1527 PR c++/59082
1528 * class.c (build_vfield_ref): Early return error_mark_node if
1529 TYPE_VFIELD (type) is null.
1530 (build_base_path): Check return value of build_vfield_ref.
1531
1532 2014-01-31 Jason Merrill <jason@redhat.com>
1533
1534 PR c++/59646
1535 * call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P.
1536 [ck_list]: Check for error_mark_node.
1537 (build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing.
1538
1539 PR c++/57043
1540 * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check
1541 during partial ordering.
1542
1543 2014-01-31 Marek Polacek <polacek@redhat.com>
1544
1545 PR c/59963
1546 * typeck.c (build_function_call_vec): Add dummy arg_loc parameter.
1547
1548 2014-01-30 Jason Merrill <jason@redhat.com>
1549
1550 PR c++/57899
1551 * cp-tree.h (struct saved_scope): Add x_local_specializations.
1552 (local_specializations): New macro.
1553 * pt.c (local_specializations): Remove variable.
1554
1555 2014-01-30 Richard Sandiford <rdsandiford@googlemail.com>
1556
1557 PR c++/58708
1558 * parser.c (make_string_pack): Use double_int::from_buffer.
1559
1560 2014-01-30 Marek Polacek <polacek@redhat.com>
1561
1562 PR c/59940
1563 * typeck.c (build_ptrmemfunc1): Call convert_and_check with
1564 input_location.
1565 * cvt.c (cp_convert_and_check): Call warnings_for_convert_and_check
1566 with input_location.
1567 * call.c (build_conditional_expr_1): Call unsafe_conversion_p with
1568 loc parameter.
1569
1570 2014-01-30 Paolo Carlini <paolo.carlini@oracle.com>
1571
1572 PR c++/58843
1573 * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.
1574
1575 2014-01-30 Paolo Carlini <paolo.carlini@oracle.com>
1576
1577 PR c++/58649
1578 * pt.c (lookup_template_class_1): Check start_enum return value
1579 for error_mark_node.
1580
1581 2014-01-30 Paolo Carlini <paolo.carlini@oracle.com>
1582
1583 * decl.c (duplicate_decls, typename_hash, typename_compare):
1584 Use TYPE_IDENTIFIER.
1585 * error.c (dump_type): Likewise.
1586 * mangle.c (dump_substitution_candidates): Likewise.
1587
1588 2014-01-30 Jason Merrill <jason@redhat.com>
1589
1590 PR c++/59633
1591 * decl2.c (attributes_naming_typedef_ok): New.
1592 * cp-tree.h: Declare it.
1593 * decl.c (grokdeclarator): Check it.
1594 * tree.c (no_linkage_check): Handle VECTOR_TYPE.
1595
1596 2014-01-29 Jason Merrill <jason@redhat.com>
1597
1598 PR c++/59707
1599 * call.c (add_builtin_candidate): Catch dependent types.
1600
1601 PR c++/59989
1602 * pt.c (expand_template_argument_pack): Correct
1603 non_default_args_count calculation.
1604
1605 PR c++/58466
1606 * pt.c (unify_pack_expansion): Call expand_template_argument_pack.
1607
1608 PR c++/59956
1609 * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
1610 have a friend template in a class template.
1611 * pt.c (tsubst_friend_function): Look through it.
1612 (push_template_decl_real): A friend member template is
1613 primary.
1614
1615 2014-01-29 Paolo Carlini <paolo.carlini@oracle.com>
1616
1617 PR c++/58846
1618 * decl.c (get_dso_handle_node): Don't crash if dso_handle_node
1619 == error_mark_node.
1620
1621 2014-01-29 Paolo Carlini <paolo.carlini@oracle.com>
1622
1623 PR c++/58674
1624 * pt.c (instantiate_template_1): Check for error_mark_node the second
1625 argument too.
1626
1627 2014-01-29 Jason Merrill <jason@redhat.com>
1628
1629 PR c++/59916
1630 * optimize.c (maybe_thunk_body): Build a RETURN_EXPR for
1631 cdtor_returns_this case.
1632
1633 PR c++/59315
1634 * decl.c (cxx_maybe_build_cleanup): Call mark_used.
1635
1636 2014-01-29 Paolo Carlini <paolo.carlini@oracle.com>
1637
1638 PR c++/58702
1639 * semantics.c (finish_omp_reduction_clause): Check type for
1640 error_mark_node.
1641
1642 2014-01-28 Jason Merrill <jason@redhat.com>
1643
1644 PR c++/59791
1645 * pt.c (tsubst_decl) [VAR_DECL]: Allow in unevaluated context.
1646 (tsubst_copy): Use it if lookup fails.
1647
1648 PR c++/59818
1649 * pt.c (tsubst_function_type): Make sure we keep the same function
1650 quals.
1651
1652 PR c++/58701
1653 * semantics.c (build_anon_member_initialization): Stop walking
1654 when we run out of COMPONENT_REFs.
1655
1656 PR c++/58632
1657 * decl.c (lookup_and_check_tag): Ignore template parameters if
1658 scope == ts_current.
1659 * pt.c (check_template_shadow): Don't complain about the injected
1660 class name.
1661
1662 * decl.c (duplicate_decls): Tweak.
1663
1664 PR c++/53756
1665 * mangle.c (write_unqualified_name): Handle operator auto.
1666
1667 2014-01-27 Jason Merrill <jason@redhat.com>
1668
1669 PR c++/59823
1670 Core DR 1138
1671 * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for
1672 list-initialization. A conversion to rvalue ref that involves
1673 an lvalue-rvalue conversion is bad.
1674 (convert_like_real): Give helpful error message.
1675
1676 PR c++/54652
1677 * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL.
1678
1679 PR c++/58504
1680 * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for
1681 types.
1682
1683 PR c++/58606
1684 * pt.c (template_parm_to_arg): Call convert_from_reference.
1685 (tsubst_template_arg): Don't strip reference refs.
1686
1687 PR c++/58639
1688 * call.c (build_aggr_conv): Reject value-initialization of reference.
1689
1690 PR c++/58812
1691 PR c++/58651
1692 * call.c (convert_like_real): Give helpful error about excess braces
1693 for ck_rvalue of scalar type.
1694
1695 Core DR 1288
1696 * call.c (reference_binding): Only elide braces if the single
1697 element is reference-related.
1698
1699 PR c++/58814
1700 * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before
1701 stabilizing.
1702
1703 PR c++/58837
1704 * typeck.c (cp_truthvalue_conversion): Use explicit comparison for
1705 FUNCTION_DECL.
1706
1707 PR c++/59097
1708 * decl.c (compute_array_index_type): Don't call
1709 maybe_constant_value for a non-integral expression.
1710
1711 2014-01-24 Balaji V. Iyer <balaji.v.iyer@intel.com>
1712
1713 * call.c (magic_varargs_p): Replaced flag_enable_cilkplus with
1714 flag_cilkplus.
1715 * cp-gimplify.c (cp_genericize): Likewise.
1716 * decl.c (grokfndecl): Likewise.
1717 * parser.c (cp_parser_postfix_expression): Likewise.
1718 (cp_parser_postfix_open_square_expression): Likewise.
1719 (cp_parser_direct_declarator): Likewise.
1720 (is_cilkplus_vector_p): Likewise.
1721 (cp_parser_omp_clause_name): Likewise.
1722 (cp_parser_omp_all_clauses): Likewise.
1723 * pt.c (apply_late_template_attributes): Likewise.
1724 * typeck.c (cp_build_array_ref): Likewise.
1725 (cp_build_compound_expr): Likewise.
1726 (check_return_expr): Likewise.
1727
1728 2014-01-24 Jason Merrill <jason@redhat.com>
1729
1730 PR c++/58550
1731 * decl.c (grokdeclarator): Turn pedwarn about auto return type in
1732 c++11 into error.
1733
1734 PR c++/59886
1735 PR c++/59659
1736 * typeck2.c (process_init_constructor_array): Don't create
1737 RANGE_EXPR yet.
1738
1739 2014-01-24 Jakub Jelinek <jakub@redhat.com>
1740
1741 * typeck2.c (split_nonconstant_init_1): Fix num_split_elts
1742 handling for RANGE_ARRAY case.
1743
1744 2014-01-24 Paolo Carlini <paolo.carlini@oracle.com>
1745
1746 PR c++/57524
1747 * name-lookup.c (push_using_directive): Use timevar_cond_start.
1748
1749 2014-01-23 Marek Polacek <polacek@redhat.com>
1750
1751 PR c/59846
1752 * typeck.c (cp_build_binary_op): Pass location to shorten_compare.
1753
1754 2014-01-23 Marek Polacek <polacek@redhat.com>
1755
1756 PR c/58346
1757 * typeck.c (pointer_diff): Give an error on arithmetic on pointer to
1758 an empty aggregate.
1759
1760 2014-01-23 Jason Merrill <jason@redhat.com>
1761
1762 PR c++/55189
1763 * cp-tree.h (struct language_function): Add infinite_loop and
1764 infinite_loops.
1765 (current_function_infinite_loop): New.
1766 * semantics.c (begin_maybe_infinite_loop, end_maybe_infinite_loop)
1767 (break_maybe_infinite_loop): New.
1768 (finish_while_stmt_cond, finish_while_stmt, begin_do_stmt)
1769 (finish_do_stmt, finish_for_cond, finish_for_stmt)
1770 (begin_range_for_stmt): Use them.
1771 * decl.c (finish_function): Don't warn about missing return
1772 if current_function_infinite_loop.
1773 * pt.c (instantiate_decl): Copy current_function_infinite_loop.
1774 * parser.c (cp_parser_jump_statement): Call break_maybe_infinite_loop.
1775
1776 * call.c (build_op_delete_call): Use make_tree_vector and
1777 release_tree_vector.
1778
1779 2014-01-23 Paolo Carlini <paolo.carlini@oracle.com>
1780
1781 PR c++/58980
1782 * parser.c (cp_parser_enum_specifier): Handle TYPENAME_TYPE as
1783 nested_name_specifier.
1784
1785 2014-01-23 Balaji V. Iyer <balaji.v.iyer@intel.com>
1786
1787 * parser.c (cp_parser_direct_declarator): When Cilk Plus is enabled
1788 see if there is an attribute after function decl. If so, then
1789 parse them now.
1790 (cp_parser_late_return_type_opt): Handle parsing of Cilk Plus SIMD
1791 enabled function late parsing.
1792 (cp_parser_gnu_attribute_list): Parse all the tokens for the vector
1793 attribute for a SIMD-enabled function.
1794 (cp_parser_omp_all_clauses): Skip parsing to the end of pragma when
1795 the function is used by SIMD-enabled function (indicated by NULL
1796 pragma token). Added 3 new clauses: PRAGMA_CILK_CLAUSE_MASK,
1797 PRAGMA_CILK_CLAUSE_NOMASK and PRAGMA_CILK_CLAUSE_VECTORLENGTH
1798 (cp_parser_cilk_simd_vectorlength): Modified this function to handle
1799 vectorlength clause in SIMD-enabled function and #pragma SIMD's
1800 vectorlength clause. Added a new bool parameter to differentiate
1801 between the two.
1802 (cp_parser_cilk_simd_fn_vector_attrs): New function.
1803 (is_cilkplus_vector_p): Likewise.
1804 (cp_parser_late_parsing_elem_fn_info): Likewise.
1805 (cp_parser_omp_clause_name): Added a check for "mask", "nomask"
1806 and "vectorlength" clauses when Cilk Plus is enabled.
1807 (cp_parser_omp_clause_linear): Added a new parameter of type bool
1808 and emit a sorry message when step size is a parameter.
1809 * parser.h (cp_parser::cilk_simd_fn_info): New field.
1810 * decl.c (grokfndecl): Added flag_enable_cilkplus along with
1811 flag_openmp.
1812 * pt.c (apply_late_template_attributes): Likewise.
1813
1814 2014-01-23 Jakub Jelinek <jakub@redhat.com>
1815
1816 PR middle-end/58809
1817 * semantics.c (finish_omp_reduction_clause): Reject
1818 BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
1819
1820 2014-01-22 Ville Voutilainen <ville.voutilainen@gmail.com>
1821
1822 PR c++/59482
1823 * parser.c (cp_parser_class_head): Push the class before parsing
1824 the base-clause, pop after it.
1825
1826 2014-01-20 Eric Botcazou <ebotcazou@adacore.com>
1827
1828 * decl2.c (cpp_check): Revert prototype change.
1829
1830 2014-01-17 Paolo Carlini <paolo.carlini@oracle.com>
1831
1832 PR c++/59270
1833 PR c++/58811
1834 * init.c (build_value_init_noctor): Don't pass error_mark_node to
1835 build_value_init.
1836
1837 2014-01-17 Paolo Carlini <paolo.carlini@oracle.com>
1838
1839 PR c++/59269
1840 * init.c (build_value_init_noctor): Assert !TYPE_HAS_COMPLEX_DFLT
1841 only when errorcount == 0.
1842
1843 2014-01-17 Marek Polacek <polacek@redhat.com>
1844
1845 PR c++/59838
1846 * cvt.c (ocp_convert): Don't segfault on non-existing
1847 ENUM_UNDERLYING_TYPE.
1848
1849 2014-01-16 Jason Merrill <jason@redhat.com>
1850
1851 PR c++/59821
1852 * tree.c (bot_manip): Update the location of builtin_LINE and
1853 builtin_FILE calls.
1854
1855 2014-01-14 Jason Merrill <jason@redhat.com>
1856
1857 PR c++/59659
1858 * typeck2.c (massage_init_elt): New.
1859 (process_init_constructor_record)
1860 (process_init_constructor_union): Use it.
1861 (process_init_constructor_array): Use it. Use RANGE_EXPR.
1862 (split_nonconstant_init_1): Handle it.
1863 * semantics.c (cxx_eval_vec_init_1): Use force_rvalue.
1864
1865 2014-01-09 Balaji V. Iyer <balaji.v.iyer@intel.com>
1866
1867 PR c++/59631
1868 * parser.c (cp_parser_postfix_expression): Added a new if-statement
1869 and replaced an existing if-statement with else-if statement.
1870 Changed an existing error message wording to match the one from the C
1871 parser.
1872
1873 2014-01-08 Jason Merrill <jason@redhat.com>
1874
1875 PR c++/59614
1876 * class.c (abi_tag_data): Add tags field.
1877 (check_abi_tags): Initialize it.
1878 (find_abi_tags_r): Support collecting missing tags.
1879 (mark_type_abi_tags): Don't look at template args.
1880 (inherit_targ_abi_tags): New.
1881 (check_bases_and_members): Use it.
1882 * cp-tree.h (ABI_TAG_IMPLICIT): New.
1883 * mangle.c (write_abi_tags): Check it.
1884
1885 2014-01-07 Jason Merrill <jason@redhat.com>
1886
1887 PR c++/58856
1888 * pt.c (num_innermost_template_parms): New.
1889 (get_underlying_template): Use it.
1890
1891 PR c++/58965
1892 * mangle.c (write_guarded_var_name): Handle null DECL_NAME.
1893
1894 2014-01-07 Paolo Carlini <paolo.carlini@oracle.com>
1895
1896 * semantics.c (trait_expr_value, [CPTK_IS_BASE_OF]): Implement
1897 the letter of 20.11.6 about Base and Derived naming the same
1898 class type modulo cv-qualifiers.
1899
1900 2014-01-06 Adam Butcher <adam@jessamine.co.uk>
1901
1902 PR c++/59635
1903 * lambda.c (maybe_add_lambda_conv_op): Handle marking conversion
1904 function as unimplemented for generic lambdas with varargs.
1905
1906 PR c++/59636
1907 * parser.c (cp_parser_template_parameter): Early out with
1908 error_mark_node if parameter declaration was not parsed.
1909
1910 PR c++/59629
1911 * parser.c (cp_parser_lambda_expression): Save/reset/restore
1912 auto_is_implicit_function_template_parm_p around lambda body.
1913
1914 PR c++/59638
1915 * parser.c (cp_parser_init_declarator): Undo fully implicit
1916 template parameter list when declarator is not a function.
1917
1918 2014-01-03 Marc Glisse <marc.glisse@inria.fr>
1919
1920 PR c++/58950
1921 * cvt.c (convert_to_void): Handle VEC_PERM_EXPR and VEC_COND_EXPR.
1922
1923 2014-01-03 Tobias Burnus <burnus@net-b.de>
1924
1925 PR c++/58567
1926 * pt.c (tsubst_omp_for_iterator): Early return for error_mark_node.
1927
1928 2014-01-03 Paolo Carlini <paolo.carlini@oracle.com>
1929
1930 Core DR 1442
1931 PR c++/59165
1932 * parser.c (cp_parser_perform_range_for_lookup): Don't pass true
1933 as include_std to perform_koenig_lookup.
1934 (cp_parser_postfix_expression): Adjust.
1935 * pt.c (tsubst_copy_and_build): Likewise.
1936 * semantics.c (perform_koenig_lookup): Remove bool parameter.
1937 (omp_reduction_lookup): Adjust.
1938 * name-lookup.c (lookup_arg_dependent_1): Remove bool parameter.
1939 (lookup_arg_dependent): Likewise.
1940 (lookup_function_nonclass): Adjust.
1941 * name-lookup.h: Adjust declaration.
1942 * cp-tree.h: Likewise.
1943
1944 2014-01-02 Marc Glisse <marc.glisse@inria.fr>
1945
1946 PR c++/59087
1947 * parser.c (cp_parser_userdef_numeric_literal): Mention
1948 -fext-numeric-literals in the message.
1949
1950 2014-01-02 Marc Glisse <marc.glisse@inria.fr>
1951
1952 PR c++/59641
1953 * call.c (build_conditional_expr_1): Check the return value of
1954 force_rvalue.
1955
1956 2014-01-02 Marc Glisse <marc.glisse@inria.fr>
1957
1958 * call.c (convert_like_real): Check complain.
1959
1960 2014-01-02 Marc Glisse <marc.glisse@inria.fr>
1961
1962 PR c++/59378
1963 * typeck.c (build_x_vec_perm_expr): Handle non-dependent arguments
1964 in templates.
1965
1966 2014-01-02 Richard Sandiford <rdsandiford@googlemail.com>
1967
1968 Update copyright years
1969
1970 2014-01-02 Richard Sandiford <rdsandiford@googlemail.com>
1971
1972 * cp-array-notation.c, cp-cilkplus.c, vtable-class-hierarchy.c: Use
1973 the standard form for the copyright notice.
1974 \f
1975 Copyright (C) 2014 Free Software Foundation, Inc.
1976
1977 Copying and distribution of this file, with or without modification,
1978 are permitted in any medium without royalty provided the copyright
1979 notice and this notice are preserved.