re PR c++/64899 (Illegal dynamic initialization)
[official-gcc.git] / gcc / cp / ChangeLog
blob37ce9098c109a4e2eeffc99e0c9a7110167264b8
1 2015-02-06  Jason Merrill  <jason@redhat.com>
3         PR c++/64899
4         * init.c (build_vec_init): Handle default-initialized array with
5         constexpr default constructor.
7 2015-02-04  Jakub Jelinek  <jakub@redhat.com>
9         PR c/64824
10         PR c/64868
11         * parser.c (cp_parser_omp_atomic): Handle RDIV_EXPR.
13 2015-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
15         PR c++/64877
16         * typeck.c (cp_build_binary_op): Avoid spurious -Waddress warnings
17         for generated expressions.
19 2015-02-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
21         PR c++/64901
22         * decl.c (duplicate_decls): Also duplicate DECL_FINAL_P and
23         DECL_OVERRIDE_P.
25 2015-02-02  Jason Merrill  <jason@redhat.com>
27         * tree.c (handle_abi_tag_attribute): Diagnose invalid arguments.
29 2015-01-30  Joseph Myers  <joseph@codesourcery.com>
31         * class.c, except.c, parser.c, pt.c: All callers of fatal_error
32         changed to pass input_location as first argument.
34 2015-01-29  Jakub Jelinek  <jakub@redhat.com>
36         PR c++/64717
37         * cp-ubsan.c (cp_ubsan_instrument_vptr): Don't wrap vptr
38         into SAVE_EXPR.
40 2015-01-29  Jason Merrill  <jason@redhat.com>
42         PR c++/49508
43         * semantics.c (finish_return_stmt): Suppress -Wreturn-type on
44         erroneous return statement.
46         PR c++/64521
47         * repo.c (repo_emit_p): It's OK for a clone to be extern at this
48         point.
50 2015-01-27  Caroline Tice  <cmtice@google.com>
52         Committing VTV Cywin/Ming patch for Patrick Wollgast
53         * vtable-class-hierarchy.cc (vtv_generate_init_routine): Add
54         check for not TARGET_PECOFF at the VTV_PREINIT_PRIORITY checks.
56 2015-01-27  Jason Merrill  <jason@redhat.com>
58         PR c++/58597
59         * lambda.c (maybe_add_lambda_conv_op): Check cfun rather than
60         current_function_decl.
62         PR c++/63889
63         * pt.c (finish_template_variable): Move from semantics.c.
64         Handle multiple template arg levels.  Handle coercion here.
65         (lookup_template_variable): Not here.
67 2015-01-23  Jason Merrill  <jason@redhat.com>
69         PR c++/64314
70         PR c++/57510
71         * typeck2.c (split_nonconstant_init_1): Remove a sub-CONSTRUCTOR
72         that has been completely split out.
74         PR c++/64701
75         * constexpr.c (cxx_eval_constant_expression): Don't crash on C++
76         statement codes.
78         PR c++/64727
79         * constexpr.c (cxx_eval_constant_expression): Allow for lvalue use
80         of CONST_DECL.
82 2015-01-21  Jason Merrill  <jason@redhat.com>
84         PR c++/64603
85         * constexpr.c (cxx_eval_constant_expression): Only shortcut
86         constant CONSTRUCTORs.
88         PR c++/64647
89         * constexpr.c (ensure_literal_type_for_constexpr_object): Don't
90         give a hard error in a template instantiation.
92 2015-01-21  Richard Biener  <rguenther@suse.de>
94         PR middle-end/64313
95         * decl.c (duplicate_decls): Call set_builtin_decl_declared_p
96         for builtins the user declared correctly.
98 2015-01-16  Paolo Carlini  <paolo.carlini@oracle.com>
100         PR c++/58614
101         * pt.c (unify): When BRACE_ENCLOSED_INITIALIZER_P (arg), handle
102         TREE_TYPE (elt) == error_mark_node.
104 2015-01-15  Jan Hubicka  <hubicka@ucw.cz>
106         PR tree-optimization/62053
107         * tree.c (build_cplus_array_type): Layout type after variants are set.
109 2015-01-15  Jakub Jelinek  <jakub@redhat.com>
111         * cp-gimplify.c (cp_genericize_r): Call
112         cp_ubsan_maybe_instrument_member_call for member calls.
113         (cp_ubsan_check_member_access_r): New function.
114         (cp_genericize_tree): Call cp_ubsan_instrument_member_accesses.
115         * cp-tree.h (cp_ubsan_maybe_instrument_member_call,
116         cp_ubsan_instrument_member_accesses,
117         cp_ubsan_maybe_instrument_downcast,
118         cp_ubsan_maybe_instrument_cast_to_vbase): New prototypes.
119         * cp-ubsan.c: New file.
120         * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add cp/cp-ubsan.o.
121         * constexpr.c (cxx_eval_call_expression): Return void_node
122         for IFN_UBSAN_VPTR.
123         (potential_constant_expression_1): Return true for
124         UBSAN_NULL, UBSAN_BOUNDS and UBSAN_VPTR internal calls.
125         * typeck.c (build_class_member_access_expr): Provide locus
126         for COMPONENT_REFs.
127         (build_static_cast_1): Instrument downcasts.
128         * class.c (build_base_path): For -fsanitize=vptr and !fixed_type_p
129         add ubsan instrumentation for virtual_access.
130         * call.c: Include internal-fn.h.
131         (set_flags_from_callee): Handle internal calls.
133 2015-01-15  Momchil Velikov  <momchil.velikov@gmail.com>
135         PR c++/59366
136         * name-lookup.c (pushdecl_maybe_friend_1): Hide friend functions
137         and function templates, declared only in the class.
138         * decl.c (duplicate_decls): Reveal hidden friend functions or
139         function templates, if they are redeclared outside the class.
141 2015-01-15  Jason Merrill  <jason@redhat.com>
143         PR c++/64356
144         * constexpr.c (cxx_eval_binary_expression): Fix pasto.
146         PR c++/63283
147         * constexpr.c (potential_constant_expression_1): Handle reference
148         args in templates.
150 2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
151             James Norris  <jnorris@codesourcery.com>
152             Cesar Philippidis  <cesar@codesourcery.com>
153             Ilmir Usmanov  <i.usmanov@samsung.com>
154             Jakub Jelinek  <jakub@redhat.com>
156         * parser.c: Include "gomp-constants.h".
157         (cp_parser_omp_clause_map): Use enum gomp_map_kind instead of enum
158         omp_clause_map_kind.  Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
159         Use OMP_CLAUSE_SET_MAP_KIND.
160         (cp_parser_omp_construct, cp_parser_pragma): Handle
161         PRAGMA_OACC_CACHE, PRAGMA_OACC_DATA, PRAGMA_OACC_ENTER_DATA,
162         PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_PARALLEL,
163         PRAGMA_OACC_LOOP, PRAGMA_OACC_UPDATE, PRAGMA_OACC_WAIT.
164         (cp_parser_omp_clause_name): Handle "async", "copy", "copyout",
165         "create", "delete", "deviceptr", "host", "num_gangs",
166         "num_workers", "present", "present_or_copy", "pcopy",
167         "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout",
168         "present_or_create", "pcreate", "vector_length", "wait".
169         (OACC_DATA_CLAUSE_MASK, OACC_ENTER_DATA_CLAUSE_MASK)
170         (OACC_EXIT_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK)
171         (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK)
172         (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros.
173         (cp_parser_omp_var_list_no_open): Handle OMP_CLAUSE__CACHE_.
174         (cp_parser_oacc_data_clause, cp_parser_oacc_data_clause_deviceptr)
175         (cp_parser_oacc_clause_vector_length, cp_parser_oacc_wait_list)
176         (cp_parser_oacc_clause_wait, cp_parser_omp_clause_num_gangs)
177         (cp_parser_omp_clause_num_workers, cp_parser_oacc_clause_async)
178         (cp_parser_oacc_all_clauses, cp_parser_oacc_cache)
179         (cp_parser_oacc_data, cp_parser_oacc_enter_exit_data)
180         (cp_parser_oacc_kernels, cp_parser_oacc_loop)
181         (cp_parser_oacc_parallel, cp_parser_oacc_update)
182         (cp_parser_oacc_wait): New functions.
183         * cp-tree.h (finish_oacc_data, finish_oacc_kernels)
184         (finish_oacc_parallel): New prototypes.
185         * semantics.c: Include "gomp-constants.h".
186         (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR.  Use
187         GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.  Use
188         OMP_CLAUSE_SET_MAP_KIND.
189         (finish_omp_clauses): Handle OMP_CLAUSE_ASYNC,
190         OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_WAIT, OMP_CLAUSE__CACHE_.
191         Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
192         (finish_oacc_data, finish_oacc_kernels, finish_oacc_parallel): New
193         functions.
195 2015-01-14  Paolo Carlini  <paolo.carlini@oracle.com>
197         PR c++/58671
198         * decl2.c (var_defined_without_dynamic_init): Handle gracefully
199         self-initialization.
201 2015-01-13  Jason Merrill  <jason@redhat.com>
203         PR c++/64356
204         PR libstdc++/58777
205         * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
206         pointer expressions.
207         (cxx_eval_increment_expression): Likewise.
209         PR c++/64514
210         * pt.c (coerce_template_parameter_pack): Return NULL for a
211         zero-length fixed parameter pack with a pack expansion arg.
213         PR c++/64520
214         * pt.c (unify): Don't try to deduce to std::initializer_list<T...>.
216 2015-01-12  Jason Merrill  <jason@redhat.com>
218         PR c++/64547
219         * constexpr.c (cxx_eval_call_expression): A call to a void
220         function doesn't need to return a value.
222 2015-01-09  Michael Collison  <michael.collison@linaro.org>
224         * call.c: Include hash-set.h, machmode.h, vec.h, double-int.h,
225         input.h, alias.h, symtab.h, options.h, fold-const.h,
226         wide-int.h, and inchash.h due to flattening of tree.h.
227         * class.c: Ditto.
228         * constexpr.c: Ditto.
229         * cp-array-notation.c: Ditto.
230         * cp-gimplify.c: Ditto.
231         * cp-lang.c: Ditto.
232         * cp-objcp-common.c: Ditto.
233         * cvt.c: Ditto.
234         * decl2.c: Ditto.
235         * decl.c: Ditto.
236         * dump.c: Ditto.
237         * error.c: Ditto.
238         * except.c: Ditto.
239         * expr.c: Ditto.
240         * friend.c: Ditto.
241         * init.c: Ditto.
242         * lambda.c: Ditto.
243         * lex.c: Ditto.
244         * mangle.c: Ditto.
245         * name-lookup.c: Ditto.
246         * optimize.c: Ditto.
247         * parser.c: Ditto.
248         * pt.c: Ditto.
249         * ptree.c: Ditto.
250         * repo.c: Ditto.
251         * rtti.c: Ditto.
252         * search.c: Ditto.
253         * semantics.c: Ditto.
254         * tree.c: Ditto.
255         * typeck2.c: Ditto.
256         * typeck.c: Ditto.
258 2015-01-08  Jason Merrill  <jason@redhat.com>
260         * cp-gimplify.c (cp_genericize): Use do_ubsan_in_current_function.
261         * decl.c (compute_array_index_type): Likewise.
262         * init.c (build_vec_init): Likewise.
263         * typeck.c (cp_build_binary_op): Likewise.
265 2015-01-08  Jason Merrill  <jason@redhat.com>
267         * init.c (build_vec_init): Call ubsan_instrument_bounds to check
268         whether an initializer-list is too big for a VLA.
269         (throw_bad_array_length): Remove.
270         * cp-tree.h: Remove prototype.
272 2015-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
274         PR c++/60753
275         * decl.c (grokfndecl): Add bool parameter.
276         (grokdeclarator): Adjust calls.
277         (start_decl): Don't set DECL_DELETED_FN here.
279 2015-01-06  Jason Merrill  <jason@redhat.com>
281         * parser.c (cp_parser_nested_name_specifier_opt): Diagnose invalid
282         template-ids.
284         PR c++/64455
285         * pt.c (type_dependent_expression_p): Handle variable templates.
286         * constexpr.c (potential_constant_expression_1): Use it.
288         PR c++/64487
289         * semantics.c (finish_offsetof): Handle templates here.
290         * parser.c (cp_parser_builtin_offsetof): Not here.
292         PR c++/64496
293         * semantics.c (process_outer_var_ref): Diagnose lambda in local
294         class NSDMI.
296 2015-01-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
298         PR c++/64489
299         * class.c (check_field_decls): Make copy assignment operators
300         complex only in c++98 mode.
302 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
304         PR c++/31397
305         * class.c (check_for_override): Warn when a virtual function is an
306         override not marked override.
308 2015-01-05  Trevor Saunders  <tsaunders@mozilla.com>
310         * class.c (warn_hidden): Use auto_vec<tree> instead of tree_list to
311         hold base_fndecls.
312         (get_basefndecls): Adjust.
314 2015-01-05  Jakub Jelinek  <jakub@redhat.com>
316         Update copyright years.
318 2015-01-05  Marek Polacek  <polacek@redhat.com>
320         PR c/64423
321         * typeck.c (cp_build_array_ref): Pass loc down to
322         warn_array_subscript_with_type_char.
325 Copyright (C) 2015 Free Software Foundation, Inc.
327 Copying and distribution of this file, with or without modification,
328 are permitted in any medium without royalty provided the copyright
329 notice and this notice are preserved.