/cp
[official-gcc.git] / gcc / cp / ChangeLog
blob03f0989505214a8b3f5e3433e9293721f5561a52
1 2015-06-24  Paolo Carlini  <paolo.carlini@oracle.com>
3         PR c++/65811
4         * decl.c (duplicate_decls): Adjust DECL_COMDAT of newdecl.
6 2015-06-23  Patrick Palka  <ppalka@gcc.gnu.org>
8         PR c++/30044
9         * parser.c (cp_parser_template_parameter_list): Update
10         current_template_parms right after processing a paramater.
11         * pt.c (template_parms_to_args): Remove obsolete hack for
12         giving template template arguments the proper level.
13         (check_default_tmpl_args): Account for tested template
14         parameter_lists.
15         (splite_late_return_type): Remove obsolete hack for giving
16         template template arguments the proper level.
18 2015-06-23  Jason Merrill  <jason@redhat.com>
20         PR c++/65879
21         * decl.c (grokfndecl): Check the linkage of ctype, not just
22         TYPE_ANONYMOUS_P.
23         * tree.c (no_linkage_check): Skip the 'this' pointer.
25         PR c++/66501
26         * class.c (type_has_nontrivial_assignment): New.
27         * init.c (build_vec_init): Use it.
28         * cp-tree.h: Declare it.
29         * method.c (trivial_fn_p): Templates aren't trivial.
31         PR c++/66542
32         * decl.c (expand_static_init): Make sure the destructor is callable
33         here even if we have an initializer.
35 2015-06-04  Pierre-Marie de Rodat  <derodat@adacore.com>
37         * lang-specs.h: Pass "-o %g.s" to cc1plus for headers even if
38         -fdump-ada-spec is passed.
40 2015-06-22  Pierre-Marie de Rodat  <derodat@adacore.com>
42         * decl2.c (cpp_check): Deal with HAS_DEPENDENT_TEMPLATE_ARGS.
44 2015-06-22  Paolo Carlini  <paolo.carlini@oracle.com>
46         * decl.c (grokdeclarator): Use declspecs->locations[ds_virtual].
48 2015-06-22  Paolo Carlini  <paolo.carlini@oracle.com>
50         * decl.c (grokdeclarator): Remove pointless code.
52 2015-06-22  Jason Merrill  <jason@redhat.com>
54         PR c++/66515
55         * call.c (implicit_conversion): Only reshape for classes.
57 2015-06-22  Mikhail Maltsev  <maltsevm@gmail.com>
59         * pt.c (maybe_adjust_types_for_deduction): Use std::swap instead of
60         manually swapping.
61         * semantics.c (finish_omp_atomic): Likewise.
62         * typeck.c (cp_build_array_ref): Likewise.
64 2015-06-20  Mikhail Maltsev  <maltsevm@gmail.com>
66         PR c++/65882
67         * call.c (build_new_op_1): Check tf_warning flag in all cases.
69 2015-06-19  Jason Merrill  <jason@redhat.com>
71         PR c++/66585
72         * pt.c (instantiate_class_template_1): Clear
73         cp_unevaluated_operand and c_inhibit_evaluation_warnings.
75         PR c++/65880
76         * decl.c (build_ptrmemfunc_type): Check TYPE_GET_PTRMEMFUNC_TYPE after
77         cv-qualifiers.
78         * typeck.c (merge_types): build_ptrmemfunc_type before applying
79         quals and attributes.
81         PR c++/65973
82         * constexpr.c (build_constexpr_constructor_member_initializers):
83         Handle an empty STATEMENT_LIST.
85         PR c++/65843
86         * pt.c (tsubst_copy_and_build): Register a capture proxy in
87         local_specializations.
89 2015-06-17  Jason Merrill  <jason@redhat.com>
91         PR c++/66001
92         * constexpr.c (cxx_eval_constant_expression): Handle TRY_BLOCK and
93         TRY_FINALLY_EXPR.
94         (potential_constant_expression_1): Likewise.
96 2015-06-17  Jason Merrill  <jason@redhat.com>
98         PR c++/66515
99         * call.c (implicit_conversion): Call reshape_init here, early.
100         (build_aggr_conv): Not here.
102 2015-06-17  Jakub Jelinek  <jakub@redhat.com>
104         PR c++/66571
105         * pt.c (tsubst_omp_clause_decl): New function.
106         (tsubst_omp_clauses): Use it or tsubst_copy instead of
107         tsubst_expr on OMP_CLAUSE_DECL.
109 2015-06-17  Andrew MacLeod  <amacleod@redhat.com>
111         * cp-lang.c (cxx_dwarf_name): Use anon_aggrname_p.
112         * cp-tree.h (TYPE_ANONYMOUS_P): Likewise.
113         * decl.c (grokdeclarator, xref_tag_1): Likewise.
114         * error.c (dump_aggr_type): likewise.
115         * pt.c (push_template_decl_real): Likewise.
116         * name-lookup.c (make_anon_name): Use anon_aggrname_format.
118 2015-06-17  Andrew MacLeod  <amacleod@redhat.com>
120         * call.c: Do not include input.h, line-map.h or is-a.h.
121         * class.c: Likewise.
122         * constexpr.c: Likewise.
123         * cp-array-notation.c: Likewise.
124         * cp-gimplify.c: Likewise.
125         * cp-lang.c: Likewise.
126         * cp-objcp-common.c: Likewise.
127         * cp-tree.h: Likewise.
128         * cp-ubsan.c: Likewise.
129         * cvt.c: Likewise.
130         * decl.c: Likewise.
131         * decl2.c: Likewise.
132         * dump.c: Likewise.
133         * error.c: Likewise.
134         * except.c: Likewise.
135         * expr.c: Likewise.
136         * friend.c: Likewise.
137         * init.c: Likewise.
138         * lambda.c: Likewise.
139         * lex.c: Likewise.
140         * mangle.c: Likewise.
141         * method.c: Likewise.
142         * name-lookup.c: Likewise.
143         * optimize.c: Likewise.
144         * parser.c: Likewise.
145         * pt.c: Likewise.
146         * ptree.c: Likewise.
147         * repo.c: Likewise.
148         * rtti.c: Likewise.
149         * search.c: Likewise.
150         * semantics.c: Likewise.
151         * tree.c: Likewise.
152         * typeck.c: Likewise.
153         * typeck2.c: Likewise.
154         * vtable-class-hierarchy.c: Likewise.
156 2015-06-16  Paolo Carlini  <paolo.carlini@oracle.com>
158         PR c++/59682
159         * parser.c (cp_parser_new_placement): Reject an empty expression-list.
161 2015-06-16  Jason Merrill  <jason@redhat.com>
163         PR c++/66536
164         * tree.c (replace_placeholders_r) [CONSTRUCTOR]: Handle type
165         mismatch.
167         PR c++/58063
168         * tree.c (bot_manip): Remap SAVE_EXPR.
170         PR c++/66387
171         * pt.c (tsubst_copy) [VAR_DECL]: Use process_outer_var_ref.
173 2015-06-15  Nathan Sidwell  <nathan@acm.org>
175         PR c++/58583
176         * cp-tree.h (DECL_INSTANTIATING_NSDMI_P): New.
177         * init.c (get_nsdmi): Check for DEFAULT_ARG in template case and
178         protect it from recursive instantiation.
180 2015-06-15  Paolo Carlini  <paolo.carlini@oracle.com>
182         PR c++/51048
183         * decl2.c (no_linkage_error): Do not issue a permerror if the DECL
184         using a local type is pure virtual.
186 2015-06-13  Patrick Palka  <ppalka@gcc.gnu.org>
188         * call.c: Remove comment documenting the long-deleted
189         function build_method_call.
191 2015-06-13  Patrick Palka  <ppalka@gcc.gnu.org>
193         PR c++/65168
194         * typeck.c (cp_build_binary_op): Warn when comparing an address
195         of a reference against NULL.
197 2015-06-12  Jason Merrill  <jason@redhat.com>
199         PR c++/65719
200         * pt.c (tsubst_decl) [VAR_DECL]: Mark namespace-scope
201         variables as DECL_NOT_REALLY_EXTERN.
203 2015-06-11  Jason Merrill  <jason@redhat.com>
205         PR c++/66445
206         * constexpr.c (potential_constant_expression_1): Handle a
207         DECL_EXPR of TYPE_DECL.
209         PR c++/66450
210         * constexpr.c (cxx_eval_store_expression): Avoid messing up outer
211         ctx->ctor.
213 2015-06-11  Pierre-Marie de Rodat  <derodat@adacore.com>
215         * decl.c (cxx_init_decl_processing): Register the main
216         translation unit through the new debug hook.
218 2015-06-10  Jason Merrill  <jason@redhat.com>
220         PR c++/66289
221         * cp-tree.h (TEMPLATE_DECL_COMPLEX_ALIAS_P): New.
222         * pt.c (push_template_decl_real): Set it.
223         (dependent_alias_template_spec_p): Use it.
224         (dependent_type_p_r): Use dependent_alias_template_spec_p.
225         (uses_all_template_parms_data, uses_all_template_parms_r)
226         (complex_alias_template_p): New.
227         (get_template_parm_index): Handle BOUND_TEMPLATE_TEMPLATE_PARM.
229 2015-06-09  Jason Merrill  <jason@redhat.com>
231         DR 1467
232         PR c++/51747
233         * typeck2.c (digest_init_r): Replace previous change with
234         gcc_unreachable.
236         PR c++/66387
237         * semantics.c (process_outer_var_ref): Make sure the value is
238         actually constant before returning it.
239         * typeck.c (cp_build_array_ref): Allow subscripting non-lvalue
240         array.
242 2015-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
244         PR c++/65815
245         * typeck2.c (digest_nsdmi_init): On aggregates use reshape_init.
246         * init.c (expand_default_init): Likewise.
248 2015-06-09  Jason Merrill  <jason@redhat.com>
250         PR c++/66383
251         * tree.c (replace_placeholders_r): Handle placeholders for an
252         outer object.
253         * typeck2.c (store_init_value): Only replace_placeholders for
254         objects of class type.
256 2015-06-08  Andrew MacLeod  <amacleod@redhat.com>
258         * call.c : Adjust include files.
259         * class.c : Likewise.
260         * constexpr.c : Likewise.
261         * cp-array-notation.c : Likewise.
262         * cp-cilkplus.c : Likewise.
263         * cp-gimplify.c : Likewise.
264         * cp-lang.c : Likewise.
265         * cp-objcp-common.c : Likewise.
266         * cp-tree.h : Likewise.
267         * cp-ubsan.c : Likewise.
268         * cvt.c : Likewise.
269         * decl.c : Likewise.
270         * decl2.c : Likewise.
271         * dump.c : Likewise.
272         * error.c : Likewise.
273         * except.c : Likewise.
274         * expr.c : Likewise.
275         * friend.c : Likewise.
276         * init.c : Likewise.
277         * lambda.c : Likewise.
278         * lex.c : Likewise.
279         * mangle.c : Likewise.
280         * method.c : Likewise.
281         * name-lookup.c : Likewise.
282         * optimize.c : Likewise.
283         * parser.c : Likewise.
284         * pt.c : Likewise.
285         * ptree.c : Likewise.
286         * repo.c : Likewise.
287         * rtti.c : Likewise.
288         * search.c : Likewise.
289         * semantics.c : Likewise.
290         * tree.c : Likewise.
291         * typeck.c : Likewise.
292         * typeck2.c : Likewise.
293         * vtable-class-hierarchy.c : Likewise.
295 2015-06-05  Jason Merrill  <jason@redhat.com>
297         PR c++/66405
298         * pt.c (argument_pack_element_is_expansion_p): Return 2 if
299         the expansion has extra args.
300         (use_pack_expansion_extra_args_p): Return true in that case.
302         PR c++/66405
303         * pt.c (type_dependent_expression_p): EXPR_PACK_EXPANSION is
304         dependent even if it has a type.
306 2015-06-05  Aldy Hernandez  <aldyh@redhat.com>
308         * cp-objcp-common.c: Adjust comment for
309         cxx_warn_unused_global_decl.
310         * cp-objcp-common.h (LANG_HOOKS_WRITE_GLOBALS): Remove
311         (LANG_HOOKS_POST_COMPILATION_PARSING_CLEANUPS): New.
312         * cp-tree.h (note_mangling_alias): Protoize.
313         (cp_write_global_declarations): Remove.
314         (cxx_post_compilation_parsing_cleanups): Protoize.
315         * decl.c (wrapup_globals_for_namespace): Remove use of DATA
316         argument.
317         * decl2.c (mangling_aliases): New global.
318         (build_java_method_aliases): New.  Adapted from
319         collect_candidates_for_java_method_aliases.
320         (collect_candidates_for_java_method_aliases): Remove.
321         (build_java_method_aliases): Remove.
322         (generate_mangling_aliases): New.
323         (note_mangling_alias): New.  Moved from mangle_decl.
324         (locus_at_end_of_parsing): New global.
325         (c_parse_final_cleanups): Rename from
326         cp_write_global_declarations.
327         Use locus_at_end_of_parsing.
328         Call generate_mangling_aliases.
329         Rename call to collect_candidates_for_java_method_aliases into
330         build_java_method_aliases.
331         Remove call to finalize_compilation_unit.
332         Move vtable handling into cxx_post_compilation_parsing_cleanups.
333         Do not call check_global_declarations or
334         emit_debug_global_declarations.
335         (cxx_post_compilation_parsing_cleanups): New.
336         * mangle.c (mangle_decl): Move code to note_mangling_alias.
337         * name-lookup.c (do_namespace_alias): Call early_global_decl.
339 2015-06-05  Nathan Sidwell  <nathan@acm.org>
341         PR c++/52595
342         * parser.c (cp_parser_cache_defarg): Continue looking for
343         declarators when scanning a potential template argument list of an
344         NSDMI.
346 2015-06-04  Andrew MacLeod  <amacleod@redhat.com>
348         * call.c: Adjust includes for restructured coretypes.h.
349         * class.c: Likewise.
350         * constexpr.c: Likewise.
351         * cp-array-notation.c: Likewise.
352         * cp-gimplify.c: Likewise.
353         * cp-lang.c: Likewise.
354         * cp-objcp-common.c: Likewise.
355         * cp-tree.h: Likewise.
356         * cp-ubsan.c: Likewise.
357         * cvt.c: Likewise.
358         * decl.c: Likewise.
359         * decl2.c: Likewise.
360         * dump.c: Likewise.
361         * error.c: Likewise.
362         * except.c: Likewise.
363         * expr.c: Likewise.
364         * friend.c: Likewise.
365         * init.c: Likewise.
366         * lambda.c: Likewise.
367         * lex.c: Likewise.
368         * mangle.c: Likewise.
369         * method.c: Likewise.
370         * name-lookup.c: Likewise.
371         * optimize.c: Likewise.
372         * parser.c: Likewise.
373         * pt.c: Likewise.
374         * ptree.c: Likewise.
375         * repo.c: Likewise.
376         * rtti.c: Likewise.
377         * search.c: Likewise.
378         * semantics.c: Likewise.
379         * tree.c: Likewise.
380         * typeck.c: Likewise.
381         * typeck2.c: Likewise.
382         * vtable-class-hierarchy.c: Likewise.
384 2015-06-04  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
386         PR c++/66192
387         PR target/66200
388         * cp-tree.h (get_guard_cond): Adjust declaration
389         * decl.c (expand_static_init): Use atomic load acquire
390         and adjust call to get_guard_cond.
391         * decl2.c (build_atomic_load_byte): New function.
392         (get_guard_cond): Handle thread_safety.
393         (one_static_initialization_or_destruction): Adjust call to
394         get_guard_cond.
396 2015-06-03  Jason Merrill  <jason@redhat.com>
398         PR c++/44282
399         * mangle.c (mangle_decl): Always SET_IDENTIFIER_GLOBAL_VALUE.
400         (write_CV_qualifiers_for_type): Set G.need_abi_warning.
401         (decl_implicit_alias_p): Split out from maybe_remove_implicit_alias.
402         * cp-tree.h (DECL_REALLY_EXTERN): Handle null DECL_LANG_SPECIFIC.
404 2015-06-03  Manuel López-Ibáñez  <manu@gcc.gnu.org>
405             Paolo Carlini  <paolo.carlini@oracle.com>
407         PR c++/66130
408         * typeck.c (invalid_nonstatic_memfn_p): Add location_t parameter and
409         use it in the diagnostic.
410         (decay_conversion): Adjust call.
411         * semantics.c (finish_decltype_type): Likewise.
412         * call.c (resolve_args, build_new_op_1,
413         perform_implicit_conversion_flags): Adjust calls.
414         * cvt.c (ocp_convert, convert_to_void): Likewise.
415         * cp-tree.h (invalid_nonstatic_memfn_p): Update declaration.
417 2015-06-03  Paolo Carlini  <paolo.carlini@oracle.com>
419         * decl.c (check_tag_decl): Use declspecs->locations as locations in
420         error_at and warning_at calls.
422 2015-06-03  Marek Polacek  <polacek@redhat.com>
424         PR sanitizer/66190
425         * cp-gimplify.c (struct cp_genericize_data): Add no_sanitize_p.
426         (cp_genericize_r): Don't instrument static initializers.
427         (cp_genericize_tree): Initialize wtd.no_sanitize_p.
429 2015-06-02  Andres Tiraboschi  <andres.tiraboschi@tallertechnologies.com>
431         * decl.c (start_function): Call plugin before parsing.
432         (finish_function): Call plugin after parsing.
434 2015-06-02  Patrick Palka <patrick@parcs.ath.cx>
436         * cp-tree.h (init_error): Remove declaration.
437         * error.c (scratch_pretty_printer): Rename to ...
438         (actual_pretty_printer): ... this.
439         (cxx_pp): Constify and update accordingly.
440         (init_error): Remove definition.
441         * lex.c (cxx_init): Do not call init_error.
443 2015-06-02  Paolo Carlini  <paolo.carlini@oracle.com>
445         PR c++/61683
446         * parser.c (cp_parser_mem_initializer): Allow for decltype-specifier.
448 2015-06-01  Jason Merrill  <jason@redhat.com>
450         PR c++/65942
451         * decl2.c (mark_used): Don't always instantiate constexpr fns.
452         * constexpr.c (cxx_eval_call_expression): Instantiate them here.
454         PR c++/44282
455         * mangle.c (attr_strcmp): New.
456         (write_CV_qualifiers_for_type): Also write out attributes that
457         affect type identity.
458         (write_type): Strip all attributes after writing qualifiers.
460 2015-05-31  Jason Merrill  <jason@redhat.com>
462         * constexpr.c (cxx_eval_indirect_ref): Try folding first.
464         PR c++/66320
465         * constexpr.c (cxx_eval_constant_expression): Treat a placeholder
466         with the wrong type as non-constant.
468 2015-05-27  Jason Merrill  <jason@redhat.com>
470         * decl.c (check_redeclaration_exception_specification): Depend on
471         -Wsystem-headers rather than -pedantic.
473         * decl.c (warn_extern_redeclared_static): Use the location of
474         newdecl in diagnostics, not input_location.
475         (validate_constexpr_redeclaration): Likewise.
476         (check_redeclaration_no_default_args): Likewise.
477         (duplicate_decls): Likewise.
478         (check_redeclaration_exception_specification): Likewise.
479         Change second diagnostic to inform.
481 2015-05-24  Nathan Sidwell  <nathan@acm.org>
483         PR c++/66243
484         * decl.c (build_enumerator): Don't silently convert scoped enums.
486 2015-05-24  Jan Hubicka  <hubicka@ucw.cz>
488         PR lto/66180
489         * mangle.c (mangle_decl): Mangle anonymous namespace types as
490         "<anon>".
492 2015-05-23  Nathan Sidwell  <nathan@acm.org>
494         PR c++/65936
495         * pt.c (lookup_template_class_1): Copy may_alias attribute too.
497 2015-05-22  Jim Wilson  <jim.wilson@linaro.org>
499         * Make-lang.in (check_g++_parallelize): Update comment.
501 2015-05-22  Paolo Carlini  <paolo.carlini@oracle.com>
503         PR c++/65598
504         * decl.c (grokdeclarator): Use the correct location in error
505         messages about 'explicit'.
507 2015-05-22  Marek Polacek  <polacek@redhat.com>
508             Edward Smith-Rowland  <3dw4rd@verizon.net>
510         PR c/47043
511         * cp-tree.h (build_enumerator): Update declaration.
512         * decl.c (build_enumerator): Add attributes parameter.  Call
513         cplus_decl_attributes.
514         * init.c (constant_value_1): Pass tf_none to mark_used.
515         * parser.c (cp_parser_enumerator_definition): Parse attributes and
516         pass them down to build_enumerator.
517         * pt.c (tsubst_enum): Pass decl attributes to build_enumerator.
518         * semantics.c (finish_id_expression): Don't warn_deprecated_use here.
520 2015-05-21  Nathan Sidwell  <nathan@acm.org>
522         PR c++/60943
523         * decl2.c (change_return_type): Propagate FUNCTION_REF_QUALIFIED.
525 2015-05-21  Marek Polacek  <polacek@redhat.com>
527         * typeck.c (warn_args_num): Don't print "declare here" for builtins.
529 2015-05-20  Jason Merrill  <jason@redhat.com>
531         * pt.c (tsubst_decl) [VAR_DECL]: SET_DECL_IMPLICIT_INSTANTIATION
532         before register_specialization.
534         * decl.c (grok_op_properties): Don't complain about size_t
535         placement delete here.
536         * call.c (second_parm_is_size_t): Split out from...
537         (non_placement_deallocation_fn_p): ...here.
538         (build_op_delete_call): Warn about size_t placement delete with
539         -Wc++14-compat.
541 2015-05-19  Nathan Sidwell  <nathan@acm.org>
543         PR c++/65954
544         * typeck.c (finish_class_member_access_expr): Diagnose failed
545         lookup of enum class member.
547 2015-05-19  Jakub Jelinek  <jakub@redhat.com>
549         PR middle-end/66199
550         * parser.c (cp_parser_omp_for_loop): Don't add
551         OMP_CLAUSE_SHARED to OMP_PARALLEL_CLAUSES when moving
552         OMP_CLAUSE_LASTPRIVATE clause to OMP_FOR_CLAUSES.
553         (cp_parser_omp_teams): Set OMP_TEAMS_COMBINED for combined
554         constructs.
556 2015-05-19  Mikhail Maltsev  <maltsevm@gmail.com>
558         * typeck.c (composite_pointer_type): Use std::swap instead of explicit
559         swaps.
561 2015-05-18  Jason Merrill  <jason@redhat.com>
563         * pt.c (retrieve_specialization): Make sure our arguments have
564         gone through strip_typedefs.
566         * pt.c (tsubst_decl) [VAR_DECL]: Call coerce_innermost_template_parms.
567         (determine_specialization): Call coerce_template_parms.
569         DR 1391
570         * pt.c (type_unification_real): Check convertibility here.
571         (unify_one_argument): Not here.
573         * tree.c (strip_typedefs_expr) [TRAIT_EXPR]: Fix typo.
574         (strip_typedefs) [DECLTYPE_TYPE]: Fix typedef of decltype.
575         [TREE_LIST]: Fix no-change case.
577         * ptree.c (cxx_print_xnode): Handle TRAIT_EXPR.
579 2015-05-16  Manuel López-Ibáñez  <manu@gcc.gnu.org>
581         PR fortran/44054
582         * error.c (cp_diagnostic_starter): Use diagnostic_location
583         function.
584         (cp_print_error_function): Likewise.
585         (cp_printer): Replace locus pointer with accessor function.
587 2015-05-12  David Malcolm  <dmalcolm@redhat.com>
589         * parser.c (cp_parser_selection_statement): Add location and
590         guard_kind arguments to calls to
591         cp_parser_implicitly_scoped_statement.
592         (cp_parser_iteration_statement): Likewise for calls to
593         cp_parser_already_scoped_statement.
594         (cp_parser_implicitly_scoped_statement): Add "guard_loc" and
595         "guard_kind" params; use them to warn for misleading
596         indentation.
597         (cp_parser_already_scoped_statement): Likewise.
599 2015-05-11  Jan Hubicka  <hubicka@ucw.cz>
601         * class.c (fixup_type_variants): Do not copy TYPE_METHODS
602         (one_inheriting_sig): Assert tat we always set TYPE_METHODS of main variant.
603         * semantics.c (finish_member_declaration): Likewise.
604         * method.c (lazily_declare_fn): Allways add method to main variant list.
606 2015-05-09  Aldy Hernandez  <aldyh@redhat.com>
608         PR bootstrap/66085
609         * decl2.c (note_mangling_alias): Declare arguments as unused.
611 2015-05-08  Jason Merrill  <jason@redhat.com>
613         * cp-gimplify.c, parser.c: Adjust to -Wc++11-compat replacing
614         -Wc++0x-compat.
616 2015-05-08  Jason Merrill  <jason@redhat.com>
618         * decl2.c (mangling_aliases): New variable.
619         (note_mangling_alias, generate_mangling_aliases): New.
620         (cp_write_global_declarations): Call generate_mangling_aliases.
621         (generate_mangling_alias): Split out from...
622         * mangle.c (mangle_decl): ...here.
623         * cp-tree.h: Declare note_mangling_alias.
625 2015-05-08  Aldy Hernandez  <aldyh@redhat.com>
627         * decl2.c (collect_candidates_for_java_method_aliases): Remove.
628         (build_java_method_aliases): Adapt to use create_same_body_alias
629         instead of assemble_alias.  Move variable declarations to
630         definition and tidy up.
631         (cp_write_global_declarations): Call build_java_method_aliases
632         instead of collecting candidates first.
634 2015-05-07  Jason Merrill  <jason@redhat.com>
636         PR c++/59012
637         * parser.c (cp_parser_std_attribute_list): Handle attribute expansion.
638         (cp_parser_std_attribute_spec): Handle alignas pack expansion.
639         * decl2.c (is_late_template_attribute): An attribute exp is dependent.
640         * pt.c (make_pack_expansion): Allow TREE_LIST for attribute expansion.
641         (apply_late_template_attributes): Handle attribute pack expansion.
643 2015-05-07  Marek Polacek  <polacek@redhat.com>
645         PR c/65179
646         * typeck.c (cp_build_binary_op): Warn when left shifting a negative
647         value.
649 2015-05-07  Jason Merrill  <jason@redhat.com>
651         DR 1467
652         PR c++/51747
653         * typeck2.c (digest_init_r): Fix single element list.
655 2015-05-05  Jason Merrill  <jason@redhat.com>
657         * cp-gimplify.c (cp_genericize_r): Track TRY_BLOCK and
658         MUST_NOT_THROW_EXPR, warn about a THROW_EXPR directly within a
659         MUST_NOT_THROW_EXPR.
660         (cp_genericize_data): Add try_block field.
661         (cp_genericize_tree): Initialize it.
662         * except.c (expand_end_catch_block): Set TREE_NO_WARNING on
663         implicit rethrow.
665         * constexpr.c (potential_constant_expression_1) [AT_ENCODE_EXPR]:
666         Return false.
668         * semantics.c (finish_call_expr): Check complain.
670         * decl2.c (reset_type_linkage_2): Update the DECL_NAME of a
671         maybe-in-charge constructor.
673         * decl.c (start_decl): Don't push the plain VAR_DECL for a
674         variable template.
676         DR 1518
677         DR 1630
678         PR c++/54835
679         PR c++/60417
680         * call.c (convert_like_real): Check value-initialization before
681         explicit.
682         * typeck2.c (process_init_constructor_record): Don't set
683         CONSTRUCTOR_IS_DIRECT_INIT.
684         (process_init_constructor_array): Likewise.
685         * init.c (build_vec_init): Likewise.
687 2015-05-05  David Malcolm  <dmalcolm@redhat.com>
689         * parser.c (cp_parser_asm_definition): Only test for
690         error_mark_node if "outputs" was just set.  Likewise for "inputs".
692 2015-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
693             Jakub Jelinek  <jakub@redhat.com>
695         PR c++/66007
696         * typeck2.c (check_narrowing): Check by-hand that the pedwarn didn't
697         result in an actual error.
699 2015-05-01  Paolo Carlini  <paolo.carlini@oracle.com>
700             Prathamesh Kulharni  <prathamesh.kulkarni@linaro.org>
702         PR c++/65858
703         * typeck2.c (check_narrowing): Set ok = true when pedwarn returns
704         false.
706 2015-04-30  David Malcolm  <dmalcolm@redhat.com>
708         * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove spurious
709         trailing semicolon.
711 2015-04-29  Jason Merrill  <jason@redhat.com>
713         PR c++/50800
714         * tree.c (apply_identity_attributes): Fix handling of classes.
716 2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>
718         * parser.c (cp_parser_oacc_enter_exit_data): Use
719         OMP_STANDALONE_CLAUSES.
721 2015-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
723         PR c++/64667
724         * init.c (perform_member_init): Handle references for -Winit-self.
726 2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>
728         * pt.c (tsubst_expr) <OMP_TARGET_UPDATE>: Use
729         OMP_TARGET_UPDATE_CLAUSES instead of OMP_CLAUSES.
731 2015-04-28  Jason Merrill  <jason@redhat.com>
733         PR c++/65896
734         * constexpr.c (cxx_eval_store_expression): Don't try to actually
735         store an empty class.
737         PR c++/65656
738         * constexpr.c (cxx_eval_builtin_function_call): Fix
739         __builtin_constant_p.
741         PR c++/50800
742         * tree.c (strip_typedefs): Add remove_attributes parm.
743         (strip_typedefs_expr): Likewise.
744         (apply_identity_attributes): New subroutine of strip_typedefs.
745         * pt.c (canonicalize_type_argument): Let strip_typedefs handle attrs.
746         (convert_nontype_argument, unify): Likewise.
747         * cp-tree.h: Adjust.
749         PR c++/65734
750         * class.c (fixup_attribute_variants): Respect TYPE_USER_ALIGN.
752 2015-04-27  Trevor Saunders  <tbsaunde+gcc@tbsaunde.org>
754         * class.c (layout_class_type): Remove check if
755         PCC_BITFIELD_TYPE_MATTERS is defined.
757 2015-04-27  Jim Wilson  <jim.wilson@linaro.org>
759         * Make-lang.in (c++.mostlyclean): Remove xg++, g++-cross, and cc1plus.
761 2015-04-24  Jason Merrill  <jason@redhat.com>
763         PR c++/50800
764         * typeck.c (structural_comptypes): Don't check TYPE_REF_CAN_ALIAS_ALL.
766         * constexpr.c (potential_constant_expression_1) [MINUS_EXPR]:
767         Remove obsolete code.
768         [NE_EXPR]: Likewise.
770 2015-04-23  Jason Merrill  <jason@redhat.com>
772         PR c++/65646
773         * pt.c (check_explicit_specialization): Don't
774         SET_DECL_TEMPLATE_SPECIALIZATION for a variable with no template
775         headers.
776         * decl.c (grokvardecl): Revert earlier fix.
778 2015-04-20  Paolo Carlini  <paolo.carlini@oracle.com>
780         PR c++/65801
781         * typeck2.c (check_narrowing): In C++11 mode too, -Wno-narrowing
782         suppresses the diagnostic.
784 2015-04-20  Ville Voutilainen  <ville.voutilainen@gmail.com>
786         Reject trailing return type for an operator auto().
787         * decl.c (grokdeclarator): Reject trailing return types for
788         all conversion operators, don't handle conversion operators
789         in the previous checks that deal with auto.
791 2015-04-20  Ilya Verbin  <ilya.verbin@intel.com>
793         * parser.c (cp_parser_omp_target_update): Add missed %> to error_at ().
795 2015-04-16  Paolo Carlini  <paolo.carlini@oracle.com>
797         * class.c (resolve_address_of_overloaded_function, instantiate_type):
798         Rename tsubst_flags_t parameter flags -> complain.
800 2015-04-16  Paolo Carlini  <paolo.carlini@oracle.com>
802         * call.c (build_op_delete_call, build_over_call): Check mark_used
803         return value.
804         * class.c (resolve_address_of_overloaded_function): Likewise.
805         * decl.c (cxx_maybe_build_cleanup): Likewise.
806         * pt.c (gen_elem_of_pack_expansion_instantiation, tsubst_baselink,
807         tsubst_qualified_id, tsubst_copy, tsubst_copy_and_build): Likewise.
808         * rtti.c (build_dynamic_cast_1): Likewise.
809         * semantics.c (process_outer_var_ref): Likewise.
810         * typeck.c (build_class_member_access_expr,
811         cp_build_function_call_vec, cp_build_addr_expr_1): Likewise.
813 2015-04-15  Jason Merrill  <jason@redhat.com>
815         * constexpr.c (cxx_eval_store_expression): Ignore clobbers.
816         (build_constexpr_constructor_member_initializers): Loop to find
817         the BIND_EXPR.
818         * decl.c (start_preparsed_function): Clobber the object at the
819         beginning of a constructor.
821         * decl.c (grokmethod): Only set DECL_COMDAT if TREE_PUBLIC is set.
822         * method.c (implicitly_declare_fn): Likewise.
823         * decl2.c (vague_linkage_p): Check TREE_PUBLIC first.
825         * decl2.c (determine_visibility): Use get_template_info.
827 2015-04-15  Jason Merrill  <jason@redhat.com>
828             Marek Polacek  <polacek@redhat.com>
830         PR c++/65727
831         * lambda.c (lambda_expr_this_capture): In unevaluated context go
832         through the normal loop, just don't capture.
833         (maybe_resolve_dummy): Handle null return.
835 2015-04-15  Paolo Carlini  <paolo.carlini@oracle.com>
837         * call.c (enforce_access): Emit error + inform.
839 2015-04-15  Marek Polacek  <polacek@redhat.com>
841         * constexpr.c (use_new_call): Remove #define.
842         (lookup_parameter_binding): Remove function.
843         (cxx_bind_parameters_in_call): Remove unused code.
844         (cxx_eval_call_expression): Likewise.
845         (cxx_eval_constant_expression): Likewise.
847 2015-04-14  Mikhail Maltsev  <maltsevm@gmail.com>
849         * tree.c (replace_placeholders_t): Remove unused type.
850         (replace_placeholders): Remove unused pset.
852 2015-04-14  Jason Merrill  <jason@redhat.com>
854         * pt.c (lookup_template_class_1): Use coerce_innermost_template_parms.
856         PR c++/65695
857         * cvt.c (cp_fold_convert): Avoid wrapping PTRMEM_CST in NOP_EXPR.
859         PR c++/65721
860         * name-lookup.c (do_class_using_decl): Complain about specifying
861         the current class even if there are dependent bases.
863 2015-04-14  David Krauss  <david_work@me.com>
865         PR c++/59766
866         * decl.c (grokdeclarator): Do not flag friends with deduced return.
868 2015-04-14  Momchil Velikov  <momchil.velikov@gmail.com>
869             Jason Merrill  <jason@redhat.com>
871         PR c++/60994
872         * parser.c (cp_parser_class_name): Add enum_ok parameter.
873         (cp_parser_qualifying_entity): Use it instead of cp_parser_type_name.
874         (cp_parser_diagnose_invalid_type_name): Don't assume a template is
875         a class template.
877 2015-04-12  Jakub Jelinek  <jakub@redhat.com>
879         PR c++/65736
880         * constexpr.c (cxx_eval_pointer_plus_expression): Don't fold for VLAs,
881         don't fold if op01 isn't divisible by TYPE_SIZE_UNIT.  Convert
882         the expression to the original type at the end.
884 2015-04-09  Jakub Jelinek  <jakub@redhat.com>
886         PR c++/65690
887         * tree.c (cp_build_qualified_type_real): Copy TYPE_ALIGN and
888         TYPE_USER_ALIGN.
890         PR c++/65690
891         * tree.c (build_cplus_array_type): Layout type before variants are
892         set, but copy over TYPE_SIZE and TYPE_SIZE_UNIT from the main
893         variant.
895 2015-04-03  Paolo Carlini  <paolo.carlini@oracle.com>
897         PR c++/64085
898         * lambda.c (add_capture): Use dependent_type_p for capture by
899         reference too.
901 2015-04-02  Marek Polacek  <polacek@redhat.com>
903         PR c++/65642
904         * constexpr.c (cxx_eval_pointer_plus_expression): Call
905         cxx_eval_constant_expression on the first operand.
907 2015-04-01  Jason Merrill  <jason@redhat.com>
909         PR c++/65625
910         * decl.c (make_typename_type): Handle seeing a variable template.
912 2015-04-01  Paolo Carlini  <paolo.carlini@oracle.com>
914         PR c++/56100
915         * pt.c (instantiating_current_function_p): New.
916         * name-lookup.c (pushdecl_maybe_friend_1): Use it.
917         * cp-tree.h (instantiating_current_function_p): Declare.
919 2015-04-01  Jason Merrill  <jason@redhat.com>
921         PR c++/65646
922         * decl.c (grokvardecl): Don't call check_explicit_specialization
923         for non-template members of a class template.
925 2015-04-01  Marek Polacek  <polacek@redhat.com>
927         PR c++/65554
928         * class.c (finish_struct): Require that the second field of a
929         user-defined initializer_list be of size type.
931 2015-03-31  Marek Polacek  <polacek@redhat.com>
933         PR c++/65390
934         * tree.c (build_cplus_array_type): Use dependent_type_p rather than
935         checking for constness.
937 2015-03-30  Marek Polacek  <polacek@redhat.com>
939         PR c++/65398
940         * constexpr.c (cxx_fold_indirect_ref): Don't perform the
941          *(&A[i] p+ j) => A[i + j] transformation here.
942         (cxx_eval_pointer_plus_expression): New function.
943         (cxx_eval_constant_expression): Use it here.
945 2015-03-27  Tobias Burnus  <burnus@net-b.de>
947         PR c/65586
948         * parser.c (cp_parser_omp_for, cp_parser_omp_parallel,
949         cp_parser_omp_distribute, cp_parser_omp_teams, cp_parser_omp_target,
950         cp_parser_omp_declare): Don't show error for skipped omp pragmas with
951         -fopenmp-simd.
953 2015-03-27  Marek Polacek  <polacek@redhat.com>
955         PR c++/65556
956         * semantics.c (finish_switch_cond): If the unlowered type is not an
957         enum, use the type of the condition.
959 2015-03-27  Jason Merrill  <jason@redhat.com>
961         PR c++/65509
962         * decl.c (make_rtl_for_nonlocal_decl): Don't defer static
963         constants.
965 2015-03-26  Mikhail Maltsev  <maltsevm@gmail.com>
967         PR c++/65154
968         * init.c (build_vec_init): Fix initializing aggregates
969         with empty init list.
971 2015-03-26  Jason Merrill  <jason@redhat.com>
973         PR c++/65525
974         * constexpr.c (potential_constant_expression_1): Handle MEM_REF.
976 2015-03-25  Marek Polacek  <polacek@redhat.com>
978         PR c++/65558
979         * name-lookup.c (handle_namespace_attrs): Ignore abi_tag attribute
980         on an anonymous namespace.
982 2015-03-25  Marek Polacek  <polacek@redhat.com>
984         PR c++/61670
985         * class.c (remove_zero_width_bit_fields): Check for null DECL_SIZE.
987 2015-03-24  Jason Merrill  <jason@redhat.com>
989         PR c++/65046
990         * cp-tree.h (NAMESPACE_IS_INLINE): Remove.
991         * parser.c (cp_parser_namespace_definition): Don't set it.
992         * name-lookup.c (handle_namespace_attrs): Check
993         DECL_NAMESPACE_ASSOCIATIONS instead.
995         PR c++/65498
996         * pt.c (get_mostly_instantiated_function_type): Just return the
997         type of the partially instantiated template in DECL_TI_TEMPLATE.
999 2015-03-20  Marek Polacek  <polacek@redhat.com>
1001         PR c++/65398
1002         * constexpr.c (cxx_fold_indirect_ref): Transform *(&A[i] p+ j) into
1003         A[i + j].
1005 2015-03-20  Marek Polacek  <polacek@redhat.com>
1007         PR c++/65072
1008         * typeck.c (lookup_anon_field): Make sure we're dealing with the main
1009         variant.
1011 2015-03-19  Jason Merrill  <jason@redhat.com>
1013         PR c++/65046
1014         Automatically propagate ABI tags to variables and functions
1015         from their (return) type.
1016         * class.c (check_tag): Handle variables and functions.
1017         (mark_or_check_attr_tags): Split out from find_abi_tags_r.
1018         (mark_or_check_tags): Likewise.
1019         (mark_abi_tags): Use it.  Rename from mark_type_abi_tags.
1020         (check_abi_tags): Add single argument overload for decls.
1021         Handle inheriting tags for decls.
1022         * mangle.c (write_mangled_name): Call it.
1023         (mangle_return_type_p): Split out from write_encoding.
1024         (unmangled_name_p): Split out from write_mangled_name.
1025         (write_mangled_name): Ignore abi_tag on namespace.
1026         * cp-tree.h (NAMESPACE_IS_INLINE): Replace NAMESPACE_ABI_TAG.
1027         * parser.c (cp_parser_namespace_definition): Set it.
1028         * name-lookup.c (handle_namespace_attrs): Use arguments. Warn
1029         about abi_tag attribute on non-inline namespace.
1030         * tree.c (check_abi_tag_args): Split out from handle_abi_tag_attribute.
1031         (handle_abi_tag_attribute): Allow tags on variables.
1033 2015-03-19  Jakub Jelinek  <jakub@redhat.com>
1035         * decl2.c (cplus_decl_attributes): Also add "omp declare target"
1036         attribute for DECL_EXTERNAL VAR_DECLs.
1038 2015-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
1040         PR c++/65340
1041         * call.c (build_over_call): Pass the tsubst_flags_t argument to
1042         mark_used.
1043         * decl2.c (mark_used): Inline the require_deduced_type call and
1044         guard the error call.
1046 2015-03-16  Jason Merrill  <jason@redhat.com>
1048         PR c++/65061
1049         * parser.c (cp_parser_template_name): Call strip_using_decl.
1051 2015-03-16  Marek Polacek  <polacek@redhat.com>
1053         DR 1688
1054         PR c++/65327
1055         * decl.c (grokdeclarator): Allow volatile and constexpr together.
1057 2015-03-12  Paolo Carlini  <paolo.carlini@oracle.com>
1059         PR c++/65323
1060         * decl.c (check_default_argument): Don't call
1061         maybe_warn_zero_as_null_pointer_constant.
1063 2015-03-11  Aldy Hernandez  <aldyh@redhat.com>
1065         * cp-gimplify.c (simple_empty_class_p): New.
1066         * cp-gimplify.c (cp_gimplify_expr): Handle RETURN_EXPR.  Abstract
1067         the code for empty class copies into simple_empty_class_p, and
1068         adapt it to handle COMPOUND_EXPRs.
1070 2015-03-10  Paolo Carlini  <paolo.carlini@oracle.com>
1072         PR c++/65370
1073         * decl.c (duplicate_decls): Call check_redeclaration_no_default_args
1074         only if the location of newdecl doesn't match the location of olddecl.
1076 2015-03-10  Jakub Jelinek  <jakub@redhat.com>
1078         PR c++/65127
1079         * parser.c (parsing_nsdmi): Don't return true if current_class_ptr
1080         is not a PARM_DECL.
1082 2015-03-10  Jason Merrill  <jason@redhat.com>
1084         PR c++/65333
1085         DR 1558
1086         * pt.c (dependent_type_p_r): Check both class and alias template args.
1088 2015-03-10  Jakub Jelinek  <jakub@redhat.com>
1090         PR c/65120
1091         * parser.c (cp_parser_binary_expression): Check for tcc_comparison
1092         before preparing arguments to warn_logical_not_parentheses.
1093         Use maybe_constant_value on rhs.
1095 2015-03-09  Jason Merrill  <jason@redhat.com>
1097         PR c++/65339
1098         * call.c: Don't call maybe_resolve_dummy when calling a constructor.
1100 2015-03-09  Jakub Jelinek  <jakub@redhat.com>
1102         PR c/65120
1103         * parser.c (cp_parser_binary_expression): Don't warn for
1104         !!x == y or !b == y where b is bool.
1106 2015-03-06  Aldy Hernandez  <aldyh@redhat.com>
1108         * ptree.c (cxx_print_lambda_node): New.
1109         (cxx_print_xnode): Handle LAMBDA_EXPR.
1111 2015-03-03  Aldy Hernandez  <aldyh@redhat.com>
1113         PR c++/65295
1114         * constexpr.c (cxx_eval_constant_expression): Remove assert in
1115         RESULT_DECL handling.
1117 2015-02-26  Marek Polacek  <polacek@redhat.com>
1119         PR c++/65202
1120         * constexpr.c (cxx_eval_constant_expression): Don't evaluate
1121         a RETURN_EXPR if its operand is null.
1123 2015-02-25  Jason Merrill  <jason@redhat.com>
1125         PR c++/65209
1126         * decl2.c (constrain_visibility) [VISIBILITY_ANON]: Clear
1127         DECL_COMDAT.
1128         (constrain_visibility_for_template): Handle reference arguments.
1130         PR debug/58315
1131         * decl.c (start_preparsed_function): Use create_artificial_label
1132         for cdtor_label.
1134 2015-02-17  Paolo Carlini  <paolo.carlini@oracle.com>
1135             Jakub Jelinek  <jakub@redhat.com>
1137         PR c++/65075
1138         * constexpr.c (check_constexpr_bind_expr_vars): Allow
1139         implicit typedefs for lambda types.
1141 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
1143         PR c++/60894
1144         * decl.c (lookup_and_check_tag): Use strip_using_decl.
1146 2015-02-13  Jason Merrill  <jason@redhat.com>
1148         PR c++/65054
1149         * pt.c (template_args_equal): Look through conversions here.
1150         * tree.c (cp_tree_equal): Not here.
1152 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
1154         PR c++/60211
1155         * parser.c (cp_parser_pragma): Diagnose PRAGMA_IVDEP at
1156         pragma_external context.
1158 2015-02-13  Jason Merrill  <jason@redhat.com>
1160         PR c++/65051
1161         * call.c (reference_binding): Don't look for bad conversion
1162         if TO is incomplete.
1164 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
1166         PR c++/64970
1167         * decl.c (make_typename_type): Pass tsubst_flags_t argument
1168         to lookup_template_class.
1170 2015-02-13  Jakub Jelinek  <jakub@redhat.com>
1172         PR ipa/65034
1173         * decl.c (start_preparsed_function): Use void_type_node instead
1174         of NULL_TREE as LABEL_DECL type.
1176 2015-02-12  Jason Merrill  <jason@redhat.com>
1178         PR c++/64898
1179         * mangle.c (write_mangled_name): Fix test for variable template
1180         instantiation.
1182         * decl.c (begin_destructor_body): Condition clobber on
1183         -flifetime-dse.
1185 2015-02-12 Andrea Azzarone <azzaronea@gmail.com>
1187         PR c++/64959
1188         * parser.c (lookup_literal_operator): Return all candidates.
1189         (cp_parser_userdef_char_literal): Simplify error handling.
1190         (cp_parser_userdef_numeric_literal):  Pass tf_warning_or_error.
1191         (cp_parser_userdef_string_literal): Pass tf_warning_or_error.
1192         Also give higher priority to standard string UDL operator.
1194 2015-02-12  Jakub Jelinek  <jakub@redhat.com>
1196         PR debug/55541
1197         * cp-tree.h (BLOCK_OUTER_CURLY_BRACE_P): Define.
1198         * decl.c (poplevel): If functionbody, try not to create an extra
1199         BLOCK for function body and use subblocks as that, if it is non-NULL
1200         and doesn't have siblings.  Set BLOCK_OUTER_CURLY_BRACE_P flag.
1201         (outer_curly_brace_block): Use BLOCK_OUTER_CURLY_BRACE_P flag.
1203         PR sanitizer/64984
1204         * except.c (check_noexcept_r): Return NULL for internal
1205         calls.
1207 2015-02-10  Jason Merrill  <jason@redhat.com>
1209         PR c++/64994
1210         * constexpr.c (cxx_eval_call_expression): Walk the clone list.
1212 2015-02-10  Jan Hubicka  <hubicka@ucw.cz>
1214         PR ipa/64982
1215         * method.c (use_thunk): Do not check for stdarg thunks.
1217 2015-02-06  Jason Merrill  <jason@redhat.com>
1219         PR c++/64899
1220         * init.c (build_vec_init): Handle default-initialized array with
1221         constexpr default constructor.
1223 2015-02-04  Jakub Jelinek  <jakub@redhat.com>
1225         PR c/64824
1226         PR c/64868
1227         * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.
1229 2015-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
1231         PR c++/64877
1232         * typeck.c (cp_build_binary_op): Avoid spurious -Waddress warnings
1233         for generated expressions.
1235 2015-02-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
1237         PR c++/64901
1238         * decl.c (duplicate_decls): Also duplicate DECL_FINAL_P and
1239         DECL_OVERRIDE_P.
1241 2015-02-02  Jason Merrill  <jason@redhat.com>
1243         * tree.c (handle_abi_tag_attribute): Diagnose invalid arguments.
1245 2015-01-30  Joseph Myers  <joseph@codesourcery.com>
1247         * class.c, except.c, parser.c, pt.c: All callers of fatal_error
1248         changed to pass input_location as first argument.
1250 2015-01-29  Jakub Jelinek  <jakub@redhat.com>
1252         PR c++/64717
1253         * cp-ubsan.c (cp_ubsan_instrument_vptr): Don't wrap vptr
1254         into SAVE_EXPR.
1256 2015-01-29  Jason Merrill  <jason@redhat.com>
1258         PR c++/49508
1259         * semantics.c (finish_return_stmt): Suppress -Wreturn-type on
1260         erroneous return statement.
1262         PR c++/64521
1263         * repo.c (repo_emit_p): It's OK for a clone to be extern at this
1264         point.
1266 2015-01-27  Caroline Tice  <cmtice@google.com>
1268         Committing VTV Cywin/Ming patch for Patrick Wollgast
1269         * vtable-class-hierarchy.cc (vtv_generate_init_routine): Add
1270         check for not TARGET_PECOFF at the VTV_PREINIT_PRIORITY checks.
1272 2015-01-27  Jason Merrill  <jason@redhat.com>
1274         PR c++/58597
1275         * lambda.c (maybe_add_lambda_conv_op): Check cfun rather than
1276         current_function_decl.
1278         PR c++/63889
1279         * pt.c (finish_template_variable): Move from semantics.c.
1280         Handle multiple template arg levels.  Handle coercion here.
1281         (lookup_template_variable): Not here.
1283 2015-01-23  Jason Merrill  <jason@redhat.com>
1285         PR c++/64314
1286         PR c++/57510
1287         * typeck2.c (split_nonconstant_init_1): Remove a sub-CONSTRUCTOR
1288         that has been completely split out.
1290         PR c++/64701
1291         * constexpr.c (cxx_eval_constant_expression): Don't crash on C++
1292         statement codes.
1294         PR c++/64727
1295         * constexpr.c (cxx_eval_constant_expression): Allow for lvalue use
1296         of CONST_DECL.
1298 2015-01-21  Jason Merrill  <jason@redhat.com>
1300         PR c++/64603
1301         * constexpr.c (cxx_eval_constant_expression): Only shortcut
1302         constant CONSTRUCTORs.
1304         PR c++/64647
1305         * constexpr.c (ensure_literal_type_for_constexpr_object): Don't
1306         give a hard error in a template instantiation.
1308 2015-01-21  Richard Biener  <rguenther@suse.de>
1310         PR middle-end/64313
1311         * decl.c (duplicate_decls): Call set_builtin_decl_declared_p
1312         for builtins the user declared correctly.
1314 2015-01-16  Paolo Carlini  <paolo.carlini@oracle.com>
1316         PR c++/58614
1317         * pt.c (unify): When BRACE_ENCLOSED_INITIALIZER_P (arg), handle
1318         TREE_TYPE (elt) == error_mark_node.
1320 2015-01-15  Jan Hubicka  <hubicka@ucw.cz>
1322         PR tree-optimization/62053
1323         * tree.c (build_cplus_array_type): Layout type after variants are set.
1325 2015-01-15  Jakub Jelinek  <jakub@redhat.com>
1327         * cp-gimplify.c (cp_genericize_r): Call
1328         cp_ubsan_maybe_instrument_member_call for member calls.
1329         (cp_ubsan_check_member_access_r): New function.
1330         (cp_genericize_tree): Call cp_ubsan_instrument_member_accesses.
1331         * cp-tree.h (cp_ubsan_maybe_instrument_member_call,
1332         cp_ubsan_instrument_member_accesses,
1333         cp_ubsan_maybe_instrument_downcast,
1334         cp_ubsan_maybe_instrument_cast_to_vbase): New prototypes.
1335         * cp-ubsan.c: New file.
1336         * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add cp/cp-ubsan.o.
1337         * constexpr.c (cxx_eval_call_expression): Return void_node
1338         for IFN_UBSAN_VPTR.
1339         (potential_constant_expression_1): Return true for
1340         UBSAN_NULL, UBSAN_BOUNDS and UBSAN_VPTR internal calls.
1341         * typeck.c (build_class_member_access_expr): Provide locus
1342         for COMPONENT_REFs.
1343         (build_static_cast_1): Instrument downcasts.
1344         * class.c (build_base_path): For -fsanitize=vptr and !fixed_type_p
1345         add ubsan instrumentation for virtual_access.
1346         * call.c: Include internal-fn.h.
1347         (set_flags_from_callee): Handle internal calls.
1349 2015-01-15  Momchil Velikov  <momchil.velikov@gmail.com>
1351         PR c++/59366
1352         * name-lookup.c (pushdecl_maybe_friend_1): Hide friend functions
1353         and function templates, declared only in the class.
1354         * decl.c (duplicate_decls): Reveal hidden friend functions or
1355         function templates, if they are redeclared outside the class.
1357 2015-01-15  Jason Merrill  <jason@redhat.com>
1359         PR c++/64356
1360         * constexpr.c (cxx_eval_binary_expression): Fix pasto.
1362         PR c++/63283
1363         * constexpr.c (potential_constant_expression_1): Handle reference
1364         args in templates.
1366 2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
1367             James Norris  <jnorris@codesourcery.com>
1368             Cesar Philippidis  <cesar@codesourcery.com>
1369             Ilmir Usmanov  <i.usmanov@samsung.com>
1370             Jakub Jelinek  <jakub@redhat.com>
1372         * parser.c: Include "gomp-constants.h".
1373         (cp_parser_omp_clause_map): Use enum gomp_map_kind instead of enum
1374         omp_clause_map_kind.  Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
1375         Use OMP_CLAUSE_SET_MAP_KIND.
1376         (cp_parser_omp_construct, cp_parser_pragma): Handle
1377         PRAGMA_OACC_CACHE, PRAGMA_OACC_DATA, PRAGMA_OACC_ENTER_DATA,
1378         PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_PARALLEL,
1379         PRAGMA_OACC_LOOP, PRAGMA_OACC_UPDATE, PRAGMA_OACC_WAIT.
1380         (cp_parser_omp_clause_name): Handle "async", "copy", "copyout",
1381         "create", "delete", "deviceptr", "host", "num_gangs",
1382         "num_workers", "present", "present_or_copy", "pcopy",
1383         "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout",
1384         "present_or_create", "pcreate", "vector_length", "wait".
1385         (OACC_DATA_CLAUSE_MASK, OACC_ENTER_DATA_CLAUSE_MASK)
1386         (OACC_EXIT_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK)
1387         (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK)
1388         (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros.
1389         (cp_parser_omp_var_list_no_open): Handle OMP_CLAUSE__CACHE_.
1390         (cp_parser_oacc_data_clause, cp_parser_oacc_data_clause_deviceptr)
1391         (cp_parser_oacc_clause_vector_length, cp_parser_oacc_wait_list)
1392         (cp_parser_oacc_clause_wait, cp_parser_omp_clause_num_gangs)
1393         (cp_parser_omp_clause_num_workers, cp_parser_oacc_clause_async)
1394         (cp_parser_oacc_all_clauses, cp_parser_oacc_cache)
1395         (cp_parser_oacc_data, cp_parser_oacc_enter_exit_data)
1396         (cp_parser_oacc_kernels, cp_parser_oacc_loop)
1397         (cp_parser_oacc_parallel, cp_parser_oacc_update)
1398         (cp_parser_oacc_wait): New functions.
1399         * cp-tree.h (finish_oacc_data, finish_oacc_kernels)
1400         (finish_oacc_parallel): New prototypes.
1401         * semantics.c: Include "gomp-constants.h".
1402         (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR.  Use
1403         GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.  Use
1404         OMP_CLAUSE_SET_MAP_KIND.
1405         (finish_omp_clauses): Handle OMP_CLAUSE_ASYNC,
1406         OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_WAIT, OMP_CLAUSE__CACHE_.
1407         Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
1408         (finish_oacc_data, finish_oacc_kernels, finish_oacc_parallel): New
1409         functions.
1411 2015-01-14  Paolo Carlini  <paolo.carlini@oracle.com>
1413         PR c++/58671
1414         * decl2.c (var_defined_without_dynamic_init): Handle gracefully
1415         self-initialization.
1417 2015-01-13  Jason Merrill  <jason@redhat.com>
1419         PR c++/64356
1420         PR libstdc++/58777
1421         * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
1422         pointer expressions.
1423         (cxx_eval_increment_expression): Likewise.
1425         PR c++/64514
1426         * pt.c (coerce_template_parameter_pack): Return NULL for a
1427         zero-length fixed parameter pack with a pack expansion arg.
1429         PR c++/64520
1430         * pt.c (unify): Don't try to deduce to std::initializer_list<T...>.
1432 2015-01-12  Jason Merrill  <jason@redhat.com>
1434         PR c++/64547
1435         * constexpr.c (cxx_eval_call_expression): A call to a void
1436         function doesn't need to return a value.
1438 2015-01-09  Michael Collison  <michael.collison@linaro.org>
1440         * call.c: Include hash-set.h, machmode.h, vec.h, double-int.h,
1441         input.h, alias.h, symtab.h, options.h, fold-const.h,
1442         wide-int.h, and inchash.h due to flattening of tree.h.
1443         * class.c: Ditto.
1444         * constexpr.c: Ditto.
1445         * cp-array-notation.c: Ditto.
1446         * cp-gimplify.c: Ditto.
1447         * cp-lang.c: Ditto.
1448         * cp-objcp-common.c: Ditto.
1449         * cvt.c: Ditto.
1450         * decl2.c: Ditto.
1451         * decl.c: Ditto.
1452         * dump.c: Ditto.
1453         * error.c: Ditto.
1454         * except.c: Ditto.
1455         * expr.c: Ditto.
1456         * friend.c: Ditto.
1457         * init.c: Ditto.
1458         * lambda.c: Ditto.
1459         * lex.c: Ditto.
1460         * mangle.c: Ditto.
1461         * name-lookup.c: Ditto.
1462         * optimize.c: Ditto.
1463         * parser.c: Ditto.
1464         * pt.c: Ditto.
1465         * ptree.c: Ditto.
1466         * repo.c: Ditto.
1467         * rtti.c: Ditto.
1468         * search.c: Ditto.
1469         * semantics.c: Ditto.
1470         * tree.c: Ditto.
1471         * typeck2.c: Ditto.
1472         * typeck.c: Ditto.
1474 2015-01-08  Jason Merrill  <jason@redhat.com>
1476         * cp-gimplify.c (cp_genericize): Use do_ubsan_in_current_function.
1477         * decl.c (compute_array_index_type): Likewise.
1478         * init.c (build_vec_init): Likewise.
1479         * typeck.c (cp_build_binary_op): Likewise.
1481 2015-01-08  Jason Merrill  <jason@redhat.com>
1483         * init.c (build_vec_init): Call ubsan_instrument_bounds to check
1484         whether an initializer-list is too big for a VLA.
1485         (throw_bad_array_length): Remove.
1486         * cp-tree.h: Remove prototype.
1488 2015-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
1490         PR c++/60753
1491         * decl.c (grokfndecl): Add bool parameter.
1492         (grokdeclarator): Adjust calls.
1493         (start_decl): Don't set DECL_DELETED_FN here.
1495 2015-01-06  Jason Merrill  <jason@redhat.com>
1497         * parser.c (cp_parser_nested_name_specifier_opt): Diagnose invalid
1498         template-ids.
1500         PR c++/64455
1501         * pt.c (type_dependent_expression_p): Handle variable templates.
1502         * constexpr.c (potential_constant_expression_1): Use it.
1504         PR c++/64487
1505         * semantics.c (finish_offsetof): Handle templates here.
1506         * parser.c (cp_parser_builtin_offsetof): Not here.
1508         PR c++/64496
1509         * semantics.c (process_outer_var_ref): Diagnose lambda in local
1510         class NSDMI.
1512 2015-01-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
1514         PR c++/64489
1515         * class.c (check_field_decls): Make copy assignment operators
1516         complex only in c++98 mode.
1518 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
1520         PR c++/31397
1521         * class.c (check_for_override): Warn when a virtual function is an
1522         override not marked override.
1524 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
1526         * class.c (warn_hidden): Use auto_vec<tree> instead of tree_list to
1527         hold base_fndecls.
1528         (get_basefndecls): Adjust.
1530 2015-01-05  Jakub Jelinek  <jakub@redhat.com>
1532         Update copyright years.
1534 2015-01-05  Marek Polacek  <polacek@redhat.com>
1536         PR c/64423
1537         * typeck.c (cp_build_array_ref): Pass loc down to
1538         warn_array_subscript_with_type_char.
1541 Copyright (C) 2015 Free Software Foundation, Inc.
1543 Copying and distribution of this file, with or without modification,
1544 are permitted in any medium without royalty provided the copyright
1545 notice and this notice are preserved.