PR target/66563
[official-gcc.git] / gcc / cp / ChangeLog
blob9dc92669cedc99b4c4902454b3fc3aeba7ab6408
1 2015-06-24  Jason Merrill  <jason@redhat.com>
3         PR c++/66647
4         * pt.c (dependent_type_p_r): Check for dependent alias template
5         specialization sooner.
7         PR c++/66501
8         * class.c (type_has_nontrivial_assignment): Remove.
9         * cp-tree.h: Remove declaration.
10         * init.c (vec_copy_assign_is_trivial): New.
11         (build_vec_init): Use it.
13 2015-06-24  Edward Smith-Rowland  <3dw4rd@verizon.net>
15         Implement N3928 - Extending static_assert
16         * parser.c (cp_parser_static_assert): Support static_assert with
17         no message string.  Supply an empty string in this case.
18         * semantics.c (finish_static_assert): Don't try to print a message if
19         the message strnig is empty.
21 2015-06-24  Adam Butcher  <adam@jessamine.co.uk>
23         PR c++/65750
24         * parser.c (cp_parser_simple_type_specifier): Don't synthesize
25         implicit template parm if 'auto' is a placeholder for trailing
26         return type.
28 2015-06-24  Patrick Palka  <ppalka@gcc.gnu.org>
30         Revert:
31         2015-06-23  Patrick Palka  <ppalka@gcc.gnu.org>
33         PR c++/30044
34         * parser.c (cp_parser_template_parameter_list): Update
35         current_template_parms right after processing a paramater.
36         * pt.c (template_parms_to_args): Remove obsolete hack for
37         giving template template arguments the proper level.
38         (check_default_tmpl_args): Account for tested template
39         parameter_lists.
40         (splite_late_return_type): Remove obsolete hack for giving
41         template template arguments the proper level.
43 2015-06-24  Paolo Carlini  <paolo.carlini@oracle.com>
45         PR c++/65811
46         * decl.c (duplicate_decls): Adjust DECL_COMDAT of newdecl.
48 2015-06-23  Patrick Palka  <ppalka@gcc.gnu.org>
50         PR c++/30044
51         * parser.c (cp_parser_template_parameter_list): Update
52         current_template_parms right after processing a paramater.
53         * pt.c (template_parms_to_args): Remove obsolete hack for
54         giving template template arguments the proper level.
55         (check_default_tmpl_args): Account for tested template
56         parameter_lists.
57         (splite_late_return_type): Remove obsolete hack for giving
58         template template arguments the proper level.
60 2015-06-23  Jason Merrill  <jason@redhat.com>
62         PR c++/65879
63         * decl.c (grokfndecl): Check the linkage of ctype, not just
64         TYPE_ANONYMOUS_P.
65         * tree.c (no_linkage_check): Skip the 'this' pointer.
67         PR c++/66501
68         * class.c (type_has_nontrivial_assignment): New.
69         * init.c (build_vec_init): Use it.
70         * cp-tree.h: Declare it.
71         * method.c (trivial_fn_p): Templates aren't trivial.
73         PR c++/66542
74         * decl.c (expand_static_init): Make sure the destructor is callable
75         here even if we have an initializer.
77 2015-06-04  Pierre-Marie de Rodat  <derodat@adacore.com>
79         * lang-specs.h: Pass "-o %g.s" to cc1plus for headers even if
80         -fdump-ada-spec is passed.
82 2015-06-22  Pierre-Marie de Rodat  <derodat@adacore.com>
84         * decl2.c (cpp_check): Deal with HAS_DEPENDENT_TEMPLATE_ARGS.
86 2015-06-22  Paolo Carlini  <paolo.carlini@oracle.com>
88         * decl.c (grokdeclarator): Use declspecs->locations[ds_virtual].
90 2015-06-22  Paolo Carlini  <paolo.carlini@oracle.com>
92         * decl.c (grokdeclarator): Remove pointless code.
94 2015-06-22  Jason Merrill  <jason@redhat.com>
96         PR c++/66515
97         * call.c (implicit_conversion): Only reshape for classes.
99 2015-06-22  Mikhail Maltsev  <maltsevm@gmail.com>
101         * pt.c (maybe_adjust_types_for_deduction): Use std::swap instead of
102         manually swapping.
103         * semantics.c (finish_omp_atomic): Likewise.
104         * typeck.c (cp_build_array_ref): Likewise.
106 2015-06-20  Mikhail Maltsev  <maltsevm@gmail.com>
108         PR c++/65882
109         * call.c (build_new_op_1): Check tf_warning flag in all cases.
111 2015-06-19  Jason Merrill  <jason@redhat.com>
113         PR c++/66585
114         * pt.c (instantiate_class_template_1): Clear
115         cp_unevaluated_operand and c_inhibit_evaluation_warnings.
117         PR c++/65880
118         * decl.c (build_ptrmemfunc_type): Check TYPE_GET_PTRMEMFUNC_TYPE after
119         cv-qualifiers.
120         * typeck.c (merge_types): build_ptrmemfunc_type before applying
121         quals and attributes.
123         PR c++/65973
124         * constexpr.c (build_constexpr_constructor_member_initializers):
125         Handle an empty STATEMENT_LIST.
127         PR c++/65843
128         * pt.c (tsubst_copy_and_build): Register a capture proxy in
129         local_specializations.
131 2015-06-17  Jason Merrill  <jason@redhat.com>
133         PR c++/66001
134         * constexpr.c (cxx_eval_constant_expression): Handle TRY_BLOCK and
135         TRY_FINALLY_EXPR.
136         (potential_constant_expression_1): Likewise.
138 2015-06-17  Jason Merrill  <jason@redhat.com>
140         PR c++/66515
141         * call.c (implicit_conversion): Call reshape_init here, early.
142         (build_aggr_conv): Not here.
144 2015-06-17  Jakub Jelinek  <jakub@redhat.com>
146         PR c++/66571
147         * pt.c (tsubst_omp_clause_decl): New function.
148         (tsubst_omp_clauses): Use it or tsubst_copy instead of
149         tsubst_expr on OMP_CLAUSE_DECL.
151 2015-06-17  Andrew MacLeod  <amacleod@redhat.com>
153         * cp-lang.c (cxx_dwarf_name): Use anon_aggrname_p.
154         * cp-tree.h (TYPE_ANONYMOUS_P): Likewise.
155         * decl.c (grokdeclarator, xref_tag_1): Likewise.
156         * error.c (dump_aggr_type): likewise.
157         * pt.c (push_template_decl_real): Likewise.
158         * name-lookup.c (make_anon_name): Use anon_aggrname_format.
160 2015-06-17  Andrew MacLeod  <amacleod@redhat.com>
162         * call.c: Do not include input.h, line-map.h or is-a.h.
163         * class.c: Likewise.
164         * constexpr.c: Likewise.
165         * cp-array-notation.c: Likewise.
166         * cp-gimplify.c: Likewise.
167         * cp-lang.c: Likewise.
168         * cp-objcp-common.c: Likewise.
169         * cp-tree.h: Likewise.
170         * cp-ubsan.c: Likewise.
171         * cvt.c: Likewise.
172         * decl.c: Likewise.
173         * decl2.c: Likewise.
174         * dump.c: Likewise.
175         * error.c: Likewise.
176         * except.c: Likewise.
177         * expr.c: Likewise.
178         * friend.c: Likewise.
179         * init.c: Likewise.
180         * lambda.c: Likewise.
181         * lex.c: Likewise.
182         * mangle.c: Likewise.
183         * method.c: Likewise.
184         * name-lookup.c: Likewise.
185         * optimize.c: Likewise.
186         * parser.c: Likewise.
187         * pt.c: Likewise.
188         * ptree.c: Likewise.
189         * repo.c: Likewise.
190         * rtti.c: Likewise.
191         * search.c: Likewise.
192         * semantics.c: Likewise.
193         * tree.c: Likewise.
194         * typeck.c: Likewise.
195         * typeck2.c: Likewise.
196         * vtable-class-hierarchy.c: Likewise.
198 2015-06-16  Paolo Carlini  <paolo.carlini@oracle.com>
200         PR c++/59682
201         * parser.c (cp_parser_new_placement): Reject an empty expression-list.
203 2015-06-16  Jason Merrill  <jason@redhat.com>
205         PR c++/66536
206         * tree.c (replace_placeholders_r) [CONSTRUCTOR]: Handle type
207         mismatch.
209         PR c++/58063
210         * tree.c (bot_manip): Remap SAVE_EXPR.
212         PR c++/66387
213         * pt.c (tsubst_copy) [VAR_DECL]: Use process_outer_var_ref.
215 2015-06-15  Nathan Sidwell  <nathan@acm.org>
217         PR c++/58583
218         * cp-tree.h (DECL_INSTANTIATING_NSDMI_P): New.
219         * init.c (get_nsdmi): Check for DEFAULT_ARG in template case and
220         protect it from recursive instantiation.
222 2015-06-15  Paolo Carlini  <paolo.carlini@oracle.com>
224         PR c++/51048
225         * decl2.c (no_linkage_error): Do not issue a permerror if the DECL
226         using a local type is pure virtual.
228 2015-06-13  Patrick Palka  <ppalka@gcc.gnu.org>
230         * call.c: Remove comment documenting the long-deleted
231         function build_method_call.
233 2015-06-13  Patrick Palka  <ppalka@gcc.gnu.org>
235         PR c++/65168
236         * typeck.c (cp_build_binary_op): Warn when comparing an address
237         of a reference against NULL.
239 2015-06-12  Jason Merrill  <jason@redhat.com>
241         PR c++/65719
242         * pt.c (tsubst_decl) [VAR_DECL]: Mark namespace-scope
243         variables as DECL_NOT_REALLY_EXTERN.
245 2015-06-11  Jason Merrill  <jason@redhat.com>
247         PR c++/66445
248         * constexpr.c (potential_constant_expression_1): Handle a
249         DECL_EXPR of TYPE_DECL.
251         PR c++/66450
252         * constexpr.c (cxx_eval_store_expression): Avoid messing up outer
253         ctx->ctor.
255 2015-06-11  Pierre-Marie de Rodat  <derodat@adacore.com>
257         * decl.c (cxx_init_decl_processing): Register the main
258         translation unit through the new debug hook.
260 2015-06-10  Jason Merrill  <jason@redhat.com>
262         PR c++/66289
263         * cp-tree.h (TEMPLATE_DECL_COMPLEX_ALIAS_P): New.
264         * pt.c (push_template_decl_real): Set it.
265         (dependent_alias_template_spec_p): Use it.
266         (dependent_type_p_r): Use dependent_alias_template_spec_p.
267         (uses_all_template_parms_data, uses_all_template_parms_r)
268         (complex_alias_template_p): New.
269         (get_template_parm_index): Handle BOUND_TEMPLATE_TEMPLATE_PARM.
271 2015-06-09  Jason Merrill  <jason@redhat.com>
273         DR 1467
274         PR c++/51747
275         * typeck2.c (digest_init_r): Replace previous change with
276         gcc_unreachable.
278         PR c++/66387
279         * semantics.c (process_outer_var_ref): Make sure the value is
280         actually constant before returning it.
281         * typeck.c (cp_build_array_ref): Allow subscripting non-lvalue
282         array.
284 2015-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
286         PR c++/65815
287         * typeck2.c (digest_nsdmi_init): On aggregates use reshape_init.
288         * init.c (expand_default_init): Likewise.
290 2015-06-09  Jason Merrill  <jason@redhat.com>
292         PR c++/66383
293         * tree.c (replace_placeholders_r): Handle placeholders for an
294         outer object.
295         * typeck2.c (store_init_value): Only replace_placeholders for
296         objects of class type.
298 2015-06-08  Andrew MacLeod  <amacleod@redhat.com>
300         * call.c : Adjust include files.
301         * class.c : Likewise.
302         * constexpr.c : Likewise.
303         * cp-array-notation.c : Likewise.
304         * cp-cilkplus.c : Likewise.
305         * cp-gimplify.c : Likewise.
306         * cp-lang.c : Likewise.
307         * cp-objcp-common.c : Likewise.
308         * cp-tree.h : Likewise.
309         * cp-ubsan.c : Likewise.
310         * cvt.c : Likewise.
311         * decl.c : Likewise.
312         * decl2.c : Likewise.
313         * dump.c : Likewise.
314         * error.c : Likewise.
315         * except.c : Likewise.
316         * expr.c : Likewise.
317         * friend.c : Likewise.
318         * init.c : Likewise.
319         * lambda.c : Likewise.
320         * lex.c : Likewise.
321         * mangle.c : Likewise.
322         * method.c : Likewise.
323         * name-lookup.c : Likewise.
324         * optimize.c : Likewise.
325         * parser.c : Likewise.
326         * pt.c : Likewise.
327         * ptree.c : Likewise.
328         * repo.c : Likewise.
329         * rtti.c : Likewise.
330         * search.c : Likewise.
331         * semantics.c : Likewise.
332         * tree.c : Likewise.
333         * typeck.c : Likewise.
334         * typeck2.c : Likewise.
335         * vtable-class-hierarchy.c : Likewise.
337 2015-06-05  Jason Merrill  <jason@redhat.com>
339         PR c++/66405
340         * pt.c (argument_pack_element_is_expansion_p): Return 2 if
341         the expansion has extra args.
342         (use_pack_expansion_extra_args_p): Return true in that case.
344         PR c++/66405
345         * pt.c (type_dependent_expression_p): EXPR_PACK_EXPANSION is
346         dependent even if it has a type.
348 2015-06-05  Aldy Hernandez  <aldyh@redhat.com>
350         * cp-objcp-common.c: Adjust comment for
351         cxx_warn_unused_global_decl.
352         * cp-objcp-common.h (LANG_HOOKS_WRITE_GLOBALS): Remove
353         (LANG_HOOKS_POST_COMPILATION_PARSING_CLEANUPS): New.
354         * cp-tree.h (note_mangling_alias): Protoize.
355         (cp_write_global_declarations): Remove.
356         (cxx_post_compilation_parsing_cleanups): Protoize.
357         * decl.c (wrapup_globals_for_namespace): Remove use of DATA
358         argument.
359         * decl2.c (mangling_aliases): New global.
360         (build_java_method_aliases): New.  Adapted from
361         collect_candidates_for_java_method_aliases.
362         (collect_candidates_for_java_method_aliases): Remove.
363         (build_java_method_aliases): Remove.
364         (generate_mangling_aliases): New.
365         (note_mangling_alias): New.  Moved from mangle_decl.
366         (locus_at_end_of_parsing): New global.
367         (c_parse_final_cleanups): Rename from
368         cp_write_global_declarations.
369         Use locus_at_end_of_parsing.
370         Call generate_mangling_aliases.
371         Rename call to collect_candidates_for_java_method_aliases into
372         build_java_method_aliases.
373         Remove call to finalize_compilation_unit.
374         Move vtable handling into cxx_post_compilation_parsing_cleanups.
375         Do not call check_global_declarations or
376         emit_debug_global_declarations.
377         (cxx_post_compilation_parsing_cleanups): New.
378         * mangle.c (mangle_decl): Move code to note_mangling_alias.
379         * name-lookup.c (do_namespace_alias): Call early_global_decl.
381 2015-06-05  Nathan Sidwell  <nathan@acm.org>
383         PR c++/52595
384         * parser.c (cp_parser_cache_defarg): Continue looking for
385         declarators when scanning a potential template argument list of an
386         NSDMI.
388 2015-06-04  Andrew MacLeod  <amacleod@redhat.com>
390         * call.c: Adjust includes for restructured coretypes.h.
391         * class.c: Likewise.
392         * constexpr.c: Likewise.
393         * cp-array-notation.c: Likewise.
394         * cp-gimplify.c: Likewise.
395         * cp-lang.c: Likewise.
396         * cp-objcp-common.c: Likewise.
397         * cp-tree.h: Likewise.
398         * cp-ubsan.c: Likewise.
399         * cvt.c: Likewise.
400         * decl.c: Likewise.
401         * decl2.c: Likewise.
402         * dump.c: Likewise.
403         * error.c: Likewise.
404         * except.c: Likewise.
405         * expr.c: Likewise.
406         * friend.c: Likewise.
407         * init.c: Likewise.
408         * lambda.c: Likewise.
409         * lex.c: Likewise.
410         * mangle.c: Likewise.
411         * method.c: Likewise.
412         * name-lookup.c: Likewise.
413         * optimize.c: Likewise.
414         * parser.c: Likewise.
415         * pt.c: Likewise.
416         * ptree.c: Likewise.
417         * repo.c: Likewise.
418         * rtti.c: Likewise.
419         * search.c: Likewise.
420         * semantics.c: Likewise.
421         * tree.c: Likewise.
422         * typeck.c: Likewise.
423         * typeck2.c: Likewise.
424         * vtable-class-hierarchy.c: Likewise.
426 2015-06-04  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
428         PR c++/66192
429         PR target/66200
430         * cp-tree.h (get_guard_cond): Adjust declaration
431         * decl.c (expand_static_init): Use atomic load acquire
432         and adjust call to get_guard_cond.
433         * decl2.c (build_atomic_load_byte): New function.
434         (get_guard_cond): Handle thread_safety.
435         (one_static_initialization_or_destruction): Adjust call to
436         get_guard_cond.
438 2015-06-03  Jason Merrill  <jason@redhat.com>
440         PR c++/44282
441         * mangle.c (mangle_decl): Always SET_IDENTIFIER_GLOBAL_VALUE.
442         (write_CV_qualifiers_for_type): Set G.need_abi_warning.
443         (decl_implicit_alias_p): Split out from maybe_remove_implicit_alias.
444         * cp-tree.h (DECL_REALLY_EXTERN): Handle null DECL_LANG_SPECIFIC.
446 2015-06-03  Manuel López-Ibáñez  <manu@gcc.gnu.org>
447             Paolo Carlini  <paolo.carlini@oracle.com>
449         PR c++/66130
450         * typeck.c (invalid_nonstatic_memfn_p): Add location_t parameter and
451         use it in the diagnostic.
452         (decay_conversion): Adjust call.
453         * semantics.c (finish_decltype_type): Likewise.
454         * call.c (resolve_args, build_new_op_1,
455         perform_implicit_conversion_flags): Adjust calls.
456         * cvt.c (ocp_convert, convert_to_void): Likewise.
457         * cp-tree.h (invalid_nonstatic_memfn_p): Update declaration.
459 2015-06-03  Paolo Carlini  <paolo.carlini@oracle.com>
461         * decl.c (check_tag_decl): Use declspecs->locations as locations in
462         error_at and warning_at calls.
464 2015-06-03  Marek Polacek  <polacek@redhat.com>
466         PR sanitizer/66190
467         * cp-gimplify.c (struct cp_genericize_data): Add no_sanitize_p.
468         (cp_genericize_r): Don't instrument static initializers.
469         (cp_genericize_tree): Initialize wtd.no_sanitize_p.
471 2015-06-02  Andres Tiraboschi  <andres.tiraboschi@tallertechnologies.com>
473         * decl.c (start_function): Call plugin before parsing.
474         (finish_function): Call plugin after parsing.
476 2015-06-02  Patrick Palka <patrick@parcs.ath.cx>
478         * cp-tree.h (init_error): Remove declaration.
479         * error.c (scratch_pretty_printer): Rename to ...
480         (actual_pretty_printer): ... this.
481         (cxx_pp): Constify and update accordingly.
482         (init_error): Remove definition.
483         * lex.c (cxx_init): Do not call init_error.
485 2015-06-02  Paolo Carlini  <paolo.carlini@oracle.com>
487         PR c++/61683
488         * parser.c (cp_parser_mem_initializer): Allow for decltype-specifier.
490 2015-06-01  Jason Merrill  <jason@redhat.com>
492         PR c++/65942
493         * decl2.c (mark_used): Don't always instantiate constexpr fns.
494         * constexpr.c (cxx_eval_call_expression): Instantiate them here.
496         PR c++/44282
497         * mangle.c (attr_strcmp): New.
498         (write_CV_qualifiers_for_type): Also write out attributes that
499         affect type identity.
500         (write_type): Strip all attributes after writing qualifiers.
502 2015-05-31  Jason Merrill  <jason@redhat.com>
504         * constexpr.c (cxx_eval_indirect_ref): Try folding first.
506         PR c++/66320
507         * constexpr.c (cxx_eval_constant_expression): Treat a placeholder
508         with the wrong type as non-constant.
510 2015-05-27  Jason Merrill  <jason@redhat.com>
512         * decl.c (check_redeclaration_exception_specification): Depend on
513         -Wsystem-headers rather than -pedantic.
515         * decl.c (warn_extern_redeclared_static): Use the location of
516         newdecl in diagnostics, not input_location.
517         (validate_constexpr_redeclaration): Likewise.
518         (check_redeclaration_no_default_args): Likewise.
519         (duplicate_decls): Likewise.
520         (check_redeclaration_exception_specification): Likewise.
521         Change second diagnostic to inform.
523 2015-05-24  Nathan Sidwell  <nathan@acm.org>
525         PR c++/66243
526         * decl.c (build_enumerator): Don't silently convert scoped enums.
528 2015-05-24  Jan Hubicka  <hubicka@ucw.cz>
530         PR lto/66180
531         * mangle.c (mangle_decl): Mangle anonymous namespace types as
532         "<anon>".
534 2015-05-23  Nathan Sidwell  <nathan@acm.org>
536         PR c++/65936
537         * pt.c (lookup_template_class_1): Copy may_alias attribute too.
539 2015-05-22  Jim Wilson  <jim.wilson@linaro.org>
541         * Make-lang.in (check_g++_parallelize): Update comment.
543 2015-05-22  Paolo Carlini  <paolo.carlini@oracle.com>
545         PR c++/65598
546         * decl.c (grokdeclarator): Use the correct location in error
547         messages about 'explicit'.
549 2015-05-22  Marek Polacek  <polacek@redhat.com>
550             Edward Smith-Rowland  <3dw4rd@verizon.net>
552         PR c/47043
553         * cp-tree.h (build_enumerator): Update declaration.
554         * decl.c (build_enumerator): Add attributes parameter.  Call
555         cplus_decl_attributes.
556         * init.c (constant_value_1): Pass tf_none to mark_used.
557         * parser.c (cp_parser_enumerator_definition): Parse attributes and
558         pass them down to build_enumerator.
559         * pt.c (tsubst_enum): Pass decl attributes to build_enumerator.
560         * semantics.c (finish_id_expression): Don't warn_deprecated_use here.
562 2015-05-21  Nathan Sidwell  <nathan@acm.org>
564         PR c++/60943
565         * decl2.c (change_return_type): Propagate FUNCTION_REF_QUALIFIED.
567 2015-05-21  Marek Polacek  <polacek@redhat.com>
569         * typeck.c (warn_args_num): Don't print "declare here" for builtins.
571 2015-05-20  Jason Merrill  <jason@redhat.com>
573         * pt.c (tsubst_decl) [VAR_DECL]: SET_DECL_IMPLICIT_INSTANTIATION
574         before register_specialization.
576         * decl.c (grok_op_properties): Don't complain about size_t
577         placement delete here.
578         * call.c (second_parm_is_size_t): Split out from...
579         (non_placement_deallocation_fn_p): ...here.
580         (build_op_delete_call): Warn about size_t placement delete with
581         -Wc++14-compat.
583 2015-05-19  Nathan Sidwell  <nathan@acm.org>
585         PR c++/65954
586         * typeck.c (finish_class_member_access_expr): Diagnose failed
587         lookup of enum class member.
589 2015-05-19  Jakub Jelinek  <jakub@redhat.com>
591         PR middle-end/66199
592         * parser.c (cp_parser_omp_for_loop): Don't add
593         OMP_CLAUSE_SHARED to OMP_PARALLEL_CLAUSES when moving
594         OMP_CLAUSE_LASTPRIVATE clause to OMP_FOR_CLAUSES.
595         (cp_parser_omp_teams): Set OMP_TEAMS_COMBINED for combined
596         constructs.
598 2015-05-19  Mikhail Maltsev  <maltsevm@gmail.com>
600         * typeck.c (composite_pointer_type): Use std::swap instead of explicit
601         swaps.
603 2015-05-18  Jason Merrill  <jason@redhat.com>
605         * pt.c (retrieve_specialization): Make sure our arguments have
606         gone through strip_typedefs.
608         * pt.c (tsubst_decl) [VAR_DECL]: Call coerce_innermost_template_parms.
609         (determine_specialization): Call coerce_template_parms.
611         DR 1391
612         * pt.c (type_unification_real): Check convertibility here.
613         (unify_one_argument): Not here.
615         * tree.c (strip_typedefs_expr) [TRAIT_EXPR]: Fix typo.
616         (strip_typedefs) [DECLTYPE_TYPE]: Fix typedef of decltype.
617         [TREE_LIST]: Fix no-change case.
619         * ptree.c (cxx_print_xnode): Handle TRAIT_EXPR.
621 2015-05-16  Manuel López-Ibáñez  <manu@gcc.gnu.org>
623         PR fortran/44054
624         * error.c (cp_diagnostic_starter): Use diagnostic_location
625         function.
626         (cp_print_error_function): Likewise.
627         (cp_printer): Replace locus pointer with accessor function.
629 2015-05-12  David Malcolm  <dmalcolm@redhat.com>
631         * parser.c (cp_parser_selection_statement): Add location and
632         guard_kind arguments to calls to
633         cp_parser_implicitly_scoped_statement.
634         (cp_parser_iteration_statement): Likewise for calls to
635         cp_parser_already_scoped_statement.
636         (cp_parser_implicitly_scoped_statement): Add "guard_loc" and
637         "guard_kind" params; use them to warn for misleading
638         indentation.
639         (cp_parser_already_scoped_statement): Likewise.
641 2015-05-11  Jan Hubicka  <hubicka@ucw.cz>
643         * class.c (fixup_type_variants): Do not copy TYPE_METHODS
644         (one_inheriting_sig): Assert tat we always set TYPE_METHODS of main variant.
645         * semantics.c (finish_member_declaration): Likewise.
646         * method.c (lazily_declare_fn): Allways add method to main variant list.
648 2015-05-09  Aldy Hernandez  <aldyh@redhat.com>
650         PR bootstrap/66085
651         * decl2.c (note_mangling_alias): Declare arguments as unused.
653 2015-05-08  Jason Merrill  <jason@redhat.com>
655         * cp-gimplify.c, parser.c: Adjust to -Wc++11-compat replacing
656         -Wc++0x-compat.
658 2015-05-08  Jason Merrill  <jason@redhat.com>
660         * decl2.c (mangling_aliases): New variable.
661         (note_mangling_alias, generate_mangling_aliases): New.
662         (cp_write_global_declarations): Call generate_mangling_aliases.
663         (generate_mangling_alias): Split out from...
664         * mangle.c (mangle_decl): ...here.
665         * cp-tree.h: Declare note_mangling_alias.
667 2015-05-08  Aldy Hernandez  <aldyh@redhat.com>
669         * decl2.c (collect_candidates_for_java_method_aliases): Remove.
670         (build_java_method_aliases): Adapt to use create_same_body_alias
671         instead of assemble_alias.  Move variable declarations to
672         definition and tidy up.
673         (cp_write_global_declarations): Call build_java_method_aliases
674         instead of collecting candidates first.
676 2015-05-07  Jason Merrill  <jason@redhat.com>
678         PR c++/59012
679         * parser.c (cp_parser_std_attribute_list): Handle attribute expansion.
680         (cp_parser_std_attribute_spec): Handle alignas pack expansion.
681         * decl2.c (is_late_template_attribute): An attribute exp is dependent.
682         * pt.c (make_pack_expansion): Allow TREE_LIST for attribute expansion.
683         (apply_late_template_attributes): Handle attribute pack expansion.
685 2015-05-07  Marek Polacek  <polacek@redhat.com>
687         PR c/65179
688         * typeck.c (cp_build_binary_op): Warn when left shifting a negative
689         value.
691 2015-05-07  Jason Merrill  <jason@redhat.com>
693         DR 1467
694         PR c++/51747
695         * typeck2.c (digest_init_r): Fix single element list.
697 2015-05-05  Jason Merrill  <jason@redhat.com>
699         * cp-gimplify.c (cp_genericize_r): Track TRY_BLOCK and
700         MUST_NOT_THROW_EXPR, warn about a THROW_EXPR directly within a
701         MUST_NOT_THROW_EXPR.
702         (cp_genericize_data): Add try_block field.
703         (cp_genericize_tree): Initialize it.
704         * except.c (expand_end_catch_block): Set TREE_NO_WARNING on
705         implicit rethrow.
707         * constexpr.c (potential_constant_expression_1) [AT_ENCODE_EXPR]:
708         Return false.
710         * semantics.c (finish_call_expr): Check complain.
712         * decl2.c (reset_type_linkage_2): Update the DECL_NAME of a
713         maybe-in-charge constructor.
715         * decl.c (start_decl): Don't push the plain VAR_DECL for a
716         variable template.
718         DR 1518
719         DR 1630
720         PR c++/54835
721         PR c++/60417
722         * call.c (convert_like_real): Check value-initialization before
723         explicit.
724         * typeck2.c (process_init_constructor_record): Don't set
725         CONSTRUCTOR_IS_DIRECT_INIT.
726         (process_init_constructor_array): Likewise.
727         * init.c (build_vec_init): Likewise.
729 2015-05-05  David Malcolm  <dmalcolm@redhat.com>
731         * parser.c (cp_parser_asm_definition): Only test for
732         error_mark_node if "outputs" was just set.  Likewise for "inputs".
734 2015-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
735             Jakub Jelinek  <jakub@redhat.com>
737         PR c++/66007
738         * typeck2.c (check_narrowing): Check by-hand that the pedwarn didn't
739         result in an actual error.
741 2015-05-01  Paolo Carlini  <paolo.carlini@oracle.com>
742             Prathamesh Kulharni  <prathamesh.kulkarni@linaro.org>
744         PR c++/65858
745         * typeck2.c (check_narrowing): Set ok = true when pedwarn returns
746         false.
748 2015-04-30  David Malcolm  <dmalcolm@redhat.com>
750         * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove spurious
751         trailing semicolon.
753 2015-04-29  Jason Merrill  <jason@redhat.com>
755         PR c++/50800
756         * tree.c (apply_identity_attributes): Fix handling of classes.
758 2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>
760         * parser.c (cp_parser_oacc_enter_exit_data): Use
761         OMP_STANDALONE_CLAUSES.
763 2015-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
765         PR c++/64667
766         * init.c (perform_member_init): Handle references for -Winit-self.
768 2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>
770         * pt.c (tsubst_expr) <OMP_TARGET_UPDATE>: Use
771         OMP_TARGET_UPDATE_CLAUSES instead of OMP_CLAUSES.
773 2015-04-28  Jason Merrill  <jason@redhat.com>
775         PR c++/65896
776         * constexpr.c (cxx_eval_store_expression): Don't try to actually
777         store an empty class.
779         PR c++/65656
780         * constexpr.c (cxx_eval_builtin_function_call): Fix
781         __builtin_constant_p.
783         PR c++/50800
784         * tree.c (strip_typedefs): Add remove_attributes parm.
785         (strip_typedefs_expr): Likewise.
786         (apply_identity_attributes): New subroutine of strip_typedefs.
787         * pt.c (canonicalize_type_argument): Let strip_typedefs handle attrs.
788         (convert_nontype_argument, unify): Likewise.
789         * cp-tree.h: Adjust.
791         PR c++/65734
792         * class.c (fixup_attribute_variants): Respect TYPE_USER_ALIGN.
794 2015-04-27  Trevor Saunders  <tbsaunde+gcc@tbsaunde.org>
796         * class.c (layout_class_type): Remove check if
797         PCC_BITFIELD_TYPE_MATTERS is defined.
799 2015-04-27  Jim Wilson  <jim.wilson@linaro.org>
801         * Make-lang.in (c++.mostlyclean): Remove xg++, g++-cross, and cc1plus.
803 2015-04-24  Jason Merrill  <jason@redhat.com>
805         PR c++/50800
806         * typeck.c (structural_comptypes): Don't check TYPE_REF_CAN_ALIAS_ALL.
808         * constexpr.c (potential_constant_expression_1) [MINUS_EXPR]:
809         Remove obsolete code.
810         [NE_EXPR]: Likewise.
812 2015-04-23  Jason Merrill  <jason@redhat.com>
814         PR c++/65646
815         * pt.c (check_explicit_specialization): Don't
816         SET_DECL_TEMPLATE_SPECIALIZATION for a variable with no template
817         headers.
818         * decl.c (grokvardecl): Revert earlier fix.
820 2015-04-20  Paolo Carlini  <paolo.carlini@oracle.com>
822         PR c++/65801
823         * typeck2.c (check_narrowing): In C++11 mode too, -Wno-narrowing
824         suppresses the diagnostic.
826 2015-04-20  Ville Voutilainen  <ville.voutilainen@gmail.com>
828         Reject trailing return type for an operator auto().
829         * decl.c (grokdeclarator): Reject trailing return types for
830         all conversion operators, don't handle conversion operators
831         in the previous checks that deal with auto.
833 2015-04-20  Ilya Verbin  <ilya.verbin@intel.com>
835         * parser.c (cp_parser_omp_target_update): Add missed %> to error_at ().
837 2015-04-16  Paolo Carlini  <paolo.carlini@oracle.com>
839         * class.c (resolve_address_of_overloaded_function, instantiate_type):
840         Rename tsubst_flags_t parameter flags -> complain.
842 2015-04-16  Paolo Carlini  <paolo.carlini@oracle.com>
844         * call.c (build_op_delete_call, build_over_call): Check mark_used
845         return value.
846         * class.c (resolve_address_of_overloaded_function): Likewise.
847         * decl.c (cxx_maybe_build_cleanup): Likewise.
848         * pt.c (gen_elem_of_pack_expansion_instantiation, tsubst_baselink,
849         tsubst_qualified_id, tsubst_copy, tsubst_copy_and_build): Likewise.
850         * rtti.c (build_dynamic_cast_1): Likewise.
851         * semantics.c (process_outer_var_ref): Likewise.
852         * typeck.c (build_class_member_access_expr,
853         cp_build_function_call_vec, cp_build_addr_expr_1): Likewise.
855 2015-04-15  Jason Merrill  <jason@redhat.com>
857         * constexpr.c (cxx_eval_store_expression): Ignore clobbers.
858         (build_constexpr_constructor_member_initializers): Loop to find
859         the BIND_EXPR.
860         * decl.c (start_preparsed_function): Clobber the object at the
861         beginning of a constructor.
863         * decl.c (grokmethod): Only set DECL_COMDAT if TREE_PUBLIC is set.
864         * method.c (implicitly_declare_fn): Likewise.
865         * decl2.c (vague_linkage_p): Check TREE_PUBLIC first.
867         * decl2.c (determine_visibility): Use get_template_info.
869 2015-04-15  Jason Merrill  <jason@redhat.com>
870             Marek Polacek  <polacek@redhat.com>
872         PR c++/65727
873         * lambda.c (lambda_expr_this_capture): In unevaluated context go
874         through the normal loop, just don't capture.
875         (maybe_resolve_dummy): Handle null return.
877 2015-04-15  Paolo Carlini  <paolo.carlini@oracle.com>
879         * call.c (enforce_access): Emit error + inform.
881 2015-04-15  Marek Polacek  <polacek@redhat.com>
883         * constexpr.c (use_new_call): Remove #define.
884         (lookup_parameter_binding): Remove function.
885         (cxx_bind_parameters_in_call): Remove unused code.
886         (cxx_eval_call_expression): Likewise.
887         (cxx_eval_constant_expression): Likewise.
889 2015-04-14  Mikhail Maltsev  <maltsevm@gmail.com>
891         * tree.c (replace_placeholders_t): Remove unused type.
892         (replace_placeholders): Remove unused pset.
894 2015-04-14  Jason Merrill  <jason@redhat.com>
896         * pt.c (lookup_template_class_1): Use coerce_innermost_template_parms.
898         PR c++/65695
899         * cvt.c (cp_fold_convert): Avoid wrapping PTRMEM_CST in NOP_EXPR.
901         PR c++/65721
902         * name-lookup.c (do_class_using_decl): Complain about specifying
903         the current class even if there are dependent bases.
905 2015-04-14  David Krauss  <david_work@me.com>
907         PR c++/59766
908         * decl.c (grokdeclarator): Do not flag friends with deduced return.
910 2015-04-14  Momchil Velikov  <momchil.velikov@gmail.com>
911             Jason Merrill  <jason@redhat.com>
913         PR c++/60994
914         * parser.c (cp_parser_class_name): Add enum_ok parameter.
915         (cp_parser_qualifying_entity): Use it instead of cp_parser_type_name.
916         (cp_parser_diagnose_invalid_type_name): Don't assume a template is
917         a class template.
919 2015-04-12  Jakub Jelinek  <jakub@redhat.com>
921         PR c++/65736
922         * constexpr.c (cxx_eval_pointer_plus_expression): Don't fold for VLAs,
923         don't fold if op01 isn't divisible by TYPE_SIZE_UNIT.  Convert
924         the expression to the original type at the end.
926 2015-04-09  Jakub Jelinek  <jakub@redhat.com>
928         PR c++/65690
929         * tree.c (cp_build_qualified_type_real): Copy TYPE_ALIGN and
930         TYPE_USER_ALIGN.
932         PR c++/65690
933         * tree.c (build_cplus_array_type): Layout type before variants are
934         set, but copy over TYPE_SIZE and TYPE_SIZE_UNIT from the main
935         variant.
937 2015-04-03  Paolo Carlini  <paolo.carlini@oracle.com>
939         PR c++/64085
940         * lambda.c (add_capture): Use dependent_type_p for capture by
941         reference too.
943 2015-04-02  Marek Polacek  <polacek@redhat.com>
945         PR c++/65642
946         * constexpr.c (cxx_eval_pointer_plus_expression): Call
947         cxx_eval_constant_expression on the first operand.
949 2015-04-01  Jason Merrill  <jason@redhat.com>
951         PR c++/65625
952         * decl.c (make_typename_type): Handle seeing a variable template.
954 2015-04-01  Paolo Carlini  <paolo.carlini@oracle.com>
956         PR c++/56100
957         * pt.c (instantiating_current_function_p): New.
958         * name-lookup.c (pushdecl_maybe_friend_1): Use it.
959         * cp-tree.h (instantiating_current_function_p): Declare.
961 2015-04-01  Jason Merrill  <jason@redhat.com>
963         PR c++/65646
964         * decl.c (grokvardecl): Don't call check_explicit_specialization
965         for non-template members of a class template.
967 2015-04-01  Marek Polacek  <polacek@redhat.com>
969         PR c++/65554
970         * class.c (finish_struct): Require that the second field of a
971         user-defined initializer_list be of size type.
973 2015-03-31  Marek Polacek  <polacek@redhat.com>
975         PR c++/65390
976         * tree.c (build_cplus_array_type): Use dependent_type_p rather than
977         checking for constness.
979 2015-03-30  Marek Polacek  <polacek@redhat.com>
981         PR c++/65398
982         * constexpr.c (cxx_fold_indirect_ref): Don't perform the
983          *(&A[i] p+ j) => A[i + j] transformation here.
984         (cxx_eval_pointer_plus_expression): New function.
985         (cxx_eval_constant_expression): Use it here.
987 2015-03-27  Tobias Burnus  <burnus@net-b.de>
989         PR c/65586
990         * parser.c (cp_parser_omp_for, cp_parser_omp_parallel,
991         cp_parser_omp_distribute, cp_parser_omp_teams, cp_parser_omp_target,
992         cp_parser_omp_declare): Don't show error for skipped omp pragmas with
993         -fopenmp-simd.
995 2015-03-27  Marek Polacek  <polacek@redhat.com>
997         PR c++/65556
998         * semantics.c (finish_switch_cond): If the unlowered type is not an
999         enum, use the type of the condition.
1001 2015-03-27  Jason Merrill  <jason@redhat.com>
1003         PR c++/65509
1004         * decl.c (make_rtl_for_nonlocal_decl): Don't defer static
1005         constants.
1007 2015-03-26  Mikhail Maltsev  <maltsevm@gmail.com>
1009         PR c++/65154
1010         * init.c (build_vec_init): Fix initializing aggregates
1011         with empty init list.
1013 2015-03-26  Jason Merrill  <jason@redhat.com>
1015         PR c++/65525
1016         * constexpr.c (potential_constant_expression_1): Handle MEM_REF.
1018 2015-03-25  Marek Polacek  <polacek@redhat.com>
1020         PR c++/65558
1021         * name-lookup.c (handle_namespace_attrs): Ignore abi_tag attribute
1022         on an anonymous namespace.
1024 2015-03-25  Marek Polacek  <polacek@redhat.com>
1026         PR c++/61670
1027         * class.c (remove_zero_width_bit_fields): Check for null DECL_SIZE.
1029 2015-03-24  Jason Merrill  <jason@redhat.com>
1031         PR c++/65046
1032         * cp-tree.h (NAMESPACE_IS_INLINE): Remove.
1033         * parser.c (cp_parser_namespace_definition): Don't set it.
1034         * name-lookup.c (handle_namespace_attrs): Check
1035         DECL_NAMESPACE_ASSOCIATIONS instead.
1037         PR c++/65498
1038         * pt.c (get_mostly_instantiated_function_type): Just return the
1039         type of the partially instantiated template in DECL_TI_TEMPLATE.
1041 2015-03-20  Marek Polacek  <polacek@redhat.com>
1043         PR c++/65398
1044         * constexpr.c (cxx_fold_indirect_ref): Transform *(&A[i] p+ j) into
1045         A[i + j].
1047 2015-03-20  Marek Polacek  <polacek@redhat.com>
1049         PR c++/65072
1050         * typeck.c (lookup_anon_field): Make sure we're dealing with the main
1051         variant.
1053 2015-03-19  Jason Merrill  <jason@redhat.com>
1055         PR c++/65046
1056         Automatically propagate ABI tags to variables and functions
1057         from their (return) type.
1058         * class.c (check_tag): Handle variables and functions.
1059         (mark_or_check_attr_tags): Split out from find_abi_tags_r.
1060         (mark_or_check_tags): Likewise.
1061         (mark_abi_tags): Use it.  Rename from mark_type_abi_tags.
1062         (check_abi_tags): Add single argument overload for decls.
1063         Handle inheriting tags for decls.
1064         * mangle.c (write_mangled_name): Call it.
1065         (mangle_return_type_p): Split out from write_encoding.
1066         (unmangled_name_p): Split out from write_mangled_name.
1067         (write_mangled_name): Ignore abi_tag on namespace.
1068         * cp-tree.h (NAMESPACE_IS_INLINE): Replace NAMESPACE_ABI_TAG.
1069         * parser.c (cp_parser_namespace_definition): Set it.
1070         * name-lookup.c (handle_namespace_attrs): Use arguments. Warn
1071         about abi_tag attribute on non-inline namespace.
1072         * tree.c (check_abi_tag_args): Split out from handle_abi_tag_attribute.
1073         (handle_abi_tag_attribute): Allow tags on variables.
1075 2015-03-19  Jakub Jelinek  <jakub@redhat.com>
1077         * decl2.c (cplus_decl_attributes): Also add "omp declare target"
1078         attribute for DECL_EXTERNAL VAR_DECLs.
1080 2015-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
1082         PR c++/65340
1083         * call.c (build_over_call): Pass the tsubst_flags_t argument to
1084         mark_used.
1085         * decl2.c (mark_used): Inline the require_deduced_type call and
1086         guard the error call.
1088 2015-03-16  Jason Merrill  <jason@redhat.com>
1090         PR c++/65061
1091         * parser.c (cp_parser_template_name): Call strip_using_decl.
1093 2015-03-16  Marek Polacek  <polacek@redhat.com>
1095         DR 1688
1096         PR c++/65327
1097         * decl.c (grokdeclarator): Allow volatile and constexpr together.
1099 2015-03-12  Paolo Carlini  <paolo.carlini@oracle.com>
1101         PR c++/65323
1102         * decl.c (check_default_argument): Don't call
1103         maybe_warn_zero_as_null_pointer_constant.
1105 2015-03-11  Aldy Hernandez  <aldyh@redhat.com>
1107         * cp-gimplify.c (simple_empty_class_p): New.
1108         * cp-gimplify.c (cp_gimplify_expr): Handle RETURN_EXPR.  Abstract
1109         the code for empty class copies into simple_empty_class_p, and
1110         adapt it to handle COMPOUND_EXPRs.
1112 2015-03-10  Paolo Carlini  <paolo.carlini@oracle.com>
1114         PR c++/65370
1115         * decl.c (duplicate_decls): Call check_redeclaration_no_default_args
1116         only if the location of newdecl doesn't match the location of olddecl.
1118 2015-03-10  Jakub Jelinek  <jakub@redhat.com>
1120         PR c++/65127
1121         * parser.c (parsing_nsdmi): Don't return true if current_class_ptr
1122         is not a PARM_DECL.
1124 2015-03-10  Jason Merrill  <jason@redhat.com>
1126         PR c++/65333
1127         DR 1558
1128         * pt.c (dependent_type_p_r): Check both class and alias template args.
1130 2015-03-10  Jakub Jelinek  <jakub@redhat.com>
1132         PR c/65120
1133         * parser.c (cp_parser_binary_expression): Check for tcc_comparison
1134         before preparing arguments to warn_logical_not_parentheses.
1135         Use maybe_constant_value on rhs.
1137 2015-03-09  Jason Merrill  <jason@redhat.com>
1139         PR c++/65339
1140         * call.c: Don't call maybe_resolve_dummy when calling a constructor.
1142 2015-03-09  Jakub Jelinek  <jakub@redhat.com>
1144         PR c/65120
1145         * parser.c (cp_parser_binary_expression): Don't warn for
1146         !!x == y or !b == y where b is bool.
1148 2015-03-06  Aldy Hernandez  <aldyh@redhat.com>
1150         * ptree.c (cxx_print_lambda_node): New.
1151         (cxx_print_xnode): Handle LAMBDA_EXPR.
1153 2015-03-03  Aldy Hernandez  <aldyh@redhat.com>
1155         PR c++/65295
1156         * constexpr.c (cxx_eval_constant_expression): Remove assert in
1157         RESULT_DECL handling.
1159 2015-02-26  Marek Polacek  <polacek@redhat.com>
1161         PR c++/65202
1162         * constexpr.c (cxx_eval_constant_expression): Don't evaluate
1163         a RETURN_EXPR if its operand is null.
1165 2015-02-25  Jason Merrill  <jason@redhat.com>
1167         PR c++/65209
1168         * decl2.c (constrain_visibility) [VISIBILITY_ANON]: Clear
1169         DECL_COMDAT.
1170         (constrain_visibility_for_template): Handle reference arguments.
1172         PR debug/58315
1173         * decl.c (start_preparsed_function): Use create_artificial_label
1174         for cdtor_label.
1176 2015-02-17  Paolo Carlini  <paolo.carlini@oracle.com>
1177             Jakub Jelinek  <jakub@redhat.com>
1179         PR c++/65075
1180         * constexpr.c (check_constexpr_bind_expr_vars): Allow
1181         implicit typedefs for lambda types.
1183 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
1185         PR c++/60894
1186         * decl.c (lookup_and_check_tag): Use strip_using_decl.
1188 2015-02-13  Jason Merrill  <jason@redhat.com>
1190         PR c++/65054
1191         * pt.c (template_args_equal): Look through conversions here.
1192         * tree.c (cp_tree_equal): Not here.
1194 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
1196         PR c++/60211
1197         * parser.c (cp_parser_pragma): Diagnose PRAGMA_IVDEP at
1198         pragma_external context.
1200 2015-02-13  Jason Merrill  <jason@redhat.com>
1202         PR c++/65051
1203         * call.c (reference_binding): Don't look for bad conversion
1204         if TO is incomplete.
1206 2015-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
1208         PR c++/64970
1209         * decl.c (make_typename_type): Pass tsubst_flags_t argument
1210         to lookup_template_class.
1212 2015-02-13  Jakub Jelinek  <jakub@redhat.com>
1214         PR ipa/65034
1215         * decl.c (start_preparsed_function): Use void_type_node instead
1216         of NULL_TREE as LABEL_DECL type.
1218 2015-02-12  Jason Merrill  <jason@redhat.com>
1220         PR c++/64898
1221         * mangle.c (write_mangled_name): Fix test for variable template
1222         instantiation.
1224         * decl.c (begin_destructor_body): Condition clobber on
1225         -flifetime-dse.
1227 2015-02-12 Andrea Azzarone <azzaronea@gmail.com>
1229         PR c++/64959
1230         * parser.c (lookup_literal_operator): Return all candidates.
1231         (cp_parser_userdef_char_literal): Simplify error handling.
1232         (cp_parser_userdef_numeric_literal):  Pass tf_warning_or_error.
1233         (cp_parser_userdef_string_literal): Pass tf_warning_or_error.
1234         Also give higher priority to standard string UDL operator.
1236 2015-02-12  Jakub Jelinek  <jakub@redhat.com>
1238         PR debug/55541
1239         * cp-tree.h (BLOCK_OUTER_CURLY_BRACE_P): Define.
1240         * decl.c (poplevel): If functionbody, try not to create an extra
1241         BLOCK for function body and use subblocks as that, if it is non-NULL
1242         and doesn't have siblings.  Set BLOCK_OUTER_CURLY_BRACE_P flag.
1243         (outer_curly_brace_block): Use BLOCK_OUTER_CURLY_BRACE_P flag.
1245         PR sanitizer/64984
1246         * except.c (check_noexcept_r): Return NULL for internal
1247         calls.
1249 2015-02-10  Jason Merrill  <jason@redhat.com>
1251         PR c++/64994
1252         * constexpr.c (cxx_eval_call_expression): Walk the clone list.
1254 2015-02-10  Jan Hubicka  <hubicka@ucw.cz>
1256         PR ipa/64982
1257         * method.c (use_thunk): Do not check for stdarg thunks.
1259 2015-02-06  Jason Merrill  <jason@redhat.com>
1261         PR c++/64899
1262         * init.c (build_vec_init): Handle default-initialized array with
1263         constexpr default constructor.
1265 2015-02-04  Jakub Jelinek  <jakub@redhat.com>
1267         PR c/64824
1268         PR c/64868
1269         * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.
1271 2015-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
1273         PR c++/64877
1274         * typeck.c (cp_build_binary_op): Avoid spurious -Waddress warnings
1275         for generated expressions.
1277 2015-02-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
1279         PR c++/64901
1280         * decl.c (duplicate_decls): Also duplicate DECL_FINAL_P and
1281         DECL_OVERRIDE_P.
1283 2015-02-02  Jason Merrill  <jason@redhat.com>
1285         * tree.c (handle_abi_tag_attribute): Diagnose invalid arguments.
1287 2015-01-30  Joseph Myers  <joseph@codesourcery.com>
1289         * class.c, except.c, parser.c, pt.c: All callers of fatal_error
1290         changed to pass input_location as first argument.
1292 2015-01-29  Jakub Jelinek  <jakub@redhat.com>
1294         PR c++/64717
1295         * cp-ubsan.c (cp_ubsan_instrument_vptr): Don't wrap vptr
1296         into SAVE_EXPR.
1298 2015-01-29  Jason Merrill  <jason@redhat.com>
1300         PR c++/49508
1301         * semantics.c (finish_return_stmt): Suppress -Wreturn-type on
1302         erroneous return statement.
1304         PR c++/64521
1305         * repo.c (repo_emit_p): It's OK for a clone to be extern at this
1306         point.
1308 2015-01-27  Caroline Tice  <cmtice@google.com>
1310         Committing VTV Cywin/Ming patch for Patrick Wollgast
1311         * vtable-class-hierarchy.cc (vtv_generate_init_routine): Add
1312         check for not TARGET_PECOFF at the VTV_PREINIT_PRIORITY checks.
1314 2015-01-27  Jason Merrill  <jason@redhat.com>
1316         PR c++/58597
1317         * lambda.c (maybe_add_lambda_conv_op): Check cfun rather than
1318         current_function_decl.
1320         PR c++/63889
1321         * pt.c (finish_template_variable): Move from semantics.c.
1322         Handle multiple template arg levels.  Handle coercion here.
1323         (lookup_template_variable): Not here.
1325 2015-01-23  Jason Merrill  <jason@redhat.com>
1327         PR c++/64314
1328         PR c++/57510
1329         * typeck2.c (split_nonconstant_init_1): Remove a sub-CONSTRUCTOR
1330         that has been completely split out.
1332         PR c++/64701
1333         * constexpr.c (cxx_eval_constant_expression): Don't crash on C++
1334         statement codes.
1336         PR c++/64727
1337         * constexpr.c (cxx_eval_constant_expression): Allow for lvalue use
1338         of CONST_DECL.
1340 2015-01-21  Jason Merrill  <jason@redhat.com>
1342         PR c++/64603
1343         * constexpr.c (cxx_eval_constant_expression): Only shortcut
1344         constant CONSTRUCTORs.
1346         PR c++/64647
1347         * constexpr.c (ensure_literal_type_for_constexpr_object): Don't
1348         give a hard error in a template instantiation.
1350 2015-01-21  Richard Biener  <rguenther@suse.de>
1352         PR middle-end/64313
1353         * decl.c (duplicate_decls): Call set_builtin_decl_declared_p
1354         for builtins the user declared correctly.
1356 2015-01-16  Paolo Carlini  <paolo.carlini@oracle.com>
1358         PR c++/58614
1359         * pt.c (unify): When BRACE_ENCLOSED_INITIALIZER_P (arg), handle
1360         TREE_TYPE (elt) == error_mark_node.
1362 2015-01-15  Jan Hubicka  <hubicka@ucw.cz>
1364         PR tree-optimization/62053
1365         * tree.c (build_cplus_array_type): Layout type after variants are set.
1367 2015-01-15  Jakub Jelinek  <jakub@redhat.com>
1369         * cp-gimplify.c (cp_genericize_r): Call
1370         cp_ubsan_maybe_instrument_member_call for member calls.
1371         (cp_ubsan_check_member_access_r): New function.
1372         (cp_genericize_tree): Call cp_ubsan_instrument_member_accesses.
1373         * cp-tree.h (cp_ubsan_maybe_instrument_member_call,
1374         cp_ubsan_instrument_member_accesses,
1375         cp_ubsan_maybe_instrument_downcast,
1376         cp_ubsan_maybe_instrument_cast_to_vbase): New prototypes.
1377         * cp-ubsan.c: New file.
1378         * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add cp/cp-ubsan.o.
1379         * constexpr.c (cxx_eval_call_expression): Return void_node
1380         for IFN_UBSAN_VPTR.
1381         (potential_constant_expression_1): Return true for
1382         UBSAN_NULL, UBSAN_BOUNDS and UBSAN_VPTR internal calls.
1383         * typeck.c (build_class_member_access_expr): Provide locus
1384         for COMPONENT_REFs.
1385         (build_static_cast_1): Instrument downcasts.
1386         * class.c (build_base_path): For -fsanitize=vptr and !fixed_type_p
1387         add ubsan instrumentation for virtual_access.
1388         * call.c: Include internal-fn.h.
1389         (set_flags_from_callee): Handle internal calls.
1391 2015-01-15  Momchil Velikov  <momchil.velikov@gmail.com>
1393         PR c++/59366
1394         * name-lookup.c (pushdecl_maybe_friend_1): Hide friend functions
1395         and function templates, declared only in the class.
1396         * decl.c (duplicate_decls): Reveal hidden friend functions or
1397         function templates, if they are redeclared outside the class.
1399 2015-01-15  Jason Merrill  <jason@redhat.com>
1401         PR c++/64356
1402         * constexpr.c (cxx_eval_binary_expression): Fix pasto.
1404         PR c++/63283
1405         * constexpr.c (potential_constant_expression_1): Handle reference
1406         args in templates.
1408 2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
1409             James Norris  <jnorris@codesourcery.com>
1410             Cesar Philippidis  <cesar@codesourcery.com>
1411             Ilmir Usmanov  <i.usmanov@samsung.com>
1412             Jakub Jelinek  <jakub@redhat.com>
1414         * parser.c: Include "gomp-constants.h".
1415         (cp_parser_omp_clause_map): Use enum gomp_map_kind instead of enum
1416         omp_clause_map_kind.  Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
1417         Use OMP_CLAUSE_SET_MAP_KIND.
1418         (cp_parser_omp_construct, cp_parser_pragma): Handle
1419         PRAGMA_OACC_CACHE, PRAGMA_OACC_DATA, PRAGMA_OACC_ENTER_DATA,
1420         PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_PARALLEL,
1421         PRAGMA_OACC_LOOP, PRAGMA_OACC_UPDATE, PRAGMA_OACC_WAIT.
1422         (cp_parser_omp_clause_name): Handle "async", "copy", "copyout",
1423         "create", "delete", "deviceptr", "host", "num_gangs",
1424         "num_workers", "present", "present_or_copy", "pcopy",
1425         "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout",
1426         "present_or_create", "pcreate", "vector_length", "wait".
1427         (OACC_DATA_CLAUSE_MASK, OACC_ENTER_DATA_CLAUSE_MASK)
1428         (OACC_EXIT_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK)
1429         (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK)
1430         (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros.
1431         (cp_parser_omp_var_list_no_open): Handle OMP_CLAUSE__CACHE_.
1432         (cp_parser_oacc_data_clause, cp_parser_oacc_data_clause_deviceptr)
1433         (cp_parser_oacc_clause_vector_length, cp_parser_oacc_wait_list)
1434         (cp_parser_oacc_clause_wait, cp_parser_omp_clause_num_gangs)
1435         (cp_parser_omp_clause_num_workers, cp_parser_oacc_clause_async)
1436         (cp_parser_oacc_all_clauses, cp_parser_oacc_cache)
1437         (cp_parser_oacc_data, cp_parser_oacc_enter_exit_data)
1438         (cp_parser_oacc_kernels, cp_parser_oacc_loop)
1439         (cp_parser_oacc_parallel, cp_parser_oacc_update)
1440         (cp_parser_oacc_wait): New functions.
1441         * cp-tree.h (finish_oacc_data, finish_oacc_kernels)
1442         (finish_oacc_parallel): New prototypes.
1443         * semantics.c: Include "gomp-constants.h".
1444         (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR.  Use
1445         GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.  Use
1446         OMP_CLAUSE_SET_MAP_KIND.
1447         (finish_omp_clauses): Handle OMP_CLAUSE_ASYNC,
1448         OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_WAIT, OMP_CLAUSE__CACHE_.
1449         Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
1450         (finish_oacc_data, finish_oacc_kernels, finish_oacc_parallel): New
1451         functions.
1453 2015-01-14  Paolo Carlini  <paolo.carlini@oracle.com>
1455         PR c++/58671
1456         * decl2.c (var_defined_without_dynamic_init): Handle gracefully
1457         self-initialization.
1459 2015-01-13  Jason Merrill  <jason@redhat.com>
1461         PR c++/64356
1462         PR libstdc++/58777
1463         * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
1464         pointer expressions.
1465         (cxx_eval_increment_expression): Likewise.
1467         PR c++/64514
1468         * pt.c (coerce_template_parameter_pack): Return NULL for a
1469         zero-length fixed parameter pack with a pack expansion arg.
1471         PR c++/64520
1472         * pt.c (unify): Don't try to deduce to std::initializer_list<T...>.
1474 2015-01-12  Jason Merrill  <jason@redhat.com>
1476         PR c++/64547
1477         * constexpr.c (cxx_eval_call_expression): A call to a void
1478         function doesn't need to return a value.
1480 2015-01-09  Michael Collison  <michael.collison@linaro.org>
1482         * call.c: Include hash-set.h, machmode.h, vec.h, double-int.h,
1483         input.h, alias.h, symtab.h, options.h, fold-const.h,
1484         wide-int.h, and inchash.h due to flattening of tree.h.
1485         * class.c: Ditto.
1486         * constexpr.c: Ditto.
1487         * cp-array-notation.c: Ditto.
1488         * cp-gimplify.c: Ditto.
1489         * cp-lang.c: Ditto.
1490         * cp-objcp-common.c: Ditto.
1491         * cvt.c: Ditto.
1492         * decl2.c: Ditto.
1493         * decl.c: Ditto.
1494         * dump.c: Ditto.
1495         * error.c: Ditto.
1496         * except.c: Ditto.
1497         * expr.c: Ditto.
1498         * friend.c: Ditto.
1499         * init.c: Ditto.
1500         * lambda.c: Ditto.
1501         * lex.c: Ditto.
1502         * mangle.c: Ditto.
1503         * name-lookup.c: Ditto.
1504         * optimize.c: Ditto.
1505         * parser.c: Ditto.
1506         * pt.c: Ditto.
1507         * ptree.c: Ditto.
1508         * repo.c: Ditto.
1509         * rtti.c: Ditto.
1510         * search.c: Ditto.
1511         * semantics.c: Ditto.
1512         * tree.c: Ditto.
1513         * typeck2.c: Ditto.
1514         * typeck.c: Ditto.
1516 2015-01-08  Jason Merrill  <jason@redhat.com>
1518         * cp-gimplify.c (cp_genericize): Use do_ubsan_in_current_function.
1519         * decl.c (compute_array_index_type): Likewise.
1520         * init.c (build_vec_init): Likewise.
1521         * typeck.c (cp_build_binary_op): Likewise.
1523 2015-01-08  Jason Merrill  <jason@redhat.com>
1525         * init.c (build_vec_init): Call ubsan_instrument_bounds to check
1526         whether an initializer-list is too big for a VLA.
1527         (throw_bad_array_length): Remove.
1528         * cp-tree.h: Remove prototype.
1530 2015-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
1532         PR c++/60753
1533         * decl.c (grokfndecl): Add bool parameter.
1534         (grokdeclarator): Adjust calls.
1535         (start_decl): Don't set DECL_DELETED_FN here.
1537 2015-01-06  Jason Merrill  <jason@redhat.com>
1539         * parser.c (cp_parser_nested_name_specifier_opt): Diagnose invalid
1540         template-ids.
1542         PR c++/64455
1543         * pt.c (type_dependent_expression_p): Handle variable templates.
1544         * constexpr.c (potential_constant_expression_1): Use it.
1546         PR c++/64487
1547         * semantics.c (finish_offsetof): Handle templates here.
1548         * parser.c (cp_parser_builtin_offsetof): Not here.
1550         PR c++/64496
1551         * semantics.c (process_outer_var_ref): Diagnose lambda in local
1552         class NSDMI.
1554 2015-01-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
1556         PR c++/64489
1557         * class.c (check_field_decls): Make copy assignment operators
1558         complex only in c++98 mode.
1560 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
1562         PR c++/31397
1563         * class.c (check_for_override): Warn when a virtual function is an
1564         override not marked override.
1566 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
1568         * class.c (warn_hidden): Use auto_vec<tree> instead of tree_list to
1569         hold base_fndecls.
1570         (get_basefndecls): Adjust.
1572 2015-01-05  Jakub Jelinek  <jakub@redhat.com>
1574         Update copyright years.
1576 2015-01-05  Marek Polacek  <polacek@redhat.com>
1578         PR c/64423
1579         * typeck.c (cp_build_array_ref): Pass loc down to
1580         warn_array_subscript_with_type_char.
1583 Copyright (C) 2015 Free Software Foundation, Inc.
1585 Copying and distribution of this file, with or without modification,
1586 are permitted in any medium without royalty provided the copyright
1587 notice and this notice are preserved.