]>
Commit | Line | Data |
---|---|---|
cbe34bb5 JJ |
1 | 2016-12-24 Jakub Jelinek <jakub@redhat.com> |
2 | ||
3 | PR middle-end/78901 | |
4 | * except.c (nothrow_libfn_p): Expect libc_name_p to return | |
5 | const struct libc_name_struct *, if it returns NULL, return 0, | |
6 | otherwise check c_ver and use flag_isoc99 or flag_isoc11. | |
7 | * cfns.gperf: Add %struct-type and libc_name_struct definition. | |
8 | For all C89 C library functions add , 89 after the name, add | |
9 | C99 C library functions with , 99 and C11 C library functions | |
10 | with , 11 suffix. | |
11 | * cfns.h: Regenerated. | |
12 | ||
13 | 2016-12-22 Jason Merrill <jason@redhat.com> | |
14 | ||
15 | PR c++/78906 | |
16 | * pt.c (finish_template_variable): Use most_general_template. | |
17 | ||
18 | PR c++/78898 | |
19 | PR c++/42329 | |
20 | * pt.c (unify): Don't look for a class template from a non-class. | |
21 | ||
22 | 2016-12-21 Jakub Jelinek <jakub@redhat.com> | |
23 | ||
24 | PR c++/72707 | |
25 | * name-lookup.c (pushdecl_maybe_friend_1): Do check shadowing of | |
26 | artificial x if it is an anonymous union variable. | |
27 | ||
28 | PR bootstrap/78817 | |
29 | * typeck.c (cp_build_function_call_vec): If check_function_arguments | |
30 | returns true, set TREE_NO_WARNING on CALL_EXPR. | |
31 | * call.c (build_over_call): Likewise. | |
32 | ||
33 | PR c++/77830 | |
34 | * constexpr.c (cxx_eval_array_reference): Perform out of bounds | |
35 | verification even if lval is true, just allow one past the last | |
36 | element in that case. | |
37 | (cxx_eval_store_expression): Detect stores to out of bound | |
38 | ARRAY_REF. | |
39 | ||
40 | 2016-12-21 Jason Merrill <jason@redhat.com> | |
41 | ||
42 | Implement P0522R0, matching of template template arguments. | |
43 | * pt.c (coerce_template_template_parms): Allow a template argument | |
44 | that's less specialized than the parameter. | |
45 | (unify_bound_ttp_args): Adjust parm's args to apply to arg's | |
46 | template. | |
47 | (coerce_template_args_for_ttp): Split out from | |
48 | lookup_template_class_1. | |
49 | (coerce_ttp_args_for_tta, store_defaulted_ttp) | |
50 | (lookup_defaulted_ttp, add_defaults_to_ttp): New. | |
51 | (process_partial_specialization): Set DECL_CONTEXT of | |
52 | template template-parameters. | |
53 | (coerce_template_parms): Only inform when complain. | |
54 | (expand_template_argument_pack): Handle error_mark_node. | |
55 | (convert_template_argument, template_args_equal, unify): Handle | |
56 | any_targ_node. | |
57 | * cp-tree.h (enum cp_tree_index): Add CPTI_ANY_TARG. | |
58 | (any_targ_node): New. | |
59 | * decl.c (cxx_init_decl_processing): Set it. | |
60 | * name-lookup.c (consider_binding_level): Ignore names with embedded | |
61 | spaces. | |
62 | ||
63 | PR c++/42329 | |
64 | * pt.c (unify_bound_ttp_args): Split out from unify. | |
65 | (try_class_unification): Handle BOUND_TEMPLATE_TEMPLATE_PARM. | |
66 | (unify): Check for type/non-type mismatch early. | |
67 | [BOUND_TEMPLATE_TEMPLATE_PARM]: Try get_template_base. | |
68 | ||
69 | * pt.c (coerce_template_parms): Consider variadic_args_p before | |
70 | complaining about too many template arguments. | |
71 | ||
72 | * pt.c (process_partial_specialization): Use | |
73 | get_partial_spec_bindings to check that the partial specialization | |
74 | is more specialized than the primary template. | |
75 | ||
76 | * pt.c (convert_template_argument): Pass args to do_auto_deduction. | |
77 | (mark_template_parm): Handle deducibility from type of non-type | |
78 | argument here. | |
79 | (for_each_template_parm_r): Not here. | |
80 | ||
81 | * ptree.c (cxx_print_type): Print args of | |
82 | BOUND_TEMPLATE_TEMPLATE_PARM. | |
83 | (cxx_print_decl): Print DECL_TEMPLATE_PARMS. | |
84 | ||
85 | PR c++/78767 - ICE with inherited constructor default argument | |
86 | * method.c (strip_inheriting_ctors): Strip template as appropriate. | |
87 | ||
88 | PR c++/78749 - friend in anonymous namespace | |
89 | * decl.c (wrapup_globals_for_namespace): Don't complain about friend | |
90 | pseudo-template instantiations. | |
91 | ||
92 | 2016-12-16 Richard Biener <rguenther@suse.de> | |
93 | ||
94 | PR c++/71694 | |
95 | * cp-objcp-common.h (cp_unit_size_without_reusable_padding): Declare. | |
96 | (LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING): Define. | |
97 | * cp-objcp-common.c (cp_unit_size_without_reusable_padding): New. | |
98 | ||
99 | 2016-12-15 Jakub Jelinek <jakub@redhat.com> | |
100 | ||
101 | P0490R0 GB 20: decomposition declaration should commit to tuple | |
102 | interpretation early | |
103 | * decl.c (get_tuple_size): Make static. If inst is error_mark_node | |
104 | or non-complete type, return NULL_TREE, otherwise if | |
105 | lookup_qualified_name fails or doesn't fold into INTEGER_CST, return | |
106 | error_mark_node. | |
107 | (get_tuple_element_type, get_tuple_decomp_init): Make static. | |
108 | (cp_finish_decomp): Pass LOC to get_tuple_size. If it returns | |
109 | error_mark_node, complain and fail. | |
110 | ||
111 | 2016-12-15 Nathan Sidwell <nathan@acm.org> | |
112 | ||
113 | PR c++/77585 | |
114 | * pt.c (instantiate_decl): Push to class scope lambda resides | |
115 | within when instantiating a generic lambda function. | |
116 | ||
117 | 2016-12-14 Martin Sebor <msebor@redhat.com> | |
118 | ||
119 | PR c++/78774 | |
120 | * pt.c (convert_template_argument): Avoid assuming operand type | |
121 | is non-null since that of SCOPE_REF is not. | |
122 | ||
123 | 2016-12-14 Martin Jambor <mjambor@suse.cz> | |
124 | ||
125 | * parser.c: Include omp-general.h and omp-offload.h instead of | |
126 | omp-low.h. | |
127 | (cp_parser_omp_simd): Adjusted calls to find_omp_clause to use its new | |
128 | name. | |
129 | (cp_parser_omp_target_update): Likewise. | |
130 | (cp_parser_oacc_declare): Likewise. | |
131 | (cp_parser_oacc_enter_exit_data): Likewise. | |
132 | (cp_parser_oacc_update): Likewise. | |
133 | (cp_finalize_oacc_routine): Adjusted call to get_oacc_fn_attrib, | |
134 | build_oacc_routine_dims and replace_oacc_fn_attrib to use their new | |
135 | names. | |
136 | * semantics.c: Include omp-general insteda of omp-low.h. | |
137 | (finish_omp_for): Adjusted calls to find_omp_clause to use its new | |
138 | name. | |
139 | (finish_omp_cancel): Likewise. | |
140 | (finish_omp_cancellation_point): Likewise. | |
141 | ||
142 | 2016-12-14 Marek Polacek <polacek@redhat.com> | |
143 | ||
144 | PR c++/72775 | |
145 | * init.c (perform_member_init): Diagnose member initializer for | |
146 | flexible array member. | |
147 | ||
148 | 2016-12-14 Nathan Sidwell <nathan@acm.org> | |
149 | ||
150 | PR c++/78701 | |
151 | * pt.c (type_unification_real): Check tsubst arg doesn't have | |
152 | remaining template parms before converting it. | |
153 | ||
154 | PR c++/69481 | |
155 | * cp-tree.h (TYPE_TEMPLATE_INFO_MAYBE_ALIAS): Always use | |
156 | TYPE_ALIAS_TEMPLATE_INFO for aliases. | |
157 | ||
158 | 2016-12-13 Nathan Sidwell <nathan@acm.org> | |
159 | ||
160 | PR c++/69481 | |
161 | * cp-tree.h (TYPE_TEMPLATE_INFO): Remove alias type checking. | |
162 | (TYPE_ALIAS_TEMPLATE_INFO): New. | |
163 | (TYPE_TEMPLATE_INFO_MAYBE_ALIAS): New. Use those macros. | |
164 | * error.c (dump_alias_template_specialization): Adjust. | |
165 | * pt.c (maybe_process_partial_specialization, | |
166 | iterative_has_template_arg, find_parameter_packs_r, | |
167 | alias_template_specialization_p, dependent_alias_template_spec_p, | |
168 | get_underlying_template, lookup_template_class_1, unify): Adjust | |
169 | template using decl access. | |
170 | ||
171 | 2016-12-11 Paolo Carlini <paolo.carlini@oracle.com> | |
172 | ||
173 | PR c++/78637 | |
174 | * parser.c (cp_parser_namespace_definition): Increment | |
175 | nested_definition_count only if push_namespace succeeds. | |
176 | ||
177 | 2016-12-08 Nathan Sidwell <nathan@acm.org> | |
178 | ||
179 | PR c++/78551 | |
180 | * constexpr.c (extract_string_elt): New. Broken out of ... | |
181 | (cxx_eval_array_reference): ... here. Call it. | |
182 | (cxx_eval_store_expression): Convert init by STRING_CST into | |
183 | CONSTRUCTOR, if needed. | |
184 | ||
185 | 2016-12-08 Jakub Jelinek <jakub@redhat.com> | |
186 | ||
187 | P0003R5 - removal of dynamic exception specification from C++17 | |
188 | * parser.c (cp_parser_exception_specification_opt): For C++17 | |
189 | error out on throw ( type-id-list ), for C++11 and C++14 issue | |
190 | -Wdeprecated warning on it. Formatting fix. Treat throw() | |
191 | in C++17 as noexcept(true). | |
192 | ||
193 | 2016-12-07 Martin Jambor <mjambor@suse.cz> | |
194 | ||
195 | PR c++/78589 | |
196 | * error.c (dump_decl): Use dump_function_name to dump | |
197 | !DECL_LANG_SPECIFIC function decls with no or self-referencing | |
198 | abstract origin. | |
199 | ||
200 | 2016-12-07 Nathan Sidwell <nathan@acm.org> | |
201 | ||
202 | * pt.c (tsubst <{NON,}TYPE_ARGUMENT_PACK>: Simplify control flow | |
203 | and avoid re-tsubsting type. | |
204 | ||
205 | * cp-tree.h (enum cp_tree_index): Add CPTI_AUTO_IDENTIFIER & | |
206 | CPTI_DECLTYPE_AUTO_IDENTIFIER. | |
207 | (auto_identifier, decltype_auto_identifier): New. | |
208 | *decl.c (initialize_predefined_identifiers): Add 'auto' and | |
209 | 'decltype(auto)'. | |
210 | (grokdeclarator): Use cached identifier. | |
211 | * pt.c (make_decltype_auto, make_auto, make_constrained_auto, | |
212 | is_auto): Likewise. | |
213 | ||
214 | 2016-12-02 Jakub Jelinek <jakub@redhat.com> | |
215 | ||
216 | PR c++/78649 | |
217 | * pt.c (tsubst_init): Don't call build_value_init if decl's type | |
218 | is error_mark_node. | |
219 | ||
220 | 2016-12-02 Cesar Philippidis <cesar@codesourcery.com> | |
221 | James Norris <jnorris@codesourcery.com> | |
222 | ||
223 | * parser.c (cp_parser_oacc_enter_exit_data): Update diagnostics. | |
224 | (cp_parser_pragma): Error when PRAGMA_OACC_{ENTER_DATA, | |
225 | EXIT_DATA,WAIT} are not used in compound statements. | |
226 | ||
227 | 2016-12-01 Jason Merrill <jason@redhat.com> | |
228 | ||
229 | * call.c (add_function_candidate): Also exclude inherited ctors | |
230 | that take a type reference-related to the derived class. | |
231 | ||
232 | * call.c (add_function_candidate): Exclude inherited copy/move | |
233 | ctors. | |
234 | ||
235 | 2016-11-29 David Malcolm <dmalcolm@redhat.com> | |
236 | ||
237 | PR c++/77922 | |
238 | * name-lookup.c (lookup_name_fuzzy): Filter out reserved words | |
239 | that were filtered out by init_reswords. | |
240 | ||
241 | 2016-11-28 Jakub Jelinek <jakub@redhat.com> | |
242 | Jason Merrill <jason@redhat.com> | |
243 | ||
244 | PR c++/72808 | |
245 | * decl.c (finish_enum_value_list): Call fixup_type_variants on | |
246 | current_class_type after | |
247 | insert_late_enum_def_into_classtype_sorted_fields. | |
248 | ||
249 | 2016-11-28 Jakub Jelinek <jakub@redhat.com> | |
250 | ||
251 | PR c++/77591 | |
252 | * typeck.c (maybe_warn_about_returning_address_of_local): Optimize | |
253 | whats_returned through fold_for_warn. | |
254 | ||
255 | 2016-11-27 Jason Merrill <jason@redhat.com> | |
256 | ||
257 | PR c++/77907 | |
258 | * constexpr.c (cxx_eval_constant_expression): Use cp_fold_convert. | |
259 | ||
260 | 2016-11-24 Martin Liska <mliska@suse.cz> | |
261 | ||
262 | PR bootstrap/78493 | |
263 | * parser.c (cp_parser_range_for): Use safe_push instead of quick_push. | |
264 | ||
265 | 2016-11-23 Jakub Jelinek <jakub@redhat.com> | |
266 | ||
267 | PR c++/77907 | |
268 | * cp-gimplify.c (cp_fold) <case CALL_EXPR>: When calling constructor | |
269 | and maybe_constant_value returns non-CALL_EXPR, create INIT_EXPR | |
270 | with the object on lhs and maybe_constant_value returned expr on rhs. | |
271 | ||
272 | PR c++/71450 | |
273 | * pt.c (tsubst_copy): Return error_mark_node when mark_used | |
274 | fails, even when complain & tf_error. | |
275 | ||
276 | PR c++/77739 | |
277 | * cp-gimplify.c (cp_gimplify_tree) <case VEC_INIT_EXPR>: Pass | |
278 | false as handle_invisiref_parm_p to cp_genericize_tree. | |
279 | (struct cp_genericize_data): Add handle_invisiref_parm_p field. | |
280 | (cp_genericize_r): Don't wrap is_invisiref_parm into references | |
281 | if !wtd->handle_invisiref_parm_p. | |
282 | (cp_genericize_tree): Add handle_invisiref_parm_p argument, | |
283 | set wtd.handle_invisiref_parm_p to it. | |
284 | (cp_genericize): Pass true as handle_invisiref_parm_p to | |
285 | cp_genericize_tree. Formatting fix. | |
286 | ||
287 | 2016-11-21 Bernd Edlinger <bernd.edlinger@hotmail.de> | |
288 | ||
289 | PR c++/71973 | |
290 | * decl.c (duplicate_decls): Warn when a built-in function is redefined. | |
291 | Don't overload builtin functions with C++ functions. | |
292 | Handle const_tm_ptr_type_node like file_ptr_node. | |
293 | Copy the TREE_NOTHROW flag unmodified to the old decl. | |
294 | ||
295 | 2016-11-18 Jason Merrill <jason@redhat.com> | |
296 | ||
297 | PR objc++/78418 - ICE in string tests on darwin | |
298 | * tree.c (lvalue_kind): Guard DECL_HAS_VALUE_EXPR_P. | |
299 | ||
300 | 2016-11-18 Jakub Jelinek <jakub@redhat.com> | |
301 | ||
302 | PR c++/77285 | |
303 | * mangle.c (mangle_tls_init_fn, mangle_tls_wrapper_fn): Call | |
304 | check_abi_tags. | |
305 | ||
306 | 2016-11-18 Jason Merrill <jason@redhat.com> | |
307 | ||
308 | PR c++/67631 - list-init and explicit conversions | |
309 | * semantics.c (finish_compound_literal): Call digest_init_flags. | |
310 | * typeck2.c (digest_init_flags): Add complain parm. | |
311 | (store_init_value): Pass it. | |
312 | ||
313 | 2016-11-18 Richard Sandiford <richard.sandiford@arm.com> | |
314 | Alan Hayward <alan.hayward@arm.com> | |
315 | David Sherwood <david.sherwood@arm.com> | |
316 | ||
317 | * class.c (finish_struct_bits): Use SET_DECL_MODE. | |
318 | (build_base_field_1, layout_class_type, finish_struct_1): Likewise. | |
319 | * decl.c (make_label_decl): Likewise. | |
320 | * pt.c (tsubst_decl): Likewise. | |
321 | ||
322 | 2016-11-17 Jason Merrill <jason@redhat.com> | |
323 | ||
324 | PR c++/78193 - inherited ctor regressions on sparc32. | |
325 | * call.c (build_over_call): Don't set CALL_FROM_THUNK_P here. | |
326 | (build_call_a): Set it here, and don't insert EMPTY_CLASS_EXPR. | |
327 | (convert_like_real) [ck_rvalue]: Also pass non-addressable | |
328 | types along directly. | |
329 | ||
330 | 2016-11-17 Paolo Carlini <paolo.carlini@oracle.com> | |
331 | ||
332 | PR c++/55080 | |
333 | * parser.c (cp_parser_non_integral_constant_expression): Issue a | |
334 | pedwarn instead of an error for case NIC_FLOAT. | |
335 | ||
336 | 2016-11-17 Jason Merrill <jason@redhat.com> | |
337 | ||
338 | PR c++/78124 - list-initialization and inherited ctor | |
339 | * name-lookup.c (do_class_using_decl): Set CLASSTYPE_NON_AGGREGATE. | |
340 | ||
341 | PR c++/78369 - {} as default argument | |
342 | * call.c (build_special_member_call): Handle CONSTRUCTOR. | |
343 | ||
344 | PR c++/68377 | |
345 | * parser.c (cp_parser_fold_expression): Check TREE_NO_WARNING. | |
346 | ||
347 | 2016-11-16 Jason Merrill <jason@redhat.com> | |
348 | ||
349 | PR c++/78373 | |
350 | * decl.c (cp_finish_decl): Don't set TREE_CONSTANT on a reference. | |
351 | * typeck2.c (store_init_value): Likewise. | |
352 | ||
353 | * decl.c (store_decomp_type, lookup_decomp_type): New. | |
354 | (cp_finish_decomp): Call store_decomp_type. | |
355 | * semantics.c (finish_decltype_type): Call lookup_decomp_type. | |
356 | * cp-tree.h: Declare lookup_decomp_type. | |
357 | ||
358 | 2016-11-15 Jakub Jelinek <jakub@redhat.com> | |
359 | ||
360 | * decl.c (cp_finish_decomp): For DECL_NAMESPACE_SCOPE_P decl, | |
361 | set DECL_ASSEMBLER_NAME. | |
362 | * parser.c (cp_parser_decomposition_declaration): Likewise | |
363 | if returning error_mark_node. | |
364 | * mangle.c (mangle_decomp): New function. | |
365 | * cp-tree.h (mangle_decomp): New declaration. | |
366 | ||
367 | 2016-11-15 Jason Merrill <jason@redhat.com> | |
368 | ||
369 | PR c++/78358 | |
370 | * semantics.c (finish_decltype_type): Strip references for a tuple | |
371 | decomposition. | |
372 | * cp-tree.h (DECL_DECOMPOSITION_P): False for non-variables. | |
373 | ||
374 | * decl2.c (decl_maybe_constant_var_p): References qualify. | |
375 | * constexpr.c (non_const_var_error): Handle references. | |
376 | * init.c (constant_value_1): Always check decl_constant_var_p. | |
377 | * cp-gimplify.c (cp_fold_maybe_rvalue): Don't fold references. | |
378 | * error.c (dump_decl_name): Split out from dump_decl. | |
379 | ||
380 | 2016-11-14 Jason Merrill <jason@redhat.com> | |
381 | ||
382 | * tree.c (bitfield_p): New. | |
383 | * cp-tree.h: Declare it. | |
384 | * typeck.c (cxx_sizeof_expr, cxx_alignof_expr) | |
385 | (cp_build_addr_expr_1): Use it instead of DECL_C_BIT_FIELD. | |
386 | * decl.c (cp_finish_decomp): Look through reference. Always | |
387 | SET_DECL_DECOMPOSITION_P. | |
388 | * semantics.c (finish_decltype_type): Adjust decomposition handling. | |
389 | ||
390 | 2016-11-13 Jakub Jelinek <jakub@redhat.com> | |
391 | Jason Merrill <jason@redhat.com> | |
392 | ||
393 | Implement P0217R3 - C++17 structured bindings | |
394 | * cp-tree.h (struct lang_decl_base): Add decomposition_p. | |
395 | (DECL_DECOMPOSITION_P): New | |
396 | (enum auto_deduction_context): Add adc_decomp_type. | |
397 | (enum cp_declarator_kind): Add cdk_decomp. | |
398 | * constexpr.c (cxx_eval_constant_expression): Look through | |
399 | DECL_VALUE_EXPR. | |
400 | (potential_constant_expression_1): Likewise. | |
401 | * decl.c (reshape_init): Preserve CONSTRUCTOR_IS_DIRECT_INIT. | |
402 | (check_initializer): Use build_aggr_init for DECL_DECOMPOSITION_P. | |
403 | (cp_finish_decl): Pass adc_decomp_type for decomposition. | |
404 | (find_decomp_class_base, get_tuple_size, get_tuple_element_type) | |
405 | (get_tuple_decomp_init, cp_finish_decomp): New. | |
406 | (grokdeclarator): Handle decomposition. | |
407 | * init.c (build_aggr_init): Handle decomposition array. | |
408 | (build_vec_init): Handle initialization from { array }. | |
409 | * name-lookup.c (add_function): Always wrap TEMPLATE_DECL in | |
410 | OVERLOAD. | |
411 | * parser.c (declarator_can_be_parameter_pack): Handle cdk_decomp. | |
412 | (function_declarator_p, strip_declarator_types) | |
413 | (cp_parser_check_declarator_template_parameters): Likewise. | |
414 | (cp_parser_range_for, cp_convert_range_for): Handle decomposition. | |
415 | (cp_parser_simple_declaration): Parse decomposition. | |
416 | (cp_parser_decomposition_declaration): New. | |
417 | * pt.c (tsubst_decomp_names): New. | |
418 | (subst_expr) [DECL_EXPR, RANGE_FOR_STMT]: Handle decomposition. | |
419 | (do_auto_deduction): Handle adc_decomp_type. | |
420 | * semantics.c (finish_decltype_type): Look through DECL_VALUE_EXPR. | |
421 | * typeck.c (is_bitfield_expr_with_lowered_type): Likewise. | |
422 | * tree.c (lvalue_kind): Likewise. | |
423 | (cp_build_reference_type): Handle reference collapsing. | |
424 | ||
425 | 2016-11-13 Jason Merrill <jason@redhat.com> | |
426 | ||
427 | * call.c (build_new_method_call_1): Include template arguments in | |
428 | error message. | |
429 | (print_error_for_call_failure): Likewise. | |
430 | (build_new_function_call): Pass them in. | |
431 | * name-lookup.c (supplement_binding_1): Don't complain about a | |
432 | conflict with an erroneous declaration. | |
433 | * error.c (dump_decl): Fix printing of alias declaration. | |
434 | * decl.c (make_typename_type): Call cxx_incomplete_type_error. | |
435 | * parser.c (cp_parser_diagnose_invalid_type_name): Likewise. | |
436 | * semantics.c (perform_koenig_lookup): Don't wrap an error in | |
437 | TEMPLATE_ID_EXPR. | |
438 | ||
439 | 2016-11-13 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> | |
440 | ||
441 | PR c/35503 | |
442 | * parser.c (cp_parser_postfix_pexpression): Call warn_for_restrict. | |
443 | ||
444 | 2016-11-12 Jason Merrill <jason@redhat.com> | |
445 | ||
446 | CWG 2233 | |
447 | * typeck.c (convert_arguments): Handle default arg followed by none. | |
448 | ||
449 | * constexpr.c (potential_constant_expression_1): REALPART_EXPR and | |
450 | IMAGPART_EXPR can be lvalues. | |
451 | ||
452 | DR 374 | |
453 | PR c++/56480 | |
454 | * pt.c (check_specialization_namespace): Allow any enclosing | |
455 | namespace. | |
456 | (check_unqualified_spec_or_inst): New. | |
457 | (check_explicit_specialization): Call it. | |
458 | * parser.c (cp_parser_elaborated_type_specifier) | |
459 | (cp_parser_class_head): Call it. | |
460 | ||
461 | 2016-11-10 Jason Merrill <jason@redhat.com> | |
462 | ||
463 | PR c++/77337 | |
464 | * pt.c (tsubst_friend_function): Don't set DECL_INITIAL. | |
465 | (instantiate_decl): It's OK to defer a constexpr function. | |
466 | * cp-tree.h (DECL_FRIEND_PSEUDO_TEMPLATE_INSTANTIATION): Check | |
467 | DECL_LANG_SPECIFIC. | |
468 | * decl2.c (decl_defined_p): Use it. No longer static. | |
469 | * decl.c (redeclaration_error_message): Use decl_defined_p. | |
470 | * constexpr.c (cxx_eval_call_expression): Set input_location around | |
471 | call to instantiate_decl. | |
472 | ||
473 | 2016-11-10 Jakub Jelinek <jakub@redhat.com> | |
474 | ||
475 | * mangle.c (mangle_decl): Only emit -Wc++1z-compat warnings for | |
476 | public or external symbols. | |
477 | ||
478 | 2016-11-09 Jakub Jelinek <jakub@redhat.com> | |
479 | ||
480 | PR c++/78283 | |
481 | * mangle.c (start_mangling): Reset G.need_cxx1z_warning. | |
482 | ||
483 | 2016-11-09 Jason Merrill <jason@redhat.com> | |
484 | ||
485 | * parser.c (cp_parser_simple_type_specifier): Allow placeholder | |
486 | for template template parameter. | |
487 | (cp_parser_type_id_1): Improve diagnostic. | |
488 | * decl.c (grokdeclarator): Handle class deduction diagnostics here. | |
489 | * pt.c (splice_late_return_type): Not here. | |
490 | (tsubst) [TEMPLATE_TYPE_PARM]: Substitute into placeholder template. | |
491 | (do_class_deduction): Handle non-class templates. | |
492 | ||
493 | Implement P0127R2, Declaring non-type parameters with auto. | |
494 | * cp-tree.h (enum auto_deduction_context): Add adc_unify. | |
495 | * decl.c (grokdeclarator): Allow 'auto' in C++17 template non-type | |
496 | parameter types. | |
497 | * pt.c (do_auto_deduction): Add outer_targs parameter. | |
498 | (convert_template_argument): Call do_auto_deduction. If adc_unify, | |
499 | don't give up on dependent init. | |
500 | (unify): Likewise. In C++17, walk into the type of a | |
501 | TEMPLATE_PARM_INDEX. | |
502 | (for_each_template_parm): Add any_fn parameter. | |
503 | (struct pair_fn_data): Likewise. | |
504 | (for_each_template_parm_r): Call it for any tree. In C++17, walk | |
505 | into the type of a TEMPLATE_PARM_INDEX. | |
506 | (zero_r, array_deduction_r, try_array_deduction): New. | |
507 | (type_unification_real): Call try_array_deduction. | |
508 | (get_partial_spec_bindings): Likewise. | |
509 | ||
510 | 2016-11-07 Jason Merrill <jason@redhat.com> | |
511 | ||
512 | Implement P0012R1, Make exception specifications part of the type | |
513 | system. | |
514 | * cp-tree.h (enum tsubst_flags): Add tf_fndecl_type. | |
515 | (flag_noexcept_type, ce_type): New. | |
516 | * call.c (build_conv): Add ck_fnptr. | |
517 | (enum conversion_kind): Change ck_tsafe to ck_fnptr. | |
518 | (convert_like_real): Likewise. | |
519 | (standard_conversion): Likewise. Allow function pointer | |
520 | conversions for pointers to member functions. | |
521 | (reference_compatible_p): Allow function pointer conversions. | |
522 | (direct_reference_binding): Likewise. | |
523 | (reference_binding): Reference-compatible is no longer a subset of | |
524 | reference-related. | |
525 | (is_subseq): Also strip ck_lvalue after next_conversion. | |
526 | * class.c (instantiate_type): Check fnptr_conv_p. | |
527 | (resolve_address_of_overloaded_function): Likewise. | |
528 | * cvt.c (can_convert_tx_safety): Now static. | |
529 | (noexcept_conv_p, fnptr_conv_p, strip_fnptr_conv): New. | |
530 | * decl.c (flag_noexcept_type): Define. | |
531 | (cxx_init_decl_processing): Set it. | |
532 | (bad_specifiers): Check it. | |
533 | (grokdeclarator) [cdk_function]: Add exception-spec to type here. | |
534 | * lambda.c (maybe_add_lambda_conv_op): Add exception-spec to | |
535 | returned pointer. | |
536 | * mangle.c (struct globals): Add need_cxx1z_warning. | |
537 | (mangle_decl): Check it. | |
538 | (write_exception_spec): New. | |
539 | (write_function_type): Call it. | |
540 | (canonicalize_for_substitution): Handle exception spec. | |
541 | (write_type): Likewise. | |
542 | (write_encoding): Set processing_template_decl across mangling of | |
543 | partially-instantiated type. | |
544 | * pt.c (determine_specialization): Pass tf_fndecl_type. | |
545 | (tsubst_decl, fn_type_unification): Likewise. | |
546 | (tsubst): Strip tf_fndecl_type, pass it to | |
547 | tsubst_exception_specification. | |
548 | (convert_nontype_argument_function): Handle function pointer | |
549 | conversion. | |
550 | (convert_nontype_argument): Likewise. | |
551 | (unify, for_each_template_parm_r): Walk into noexcept-specifier. | |
552 | * rtti.c (ptr_initializer): Encode noexcept. | |
553 | * tree.c (canonical_eh_spec): New. | |
554 | (build_exception_variant): Use it. | |
555 | * typeck.c (composite_pointer_type): Handle fnptr conversion. | |
556 | (comp_except_specs): Compare canonical EH specs. | |
557 | (structural_comptypes): Call it. | |
558 | ||
559 | * call.c (standard_conversion): Reorganize pointer conversions. | |
560 | * pt.c (convert_nontype_argument_function): Convert to ref here. | |
561 | (convert_nontype_argument): Not here. | |
562 | (convert_template_argument): Add original type to error message. | |
563 | (RECUR_AND_CHECK_FAILURE): Remove trailing semicolon. | |
564 | (unify): Compare function-qualifiers. | |
565 | * typeck.c (same_type_ignoring_top_level_qualifiers_p): Use | |
566 | cp_build_qualified_type rather than TYPE_MAIN_VARIANT. | |
567 | ||
568 | * pt.c (push_tinst_level_loc): Add template instantiations to the | |
569 | announce_function stream. | |
570 | ||
571 | 2016-11-04 Paolo Carlini <paolo.carlini@oracle.com> | |
572 | ||
573 | PR c++/67980 | |
574 | * pt.c (tsubst_expr, case IF_STMT): Use fold_non_dependent_expr | |
575 | to suppress unwanted warnings. | |
576 | ||
577 | 2016-11-03 Jason Merrill <jason@redhat.com> | |
578 | ||
579 | PR c++/78198 | |
580 | * call.c (convert_default_arg): Look through inheriting ctors. | |
581 | ||
582 | 2016-11-03 Jakub Jelinek <jakub@redhat.com> | |
583 | Alexandre Oliva <aoliva@redhat.com> | |
584 | Jason Merrill <jason@redhat.com> | |
585 | ||
586 | PR debug/28767 | |
587 | PR debug/56974 | |
588 | * tree.c (cp_check_qualified_type): Use check_base_type and | |
589 | TYPE_QUALS comparison instead of check_qualified_type. | |
590 | (cxx_type_hash_eq): Return false if type_memfn_rqual don't match. | |
591 | * cp-objcp-common.c (cp_get_debug_type): New function. | |
592 | (cp_decl_dwarf_attribute): Don't handle types here. | |
593 | (cp_type_dwarf_attribute): New function. | |
594 | * cp-objcp-common.h (cp_get_debug_type, cp_type_dwarf_attribute): | |
595 | Declare. | |
596 | (LANG_HOOKS_GET_DEBUG_TYPE, LANG_HOOKS_TYPE_DWARF_ATTRIBUTE): | |
597 | Define. | |
598 | ||
599 | 2016-11-03 Jason Merrill <jason@redhat.com> | |
600 | ||
601 | * tree.c (cp_check_qualified_type): Call check_base_type instead | |
602 | of check_qualified_type. | |
603 | (cxx_type_hash_eq): Check ref-qualifiers. | |
604 | * typeck.c (apply_memfn_quals): No need to mess with TYPE_CANONICAL. | |
605 | ||
606 | 2016-11-01 Jason Merrill <jason@redhat.com> | |
607 | ||
608 | Implement P0136R1, Rewording inheriting constructors. | |
609 | * call.c (enum rejection_reason_code): Add rr_inherited_ctor. | |
610 | (inherited_ctor_rejection): New. | |
611 | (add_function_candidate): Reject inherited ctors for copying. | |
612 | (enforce_access): Use strip_inheriting_ctors. | |
613 | (print_z_candidate): Likewise. Handle rr_inherited_ctor. | |
614 | (convert_like_real): Avoid copying inheriting ctor parameters. | |
615 | (build_over_call): Likewise. A base ctor inheriting from vbase | |
616 | has no parms. Sorry about varargs. | |
617 | (joust): A local constructor beats inherited with the same convs. | |
618 | * class.c (add_method): Handle hiding inheriting ctors. | |
619 | (one_inherited_ctor): Handle new semantics. | |
620 | (add_implicitly_declared_members): Pass using_decl down. | |
621 | (build_clone): A base ctor inheriting from vbase has no parms. | |
622 | * cp-tree.h (DECL_INHERITED_CTOR): Store this instead of the base. | |
623 | (SET_DECL_INHERITED_CTOR): Likewise. | |
624 | (DECL_INHERITED_CTOR_BASE): Adjust. | |
625 | * constexpr.c: Adjust. | |
626 | * error.c (dump_function_decl): Decorate inheriting ctors. | |
627 | * init.c (emit_mem_initializers): Suppress access control in | |
628 | inheriting ctor. | |
629 | * mangle.c (write_special_name_constructor): Handle new inheriting | |
630 | ctor mangling. | |
631 | * method.c (strip_inheriting_ctors, inherited_ctor_binfo) | |
632 | (ctor_omit_inherited_parms, binfo_inherited_from): New. | |
633 | (synthesized_method_walk): Use binfo_inherited_from. Suppress | |
634 | access control in inheriting ctor. | |
635 | (deduce_inheriting_ctor): Deleted if ambiguous ctor inheritance. | |
636 | (maybe_explain_implicit_delete): Explain ambigous ctor inheritance. | |
637 | (add_one_base_init, do_build_copy_constructor): Adjust. | |
638 | (locate_fn_flags, explain_implicit_non_constexpr): Adjust. | |
639 | (implicitly_declare_fn): Adjust. | |
640 | (get_inherited_ctor): Remove. | |
641 | * name-lookup.c (do_class_using_decl): Check for indirect ctor | |
642 | inheritance. | |
643 | * optimize.c (cdtor_comdat_group): Adjust for new mangling. | |
644 | (maybe_clone_body): Handle omitted parms in base clone. | |
645 | (maybe_thunk_body): Don't thunk if base clone omits parms. | |
646 | * pt.c (tsubst_decl): Adjust. | |
647 | (instantiate_template_1): Suppress access control in inheriting | |
648 | ctor. | |
649 | (fn_type_unification): Do deduction with inherited ctor. | |
650 | * tree.c (special_function_p): Adjust. | |
651 | ||
652 | 2016-11-01 Jakub Jelinek <jakub@redhat.com> | |
653 | ||
654 | * cp-objcp-common.c (cp_decl_dwarf_attribute): Handle DW_AT_inline. | |
655 | ||
656 | 2016-11-01 Jason Merrill <jason@redhat.com> | |
657 | ||
658 | * class.c (declared_access): Split out from handle_using_decl. | |
659 | ||
660 | 2016-10-31 Jakub Jelinek <jakub@redhat.com> | |
661 | ||
662 | PR c++/78089 | |
663 | * parser.c (cp_parser_postfix_expression): Replace return statement in | |
664 | the first switch with setting postfix_expression to the return | |
665 | expression and break;. | |
666 | ||
667 | PR c++/77886 | |
668 | * pt.c (tsubst_expr) <case CASE_LABEL_EXPR> Copy over | |
669 | FALLTHROUGH_LABEL_P flag to the new LABEL_DECL. | |
670 | (tsubst_expr) <case LABEL_EXPR>: Likewise. | |
671 | ||
672 | 2016-09-11 Le-Chun Wu <lcwu@google.com> | |
673 | Mark Wielaard <mjw@redhat.com> | |
674 | ||
675 | * name-lookup.c (pushdecl_maybe_friend): When emitting a | |
676 | shadowing warning, use the code corresponding to the | |
677 | given -Wshadow= variant. | |
678 | ||
679 | 2016-10-26 Jason Merrill <jason@redhat.com> | |
680 | ||
681 | * class.c (add_method): Allow using-declarations to coexist. | |
682 | ||
683 | 2016-10-25 Jason Merrill <jason@redhat.com> | |
684 | ||
685 | * constexpr.c (maybe_constant_init): Pull out TARGET_EXPR_INITIAL. | |
686 | (cxx_eval_outermost_constant_expr): Don't return a CONSTRUCTOR | |
687 | with CONSTRUCTOR_NO_IMPLICIT_ZERO. | |
688 | (cxx_eval_call_expression): Clear CONSTRUCTOR_NO_IMPLICIT_ZERO. | |
689 | ||
690 | 2016-10-25 Jakub Jelinek <jakub@redhat.com> | |
691 | ||
692 | * parser.c (cp_parser_postfix_expression): Adding missing break;. | |
693 | ||
694 | * cp-tree.h (finish_builtin_launder): Declare. | |
695 | * parser.c (cp_parser_postfix_expression): Handle RID_BUILTIN_LAUNDER. | |
696 | * semantics.c (finish_builtin_launder): New function. | |
697 | * pt.c (tsubst_copy_and_build): Handle instantiation of IFN_LAUNDER. | |
698 | * constexpr.c (cxx_eval_internal_function): Handle IFN_LAUNDER. | |
699 | (potential_constant_expression_1): Likewise. | |
700 | ||
701 | 2016-10-24 Jakub Jelinek <jakub@redhat.com> | |
702 | ||
703 | * cp-objcp-common.c (cp_decl_dwarf_attribute): Handle DW_AT_reference | |
704 | and DW_AT_rvalue_reference. | |
705 | ||
706 | * cxx-pretty-print.c (pp_cxx_check_constraint): Use VAR_P (x) | |
707 | instead of TREE_CODE (x) == VAR_DECL. | |
708 | * constraint.cc (get_concept_definition): Likewise. | |
709 | (finish_shorthand_constraint): Likewise. | |
710 | * init.c (warn_placement_new_too_small): Likewise. | |
711 | * cp-gimplify.c (cp_genericize_r): Likewise. | |
712 | ||
713 | 2016-10-21 Jason Merrill <jason@redhat.com> | |
714 | ||
715 | PR c++/77656 | |
716 | * pt.c (convert_template_argument): Call convert_nontype_argument | |
717 | on value-dependent but not type-dependent arguments. | |
718 | (convert_nontype_argument): Handle value-dependent arguments. | |
719 | (canonicalize_expr_argument): New. | |
720 | (deducible_expression, unify): Skip CONVERT_EXPR. | |
721 | * error.c (dump_template_argument): Likewise. | |
722 | * mangle.c (write_expression): Likewise. | |
723 | ||
724 | * ptree.c (cxx_print_xnode) [TEMPLATE_PARM_INDEX]: Dump the decl. | |
725 | ||
726 | 2016-10-21 Jakub Jelinek <jakub@redhat.com> | |
727 | ||
728 | * cp-objcp-common.c (cp_decl_dwarf_attribute): Handle | |
729 | DW_AT_const_expr. | |
730 | ||
731 | 2016-10-17 Jakub Jelinek <jakub@redhat.com> | |
732 | ||
733 | * cp-objcp-common.h (cp_function_decl_explicit_p, | |
734 | cp_function_decl_deleted_p, cp_function_decl_defaulted): Remove. | |
735 | (cp_decl_dwarf_attribute): Declare. | |
736 | (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P, | |
737 | LANG_HOOKS_FUNCTION_DECL_DELETED_P, | |
738 | LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Remove. | |
739 | (LANG_HOOKS_DECL_DWARF_ATTRIBUTE): Redefine. | |
740 | * cp-objcp-common.c (cp_function_decl_explicit_p, | |
741 | cp_function_decl_deleted_p, cp_function_decl_defaulted): Remove. | |
742 | (cp_decl_dwarf_attribute): New function. | |
743 | ||
744 | 2016-10-15 Jason Merrill <jason@redhat.com> | |
745 | ||
746 | PR c++/77945 | |
747 | * constexpr.c (maybe_simplify_trivial_copy): New. | |
748 | (cxx_eval_store_expression): Call it. | |
749 | * call.c (build_over_call): Use unsigned char for trivial copy. | |
750 | ||
751 | 2016-10-14 Jason Merrill <jason@redhat.com> | |
752 | ||
753 | Implement P0017R1, C++17 aggregates with bases. | |
754 | * class.c (build_base_field_1): Split out from... | |
755 | (build_base_field): ...here. In C++17 mode, build a field for | |
756 | empty bases. | |
757 | * decl.c (xref_basetypes): In C++17 aggregates can have bases. | |
758 | (next_initializable_field): Allow base fields in C++17. | |
759 | * typeck2.c (process_init_constructor_record): Likewise. | |
760 | ||
761 | 2016-10-14 Jakub Jelinek <jakub@redhat.com> | |
762 | ||
763 | DR 1511 - const volatile variables and ODR | |
764 | * decl.c (grokvardecl): Change flags argument to type_quals, | |
765 | add conceptp argument. Set TREE_PUBLIC for non-static volatile vars. | |
766 | (grokdeclarator): Adjust grokvardecl caller. | |
767 | ||
768 | 2016-10-13 Martin Sebor <msebor@redhat.com> | |
769 | ||
770 | PR c++/71912 | |
771 | * class.c (struct flexmems_t): Add members. | |
772 | (find_flexarrays): Add arguments. Correct handling of anonymous | |
773 | structs. | |
774 | (diagnose_flexarrays): Adjust to issue warnings in addition to errors. | |
775 | (check_flexarrays): Add argument. | |
776 | (diagnose_invalid_flexarray): New functions. | |
777 | ||
778 | 2016-10-13 Jakub Jelinek <jakub@redhat.com> | |
779 | Jason Merrill <jason@redhat.com> | |
780 | ||
781 | Implement P0386R2 - C++17 inline variables | |
782 | * cp-tree.h (struct lang_type): Shrink language field to 1 bit | |
783 | from 4. Add var_declared_inline_p field. Mention 2 spare bits. | |
784 | (DECL_VAR_DECLARED_INLINE_P): Define. | |
785 | (SET_DECL_VAR_DECLARED_INLINE_P): Define. | |
786 | (DECL_INLINE_VAR_P): Define. | |
787 | (diagnose_inline_vars_for_namespace): Declare. | |
788 | * decl.c (diagnose_inline_vars_for_namespace): New function. | |
789 | (duplicate_decls): For static data members copy | |
790 | DECL_DECLARED_CONSTEXPR_P. | |
791 | (redeclaration_error_message): Handle C++17 redundant redeclaration | |
792 | of constexpr static data member outside of class. | |
793 | (maybe_commonize_var): Handle inline variables. | |
794 | (check_initializer): Ignore inline variables for diagnostics. | |
795 | Adjust diagnostic wording for C++17. | |
796 | (make_rtl_for_nonlocal_decl): Allow in-class definition of | |
797 | inline static data members. | |
798 | (bad_specifiers): Don't diagnose inline on variables here. | |
799 | (grokvardecl): Add inlinep argument, non-static const inline variables | |
800 | are TREE_PUBLIC. | |
801 | (check_static_variable_definition): Return early also for inline | |
802 | variables. | |
803 | (mark_inline_variable): New. | |
804 | (grokdeclarator): Handle inline variables and inline static data | |
805 | members. | |
806 | * typeck2.c (store_init_value): Don't diagnose non-constant | |
807 | initializers for non-constexpr inline static data members. | |
808 | * decl2.c (vague_linkage_p): Return true for inline variables. | |
809 | (c_parse_final_cleanups): In-class declaration of inline static | |
810 | data members is a definition. Call diagnose_inline_vars_for_namespace | |
811 | through walk_namespaces. | |
812 | * pt.c (instantiate_decl): Set pattern_defined for in-class definitions | |
813 | of inline static data members. | |
814 | ||
815 | 2016-10-13 Jason Merrill <jason@redhat.com> | |
816 | ||
817 | * decl.c (mark_inline_variable): New. | |
818 | ||
819 | >>>>>>> .r241142 | |
820 | 2016-10-13 Thomas Preud'homme <thomas.preudhomme@arm.com> | |
821 | ||
822 | * decl2.c: Include memmodel.h. | |
823 | * rtti.c: Likewise. | |
824 | ||
825 | 2016-10-11 Jason Merrill <jason@redhat.com> | |
826 | ||
827 | PR c++/77742 | |
828 | * init.c (build_new_1): Don't -Waligned-new about placement new. | |
829 | (malloc_alignment): New. Consider MALLOC_ABI_ALIGNMENT. | |
830 | * decl.c (cxx_init_decl_processing): New. | |
831 | ||
832 | 2016-10-10 Jason Merrill <jason@redhat.com> | |
833 | ||
834 | PR c++/77890 | |
835 | PR c++/77912 | |
836 | * pt.c (do_class_deduction): Set cp_unevaluated_operand. | |
837 | (tsubst) [TEMPLATE_TYPE_PARM]: Copy CLASS_PLACEHOLDER_TEMPLATE. | |
838 | ||
839 | 2016-10-08 Jason Merrill <jason@redhat.com> | |
840 | ||
841 | * cp-gimplify.c (cp_fold): Add variable name. | |
842 | ||
843 | * cp-gimplify.c (cp_fold): Distribute cp_truthvalue_conversion | |
844 | into COND_EXPR. | |
845 | ||
846 | 2016-10-07 Jason Merrill <jason@redhat.com> | |
847 | ||
848 | Further P0135 refinement. | |
849 | * call.c (build_user_type_conversion_1): Consider conversions from | |
850 | a single element in an initializer-list. | |
851 | (build_temp): Undo early_elide_copy change. | |
852 | (build_over_call): Check that we don't try to copy a TARGET_EXPR | |
853 | in C++17 mode. Set user_conv_p here. | |
854 | (convert_like_real): Not here. | |
855 | (check_self_delegation): Split out from... | |
856 | (build_special_member_call): ...here. Handle C++17 copy elision. | |
857 | * cvt.c (early_elide_copy): Remove. | |
858 | (ocp_convert): Undo early_elide_copy change. | |
859 | * except.c (build_throw): Likewise. | |
860 | * init.c (expand_default_init): Likewise. | |
861 | * typeck.c (cp_build_modify_expr): Likewise. | |
862 | ||
863 | 2016-10-07 Nathan Sidwell <nathan@acm.org> | |
864 | ||
865 | PR c++/64433 | |
866 | DR1658, DR1611 | |
867 | * init.c (emit_mem_initializers): Don't construct vbases of | |
868 | abstract classes. | |
869 | (push_base_cleanups): Don't push vbase cleanups for abstract class | |
870 | when in C++14 mode. | |
871 | * method.c (synthethesized_method_walk): Don't walk vbases of | |
872 | abstract classes when in C++14 mode. | |
873 | ||
874 | 2016-10-07 Jakub Jelinek <jakub@redhat.com> | |
875 | ||
876 | Implement LWG2296 helper intrinsic | |
877 | * parser.c (cp_parser_postfix_expression): Handle RID_ADDRESSOF. | |
878 | * cp-objcp-common.c (cp_common_init_ts): Handle ADDRESSOF_EXPR. | |
879 | * constexpr.c (potential_constant_expression_1): Likewise. | |
880 | * error.c (dump_expr): Likewise. | |
881 | * typeck.c (cp_build_addressof): New function. | |
882 | * cp-tree.h (cp_build_addressof): Declare. | |
883 | * cxx-pretty-print.h (pp_cxx_addressof_expression): Declare. | |
884 | * cp-tree.def (ADDRESSOF_EXPR): New tree code. | |
885 | * cxx-pretty-print.c (cxx_pretty_printer::primary_expression): Handle | |
886 | ADDRESSOF_EXPR. Add __builtin_addressof and | |
887 | __has_unique_object_representations into syntax in function comment. | |
888 | (pp_cxx_addressof_expression): New function. | |
889 | * pt.c (tsubst_copy_and_build): Handle ADDRESSOF_EXPR. | |
890 | ||
891 | 2016-10-07 Bernd Edlinger <bernd.edlinger@hotmail.de> | |
892 | ||
893 | PR c++/77700 | |
894 | * parser.c (cp_parser_base_specifier): Fix a warning. | |
895 | ||
896 | 2016-10-07 Bernd Schmidt <bschmidt@redhat.com> | |
897 | ||
898 | PR c++/69733 | |
899 | * decl.c (grokdeclarator): Try to find the correct location for an | |
900 | ignored qualifier. | |
901 | ||
902 | 2016-10-07 Martin Liska <mliska@suse.cz> | |
903 | ||
904 | * lambda.c (maybe_add_lambda_conv_op): Set default value. | |
905 | ||
906 | 2016-10-06 Jason Merrill <jason@redhat.com> | |
907 | ||
908 | * call.c (build_temp, convert_like_real): Don't re-copy | |
909 | TARGET_EXPR. Handle packed fields. | |
910 | (build_x_va_arg): Wrap it in a TARGET_EXPR. | |
911 | (build_over_call): Add sanity check. | |
912 | * cvt.c (early_elide_copy): New. | |
913 | (ocp_convert): Use it. | |
914 | * except.c (build_throw): Use it. | |
915 | * init.c (get_nsdmi): Put back the TARGET_EXPR. | |
916 | (expand_default_init): Call early_elide_copy. | |
917 | * typeck.c (cp_build_modify_expr): Call early_elide_copy. | |
918 | ||
919 | 2016-10-06 Jakub Jelinek <jakub@redhat.com> | |
920 | ||
921 | Implement P0258R2 - helper for C++17 | |
922 | std::has_unique_object_representations trait | |
923 | * cp-tree.h (enum cp_trait_kind): Add | |
924 | CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS. | |
925 | (struct lang_type_class): Add unique_obj_representations | |
926 | and unique_obj_representations_set bitfields. | |
927 | (CLASSTYPE_UNIQUE_OBJ_REPRESENTATIONS, | |
928 | CLASSTYPE_UNIQUE_OBJ_REPRESENTATIONS_SET): Define. | |
929 | (type_has_unique_obj_representations): Declare. | |
930 | * parser.c (cp_parser_primary_expression): Handle | |
931 | RID_HAS_UNIQUE_OBJ_REPRESENTATIONS. | |
932 | (cp_parser_trait_expr): Likewise. Formatting fix. | |
933 | * semantics.c (trait_expr_value, finish_trait_expr): Handle | |
934 | CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS. | |
935 | * tree.c (type_has_unique_obj_representations): New function. | |
936 | (record_has_unique_obj_representations): New function. | |
937 | * cxx-pretty-print.c (pp_cxx_trait_expression): Handle | |
938 | CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS. | |
939 | ||
940 | 2016-10-05 Jason Merrill <jason@redhat.com> | |
941 | ||
942 | Implement P0135R1, Guaranteed copy elision. | |
943 | * cvt.c (ocp_convert): Don't re-copy a TARGET_EXPR in C++17. | |
944 | ||
945 | PR c++/54293 | |
946 | * call.c (reference_binding): Fix binding to member of temporary. | |
947 | ||
948 | * call.c (extend_ref_init_temps): Fix TARGET_EXPR handling. | |
949 | ||
950 | * parser.c (cp_parser_skip_to_end_of_statement): Add missing break. | |
951 | ||
952 | * semantics.c (finish_compound_literal): Handle class placeholder. | |
953 | ||
954 | 2016-10-05 Marek Polacek <polacek@redhat.com> | |
955 | ||
956 | Implement P0305R1, Selection statements with initializer. | |
957 | * cp-array-notation.c (create_an_loop): Call finish_init_stmt | |
958 | instead of finish_for_init_stmt. | |
959 | * cp-tree.h (finish_for_init_stmt): Rename to finish_init_stmt. | |
960 | * decl.c (poplevel): Adjust a comment. | |
961 | * init.c (build_vec_init): Call finish_init_stmt instead of | |
962 | finish_for_init_stmt. | |
963 | * name-lookup.c (pushdecl_maybe_friend_1): Adjust a comment. | |
964 | * name-lookup.h (enum scope_kind): Likewise. | |
965 | * parser.c (cp_parser_statement): Update commentary. | |
966 | (cp_parser_init_statement_p): New function. | |
967 | (cp_parser_selection_statement): Parse the optional init-statement. | |
968 | (cp_parser_for): Call finish_init_stmt instead of finish_for_init_stmt. | |
969 | (cp_parser_c_for): Likewise. | |
970 | (cp_convert_range_for): Call finish_init_stmt instead of finish_for_init_stmt. | |
971 | (cp_parser_range_for_member_function): Update commentary. | |
972 | (cp_parser_iteration_statement): | |
973 | (cp_parser_for_init_statement): Rename to cp_parser_init_statement. | |
974 | * pt.c (tsubst_omp_for_iterator): Update commentary. | |
975 | (tsubst_expr): Call finish_init_stmt instead of finish_for_init_stmt. | |
976 | * semantics.c (finish_for_init_stmt): Rename to finish_init_stmt. | |
977 | Update commentary. | |
978 | ||
979 | 2016-10-04 Jason Merrill <jason@redhat.com> | |
980 | ||
981 | PR c++/77852 | |
982 | * pt.c (do_class_deduction): Handle list-initialization. | |
983 | (do_auto_deduction): Call it sooner. | |
984 | (build_deduction_guide): Use tsubst_arg_types. | |
985 | (rewrite_template_parm): Don't copy_type. | |
986 | ||
987 | PR c++/77775 | |
988 | * constexpr.c (cxx_eval_component_reference): Use name matching | |
989 | for PMFs. | |
990 | ||
991 | Implement P0091R2, Template argument deduction for class templates. | |
992 | * parser.c (cp_parser_simple_type_specifier): Parse class placeholder. | |
993 | Use the location of the beginning of the type-specifier. | |
994 | (cp_parser_init_declarator): Parse deduction guide. | |
995 | (cp_parser_diagnose_invalid_type_name): Mention class deduction. | |
996 | (cp_parser_type_id_1): Don't accept class placeholder as template arg. | |
997 | * cp-tree.h (CLASS_PLACEHOLDER_TEMPLATE): New. | |
998 | * decl.c (grokdeclarator): Check for uninitialized auto here. | |
999 | (start_decl_1): Not here. | |
1000 | (cp_finish_decl): Or here. Don't collapse a list when doing | |
1001 | class deduction. | |
1002 | (grokfndecl): Check deduction guide scope and body. | |
1003 | * error.c (dump_decl, dump_function_decl, dump_function_name): | |
1004 | Handle deduction guides. | |
1005 | * pt.c (make_template_placeholder, do_class_deduction): New. | |
1006 | (build_deduction_guide, rewrite_template_parm): New. | |
1007 | (dguide_name, dguide_name_p, deduction_guide_p): New. | |
1008 | (do_auto_deduction): Call do_class_deduction. | |
1009 | (splice_late_return_type, is_auto): Handle class placeholders. | |
1010 | (template_parms_level_to_args): Split from template_parms_to_args. | |
1011 | (tsubst_template_parms_level): Split from tsubst_template_parms. | |
1012 | * typeck2.c (build_functional_cast): Handle class placeholder. | |
1013 | ||
1014 | 2016-10-04 Martin Sebor <msebor@redhat.com> | |
1015 | ||
1016 | PR c++/77804 | |
1017 | * init.c (warn_placement_new_too_small): Avoid assuming an array type | |
1018 | has a constant size. | |
1019 | ||
1020 | 2016-10-04 Jakub Jelinek <jakub@redhat.com> | |
1021 | ||
1022 | PR c++/77791 | |
1023 | * parser.c (cp_parser_lambda_declarator_opt): Only pedwarn | |
1024 | for C++11 on decls in the param_list. Test cxx_dialect < cxx14 before | |
1025 | the loop just once. | |
1026 | ||
1027 | * cp-tree.h (enum cp_tree_index): Remove CPTI_JAVA_*, | |
1028 | CPTI_LANG_NAME_JAVA and CPTI_JCLASS. | |
1029 | (java_byte_type_node, java_short_type_node, java_int_type_node, | |
1030 | java_long_type_node, java_float_type_node, java_double_type_node, | |
1031 | java_char_type_node, java_boolean_type_node, lang_name_java, | |
1032 | jclass_node): Remove. | |
1033 | (enum languages): Remove lang_java. | |
1034 | (TYPE_FOR_JAVA): Remove. | |
1035 | (struct lang_type_class): Remove java_interface bit-field. | |
1036 | (TYPE_JAVA_INTERFACE): Remove. | |
1037 | (pragma_java_exceptions): Remove. | |
1038 | (check_java_method, build_java_class_ref): Remove prototypes. | |
1039 | * name-lookup.c (pushtag_1): Don't set TYPE_FOR_JAVA. | |
1040 | * decl2.c (acceptable_java_type, check_java_method): Remove. | |
1041 | (import_export_decl): Remove TYPE_FOR_JAVA handling. | |
1042 | (build_java_method_aliases): Remove. | |
1043 | (c_parse_final_cleanups): Don't call build_java_method_aliases. | |
1044 | (possibly_inlined_p): Don't test pragma_java_exceptions. | |
1045 | * init.c (build_new_1): Remove TYPE_FOR_JAVA handling. | |
1046 | (build_java_class_ref): Remove. | |
1047 | * pt.c (maybe_new_partial_specialization, lookup_template_class_1, | |
1048 | instantiate_class_template_1): Don't copy TYPE_FOR_JAVA. | |
1049 | * except.c (eh_type_info): Remove java type handling. | |
1050 | (decl_is_java_type, choose_personality_routine): Remove. | |
1051 | (initialize_handler_parm): Don't call choose_personality_routine. | |
1052 | (expand_start_catch_block): Don't handle java types. | |
1053 | (build_throw): Likewise. | |
1054 | * cp-lang.c (cp_eh_personality): Don't handle pragma_java_exceptions. | |
1055 | * typeck.c (structural_comptypes): Don't compare TYPE_FOR_JAVA. | |
1056 | * call.c (build_over_call): Don't handle TYPE_JAVA_INTERFACE. | |
1057 | (java_iface_lookup_fn): Remove. | |
1058 | (build_java_interface_fn_ref): Remove. | |
1059 | * tree.c (cxx_attribute_table): Remove java_interface. | |
1060 | (handle_java_interface_attribute): Remove. | |
1061 | * lex.c (pragma_java_exceptions): Remove. | |
1062 | (init_cp_pragma): Don't register GCC java_exceptions pragma. | |
1063 | (handle_pragma_java_exceptions): Remove. | |
1064 | (retrofit_lang_decl): Don't handle lang_name_java. | |
1065 | * method.c (implicitly_declare_fn): Don't handle TYPE_FOR_JAVA. | |
1066 | * error.c (language_to_string): Don't handle lang_java. | |
1067 | * decl.c (record_builtin_java_type): Remove. | |
1068 | (initialize_predefined_identifiers): Remove Java. | |
1069 | (cxx_init_decl_processing): Remove java_*_type_node. | |
1070 | (cp_finish_decl): Don't handle TYPE_FOR_JAVA. | |
1071 | (grokfndecl): Likewise. | |
1072 | (check_special_function_return_type): Likewise. | |
1073 | (grokdeclarator): Don't set TYPE_FOR_JAVA. | |
1074 | (grokparms): Don't handle TYPE_FOR_JAVA. | |
1075 | (xref_basetypes): Likewise. | |
1076 | (check_function_type): Likewise. | |
1077 | (finish_constructor_body): Likewise. | |
1078 | * mangle.c (write_builtin_type): Don't handle TYPE_FOR_JAVA | |
1079 | and java_*_type_node. | |
1080 | (write_bare_function_type): Don't handle TYPE_FOR_JAVA. | |
1081 | (write_java_integer_type_codes): Remove. | |
1082 | * class.c (add_method): Don't handle TYPE_FOR_JAVA. | |
1083 | (add_implicitly_declared_members, determine_key_method, | |
1084 | finish_struct_1): Likewise. | |
1085 | (push_lang_context): Don't handle lang_name_java. | |
1086 | ||
1087 | 2016-10-03 Marek Polacek <polacek@redhat.com> | |
1088 | ||
1089 | Core 903 | |
1090 | * typeck.c (cp_build_binary_op): Pass original operands to | |
1091 | null_ptr_cst_p, not those after the default conversions. | |
1092 | ||
1093 | 2016-10-03 Bernd Edlinger <bernd.edlinger@hotmail.de> | |
1094 | ||
1095 | * parser.c (cp_parser_condition): Fix a warning. | |
1096 | ||
1097 | 2016-09-29 Jakub Jelinek <jakub@redhat.com> | |
1098 | ||
1099 | Implement P0001R1 - C++17 removal of register storage class specifier | |
1100 | * decl.c (cp_finish_decl): Diagnose register storage class | |
1101 | on vars except when used in GNU global or local register variable | |
1102 | extension. | |
1103 | (grokdeclarator): Diagnose register storage class on parameters. | |
1104 | * except.c (expand_start_catch_block): Set DECL_REGISTER only | |
1105 | after cp_finish_decl call. | |
1106 | ||
1107 | 2016-09-29 Marek Polacek <polacek@redhat.com> | |
1108 | ||
1109 | * rtti.c (involves_incomplete_p): Add fall through comment. | |
1110 | ||
1111 | 2016-09-28 Jakub Jelinek <jakub@redhat.com> | |
1112 | ||
1113 | PR c++/77467 | |
1114 | * constexpr.c (enum constexpr_switch_state): New. | |
1115 | (struct constexpr_ctx): Add css_state field. | |
1116 | (label_matches): Add CTX and STMT arguments, remove I and | |
1117 | DEFAULT_LABEL. For CASE_LABEL_EXPR assert ctx->css_state != NULL, | |
1118 | handle default labels according to css_state. | |
1119 | (cxx_eval_statement_list): Remove statement skipping, label_matches | |
1120 | and default_label handling code. | |
1121 | (cxx_eval_loop_expr): Exit after first iteration even if | |
1122 | switches (jump_target). | |
1123 | (cxx_eval_switch_expr): Set up css_state field in ctx, if default | |
1124 | label has been seen in the body, but no cases matched, evaluate | |
1125 | the body second time. | |
1126 | (cxx_eval_constant_expression): Handle stmt skipping and label_matches | |
1127 | here. Handle PREDICT_EXPR. For MODIFY_EXPR or INIT_EXPR, assert | |
1128 | statement is not skipped. For COND_EXPR during skipping, don't | |
1129 | evaluate condition, just the then block and if still skipping at the | |
1130 | end also the else block. | |
1131 | (cxx_eval_outermost_constant_expr): Adjust constexpr_ctx initializer. | |
1132 | (is_sub_constant_expr): Likewise. | |
1133 | ||
1134 | 2016-09-27 Jakub Jelinek <jakub@redhat.com> | |
1135 | ||
1136 | Implement P0018R3, C++17 lambda capture of *this by value as [=,*this] | |
1137 | * parser.c (cp_parser_lambda_introducer): Formatting fix. Pass | |
1138 | true instead of false as by_reference_p to add_capture for 'this'. | |
1139 | Parse '*this' simple-capture. | |
1140 | * lambda.c (build_capture_proxy): Handle '*this' capture by value. | |
1141 | (add_capture): Adjust function comment. For id == this_identifier, | |
1142 | treat by_reference_p as capturing '*this' by reference, i.e. 'this' | |
1143 | by value, and !by_reference_p as capturing '*this' by value. | |
1144 | (add_default_capture): For implicit 'this' capture, always pass | |
1145 | by_reference_p true rather than false. | |
1146 | ||
1147 | PR c++/77722 | |
1148 | * cp-gimplify.c (cp_ubsan_maybe_instrument_return): Instrument also | |
1149 | functions that have just a STATEMENT_LIST instead of BIND_EXPR, or | |
1150 | BIND_EXPR with some statement rather than STATEMENT_LIST as body. | |
1151 | ||
1152 | 2016-09-26 Nathan Sidwell <nathan@acm.org> | |
1153 | ||
1154 | * init.c (expand_default_init): Fix } indentation. | |
1155 | * method.c (process_subob_fn): Simplify control structure to | |
1156 | remove gotos. | |
1157 | (implicitly_declare_fn): Remove duplicated lambda ctor check. | |
1158 | ||
1159 | 2016-09-26 Marek Polacek <polacek@redhat.com> | |
1160 | ||
1161 | PR c/7652 | |
1162 | * parser.c (cp_parser_storage_class_specifier_opt): Add | |
1163 | gcc_fallthrough. | |
1164 | (cp_parser_skip_to_end_of_template_parameter_list): Likewise. | |
1165 | (cp_parser_cache_defarg): Likewise. | |
1166 | (cp_parser_omp_for_cond): Likewise. | |
1167 | * semantics.c (finish_decltype_type): Likewise. | |
1168 | * typeck.c (structural_comptypes): Likewise. | |
1169 | (cp_build_binary_op): Likewise. | |
1170 | (cp_build_modify_expr): Likewise. | |
1171 | ||
1172 | 2016-09-26 Marek Polacek <polacek@redhat.com> | |
1173 | ||
1174 | PR c/7652 | |
1175 | * constexpr.c (cxx_eval_internal_function): Handle IFN_FALLTHROUGH. | |
1176 | (potential_constant_expression_1): Likewise. | |
1177 | * constraint.cc (function_concept_check_p): Check fn for null. | |
1178 | * parser.c (cp_parser_expression_statement): Handle attribute | |
1179 | fallthrough. | |
1180 | (cp_parser_statement): Likewise. | |
1181 | (cp_parser_label_for_labeled_statement): Set FALLTHROUGH_LABEL_P on | |
1182 | labels. | |
1183 | (cp_parser_std_attribute): Handle fallthrough attribute. | |
1184 | (cp_parser_check_std_attribute): Add %< %> quotes. | |
1185 | * pt.c (tsubst_copy_and_build): Handle internal functions. | |
1186 | (instantiation_dependent_scope_ref_p): Return if the expression is | |
1187 | null. | |
1188 | ||
1189 | 2016-09-24 Marek Polacek <polacek@redhat.com> | |
1190 | ||
1191 | PR c/77490 | |
1192 | * typeck.c (cp_build_unary_op): Warn about bit not on expressions that | |
1193 | have boolean value. | |
1194 | ||
1195 | 2016-09-23 Jakub Jelinek <jakub@redhat.com> | |
1196 | ||
1197 | Implement P0138R2, C++17 construction rules for enum class values | |
1198 | * cp-tree.h (is_direct_enum_init): Declare. | |
1199 | * decl.c (is_direct_enum_init): New function. | |
1200 | (reshape_init): Use it. | |
1201 | * typeck.c (convert_for_assignment): Likewise. | |
1202 | ||
1203 | * Make-lang.in (check-c++1z): Pass RUNTESTFLAGS down to | |
1204 | make check-g++. | |
1205 | ||
1206 | * constexpr.c (call_stack): Remove unnecessary | |
1207 | = vNULL initialization of file scope vec. | |
1208 | ||
1209 | * name-lookup.c (store_bindings, store_class_bindings): Don't | |
1210 | initialize static local bindings_need_stored to vNULL. | |
1211 | ||
1212 | * typeck2.c (process_init_constructor_record): Use | |
1213 | CONSTRUCTOR_NELTS (...) instead of | |
1214 | vec_safe_length (CONSTRUCTOR_ELTS (...)). | |
1215 | * decl.c (reshape_init_r): Likewise. | |
1216 | (check_initializer): Likewise. | |
1217 | ||
1218 | 2016-09-22 Paolo Carlini <paolo.carlini@oracle.com> | |
1219 | ||
1220 | PR c++/71979 | |
1221 | * class.c (build_base_path): Allow for lookup_base returning | |
1222 | NULL_TREE. | |
1223 | ||
1224 | 2016-09-21 Jason Merrill <jason@redhat.com> | |
1225 | ||
1226 | Core 903 | |
1227 | * call.c (null_ptr_cst_p): Check char_type_p. | |
1228 | ||
1229 | 2016-09-21 Jakub Jelinek <jakub@redhat.com> | |
1230 | ||
1231 | PR c++/77651 | |
1232 | * init.c (build_new_1): Don't suggest to use -faligned-new if | |
1233 | aligned_new_threshold is non-zero. | |
1234 | (type_has_new_extended_alignment): Change aligned_new_threshhold | |
1235 | to aligned_new_threshold. | |
1236 | * call.c (second_parm_is_size_t, aligned_allocation_fn_p, | |
1237 | aligned_deallocation_fn_p, build_op_delete_call): Likewise. | |
1238 | * decl.c (cxx_init_decl_processing): Likewise. | |
1239 | ||
1240 | 2016-09-20 Jakub Jelinek <jakub@redhat.com> | |
1241 | ||
1242 | PR c++/77626 | |
1243 | * constexpr.c (cxx_fold_indirect_ref): Don't call byte_position on | |
1244 | FIELD_DECLs with error_mark_node type. Remove useless break; after | |
1245 | return. | |
1246 | ||
1247 | PR c++/77638 | |
1248 | * parser.c (cp_parser_template_declaration_after_parameter): For 2 | |
1249 | argument operator"" template set ok to false for | |
1250 | parm == error_mark_node. | |
1251 | ||
1252 | PR c++/77637 | |
1253 | * parser.c (cp_parser_std_attribute_list): Reject ... without | |
1254 | preceding attribute. | |
1255 | ||
1256 | 2016-09-19 Bernd Edlinger <bernd.edlinger@hotmail.de> | |
1257 | ||
1258 | PR c++/77434 | |
1259 | * cvt.c (cp_convert_and_check): Suppress Wint-in-bool-context here. | |
1260 | ||
1261 | 2016-09-16 Patrick Palka <ppalka@gcc.gnu.org> | |
1262 | ||
1263 | PR c++/77639 | |
1264 | * parser.c (cp_parser_class_head): When | |
1265 | processing_template_parmlist, don't assume that the | |
1266 | class-head may start an explicit specialization. | |
1267 | ||
1268 | 2016-09-16 Jakub Jelinek <jakub@redhat.com> | |
1269 | ||
1270 | PR c++/77482 | |
1271 | * error.c (dump_simple_decl): Only check DECL_DECLARED_CONCEPT_P | |
1272 | if DECL_LANG_SPECIFIC is non-NULL. Fix up formatting. | |
1273 | ||
1274 | PR c++/77338 | |
1275 | * constexpr.c (cxx_eval_constant_expression) <case PARM_DECL>: Only | |
1276 | call is_really_empty_class on complete types. | |
1277 | ||
1278 | PR c++/77375 | |
1279 | * class.c (check_bases): Set CLASSTYPE_HAS_MUTABLE if any | |
1280 | TYPE_HAS_MUTABLE_P for any bases. | |
1281 | ||
1282 | 2016-09-16 Jason Merrill <jason@redhat.com> | |
1283 | ||
1284 | * class.c (check_bases, set_one_vmethod_tm_attributes): Use | |
1285 | least_bit_hwi. | |
1286 | * decl.c (cxx_init_decl_processing): Use pow2p_hwi. | |
1287 | * parser.c (cp_parser_cilk_simd_vectorlength): Use pow2p_hwi. | |
1288 | ||
1289 | 2016-09-14 Jakub Jelinek <jakub@redhat.com> | |
1290 | ||
1291 | PR c++/77549 | |
1292 | * name-lookup.c (consider_binding_level): Look through TREE_LIST | |
1293 | and OVERLOAD. | |
1294 | ||
1295 | 2016-09-14 Marek Polacek <polacek@redhat.com> | |
1296 | ||
1297 | * typeck.c (cp_build_unary_op): Diagnose incrementing boolean | |
1298 | expressions. Tweak an error message. | |
1299 | ||
1300 | 2016-09-14 Marek Polacek <polacek@redhat.com> | |
1301 | ||
1302 | * cp-tree.h (cp_build_unary_op): Change nonconvert parameter type to | |
1303 | bool. | |
1304 | * decl2.c (one_static_initialization_or_destruction): Use true instead | |
1305 | of 1. | |
1306 | * init.c (build_vec_init): Use false instead of 0. | |
1307 | * pt.c (tsubst_copy_and_build): Likewise. | |
1308 | * semantics.c (simplify_loop_decl_cond): Likewise. | |
1309 | * typeck.c (rationalize_conditional_expr): Likewise. | |
1310 | (cp_build_binary_op): Use true instead of 1. | |
1311 | (cp_build_unary_op): Change nonconvert parameter type to bool. Use true | |
1312 | instead of 1. | |
1313 | (build_unary_op): Change nonconvert parameter type to bool. | |
1314 | (unary_complex_lvalue): Use false instead of 0. | |
1315 | ||
1316 | 2016-09-13 Jakub Jelinek <jakub@redhat.com> | |
1317 | ||
1318 | Implement P0028R4, C++17 using attribute namespaces without repetition | |
1319 | * parser.c (cp_parser_std_attribute): Add ATTR_NS argument. Diagnose | |
1320 | non-NULL ATTR_NS with scoped attribute token. Handle non-NULL | |
1321 | ATTR_NS with non-scoped attribute tokens. Allow named ops in | |
1322 | identifier after ::. | |
1323 | (cp_parser_std_attribute_list): Add ATTR_NS argument, pass it down | |
1324 | to cp_parser_std_attribute calls. | |
1325 | (cp_parser_std_attribute_spec): Parse optional C++17 | |
1326 | attribute-using-prefix, adjust grammar in function comment. | |
1327 | ||
1328 | PR c++/77553 | |
1329 | * constexpr.c (cxx_fold_pointer_plus_expression): New function. | |
1330 | (cxx_eval_binary_expression): Use it for POINTER_PLUS_EXPR. | |
1331 | (cxx_eval_pointer_plus_expression): Remove. | |
1332 | (cxx_eval_constant_expression) <case POINTER_PLUS_EXPR>: Don't | |
1333 | call cxx_eval_pointer_plus_expression. | |
1334 | ||
1335 | 2016-09-13 David Malcolm <dmalcolm@redhat.com> | |
1336 | ||
1337 | * parser.c (cp_parser_class_specifier_1): Update for renaming of | |
1338 | add_fixit_insert to add_fixit_insert_before. | |
1339 | (cp_parser_class_head): Likewise. | |
1340 | ||
1341 | 2016-09-12 Bernd Edlinger <bernd.edlinger@hotmail.de> | |
1342 | ||
1343 | PR c++/77496 | |
1344 | * call.c (build_conditional_expr_1): Call warn_for_omitted_condop. | |
1345 | * class.c (instantiate_type): Look through the SAVE_EXPR. | |
1346 | ||
1347 | 2016-09-09 Jason Merrill <jason@redhat.com> | |
1348 | ||
1349 | Implement P0035R4, C++17 new of over-aligned types. | |
1350 | * cp-tree.h (enum cp_tree_index): Add CPTI_ALIGN_TYPE. | |
1351 | (align_type_node): New macro. | |
1352 | * call.c (build_operator_new_call): Handle C++17 aligned new. | |
1353 | (second_parm_is_size_t, build_op_delete_call): Likewise. | |
1354 | (non_placement_deallocation_fn_p): Likewise. Rename to | |
1355 | usual_deallocation_fn_p. | |
1356 | (aligned_allocation_fn_p, aligned_deallocation_fn_p): New. | |
1357 | * decl.c (cxx_init_decl_processing): Add aligned new support. | |
1358 | * init.c (type_has_new_extended_alignment): New. | |
1359 | (build_new_1): Handle aligned new. | |
1360 | * tree.c (vec_copy_and_insert): New. | |
1361 | ||
1362 | 2016-09-02 Jakub Jelinek <jakub@redhat.com> | |
1363 | ||
1364 | PR sanitizer/77396 | |
1365 | * decl2.c (do_static_initialization_or_destruction): Only | |
1366 | call asan_dynamic_init_call if INITP is true. | |
1367 | ||
1368 | 2016-09-01 Martin Sebor <msebor@redhat.com> | |
1369 | ||
1370 | * mangle.c: Increase buffer size to guarantee it fits the output | |
1371 | of the formatted function regardless of its arguments. | |
1372 | ||
1373 | 2016-09-01 Marek Polacek <polacek@redhat.com> | |
1374 | ||
1375 | PR c/7652 | |
1376 | * error.c (dump_type): Fix falls through comment. | |
1377 | (dump_decl): Likewise. | |
1378 | (dump_expr): Likewise. | |
1379 | ||
1380 | 2016-08-30 David Malcolm <dmalcolm@redhat.com> | |
1381 | ||
1382 | * parser.c (cp_parser_enclosed_template_argument_list): Add fix-it | |
1383 | hint to ">>" within nested template argument list error. | |
1384 | ||
1385 | 2016-08-30 David Malcolm <dmalcolm@redhat.com> | |
1386 | ||
1387 | * name-lookup.c (suggest_alternatives_for): Use add_fixit_replace | |
1388 | rather than add_fixit_misspelled_id. | |
1389 | * parser.c (cp_parser_diagnose_invalid_type_name): Likewise. | |
1390 | ||
1391 | 2016-08-29 Jason Merrill <jason@redhat.com> | |
1392 | ||
1393 | PR c++/77379 | |
1394 | * mangle.c (maybe_check_abi_tags): Add version parm, handle thunks. | |
1395 | (mangle_thunk): Add thunk parameter. | |
1396 | * method.c (finish_thunk): Pass it. | |
1397 | * cp-tree.h: Declare it. | |
1398 | ||
1399 | 2016-08-15 Jason Merrill <jason@redhat.com> | |
1400 | ||
1401 | Avoid calling a trivial default constructor. | |
1402 | * class.c (default_ctor_p): New. | |
1403 | (in_class_defaulted_default_constructor): Use it. | |
1404 | (type_has_non_user_provided_default_constructor): Use it. | |
1405 | * call.c (build_over_call): Handle trivial default constructor. | |
1406 | * cp-tree.h: Declare default_ctor_p. | |
1407 | ||
1408 | PR c++/57728 | |
1409 | * pt.c (do_type_instantiation): Don't mess with non-user-provided | |
1410 | member functions. | |
1411 | ||
1412 | 2016-08-25 Marek Polacek <polacek@redhat.com> | |
1413 | ||
1414 | * parser.c (cp_parser_binary_expression): Pass LHS to | |
1415 | warn_logical_not_parentheses. | |
1416 | ||
1417 | 2016-08-18 Marek Polacek <polacek@redhat.com> | |
1418 | ||
1419 | PR c/7652 | |
1420 | * call.c (add_builtin_candidate): Add gcc_fallthrough. | |
1421 | * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise. | |
1422 | * parser.c (cp_parser_skip_to_end_of_statement): Likewise. | |
1423 | (cp_parser_cache_defarg): Likewise. | |
1424 | ||
1425 | 2016-08-12 Marek Polacek <polacek@redhat.com> | |
1426 | ||
1427 | PR c/7652 | |
1428 | * call.c (add_builtin_candidate): Add FALLTHRU. | |
1429 | (build_integral_nontype_arg_conv): Adjust fall through comment. | |
1430 | (build_new_op_1): Add FALLTHRU. | |
1431 | (convert_like_real): Adjust fall through comment. | |
1432 | * class.c (fixed_type_or_null): Likewise. | |
1433 | * constexpr.c (cxx_eval_constant_expression): Likewise. | |
1434 | (potential_constant_expression_1): Likewise. Add FALLTHRU. | |
1435 | * cp-gimplify.c (cp_gimplify_expr): Adjust fall through comment. | |
1436 | (cp_fold): Add FALLTHRU. | |
1437 | * cvt.c (build_expr_type_conversion): Adjust fall through comment. | |
1438 | * cxx-pretty-print.c (pp_cxx_unqualified_id): Add FALLTHRU. | |
1439 | (pp_cxx_qualified_id): Likewise. | |
1440 | (cxx_pretty_printer::constant): Adjust fall through comment. | |
1441 | (cxx_pretty_printer::primary_expression): Add FALLTHRU. | |
1442 | (pp_cxx_pm_expression): Adjust fall through comment. | |
1443 | (cxx_pretty_printer::expression): Add FALLTHRU. | |
1444 | (cxx_pretty_printer::declaration_specifiers): Reformat code. | |
1445 | (pp_cxx_type_specifier_seq): Adjust fall through comment. | |
1446 | (pp_cxx_ptr_operator): Likewise. Add FALLTHRU. | |
1447 | * error.c (dump_type): Adjust fall through comment. | |
1448 | (dump_decl): Likewise. | |
1449 | * mangle.c (write_type): Likewise. | |
1450 | * method.c (synthesized_method_walk): Add FALLTHRU. | |
1451 | * name-lookup.c (arg_assoc_type): Likewise. | |
1452 | * parser.c (cp_lexer_print_token): Adjust fall through comment. | |
1453 | (cp_parser_primary_expression): Add FALLTHRU. | |
1454 | (cp_parser_operator): Likewise. | |
1455 | * pt.c (find_parameter_packs_r): Likewise. | |
1456 | (tsubst_aggr_type): Adjust fall through comment. | |
1457 | * semantics.c (finish_omp_clauses): Add FALLTHRU. | |
1458 | * tree.c (lvalue_kind): Likewise. | |
1459 | ||
1460 | 2016-08-12 Alexandre Oliva <aoliva@redhat.com> | |
1461 | ||
1462 | PR debug/63240 | |
1463 | * cp-objcp-common.c (cp_function_decl_defaulted): New. | |
1464 | (cp_function_decl_explicit_p): Const_tree-ify. | |
1465 | (cp_function_decl_deleted_p): Likewise. | |
1466 | * cp-objcp-common.h (cp_function_decl_defaulted): Declare. | |
1467 | (cp_function_decl_explicit_p): Const_tree-ify. | |
1468 | (cp_function_decl_deleted_p): Likewise. | |
1469 | (LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Redefine. | |
1470 | ||
1471 | 2016-08-11 Jakub Jelinek <jakub@redhat.com> | |
1472 | ||
1473 | PR c++/72868 | |
1474 | * constexpr.c (label_matches): Handle case range expressions. | |
1475 | ||
1476 | 2016-08-11 Jason Merrill <jason@redhat.com> | |
1477 | ||
1478 | PR c++/73456 | |
1479 | * logic.cc (non_atomic_constraint_p): Handle EXPR_PACK_EXPANSION. | |
1480 | ||
1481 | 2016-08-10 Jason Merrill <jason@redhat.com> | |
1482 | ||
1483 | Implement C++17 constexpr if. | |
1484 | * cp-tree.h (IF_STMT_CONSTEXPR_P): New. | |
1485 | * name-lookup.c (push_to_top_level, pop_from_top_level_1): Handle it. | |
1486 | * parser.h (struct cp_parser): Add in_discarded_stmt field. | |
1487 | * parser.c (cp_parser_selection_statement): Handle 'if constexpr'. | |
1488 | (cp_parser_jump_statement): Avoid deducing from a discarded return. | |
1489 | * pt.c (tsubst_expr): Only instantiate taken branch of constexpr if. | |
1490 | * semantics.c (begin_if_stmt): Set the binding level this_entity. | |
1491 | (finish_if_stmt_cond): Require the condition of a | |
1492 | constexpr if to be constant. | |
1493 | * decl.c (level_for_constexpr_if): New. | |
1494 | (named_label_entry): Add in_constexpr_if field. | |
1495 | (poplevel_named_label_1): Set it. | |
1496 | (check_goto): Check it. | |
1497 | (check_previous_goto_1): Check level_for_constexpr_if. | |
1498 | ||
1499 | 2016-08-09 Jason Merrill <jason@redhat.com> | |
1500 | ||
1501 | PR c++/68703 | |
1502 | * decl2.c (any_dependent_type_attributes_p): New. | |
1503 | * pt.c (dependent_type_p_r, type_dependent_expression_p): Check it. | |
1504 | * semantics.c (finish_id_expression): Check it. | |
1505 | * typeck.c (finish_class_member_access_expr): Check it. | |
1506 | ||
1507 | PR c++/71712 | |
1508 | * class.c (check_abi_tags): Don't duplicate tags for conversion ops. | |
1509 | ||
1510 | Adjust mangling of ABI tags on class template member functions. | |
1511 | * class.c (missing_abi_tags): New. | |
1512 | (check_abi_tags): Don't check template. Add just_checking mode. | |
1513 | * mangle.c (abi_flag_at_least, any_abi_below, equal_abi_tags): New. | |
1514 | (sorted_abi_tags): Split out from write_abi_tags. | |
1515 | (struct releasing_vec): New. | |
1516 | (write_unqualified_name): Only look for the primary | |
1517 | template for types. Implement backward compatibility. | |
1518 | ||
1519 | PR c++/72849 | |
1520 | * constexpr.c (cxx_eval_constant_expression): Check | |
1521 | COMPLETE_TYPE_P before calling is_really_empty_class. | |
1522 | * class.c (is_really_empty_class): Don't call complete_type. | |
1523 | ||
1524 | PR c++/56701 | |
1525 | * typeck.c (cp_build_addr_expr_1): Remove special *this handling. | |
1526 | ||
1527 | 2016-08-09 Jakub Jelinek <jakub@redhat.com> | |
1528 | ||
1529 | PR c++/72809 | |
1530 | * rtti.c (get_pseudo_ti_index): Return TK_CLASS_TYPE for | |
1531 | builtin aggregate types without TYPE_BINFO. | |
1532 | ||
1533 | 2016-08-08 Jason Merrill <jason@redhat.com> | |
1534 | ||
1535 | Implement C++17 constexpr lambda. | |
1536 | * class.c (finalize_literal_type_property): Handle lambdas. | |
1537 | * constexpr.c (is_valid_constexpr_fn): Likewise. No longer static. | |
1538 | (explain_invalid_constexpr_fn, cxx_eval_call_expression): Handle | |
1539 | lambdas. | |
1540 | (cxx_eval_constant_expression): Handle capture proxy. | |
1541 | (var_in_constexpr_fn): Don't check for C++14. | |
1542 | (var_in_maybe_constexpr_fn): New. | |
1543 | (potential_constant_expression_1): Use it. Check DECL_EXPR for | |
1544 | declarations not allowed in constexpr function. Handle | |
1545 | STATIC_ASSERT, RANGE_FOR_STMT. | |
1546 | * decl.c (make_rtl_for_nonlocal_decl): Use var_in_maybe_constexpr_fn. | |
1547 | (finish_function): Set DECL_DECLARED_CONSTEXPR_P on lambda members. | |
1548 | * lambda.c (begin_lambda_type): Set CLASSTYPE_LITERAL_P. | |
1549 | (maybe_add_lambda_conv_op): Clear thunk CALL_EXPR location. | |
1550 | (lambda_static_thunk_p): New. | |
1551 | * parser.c (cp_keyword_starts_decl_specifier_p): Add RID_CONSTEXPR. | |
1552 | (CP_PARSER_FLAGS_ONLY_MUTABLE_OR_CONSTEXPR): New enumerator. | |
1553 | (cp_parser_decl_specifier_seq): Handle it. | |
1554 | (cp_parser_lambda_declarator_opt): Use cp_parser_decl_specifier_seq. | |
1555 | * pt.c (instantiate_class_template_1): Set CLASSTYPE_LITERAL_P. | |
1556 | (tsubst_copy_and_build) [CALL_EXPR]: Propagate CALL_FROM_THUNK_P. | |
1557 | * error.c (dump_function_decl): Check TFF_NO_TEMPLATE_BINDINGS. | |
1558 | (dump_expr) [FUNCTION_DECL]: Pass it. | |
1559 | ||
1560 | 2016-08-08 Jason Merrill <jason@redhat.com> | |
1561 | ||
1562 | PR c++/67131 | |
1563 | * class.c (is_really_empty_class): Call complete_type. | |
1564 | * constexpr.c (cxx_eval_constant_expression): Check | |
1565 | is_really_empty_class. | |
1566 | (potential_constant_expression_1): Likewise. Check for error type. | |
1567 | ||
1568 | 2016-08-08 Jakub Jelinek <jakub@redhat.com> | |
1569 | ||
1570 | PR c++/58706 | |
1571 | * parser.c: Include tree-iterator.h. | |
1572 | (cp_parser_omp_for_loop_init): Move lambda DECL_EXPRs from init | |
1573 | to FOR_BLOCK. | |
1574 | (cp_parser_omp_for_loop): Handle non-STATEMENT_LIST FOR_BLOCK | |
1575 | entries. | |
1576 | ||
1577 | 2016-08-06 Jonathan Wakely <jwakely@redhat.com> | |
1578 | ||
1579 | * call.c (convert_like_real): Harmonize diagnostics for invalid | |
1580 | reference binding. | |
1581 | ||
1582 | 2016-08-05 Martin Sebor <msebor@redhat.com> | |
1583 | ||
1584 | * constexpr.c (cxx_eval_store_expression): Remove hyphen from | |
1585 | the spelling of "constant-expression" in diagnostic messages | |
1586 | for consistency. | |
1587 | (cxx_eval_constant_expression): Same. | |
1588 | (cxx_eval_outermost_constant_expr): Same. | |
1589 | (potential_constant_expression_1): Same. | |
1590 | ||
1591 | 2016-08-05 Nathan Sidwell <nathan@acm.org> | |
1592 | ||
1593 | PR c++/68724 | |
1594 | * pt.c (unify): TRAIT_EXPR is an expr. | |
1595 | ||
1596 | 2016-08-04 Paolo Carlini <paolo.carlini@oracle.com> | |
1597 | ||
1598 | PR c++/72800 | |
1599 | * lambda.c (add_capture): Check lambda_capture_field_type return | |
1600 | value for error_mark_node. | |
1601 | ||
1602 | 2016-08-04 Patrick Palka <ppalka@gcc.gnu.org> | |
1603 | ||
1604 | PR c++/72759 | |
1605 | * pt.c (tsubst_qualified_id): Return error_mark_node if | |
1606 | template_args is error_mark_node. | |
1607 | ||
1608 | 2016-08-04 Jason Merrill <jason@redhat.com> | |
1609 | ||
1610 | PR c++/72415 | |
1611 | * pt.c (tsubst_pack_expansion): Pull a single pack expansion out | |
1612 | of the TREE_VEC. | |
1613 | ||
1614 | * cp-tree.h (TYPE_UNNAMED_P): Rename from TYPE_ANONYMOUS_P. | |
1615 | (TYPE_WAS_UNNAMED): Rename from TYPE_WAS_ANONYMOUS. | |
1616 | * class.c, decl.c, decl2.c, error.c, lambda.c, mangle.c, | |
1617 | name-lookup.c, parser.c, pt.c, semantics.c, tree.c: Adjust. | |
1618 | ||
1619 | PR c++/72796 | |
1620 | * typeck.c (finish_class_member_access_expr): Avoid stripping | |
1621 | SCOPE_REF to dependent base. | |
1622 | ||
1623 | 2016-08-04 Thomas Schwinge <thomas@codesourcery.com> | |
1624 | ||
1625 | * parser.c (cp_ensure_no_oacc_routine): Improve diagnostics. | |
1626 | (cp_parser_late_parsing_cilk_simd_fn_info): Fix diagnostics. | |
1627 | (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine): | |
1628 | Simplify code, and improve diagnostics. | |
1629 | (cp_parser_oacc_routine): Likewise. Move pragma context | |
1630 | checking... | |
1631 | (cp_parser_pragma): ... here. | |
1632 | ||
1633 | * parser.h (struct cp_omp_declare_simd_data): New. | |
1634 | (struct cp_parser): Use it for oacc_routine member. | |
1635 | * parser.c (cp_ensure_no_oacc_routine, cp_parser_oacc_routine) | |
1636 | (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine): | |
1637 | Use it. Simplify code. | |
1638 | (cp_parser_new): Initialize all members pointing to special | |
1639 | parsing data structures. | |
1640 | (cp_parser_cilk_simd_fn_vector_attrs): Initialize | |
1641 | parser->cilk_simd_fn_info->clauses. | |
1642 | (cp_parser_omp_declare_simd): Initialize | |
1643 | parser->omp_declare_simd->clauses. | |
1644 | (cp_parser_late_parsing_omp_declare_simd): Simplify code. | |
1645 | ||
1646 | 2016-08-04 Marek Polacek <polacek@redhat.com> | |
1647 | ||
1648 | PR c++/70229 | |
1649 | * constexpr.c (check_constexpr_ctor_body_1): Allow typedef | |
1650 | declarations. | |
1651 | ||
1652 | 2016-08-01 Jason Merrill <jason@redhat.com> | |
1653 | ||
1654 | * mangle.c (mangle_decl): Warn about mangled name change even if | |
1655 | DECL_REALLY_EXTERN. | |
1656 | ||
1657 | * mangle.c (get_abi_tags): New. | |
1658 | (find_substitution, write_unqualified_name, write_abi_tags) | |
1659 | (maybe_check_abi_tags): Use it. | |
1660 | ||
1661 | * mangle.c (mangle_decl): Fix mangled name change warning. | |
1662 | ||
1663 | PR c++/72766 | |
1664 | * constexpr.c (cxx_eval_pointer_plus_expression): Check constancy | |
1665 | of nelts. | |
1666 | * cp-gimplify.c (cp_fully_fold): Only maybe_constant_value in | |
1667 | C++11 and up. | |
1668 | ||
1669 | 2016-07-30 Martin Sebor <msebor@redhat.com> | |
1670 | ||
1671 | PR c++/60760 | |
1672 | PR c++/71091 | |
1673 | * constexpr.c (cxx_eval_binary_expression): Reject invalid expressions | |
1674 | involving null pointers. | |
1675 | (cxx_eval_component_reference): Reject null pointer dereferences. | |
1676 | (cxx_eval_indirect_ref): Reject indirecting through null pointers. | |
1677 | (cxx_eval_constant_expression): Reject invalid expressions involving | |
1678 | null pointers. | |
1679 | ||
1680 | 2016-07-29 Marek Polacek <polacek@redhat.com> | |
1681 | ||
1682 | PR c/71926 | |
1683 | * semantics.c (maybe_convert_cond): Use the location of COND for the | |
1684 | parentheses warning. | |
1685 | ||
1686 | 2016-07-29 Jason Merrill <jason@redhat.com> | |
1687 | ||
1688 | * decl.c (build_enumerator): Tweak diagnostic. | |
1689 | ||
1690 | PR c++/72457 | |
1691 | * init.c (expand_aggr_init_1): Only handle value-init of bases. | |
1692 | * constexpr.c (build_data_member_initialization): Handle multiple | |
1693 | initializers for the same field. | |
1694 | ||
1695 | 2016-07-28 Paolo Carlini <paolo.carlini@oracle.com> | |
1696 | ||
1697 | PR c++/71665 | |
1698 | * decl.c (build_enumerator): Check the type of the enumerator before | |
1699 | calling cxx_constant_value. | |
1700 | ||
1701 | 2016-07-27 Jason Merrill <jason@redhat.com> | |
1702 | ||
1703 | PR c++/71747 | |
1704 | * pt.c (get_partial_spec_bindings): Replace tparms and spec_args | |
1705 | parameters with spec_tmpl. Call push_tinst_level. | |
1706 | (most_specialized_partial_spec): Adjust. | |
1707 | (more_specialized_partial_spec): Adjust. | |
1708 | ||
1709 | 2016-07-25 Jason Merrill <jason@redhat.com> | |
1710 | ||
1711 | PR c++/65970 | |
1712 | * cp-gimplify.c (genericize_cp_loop): Revert location change. | |
1713 | ||
1714 | PR c++/71837 | |
1715 | * lambda.c (add_capture): Leave a pack expansion in a TREE_LIST. | |
1716 | (build_lambda_object): Call build_x_compound_expr_from_list. | |
1717 | * pt.c (tsubst) [DECLTYPE_TYPE]: Likewise. | |
1718 | ||
1719 | PR c++/71833 | |
1720 | PR c++/54440 | |
1721 | * pt.c (coerce_template_parameter_pack): Fix logic for | |
1722 | pack index. | |
1723 | ||
1724 | PR c++/65970 | |
1725 | * constexpr.c (cxx_eval_loop_expr): Count iterations. | |
1726 | * cp-gimplify.c (genericize_cp_loop): Use start_locus even for | |
1727 | infinite loops. | |
1728 | ||
1729 | PR c++/71972 | |
1730 | * constexpr.c (cxx_eval_array_reference): Handle looking for the | |
1731 | value of an element we're currently modifying. | |
1732 | ||
1733 | 2016-07-24 Jason Merrill <jason@redhat.com> | |
1734 | ||
1735 | PR c++/71515 | |
1736 | * pt.c (resolve_typename_type): Try to avoid calling | |
1737 | currently_open_class. | |
1738 | ||
1739 | 2016-07-23 Jason Merrill <jason@redhat.com> | |
1740 | ||
1741 | PR c++/66617 | |
1742 | * call.c (add_list_candidates): Handle VTT parm. | |
1743 | (build_new_method_call_1): Likewise. | |
1744 | ||
1745 | PR c++/55922 | |
1746 | PR c++/63151 | |
1747 | * init.c (expand_aggr_init_1): Handle list-initialization from {}. | |
1748 | ||
1749 | PR c++/70709 | |
1750 | * class.c (walk_subobject_offsets): Handle 0-length array. | |
1751 | ||
1752 | PR c++/70778 | |
1753 | * pt.c (tsubst): Also substitute into the template of a | |
1754 | BOUND_TEMPLATE_TEMPLATE_PARM. | |
1755 | ||
1756 | PR c++/71738 | |
1757 | * pt.c (lookup_template_class_1): Handle getting template from tsubst. | |
1758 | ||
1759 | PR c++/71350 | |
1760 | * decl.c (reshape_init_r): Check complain for missing braces warning. | |
1761 | ||
1762 | 2016-07-22 Jason Merrill <jason@redhat.com> | |
1763 | ||
1764 | PR c++/71576 | |
1765 | * call.c (convert_like_real): Use lvalue_kind. | |
1766 | ||
1767 | PR c++/71748 | |
1768 | PR c++/52746 | |
1769 | * pt.c (tsubst_baselink): Call | |
1770 | adjust_result_of_qualified_name_lookup for unqualified | |
1771 | destructors. | |
1772 | ||
1773 | 2016-07-21 Jason Merrill <jason@redhat.com> | |
1774 | ||
1775 | PR c++/69223 | |
1776 | * semantics.c (apply_deduced_return_type): Call | |
1777 | complete_type_or_else before building the new RESULT_DECL. | |
1778 | ||
1779 | PR c++/71274 | |
1780 | * decl2.c (maybe_instantiate_decl): Split out from mark_used. | |
1781 | (decl_constant_var_p): Use it instead. | |
1782 | ||
1783 | PR c++/71630 | |
1784 | * pt.c (instantiate_decl): Fix pattern_defined for namespace scope | |
1785 | variable templates. | |
1786 | ||
1787 | PR c++/71913 | |
1788 | * call.c (unsafe_copy_elision_p): It's OK to elide when | |
1789 | initializing an unknown object. | |
1790 | ||
1791 | * call.c (build_over_call): Check unsafe_copy_elision_p even for | |
1792 | trivial constructors. | |
1793 | * method.c (do_build_copy_constructor): Don't copy tail padding | |
1794 | even in a trivial constructor. | |
1795 | ||
1796 | 2016-07-21 Jakub Jelinek <jakub@redhat.com> | |
1797 | ||
1798 | PR c++/71728 | |
1799 | * constexpr.c (potential_constant_expression_1) <case GOTO_EXPR>: | |
1800 | Replace assert with test, return false if the goto isn't break | |
1801 | or continue. Formatting fix. | |
1802 | ||
1803 | 2016-07-21 Richard Biener <rguenther@suse.de> | |
1804 | ||
1805 | * vtable-class-hierarchy.c (vtv_generate_init_routine): Set | |
1806 | DECL_IGNORED_P. | |
1807 | ||
1808 | 2016-07-21 Jakub Jelinek <jakub@redhat.com> | |
1809 | ||
1810 | PR c++/71941 | |
1811 | * cp-gimplify.c (cp_genericize): For nested cp_genericize calls | |
1812 | save/restore bc_label array. | |
1813 | ||
1814 | 2016-07-21 Jason Merrill <jason@redhat.com> | |
1815 | ||
1816 | PR c++/70781 | |
1817 | * parser.c (cp_parser_lambda_expression): Unset OK if there was an | |
1818 | error parsing the lambda-declarator. | |
1819 | ||
1820 | PR c++/71896 | |
1821 | * constexpr.c (cxx_eval_binary_expression): Handle comparison | |
1822 | between lowered and unlowered PTRMEM_CST. | |
1823 | ||
1824 | PR c++/65168 | |
1825 | * typeck.c (cp_truthvalue_conversion): Compare pointers to nullptr. | |
1826 | Don't set c_inhibit_evaluation_warnings. | |
1827 | ||
1828 | PR c++/71121 | |
1829 | * cp-gimplify.c (cp_fully_fold): First call maybe_constant_value. | |
1830 | ||
1831 | 2016-07-21 Andrew Sutton <andrew.n.sutton@gmail.com> | |
1832 | Jason Merrill <jason@redhat.com> | |
1833 | ||
1834 | Improving concepts performance and diagnostics. | |
1835 | PR c++/67565 | |
1836 | PR c++/67579 | |
1837 | PR c++/71843 | |
1838 | * cp-tree.def (CHECK_CONSTR): New. | |
1839 | * cp-tree.h (CHECK_CONSTR_CONCEPT): New. | |
1840 | (CHECK_CONSTR_ARGS): New. | |
1841 | * constraint.cc (make_predicate_constraint): Remove in favor of | |
1842 | normalize_expression. | |
1843 | (resolve_constraint_check): Actually return error_mark_node when | |
1844 | resolution fails. | |
1845 | (resolve_variable_concept_check): Perform coercion as if processing | |
1846 | a template. Also return errors on resolution failure. | |
1847 | (lift_*): Remove all of these functions. Don't unnecessarily inline | |
1848 | concepts. | |
1849 | (learn_*): Add facilities to memoize implications for subsumption | |
1850 | during normalization. | |
1851 | (expanding_concept): New. | |
1852 | (expand_concept): New. Return the inlined and normalized definition | |
1853 | of a concept when needed. | |
1854 | (transform_*, xform_*): Rename to normalize_* to better reflect the | |
1855 | responsibility of those functions. | |
1856 | (normalize_template_id_expression): Check for non-boolean operands | |
1857 | when possible. Generate check constraints instead of normal variable | |
1858 | references. | |
1859 | (normalize_call_expression): Report errors when resolution fails. | |
1860 | (check_for_logical_overloads): Rewrite this check to more accurately | |
1861 | report the error. | |
1862 | (normalize_atom): Check for overloaded calls and invalid types before | |
1863 | determining if the expression refers to a concept. | |
1864 | (build_constraints): Don't cache normalized constraints or decomposed | |
1865 | assumptions. | |
1866 | (finish_shorthand_constraint): Return a normalized expression instead | |
1867 | of a predicate constraint. | |
1868 | (finish_template_introduction): Same. | |
1869 | (placeholder_extract_concept_and_args): Rewrite this since we only | |
1870 | ever get check constraints here. | |
1871 | (equivalent_placeholder_constraints): Rewrite in terms of check | |
1872 | constraints, and handle error_mark_nodes correctly. | |
1873 | (tsubst_check_constraint, tsubst_expr_constr, tsubst_type_constr) | |
1874 | (tsubst_implicit_conversion_constr) | |
1875 | (tsubst_argument_deduction_constr, tsubst_exception_constr) | |
1876 | (tsubst_parameterized_constraint, tsubst_constraint): New. | |
1877 | (tsbust_conjunection): Replace with tsubst_logical_operator and | |
1878 | actually generate the right kind of constraint. | |
1879 | (tsubst_requirement_body): Reverse the order of substituted arguments | |
1880 | so that they appear in the order written (helps diagnostics). | |
1881 | (satisfy_check_constraint): New. | |
1882 | (satisfy_conjunction): Simplify. | |
1883 | (satisfy_disjunction): Same. | |
1884 | (satisfy_constraint_1): Handle check constraints. | |
1885 | (eval_constr): New (private) global state. | |
1886 | (evaluating_constraints_sentinel): New. Manages eval_constr. | |
1887 | (satisfy_constraint): Add timing variables. | |
1888 | (satisfy_associated_constraints): Add hooks for memoization. | |
1889 | (evaluate_function_concept): Build a check constraint instead of | |
1890 | normalizing its definition. | |
1891 | (evaluate_variable_concept): Same. | |
1892 | (evaluate_constraint_expression): Normalize, but in the current | |
1893 | declaration processing context. | |
1894 | (evaluating_constraints_p): New. | |
1895 | (elide_constraint_failure_p): Actually emit constraint_thresh errors. | |
1896 | (diagnose_*): Remove artificial indentation. Add a new parameter to | |
1897 | each that tracks the current (complete) constraint prior to any | |
1898 | substitutions. | |
1899 | (diagnose_expression): Removed. | |
1900 | (diagnose_call_expression): Same. | |
1901 | (diagnose_template_id): Same. | |
1902 | (diagnose_template_id): New. | |
1903 | (diagnose_logical_constraint): New. | |
1904 | (diagnose_expression_constraint): Show the original expression. | |
1905 | (diagnose_type_constraint): Show the original type. | |
1906 | (diagnose_implicit_conversion_constraint): Be specific about | |
1907 | failures, don't re-diagnose a known-to-be-failed substitutions, | |
1908 | and manage elisions properly. | |
1909 | (diagnose_argument_deduction_constraint): Same. | |
1910 | (diagnose_exception_constraint): Same. | |
1911 | (diagnose_parameterized_constraint): Same. | |
1912 | (constraint_p): Allow EXPR_PACK_EXPANSION. | |
1913 | * logic.cc (next_by_distance): Removed. No longer used. | |
1914 | (any_p): Renamed from any_of. | |
1915 | (term_entry, term_hasher): New. | |
1916 | (term_list): Rewrite to include a hash table for quick lookup. | |
1917 | Also, make less stateful. | |
1918 | (proof_state): Extend to allow goals to be discharged once | |
1919 | satisfied. | |
1920 | (non_atomic_constraint_p): New. | |
1921 | (any_non_atomic_constraints_p): New. | |
1922 | (...rest...): Previous implementation completely replaced with an | |
1923 | iterative algorithm that opportunistically prunes the search space | |
1924 | before committing to using more memory. | |
1925 | * parser.c: (cp_parser_type_parameter): Normalize constraints. | |
1926 | (cp_parser_explicit_template_declaration): Same. | |
1927 | * pt.c: (finish_template_variable): Be less redundant with this error | |
1928 | message. | |
1929 | (template_args_equal): No longer static. | |
1930 | (tsubst_decl): Don't try to find specializations of variables that | |
1931 | have already been instantiated. | |
1932 | (build_non_dependent_expr): Avoid infinite recursion during concept | |
1933 | expansion. | |
1934 | (make_constrained_auto): Normalize constraints. | |
1935 | (do_auto_deduction): When doing auto deduction from a | |
1936 | partial-concept-id, be sure to include the explicit args checking | |
1937 | the constraints. | |
1938 | (constraint_sat_*): New. Memoize satisfied constraints. | |
1939 | (concept_spec_*): New. Memoize expressions associated with a concept | |
1940 | specialization. | |
1941 | (constraint_memos, concept_memos): New. | |
1942 | (lookup_constraint_satisfaction, memoize_constraint_satisfaction): New. | |
1943 | (lookup_concept_satisfaction, memoize_concept_satisfaction): New. | |
1944 | (get_concept_expansion, save_concept_expansion): New. | |
1945 | (hash_subsumption_args): New. | |
1946 | (comp_subsumption_args): New. | |
1947 | (subsumption_*): New. Memoize parts of the subsumption relation. | |
1948 | (lookup_subsumption_result, save_subsumption_result): New. | |
1949 | (init_constraint_processing): Initialize memo tables. | |
1950 | (get_constraints): Shortcut if !flag_concepts. | |
1951 | * decl.c (grokfndecl): Normalize constraints. | |
1952 | * error.c (dump_simple_decl): Print "concept" when appropriate. | |
1953 | (dump_function_decl): Same. | |
1954 | (dump_template_decl): Don't write requirements when we're not | |
1955 | printing the header. | |
1956 | (dump_expr): Handle fold expressions. | |
1957 | * cxx-pretty-print.c (cxx_pretty_printer::expression): Handle | |
1958 | fold expressions. | |
1959 | (get_fold_operator): New. | |
1960 | (pp_cxx_unary_left_fold_expression): New. | |
1961 | (pp_cxx_unary_right_fold_expression): New. | |
1962 | (pp_cxx_binary_fold_expression): New. | |
1963 | (pp_cxx_check_constraint): New. | |
1964 | (pp_cxx_*_constraint): Rewrite the grammar of internal constraints | |
1965 | to make them easier to read when debugging. | |
1966 | * search.c (accessible_p): Don't shortcut when evaluating constraints. | |
1967 | * tree.c (cp_tree_equal): Handle CHECK_CONSTR. | |
1968 | ||
1969 | 2016-07-20 David Malcolm <dmalcolm@redhat.com> | |
1970 | ||
1971 | PR c/70339 | |
1972 | PR c/71858 | |
1973 | * name-lookup.c: Include gcc-rich-location.h, spellcheck-tree.h, | |
1974 | and parser.h. | |
1975 | (suggest_alternatives_for): If no candidates are found, try | |
1976 | lookup_name_fuzzy and report if if finds a suggestion. | |
1977 | (consider_binding_level): New function. | |
1978 | (lookup_name_fuzzy) New function. | |
1979 | * parser.c: Include gcc-rich-location.h. | |
1980 | (cp_lexer_next_token_is_decl_specifier_keyword): Move most of | |
1981 | logic into... | |
1982 | (cp_keyword_starts_decl_specifier_p): ...this new function. | |
1983 | (cp_parser_diagnose_invalid_type_name): When issuing | |
1984 | "does not name a type" errors, attempt to make a suggestion using | |
1985 | lookup_name_fuzzy. | |
1986 | * parser.h (cp_keyword_starts_decl_specifier_p): New prototype. | |
1987 | * search.c (lookup_field_fuzzy_info::fuzzy_lookup_field): Reject | |
1988 | types that are not CLASS_TYPE_P, rather than rejecting individual | |
1989 | tree codes. | |
1990 | ||
1991 | 2016-07-20 Jakub Jelinek <jakub@redhat.com> | |
1992 | ||
1993 | PR c++/71909 | |
1994 | * parser.c (cp_parser_save_member_function_body): Consume | |
1995 | __transaction_relaxed or __transaction_atomic with optional | |
1996 | attribute. Only skip catch with block if try keyword is seen. | |
1997 | ||
1998 | PR c++/50060 | |
1999 | * constexpr.c (cxx_eval_builtin_function_call): Pass false as lval | |
2000 | when evaluating call arguments. Use fold_builtin_call_array instead | |
2001 | of fold_build_call_array_loc, return t if it returns NULL. Otherwise | |
2002 | check the result with potential_constant_expression and call | |
2003 | cxx_eval_constant_expression on it. | |
2004 | ||
2005 | 2016-07-19 Jason Merrill <jason@redhat.com> | |
2006 | ||
2007 | PR c++/67164 | |
2008 | * pt.c (iterative_hash_template_arg, template_args_equal): Don't | |
2009 | handle ARGUMENT_PACK_SELECT. | |
2010 | ||
2011 | 2016-07-18 Jakub Jelinek <jakub@redhat.com> | |
2012 | ||
2013 | PR c++/70869 | |
2014 | PR c++/71054 | |
2015 | * cp-gimplify.c (cp_genericize_r): Revert the 2016-07-07 change. | |
2016 | * tree.c (cp_walk_subtrees): For DECL_EXPR on DECL_ARTIFICIAL | |
2017 | non-static VAR_DECL, walk the decl's DECL_INITIAL, DECL_SIZE and | |
2018 | DECL_SIZE_UNIT. | |
2019 | ||
2020 | PR c++/71835 | |
2021 | * call.c (build_op_call_1): Use convert_like_with_context only | |
2022 | if cand->fn is a decl. | |
2023 | ||
2024 | PR c++/71828 | |
2025 | * constexpr.c (cxx_eval_constant_expression) <case REALPART_EXPR>: | |
2026 | For lval don't use cxx_eval_unary_expression and instead recurse | |
2027 | and if needed rebuild the reference. | |
2028 | ||
2029 | PR c++/71826 | |
2030 | * pt.c (tsubst_baselink): Only set BASELINK_OPTYPE for BASELINK_P. | |
2031 | ||
2032 | PR c++/71822 | |
2033 | * cp-gimplify.c (cp_gimplify_expr) <case VEC_INIT_EXPR>: Recursively | |
2034 | fold *expr_p before genericizing it. | |
2035 | ||
2036 | PR c++/71871 | |
2037 | * typeck.c (build_x_conditional_expr): Revert the 2012-10-25 change. | |
2038 | ||
2039 | 2016-07-15 Jason Merrill <jason@redhat.com> | |
2040 | ||
2041 | PR c++/71495 | |
2042 | * call.c (convert_like_real): Mask complain. | |
2043 | * semantics.c (perform_koenig_lookup): Likewise. | |
2044 | ||
2045 | PR c++/71092 | |
2046 | * constexpr.c (cxx_eval_call_expression): Fail quietly when cgraph | |
2047 | threw away DECL_SAVED_TREE. | |
2048 | ||
2049 | PR c++/71117 | |
2050 | Core 2189 | |
2051 | * call.c (add_template_conv_candidate): Disable if there are | |
2052 | viable candidates. | |
2053 | ||
2054 | PR c++/71511 | |
2055 | * typeck2.c (cxx_incomplete_type_diagnostic): Handle DECLTYPE_TYPE. | |
2056 | ||
2057 | PR c++/71513 | |
2058 | * pt.c (tsubst_attributes): Fix loop logic. | |
2059 | ||
2060 | PR c++/71604 | |
2061 | PR c++/54430 | |
2062 | * parser.c (cp_parser_range_for): Modify IDENTIFIER_BINDING directly. | |
2063 | (cp_parser_simple_declaration): Diagnose type definition in | |
2064 | for-range-declaration. | |
2065 | ||
2066 | PR c++/71711 | |
2067 | * operators.def: Add *_FOLD_EXPR. | |
2068 | * cp-tree.h (FOLD_EXPR_P): Parenthesize. | |
2069 | * mangle.c (write_expression): Handle fold-expressions. | |
2070 | * pt.c (tsubst_unary_left_fold, tsubst_binary_left_fold) | |
2071 | (tsubst_unary_right_fold, tsubst_binary_right_fold): Handle | |
2072 | partial instantiation. | |
2073 | ||
2074 | PR c++/71814 | |
2075 | * mangle.c (write_expression): Handle sizeof... an argument pack. | |
2076 | ||
2077 | PR c++/71718 | |
2078 | * pt.c (push_tinst_level_loc): Set at_eof before fatal_error. | |
2079 | ||
2080 | PR c++/70824 | |
2081 | * init.c (constant_value_1): Don't instantiated DECL_INITIAL of | |
2082 | artificial variables. | |
2083 | ||
2084 | 2016-07-15 Cesar Philippidis <cesar@codesourcery.com> | |
2085 | ||
2086 | * parser.c (cp_parser_oacc_declare): Don't scan for | |
2087 | GOMP_MAP_POINTER. | |
2088 | * semantics.c (handle_omp_array_sections): Mark data clauses with | |
2089 | GOMP_MAP_FORCE_{PRESENT,TO,FROM,TOFROM} as potentially having | |
2090 | zero-length subarrays. | |
2091 | ||
2092 | 2016-07-11 Jason Merrill <jason@redhat.com> | |
2093 | ||
2094 | * decl.c (store_parm_decls): Remove check for void parm. | |
2095 | ||
2096 | 2016-07-08 Jason Merrill <jason@redhat.com> | |
2097 | ||
2098 | * cp-tree.h: Unpoison lvalue_p. | |
2099 | * call.c, class.c, constexpr.c, cvt.c, init.c, lambda.c, pt.c, | |
2100 | tree.c, typeck.c, typeck2.c: Use lvalue_p instead of | |
2101 | real_lvalue_p. | |
2102 | ||
2103 | * tree.c (obvalue_p): Rename from lvalue_p. | |
2104 | (lvalue_p): Define for c-common. | |
2105 | * call.c, cp-tree.h, cvt.c, init.c: Adjust. | |
2106 | * typeck.c: Adjust. | |
2107 | (cp_build_addr_expr_1): Remove obsolete code. | |
2108 | ||
2109 | * tree.c (glvalue_p): Rename from lvalue_or_rvalue_with_address_p. | |
2110 | * call.c, cp-tree.h, typeck.c: Adjust. | |
2111 | ||
2112 | * lambda.c (maybe_add_lambda_conv_op): Fix null object argument. | |
2113 | ||
2114 | P0145R2: Refining Expression Order for C++. | |
2115 | * cp-gimplify.c (lvalue_has_side_effects): New. | |
2116 | (cp_gimplify_expr): Implement assignment ordering. | |
2117 | * call.c (op_is_ordered, build_over_call): Adjust for | |
2118 | -fargs-in-order renaming to -fstrong-eval-order. | |
2119 | * cp-gimplify.c (cp_gimplify_expr): Likewise. | |
2120 | ||
2121 | 2016-07-07 Jakub Jelinek <jakub@redhat.com> | |
2122 | Kai Tietz <ktietz70@googlemail.com> | |
2123 | ||
2124 | PR c++/70869 | |
2125 | PR c++/71054 | |
2126 | * cp-gimplify.c (cp_genericize_r): For DECL_EXPR for non-static | |
2127 | artificial vars, genericize their initializers. | |
2128 | ||
2129 | 2016-07-05 David Malcolm <dmalcolm@redhat.com> | |
2130 | ||
2131 | PR c++/62314 | |
2132 | * parser.c (cp_parser_class_specifier_1): When reporting | |
2133 | missing semicolons, use a fixit-hint to suggest insertion | |
2134 | of a semicolon immediately after the closing brace, | |
2135 | offsetting the reported column accordingly. | |
2136 | ||
2137 | 2016-07-04 Jan Beulich <jbeulich@suse.com> | |
2138 | ||
2139 | * lang-specs.h ("@c++-header"): Conditionalize "-o". | |
2140 | ||
2141 | 2016-06-29 Thomas Schwinge <thomas@codesourcery.com> | |
2142 | ||
2143 | * parser.c (cp_parser_pragma) <PRAGMA_OMP_CANCELLATION_POINT>: | |
2144 | Move pragma context checking into... | |
2145 | (cp_parser_omp_cancellation_point): ... here, and improve | |
2146 | diagnostic messages. | |
2147 | * semantics.c (finish_omp_cancel, finish_omp_cancellation_point): | |
2148 | Improve diagnostic messages. | |
2149 | ||
2150 | 2016-06-28 Jakub Jelinek <jakub@redhat.com> | |
2151 | ||
2152 | * Make-lang.in: Don't cat ../stage_current if it does not exist. | |
2153 | ||
2154 | 2016-06-24 Jason Merrill <jason@redhat.com> | |
2155 | ||
2156 | P0145R2: Refining Expression Order for C++. | |
2157 | * typeck.c (cp_build_modify_expr): Leave COMPOUND_EXPR on LHS. | |
2158 | ||
2159 | * tree.c (get_target_expr_sfinae): Handle bit-fields. | |
2160 | (build_target_expr): Call mark_rvalue_use. | |
2161 | ||
2162 | 2016-06-24 Jakub Jelinek <jakub@redhat.com> | |
2163 | ||
2164 | * call.c (magic_varargs_p): Return 3 for __builtin_*_overflow_p. | |
2165 | (build_over_call): For magic == 3, do no conversion only on 3rd | |
2166 | argument. | |
2167 | ||
2168 | 2016-06-23 Andi Kleen <ak@linux.intel.com> | |
2169 | ||
2170 | * Make-lang.in: Add support for autofdo. | |
2171 | ||
2172 | 2016-06-21 Jason Merrill <jason@redhat.com> | |
2173 | ||
2174 | * constraint.cc (constraints_satisfied_p): Keep as many levels of | |
2175 | args as our template has levels of parms. | |
2176 | ||
2177 | * pt.c (template_parm_outer_level, uses_outer_template_parms): New. | |
2178 | (type_dependent_expression_p): Use uses_outer_template_parms. | |
2179 | ||
2180 | 2016-06-20 David Malcolm <dmalcolm@redhat.com> | |
2181 | ||
2182 | * parser.c (cp_parser_string_literal): Convert non-standard | |
2183 | concatenation error to directly use a rich_location, and | |
2184 | use that to add the location of the first literal to the | |
2185 | diagnostic. | |
2186 | ||
2187 | 2016-06-17 Paolo Carlini <paolo.carlini@oracle.com> | |
2188 | ||
2189 | * decl.c (validate_constexpr_redeclaration): Change pair of errors | |
2190 | to error + inform. | |
2191 | * error.c (dump_function_decl): Save the constexpr specifier too. | |
2192 | ||
2193 | 2016-06-17 Jakub Jelinek <jakub@redhat.com> | |
2194 | ||
2195 | * tree.c (builtin_valid_in_constant_expr_p): Test for | |
2196 | DECL_BUILT_IN_CLASS equal to BUILT_IN_NORMAL instead of just | |
2197 | DECL_BUILT_IN. | |
2198 | (bot_manip): Likewise. | |
2199 | * call.c (magic_varargs_p): Likewise. | |
2200 | ||
2201 | 2016-06-17 Paolo Carlini <paolo.carlini@oracle.com> | |
2202 | ||
2203 | * decl.c (grokfndecl): Change pair of errors to error + inform. | |
2204 | ||
2205 | 2016-06-17 Jason Merrill <jason@redhat.com> | |
2206 | ||
2207 | PR c++/71209 | |
2208 | * typeck.c (finish_class_member_access_expr): Avoid "not a base" | |
2209 | warning when there are dependent bases. | |
2210 | ||
2211 | 2016-06-17 Jakub Jelinek <jakub@redhat.com> | |
2212 | ||
2213 | * semantics.c (handle_omp_array_sections_1): Don't ICE when | |
2214 | processing_template_decl when checking for bitfields and unions. | |
2215 | Look through REFERENCE_REF_P as base of COMPONENT_REF. | |
2216 | (finish_omp_clauses): Look through REFERENCE_REF_P even for | |
2217 | array sections with COMPONENT_REF bases. | |
2218 | ||
2219 | 2016-06-16 Jakub Jelinek <jakub@redhat.com> | |
2220 | ||
2221 | * parser.c (cp_parser_omp_var_list_no_open): Call | |
2222 | convert_from_reference before cp_parser_postfix_dot_deref_expression. | |
2223 | * semantics.c (finish_omp_clauses): Don't ICE when | |
2224 | processing_template_decl when checking for bitfields and unions. | |
2225 | Look through REFERENCE_REF_P as base of COMPONENT_REF. | |
2226 | ||
2227 | 2016-06-15 Paolo Carlini <paolo.carlini@oracle.com> | |
2228 | ||
2229 | * decl.c (wrapup_globals_for_namespace): Use DECL_SOURCE_LOCATION and | |
2230 | "%qF" in warning_at instead of "%q+F" in warning. | |
2231 | (check_redeclaration_exception_specification): Likewise in pedwarn | |
2232 | (and error, inform, for consistency). | |
2233 | * call.c (joust): Likewise. | |
2234 | ||
2235 | 2016-06-15 Paolo Carlini <paolo.carlini@oracle.com> | |
2236 | ||
2237 | PR c++/70202 | |
2238 | * decl.c (xref_basetypes): Revert r117839 changes; add fix-up | |
2239 | code at the end of the for loop; also revert r159637 changes, | |
2240 | add back the gcc_assert. | |
2241 | * cp-tree.h (xref_basetypes): Adjust declaration. | |
2242 | * parser.c (cp_parser_class_head): Adjust xref_basetypes call. | |
2243 | ||
2244 | 2016-06-14 David Malcolm <dmalcolm@redhat.com> | |
2245 | ||
2246 | * search.c: Include spellcheck-tree.h rather than spellcheck.h. | |
2247 | ||
2248 | 2016-06-14 David Malcolm <dmalcolm@redhat.com> | |
2249 | ||
2250 | * typeck.c: Include "gcc-rich-location.h". | |
2251 | (finish_class_member_access_expr): Simplify fixit code by | |
2252 | using gcc_rich_location::add_fixit_misspelled_id. | |
2253 | ||
2254 | 2016-06-14 Jason Merrill <jason@redhat.com> | |
2255 | ||
2256 | P0145R2: Refining Expression Order for C++. | |
2257 | * cp-tree.h (CALL_EXPR_OPERATOR_SYNTAX, CALL_EXPR_ORDERED_ARGS) | |
2258 | (CALL_EXPR_REVERSE_ARGS): New. | |
2259 | * call.c (build_new_op_1): Set them. | |
2260 | (extract_call_expr, op_is_ordered): New. | |
2261 | (build_over_call): Set CALL_EXPR_ORDERED_ARGS. | |
2262 | * cp-gimplify.c (cp_gimplify_expr) [CALL_EXPR]: Handle new flags. | |
2263 | * pt.c (tsubst_copy_and_build): Copy new flags. | |
2264 | * semantics.c (simplify_aggr_init_expr): Likewise. | |
2265 | * tree.c (build_aggr_init_expr): Likewise. | |
2266 | (build_min_non_dep_op_overload): Likewise. | |
2267 | ||
2268 | 2016-06-14 Jakub Jelinek <jakub@redhat.com> | |
2269 | ||
2270 | PR c++/71528 | |
2271 | * decl.c (duplicate_decls): For DECL_INITIALIZED_P non-external | |
2272 | olddecl vars, preserve their TREE_READONLY bit. | |
2273 | ||
2274 | PR c++/71516 | |
2275 | * decl.c (complete_vars): Handle gracefully type == error_mark_node. | |
2276 | ||
2277 | 2016-06-14 Paolo Carlini <paolo.carlini@oracle.com> | |
2278 | ||
2279 | * typeck2.c (digest_init_r): Use EXPR_LOC_OR_LOC on init. | |
2280 | ||
2281 | 2016-06-13 Paolo Carlini <paolo.carlini@oracle.com> | |
2282 | ||
2283 | * decl.c (grokdeclarator): Fix typo in pedwarn text. | |
2284 | ||
2285 | 2016-06-10 Thomas Schwinge <thomas@codesourcery.com> | |
2286 | ||
2287 | PR c/71381 | |
2288 | * parser.c (cp_parser_omp_var_list_no_open) <OMP_CLAUSE__CACHE_>: | |
2289 | Loosen checking. | |
2290 | ||
2291 | 2016-06-09 Paolo Carlini <paolo.carlini@oracle.com> | |
2292 | ||
2293 | PR c++/71465 | |
2294 | Revert: | |
2295 | 2016-06-04 Paolo Carlini <paolo.carlini@oracle.com> | |
2296 | ||
2297 | PR c++/70202 | |
2298 | * parser.c (cp_parser_class_head): When xref_basetypes fails and | |
2299 | emits an error do not zero the type. | |
2300 | ||
2301 | 2016-06-08 Paolo Carlini <paolo.carlini@oracle.com> | |
2302 | ||
2303 | * decl.c (maybe_deduce_size_from_array_init): Use | |
2304 | DECL_SOURCE_LOCATION in error_at. | |
2305 | (layout_var_decl): Likewise. | |
2306 | (check_array_initializer): Likewise. | |
2307 | (check_initializer): Likewise. | |
2308 | (duplicate_decls, check_elaborated_type_specifier): Tidy. | |
2309 | ||
2310 | 2016-06-08 Martin Sebor <msebor@redhat.com> | |
2311 | Jakub Jelinek <jakub@redhat.com> | |
2312 | ||
2313 | PR c++/70507 | |
2314 | PR c/68120 | |
2315 | * constexpr.c: Include gimple-fold.h. | |
2316 | (cxx_eval_internal_function): New function. | |
2317 | (cxx_eval_call_expression): Call it. | |
2318 | (potential_constant_expression_1): Handle integer arithmetic | |
2319 | overflow built-ins. | |
2320 | * tree.c (builtin_valid_in_constant_expr_p): Handle | |
2321 | BUILT_IN_{ADD,SUB,MUL}_OVERFLOW_P. | |
2322 | ||
2323 | 2016-06-08 Paolo Carlini <paolo.carlini@oracle.com> | |
2324 | ||
2325 | * pt.c (tsubst, case TYPENAME_TYPE): Don't delay checking the | |
2326 | return value of tsubst_aggr_type for error_mark_node. | |
2327 | ||
2328 | 2016-06-08 Jakub Jelinek <jakub@redhat.com> | |
2329 | ||
2330 | PR c++/71442 | |
2331 | * pt.c (tsubst_copy): Only set TREE_USED on DECLs. | |
2332 | ||
2333 | 2016-06-06 Jakub Jelinek <jakub@redhat.com> | |
2334 | Patrick Palka <ppalka@gcc.gnu.org> | |
2335 | ||
2336 | PR c++/70847 | |
2337 | PR c++/71330 | |
2338 | PR c++/71393 | |
2339 | * cp-gimplify.c (cp_fold_r): Set *walk_subtrees = 0 and return NULL | |
2340 | right after cp_fold call if cp_fold has returned the same stmt | |
2341 | already in some earlier cp_fold_r call. | |
2342 | (cp_fold_function): Add pset automatic variable, pass its address | |
2343 | to cp_walk_tree. | |
2344 | ||
2345 | 2016-06-04 Paolo Carlini <paolo.carlini@oracle.com> | |
2346 | ||
2347 | PR c++/70202 | |
2348 | * parser.c (cp_parser_class_head): When xref_basetypes fails and | |
2349 | emits an error do not zero the type. | |
2350 | ||
2351 | 2016-06-03 Patrick Palka <ppalka@gcc.gnu.org> | |
2352 | ||
2353 | PR c++/27100 | |
2354 | * decl.c (duplicate_decls): Properly copy the | |
2355 | DECL_PENDING_INLINE_P, DECL_PENDING_INLINE_INFO and | |
2356 | DECL_SAVED_FUNCTION_DATA fields from OLDDECL to NEWDECL. | |
2357 | ||
2358 | 2016-06-03 Chung-Lin Tang <cltang@codesourcery.com> | |
2359 | ||
2360 | * semantics.c (finish_omp_clauses): Mark OpenACC reduction | |
2361 | arguments as addressable when async clause exists. | |
2362 | ||
2363 | 2016-06-02 Jan Hubicka <jh@suse.cz> | |
2364 | ||
2365 | * cp-gimplify.c (genericize_continue_stmt): Force addition of | |
2366 | predict stmt. | |
2367 | ||
2368 | 2016-06-02 Paolo Carlini <paolo.carlini@oracle.com> | |
2369 | ||
2370 | * decl.c (xref_tag_1): Change pairs of errors to error + inform. | |
2371 | (start_enum): Likewise. | |
2372 | * parser.c (cp_parser_class_head): Likewise. | |
2373 | ||
2374 | 2016-06-02 Jakub Jelinek <jakub@redhat.com> | |
2375 | ||
2376 | PR c++/71372 | |
2377 | * cp-gimplify.c (cp_fold): For INDIRECT_REF, if the folded expression | |
2378 | is INDIRECT_REF or MEM_REF, copy over TREE_READONLY, TREE_SIDE_EFFECTS | |
2379 | and TREE_THIS_VOLATILE flags. For ARRAY_REF and ARRAY_RANGE_REF, copy | |
2380 | over TREE_READONLY, TREE_SIDE_EFFECTS and TREE_THIS_VOLATILE flags | |
2381 | to the newly built tree. | |
2382 | ||
2383 | 2016-05-31 Jason Merrill <jason@redhat.com> | |
2384 | ||
2385 | * pt.c (instantiate_decl): Avoid recalculation. | |
2386 | ||
2387 | PR c++/60095 | |
2388 | PR c++/69515 | |
2389 | PR c++/69009 | |
2390 | * pt.c (instantiate_template_1): Don't put the partial | |
2391 | specialization in DECL_TI_TEMPLATE. | |
2392 | (partial_specialization_p, impartial_args): Remove. | |
2393 | (regenerate_decl_from_template): Add args parm. | |
2394 | (instantiate_decl): Look up the partial specialization again. | |
2395 | ||
2396 | PR c++/71227 | |
2397 | * pt.c (check_explicit_specialization): Give better diagnostic about | |
2398 | specializing a hidden friend. | |
2399 | ||
2400 | 2016-05-31 Paolo Carlini <paolo.carlini@oracle.com> | |
2401 | ||
2402 | PR c++/71248 | |
2403 | * decl.c (check_static_variable_definition): Use DECL_SOURCE_LOCATION | |
2404 | to obtain correct locations; avoid redundant diagnostics on | |
2405 | out-of-class definitions. | |
2406 | ||
2407 | 2016-05-30 Martin Sebor <msebor@redhat.com> | |
2408 | ||
2409 | PR c++/71306 | |
2410 | * init.c (warn_placement_new_too_small): Handle placement new arguments | |
2411 | that are elements of arrays more carefully. Remove a pointless loop. | |
2412 | ||
2413 | 2016-05-30 Jakub Jelinek <jakub@redhat.com> | |
2414 | ||
2415 | PR c++/71349 | |
2416 | * parser.c (cp_parser_omp_for): Don't disallow nowait clause | |
2417 | when combined with target construct. | |
2418 | (cp_parser_omp_parallel): Pass cclauses == NULL as last argument | |
2419 | to cp_parser_omp_all_clauses. | |
2420 | ||
2421 | 2016-05-30 Paolo Carlini <paolo.carlini@oracle.com> | |
2422 | ||
2423 | PR c++/71238 | |
2424 | * lex.c (unqualified_name_lookup_error): Take a location too. | |
2425 | (unqualified_fn_lookup_error): Take a cp_expr. | |
2426 | * cp-tree.h (unqualified_name_lookup_error, | |
2427 | unqualified_fn_lookup_error): Adjust declarations. | |
2428 | * semantics.c (perform_koenig_lookup): Adjust | |
2429 | unqualified_fn_lookup_error call, pass the location of | |
2430 | the identifier too as part of a cp_expr. | |
2431 | ||
2432 | 2016-05-30 Paolo Carlini <paolo.carlini@oracle.com> | |
2433 | ||
2434 | PR c++/71099 | |
2435 | * parser.c (cp_parser_function_specifier_opt): Use current_class_type | |
2436 | to improve the diagnostic about wrong uses of 'virtual'. | |
2437 | ||
2438 | 2016-05-29 Paolo Carlini <paolo.carlini@oracle.com> | |
2439 | ||
2440 | PR c++/71105 | |
2441 | * lambda.c (maybe_add_lambda_conv_op): Early return also when | |
2442 | LAMBDA_EXPR_DEFAULT_CAPTURE_MODE != CPLD_NONE. | |
2443 | ||
2444 | 2016-05-28 Ville Voutilainen <ville.voutilainen@gmail.com> | |
2445 | ||
2446 | Revert: | |
2447 | PR c++/69855 | |
2448 | * name-lookup.c (pushdecl_maybe_friend_1): Push local function | |
2449 | decls into the global scope after stripping template bits | |
2450 | and setting DECL_ANTICIPATED. | |
2451 | ||
2452 | 2016-05-27 Paolo Carlini <paolo.carlini@oracle.com> | |
2453 | ||
2454 | PR c++/60385 | |
2455 | * name-lookup.c (push_namespace): Return bool, false when pushdecl | |
2456 | fails. | |
2457 | * name-lookup.h (push_namespace): Adjust declaration. | |
2458 | * parser.c (cp_parser_namespace_definition): Check push_namespace | |
2459 | return value. | |
2460 | ||
2461 | 2016-05-27 Ville Voutilainen <ville.voutilainen@gmail.com> | |
2462 | ||
2463 | PR c++/69855 | |
2464 | * name-lookup.c (pushdecl_maybe_friend_1): Push local function | |
2465 | decls into the global scope after stripping template bits | |
2466 | and setting DECL_ANTICIPATED. | |
2467 | ||
2468 | 2016-05-26 Jakub Jelinek <jakub@redhat.com> | |
2469 | ||
2470 | * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_SCHEDULE>: Warn | |
2471 | if OMP_CLAUSE_SCHEDULE_CHUNK_EXPR is known not to be positive. | |
2472 | ||
2473 | 2016-05-26 Patrick Palka <ppalka@gcc.gnu.org> | |
2474 | ||
2475 | PR c++/70822 | |
2476 | PR c++/70106 | |
2477 | * cp-tree.h (REF_PARENTHESIZED_P): Make this flag apply to | |
2478 | SCOPE_REFs too. | |
2479 | * pt.c (tsubst_qualified_id): If REF_PARENTHESIZED_P is set | |
2480 | on the qualified_id then propagate it to the resulting | |
2481 | expression. | |
2482 | (do_auto_deduction): Check REF_PARENTHESIZED_P on SCOPE_REFs | |
2483 | too. | |
2484 | * semantics.c (force_paren_expr): If given a SCOPE_REF, just set | |
2485 | its REF_PARENTHESIZED_P flag. | |
2486 | ||
2487 | 2016-05-25 Jason Merrill <jason@redhat.com> | |
2488 | ||
2489 | PR c++/71173 | |
2490 | PR c++/70522 | |
2491 | * cp-tree.h (enum tag_types): Add scope_type. | |
2492 | * parser.c (cp_parser_class_name): Use scope_type. | |
2493 | (prefer_type_arg): Handle scope_type. | |
2494 | (cp_parser_lookup_name): Use prefer_type_arg. | |
2495 | * name-lookup.c (lookup_qualified_name): Change bool is_type_p to | |
2496 | int prefer_type, use lookup_flags. | |
2497 | * name-lookup.h: Adjust. | |
2498 | ||
2499 | 2016-05-24 Cesar Philippidis <cesar@codesourcery.com> | |
2500 | ||
2501 | * parser.c (cp_parser_oacc_declare): Add support for | |
2502 | GOMP_MAP_FIRSTPRIVATE_POINTER. | |
2503 | * semantics.c (handle_omp_array_sections_1): Replace bool is_omp | |
2504 | argument with enum c_omp_region_type ort. Don't privatize OpenACC | |
2505 | non-static members. | |
2506 | (handle_omp_array_sections): Replace bool is_omp argument with enum | |
2507 | c_omp_region_type ort. Update call to handle_omp_array_sections_1. | |
2508 | (finish_omp_clauses): Add specific errors and warning messages for | |
2509 | OpenACC. Use firsrtprivate pointers for OpenACC subarrays. Update | |
2510 | call to handle_omp_array_sections. | |
2511 | ||
2512 | 2016-05-24 Jason Merrill <jason@redhat.com> | |
2513 | ||
2514 | PR c++/70584 | |
2515 | * cp-gimplify.c (cp_fold_maybe_rvalue): Loop in case cp_fold | |
2516 | returns a decl. | |
2517 | (cp_fold) [INDIRECT_REF]: Don't fold to an rvalue. | |
2518 | ||
2519 | 2016-05-24 Martin Sebor <msebor@redhat.com> | |
2520 | ||
2521 | PR c++/71147 | |
2522 | * decl.c (layout_var_decl, grokdeclarator): Use complete_or_array_type_p. | |
2523 | * pt.c (instantiate_class_template_1): Try to complete the element | |
2524 | type of a flexible array member. | |
2525 | (can_complete_type_without_circularity): Handle arrays of unknown bound. | |
2526 | * typeck.c (complete_type): Also complete the type of the elements of | |
2527 | arrays with an unspecified bound. | |
2528 | ||
2529 | 2016-05-24 Paolo Carlini <paolo.carlini@oracle.com> | |
2530 | ||
2531 | PR c++/69872 | |
2532 | * typeck2.c (check_narrowing): Check pedwarn return value. | |
2533 | ||
2534 | 2016-05-24 Jakub Jelinek <jakub@redhat.com> | |
2535 | ||
2536 | PR c++/71257 | |
2537 | * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_LINEAR>: | |
2538 | For OMP_CLAUSE_LINEAR_REF don't require type to be | |
2539 | integral or pointer. | |
2540 | ||
2541 | 2016-05-24 Richard Biener <rguenther@suse.de> | |
2542 | ||
2543 | PR middle-end/70434 | |
2544 | PR c/69504 | |
2545 | * expr.c (mark_exp_read): Handle VIEW_CONVERT_EXPR. | |
2546 | * constexpr.c (cxx_eval_array_reference): Handle indexed | |
2547 | vectors. | |
2548 | * typeck.c (cp_build_array_ref): Adjust. | |
2549 | ||
2550 | 2016-05-23 Jason Merrill <jason@redhat.com> | |
2551 | ||
2552 | PR c++/70344 | |
2553 | * constexpr.c (cxx_eval_call_expression): Check for | |
2554 | fun == current_function_decl again. | |
2555 | ||
2556 | PR c++/70584 | |
2557 | * cp-gimplify.c (cp_fold) [INDIRECT_REF]: Call | |
2558 | maybe_undo_parenthesized_ref. | |
2559 | ||
2560 | PR c++/70735 | |
2561 | * pt.c (tsubst_copy): Just return a local variable from | |
2562 | non-template context. Don't call rest_of_decl_compilation for | |
2563 | duplicated static locals. | |
2564 | (tsubst_decl): Set DECL_CONTEXT of local static from another | |
2565 | function. | |
2566 | ||
2567 | 2016-05-23 Paolo Carlini <paolo.carlini@oracle.com> | |
2568 | ||
2569 | PR c++/70972 | |
2570 | * method.c (forward_parm): Use cp_build_reference_type. | |
2571 | ||
2572 | 2016-05-23 Paolo Carlini <paolo.carlini@oracle.com> | |
2573 | ||
2574 | PR c++/69095 | |
2575 | * parser.c (cp_parser_initializer): Use check_for_bare_parameter_packs. | |
2576 | ||
2577 | 2016-05-23 Paolo Carlini <paolo.carlini@oracle.com> | |
2578 | ||
2579 | * pt.c (check_for_bare_parameter_packs): Improve error message | |
2580 | location for expressions. | |
2581 | ||
2582 | 2016-05-20 Nathan Sidwell <nathan@acm.org> | |
2583 | ||
2584 | * constexpr.c (cxx_bind_parameters_in_call): Avoid gratuitous if | |
2585 | ... goto. | |
2586 | (cxx_eval_call_expression): Fix comment grammar. | |
2587 | ||
2588 | 2016-05-20 Paolo Carlini <paolo.carlini@oracle.com> | |
2589 | ||
2590 | PR c++/70572 | |
2591 | * decl.c (cp_finish_decl): Check do_auto_deduction return value | |
2592 | and return immediately in case of erroneous code. | |
2593 | ||
2594 | 2016-05-19 Marek Polacek <polacek@redhat.com> | |
2595 | ||
2596 | PR c++/71075 | |
2597 | * pt.c (unify_template_argument_mismatch): Use %qE instead of %qD. | |
2598 | ||
2599 | 2016-05-19 Jason Merrill <jason@redhat.com> | |
2600 | ||
2601 | PR c++/10200 | |
2602 | * pt.c (fn_type_unification): Add outer template args if needed. | |
2603 | (type_unification_real): Handle getting full args. | |
2604 | ||
2605 | 2016-05-19 David Malcolm <dmalcolm@redhat.com> | |
2606 | ||
2607 | PR c++/71184 | |
2608 | * parser.c (cp_parser_operator): For array new/delete, check that | |
2609 | cp_parser_require returned a non-NULL token before dereferencing | |
2610 | it. | |
2611 | ||
2612 | 2016-05-19 Bernd Edlinger <bernd.edlinger@hotmail.de> | |
2613 | ||
2614 | * decl.c (finish_enum_value_list): Use the specified mode. | |
2615 | ||
2616 | 2016-05-18 Jason Merrill <jason@redhat.com> | |
2617 | ||
2618 | * pt.c (value_dependent_expression_p): Tweak new cases to better | |
2619 | match the wording in the standard. | |
2620 | ||
2621 | 2016-05-18 Paolo Carlini <paolo.carlini@oracle.com> | |
2622 | ||
2623 | PR c++/69793 | |
2624 | * parser.c (cp_parser_template_id): Don't call cp_lexer_peek_nth_token | |
2625 | when the previous cp_lexer_peek_token returns CPP_EOF. | |
2626 | ||
2627 | 2016-05-18 Paolo Carlini <paolo.carlini@oracle.com> | |
2628 | ||
2629 | PR c++/70466 | |
2630 | * call.c (convert_like_real): Check that we are actually converting | |
2631 | from an init list. | |
2632 | ||
2633 | 2016-05-16 Matthew Wahab <matthew.wahab@arm.com> | |
2634 | ||
2635 | * decl.c (grokdeclarator): Remove errmsg and use of | |
2636 | targetm.invalid_return_type. | |
2637 | (grokparms): Remove errmsg and use of | |
2638 | targetm.invalid_parameter_type. | |
2639 | ||
2640 | 2016-05-13 Jason Merrill <jason@redhat.com> | |
2641 | ||
2642 | PR c++/10200 | |
2643 | PR c++/69753 | |
2644 | * pt.c (tsubst_decl): Use uses_template_parms. | |
2645 | (instantiate_template_1): Handle non-dependent calls in templates. | |
2646 | (value_dependent_expression_p): Handle BASELINK, FUNCTION_DECL. | |
2647 | (type_dependent_expression_p): Only consider innermost template args. | |
2648 | (dependent_template_arg_p): Check enclosing class of a template here. | |
2649 | (dependent_template_p): Not here. | |
2650 | (type_dependent_object_expression_p): New. | |
2651 | * typeck.c (finish_class_member_access_expr): Use it. | |
2652 | * parser.c (cp_parser_postfix_expression): Use it. | |
2653 | (cp_parser_postfix_dot_deref_expression): Use it. Use comptypes | |
2654 | to detect the current instantiation. | |
2655 | (cp_parser_lookup_name): Really implement DR 141. | |
2656 | * search.c (lookup_field_r): Prefer a dependent using-declaration. | |
2657 | (any_dependent_bases_p): Split out from... | |
2658 | * name-lookup.c (do_class_using_decl): ...here. | |
2659 | * call.c (build_new_method_call_1): Use it. | |
2660 | * semantics.c (finish_call_expr): 'this' doesn't make a call dependent. | |
2661 | * tree.c (non_static_member_function_p): Remove. | |
2662 | * typeck2.c (build_x_arrow): Use dependent_scope_p. | |
2663 | ||
2664 | * parser.c (cp_parser_postfix_dot_deref_expression): Use | |
2665 | complete_type_or_else for unknown_type_node, too. | |
2666 | ||
2667 | 2016-05-12 Marek Polacek <polacek@redhat.com> | |
2668 | ||
2669 | PR c/70756 | |
2670 | * call.c (build_new_op_1): Pass LOC to cp_build_modify_expr. | |
2671 | * cp-tree.h (cp_build_modify_expr): Update declaration. | |
2672 | (cxx_incomplete_type_error, cxx_incomplete_type_diagnostic): New inline | |
2673 | overloads. | |
2674 | * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Pass INPUT_LOCATION to | |
2675 | cp_build_modify_expr. | |
2676 | * decl2.c (set_guard): Likewise. | |
2677 | (handle_tls_init): Likewise. | |
2678 | * init.c (perform_member_init): Likewise. | |
2679 | (expand_virtual_init): Likewise. | |
2680 | (build_new_1): Likewise. | |
2681 | (build_vec_delete_1): Likewise. | |
2682 | (get_temp_regvar): Likewise. | |
2683 | (build_vec_init): Likewise. | |
2684 | * method.c (do_build_copy_assign): Likewise. | |
2685 | (assignable_expr): Likewise. | |
2686 | * semantics.c (finish_omp_for): Likewise. | |
2687 | * typeck.c (cp_build_binary_op): Pass LOCATION to pointer_diff and | |
2688 | cp_pointer_int_sum. | |
2689 | (cp_pointer_int_sum): Add location parameter. Pass it down to | |
2690 | pointer_int_sum. | |
2691 | (pointer_diff): Add location parameter. Use it. | |
2692 | (build_modify_expr): Pass location down to cp_build_modify_expr. | |
2693 | (cp_build_modify_expr): Add location parameter. Use it. | |
2694 | (build_x_modify_expr): Pass location down to cp_build_modify_expr. | |
2695 | * typeck2.c (cxx_incomplete_type_diagnostic, | |
2696 | cxx_incomplete_type_error): Add location parameter. | |
2697 | ||
2698 | 2016-05-11 Marek Polacek <polacek@redhat.com> | |
2699 | ||
2700 | PR c++/71024 | |
2701 | * decl.c (duplicate_decls): Call diagnose_mismatched_decls. | |
2702 | ||
2703 | 2016-05-05 Jakub Jelinek <jakub@redhat.com> | |
2704 | ||
2705 | * parser.c (cp_parser_selection_statement): For RID_SWITCH, | |
2706 | pass if_p instead of NULL to cp_parser_implicitly_scoped_statement. | |
2707 | ||
2708 | 2016-05-04 Marek Polacek <polacek@redhat.com> | |
2709 | ||
2710 | * parser.c (cp_parser_selection_statement): Replace OPT_Wparentheses | |
2711 | with OPT_Wdangling_else. | |
2712 | ||
2713 | 2016-05-03 Martin Sebor <msebor@redhat.com> | |
2714 | ||
2715 | PR c++/66561 | |
2716 | * tree.c (builtin_valid_in_constant_expr_p): Treat BUILT_IN_FILE, | |
2717 | BUILT_IN_FUNCTION, and BUILT_IN_LINE as constant expressions. | |
2718 | ||
2719 | 2016-05-03 Marek Polacek <polacek@redhat.com> | |
2720 | ||
2721 | PR c/70859 | |
2722 | * call.c (build_cxx_call): Pass location and vNULL down to | |
2723 | check_builtin_function_arguments. | |
2724 | ||
2725 | 2016-05-03 Richard Biener <rguenther@suse.de> | |
2726 | ||
2727 | * Make-lang.in (cc1plus-checksum.c): For stage-final re-use | |
2728 | the checksum from the previous stage. | |
2729 | ||
2730 | 2016-05-02 David Malcolm <dmalcolm@redhat.com> | |
2731 | ||
2732 | PR c++/62314 | |
2733 | * typeck.c (finish_class_member_access_expr): When | |
2734 | giving a hint about a possibly-misspelled member name, | |
2735 | add a fix-it replacement hint. | |
2736 | ||
2737 | 2016-05-02 Cesar Philippidis <cesar@codesourcery.com> | |
2738 | ||
2739 | * cp-tree.h (finish_omp_clauses): Update prototype. | |
2740 | * parser.c (cp_parser_oacc_all_clauses): Update call to | |
2741 | finish_omp_clauses. | |
2742 | (cp_parser_omp_all_clauses): Likewise. | |
2743 | (cp_parser_omp_for_loop): Likewise. | |
2744 | (cp_omp_split_clauses): Likewise. | |
2745 | (cp_parser_oacc_cache): Likewise. | |
2746 | (cp_parser_oacc_loop): Likewise. | |
2747 | (cp_parser_omp_declare_target): | |
2748 | (cp_parser_cilk_simd_all_clauses): Likewise. | |
2749 | (cp_parser_cilk_for): Likewise. | |
2750 | * pt.c (tsubst_omp_clauses): Replace allow_fields and declare_simd | |
2751 | arguments with enum c_omp_region_type ort. | |
2752 | (tsubst_omp_clauses): Update calls to finish_omp_clauses. | |
2753 | (tsubst_omp_attribute): Update calls to tsubst_omp_clauses. | |
2754 | (tsubst_omp_for_iterator): Update calls to finish_omp_clauses. | |
2755 | (tsubst_expr): Update calls to tsubst_omp_clauses. | |
2756 | * semantics.c (finish_omp_clauses): Replace bool arguments | |
2757 | allow_fields, declare_simd, and is_cilk with bitmask ort. | |
2758 | (finish_omp_for): Update call to finish_omp_clauses. | |
2759 | ||
2760 | 2016-05-02 David Malcolm <dmalcolm@redhat.com> | |
2761 | ||
2762 | PR c++/62314 | |
2763 | * parser.c (cp_parser_class_head): Capture the start location; | |
2764 | use it to emit a fix-it insertion hint when complaining | |
2765 | about missing "template <> " in explicit specializations. | |
2766 | ||
2767 | 2016-05-02 Richard Sandiford <richard.sandiford@arm.com> | |
2768 | ||
2769 | * init.c (build_new_1): Use shift operators instead of wi:: shifts. | |
2770 | ||
2771 | 2016-05-02 Richard Biener <rguenther@suse.de> | |
2772 | ||
2773 | * decl.c (grokdeclarator): Properly insert a DECL_EXPR for | |
2774 | anonymous VLAs. | |
2775 | ||
2776 | 2016-04-29 Paolo Carlini <paolo.carlini@oracle.com> | |
2777 | ||
2778 | PR c++/66644 | |
2779 | * class.c (check_field_decl): Remove final int* parameter, change | |
2780 | the return type to bool; fix logic in order not to reject multiple | |
2781 | initialized fields in anonymous struct. | |
2782 | (check_field_decls): Adjust call. | |
2783 | ||
2784 | 2016-04-29 Cesar Philippidis <cesar@codesourcery.com> | |
2785 | ||
2786 | PR middle-end/70626 | |
2787 | * parser.c (cp_parser_oacc_loop): Don't augment mask with | |
2788 | OACC_LOOP_CLAUSE_MASK. | |
2789 | (cp_parser_oacc_kernels_parallel): Update call to | |
2790 | c_oacc_split_loop_clauses. | |
2791 | ||
2792 | 2016-04-28 Jason Merrill <jason@redhat.com> | |
2793 | ||
2794 | Implement C++17 [[nodiscard]] attribute. | |
2795 | PR c++/38172 | |
2796 | PR c++/54379 | |
2797 | * parser.c (cp_parser_std_attribute): Handle [[nodiscard]]. | |
2798 | * tree.c (handle_nodiscard_attribute): New. | |
2799 | (cxx_attribute_table): Add [[nodiscard]]. | |
2800 | * cvt.c (cp_get_fndecl_from_callee, cp_get_callee_fndecl): New. | |
2801 | (maybe_warn_nodiscard): New. | |
2802 | (convert_to_void): Call it. | |
2803 | ||
2804 | * cvt.c (cp_get_callee): New. | |
2805 | * constexpr.c (get_function_named_in_call): Use it. | |
2806 | * cxx-pretty-print.c (postfix_expression): Use it. | |
2807 | * except.c (check_noexcept_r): Use it. | |
2808 | * method.c (check_nontriv): Use it. | |
2809 | * tree.c (build_aggr_init_expr): Use it. | |
2810 | * cp-tree.h: Declare it. | |
2811 | ||
2812 | 2015-04-27 Ryan Burn <contact@rnburn.com> | |
2813 | Jeff Law <law@redhat.com> | |
2814 | ||
2815 | PR c++/69024 | |
2816 | PR c++/68997 | |
2817 | * cp-gimplify.c (cp_gimplify_expr): Call cilk_cp_detect_spawn_and_unwrap | |
2818 | instead of cilk_detect_spawn_and_unwrap. | |
2819 | * cp-cilkplus.c (is_conversion_operator_function_decl_p): New. | |
2820 | (find_spawn): New. | |
2821 | (cilk_cp_detect_spawn_and_unwrap): New. | |
2822 | * lambda.c: Include cp-cilkplus.h. | |
2823 | * parser.c: Include cp-cilkplus.h. | |
2824 | * cp-tree.h (cpp_validate_cilk_plus_loop): Move prototype into... | |
2825 | * cp-cilkpus.h: New file. | |
2826 | ||
2827 | 2016-04-27 Nathan Sidwell <nathan@acm.org> | |
2828 | ||
2829 | * constexpr.c (get_fundef_copy): Use the original function for | |
2830 | non-recursive evaluations. | |
2831 | (save_fundef_copy): Always expect a slot to be available. | |
2832 | ||
2833 | 2016-04-27 Bernd Schmidt <bschmidt@redhat.com> | |
2834 | ||
2835 | * parser.c (cp_parser_postfix_expression): Call | |
2836 | warn_for_memset instead of warning directly here. | |
2837 | ||
2838 | 2016-04-26 Patrick Palka <ppalka@gcc.gnu.org> | |
2839 | ||
2840 | PR c++/70241 | |
2841 | * decl.c (build_enumerator): Set current_access_specifier when | |
2842 | declaring an enumerator belonging to an in-class enumeration. | |
2843 | * parser.c (cp_parser_check_access_in_redecleration): Also | |
2844 | consider in-class enumerations. | |
2845 | ||
2846 | 2016-04-26 Marek Polacek <polacek@redhat.com> | |
2847 | ||
2848 | PR c++/70744 | |
2849 | * call.c (build_conditional_expr_1): Call cp_stabilize_reference | |
2850 | instead of stabilize_reference. | |
2851 | (build_over_call): Likewise. | |
2852 | * cp-tree.h (cp_stabilize_reference): Declare. | |
2853 | * tree.c (cp_stabilize_reference): New function. | |
2854 | * typeck.c (cp_build_unary_op): Call cp_stabilize_reference instead of | |
2855 | stabilize_reference. | |
2856 | (unary_complex_lvalue): Likewise. | |
2857 | (cp_build_modify_expr): Likewise. | |
2858 | ||
2859 | 2016-04-26 Jakub Jelinek <jakub@redhat.com> | |
2860 | ||
2861 | PR bootstrap/70704 | |
2862 | * pt.c (build_non_dependent_expr): Use flag_checking > 1 instead of | |
2863 | just flag_checking. | |
2864 | ||
2865 | 2016-04-25 Jason Merrill <jason@redhat.com> | |
2866 | ||
2867 | * tree.c (std_attribute_table): New. | |
2868 | (init_tree): Register it. | |
2869 | ||
2870 | 2016-04-22 Jason Merrill <jason@redhat.com> | |
2871 | ||
2872 | * parser.c (cp_parser_perform_range_for_lookup): Decay the array. | |
2873 | ||
2874 | 2016-04-21 Patrick Palka <ppalka@gcc.gnu.org> | |
2875 | ||
2876 | * name-lookup.c (free_saved_scope): New free list of saved_scope | |
2877 | structures. | |
2878 | (push_to_top_level): Attempt to reuse a saved_scope struct | |
2879 | from free_saved_scope instead of allocating a new one each time. | |
2880 | (pop_from_top_level_1): Chain the now-unused saved_scope structure | |
2881 | onto free_saved_scope. | |
2882 | ||
2883 | 2016-04-21 Paolo Carlini <paolo.carlini@oracle.com> | |
2884 | ||
2885 | PR c++/70540 | |
2886 | * semantics.c (process_outer_var_ref): Unconditionally return | |
2887 | error_mark_node when mark_used returns false. | |
2888 | ||
2889 | 2016-04-21 Marek Polacek <polacek@redhat.com> | |
2890 | ||
2891 | PR c++/70513 | |
2892 | * parser.c (cp_parser_enum_specifier): Check and possibly error for | |
2893 | extra qualification. | |
2894 | ||
2895 | 2016-04-20 Nathan Sidwell <nathan@acm.org> | |
2896 | ||
2897 | PR c++/55635 | |
2898 | * init.c (build_vec_delete_1): Protect operator delete call in try | |
2899 | finally. | |
2900 | (build_delete): Likewise. | |
2901 | * optimize.c (build_delete_destructor_body): Likewise. | |
2902 | ||
2903 | 2016-04-20 Ilya Verbin <ilya.verbin@intel.com> | |
2904 | ||
2905 | PR c++/69363 | |
2906 | * cp-tree.h (finish_omp_clauses): Add new default argument. | |
2907 | * parser.c (cp_parser_cilk_simd_all_clauses): Use finish_omp_clauses | |
2908 | instead of c_finish_cilk_clauses. | |
2909 | * semantics.c (finish_omp_clauses): Add new argument. Allow | |
2910 | floating-point variables in the linear clause for Cilk Plus. | |
2911 | ||
2912 | 2016-04-20 Nathan Sidwell <nathan@acm.org> | |
2913 | ||
2914 | * semantics.c (finish_compound_lteral): Don't wrap VECTOR_TYPEs in a | |
2915 | TARGET_EXPR. | |
2916 | ||
2917 | 2016-04-19 Jason Merrill <jason@redhat.com> | |
2918 | ||
2919 | PR c++/66543 | |
2920 | * expr.c (mark_exp_read): Handle NON_DEPENDENT_EXPR. | |
2921 | * pt.c (make_pack_expansion): Call mark_exp_read. | |
2922 | * semantics.c (finish_id_expression): Call mark_type_use in | |
2923 | unevaluated context. | |
2924 | ||
2925 | DR 2137 | |
2926 | * call.c (implicit_conversion): If we choose a copy constructor | |
2927 | for list-initialization from the same type, the conversion is an | |
2928 | exact match. | |
2929 | ||
2930 | * constexpr.c (breaks): Handle EXIT_EXPR. | |
2931 | (cxx_eval_loop_expr): Handle COMPOUND_EXPR body. | |
2932 | (cxx_eval_constant_expression): Handle EXIT_EXPR, improve handling | |
2933 | of COMPOUND_EXPR. | |
2934 | ||
2935 | PR c++/68206 | |
2936 | PR c++/68530 | |
2937 | * constexpr.c (potential_constant_expression_1): Handle LOOP_EXPR | |
2938 | and GOTO_EXPR. | |
2939 | ||
2940 | * pt.c (tsubst_expr): Remove shadowing declaration. | |
2941 | (tsubst_pack_expansion): Add assert. | |
2942 | ||
2943 | * semantics.c (add_decl_expr): Use DECL_SOURCE_LOCATION. | |
2944 | ||
2945 | PR c++/70522 | |
2946 | * name-lookup.c (qualified_lookup_using_namespace): Look through | |
2947 | hidden names. | |
2948 | ||
2949 | 2016-04-18 Michael Matz <matz@suse.de> | |
2950 | ||
2951 | * class.c (build_vtable): Use SET_DECL_ALIGN and SET_TYPE_ALIGN. | |
2952 | (layout_class_type): Ditto. | |
2953 | (build_base_field): Use SET_DECL_ALIGN. | |
2954 | (fixup_attribute_variants): Use SET_TYPE_ALIGN. | |
2955 | * decl.c (duplicate_decls): Use SET_DECL_ALIGN. | |
2956 | (record_unknown_type): Use SET_TYPE_ALIGN. | |
2957 | (cxx_init_decl_processing): Ditto. | |
2958 | (copy_type_enum): Ditto. | |
2959 | (grokfndecl): Use SET_DECL_ALIGN. | |
2960 | (copy_type_enum): Use SET_TYPE_ALIGN. | |
2961 | * pt.c (instantiate_class_template_1): Use SET_TYPE_ALIGN. | |
2962 | (tsubst): Ditto. | |
2963 | * tree.c (cp_build_qualified_type_real): Use SET_TYPE_ALIGN. | |
2964 | * lambda.c (maybe_add_lambda_conv_op): Use SET_DECL_ALIGN. | |
2965 | * method.c (implicitly_declare_fn): Use SET_DECL_ALIGN. | |
2966 | * rtti.c (emit_tinfo_decl): Ditto. | |
2967 | ||
2968 | 2016-04-18 Jason Merrill <jason@redhat.com> | |
2969 | ||
2970 | PR c++/70690 | |
2971 | PR c++/70528 | |
2972 | * class.c (type_maybe_constexpr_default_constructor): New. | |
2973 | (type_has_constexpr_default_constructor): Revert. | |
2974 | ||
2975 | 2016-04-16 Sandra Loosemore <sandra@codesourcery.com> | |
2976 | ||
2977 | PR target/1078 | |
2978 | ||
2979 | * tree.c (cxx_attribute_table): Remove "com_interface" entry. | |
2980 | (handle_com_interface_attribute): Delete. | |
2981 | ||
2982 | 2016-04-15 Jason Merrill <jason@redhat.com> | |
2983 | ||
2984 | PR c++/70685 | |
2985 | * constexpr.c (get_fundef_copy): Handle null *slot. | |
2986 | ||
2987 | PR c++/70505 | |
2988 | * pt.c (tsubst_baselink): Give the new TEMPLATE_ID_EXPR | |
2989 | unknown_type_node, too. | |
2990 | ||
2991 | 2016-04-15 Jason Merrill <jason@redhat.com> | |
2992 | Nathan Sidwell <nathan@acm.org> | |
2993 | ||
2994 | PR c++/70594 | |
2995 | * constexpr.c (constexpr_call_table): Preserve in GC. | |
2996 | (struct fundef_copy, struct fundef_copies_table_t): Delete. | |
2997 | (fundef_copies_table): Preserve in GC. Change to pointer to | |
2998 | tree->tree hash. | |
2999 | (maybe_initialize_fundef_copies_table): Adjust. | |
3000 | (get_fundef_copy): Return a TREE_LIST. Use non-inserting search. | |
3001 | (save_fundef_copy): Adjust for a TREE_LIST. | |
3002 | (cxx_eval_call_expression): Adjust for a fundef_copy TREE_LIST. | |
3003 | (fini_constexpr): New. | |
3004 | * cp-tree.h (fini_constexpr): Declare. | |
3005 | * decl2.c (c_parse_final_cleanups): Call fini_constexpr. | |
3006 | ||
3007 | 2016-04-15 Jakub Jelinek <jakub@redhat.com> | |
3008 | ||
3009 | PR c/70436 | |
3010 | * parser.c (cp_parser_pragma): Add IF_P argument, pass it down | |
3011 | where needed. | |
3012 | (cp_parser_declaration_seq_opt, cp_parser_member_specification_opt, | |
3013 | cp_parser_objc_interstitial_code, cp_parser_omp_declare_simd, | |
3014 | cp_parser_oacc_routine): Adjust cp_parser_pragma callers. | |
3015 | (cp_parser_statement): Likewise. Adjust cp_parser_cilk_for caller. | |
3016 | (cp_parser_omp_structured_block): Add IF_P argument, pass it down to | |
3017 | cp_parser_statement. | |
3018 | (cp_parser_oacc_data, cp_parser_oacc_host_data, cp_parser_oacc_loop, | |
3019 | cp_parser_oacc_kernels_parallel, cp_parser_omp_critical, | |
3020 | cp_parser_omp_simd, cp_parser_omp_for, cp_parser_omp_master, | |
3021 | cp_parser_omp_ordered, cp_parser_omp_parallel, cp_parser_omp_single, | |
3022 | cp_parser_omp_task, cp_parser_omp_taskgroup, cp_parser_omp_distribute, | |
3023 | cp_parser_omp_teams, cp_parser_omp_target_data, cp_parser_omp_target, | |
3024 | cp_parser_omp_taskloop, cp_parser_omp_construct, | |
3025 | cp_parser_cilk_grainsize, cp_parser_cilk_simd, cp_parser_cilk_for): | |
3026 | Add IF_P argument, pass it down where needed. | |
3027 | (cp_parser_omp_for_loop): Likewise. Clear IF_P if nbraces. | |
3028 | (cp_parser_omp_sections_scope): Adjust cp_parser_omp_structured_block | |
3029 | calls. | |
3030 | ||
3031 | 2016-04-14 Jason Merrill <jason@redhat.com> | |
3032 | ||
3033 | PR c++/70494 | |
3034 | * decl.c (cxx_maybe_build_cleanup): Handle non-decls. | |
3035 | * typeck2.c (split_nonconstant_init_1): Use it. | |
3036 | ||
3037 | PR c++/70528 | |
3038 | * class.c (type_has_constexpr_default_constructor): Return true | |
3039 | for an implicitly declared constructor. | |
3040 | ||
3041 | PR c++/70622 | |
3042 | * parser.c (cp_parser_init_declarator): Add auto_result parm. | |
3043 | (cp_parser_simple_declaration): Pass it. | |
3044 | (strip_declarator_types): New. | |
3045 | ||
3046 | PR c++/70543 | |
3047 | * pt.c (value_dependent_expression_p) [VAR_DECL]: A type-dependent | |
3048 | initializer also makes the variable value-dependent. | |
3049 | ||
3050 | PR c++/70648 | |
3051 | * constexpr.c (cxx_eval_store_expression): Also copy | |
3052 | CONSTRUCTOR_NO_IMPLICIT_ZERO. | |
3053 | ||
3054 | 2016-04-14 Martin Sebor <msebor@redhat.com> | |
3055 | ||
3056 | PR c++/69517 | |
3057 | PR c++/70019 | |
3058 | PR c++/70588 | |
3059 | * cp-tree.h, decl.c, init.c, typeck2.c: Revert. | |
3060 | ||
3061 | 2016-04-14 Jason Merrill <jason@redhat.com> | |
3062 | ||
3063 | * call.c, decl.c, error.c, cp-tree.h, decl.c: Revert empty | |
3064 | parameter ABI change. | |
3065 | ||
3066 | 2016-04-13 Martin Sebor <msebor@redhat.com> | |
3067 | ||
3068 | PR c++/69517 | |
3069 | PR c++/70019 | |
3070 | PR c++/70588 | |
3071 | * cp-tree.h (throw_bad_array_length, build_vla_check): Declare new | |
3072 | functions. | |
3073 | * decl.c (check_initializer, cp_finish_decl): Call them. | |
3074 | (reshape_init_r): Reject incompletely braced intializer-lists | |
3075 | for VLAs. | |
3076 | * init.c (throw_bad_array_length, build_vla_check) | |
3077 | (build_vla_size_check, build_vla_init_check): Define new functions. | |
3078 | * typeck2.c (split_nonconstant_init_1): Use variably_modified_type_p() | |
3079 | to detect a VLA. | |
3080 | (store_init_value): Same. | |
3081 | ||
3082 | 2016-04-13 Jason Merrill <jason@redhat.com> | |
3083 | ||
3084 | Warn about empty parameter ABI with -Wabi=9. | |
3085 | * call.c (empty_class_msg, mark_for_abi_warning) | |
3086 | (warn_empty_class_abi): New. | |
3087 | (build_call_a): Use them. | |
3088 | * decl.c (store_parm_decls): Use mark_for_abi_warning. | |
3089 | * error.c (pp_format_to_string): New. | |
3090 | ||
3091 | Pass empty class parameters like C. | |
3092 | * call.c (pass_as_empty_struct, empty_class_arg): New. | |
3093 | (type_passed_as, build_x_va_arg): Use pass_as_empty_struct. | |
3094 | (build_call_a): Use empty_class_arg. | |
3095 | * cp-tree.h (CPTI_EMPTY_STRUCT, empty_struct_type): New. | |
3096 | * decl.c (cxx_init_decl_processing): Create empty_struct_type. | |
3097 | ||
3098 | 2016-04-13 Jason Merrill <jason@redhat.com> | |
3099 | ||
3100 | PR c++/70627 | |
3101 | * decl.c (start_enum): Don't change an existing ENUM_UNDERLYING_TYPE. | |
3102 | ||
3103 | 2016-04-13 Paolo Carlini <paolo.carlini@oracle.com> | |
3104 | ||
3105 | PR c++/70635 | |
3106 | * pt.c (resolve_typename_type): Fix typos in infinite recursion | |
3107 | avoidance mechanism. | |
3108 | ||
3109 | 2016-04-13 Jason Merrill <jason@redhat.com> | |
3110 | ||
3111 | PR c++/70634 | |
3112 | * pt.c (instantiation_dependent_uneval_expression_p): Split out | |
3113 | from instantiation_dependent_expression_p. | |
3114 | (value_dependent_expression_p): Use it for unevaluated operands. | |
3115 | (instantiation_dependent_r): Don't check value-dependence. | |
3116 | (instantiation_dependent_expression_p): Check | |
3117 | value-dependence of the expression as a whole. | |
3118 | * cp-tree.h: Declare instantiation_dependent_uneval_expression_p. | |
3119 | * semantics.c (finish_decltype_type): Use it. | |
3120 | ||
3121 | * constexpr.c (potential_nondependent_constant_expression): New. | |
3122 | (potential_nondependent_static_init_expression): New. | |
3123 | (maybe_constant_value_1, fold_non_dependent_expr) | |
3124 | (maybe_constant_init): Use them. | |
3125 | * pt.c (instantiate_non_dependent_expr_sfinae) | |
3126 | (instantiate_non_dependent_or_null, convert_nontype_argument): Use | |
3127 | them. | |
3128 | * cp-tree.h: Declare them. | |
3129 | ||
3130 | 2016-04-13 Jakub Jelinek <jakub@redhat.com> | |
3131 | ||
3132 | PR c++/70594 | |
3133 | * decl.c (pop_labels_1): Removed. | |
3134 | (note_label, sort_labels): New functions. | |
3135 | (pop_labels): During named_labels traversal, just push the slot | |
3136 | pointers into a vector, then qsort it by DECL_UID and only then | |
3137 | call pop_label and chain it into BLOCK_VARS. | |
3138 | ||
3139 | 2016-04-13 Jason Merrill <jason@redhat.com> | |
3140 | ||
3141 | PR c++/70615 | |
3142 | * cp-gimplify.c (cp_genericize_r): Expand PTRMEM_CST here. | |
3143 | (cp_gimplify_expr): Not here. | |
3144 | ||
3145 | 2016-04-12 Patrick Palka <ppalka@gcc.gnu.org> | |
3146 | ||
3147 | PR c++/70610 | |
3148 | * tree.c (lvalue_kind) [NON_DEPENDENT_EXPR]: Unconditionally | |
3149 | recurse into it. | |
3150 | * typeck.c (build_x_conditional_expr): Unconditionally remember | |
3151 | that the result is an lvalue or xvalue. | |
3152 | ||
3153 | 2016-04-12 Jason Merrill <jason@redhat.com> | |
3154 | ||
3155 | * class.c (is_really_empty_class): A zero-length array is empty. | |
3156 | An unnamed bit-field doesn't make a class non-empty. | |
3157 | ||
3158 | 2016-04-12 Paolo Carlini <paolo.carlini@oracle.com> | |
3159 | ||
3160 | PR c++/68722 | |
3161 | * parser.c (cp_parser_cache_defarg): When file ends in default | |
3162 | argument simply return error_mark_node. | |
3163 | ||
3164 | 2016-04-12 Nathan Sidwell <nathan@acm.org> | |
3165 | ||
3166 | PR c++/70501 | |
3167 | * constexpr.c (cxx_eval_bare_aggregate): Handle VECTOR_TYPE | |
3168 | similarly to PMF. | |
3169 | ||
3170 | 2016-04-11 Jason Merrill <jason@redhat.com> | |
3171 | ||
3172 | * mangle.c (decl_is_template_id): The template itself counts as a | |
3173 | template-id. | |
3174 | ||
3175 | 2016-04-08 Patrick Palka <ppalka@gcc.gnu.org> | |
3176 | ||
3177 | PR c++/70590 | |
3178 | PR c++/70452 | |
3179 | * constexpr.c (cxx_eval_outermost_expression): Call unshare_expr | |
3180 | on the result if it's not a CONSTRUCTOR. | |
3181 | ||
3182 | 2016-04-07 Patrick Palka <ppalka@gcc.gnu.org> | |
3183 | ||
3184 | PR c++/70452 | |
3185 | * constexpr.c (find_constructor): New function. | |
3186 | (unshare_constructor): New function. | |
3187 | (cxx_eval_call_expression): Use unshare_constructor instead of | |
3188 | unshare_expr. | |
3189 | (find_array_ctor_elt): Likewise. | |
3190 | (cxx_eval_vec_init_1): Likewise. | |
3191 | (cxx_eval_store_expression): Likewise. | |
3192 | (cxx_eval_constant_expression): Likewise. | |
3193 | ||
3194 | 2016-04-06 Patrick Palka <ppalka@gcc.gnu.org> | |
3195 | ||
3196 | PR c/70436 | |
3197 | * cp-tree.h (FOR_EACH_CLONE): Restructure macro to avoid | |
3198 | potentially generating a future -Wparentheses warning in its | |
3199 | callers. | |
3200 | ||
3201 | 2016-04-06 Jason Merrill <jason@redhat.com> | |
3202 | ||
3203 | * class.c (check_abi_tags): Fix function template handling. | |
3204 | ||
3205 | 2016-04-05 Nathan Sidwell <nathan@acm.org> | |
3206 | ||
3207 | PR c++/70512 | |
3208 | * class.c (fixup_may_alias): New. | |
3209 | (fixup_attribute_variants): Call it. | |
3210 | ||
3211 | 2016-04-05 Patrick Palka <ppalka@gcc.gnu.org> | |
3212 | ||
3213 | PR c++/70452 | |
3214 | * constexpr.c (struct fundef_copy): New struct. | |
3215 | (struct fundef_copies_table_t): New struct. | |
3216 | (fundef_copies_table): New static variable. | |
3217 | (maybe_initialize_fundef_copies_table): New static function. | |
3218 | (get_fundef_copy): New static function. | |
3219 | (save_fundef_copy): New static function. | |
3220 | (cxx_eval_call_expression): Use get_fundef_copy, and | |
3221 | save_fundef_copy. | |
3222 | (constexpr_call_table): Add "deletable" GTY marker. | |
3223 | ||
3224 | 2016-04-05 Patrick Palka <ppalka@gcc.gnu.org> | |
3225 | ||
3226 | PR c++/70452 | |
3227 | * cp-tree.h (class cache_map): Remove. | |
3228 | * constexpr.c (cv_cache): Change type to | |
3229 | GTY((deletable)) hash_map<tree, tree> *. | |
3230 | (maybe_constant_value): Adjust following the change to cv_cache. | |
3231 | (clear_cv_cache): New static function. | |
3232 | (clear_cv_and_fold_caches): Use it. | |
3233 | * cp-gimplify.c (fold_cache): Change type to | |
3234 | GTY((deletable)) hash_map<tree, tree> *. | |
3235 | (clear_fold_cache): Adjust following the change to fold_cache. | |
3236 | (cp_fold): Likewise. | |
3237 | ||
3238 | 2016-04-02 Martin Sebor <msebor@redhat.com> | |
3239 | ||
3240 | PR c++/67376 | |
3241 | PR c++/70170 | |
3242 | PR c++/70172 | |
3243 | PR c++/70228 | |
3244 | * constexpr.c (diag_array_subscript): New function. | |
3245 | (cxx_eval_array_reference): Detect out of bounds array indices. | |
3246 | ||
3247 | 2016-04-01 Jason Merrill <jason@redhat.com> | |
3248 | ||
3249 | PR c++/70449 | |
3250 | PR c++/70344 | |
3251 | * pt.c (instantiate_decl): A function isn't fully defined if | |
3252 | DECL_INITIAL is error_mark_node. | |
3253 | * constexpr.c (cxx_eval_call_expression): Likewise. | |
3254 | ||
3255 | 2016-04-01 Jakub Jelinek <jakub@redhat.com> | |
3256 | Marek Polacek <polacek@redhat.com> | |
3257 | ||
3258 | PR c++/70488 | |
3259 | * init.c (warn_placement_new_too_small): Test whether | |
3260 | DECL_SIZE_UNIT or TYPE_SIZE_UNIT are integers that fit into uhwi. | |
3261 | ||
3262 | 2016-04-01 Nathan Sidwell <nathan@acm.org> | |
3263 | ||
3264 | PR c++/68475 | |
3265 | * decl.c (check_redeclaration_exception_specification): Check | |
3266 | regardless of -fno-exceptions. | |
3267 | * typeck2.c (merge_exception_specifiers): Relax assert by checking | |
3268 | flag_exceptions too. | |
3269 | ||
3270 | 2016-03-31 Nathan Sidwell <nathan@acm.org> | |
3271 | ||
3272 | * decl.c (start_preparsed_function): Remove unnecessary bracing. | |
3273 | (finish_destructor_body): Don't emit operator delete here. | |
3274 | ||
3275 | 2016-03-31 Nathan Sidwell <nathan@acm.org> | |
3276 | ||
3277 | PR c++/70393 | |
3278 | * constexpr.c (cxx_eval_store_expression): Keep CONSTRUCTOR | |
3279 | elements in field order. | |
3280 | ||
3281 | 2016-03-31 Marek Polacek <polacek@redhat.com> | |
3282 | ||
3283 | PR c/70297 | |
3284 | * decl.c (duplicate_decls): Also set TYPE_ALIGN and TYPE_USER_ALIGN. | |
3285 | ||
3286 | 2016-03-31 Richard Biener <rguenther@suse.de> | |
3287 | ||
3288 | PR c++/70430 | |
3289 | * typeck.c (cp_build_binary_op): Fix operand order of vector | |
3290 | conditional in truth op handling. | |
3291 | ||
3292 | 2016-03-29 Jason Merrill <jason@redhat.com> | |
3293 | ||
3294 | PR c++/70353 | |
3295 | * decl.c (make_rtl_for_nonlocal_decl): Don't defer local statics | |
3296 | in constexpr functions. | |
3297 | ||
3298 | 2016-03-28 Jason Merrill <jason@redhat.com> | |
3299 | ||
3300 | PR c++/70422 | |
3301 | PR c++/64266 | |
3302 | PR c++/70353 | |
3303 | * decl.c, pt.c, constexpr.c: Revert last patch. | |
3304 | ||
3305 | 2016-03-25 Jason Merrill <jason@redhat.com> | |
3306 | Martin Liška <mliska@suse.cz> | |
3307 | ||
3308 | PR c++/64266 | |
3309 | PR c++/70353 | |
3310 | Core issue 1962 | |
3311 | * decl.c (cp_fname_init): Decay the initializer to pointer. | |
3312 | (cp_make_fname_decl): Set DECL_DECLARED_CONSTEXPR_P, | |
3313 | DECL_VALUE_EXPR, DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. | |
3314 | Don't call cp_finish_decl. | |
3315 | * pt.c (tsubst_expr) [DECL_EXPR]: Set DECL_VALUE_EXPR, | |
3316 | DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. Don't call cp_finish_decl. | |
3317 | * constexpr.c (cxx_eval_constant_expression) [VAR_DECL]: | |
3318 | Handle DECL_VALUE_EXPR. | |
3319 | ||
3320 | 2016-03-24 Jason Merrill <jason@redhat.com> | |
3321 | ||
3322 | PR c++/70386 | |
3323 | * constexpr.c (cxx_eval_bare_aggregate): Handle PMFs. | |
3324 | ||
3325 | PR c++/70323 | |
3326 | * constexpr.c (cxx_eval_call_expression): Don't cache result if | |
3327 | *overflow_p. | |
3328 | ||
3329 | 2016-03-24 Patrick Palka <ppalka@gcc.gnu.org> | |
3330 | ||
3331 | PR c++/62212 | |
3332 | * tree.c (build_cplus_array_type): Determine type-dependentess | |
3333 | with uses_template_parms instead of with dependent_type_p. | |
3334 | ||
3335 | 2016-03-23 Patrick Palka <ppalka@gcc.gnu.org> | |
3336 | ||
3337 | PR c++/70347 | |
3338 | * typeck.c (process_init_constructor_union): If the initializer | |
3339 | is empty, use the union's NSDMI if it has one. | |
3340 | ||
3341 | 2016-03-23 Patrick Palka <ppalka@gcc.gnu.org> | |
3342 | ||
3343 | PR c++/70332 | |
3344 | * pt.c (tsubst_copy) [PARM_DECL]: Handle the use of 'this' in an | |
3345 | NSDMI that's part of an aggregrate initialization. | |
3346 | ||
3347 | 2016-03-23 Jakub Jelinek <jakub@redhat.com> | |
3348 | ||
3349 | PR c++/70001 | |
3350 | * constexpr.c (cxx_eval_vec_init_1): Reuse CONSTRUCTOR initializers | |
3351 | for 1..max even for multi-dimensional arrays. Call unshare_expr | |
3352 | on it. | |
3353 | ||
3354 | PR c++/70323 | |
3355 | * constexpr.c (cxx_eval_constant_expression): Diagnose overflow | |
3356 | on TREE_OVERFLOW constants. | |
3357 | ||
3358 | PR c++/70376 | |
3359 | * cp-gimplify.c (genericize_omp_for_stmt): Don't walk OMP_FOR_CLAUSES | |
3360 | for OMP_TASKLOOP here. | |
3361 | (cp_genericize_r): Handle OMP_TASKLOOP like OMP_TASK, except do call | |
3362 | genericize_omp_for_stmt instead of cp_walk_tree on OMP_BODY. | |
3363 | ||
3364 | 2016-03-23 Alexandre Oliva <aoliva@redhat.com> | |
3365 | Jason Merrill <jason@redhat.com> | |
3366 | Jakub Jelinek <jakub@redhat.com> | |
3367 | ||
3368 | PR c++/69315 | |
3369 | * cp-tree.h (defer_mark_used_calls, deferred_mark_used_calls): Remove. | |
3370 | * decl.c (defer_mark_used_calls, deferred_mark_used_calls): Remove. | |
3371 | (finish_function): Don't set or test them. | |
3372 | * decl2.c (mark_used): Don't handle defer_mark_used_calls. | |
3373 | ||
3374 | 2016-03-23 Jason Merrill <jason@redhat.com> | |
3375 | ||
3376 | PR c++/70344 | |
3377 | * constexpr.c (cxx_eval_call_expression): Catch invalid recursion. | |
3378 | ||
3379 | 2016-03-23 Marek Polacek <polacek@redhat.com> | |
3380 | ||
3381 | PR c++/69884 | |
3382 | * pt.c (canonicalize_type_argument): Use OPT_Wignored_attributes. | |
3383 | ||
3384 | 2016-03-22 Ilya Enkovich <enkovich.gnu@gmail.com> | |
3385 | ||
3386 | * call.c (build_conditional_expr_1): Always use original | |
3387 | condition type for vector type checks and build. | |
3388 | ||
3389 | 2016-03-22 Patrick Palka <ppalka@gcc.gnu.org> | |
3390 | ||
3391 | PR c++/70096 | |
3392 | * pt.c (tsubst_decl): Clear the DECL_MODE of the new decl. | |
3393 | ||
3394 | 2016-03-22 Patrick Palka <ppalka@gcc.gnu.org> | |
3395 | ||
3396 | PR c++/70204 | |
3397 | * constexpr.c (non_const_var_error): Check | |
3398 | DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. | |
3399 | ||
3400 | 2016-03-21 Richard Henderson <rth@redhat.com> | |
3401 | ||
3402 | PR c++/70273 | |
3403 | * decl.c (notice_forced_label_r): New. | |
3404 | (cp_finish_decl): Use it. | |
3405 | ||
3406 | 2016-03-21 Jason Merrill <jason@redhat.com> | |
3407 | ||
3408 | PR c++/70285 | |
3409 | * cp-gimplify.c (cp_fold) [COND_EXPR]: Handle bit-fields. | |
3410 | ||
3411 | 2016-03-18 Jason Merrill <jason@redhat.com> | |
3412 | ||
3413 | PR c++/70139 | |
3414 | * constexpr.c (cxx_eval_call_expression): Fix trivial copy. | |
3415 | ||
3416 | PR c++/70147 | |
3417 | * class.c (vptr_via_virtual_p): New. | |
3418 | (most_primary_binfo): Factor out of build_rtti_vtbl_entries. | |
3419 | * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Don't clear | |
3420 | a vptr from any virtual base in a not-in-charge 'structor. | |
3421 | ||
3422 | * decl.c (build_clobber_this): Factor out of | |
3423 | start_preparsed_function and begin_destructor_body. Handle | |
3424 | virtual bases better. | |
3425 | ||
3426 | * class.c (build_if_in_charge): Split out from build_base_path. | |
3427 | * init.c (expand_virtual_init, expand_default_init): Use it. | |
3428 | * call.c (build_special_member_call): Use it. | |
3429 | ||
3430 | 2016-03-18 Jakub Jelinek <jakub@redhat.com> | |
3431 | ||
3432 | PR c++/70267 | |
3433 | * init.c (build_new_1): Complain and return error_mark_node | |
3434 | if alloc_fn is not _Jv_AllocObject function returning pointer. | |
3435 | ||
3436 | 2016-03-18 Patrick Palka <ppalka@gcc.gnu.org> | |
3437 | ||
3438 | PR c++/70205 | |
3439 | * search.c (adjust_result_of_qualified_name_lookup): Don't | |
3440 | update the BASELINK_BINFO of DECL if the second call | |
3441 | to lookup_base fails. | |
3442 | ||
3443 | 2016-03-18 Patrick Palka <ppalka@gcc.gnu.org> | |
3444 | ||
3445 | PR c++/70218 | |
3446 | * parser.c (cp_parser_lambda_expression): Move call to | |
3447 | pop_deferring_access_checks ahead of the call to | |
3448 | cp_parser_end_tentative_firewall. | |
3449 | ||
3450 | 2016-03-17 Jakub Jelinek <jakub@redhat.com> | |
3451 | ||
3452 | PR c++/70144 | |
3453 | * cp-tree.h (magic_varargs_p): Return int instead of bool. | |
3454 | * call.c (magic_varargs_p): Return int instead of bool, return 2 for | |
3455 | Cilk+ reductions, otherwise 1 for magic varargs and 0 for normal | |
3456 | varargs. | |
3457 | (build_over_call): If magic_varargs_p == 2, call reject_gcc_builtin, | |
3458 | if magic_varargs_p == 1, call decay_conversion | |
3459 | instead of mark_type_use. Don't store error_mark_node arguments to | |
3460 | argarray, instead return error_mark_node. | |
3461 | ||
3462 | PR c++/70272 | |
3463 | * decl.c (begin_destructor_body): Don't insert clobber if | |
3464 | is_empty_class (current_class_type). | |
3465 | ||
3466 | 2016-03-17 Marek Polacek <polacek@redhat.com> | |
3467 | ||
3468 | PR c++/70194 | |
3469 | * typeck.c (warn_for_null_address): New function. | |
3470 | (cp_build_binary_op): Call it. | |
3471 | ||
3472 | 2016-03-16 Jason Merrill <jason@redhat.com> | |
3473 | ||
3474 | PR c++/70259 | |
3475 | * decl.c (start_preparsed_function): Don't clobber an empty base. | |
3476 | ||
3477 | 2016-03-16 Jakub Jelinek <jakub@redhat.com> | |
3478 | ||
3479 | PR c++/70147 | |
3480 | * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Conditionalize | |
3481 | BINFO_VIRTUAL_P vtable clearing on current_in_charge_parm. | |
3482 | ||
3483 | PR c++/70147 | |
3484 | * cp-ubsan.c (cp_ubsan_maybe_initialize_vtbl_ptrs): Temporarily | |
3485 | set in_base_initializer. | |
3486 | ||
3487 | 2016-03-15 Marek Polacek <polacek@redhat.com> | |
3488 | ||
3489 | PR c++/70209 | |
3490 | * tree.c (strip_typedefs): Call strip_typedefs again on the | |
3491 | DECL_ORIGINAL_TYPE result. | |
3492 | ||
3493 | 2016-03-15 Jason Merrill <jason@redhat.com> | |
3494 | ||
3495 | PR c++/70095 | |
3496 | * pt.c (instantiate_decl): Fix call to variable_template_p. | |
3497 | ||
3498 | PR c++/70141 | |
3499 | * pt.c (for_each_template_parm_r): Always walk into TYPENAME_TYPE. | |
3500 | ||
3501 | 2016-03-14 Casey Carter <casey@carter.net> | |
3502 | Jason Merrill <jason@redhat.com> | |
3503 | ||
3504 | P0184R0: Generalizing the Range-Based For Loop | |
3505 | * parser.c (cp_convert_range_for): Set the type of __end separately. | |
3506 | (cp_parser_perform_range_for_lookup): Allow different begin/end | |
3507 | types if they are comparable. | |
3508 | ||
3509 | 2016-03-12 Patrick Palka <ppalka@gcc.gnu.org> | |
3510 | ||
3511 | PR c++/70106 | |
3512 | * semantics.c (force_paren_expr): Just build a PAREN_EXPR when | |
3513 | processing_template_decl and EXPR is a SCOPE_REF. | |
3514 | ||
3515 | 2016-03-10 Patrick Palka <ppalka@gcc.gnu.org> | |
3516 | Jakub Jelinek <jakub@redhat.com> | |
3517 | ||
3518 | PR c++/70001 | |
3519 | * constexpr.c (cxx_eval_vec_init_1): For pre_init case, reuse | |
3520 | return value from cxx_eval_constant_expression from earlier | |
3521 | elements if it is valid constant initializer requiring no | |
3522 | relocations. | |
3523 | ||
3524 | 2016-03-10 Marek Polacek <polacek@redhat.com> | |
3525 | ||
3526 | PR c++/70153 | |
3527 | * cp-gimplify.c (cp_fold): Handle UNARY_PLUS_EXPR. | |
3528 | ||
3529 | 2016-03-09 Cesar Philippidis <cesar@codesourcery.com> | |
3530 | ||
3531 | * parser.c (cp_parser_oacc_loop): Update cclauses and clauses | |
3532 | when calling c_finish_omp_clauses. | |
3533 | ||
3534 | 2016-03-08 Jason Merrill <jason@redhat.com> | |
3535 | ||
3536 | * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful | |
3537 | diagnostic for use of "concept". | |
3538 | (cp_parser_requires_clause_opt): And "requires". | |
3539 | (cp_parser_type_parameter, cp_parser_late_return_type_opt) | |
3540 | (cp_parser_explicit_template_declaration): Adjust. | |
3541 | * Make-lang.in (check-c++-all): Add "concepts" to std list. | |
3542 | ||
3543 | P0036R0: Unary Folds and Empty Parameter Packs | |
3544 | * pt.c (expand_empty_fold): Remove special cases for *,+,&,|. | |
3545 | ||
3546 | 2016-03-08 Jakub Jelinek <jakub@redhat.com> | |
3547 | ||
3548 | PR c++/70135 | |
3549 | * constexpr.c (cxx_eval_loop_expr): Forget saved values of SAVE_EXPRs | |
3550 | even after the last iteration of the loop. | |
3551 | ||
3552 | * decl.c (duplicate_decls): Fix spelling - becuase -> because. | |
3553 | ||
3554 | 2016-03-07 Patrick Palka <ppalka@gcc.gnu.org> | |
3555 | ||
3556 | PR c++/66786 | |
3557 | * pt.c (get_template_info): Handle PARM_DECL. | |
3558 | (template_class_depth): Check DECL_P instead of | |
3559 | VAR_OR_FUNCTION_DECL_P. | |
3560 | ||
3561 | 2016-03-05 Jason Merrill <jason@redhat.com> | |
3562 | ||
3563 | PR c++/67364 | |
3564 | * constexpr.c (cxx_eval_store_expression): Replace | |
3565 | CONSTRUCTOR_ELTS in nested CONSTRUCTORs, too. | |
3566 | ||
3567 | 2016-03-05 Patrick Palka <ppalka@gcc.gnu.org> | |
3568 | ||
3569 | PR c++/66786 | |
3570 | * pt.c (template_class_depth): Given a lambda type, iterate | |
3571 | into its LAMBDA_TYPE_EXTRA_SCOPE field instead of its | |
3572 | TYPE_CONTEXT. Given a VAR_DECL, iterate into its | |
3573 | CP_DECL_CONTEXT. | |
3574 | ||
3575 | 2016-03-04 Jason Merrill <jason@redhat.com> | |
3576 | ||
3577 | PR c++/69203 | |
3578 | * cp-tree.h (COND_EXPR_IS_VEC_DELETE): New. | |
3579 | * init.c (build_vec_delete_1): Set it. | |
3580 | * constexpr.c (potential_constant_expression_1) [COND_EXPR]: Check it. | |
3581 | ||
3582 | 2016-03-04 Jakub Jelinek <jakub@redhat.com> | |
3583 | ||
3584 | * decl.c (start_preparsed_function): Don't emit start clobber at the | |
3585 | start of constructor clones. | |
3586 | ||
3587 | PR c++/70035 | |
3588 | * cp-tree.h (cp_ubsan_maybe_initialize_vtbl_ptrs): New prototype. | |
3589 | * decl.c (start_preparsed_function): Call | |
3590 | cp_ubsan_maybe_initialize_vtbl_ptrs if needed. | |
3591 | * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs, | |
3592 | cp_ubsan_maybe_initialize_vtbl_ptrs): New functions. | |
3593 | ||
3594 | 2016-03-04 Jason Merrill <jason@redhat.com> | |
3595 | ||
3596 | PR c++/67364 | |
3597 | * constexpr.c (cxx_eval_component_reference): Further tweak. | |
3598 | ||
3599 | * constexpr.c (struct constexpr_ctx): Add save_exprs field. | |
3600 | (cxx_eval_loop_expr): Discard SAVE_EXPR values before looping. | |
3601 | (cxx_eval_constant_expression) [SAVE_EXPR]: Add it to the set. | |
3602 | (cxx_eval_outermost_constant_expr, is_sub_constant_expr): Initialize. | |
3603 | ||
3604 | PR c++/70067 | |
3605 | * tree.c (strip_typedefs): Handle TYPENAME_TYPE lookup finding the | |
3606 | same type. | |
3607 | ||
3608 | 2016-03-03 Jason Merrill <jason@redhat.com> | |
3609 | ||
3610 | * method.c (synthesized_method_walk): operator= can also be constexpr. | |
3611 | ||
3612 | * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Get | |
3613 | LAMBDA_EXPR_RETURN_TYPE from the instantiated closure. | |
3614 | ||
3615 | PR c++/67164 | |
3616 | * pt.c (copy_template_args): New. | |
3617 | (tsubst_pack_expansion): Use it. | |
3618 | ||
3619 | * call.c (build_aggr_conv): Use get_nsdmi. | |
3620 | ||
3621 | PR c++/51406 | |
3622 | * typeck.c (build_static_cast_1): Avoid folding back to lvalue. | |
3623 | ||
3624 | PR c++/67364 | |
3625 | * constexpr.c (cxx_eval_component_reference): Just return an empty | |
3626 | CONSTRUCTOR for an empty class. | |
3627 | ||
3628 | 2016-03-01 Jason Merrill <jason@redhat.com> | |
3629 | ||
3630 | PR c++/70036 | |
3631 | * parser.c (cp_parser_requires_clause): Call | |
3632 | check_for_bare_parameter_packs. | |
3633 | ||
3634 | PR c++/51489 | |
3635 | * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT | |
3636 | the operands. | |
3637 | ||
3638 | PR c++/69995 | |
3639 | * constexpr.c (cxx_eval_call_expression): Unshare arg. | |
3640 | (cxx_eval_constant_expression) [DECL_EXPR]: Unshare init. | |
3641 | [TARGET_EXPR]: Unshare init. | |
3642 | ||
3643 | 2016-03-01 Patrick Palka <ppalka@gcc.gnu.org> | |
3644 | ||
3645 | PR c++/68948 | |
3646 | PR c++/69961 | |
3647 | * pt.c (tsubst_baselink): Reinstate the check for an invalid | |
3648 | constructor call. | |
3649 | ||
3650 | 2016-02-28 Jason Merrill <jason@redhat.com> | |
3651 | ||
3652 | PR c++/69995 | |
3653 | * constexpr.c (cxx_eval_store_expression): Unshare init. | |
3654 | ||
3655 | 2016-02-26 Jason Merrill <jason@redhat.com> | |
3656 | ||
3657 | PR c++/69958 | |
3658 | * pt.c (make_argument_pack): New. | |
3659 | (tsubst_copy) [SIZEOF_EXPR]: Handle partial expansion. | |
3660 | (tsubst_copy_and_build): Likewise. | |
3661 | ||
3662 | 2016-02-25 Jason Merrill <jason@redhat.com> | |
3663 | ||
3664 | PR c++/69889 | |
3665 | * cp-tree.h (AGGR_INIT_FROM_THUNK_P): New. | |
3666 | * tree.c (build_aggr_init_expr): Set it. | |
3667 | * semantics.c (simplify_aggr_init_expr): Check it. | |
3668 | * cp-gimplify.c (cp_genericize_r): Don't walk into | |
3669 | a call/aggr_init from a thunk. | |
3670 | ||
3671 | PR c++/69842 | |
3672 | * method.c (forward_parm): Handle parameter packs. | |
3673 | * lambda.c (maybe_add_lambda_conv_op): Use it for them. | |
3674 | ||
3675 | PR c++/67364 | |
3676 | * constexpr.c (cxx_eval_component_reference): Don't complain about | |
3677 | unevaluated empty classes. | |
3678 | ||
3679 | PR c++/68049 | |
3680 | * tree.c (strip_typedefs): Use DECL_ORIGINAL_TYPE. | |
3681 | ||
3682 | 2016-02-25 Patrick Palka <ppalka@gcc.gnu.org> | |
3683 | ||
3684 | PR c++/69736 | |
3685 | * cp-tree.h (REF_PARENTHESIZED_P): Adjust documentation. | |
3686 | (maybe_undo_parenthesized_ref): Declare. | |
3687 | * semantics.c (maybe_undo_parenthesized_ref): Split out from | |
3688 | check_return_expr. | |
3689 | (finish_call_expr): Use it. | |
3690 | * typeck.c (check_return_expr): Use it. | |
3691 | * pt.c (tsubst_copy_and_build) [INDIRECT_REF]: Retain the | |
3692 | REF_PARENTHESIZED_P flag. | |
3693 | ||
3694 | 2016-02-24 Jakub Jelinek <jakub@redhat.com> | |
3695 | ||
3696 | PR c++/69922 | |
3697 | * class.c (build_base_path): Set TREE_NO_WARNING on the null_test. | |
3698 | Avoid folding it. | |
3699 | * init.c (build_vec_delete_1, build_delete): Don't fold the non-NULL | |
3700 | tests. | |
3701 | * cp-gimplify.c (cp_fold): For TREE_NO_WARNING comparisons with NULL, | |
3702 | unless they are folded into INTEGER_CST, error_mark_node or some | |
3703 | comparison with NULL, avoid folding them and use either the original | |
3704 | comparison or non-folded comparison of folded arguments. | |
3705 | * cp-ubsan.c (cp_ubsan_instrument_vptr): Set TREE_NO_WARNING on the | |
3706 | comparison, don't fold the comparison right away. | |
3707 | ||
3708 | 2016-02-24 Jason Merrill <jason@redhat.com> | |
3709 | ||
3710 | PR c++/69323 | |
3711 | * friend.c (make_friend_class): Likewise. | |
3712 | * decl.c (lookup_and_check_tag): Diagnose invalid dependent friend. | |
3713 | ||
3714 | 2016-02-24 Jason Merrill <jason@redhat.com> | |
3715 | ||
3716 | PR c++/69323 | |
3717 | * pt.c (instantiate_class_template_1): Set | |
3718 | processing_template_decl before substituting friend_type. | |
3719 | ||
3720 | 016-02-24 Martin Sebor <msebor@redhat.com> | |
3721 | ||
3722 | PR c++/69912 | |
3723 | * tree.c (build_ctor_subob_ref): Compare types' main variants | |
3724 | instead of the types as they are. | |
3725 | ||
3726 | 2016-02-24 Jason Merrill <jason@redhat.com> | |
3727 | ||
3728 | * decl.c (start_preparsed_function): Condition ctor clobber on | |
3729 | flag_lifetime_dse > 1. | |
3730 | ||
3731 | * cp-gimplify.c (cp_fold): Don't fold constexpr calls if -fno-inline. | |
3732 | ||
3733 | 2016-02-19 Jason Merrill <jason@redhat.com> | |
3734 | ||
3735 | PR c++/69743 | |
3736 | * call.c (remaining_arguments): No longer static. | |
3737 | * cp-tree.h: Declare it. | |
3738 | * pt.c (more_specialized_fn): Use it. | |
3739 | ||
3740 | 2016-02-19 Jakub Jelinek <jakub@redhat.com> | |
3741 | Bernd Edlinger <bernd.edlinger@hotmail.de> | |
3742 | ||
3743 | * Make-lang.in: Invoke gperf with -L C++. | |
3744 | * cfns.gperf: Remove prototypes for hash and libc_name_p | |
3745 | inlines. | |
3746 | * cfns.h: Regenerated. | |
3747 | * except.c (nothrow_libfn_p): Adjust. | |
3748 | ||
3749 | 2016-02-19 Jakub Jelinek <jakub@redhat.com> | |
3750 | ||
3751 | PR c++/69850 | |
3752 | * rtti.c (ifnonnull): Set TREE_NO_WARNING on the condition, use | |
3753 | NE_EXPR instead of EQ_EXPR and swap last two arguments on COND_EXPR. | |
3754 | ||
3755 | 2016-02-19 Patrick Palka <ppalka@gcc.gnu.org> | |
3756 | ||
3757 | PR c++/68948 | |
3758 | * pt.c (tsubst_baselink): Don't diagnose an invalid constructor | |
3759 | call here. | |
3760 | * semantics.c (finish_call_expr): Don't assume a constructor | |
3761 | call is dependent if only the "this" pointer is dependent. When | |
3762 | building a constructor call, always use a dummy object. | |
3763 | ||
3764 | 2016-02-19 Jakub Jelinek <jakub@redhat.com> | |
3765 | ||
3766 | PR c++/69850 | |
3767 | * init.c (build_vec_delete_1): Set TREE_NO_WARNING on the NE_EXPR | |
3768 | condition. | |
3769 | * cp-gimplify.c (cp_fold): Propagate TREE_NO_WARNING from binary | |
3770 | operators if folding preserved the binop, just with different | |
3771 | arguments. | |
3772 | ||
3773 | PR c++/67767 | |
3774 | * parser.c (cp_parser_std_attribute_spec_seq): Don't assume | |
3775 | attr_spec is always single element chain, chain all the attributes | |
3776 | properly together in the right order. | |
3777 | ||
3778 | 2016-02-18 Jason Merrill <jason@redhat.com> | |
3779 | ||
3780 | * mangle.c (maybe_check_abi_tags): Add for_decl parm. Call | |
3781 | mangle_decl. | |
3782 | (mangle_decl): Call maybe_check_abi_tags for function scope. | |
3783 | (mangle_guard_variable): Call maybe_check_abi_tags here. | |
3784 | (write_guarded_var_name): Not here. | |
3785 | ||
3786 | 2016-02-17 Jason Merrill <jason@redhat.com> | |
3787 | ||
3788 | PR c++/65985 | |
3789 | * constexpr.c (build_constexpr_constructor_member_initializers): | |
3790 | Handle an additional STATEMENT_LIST. | |
3791 | ||
3792 | PR c++/68585 | |
3793 | * constexpr.c (cxx_eval_bare_aggregate): Fix 'changed' detection. | |
3794 | ||
3795 | PR c++/68679 | |
3796 | * decl2.c (reset_type_linkage_2): Look through member templates. | |
3797 | ||
3798 | 2016-02-17 Jakub Jelinek <jakub@redhat.com> | |
3799 | ||
3800 | PR c++/69850 | |
3801 | * init.c (build_delete): Set TREE_NO_WARNING on ifexp. | |
3802 | ||
3803 | 2016-02-17 Jason Merrill <jason@redhat.com> | |
3804 | ||
3805 | PR c++/69842 | |
3806 | * method.c (forward_parm): Split out from... | |
3807 | (add_one_base_init): ...here. | |
3808 | * lambda.c (maybe_add_lambda_conv_op): Use it. | |
3809 | ||
3810 | 2016-02-16 Jason Merrill <jason@redhat.com> | |
3811 | ||
3812 | PR c++/10200 | |
3813 | PR c++/69753 | |
3814 | * call.c, cp-tree.h, name-lookup.c, pt.c, search.c, semantics.c, | |
3815 | tree.c, typeck2.c: Revert earlier changes. | |
3816 | * parser.c (cp_parser_lookup_name): Ignore namespace-scope | |
3817 | non-type templates after -> or . | |
3818 | ||
3819 | 2016-02-16 Jakub Jelinek <jakub@redhat.com> | |
3820 | ||
3821 | PR c/69835 | |
3822 | * typeck.c (cp_build_binary_op): Revert 2015-09-09 change. | |
3823 | ||
3824 | 2016-02-16 Jason Merrill <jason@redhat.com> | |
3825 | ||
3826 | PR c++/69657 | |
3827 | * name-lookup.c (lookup_qualified_name): Add find_hidden parm. | |
3828 | (set_decl_namespace): Pass it. Complain about finding a hidden friend. | |
3829 | * name-lookup.h: Adjust. | |
3830 | ||
3831 | 2016-02-16 James Norris <jnorris@codesourcery.com> | |
3832 | ||
3833 | * parser.c (cp_parser_oacc_data_clause_deviceptr): Remove checking. | |
3834 | * semantics.c (finish_omp_clauses): Add deviceptr checking. | |
3835 | ||
3836 | 2016-02-15 Jakub Jelinek <jakub@redhat.com> | |
3837 | ||
3838 | PR c++/69658 | |
3839 | * init.c (expand_default_init): Only call reshape_init | |
3840 | in the direct-initialization from an initializer list case. | |
3841 | ||
3842 | 2016-02-15 Jason Merrill <jason@redhat.com> | |
3843 | ||
3844 | PR c++/69753 | |
3845 | * semantics.c (finish_call_expr): Implicit 'this' does not make | |
3846 | the call dependent. | |
3847 | * search.c (any_dependent_bases_p): Split out... | |
3848 | * name-lookup.c (do_class_using_decl): ...from here. | |
3849 | * call.c (build_new_method_call_1): Don't complain about missing object | |
3850 | if there are dependent bases. Tweak error. | |
3851 | * tree.c (non_static_member_function_p): Remove. | |
3852 | * pt.c (type_dependent_expression_p): A member template of a | |
3853 | dependent type is dependent. | |
3854 | * cp-tree.h: Adjust. | |
3855 | ||
3856 | PR c++/68890 | |
3857 | * constexpr.c (verify_ctor_sanity): Remove CONSTRUCTOR_NELTS check. | |
3858 | ||
3859 | 2016-02-12 Patrick Palka <ppalka@gcc.gnu.org> | |
3860 | ||
3861 | PR c++/69098 | |
3862 | * pt.c (lookup_and_finish_template_variable): New function, | |
3863 | extracted from ... | |
3864 | (tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: ... here. Use it. | |
3865 | (tsubst_qualified_id): Consider that EXPR might be a variable | |
3866 | template. | |
3867 | * typeck.c (check_template_keyword): Don't emit an error | |
3868 | if DECL is a variable template. | |
3869 | ||
3870 | 2016-02-12 Jakub Jelinek <jakub@redhat.com> | |
3871 | ||
3872 | * error.c: Spelling fixes - behaviour -> behavior and | |
3873 | neighbour -> neighbor. | |
3874 | * decl.c: Likewise. | |
3875 | * typeck.c (cp_build_binary_op): Fix up behavior spelling in | |
3876 | diagnostics. | |
3877 | * init.c (build_delete): Likewise. | |
3878 | ||
3879 | 2016-02-11 Jakub Jelinek <jakub@redhat.com> | |
3880 | ||
3881 | PR c/69768 | |
3882 | * typeck.c (cp_build_binary_op): cp_fully_fold integer_zerop | |
3883 | arguments for -Waddress warning. Fix up formatting. | |
3884 | ||
3885 | 2016-02-11 Paolo Carlini <paolo.carlini@oracle.com> | |
3886 | ||
3887 | PR c++/68726 | |
3888 | * pt.c (lookup_template_class_1): Check tsubst return value for | |
3889 | error_mark_node. | |
3890 | ||
3891 | 2016-02-10 Jason Merrill <jason@redhat.com> | |
3892 | ||
3893 | PR c++/68926 | |
3894 | * pt.c (resolve_nondeduced_context): Add complain parm. | |
3895 | (do_auto_deduction): Pass it. | |
3896 | * cvt.c (convert_to_void): Likewise. | |
3897 | * decl.c (cp_finish_decl): Likewise. | |
3898 | * init.c (build_new): Likewise. | |
3899 | * rtti.c (get_tinfo_decl_dynamic): Likewise. | |
3900 | * semantics.c (finish_decltype_type): Likewise. | |
3901 | * typeck.c (decay_conversion): Likewise. | |
3902 | * cp-tree.h: Adjust declaration. | |
3903 | * call.c (standard_conversion): Add complain parm, pass it along. | |
3904 | (implicit_conversion): Pass it. | |
3905 | ||
3906 | PR c++/69657 | |
3907 | * name-lookup.c (ambiguous_decl): Call remove_hidden_names. | |
3908 | (lookup_name_real_1): Likewise. | |
3909 | (remove_hidden_names): Handle non-functions too. | |
3910 | ||
3911 | PR c++/10200 | |
3912 | * parser.c (cp_parser_lookup_name): When looking for a template | |
3913 | after . or ->, only consider class templates. | |
3914 | (cp_parser_postfix_dot_deref_expression): Handle the current | |
3915 | instantiation. Remember a dependent object expression. | |
3916 | * typeck2.c (build_x_arrow): Handle the current instantiation. | |
3917 | ||
3918 | * ptree.c (debug_tree): Implement for cp_expr. | |
3919 | ||
3920 | 2016-02-08 Patrick Palka <ppalka@gcc.gnu.org> | |
3921 | ||
3922 | PR c++/69139 | |
3923 | * parser.c (cp_parser_simple_type_specifier): Make the check | |
3924 | for disambiguating between an 'auto' placeholder and an implicit | |
3925 | template parameter more robust. | |
3926 | ||
3927 | 2016-02-08 Patrick Palka <ppalka@gcc.gnu.org> | |
3928 | ||
3929 | PR c++/69283 | |
3930 | PR c++/67835 | |
3931 | * decl2.c (mark_used): When given a TEMPLATE_DECL, return after | |
3932 | setting its TREE_USED flag. | |
3933 | ||
3934 | 2016-02-08 Jason Merrill <jason@redhat.com> | |
3935 | ||
3936 | PR c++/69657 | |
3937 | * name-lookup.c (do_nonmember_using_decl): Leave anticipated | |
3938 | built-ins alone. | |
3939 | ||
3940 | 2016-02-08 Jakub Jelinek <jakub@redhat.com> | |
3941 | ||
3942 | PR c++/59627 | |
3943 | * parser.c (cp_parser_omp_declare_reduction): Set assembler name | |
3944 | of the DECL_OMP_DECLARE_REDUCTION_P decls. | |
3945 | ||
3946 | 2016-02-08 Marek Polacek <polacek@redhat.com> | |
3947 | ||
3948 | PR c++/69688 | |
3949 | * constexpr.c (clear_cv_and_fold_caches): Renamed from clear_cv_cache. | |
3950 | Call clear_fold_cache. | |
3951 | * cp-tree.h: Adjust declaration. | |
3952 | * decl.c (finish_enum_value_list): Call clear_cv_and_fold_caches | |
3953 | rather than clear_cv_cache and clear_fold_cache. | |
3954 | * typeck2.c (store_init_value): Call clear_cv_and_fold_caches. | |
3955 | ||
3956 | 2016-02-08 Jason Merrill <jason@redhat.com> | |
3957 | ||
3958 | * cp-tree.h (CONV_FOLD, CONV_BACKEND_CONVERT): New. | |
3959 | * cvt.c (convert): Pass CONV_BACKEND_CONVERT. | |
3960 | (ocp_convert): Use *_maybe_fold. | |
3961 | (cp_convert_to_pointer): Add dofold parameter. | |
3962 | * cp-gimplify.c (cp_fold) [CONVERT_EXPR]: Call convert. | |
3963 | ||
3964 | 2016-02-05 Martin Sebor <msebor@redhat.com> | |
3965 | ||
3966 | PR c++/69662 | |
3967 | * init.c (find_field_init): New function. | |
3968 | (warn_placement_new_too_small): Call it. Handle one-element arrays | |
3969 | at ends of structures special. | |
3970 | ||
3971 | 2016-02-05 Jason Merrill <jason@redhat.com> | |
3972 | ||
3973 | PR c++/68948 | |
3974 | * semantics.c (finish_expr_stmt): If expr is error_mark_node, | |
3975 | make sure we've seen_error(). | |
3976 | ||
3977 | 2016-02-05 Patrick Palka <ppalka@gcc.gnu.org> | |
3978 | ||
3979 | PR c++/68948 | |
3980 | * pt.c (tsubst_baselink): Diagnose an invalid constructor call | |
3981 | if lookup_fnfields returns NULL_TREE and the name being looked | |
3982 | up has the form A::A. | |
3983 | ||
3984 | 2016-02-04 Patrick Palka <ppalka@gcc.gnu.org> | |
3985 | ||
3986 | * constexpr.c (cxx_eval_binary_expression): Fold equality | |
3987 | comparisons involving PTRMEM_CSTs. | |
3988 | ||
3989 | 2016-02-04 Jakub Jelinek <jakub@redhat.com> | |
3990 | ||
3991 | * class.c (find_flexarrays): Don't declare dom variable. | |
3992 | (diagnose_flexarray): Likewise. | |
3993 | ||
3994 | 2016-02-02 Martain Sebor <msebor@redhat.com> | |
3995 | ||
3996 | PR c++/69251 | |
3997 | PR c++/69253 | |
3998 | PR c++/69290 | |
3999 | PR c++/69277 | |
4000 | PR c++/69349 | |
4001 | * class.c (walk_subobject_offsets): Avoid testing the upper bound | |
4002 | of a flexible array member for equality to null. | |
4003 | (find_flexarrays): Remove spurious whitespace introduced in r231665. | |
4004 | (diagnose_flexarrays): Avoid checking the upper bound of arrays. | |
4005 | (check_flexarrays): Same. | |
4006 | * decl.c (compute_array_index_type): Avoid special case for flexible | |
4007 | array members. | |
4008 | (grokdeclarator): Avoid calling compute_array_index_type for flexible | |
4009 | array members. | |
4010 | * error.c (dump_type_suffix): Revert changes introduced in r231665 | |
4011 | and rendered unnecessary by the changes above. | |
4012 | * pt.c (tsubst): Same. | |
4013 | * tree.c (build_ctor_subob_ref): Handle flexible array members. | |
4014 | * typeck2.c (digest_init_r): Revert changes introduced in r231665. | |
4015 | (process_init_constructor_array): Same. | |
4016 | (process_init_constructor_record): Same. | |
4017 | ||
4018 | 2016-02-03 Patrick Palka <ppalka@gcc.gnu.org> | |
4019 | ||
4020 | PR c++/69056 | |
4021 | * pt.c (try_one_overload): Handle comparing argument packs so | |
4022 | that there is no conflict if we deduced more arguments of an | |
4023 | argument pack than were explicitly specified. | |
4024 | ||
4025 | 2016-01-31 Jakub Jelinek <jakub@redhat.com> | |
4026 | Jason Merrill <jason@redhat.com> | |
4027 | ||
4028 | PR c++/68763 | |
4029 | * tree.c (strip_typedefs) [FUNCTION_TYPE]: Avoid building a new | |
4030 | function type if nothing is changing. | |
4031 | ||
4032 | 2016-01-31 Jason Merrill <jason@redhat.com> | |
4033 | ||
4034 | PR c++/69009 | |
4035 | * pt.c (partial_specialization_p, impartial_args): New. | |
4036 | (instantiate_decl): Call impartial_args. | |
4037 | ||
4038 | * mangle.c (maybe_check_abi_tags): New. | |
4039 | (write_guarded_var_name): Call it. | |
4040 | (mangle_ref_init_variable): Call check_abi_tags. | |
4041 | ||
4042 | * pt.c (lookup_template_class_1): Don't share TYPE_ATTRIBUTES | |
4043 | between template and instantiation. | |
4044 | ||
4045 | 2016-01-29 Jakub Jelinek <jakub@redhat.com> | |
4046 | ||
4047 | PR debug/66869 | |
4048 | * decl.c (wrapup_globals_for_namespace): Warn about unused static | |
4049 | function declarations. | |
4050 | ||
4051 | 2016-01-29 Marek Polacek <polacek@redhat.com> | |
4052 | ||
4053 | PR c++/69509 | |
4054 | PR c++/69516 | |
4055 | * constexpr.c (cxx_eval_array_reference): Give the "array subscript | |
4056 | out of bound" error earlier. | |
4057 | * init.c (build_vec_init): Change NE_EXPR into GT_EXPR. Update the | |
4058 | commentary. | |
4059 | ||
4060 | 2016-01-29 Patrick Palka <ppalka@gcc.gnu.org> | |
4061 | ||
4062 | * name-lookup.c (begin_scope): After reusing a cp_binding_level | |
4063 | structure, update free_binding_level before the structure's | |
4064 | level_chain field gets cleared, not after. | |
4065 | ||
4066 | 2016-01-28 Jason Merrill <jason@redhat.com> | |
4067 | ||
4068 | PR c++/67407 | |
4069 | * search.c (dfs_walk_once, dfs_walk_once_r) | |
4070 | (dfs_walk_once_accessible_r, dfs_walk_once_accessible): Use | |
4071 | hash_set instead of BINFO_MARKED. | |
4072 | (dfs_unmark_r): Remove. | |
4073 | ||
4074 | 2016-01-28 Patrick Palka <ppalka@gcc.gnu.org> | |
4075 | ||
4076 | PR c++/24208 | |
4077 | * parser.c (LEXER_DEBUGGING_ENABLED_P): New macro. | |
4078 | (cp_lexer_debugging_p): Use it. | |
4079 | (cp_lexer_start_debugging): Likewise. | |
4080 | (cp_lexer_stop_debugging): Likewise. | |
4081 | ||
4082 | 2016-01-27 Marek Polacek <polacek@redhat.com> | |
4083 | ||
4084 | PR c/68062 | |
4085 | * typeck.c (cp_build_binary_op): Promote operand to unsigned, if | |
4086 | needed. Add -Wsign-compare warning. | |
4087 | ||
4088 | 2016-01-27 Ryan Burn <contact@rnburn.com> | |
4089 | ||
4090 | PR cilkplus/69267 | |
4091 | * cp-gimplify.c (cilk_cp_gimplify_call_params_in_spawned_fn): Removed | |
4092 | superfluous post_p argument in call to | |
4093 | cilk_gimplify_call_params_in_spawned_fn. | |
4094 | ||
4095 | 2016-01-27 Marek Polacek <polacek@redhat.com> | |
4096 | ||
4097 | PR c++/69379 | |
4098 | * constexpr.c (cxx_eval_constant_expression): Handle PTRMEM_CSTs | |
4099 | wrapped in NOP_EXPRs. | |
4100 | ||
4101 | 2016-01-27 Martin Sebor <msebor@redhat.com> | |
4102 | ||
4103 | PR c++/69317 | |
4104 | * mangle.c (mangle_decl): Reference the correct (saved) version | |
4105 | of the ABI in -Wabi diagnostics. | |
4106 | ||
4107 | 2016-01-27 Marek Polacek <polacek@redhat.com> | |
4108 | ||
4109 | PR c++/69496 | |
4110 | * constexpr.c (cxx_eval_array_reference): Evaluate the number of | |
4111 | elements of the array. | |
4112 | ||
4113 | 2016-01-26 Jason Merrill <jason@redhat.com> | |
4114 | ||
4115 | PR c++/68949 | |
4116 | * constexpr.c (register_constexpr_fundef): Keep the un-massaged body. | |
4117 | (cxx_eval_call_expression): Don't look through clones. | |
4118 | * optimize.c (maybe_clone_body): Clear DECL_SAVED_TREE of the alias. | |
4119 | * semantics.c (expand_or_defer_fn_1): Keep DECL_SAVED_TREE of | |
4120 | maybe-in-charge *tor. | |
4121 | ||
4122 | 2016-01-26 Jason Merrill <jason@redhat.com> | |
4123 | ||
4124 | PR c++/68782 | |
4125 | * constexpr.c (cxx_eval_bare_aggregate): Update TREE_CONSTANT | |
4126 | and TREE_SIDE_EFFECTS. | |
4127 | (cxx_eval_constant_expression) [CONSTRUCTOR]: Call | |
4128 | verify_constructor_flags. | |
4129 | ||
4130 | 2016-01-26 Jakub Jelinek <jakub@redhat.com> | |
4131 | ||
4132 | PR c++/68357 | |
4133 | * cp-gimplify.c (cp_fold): If some operand folds to error_mark_node, | |
4134 | return error_mark_node instead of building trees with error_mark_node | |
4135 | operands. | |
4136 | ||
4137 | 2016-01-26 David Malcolm <dmalcolm@redhat.com> | |
4138 | ||
4139 | PR other/69006 | |
4140 | * error.c (print_instantiation_partial_context_line): Add missing | |
4141 | newlines from output for the t == NULL case. | |
4142 | (print_instantiation_partial_context): Remove call to pp_newline. | |
4143 | ||
4144 | 2016-01-24 Patrick Palka <ppalka@gcc.gnu.org> | |
4145 | ||
4146 | Revert: | |
4147 | 2016-01-18 Patrick Palka <ppalka@gcc.gnu.org> | |
4148 | ||
4149 | PR c++/11858 | |
4150 | PR c++/24663 | |
4151 | PR c++/24664 | |
4152 | * decl.c (grokdeclarator): Don't decay array parameter type to | |
4153 | a pointer type if it's dependent. | |
4154 | (grokparms): Invoke strip_top_quals instead of directly invoking | |
4155 | cp_build_qualified_type. | |
4156 | * pt.c (decay_dependent_array_parm_type): New static function. | |
4157 | (type_unification_real): Call decay_dependent_array_parm_type | |
4158 | to decay a dependent array parameter type to its corresponding | |
4159 | pointer type before unification. | |
4160 | (more_specialized_fn): Likewise. | |
4161 | (get_bindings): Likewise. | |
4162 | * tree.c (cp_build_qualified_type): Trivial typofix in | |
4163 | documentation. | |
4164 | ||
4165 | 2016-01-23 Martin Sebor <msebor@redhat.com> | |
4166 | ||
4167 | PR c++/58109 | |
4168 | PR c++/69022 | |
4169 | * decl2.c (is_late_template_attribute): Handle dependent argument | |
4170 | to attribute align and attribute vector_size. | |
4171 | ||
4172 | 2016-01-21 Jason Merrill <jason@redhat.com> | |
4173 | ||
4174 | PR c++/69392 | |
4175 | * lambda.c (lambda_capture_field_type): Handle 'this' specially | |
4176 | for init-capture, too. | |
4177 | ||
4178 | PR c++/65687 | |
4179 | * decl.c (type_is_deprecated): Don't look into a typedef. | |
4180 | ||
4181 | PR c++/40751 | |
4182 | PR c++/64987 | |
4183 | * decl.c (copy_type_enum): Respect TYPE_USER_ALIGN. | |
4184 | ||
4185 | PR c++/43407 | |
4186 | * decl.c (start_enum): Add attributes parameter. | |
4187 | * parser.c (cp_parser_enum_specifier): Pass it. | |
4188 | * pt.c (lookup_template_class_1): Pass it. | |
4189 | * cp-tree.h: Adjust. | |
4190 | ||
4191 | 2016-01-19 Jason Merrill <jason@redhat.com> | |
4192 | ||
4193 | PR c++/59759 | |
4194 | * pt.c (convert_template_argument): Handle VAR_DECL properly. | |
4195 | ||
4196 | 2016-01-19 Marek Polacek <polacek@redhat.com> | |
4197 | ||
4198 | PR c++/68586 | |
4199 | * constexpr.c (clear_cv_cache): New. | |
4200 | * cp-gimplify.c (clear_fold_cache): New. | |
4201 | * cp-tree.h (clear_cv_cache, clear_fold_cache): Declare. | |
4202 | * decl.c (finish_enum_value_list): Call them. | |
4203 | ||
4204 | PR c++/68965 | |
4205 | * pt.c (tsubst_copy): Mark elements in expanded vector as used. | |
4206 | ||
4207 | 2016-01-18 Patrick Palka <ppalka@gcc.gnu.org> | |
4208 | ||
4209 | PR c++/11858 | |
4210 | PR c++/24663 | |
4211 | PR c++/24664 | |
4212 | * decl.c (grokdeclarator): Don't decay array parameter type to | |
4213 | a pointer type if it's dependent. | |
4214 | (grokparms): Invoke strip_top_quals instead of directly invoking | |
4215 | cp_build_qualified_type. | |
4216 | * pt.c (decay_dependent_array_parm_type): New static function. | |
4217 | (type_unification_real): Call decay_dependent_array_parm_type | |
4218 | to decay a dependent array parameter type to its corresponding | |
4219 | pointer type before unification. | |
4220 | (more_specialized_fn): Likewise. | |
4221 | (get_bindings): Likewise. | |
4222 | * tree.c (cp_build_qualified_type): Trivial typofix in | |
4223 | documentation. | |
4224 | ||
4225 | 2016-01-18 Jason Merrill <jason@redhat.com> | |
4226 | ||
4227 | * cp-gimplify.c (cp_fold) [CONSTRUCTOR]: Don't clobber the input. | |
4228 | ||
4229 | * cp-gimplify.c (cp_fold): Remove unnecessary special cases. | |
4230 | ||
4231 | PR c++/68767 | |
4232 | * cp-gimplify.c (cp_fold) [COND_EXPR]: Simplify. Do fold COND_EXPR. | |
4233 | (contains_label_1, contains_label_p): Remove. | |
4234 | ||
4235 | 2016-01-16 Patrick Palka <ppalka@gcc.gnu.org> | |
4236 | ||
4237 | PR c++/69091 | |
4238 | * pt.c (type_dependent_expression_p): For a function template | |
4239 | specialization, a type is dependent iff any of its template | |
4240 | arguments are. | |
4241 | ||
4242 | 2016-01-16 Patrick Palka <ppalka@gcc.gnu.org> | |
4243 | ||
4244 | * cp-array-notation.c (cp_expand_cond_array_notations): Return | |
4245 | error_mark_node only if find_rank failed, not if it was | |
4246 | successful. | |
4247 | ||
4248 | 2016-01-16 Patrick Palka <ppalka@gcc.gnu.org> | |
4249 | ||
4250 | PR c++/68936 | |
4251 | * tree.c (build_min_non_dep_call_vec): Don't retain the | |
4252 | KOENIG_LOOKUP_P flag of the non-dependent expression that's | |
4253 | been built. | |
4254 | (build_min_non_dep_op_overload): Instead, do it here. | |
4255 | ||
4256 | 2016-01-15 Jakub Jelinek <jakub@redhat.com> | |
4257 | ||
4258 | PR bootstrap/68271 | |
4259 | * parser.h (cp_token): Remove pragma_kind field. Add comment | |
4260 | with number of unused bits. | |
4261 | * parser.c (eof_token): Remove pragma_kind field initializer. | |
4262 | (cp_lexer_get_preprocessor_token): Don't set pragma_kind | |
4263 | field, don't clear CPP_PRAGMA u.value. | |
4264 | (cp_parser_pragma_kind): New function. | |
4265 | (cp_parser_omp_sections_scope, cp_parser_oacc_kernels_parallel, | |
4266 | cp_parser_omp_construct, cp_parser_initial_pragma, | |
4267 | cp_parser_pragma): Use cp_parser_pragma_kind instead of accessing | |
4268 | pragma_kind field. | |
4269 | ||
4270 | 2016-01-15 Jason Merrill <jason@redhat.com> | |
4271 | ||
4272 | PR c++/68847 | |
4273 | * call.c (build_cxx_call): Use fold_non_dependent_expr. | |
4274 | ||
4275 | * typeck2.c (cxx_incomplete_type_diagnostic): Use the location of | |
4276 | value. | |
4277 | ||
4278 | PR c++/69257 | |
4279 | * typeck.c (decay_conversion): Don't call mark_rvalue_use for | |
4280 | array/function-to-pointer conversion. Call | |
4281 | complete_type_or_maybe_complain for lvalue-to-rvalue conversion. | |
4282 | * call.c (convert_like_real): Print call context if | |
4283 | decay_conversion errors. | |
4284 | ||
4285 | 2016-01-14 Tom de Vries <tom@codesourcery.com> | |
4286 | ||
4287 | PR tree-optimization/68773 | |
4288 | * parser.c (cp_parser_oacc_declare, cp_parser_omp_declare_target): Don't | |
4289 | set force_output. | |
4290 | ||
4291 | 2016-01-14 Jason Merrill <jason@redhat.com> | |
4292 | ||
4293 | PR c++/69261 | |
4294 | * constexpr.c (find_array_ctor_elt): Handle splitting RANGE_EXPR. | |
4295 | ||
4296 | 2016-01-12 Marek Polacek <polacek@redhat.com> | |
4297 | ||
4298 | PR c++/68979 | |
4299 | * constexpr.c (cxx_eval_check_shift_p): Use permerror rather than | |
4300 | error_at and adjust the return value. | |
4301 | ||
4302 | 2016-01-12 Jakub Jelinek <jakub@redhat.com> | |
4303 | ||
4304 | PR objc++/68511 | |
4305 | PR c++/69213 | |
4306 | * cp-gimplify.c (cp_gimplify_expr) <case INIT_EXPR>: Don't return | |
4307 | GS_ERROR whenever seen_error (), only if *expr_p contains | |
4308 | cilk spawn stmt, but cilk_detect_spawn_and_unwrap failed. | |
4309 | ||
4310 | PR c++/66808 | |
4311 | PR c++/69000 | |
4312 | * pt.c (tsubst_decl): If not local_p, clear DECL_TEMPLATE_INFO. | |
4313 | ||
4314 | 2016-01-11 Jason Merrill <jason@redhat.com> | |
4315 | ||
4316 | PR c++/69131 | |
4317 | * method.c (walk_field_subobs): Add dtor_from_ctor parm. | |
4318 | (process_subob_fn): Likewise. Don't consider triviality if true. | |
4319 | (synthesize_method_walk): Pass it. | |
4320 | ||
4321 | 2016-01-11 David Malcolm <dmalcolm@redhat.com> | |
4322 | ||
4323 | PR c++/68795 | |
4324 | * parser.c (cp_parser_postfix_expression): Initialize | |
4325 | close_paren_loc to UNKNOWN_LOCATION; only use it if | |
4326 | it has been written to by | |
4327 | cp_parser_parenthesized_expression_list. | |
4328 | (cp_parser_parenthesized_expression_list): Document the behavior | |
4329 | with respect to the CLOSE_PAREN_LOC param. | |
4330 | ||
4331 | 2016-01-11 Jakub Jelinek <jakub@redhat.com> | |
4332 | ||
4333 | PR c++/69211 | |
4334 | * cp-gimplify.c (cp_fold): If COMPOUND_EXPR or MODIFY_EXPR | |
4335 | folded operands have side-effects, but folding changed any of them, | |
4336 | build a new tree with the folded operands instead of returning the | |
4337 | unfolded tree. | |
4338 | ||
4339 | 2016-01-09 Marek Polacek <polacek@redhat.com> | |
4340 | ||
4341 | PR c++/69113 | |
4342 | * decl2.c (comdat_linkage): Only set DECL_COMDAT if TREE_PUBLIC is set. | |
4343 | ||
4344 | 2016-01-09 Jakub Jelinek <jakub@redhat.com> | |
4345 | ||
4346 | PR c++/69164 | |
4347 | * class.c (layout_class_type): Use copy_node to copy FIELD_DECLs. | |
4348 | ||
4349 | 2016-01-08 Jason Merrill <jason@redhat.com> | |
4350 | ||
4351 | PR c++/69158 | |
4352 | * constexpr.c (cxx_fold_indirect_ref): Handle array type differing | |
4353 | in completion. | |
4354 | ||
4355 | 2016-01-08 Marek Polacek <polacek@redhat.com> | |
4356 | ||
4357 | PR c++/68449 | |
4358 | * constexpr.c (cxx_eval_constant_expression): Handle NULL initializer. | |
4359 | ||
4360 | 2016-01-08 Jason Merrill <jason@redhat.com> | |
4361 | ||
4362 | * constexpr.c (cxx_eval_call_expression): Remove convert_to_void | |
4363 | workaround. | |
4364 | ||
4365 | PR c++/68983 | |
4366 | PR c++/67557 | |
4367 | * cvt.c (convert_to_void): Don't strip a TARGET_EXPR of | |
4368 | TREE_ADDRESSABLE type. | |
4369 | ||
4370 | PR c++/68983 | |
4371 | PR c++/67557 | |
4372 | * call.c (unsafe_copy_elision_p): Look through COMPOUND_EXPR. | |
4373 | ||
4374 | 2016-01-05 Nathan Sidwell <nathan@acm.org> | |
4375 | ||
4376 | PR c++/58583 | |
4377 | * pt.c (build_non_dependent_expr): Don't try a checking fold when | |
4378 | parsing an nsdmi. | |
4379 | ||
4380 | 2016-01-04 Jakub Jelinek <jakub@redhat.com> | |
4381 | ||
4382 | Update copyright years. | |
4383 | \f | |
4384 | Copyright (C) 2016 Free Software Foundation, Inc. | |
4385 | ||
4386 | Copying and distribution of this file, with or without modification, | |
4387 | are permitted in any medium without royalty provided the copyright | |
4388 | notice and this notice are preserved. |