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