* parser.c (cp_parser_type_id_1): Only allow 'auto' in C++1y if
[official-gcc.git] / gcc / cp / ChangeLog
blob140f53eb64d6ce2a99a2172b208e7e5266873c45
1 2014-03-07  Jason Merrill  <jason@redhat.com>
3         * parser.c (cp_parser_type_id_1): Only allow 'auto' in C++1y if
4         we're in a trailing return type.
6         * typeck.c (comp_template_parms_position): 'auto' and
7         'decltype(auto)' are different from real template parms.
9         * parser.c (cp_parser_using_declaration): Consume the semicolon
10         after bare parameter pack error.
12         * cp-tree.h (REF_PARENTHESIZED_P): New.
13         * semantics.c (force_paren_expr): Set it.
14         * pt.c (do_auto_deduction): Check it.
15         (tsubst) [COMPONENT_REF]: Copy it.
16         * typeck.c (maybe_warn_about_useless_cast): Don't strip dereference.
18         * decl.c (create_array_type_for_decl): Only warn about invalid
19         C++1y VLA if flag_iso or warn_vla>0.
20         (grokdeclarator): Likewise.
21         * pt.c (tsubst): Likewise.
22         * semantics.c (finish_decltype_type): Likewise.
23         * typeck.c (cxx_sizeof_or_alignof_type): Likewise.
24         (cp_build_addr_expr_1): Likewise.
25         * init.c (build_new_1): Improve diagnostics.
27 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
29         PR c++/58609
30         * decl.c (check_initializer): Return NULL_TREE after error;
31         consistently use inform.
33 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
35         * decl.c (check_initializer): Remove dead code.
37 2014-03-06  Marek Polacek  <polacek@redhat.com>
39         PR c/60197
40         * typeck.c (check_return_expr): Call contains_cilk_spawn_stmt instead
41         of checking tree code.
43 2014-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
45         * parser.c (cp_lexer_set_source_position): New.
46         (cp_parser_mem_initializer): Use it.
47         (cp_parser_postfix_open_square_expression): Likewise.
48         (cp_parser_parenthesized_expression_list): Likewise.
49         (cp_parser_new_initializer): Likewise.
50         (cp_parser_jump_statement): Likewise.
51         (cp_parser_initializer): Likewise.
52         (cp_parser_functional_cast): Likewise.
54 2014-03-05  Jason Merrill  <jason@redhat.com>
56         PR c++/60409
57         * semantics.c (force_paren_expr): Only add a PAREN_EXPR to a
58         dependent expression.
60         PR c++/60361
61         * parser.c (cp_parser_template_id): Don't set up a CPP_TEMPLATE_ID
62         if re-parsing might succeed.
63         * semantics.c (finish_id_expression): Use of a parameter outside
64         the function body is a parse error.
66         * parser.c (cp_parser_mem_initializer): Set input_location
67         properly for init-list warning.
68         (cp_parser_postfix_open_square_expression): Likewise.
69         (cp_parser_parenthesized_expression_list): Likewise.
70         (cp_parser_new_initializer): Likewise.
71         (cp_parser_jump_statement): Likewise.
72         (cp_parser_initializer): Likewise.
73         (cp_parser_functional_cast): Likewise.
75 2014-03-04  Jason Merrill  <jason@redhat.com>
77         PR c++/60417
78         * typeck2.c (process_init_constructor_record): Set
79         CONSTRUCTOR_IS_DIRECT_INIT on {} for omitted initializers.
81         PR c++/60415
82         PR c++/54359
83         * parser.c (cp_parser_direct_declarator): Set declarator to
84         cp_error_declarator on invalid qualified-id.
86 2014-03-04  Paolo Carlini  <paolo.carlini@oracle.com>
88         PR c++/60376
89         * parser.c (cp_parser_using_declaration): Early return when
90         cp_parser_nested_name_specifier errors out.
92 2014-03-01  Adam Butcher  <adam@jessamine.co.uk>
94         PR c++/60377
95         * parser.c (cp_parser_parameter_declaration_clause): Unwind generic
96         function scope on parse error in function parameter list.
98 2014-03-01  Paolo Carlini  <paolo.carlini@oracle.com>
100         * method.c (implicitly_declare_fn): Remove redundant
101         DECL_TEMPLATE_RESULT and STRIP_TEMPLATE uses.
102         * semantics.c (is_instantiation_of_constexpr): Likewise.
103         * error.c (dump_function_decl): Likewise.
105 2014-03-01  Jason Merrill  <jason@redhat.com>
107         PR c++/60379
108         * semantics.c (begin_maybe_infinite_loop): Use
109         fold_non_dependent_expr_sfinae.
111 2014-02-28  Jason Merrill  <jason@redhat.com>
113         PR c++/58845
114         * typeck.c (cp_build_binary_op): Sorry on vector&&vector.
116 2014-02-28  Paolo Carlini  <paolo.carlini@oracle.com>
118         PR c++/58610
119         * cp-tree.h (DECL_DELETED_FN): Use LANG_DECL_FN_CHECK.
120         * call.c (print_z_candidate): Remove STRIP_TEMPLATE use.
121         * lambda.c (maybe_add_lambda_conv_op): Likewise.
123 2014-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
125         PR c++/60253
126         * call.c (convert_arg_to_ellipsis): Return error_mark_node after
127         error_at.
129 2014-02-27  Jason Merrill  <jason@redhat.com>
131         PR c++/60353
132         PR c++/55877
133         * decl2.c (tentative_decl_linkage): Don't mess with functions that
134         are not yet defined.
136 2014-02-26  Jason Merrill  <jason@redhat.com>
138         PR c++/60347
139         PR lto/53808
140         * class.c (clone_function_decl): Don't note_vague_linkage_fn.
141         * init.c (build_vtbl_address): Do it here.
143         PR c++/59231
144         PR c++/11586
145         PR c++/14710
146         PR c++/57132
147         * pt.c (struct warning_sentinel): New.
148         (tsubst_copy_and_build): Use it instead of
149         c_inhibit_evaluation_warnings.
150         * typeck.c (maybe_warn_about_useless_cast): Remove
151         c_inhibit_evaluation_warnings check.
153         PR c++/54440
154         * pt.c (get_template_parm_index): New.
155         (fixed_parameter_pack_p_1, fixed_parameter_pack_p): New.
156         (process_template_parm): Allow bare packs in template template
157         parm template parms.
158         (coerce_template_parameter_pack): Handle fixed template template
159         parm packs and fixed packs not at the end of the parm list.
160         (coerce_template_parms): Handle template parm packs not at the end
161         of the parm list.
162         (gen_elem_of_pack_expansion_instantiation): Handle a decl expansion.
164         PR c++/60182
165         * pt.c (unify): Ignore alias templates when deducing a template
166         template parameter.
168         PR c++/60345
169         Revert:
170         DR 1571
171         * call.c (reference_binding): Recurse on user-defined conversion.
172         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
174 2014-02-25  Jason Merrill  <jason@redhat.com>
176         DR 1571
177         * call.c (reference_binding): Recurse on user-defined conversion.
178         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
180         * call.c (print_conversion_rejection): Handle n_arg of -2.
181         (build_user_type_conversion_1): Pass it.
183         PR c++/55877
184         * decl2.c (no_linkage_error): Handle C++98 semantics.
185         (reset_type_linkage): Move from decl.c.
186         (reset_type_linkage_1, reset_type_linkage_2, bt_reset_linkage_1)
187         (bt_reset_linkage_2, reset_decl_linkage): New.
188         (tentative_decl_linkage): Factor out of expand_or_defer_fn_1.
189         (cp_write_global_declarations): Move condition into no_linkage_error.
190         * decl.c (grokfndecl, grokvardecl): Use no_linkage_error.
191         * semantics.c (expand_or_defer_fn_1): Factor out
192         tentative_decl_linkage.
193         * cp-tree.h: Adjust.
195         * decl2.c (finish_static_data_member_decl): Diagnose static data
196         member in unnamed class.
197         * class.c (finish_struct_anon_r): Avoid redundant diagnostic.
199         PR lto/53808
200         * class.c (clone_function_decl): Call note_vague_linkage_fn for
201         defaulted virtual dtor.
203         DR 1286
204         PR c++/60328
205         * pt.c (get_underlying_template): Fix equivalence calculation.
207 2014-02-25  Adam Butcher  <adam@jessamine.co.uk>
209         PR c++/60311
210         * parser.c (function_being_declared_is_template_p): Return false when
211         processing a template parameter list.
212         (cp_parser_parameter_declaration_clause): Don't set
213         auto_is_implicit_function_template_parm_p when processing a
214         template parameter list.
216         * parser.c (synthesize_implicit_template_parm): Inject new template
217         argument list appropriately when a generic member function
218         of a class template is declared out-of-line.
220         PR c++/60065
221         * parser.c (cp_parser_direct_declarator): Don't save and
222         restore num_template_parameter_lists around call to
223         cp_parser_parameter_declaration_list.
224         (function_being_declared_is_template_p): New predicate.
225         (cp_parser_parameter_declaration_list): Use
226         function_being_declared_is_template_p as predicate for
227         inspecting current function template parameter list length
228         rather than num_template_parameter_lists.
230 2014-02-24  Jason Merrill  <jason@redhat.com>
232         PR c++/60146
233         * pt.c (tsubst_omp_for_iterator): Don't let substitution of the
234         DECL_EXPR initialize a non-class iterator.
236         PR c++/60312
237         * parser.c (cp_parser_template_type_arg): Check for invalid 'auto'.
239 2014-02-21  Jason Merrill  <jason@redhat.com>
241         PR c++/58170
242         * parser.c (cp_parser_type_name): Always check dependency.
243         (cp_parser_type_specifier_seq): Call
244         cp_parser_parse_and_diagnose_invalid_type_name.
246         PR c++/60108
247         * semantics.c (expand_or_defer_fn_1): Check DECL_DEFAULTED_FN.
249         PR c++/60185
250         * parser.c (cp_parser_default_argument): Clear
251         current_class_ptr/current_class_ref like tsubst_default_argument.
253         PR c++/60252
254         * lambda.c (maybe_resolve_dummy): Check lambda_function rather
255         than current_binding_level.
257         PR c++/60186
258         * typeck2.c (massage_init_elt): Call fold_non_dependent_expr_sfinae.
260         PR c++/60187
261         * parser.c (cp_parser_enum_specifier): Call
262         check_for_bare_parameter_packs.
264         PR c++/59347
265         * pt.c (tsubst_decl) [TYPE_DECL]: Don't try to instantiate an
266         erroneous typedef.
268         PR c++/60241
269         * pt.c (lookup_template_class_1): Update DECL_TEMPLATE_INSTANTIATIONS
270         of the partial instantiation, not the most general template.
271         (maybe_process_partial_specialization): Reassign everything on
272         that list.
274         PR c++/60216
275         * pt.c (register_specialization): Copy DECL_DELETED_FN to clones.
276         (check_explicit_specialization): Don't clone.
278         PR c++/60219
279         * pt.c (coerce_template_parms): Bail if argument packing fails.
281         PR c++/60224
282         * decl.c (cp_complete_array_type, maybe_deduce_size_from_array_init):
283         Don't get confused by a CONSTRUCTOR that already has a type.
285         PR c++/60227
286         * call.c (build_array_conv): Don't crash on VLA.
288         PR c++/60248
289         * mangle.c (mangle_decl): Don't make an alias for a TYPE_DECL.
291         PR c++/60252
292         * lambda.c (maybe_resolve_dummy): Don't try to capture this
293         in declaration context.
295         DR 1591
296         PR c++/60051
297         * pt.c (unify): Only unify if deducible.  Handle 0-length list.
299         PR c++/60250
300         * parser.c (cp_parser_direct_declarator): Don't wrap a
301         type-dependent expression in a NOP_EXPR.
303         PR c++/60251
304         * lambda.c (is_normal_capture_proxy): Handle VLA capture.
306         PR c++/60167
307         PR c++/60222
308         PR c++/58606
309         * parser.c (cp_parser_template_argument): Restore dereference.
310         * pt.c (template_parm_to_arg): Dereference non-pack expansions too.
311         (process_partial_specialization): Handle deref.
312         (unify): Likewise.
314 2014-02-21  Adam Butcher  <adam@jessamine.co.uk>
316         PR c++/60052
317         PR c++/60053
318         * parser.c (cp_parser_parameter_declaration_list): Correctly reset
319         implicit_template_scope upon leaving an out-of-line generic member
320         function definition.
322 2014-02-20  Kai Tietz  <ktietz@redhat.com>
324         PR c++/58873
325         * parser.c (cp_parser_functional_cast): Treat NULL_TREE
326         valued type argument as error_mark_node.
328         PR c++/58835
329         * semantics.c (finish_fname): Handle error_mark_node.
331 2014-02-19  Jason Merrill  <jason@redhat.com>
333         PR c++/60046
334         * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
335         spec from template context.
337 2014-02-19  Jakub Jelinek  <jakub@redhat.com>
339         PR debug/56563
340         * cp-objcp-common.c (cp_function_decl_explicit_p): Remove
341         FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check.
343         PR c++/60267
344         * pt.c (tsubst_expr): Handle ANNOTATE_EXPR.
346 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
348         PR c++/60225
349         * semantics.c (ensure_literal_type_for_constexpr_object): Use
350         strip_array_types.
352 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
354         PR c++/60215
355         * semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]):
356         During error recovery allow_non_constant may be false.
358 2014-02-18  Adam Butcher  <adam@jessamine.co.uk>
360         PR c++/60190
361         * parser.c (cp_parser_lambda_declarator_opt): Pop template parameter
362         scope whenever a template parameter list has been started, independent
363         of whether the function call operator was well-formed or not.
365         PR c++/60064
366         * parser.c (cp_parser_member_declaration): Pop fully implicit template
367         scope for generic friend declarations as well as for non-friends.
369 2014-02-12  Paolo Carlini  <paolo.carlini@oracle.com>
371         PR c++/60047
372         * method.c (implicitly_declare_fn): A constructor of a class with
373         virtual base classes isn't constexpr (7.1.5p4).
375 2014-02-05  Jan Hubicka  <hubicka@ucw.cz
377         * parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
379 2014-02-05  Jakub Jelinek  <jakub@redhat.com>
381         PR c++/58703
382         * parser.c (cp_parser_omp_declare_reduction): Save and free
383         declarator_obstack.
385 2014-02-03  Marc Glisse  <marc.glisse@inria.fr>
387         PR c++/53017
388         PR c++/59211
389         * tree.c (handle_init_priority_attribute): Call default_conversion on
390         the attribute argument.
392 2014-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
394         PR c++/58871
395         * method.c (synthesized_method_walk): If vbases is non-null but
396         is_empty is true, likewise don't worry about the virtual bases.
398 2014-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
400         PR c++/51219
401         * typeck2.c (process_init_constructor_record): Just skip unnamed
402         bit-fields.
404 2014-01-31  Jason Merrill  <jason@redhat.com>
406         PR c++/59469
407         * pt.c (mark_decl_instantiated): Call mark_needed.
409         PR c++/58672
410         * decl2.c (handle_tls_init): Handle null init fn.
412         PR c++/55800
413         * decl2.c (get_tls_init_fn): Copy DECL_EXTERNAL from the variable.
415 2014-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
417         PR c++/59082
418         * class.c (build_vfield_ref): Early return error_mark_node if
419         TYPE_VFIELD (type) is null.
420         (build_base_path): Check return value of build_vfield_ref.
422 2014-01-31  Jason Merrill  <jason@redhat.com>
424         PR c++/59646
425         * call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P.
426         [ck_list]: Check for error_mark_node.
427         (build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing.
429         PR c++/57043
430         * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check
431         during partial ordering.
433 2014-01-31  Marek Polacek  <polacek@redhat.com>
435         PR c/59963
436         * typeck.c (build_function_call_vec): Add dummy arg_loc parameter.
438 2014-01-30  Jason Merrill  <jason@redhat.com>
440         PR c++/57899
441         * cp-tree.h (struct saved_scope): Add x_local_specializations.
442         (local_specializations): New macro.
443         * pt.c (local_specializations): Remove variable.
445 2014-01-30  Richard Sandiford  <rdsandiford@googlemail.com>
447         PR c++/58708
448         * parser.c (make_string_pack): Use double_int::from_buffer.
450 2014-01-30  Marek Polacek  <polacek@redhat.com>
452         PR c/59940
453         * typeck.c (build_ptrmemfunc1): Call convert_and_check with
454         input_location.
455         * cvt.c (cp_convert_and_check): Call warnings_for_convert_and_check
456         with input_location.
457         * call.c (build_conditional_expr_1): Call unsafe_conversion_p with
458         loc parameter.
460 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
462         PR c++/58843
463         * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.
465 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
467         PR c++/58649
468         * pt.c (lookup_template_class_1): Check start_enum return value
469         for error_mark_node.
471 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
473         * decl.c (duplicate_decls, typename_hash, typename_compare):
474         Use TYPE_IDENTIFIER.
475         * error.c (dump_type): Likewise.
476         * mangle.c (dump_substitution_candidates): Likewise.
478 2014-01-30  Jason Merrill  <jason@redhat.com>
480         PR c++/59633
481         * decl2.c (attributes_naming_typedef_ok): New.
482         * cp-tree.h: Declare it.
483         * decl.c (grokdeclarator): Check it.
484         * tree.c (no_linkage_check): Handle VECTOR_TYPE.
486 2014-01-29  Jason Merrill  <jason@redhat.com>
488         PR c++/59707
489         * call.c (add_builtin_candidate): Catch dependent types.
491         PR c++/59989
492         * pt.c (expand_template_argument_pack): Correct
493         non_default_args_count calculation.
495         PR c++/58466
496         * pt.c (unify_pack_expansion): Call expand_template_argument_pack.
498         PR c++/59956
499         * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
500         have a friend template in a class template.
501         * pt.c (tsubst_friend_function): Look through it.
502         (push_template_decl_real): A friend member template is
503         primary.
505 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
507         PR c++/58846
508         * decl.c (get_dso_handle_node): Don't crash if dso_handle_node
509         == error_mark_node.
511 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
513         PR c++/58674
514         * pt.c (instantiate_template_1): Check for error_mark_node the second
515         argument too.
517 2014-01-29  Jason Merrill  <jason@redhat.com>
519         PR c++/59916
520         * optimize.c (maybe_thunk_body): Build a RETURN_EXPR for
521         cdtor_returns_this case.
523         PR c++/59315
524         * decl.c (cxx_maybe_build_cleanup): Call mark_used.
526 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
528         PR c++/58702
529         * semantics.c (finish_omp_reduction_clause): Check type for
530         error_mark_node.
532 2014-01-28  Jason Merrill  <jason@redhat.com>
534         PR c++/59791
535         * pt.c (tsubst_decl) [VAR_DECL]: Allow in unevaluated context.
536         (tsubst_copy): Use it if lookup fails.
538         PR c++/59818
539         * pt.c (tsubst_function_type): Make sure we keep the same function
540         quals.
542         PR c++/58701
543         * semantics.c (build_anon_member_initialization): Stop walking
544         when we run out of COMPONENT_REFs.
546         PR c++/58632
547         * decl.c (lookup_and_check_tag): Ignore template parameters if
548         scope == ts_current.
549         * pt.c (check_template_shadow): Don't complain about the injected
550         class name.
552         * decl.c (duplicate_decls): Tweak.
554         PR c++/53756
555         * mangle.c (write_unqualified_name): Handle operator auto.
557 2014-01-27  Jason Merrill  <jason@redhat.com>
559         PR c++/59823
560         Core DR 1138
561         * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for
562         list-initialization.  A conversion to rvalue ref that involves
563         an lvalue-rvalue conversion is bad.
564         (convert_like_real): Give helpful error message.
566         PR c++/54652
567         * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL.
569         PR c++/58504
570         * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for
571         types.
573         PR c++/58606
574         * pt.c (template_parm_to_arg): Call convert_from_reference.
575         (tsubst_template_arg): Don't strip reference refs.
577         PR c++/58639
578         * call.c (build_aggr_conv): Reject value-initialization of reference.
580         PR c++/58812
581         PR c++/58651
582         * call.c (convert_like_real): Give helpful error about excess braces
583         for ck_rvalue of scalar type.
585         Core DR 1288
586         * call.c (reference_binding): Only elide braces if the single
587         element is reference-related.
589         PR c++/58814
590         * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before
591         stabilizing.
593         PR c++/58837
594         * typeck.c (cp_truthvalue_conversion): Use explicit comparison for
595         FUNCTION_DECL.
597         PR c++/59097
598         * decl.c (compute_array_index_type): Don't call
599         maybe_constant_value for a non-integral expression.
601 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
603         * call.c (magic_varargs_p): Replaced flag_enable_cilkplus with
604         flag_cilkplus.
605         * cp-gimplify.c (cp_genericize): Likewise.
606         * decl.c (grokfndecl): Likewise.
607         * parser.c (cp_parser_postfix_expression): Likewise.
608         (cp_parser_postfix_open_square_expression): Likewise.
609         (cp_parser_direct_declarator): Likewise.
610         (is_cilkplus_vector_p): Likewise.
611         (cp_parser_omp_clause_name): Likewise.
612         (cp_parser_omp_all_clauses): Likewise.
613         * pt.c (apply_late_template_attributes): Likewise.
614         * typeck.c (cp_build_array_ref): Likewise.
615         (cp_build_compound_expr): Likewise.
616         (check_return_expr): Likewise.
618 2014-01-24  Jason Merrill  <jason@redhat.com>
620         PR c++/58550
621         * decl.c (grokdeclarator): Turn pedwarn about auto return type in
622         c++11 into error.
624         PR c++/59886
625         PR c++/59659
626         * typeck2.c (process_init_constructor_array): Don't create
627         RANGE_EXPR yet.
629 2014-01-24  Jakub Jelinek  <jakub@redhat.com>
631         * typeck2.c (split_nonconstant_init_1): Fix num_split_elts
632         handling for RANGE_ARRAY case.
634 2014-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
636         PR c++/57524
637         * name-lookup.c (push_using_directive): Use timevar_cond_start.
639 2014-01-23  Marek Polacek  <polacek@redhat.com>
641         PR c/59846
642         * typeck.c (cp_build_binary_op): Pass location to shorten_compare.
644 2014-01-23  Marek Polacek  <polacek@redhat.com>
646         PR c/58346
647         * typeck.c (pointer_diff): Give an error on arithmetic on pointer to
648         an empty aggregate.
650 2014-01-23  Jason Merrill  <jason@redhat.com>
652         PR c++/55189
653         * cp-tree.h (struct language_function): Add infinite_loop and
654         infinite_loops.
655         (current_function_infinite_loop): New.
656         * semantics.c (begin_maybe_infinite_loop, end_maybe_infinite_loop)
657         (break_maybe_infinite_loop): New.
658         (finish_while_stmt_cond, finish_while_stmt, begin_do_stmt)
659         (finish_do_stmt, finish_for_cond, finish_for_stmt)
660         (begin_range_for_stmt): Use them.
661         * decl.c (finish_function): Don't warn about missing return
662         if current_function_infinite_loop.
663         * pt.c (instantiate_decl): Copy current_function_infinite_loop.
664         * parser.c (cp_parser_jump_statement): Call break_maybe_infinite_loop.
666         * call.c (build_op_delete_call): Use make_tree_vector and
667         release_tree_vector.
669 2014-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
671         PR c++/58980
672         * parser.c (cp_parser_enum_specifier): Handle TYPENAME_TYPE as
673         nested_name_specifier.
675 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
677         * parser.c (cp_parser_direct_declarator): When Cilk Plus is enabled
678         see if there is an attribute after function decl.  If so, then
679         parse them now.
680         (cp_parser_late_return_type_opt): Handle parsing of Cilk Plus SIMD
681         enabled function late parsing.
682         (cp_parser_gnu_attribute_list): Parse all the tokens for the vector
683         attribute for a SIMD-enabled function.
684         (cp_parser_omp_all_clauses): Skip parsing to the end of pragma when
685         the function is used by SIMD-enabled function (indicated by NULL
686         pragma token).   Added 3 new clauses: PRAGMA_CILK_CLAUSE_MASK,
687         PRAGMA_CILK_CLAUSE_NOMASK and PRAGMA_CILK_CLAUSE_VECTORLENGTH
688         (cp_parser_cilk_simd_vectorlength): Modified this function to handle
689         vectorlength clause in SIMD-enabled function and #pragma SIMD's
690         vectorlength clause.  Added a new bool parameter to differentiate
691         between the two.
692         (cp_parser_cilk_simd_fn_vector_attrs): New function.
693         (is_cilkplus_vector_p): Likewise.
694         (cp_parser_late_parsing_elem_fn_info): Likewise.
695         (cp_parser_omp_clause_name): Added a check for "mask", "nomask"
696         and "vectorlength" clauses when Cilk Plus is enabled.
697         (cp_parser_omp_clause_linear): Added a new parameter of type bool
698         and emit a sorry message when step size is a parameter.
699         * parser.h (cp_parser::cilk_simd_fn_info): New field.
700         * decl.c (grokfndecl): Added flag_enable_cilkplus along with
701         flag_openmp.
702         * pt.c (apply_late_template_attributes): Likewise.
704 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
706         PR middle-end/58809
707         * semantics.c (finish_omp_reduction_clause): Reject
708         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
710 2014-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
712         PR c++/59482
713         * parser.c (cp_parser_class_head): Push the class before parsing
714         the base-clause, pop after it.
716 2014-01-20  Eric Botcazou  <ebotcazou@adacore.com>
718         * decl2.c (cpp_check): Revert prototype change.
720 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
722         PR c++/59270
723         PR c++/58811
724         * init.c (build_value_init_noctor): Don't pass error_mark_node to
725         build_value_init.
727 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
729         PR c++/59269
730         * init.c (build_value_init_noctor): Assert !TYPE_HAS_COMPLEX_DFLT
731         only when errorcount == 0.
733 2014-01-17  Marek Polacek  <polacek@redhat.com>
735         PR c++/59838
736         * cvt.c (ocp_convert): Don't segfault on non-existing
737         ENUM_UNDERLYING_TYPE.
739 2014-01-16  Jason Merrill  <jason@redhat.com>
741         PR c++/59821
742         * tree.c (bot_manip): Update the location of builtin_LINE and
743         builtin_FILE calls.
745 2014-01-14  Jason Merrill  <jason@redhat.com>
747         PR c++/59659
748         * typeck2.c (massage_init_elt): New.
749         (process_init_constructor_record)
750         (process_init_constructor_union): Use it.
751         (process_init_constructor_array): Use it.  Use RANGE_EXPR.
752         (split_nonconstant_init_1): Handle it.
753         * semantics.c (cxx_eval_vec_init_1): Use force_rvalue.
755 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
757         PR c++/59631
758         * parser.c (cp_parser_postfix_expression): Added a new if-statement
759         and replaced an existing if-statement with else-if statement.
760         Changed an existing error message wording to match the one from the C
761         parser.
763 2014-01-08  Jason Merrill  <jason@redhat.com>
765         PR c++/59614
766         * class.c (abi_tag_data): Add tags field.
767         (check_abi_tags): Initialize it.
768         (find_abi_tags_r): Support collecting missing tags.
769         (mark_type_abi_tags): Don't look at template args.
770         (inherit_targ_abi_tags): New.
771         (check_bases_and_members): Use it.
772         * cp-tree.h (ABI_TAG_IMPLICIT): New.
773         * mangle.c (write_abi_tags): Check it.
775 2014-01-07  Jason Merrill  <jason@redhat.com>
777         PR c++/58856
778         * pt.c (num_innermost_template_parms): New.
779         (get_underlying_template): Use it.
781         PR c++/58965
782         * mangle.c (write_guarded_var_name): Handle null DECL_NAME.
784 2014-01-07  Paolo Carlini  <paolo.carlini@oracle.com>
786         * semantics.c (trait_expr_value, [CPTK_IS_BASE_OF]): Implement
787         the letter of 20.11.6 about Base and Derived naming the same
788         class type modulo cv-qualifiers.
790 2014-01-06  Adam Butcher  <adam@jessamine.co.uk>
792         PR c++/59635
793         * lambda.c (maybe_add_lambda_conv_op): Handle marking conversion
794         function as unimplemented for generic lambdas with varargs.
796         PR c++/59636
797         * parser.c (cp_parser_template_parameter): Early out with
798         error_mark_node if parameter declaration was not parsed.
800         PR c++/59629
801         * parser.c (cp_parser_lambda_expression): Save/reset/restore
802         auto_is_implicit_function_template_parm_p around lambda body.
804         PR c++/59638
805         * parser.c (cp_parser_init_declarator): Undo fully implicit
806         template parameter list when declarator is not a function.
808 2014-01-03  Marc Glisse  <marc.glisse@inria.fr>
810         PR c++/58950
811         * cvt.c (convert_to_void): Handle VEC_PERM_EXPR and VEC_COND_EXPR.
813 2014-01-03  Tobias Burnus  <burnus@net-b.de>
815         PR c++/58567
816         * pt.c (tsubst_omp_for_iterator): Early return for error_mark_node.
818 2014-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
820         Core DR 1442
821         PR c++/59165
822         * parser.c (cp_parser_perform_range_for_lookup): Don't pass true
823         as include_std to perform_koenig_lookup.
824         (cp_parser_postfix_expression): Adjust.
825         * pt.c (tsubst_copy_and_build): Likewise.
826         * semantics.c (perform_koenig_lookup): Remove bool parameter.
827         (omp_reduction_lookup): Adjust.
828         * name-lookup.c (lookup_arg_dependent_1): Remove bool parameter.
829         (lookup_arg_dependent): Likewise.
830         (lookup_function_nonclass): Adjust.
831         * name-lookup.h: Adjust declaration.
832         * cp-tree.h: Likewise.
834 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
836         PR c++/59087
837         * parser.c (cp_parser_userdef_numeric_literal): Mention
838         -fext-numeric-literals in the message.
840 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
842         PR c++/59641
843         * call.c (build_conditional_expr_1): Check the return value of
844         force_rvalue.
846 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
848         * call.c (convert_like_real): Check complain.
850 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
852         PR c++/59378
853         * typeck.c (build_x_vec_perm_expr): Handle non-dependent arguments
854         in templates.
856 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
858         Update copyright years
860 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
862         * cp-array-notation.c, cp-cilkplus.c, vtable-class-hierarchy.c: Use
863         the standard form for the copyright notice.
865 Copyright (C) 2014 Free Software Foundation, Inc.
867 Copying and distribution of this file, with or without modification,
868 are permitted in any medium without royalty provided the copyright
869 notice and this notice are preserved.