| blob | ff0435e62eaa840093f68e8674074b28b0dc1a2e |
1 2016-10-10 Jason Merrill <jason@redhat.com>
3 PR c++/77890
4 PR c++/77912
5 * pt.c (do_class_deduction): Set cp_unevaluated_operand.
6 (tsubst) [TEMPLATE_TYPE_PARM]: Copy CLASS_PLACEHOLDER_TEMPLATE.
8 2016-10-08 Jason Merrill <jason@redhat.com>
10 * cp-gimplify.c (cp_fold): Add variable name.
12 * cp-gimplify.c (cp_fold): Distribute cp_truthvalue_conversion
13 into COND_EXPR.
15 2016-10-07 Jason Merrill <jason@redhat.com>
17 Further P0135 refinement.
18 * call.c (build_user_type_conversion_1): Consider conversions from
19 a single element in an initializer-list.
20 (build_temp): Undo early_elide_copy change.
21 (build_over_call): Check that we don't try to copy a TARGET_EXPR
22 in C++17 mode. Set user_conv_p here.
23 (convert_like_real): Not here.
24 (check_self_delegation): Split out from...
25 (build_special_member_call): ...here. Handle C++17 copy elision.
26 * cvt.c (early_elide_copy): Remove.
27 (ocp_convert): Undo early_elide_copy change.
28 * except.c (build_throw): Likewise.
29 * init.c (expand_default_init): Likewise.
30 * typeck.c (cp_build_modify_expr): Likewise.
32 2016-10-07 Nathan Sidwell <nathan@acm.org>
34 PR c++/64433
35 DR1658, DR1611
36 * init.c (emit_mem_initializers): Don't construct vbases of
37 abstract classes.
38 (push_base_cleanups): Don't push vbase cleanups for abstract class
39 when in C++14 mode.
40 * method.c (synthethesized_method_walk): Don't walk vbases of
41 abstract classes when in C++14 mode.
43 2016-10-07 Jakub Jelinek <jakub@redhat.com>
45 Implement LWG2296 helper intrinsic
46 * parser.c (cp_parser_postfix_expression): Handle RID_ADDRESSOF.
47 * cp-objcp-common.c (cp_common_init_ts): Handle ADDRESSOF_EXPR.
48 * constexpr.c (potential_constant_expression_1): Likewise.
49 * error.c (dump_expr): Likewise.
50 * typeck.c (cp_build_addressof): New function.
51 * cp-tree.h (cp_build_addressof): Declare.
52 * cxx-pretty-print.h (pp_cxx_addressof_expression): Declare.
53 * cp-tree.def (ADDRESSOF_EXPR): New tree code.
54 * cxx-pretty-print.c (cxx_pretty_printer::primary_expression): Handle
55 ADDRESSOF_EXPR. Add __builtin_addressof and
56 __has_unique_object_representations into syntax in function comment.
57 (pp_cxx_addressof_expression): New function.
58 * pt.c (tsubst_copy_and_build): Handle ADDRESSOF_EXPR.
60 2016-10-07 Bernd Edlinger <bernd.edlinger@hotmail.de>
62 PR c++/77700
63 * parser.c (cp_parser_base_specifier): Fix a warning.
65 2016-10-07 Bernd Schmidt <bschmidt@redhat.com>
67 PR c++/69733
68 * decl.c (grokdeclarator): Try to find the correct location for an
69 ignored qualifier.
71 2016-10-07 Martin Liska <mliska@suse.cz>
73 * lambda.c (maybe_add_lambda_conv_op): Set default value.
75 2016-10-06 Jason Merrill <jason@redhat.com>
77 * call.c (build_temp, convert_like_real): Don't re-copy
78 TARGET_EXPR. Handle packed fields.
79 (build_x_va_arg): Wrap it in a TARGET_EXPR.
80 (build_over_call): Add sanity check.
81 * cvt.c (early_elide_copy): New.
82 (ocp_convert): Use it.
83 * except.c (build_throw): Use it.
84 * init.c (get_nsdmi): Put back the TARGET_EXPR.
85 (expand_default_init): Call early_elide_copy.
86 * typeck.c (cp_build_modify_expr): Call early_elide_copy.
88 2016-10-06 Jakub Jelinek <jakub@redhat.com>
90 Implement P0258R2 - helper for C++17
91 std::has_unique_object_representations trait
92 * cp-tree.h (enum cp_trait_kind): Add
93 CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS.
94 (struct lang_type_class): Add unique_obj_representations
95 and unique_obj_representations_set bitfields.
96 (CLASSTYPE_UNIQUE_OBJ_REPRESENTATIONS,
97 CLASSTYPE_UNIQUE_OBJ_REPRESENTATIONS_SET): Define.
98 (type_has_unique_obj_representations): Declare.
99 * parser.c (cp_parser_primary_expression): Handle
100 RID_HAS_UNIQUE_OBJ_REPRESENTATIONS.
101 (cp_parser_trait_expr): Likewise. Formatting fix.
102 * semantics.c (trait_expr_value, finish_trait_expr): Handle
103 CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS.
104 * tree.c (type_has_unique_obj_representations): New function.
105 (record_has_unique_obj_representations): New function.
106 * cxx-pretty-print.c (pp_cxx_trait_expression): Handle
107 CPTK_HAS_UNIQUE_OBJ_REPRESENTATIONS.
109 2016-10-05 Jason Merrill <jason@redhat.com>
111 Implement P0135R1, Guaranteed copy elision.
112 * cvt.c (ocp_convert): Don't re-copy a TARGET_EXPR in C++17.
114 PR c++/54293
115 * call.c (reference_binding): Fix binding to member of temporary.
117 * call.c (extend_ref_init_temps): Fix TARGET_EXPR handling.
119 * parser.c (cp_parser_skip_to_end_of_statement): Add missing break.
121 * semantics.c (finish_compound_literal): Handle class placeholder.
123 2016-10-05 Marek Polacek <polacek@redhat.com>
125 Implement P0305R1, Selection statements with initializer.
126 * cp-array-notation.c (create_an_loop): Call finish_init_stmt
127 instead of finish_for_init_stmt.
128 * cp-tree.h (finish_for_init_stmt): Rename to finish_init_stmt.
129 * decl.c (poplevel): Adjust a comment.
130 * init.c (build_vec_init): Call finish_init_stmt instead of
131 finish_for_init_stmt.
132 * name-lookup.c (pushdecl_maybe_friend_1): Adjust a comment.
133 * name-lookup.h (enum scope_kind): Likewise.
134 * parser.c (cp_parser_statement): Update commentary.
135 (cp_parser_init_statement_p): New function.
136 (cp_parser_selection_statement): Parse the optional init-statement.
137 (cp_parser_for): Call finish_init_stmt instead of finish_for_init_stmt.
138 (cp_parser_c_for): Likewise.
139 (cp_convert_range_for): Call finish_init_stmt instead of finish_for_init_stmt.
140 (cp_parser_range_for_member_function): Update commentary.
141 (cp_parser_iteration_statement):
142 (cp_parser_for_init_statement): Rename to cp_parser_init_statement.
143 * pt.c (tsubst_omp_for_iterator): Update commentary.
144 (tsubst_expr): Call finish_init_stmt instead of finish_for_init_stmt.
145 * semantics.c (finish_for_init_stmt): Rename to finish_init_stmt.
146 Update commentary.
148 2016-10-04 Jason Merrill <jason@redhat.com>
150 PR c++/77852
151 * pt.c (do_class_deduction): Handle list-initialization.
152 (do_auto_deduction): Call it sooner.
153 (build_deduction_guide): Use tsubst_arg_types.
154 (rewrite_template_parm): Don't copy_type.
156 PR c++/77775
157 * constexpr.c (cxx_eval_component_reference): Use name matching
158 for PMFs.
160 Implement P0091R2, Template argument deduction for class templates.
161 * parser.c (cp_parser_simple_type_specifier): Parse class placeholder.
162 Use the location of the beginning of the type-specifier.
163 (cp_parser_init_declarator): Parse deduction guide.
164 (cp_parser_diagnose_invalid_type_name): Mention class deduction.
165 (cp_parser_type_id_1): Don't accept class placeholder as template arg.
166 * cp-tree.h (CLASS_PLACEHOLDER_TEMPLATE): New.
167 * decl.c (grokdeclarator): Check for uninitialized auto here.
168 (start_decl_1): Not here.
169 (cp_finish_decl): Or here. Don't collapse a list when doing
170 class deduction.
171 (grokfndecl): Check deduction guide scope and body.
172 * error.c (dump_decl, dump_function_decl, dump_function_name):
173 Handle deduction guides.
174 * pt.c (make_template_placeholder, do_class_deduction): New.
175 (build_deduction_guide, rewrite_template_parm): New.
176 (dguide_name, dguide_name_p, deduction_guide_p): New.
177 (do_auto_deduction): Call do_class_deduction.
178 (splice_late_return_type, is_auto): Handle class placeholders.
179 (template_parms_level_to_args): Split from template_parms_to_args.
180 (tsubst_template_parms_level): Split from tsubst_template_parms.
181 * typeck2.c (build_functional_cast): Handle class placeholder.
183 2016-10-04 Martin Sebor <msebor@redhat.com>
185 PR c++/77804
186 * init.c (warn_placement_new_too_small): Avoid assuming an array type
187 has a constant size.
189 2016-10-04 Jakub Jelinek <jakub@redhat.com>
191 PR c++/77791
192 * parser.c (cp_parser_lambda_declarator_opt): Only pedwarn
193 for C++11 on decls in the param_list. Test cxx_dialect < cxx14 before
194 the loop just once.
196 * cp-tree.h (enum cp_tree_index): Remove CPTI_JAVA_*,
197 CPTI_LANG_NAME_JAVA and CPTI_JCLASS.
198 (java_byte_type_node, java_short_type_node, java_int_type_node,
199 java_long_type_node, java_float_type_node, java_double_type_node,
200 java_char_type_node, java_boolean_type_node, lang_name_java,
201 jclass_node): Remove.
202 (enum languages): Remove lang_java.
203 (TYPE_FOR_JAVA): Remove.
204 (struct lang_type_class): Remove java_interface bit-field.
205 (TYPE_JAVA_INTERFACE): Remove.
206 (pragma_java_exceptions): Remove.
207 (check_java_method, build_java_class_ref): Remove prototypes.
208 * name-lookup.c (pushtag_1): Don't set TYPE_FOR_JAVA.
209 * decl2.c (acceptable_java_type, check_java_method): Remove.
210 (import_export_decl): Remove TYPE_FOR_JAVA handling.
211 (build_java_method_aliases): Remove.
212 (c_parse_final_cleanups): Don't call build_java_method_aliases.
213 (possibly_inlined_p): Don't test pragma_java_exceptions.
214 * init.c (build_new_1): Remove TYPE_FOR_JAVA handling.
215 (build_java_class_ref): Remove.
216 * pt.c (maybe_new_partial_specialization, lookup_template_class_1,
217 instantiate_class_template_1): Don't copy TYPE_FOR_JAVA.
218 * except.c (eh_type_info): Remove java type handling.
219 (decl_is_java_type, choose_personality_routine): Remove.
220 (initialize_handler_parm): Don't call choose_personality_routine.
221 (expand_start_catch_block): Don't handle java types.
222 (build_throw): Likewise.
223 * cp-lang.c (cp_eh_personality): Don't handle pragma_java_exceptions.
224 * typeck.c (structural_comptypes): Don't compare TYPE_FOR_JAVA.
225 * call.c (build_over_call): Don't handle TYPE_JAVA_INTERFACE.
226 (java_iface_lookup_fn): Remove.
227 (build_java_interface_fn_ref): Remove.
228 * tree.c (cxx_attribute_table): Remove java_interface.
229 (handle_java_interface_attribute): Remove.
230 * lex.c (pragma_java_exceptions): Remove.
231 (init_cp_pragma): Don't register GCC java_exceptions pragma.
232 (handle_pragma_java_exceptions): Remove.
233 (retrofit_lang_decl): Don't handle lang_name_java.
234 * method.c (implicitly_declare_fn): Don't handle TYPE_FOR_JAVA.
235 * error.c (language_to_string): Don't handle lang_java.
236 * decl.c (record_builtin_java_type): Remove.
237 (initialize_predefined_identifiers): Remove Java.
238 (cxx_init_decl_processing): Remove java_*_type_node.
239 (cp_finish_decl): Don't handle TYPE_FOR_JAVA.
240 (grokfndecl): Likewise.
241 (check_special_function_return_type): Likewise.
242 (grokdeclarator): Don't set TYPE_FOR_JAVA.
243 (grokparms): Don't handle TYPE_FOR_JAVA.
244 (xref_basetypes): Likewise.
245 (check_function_type): Likewise.
246 (finish_constructor_body): Likewise.
247 * mangle.c (write_builtin_type): Don't handle TYPE_FOR_JAVA
248 and java_*_type_node.
249 (write_bare_function_type): Don't handle TYPE_FOR_JAVA.
250 (write_java_integer_type_codes): Remove.
251 * class.c (add_method): Don't handle TYPE_FOR_JAVA.
252 (add_implicitly_declared_members, determine_key_method,
253 finish_struct_1): Likewise.
254 (push_lang_context): Don't handle lang_name_java.
256 2016-10-03 Marek Polacek <polacek@redhat.com>
258 Core 903
259 * typeck.c (cp_build_binary_op): Pass original operands to
260 null_ptr_cst_p, not those after the default conversions.
262 2016-10-03 Bernd Edlinger <bernd.edlinger@hotmail.de>
264 * parser.c (cp_parser_condition): Fix a warning.
266 2016-09-29 Jakub Jelinek <jakub@redhat.com>
268 Implement P0001R1 - C++17 removal of register storage class specifier
269 * decl.c (cp_finish_decl): Diagnose register storage class
270 on vars except when used in GNU global or local register variable
271 extension.
272 (grokdeclarator): Diagnose register storage class on parameters.
273 * except.c (expand_start_catch_block): Set DECL_REGISTER only
274 after cp_finish_decl call.
276 2016-09-29 Marek Polacek <polacek@redhat.com>
278 * rtti.c (involves_incomplete_p): Add fall through comment.
280 2016-09-28 Jakub Jelinek <jakub@redhat.com>
282 PR c++/77467
283 * constexpr.c (enum constexpr_switch_state): New.
284 (struct constexpr_ctx): Add css_state field.
285 (label_matches): Add CTX and STMT arguments, remove I and
286 DEFAULT_LABEL. For CASE_LABEL_EXPR assert ctx->css_state != NULL,
287 handle default labels according to css_state.
288 (cxx_eval_statement_list): Remove statement skipping, label_matches
289 and default_label handling code.
290 (cxx_eval_loop_expr): Exit after first iteration even if
291 switches (jump_target).
292 (cxx_eval_switch_expr): Set up css_state field in ctx, if default
293 label has been seen in the body, but no cases matched, evaluate
294 the body second time.
295 (cxx_eval_constant_expression): Handle stmt skipping and label_matches
296 here. Handle PREDICT_EXPR. For MODIFY_EXPR or INIT_EXPR, assert
297 statement is not skipped. For COND_EXPR during skipping, don't
298 evaluate condition, just the then block and if still skipping at the
299 end also the else block.
300 (cxx_eval_outermost_constant_expr): Adjust constexpr_ctx initializer.
301 (is_sub_constant_expr): Likewise.
303 2016-09-27 Jakub Jelinek <jakub@redhat.com>
305 Implement P0018R3, C++17 lambda capture of *this by value as [=,*this]
306 * parser.c (cp_parser_lambda_introducer): Formatting fix. Pass
307 true instead of false as by_reference_p to add_capture for 'this'.
308 Parse '*this' simple-capture.
309 * lambda.c (build_capture_proxy): Handle '*this' capture by value.
310 (add_capture): Adjust function comment. For id == this_identifier,
311 treat by_reference_p as capturing '*this' by reference, i.e. 'this'
312 by value, and !by_reference_p as capturing '*this' by value.
313 (add_default_capture): For implicit 'this' capture, always pass
314 by_reference_p true rather than false.
316 PR c++/77722
317 * cp-gimplify.c (cp_ubsan_maybe_instrument_return): Instrument also
318 functions that have just a STATEMENT_LIST instead of BIND_EXPR, or
319 BIND_EXPR with some statement rather than STATEMENT_LIST as body.
321 2016-09-26 Nathan Sidwell <nathan@acm.org>
323 * init.c (expand_default_init): Fix } indentation.
324 * method.c (process_subob_fn): Simplify control structure to
325 remove gotos.
326 (implicitly_declare_fn): Remove duplicated lambda ctor check.
328 2016-09-26 Marek Polacek <polacek@redhat.com>
330 PR c/7652
331 * parser.c (cp_parser_storage_class_specifier_opt): Add
332 gcc_fallthrough.
333 (cp_parser_skip_to_end_of_template_parameter_list): Likewise.
334 (cp_parser_cache_defarg): Likewise.
335 (cp_parser_omp_for_cond): Likewise.
336 * semantics.c (finish_decltype_type): Likewise.
337 * typeck.c (structural_comptypes): Likewise.
338 (cp_build_binary_op): Likewise.
339 (cp_build_modify_expr): Likewise.
341 2016-09-26 Marek Polacek <polacek@redhat.com>
343 PR c/7652
344 * constexpr.c (cxx_eval_internal_function): Handle IFN_FALLTHROUGH.
345 (potential_constant_expression_1): Likewise.
346 * constraint.cc (function_concept_check_p): Check fn for null.
347 * parser.c (cp_parser_expression_statement): Handle attribute
348 fallthrough.
349 (cp_parser_statement): Likewise.
350 (cp_parser_label_for_labeled_statement): Set FALLTHROUGH_LABEL_P on
351 labels.
352 (cp_parser_std_attribute): Handle fallthrough attribute.
353 (cp_parser_check_std_attribute): Add %< %> quotes.
354 * pt.c (tsubst_copy_and_build): Handle internal functions.
355 (instantiation_dependent_scope_ref_p): Return if the expression is
356 null.
358 2016-09-24 Marek Polacek <polacek@redhat.com>
360 PR c/77490
361 * typeck.c (cp_build_unary_op): Warn about bit not on expressions that
362 have boolean value.
364 2016-09-23 Jakub Jelinek <jakub@redhat.com>
366 Implement P0138R2, C++17 construction rules for enum class values
367 * cp-tree.h (is_direct_enum_init): Declare.
368 * decl.c (is_direct_enum_init): New function.
369 (reshape_init): Use it.
370 * typeck.c (convert_for_assignment): Likewise.
372 * Make-lang.in (check-c++1z): Pass RUNTESTFLAGS down to
373 make check-g++.
375 * constexpr.c (call_stack): Remove unnecessary
376 = vNULL initialization of file scope vec.
378 * name-lookup.c (store_bindings, store_class_bindings): Don't
379 initialize static local bindings_need_stored to vNULL.
381 * typeck2.c (process_init_constructor_record): Use
382 CONSTRUCTOR_NELTS (...) instead of
383 vec_safe_length (CONSTRUCTOR_ELTS (...)).
384 * decl.c (reshape_init_r): Likewise.
385 (check_initializer): Likewise.
387 2016-09-22 Paolo Carlini <paolo.carlini@oracle.com>
389 PR c++/71979
390 * class.c (build_base_path): Allow for lookup_base returning
391 NULL_TREE.
393 2016-09-21 Jason Merrill <jason@redhat.com>
395 Core 903
396 * call.c (null_ptr_cst_p): Check char_type_p.
398 2016-09-21 Jakub Jelinek <jakub@redhat.com>
400 PR c++/77651
401 * init.c (build_new_1): Don't suggest to use -faligned-new if
402 aligned_new_threshold is non-zero.
403 (type_has_new_extended_alignment): Change aligned_new_threshhold
404 to aligned_new_threshold.
405 * call.c (second_parm_is_size_t, aligned_allocation_fn_p,
406 aligned_deallocation_fn_p, build_op_delete_call): Likewise.
407 * decl.c (cxx_init_decl_processing): Likewise.
409 2016-09-20 Jakub Jelinek <jakub@redhat.com>
411 PR c++/77626
412 * constexpr.c (cxx_fold_indirect_ref): Don't call byte_position on
413 FIELD_DECLs with error_mark_node type. Remove useless break; after
414 return.
416 PR c++/77638
417 * parser.c (cp_parser_template_declaration_after_parameter): For 2
418 argument operator"" template set ok to false for
419 parm == error_mark_node.
421 PR c++/77637
422 * parser.c (cp_parser_std_attribute_list): Reject ... without
423 preceding attribute.
425 2016-09-19 Bernd Edlinger <bernd.edlinger@hotmail.de>
427 PR c++/77434
428 * cvt.c (cp_convert_and_check): Suppress Wint-in-bool-context here.
430 2016-09-16 Patrick Palka <ppalka@gcc.gnu.org>
432 PR c++/77639
433 * parser.c (cp_parser_class_head): When
434 processing_template_parmlist, don't assume that the
435 class-head may start an explicit specialization.
437 2016-09-16 Jakub Jelinek <jakub@redhat.com>
439 PR c++/77482
440 * error.c (dump_simple_decl): Only check DECL_DECLARED_CONCEPT_P
441 if DECL_LANG_SPECIFIC is non-NULL. Fix up formatting.
443 PR c++/77338
444 * constexpr.c (cxx_eval_constant_expression) <case PARM_DECL>: Only
445 call is_really_empty_class on complete types.
447 PR c++/77375
448 * class.c (check_bases): Set CLASSTYPE_HAS_MUTABLE if any
449 TYPE_HAS_MUTABLE_P for any bases.
451 2016-09-16 Jason Merrill <jason@redhat.com>
453 * class.c (check_bases, set_one_vmethod_tm_attributes): Use
454 least_bit_hwi.
455 * decl.c (cxx_init_decl_processing): Use pow2p_hwi.
456 * parser.c (cp_parser_cilk_simd_vectorlength): Use pow2p_hwi.
458 2016-09-14 Jakub Jelinek <jakub@redhat.com>
460 PR c++/77549
461 * name-lookup.c (consider_binding_level): Look through TREE_LIST
462 and OVERLOAD.
464 2016-09-14 Marek Polacek <polacek@redhat.com>
466 * typeck.c (cp_build_unary_op): Diagnose incrementing boolean
467 expressions. Tweak an error message.
469 2016-09-14 Marek Polacek <polacek@redhat.com>
471 * cp-tree.h (cp_build_unary_op): Change nonconvert parameter type to
472 bool.
473 * decl2.c (one_static_initialization_or_destruction): Use true instead
474 of 1.
475 * init.c (build_vec_init): Use false instead of 0.
476 * pt.c (tsubst_copy_and_build): Likewise.
477 * semantics.c (simplify_loop_decl_cond): Likewise.
478 * typeck.c (rationalize_conditional_expr): Likewise.
479 (cp_build_binary_op): Use true instead of 1.
480 (cp_build_unary_op): Change nonconvert parameter type to bool. Use true
481 instead of 1.
482 (build_unary_op): Change nonconvert parameter type to bool.
483 (unary_complex_lvalue): Use false instead of 0.
485 2016-09-13 Jakub Jelinek <jakub@redhat.com>
487 Implement P0028R4, C++17 using attribute namespaces without repetition
488 * parser.c (cp_parser_std_attribute): Add ATTR_NS argument. Diagnose
489 non-NULL ATTR_NS with scoped attribute token. Handle non-NULL
490 ATTR_NS with non-scoped attribute tokens. Allow named ops in
491 identifier after ::.
492 (cp_parser_std_attribute_list): Add ATTR_NS argument, pass it down
493 to cp_parser_std_attribute calls.
494 (cp_parser_std_attribute_spec): Parse optional C++17
495 attribute-using-prefix, adjust grammar in function comment.
497 PR c++/77553
498 * constexpr.c (cxx_fold_pointer_plus_expression): New function.
499 (cxx_eval_binary_expression): Use it for POINTER_PLUS_EXPR.
500 (cxx_eval_pointer_plus_expression): Remove.
501 (cxx_eval_constant_expression) <case POINTER_PLUS_EXPR>: Don't
502 call cxx_eval_pointer_plus_expression.
504 2016-09-13 David Malcolm <dmalcolm@redhat.com>
506 * parser.c (cp_parser_class_specifier_1): Update for renaming of
507 add_fixit_insert to add_fixit_insert_before.
508 (cp_parser_class_head): Likewise.
510 2016-09-12 Bernd Edlinger <bernd.edlinger@hotmail.de>
512 PR c++/77496
513 * call.c (build_conditional_expr_1): Call warn_for_omitted_condop.
514 * class.c (instantiate_type): Look through the SAVE_EXPR.
516 2016-09-09 Jason Merrill <jason@redhat.com>
518 Implement P0035R4, C++17 new of over-aligned types.
519 * cp-tree.h (enum cp_tree_index): Add CPTI_ALIGN_TYPE.
520 (align_type_node): New macro.
521 * call.c (build_operator_new_call): Handle C++17 aligned new.
522 (second_parm_is_size_t, build_op_delete_call): Likewise.
523 (non_placement_deallocation_fn_p): Likewise. Rename to
524 usual_deallocation_fn_p.
525 (aligned_allocation_fn_p, aligned_deallocation_fn_p): New.
526 * decl.c (cxx_init_decl_processing): Add aligned new support.
527 * init.c (type_has_new_extended_alignment): New.
528 (build_new_1): Handle aligned new.
529 * tree.c (vec_copy_and_insert): New.
531 2016-09-02 Jakub Jelinek <jakub@redhat.com>
533 PR sanitizer/77396
534 * decl2.c (do_static_initialization_or_destruction): Only
535 call asan_dynamic_init_call if INITP is true.
537 2016-09-01 Martin Sebor <msebor@redhat.com>
539 * mangle.c: Increase buffer size to guarantee it fits the output
540 of the formatted function regardless of its arguments.
542 2016-09-01 Marek Polacek <polacek@redhat.com>
544 PR c/7652
545 * error.c (dump_type): Fix falls through comment.
546 (dump_decl): Likewise.
547 (dump_expr): Likewise.
549 2016-08-30 David Malcolm <dmalcolm@redhat.com>
551 * parser.c (cp_parser_enclosed_template_argument_list): Add fix-it
552 hint to ">>" within nested template argument list error.
554 2016-08-30 David Malcolm <dmalcolm@redhat.com>
556 * name-lookup.c (suggest_alternatives_for): Use add_fixit_replace
557 rather than add_fixit_misspelled_id.
558 * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
560 2016-08-29 Jason Merrill <jason@redhat.com>
562 PR c++/77379
563 * mangle.c (maybe_check_abi_tags): Add version parm, handle thunks.
564 (mangle_thunk): Add thunk parameter.
565 * method.c (finish_thunk): Pass it.
566 * cp-tree.h: Declare it.
568 2016-08-15 Jason Merrill <jason@redhat.com>
570 Avoid calling a trivial default constructor.
571 * class.c (default_ctor_p): New.
572 (in_class_defaulted_default_constructor): Use it.
573 (type_has_non_user_provided_default_constructor): Use it.
574 * call.c (build_over_call): Handle trivial default constructor.
575 * cp-tree.h: Declare default_ctor_p.
577 PR c++/57728
578 * pt.c (do_type_instantiation): Don't mess with non-user-provided
579 member functions.
581 2016-08-25 Marek Polacek <polacek@redhat.com>
583 * parser.c (cp_parser_binary_expression): Pass LHS to
584 warn_logical_not_parentheses.
586 2016-08-18 Marek Polacek <polacek@redhat.com>
588 PR c/7652
589 * call.c (add_builtin_candidate): Add gcc_fallthrough.
590 * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.
591 * parser.c (cp_parser_skip_to_end_of_statement): Likewise.
592 (cp_parser_cache_defarg): Likewise.
594 2016-08-12 Marek Polacek <polacek@redhat.com>
596 PR c/7652
597 * call.c (add_builtin_candidate): Add FALLTHRU.
598 (build_integral_nontype_arg_conv): Adjust fall through comment.
599 (build_new_op_1): Add FALLTHRU.
600 (convert_like_real): Adjust fall through comment.
601 * class.c (fixed_type_or_null): Likewise.
602 * constexpr.c (cxx_eval_constant_expression): Likewise.
603 (potential_constant_expression_1): Likewise. Add FALLTHRU.
604 * cp-gimplify.c (cp_gimplify_expr): Adjust fall through comment.
605 (cp_fold): Add FALLTHRU.
606 * cvt.c (build_expr_type_conversion): Adjust fall through comment.
607 * cxx-pretty-print.c (pp_cxx_unqualified_id): Add FALLTHRU.
608 (pp_cxx_qualified_id): Likewise.
609 (cxx_pretty_printer::constant): Adjust fall through comment.
610 (cxx_pretty_printer::primary_expression): Add FALLTHRU.
611 (pp_cxx_pm_expression): Adjust fall through comment.
612 (cxx_pretty_printer::expression): Add FALLTHRU.
613 (cxx_pretty_printer::declaration_specifiers): Reformat code.
614 (pp_cxx_type_specifier_seq): Adjust fall through comment.
615 (pp_cxx_ptr_operator): Likewise. Add FALLTHRU.
616 * error.c (dump_type): Adjust fall through comment.
617 (dump_decl): Likewise.
618 * mangle.c (write_type): Likewise.
619 * method.c (synthesized_method_walk): Add FALLTHRU.
620 * name-lookup.c (arg_assoc_type): Likewise.
621 * parser.c (cp_lexer_print_token): Adjust fall through comment.
622 (cp_parser_primary_expression): Add FALLTHRU.
623 (cp_parser_operator): Likewise.
624 * pt.c (find_parameter_packs_r): Likewise.
625 (tsubst_aggr_type): Adjust fall through comment.
626 * semantics.c (finish_omp_clauses): Add FALLTHRU.
627 * tree.c (lvalue_kind): Likewise.
629 2016-08-12 Alexandre Oliva <aoliva@redhat.com>
631 PR debug/63240
632 * cp-objcp-common.c (cp_function_decl_defaulted): New.
633 (cp_function_decl_explicit_p): Const_tree-ify.
634 (cp_function_decl_deleted_p): Likewise.
635 * cp-objcp-common.h (cp_function_decl_defaulted): Declare.
636 (cp_function_decl_explicit_p): Const_tree-ify.
637 (cp_function_decl_deleted_p): Likewise.
638 (LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Redefine.
640 2016-08-11 Jakub Jelinek <jakub@redhat.com>
642 PR c++/72868
643 * constexpr.c (label_matches): Handle case range expressions.
645 2016-08-11 Jason Merrill <jason@redhat.com>
647 PR c++/73456
648 * logic.cc (non_atomic_constraint_p): Handle EXPR_PACK_EXPANSION.
650 2016-08-10 Jason Merrill <jason@redhat.com>
652 Implement C++17 constexpr if.
653 * cp-tree.h (IF_STMT_CONSTEXPR_P): New.
654 * name-lookup.c (push_to_top_level, pop_from_top_level_1): Handle it.
655 * parser.h (struct cp_parser): Add in_discarded_stmt field.
656 * parser.c (cp_parser_selection_statement): Handle 'if constexpr'.
657 (cp_parser_jump_statement): Avoid deducing from a discarded return.
658 * pt.c (tsubst_expr): Only instantiate taken branch of constexpr if.
659 * semantics.c (begin_if_stmt): Set the binding level this_entity.
660 (finish_if_stmt_cond): Require the condition of a
661 constexpr if to be constant.
662 * decl.c (level_for_constexpr_if): New.
663 (named_label_entry): Add in_constexpr_if field.
664 (poplevel_named_label_1): Set it.
665 (check_goto): Check it.
666 (check_previous_goto_1): Check level_for_constexpr_if.
668 2016-08-09 Jason Merrill <jason@redhat.com>
670 PR c++/68703
671 * decl2.c (any_dependent_type_attributes_p): New.
672 * pt.c (dependent_type_p_r, type_dependent_expression_p): Check it.
673 * semantics.c (finish_id_expression): Check it.
674 * typeck.c (finish_class_member_access_expr): Check it.
676 PR c++/71712
677 * class.c (check_abi_tags): Don't duplicate tags for conversion ops.
679 Adjust mangling of ABI tags on class template member functions.
680 * class.c (missing_abi_tags): New.
681 (check_abi_tags): Don't check template. Add just_checking mode.
682 * mangle.c (abi_flag_at_least, any_abi_below, equal_abi_tags): New.
683 (sorted_abi_tags): Split out from write_abi_tags.
684 (struct releasing_vec): New.
685 (write_unqualified_name): Only look for the primary
686 template for types. Implement backward compatibility.
688 PR c++/72849
689 * constexpr.c (cxx_eval_constant_expression): Check
690 COMPLETE_TYPE_P before calling is_really_empty_class.
691 * class.c (is_really_empty_class): Don't call complete_type.
693 PR c++/56701
694 * typeck.c (cp_build_addr_expr_1): Remove special *this handling.
696 2016-08-09 Jakub Jelinek <jakub@redhat.com>
698 PR c++/72809
699 * rtti.c (get_pseudo_ti_index): Return TK_CLASS_TYPE for
700 builtin aggregate types without TYPE_BINFO.
702 2016-08-08 Jason Merrill <jason@redhat.com>
704 Implement C++17 constexpr lambda.
705 * class.c (finalize_literal_type_property): Handle lambdas.
706 * constexpr.c (is_valid_constexpr_fn): Likewise. No longer static.
707 (explain_invalid_constexpr_fn, cxx_eval_call_expression): Handle
708 lambdas.
709 (cxx_eval_constant_expression): Handle capture proxy.
710 (var_in_constexpr_fn): Don't check for C++14.
711 (var_in_maybe_constexpr_fn): New.
712 (potential_constant_expression_1): Use it. Check DECL_EXPR for
713 declarations not allowed in constexpr function. Handle
714 STATIC_ASSERT, RANGE_FOR_STMT.
715 * decl.c (make_rtl_for_nonlocal_decl): Use var_in_maybe_constexpr_fn.
716 (finish_function): Set DECL_DECLARED_CONSTEXPR_P on lambda members.
717 * lambda.c (begin_lambda_type): Set CLASSTYPE_LITERAL_P.
718 (maybe_add_lambda_conv_op): Clear thunk CALL_EXPR location.
719 (lambda_static_thunk_p): New.
720 * parser.c (cp_keyword_starts_decl_specifier_p): Add RID_CONSTEXPR.
721 (CP_PARSER_FLAGS_ONLY_MUTABLE_OR_CONSTEXPR): New enumerator.
722 (cp_parser_decl_specifier_seq): Handle it.
723 (cp_parser_lambda_declarator_opt): Use cp_parser_decl_specifier_seq.
724 * pt.c (instantiate_class_template_1): Set CLASSTYPE_LITERAL_P.
725 (tsubst_copy_and_build) [CALL_EXPR]: Propagate CALL_FROM_THUNK_P.
726 * error.c (dump_function_decl): Check TFF_NO_TEMPLATE_BINDINGS.
727 (dump_expr) [FUNCTION_DECL]: Pass it.
729 2016-08-08 Jason Merrill <jason@redhat.com>
731 PR c++/67131
732 * class.c (is_really_empty_class): Call complete_type.
733 * constexpr.c (cxx_eval_constant_expression): Check
734 is_really_empty_class.
735 (potential_constant_expression_1): Likewise. Check for error type.
737 2016-08-08 Jakub Jelinek <jakub@redhat.com>
739 PR c++/58706
740 * parser.c: Include tree-iterator.h.
741 (cp_parser_omp_for_loop_init): Move lambda DECL_EXPRs from init
742 to FOR_BLOCK.
743 (cp_parser_omp_for_loop): Handle non-STATEMENT_LIST FOR_BLOCK
744 entries.
746 2016-08-06 Jonathan Wakely <jwakely@redhat.com>
748 * call.c (convert_like_real): Harmonize diagnostics for invalid
749 reference binding.
751 2016-08-05 Martin Sebor <msebor@redhat.com>
753 * constexpr.c (cxx_eval_store_expression): Remove hyphen from
754 the spelling of "constant-expression" in diagnostic messages
755 for consistency.
756 (cxx_eval_constant_expression): Same.
757 (cxx_eval_outermost_constant_expr): Same.
758 (potential_constant_expression_1): Same.
760 2016-08-05 Nathan Sidwell <nathan@acm.org>
762 PR c++/68724
763 * pt.c (unify): TRAIT_EXPR is an expr.
765 2016-08-04 Paolo Carlini <paolo.carlini@oracle.com>
767 PR c++/72800
768 * lambda.c (add_capture): Check lambda_capture_field_type return
769 value for error_mark_node.
771 2016-08-04 Patrick Palka <ppalka@gcc.gnu.org>
773 PR c++/72759
774 * pt.c (tsubst_qualified_id): Return error_mark_node if
775 template_args is error_mark_node.
777 2016-08-04 Jason Merrill <jason@redhat.com>
779 PR c++/72415
780 * pt.c (tsubst_pack_expansion): Pull a single pack expansion out
781 of the TREE_VEC.
783 * cp-tree.h (TYPE_UNNAMED_P): Rename from TYPE_ANONYMOUS_P.
784 (TYPE_WAS_UNNAMED): Rename from TYPE_WAS_ANONYMOUS.
785 * class.c, decl.c, decl2.c, error.c, lambda.c, mangle.c,
786 name-lookup.c, parser.c, pt.c, semantics.c, tree.c: Adjust.
788 PR c++/72796
789 * typeck.c (finish_class_member_access_expr): Avoid stripping
790 SCOPE_REF to dependent base.
792 2016-08-04 Thomas Schwinge <thomas@codesourcery.com>
794 * parser.c (cp_ensure_no_oacc_routine): Improve diagnostics.
795 (cp_parser_late_parsing_cilk_simd_fn_info): Fix diagnostics.
796 (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine):
797 Simplify code, and improve diagnostics.
798 (cp_parser_oacc_routine): Likewise. Move pragma context
799 checking...
800 (cp_parser_pragma): ... here.
802 * parser.h (struct cp_omp_declare_simd_data): New.
803 (struct cp_parser): Use it for oacc_routine member.
804 * parser.c (cp_ensure_no_oacc_routine, cp_parser_oacc_routine)
805 (cp_parser_late_parsing_oacc_routine, cp_finalize_oacc_routine):
806 Use it. Simplify code.
807 (cp_parser_new): Initialize all members pointing to special
808 parsing data structures.
809 (cp_parser_cilk_simd_fn_vector_attrs): Initialize
810 parser->cilk_simd_fn_info->clauses.
811 (cp_parser_omp_declare_simd): Initialize
812 parser->omp_declare_simd->clauses.
813 (cp_parser_late_parsing_omp_declare_simd): Simplify code.
815 2016-08-04 Marek Polacek <polacek@redhat.com>
817 PR c++/70229
818 * constexpr.c (check_constexpr_ctor_body_1): Allow typedef
819 declarations.
821 2016-08-01 Jason Merrill <jason@redhat.com>
823 * mangle.c (mangle_decl): Warn about mangled name change even if
824 DECL_REALLY_EXTERN.
826 * mangle.c (get_abi_tags): New.
827 (find_substitution, write_unqualified_name, write_abi_tags)
828 (maybe_check_abi_tags): Use it.
830 * mangle.c (mangle_decl): Fix mangled name change warning.
832 PR c++/72766
833 * constexpr.c (cxx_eval_pointer_plus_expression): Check constancy
834 of nelts.
835 * cp-gimplify.c (cp_fully_fold): Only maybe_constant_value in
836 C++11 and up.
838 2016-07-30 Martin Sebor <msebor@redhat.com>
840 PR c++/60760
841 PR c++/71091
842 * constexpr.c (cxx_eval_binary_expression): Reject invalid expressions
843 involving null pointers.
844 (cxx_eval_component_reference): Reject null pointer dereferences.
845 (cxx_eval_indirect_ref): Reject indirecting through null pointers.
846 (cxx_eval_constant_expression): Reject invalid expressions involving
847 null pointers.
849 2016-07-29 Marek Polacek <polacek@redhat.com>
851 PR c/71926
852 * semantics.c (maybe_convert_cond): Use the location of COND for the
853 parentheses warning.
855 2016-07-29 Jason Merrill <jason@redhat.com>
857 * decl.c (build_enumerator): Tweak diagnostic.
859 PR c++/72457
860 * init.c (expand_aggr_init_1): Only handle value-init of bases.
861 * constexpr.c (build_data_member_initialization): Handle multiple
862 initializers for the same field.
864 2016-07-28 Paolo Carlini <paolo.carlini@oracle.com>
866 PR c++/71665
867 * decl.c (build_enumerator): Check the type of the enumerator before
868 calling cxx_constant_value.
870 2016-07-27 Jason Merrill <jason@redhat.com>
872 PR c++/71747
873 * pt.c (get_partial_spec_bindings): Replace tparms and spec_args
874 parameters with spec_tmpl. Call push_tinst_level.
875 (most_specialized_partial_spec): Adjust.
876 (more_specialized_partial_spec): Adjust.
878 2016-07-25 Jason Merrill <jason@redhat.com>
880 PR c++/65970
881 * cp-gimplify.c (genericize_cp_loop): Revert location change.
883 PR c++/71837
884 * lambda.c (add_capture): Leave a pack expansion in a TREE_LIST.
885 (build_lambda_object): Call build_x_compound_expr_from_list.
886 * pt.c (tsubst) [DECLTYPE_TYPE]: Likewise.
888 PR c++/71833
889 PR c++/54440
890 * pt.c (coerce_template_parameter_pack): Fix logic for
891 pack index.
893 PR c++/65970
894 * constexpr.c (cxx_eval_loop_expr): Count iterations.
895 * cp-gimplify.c (genericize_cp_loop): Use start_locus even for
896 infinite loops.
898 PR c++/71972
899 * constexpr.c (cxx_eval_array_reference): Handle looking for the
900 value of an element we're currently modifying.
902 2016-07-24 Jason Merrill <jason@redhat.com>
904 PR c++/71515
905 * pt.c (resolve_typename_type): Try to avoid calling
906 currently_open_class.
908 2016-07-23 Jason Merrill <jason@redhat.com>
910 PR c++/66617
911 * call.c (add_list_candidates): Handle VTT parm.
912 (build_new_method_call_1): Likewise.
914 PR c++/55922
915 PR c++/63151
916 * init.c (expand_aggr_init_1): Handle list-initialization from {}.
918 PR c++/70709
919 * class.c (walk_subobject_offsets): Handle 0-length array.
921 PR c++/70778
922 * pt.c (tsubst): Also substitute into the template of a
923 BOUND_TEMPLATE_TEMPLATE_PARM.
925 PR c++/71738
926 * pt.c (lookup_template_class_1): Handle getting template from tsubst.
928 PR c++/71350
929 * decl.c (reshape_init_r): Check complain for missing braces warning.
931 2016-07-22 Jason Merrill <jason@redhat.com>
933 PR c++/71576
934 * call.c (convert_like_real): Use lvalue_kind.
936 PR c++/71748
937 PR c++/52746
938 * pt.c (tsubst_baselink): Call
939 adjust_result_of_qualified_name_lookup for unqualified
940 destructors.
942 2016-07-21 Jason Merrill <jason@redhat.com>
944 PR c++/69223
945 * semantics.c (apply_deduced_return_type): Call
946 complete_type_or_else before building the new RESULT_DECL.
948 PR c++/71274
949 * decl2.c (maybe_instantiate_decl): Split out from mark_used.
950 (decl_constant_var_p): Use it instead.
952 PR c++/71630
953 * pt.c (instantiate_decl): Fix pattern_defined for namespace scope
954 variable templates.
956 PR c++/71913
957 * call.c (unsafe_copy_elision_p): It's OK to elide when
958 initializing an unknown object.
960 * call.c (build_over_call): Check unsafe_copy_elision_p even for
961 trivial constructors.
962 * method.c (do_build_copy_constructor): Don't copy tail padding
963 even in a trivial constructor.
965 2016-07-21 Jakub Jelinek <jakub@redhat.com>
967 PR c++/71728
968 * constexpr.c (potential_constant_expression_1) <case GOTO_EXPR>:
969 Replace assert with test, return false if the goto isn't break
970 or continue. Formatting fix.
972 2016-07-21 Richard Biener <rguenther@suse.de>
974 * vtable-class-hierarchy.c (vtv_generate_init_routine): Set
975 DECL_IGNORED_P.
977 2016-07-21 Jakub Jelinek <jakub@redhat.com>
979 PR c++/71941
980 * cp-gimplify.c (cp_genericize): For nested cp_genericize calls
981 save/restore bc_label array.
983 2016-07-21 Jason Merrill <jason@redhat.com>
985 PR c++/70781
986 * parser.c (cp_parser_lambda_expression): Unset OK if there was an
987 error parsing the lambda-declarator.
989 PR c++/71896
990 * constexpr.c (cxx_eval_binary_expression): Handle comparison
991 between lowered and unlowered PTRMEM_CST.
993 PR c++/65168
994 * typeck.c (cp_truthvalue_conversion): Compare pointers to nullptr.
995 Don't set c_inhibit_evaluation_warnings.
997 PR c++/71121
998 * cp-gimplify.c (cp_fully_fold): First call maybe_constant_value.
1000 2016-07-21 Andrew Sutton <andrew.n.sutton@gmail.com>
1001 Jason Merrill <jason@redhat.com>
1003 Improving concepts performance and diagnostics.
1004 PR c++/67565
1005 PR c++/67579
1006 PR c++/71843
1007 * cp-tree.def (CHECK_CONSTR): New.
1008 * cp-tree.h (CHECK_CONSTR_CONCEPT): New.
1009 (CHECK_CONSTR_ARGS): New.
1010 * constraint.cc (make_predicate_constraint): Remove in favor of
1011 normalize_expression.
1012 (resolve_constraint_check): Actually return error_mark_node when
1013 resolution fails.
1014 (resolve_variable_concept_check): Perform coercion as if processing
1015 a template. Also return errors on resolution failure.
1016 (lift_*): Remove all of these functions. Don't unnecessarily inline
1017 concepts.
1018 (learn_*): Add facilities to memoize implications for subsumption
1019 during normalization.
1020 (expanding_concept): New.
1021 (expand_concept): New. Return the inlined and normalized definition
1022 of a concept when needed.
1023 (transform_*, xform_*): Rename to normalize_* to better reflect the
1024 responsibility of those functions.
1025 (normalize_template_id_expression): Check for non-boolean operands
1026 when possible. Generate check constraints instead of normal variable
1027 references.
1028 (normalize_call_expression): Report errors when resolution fails.
1029 (check_for_logical_overloads): Rewrite this check to more accurately
1030 report the error.
1031 (normalize_atom): Check for overloaded calls and invalid types before
1032 determining if the expression refers to a concept.
1033 (build_constraints): Don't cache normalized constraints or decomposed
1034 assumptions.
1035 (finish_shorthand_constraint): Return a normalized expression instead
1036 of a predicate constraint.
1037 (finish_template_introduction): Same.
1038 (placeholder_extract_concept_and_args): Rewrite this since we only
1039 ever get check constraints here.
1040 (equivalent_placeholder_constraints): Rewrite in terms of check
1041 constraints, and handle error_mark_nodes correctly.
1042 (tsubst_check_constraint, tsubst_expr_constr, tsubst_type_constr)
1043 (tsubst_implicit_conversion_constr)
1044 (tsubst_argument_deduction_constr, tsubst_exception_constr)
1045 (tsubst_parameterized_constraint, tsubst_constraint): New.
1046 (tsbust_conjunection): Replace with tsubst_logical_operator and
1047 actually generate the right kind of constraint.
1048 (tsubst_requirement_body): Reverse the order of substituted arguments
1049 so that they appear in the order written (helps diagnostics).
1050 (satisfy_check_constraint): New.
1051 (satisfy_conjunction): Simplify.
1052 (satisfy_disjunction): Same.
1053 (satisfy_constraint_1): Handle check constraints.
1054 (eval_constr): New (private) global state.
1055 (evaluating_constraints_sentinel): New. Manages eval_constr.
1056 (satisfy_constraint): Add timing variables.
1057 (satisfy_associated_constraints): Add hooks for memoization.
1058 (evaluate_function_concept): Build a check constraint instead of
1059 normalizing its definition.
1060 (evaluate_variable_concept): Same.
1061 (evaluate_constraint_expression): Normalize, but in the current
1062 declaration processing context.
1063 (evaluating_constraints_p): New.
1064 (elide_constraint_failure_p): Actually emit constraint_thresh errors.
1065 (diagnose_*): Remove artificial indentation. Add a new parameter to
1066 each that tracks the current (complete) constraint prior to any
1067 substitutions.
1068 (diagnose_expression): Removed.
1069 (diagnose_call_expression): Same.
1070 (diagnose_template_id): Same.
1071 (diagnose_template_id): New.
1072 (diagnose_logical_constraint): New.
1073 (diagnose_expression_constraint): Show the original expression.
1074 (diagnose_type_constraint): Show the original type.
1075 (diagnose_implicit_conversion_constraint): Be specific about
1076 failures, don't re-diagnose a known-to-be-failed substitutions,
1077 and manage elisions properly.
1078 (diagnose_argument_deduction_constraint): Same.
1079 (diagnose_exception_constraint): Same.
1080 (diagnose_parameterized_constraint): Same.
1081 (constraint_p): Allow EXPR_PACK_EXPANSION.
1082 * logic.cc (next_by_distance): Removed. No longer used.
1083 (any_p): Renamed from any_of.
1084 (term_entry, term_hasher): New.
1085 (term_list): Rewrite to include a hash table for quick lookup.
1086 Also, make less stateful.
1087 (proof_state): Extend to allow goals to be discharged once
1088 satisfied.
1089 (non_atomic_constraint_p): New.
1090 (any_non_atomic_constraints_p): New.
1091 (...rest...): Previous implementation completely replaced with an
1092 iterative algorithm that opportunistically prunes the search space
1093 before committing to using more memory.
1094 * parser.c: (cp_parser_type_parameter): Normalize constraints.
1095 (cp_parser_explicit_template_declaration): Same.
1096 * pt.c: (finish_template_variable): Be less redundant with this error
1097 message.
1098 (template_args_equal): No longer static.
1099 (tsubst_decl): Don't try to find specializations of variables that
1100 have already been instantiated.
1101 (build_non_dependent_expr): Avoid infinite recursion during concept
1102 expansion.
1103 (make_constrained_auto): Normalize constraints.
1104 (do_auto_deduction): When doing auto deduction from a
1105 partial-concept-id, be sure to include the explicit args checking
1106 the constraints.
1107 (constraint_sat_*): New. Memoize satisfied constraints.
1108 (concept_spec_*): New. Memoize expressions associated with a concept
1109 specialization.
1110 (constraint_memos, concept_memos): New.
1111 (lookup_constraint_satisfaction, memoize_constraint_satisfaction): New.
1112 (lookup_concept_satisfaction, memoize_concept_satisfaction): New.
1113 (get_concept_expansion, save_concept_expansion): New.
1114 (hash_subsumption_args): New.
1115 (comp_subsumption_args): New.
1116 (subsumption_*): New. Memoize parts of the subsumption relation.
1117 (lookup_subsumption_result, save_subsumption_result): New.
1118 (init_constraint_processing): Initialize memo tables.
1119 (get_constraints): Shortcut if !flag_concepts.
1120 * decl.c (grokfndecl): Normalize constraints.
1121 * error.c (dump_simple_decl): Print "concept" when appropriate.
1122 (dump_function_decl): Same.
1123 (dump_template_decl): Don't write requirements when we're not
1124 printing the header.
1125 (dump_expr): Handle fold expressions.
1126 * cxx-pretty-print.c (cxx_pretty_printer::expression): Handle
1127 fold expressions.
1128 (get_fold_operator): New.
1129 (pp_cxx_unary_left_fold_expression): New.
1130 (pp_cxx_unary_right_fold_expression): New.
1131 (pp_cxx_binary_fold_expression): New.
1132 (pp_cxx_check_constraint): New.
1133 (pp_cxx_*_constraint): Rewrite the grammar of internal constraints
1134 to make them easier to read when debugging.
1135 * search.c (accessible_p): Don't shortcut when evaluating constraints.
1136 * tree.c (cp_tree_equal): Handle CHECK_CONSTR.
1138 2016-07-20 David Malcolm <dmalcolm@redhat.com>
1140 PR c/70339
1141 PR c/71858
1142 * name-lookup.c: Include gcc-rich-location.h, spellcheck-tree.h,
1143 and parser.h.
1144 (suggest_alternatives_for): If no candidates are found, try
1145 lookup_name_fuzzy and report if if finds a suggestion.
1146 (consider_binding_level): New function.
1147 (lookup_name_fuzzy) New function.
1148 * parser.c: Include gcc-rich-location.h.
1149 (cp_lexer_next_token_is_decl_specifier_keyword): Move most of
1150 logic into...
1151 (cp_keyword_starts_decl_specifier_p): ...this new function.
1152 (cp_parser_diagnose_invalid_type_name): When issuing
1153 "does not name a type" errors, attempt to make a suggestion using
1154 lookup_name_fuzzy.
1155 * parser.h (cp_keyword_starts_decl_specifier_p): New prototype.
1156 * search.c (lookup_field_fuzzy_info::fuzzy_lookup_field): Reject
1157 types that are not CLASS_TYPE_P, rather than rejecting individual
1158 tree codes.
1160 2016-07-20 Jakub Jelinek <jakub@redhat.com>
1162 PR c++/71909
1163 * parser.c (cp_parser_save_member_function_body): Consume
1164 __transaction_relaxed or __transaction_atomic with optional
1165 attribute. Only skip catch with block if try keyword is seen.
1167 PR c++/50060
1168 * constexpr.c (cxx_eval_builtin_function_call): Pass false as lval
1169 when evaluating call arguments. Use fold_builtin_call_array instead
1170 of fold_build_call_array_loc, return t if it returns NULL. Otherwise
1171 check the result with potential_constant_expression and call
1172 cxx_eval_constant_expression on it.
1174 2016-07-19 Jason Merrill <jason@redhat.com>
1176 PR c++/67164
1177 * pt.c (iterative_hash_template_arg, template_args_equal): Don't
1178 handle ARGUMENT_PACK_SELECT.
1180 2016-07-18 Jakub Jelinek <jakub@redhat.com>
1182 PR c++/70869
1183 PR c++/71054
1184 * cp-gimplify.c (cp_genericize_r): Revert the 2016-07-07 change.
1185 * tree.c (cp_walk_subtrees): For DECL_EXPR on DECL_ARTIFICIAL
1186 non-static VAR_DECL, walk the decl's DECL_INITIAL, DECL_SIZE and
1187 DECL_SIZE_UNIT.
1189 PR c++/71835
1190 * call.c (build_op_call_1): Use convert_like_with_context only
1191 if cand->fn is a decl.
1193 PR c++/71828
1194 * constexpr.c (cxx_eval_constant_expression) <case REALPART_EXPR>:
1195 For lval don't use cxx_eval_unary_expression and instead recurse
1196 and if needed rebuild the reference.
1198 PR c++/71826
1199 * pt.c (tsubst_baselink): Only set BASELINK_OPTYPE for BASELINK_P.
1201 PR c++/71822
1202 * cp-gimplify.c (cp_gimplify_expr) <case VEC_INIT_EXPR>: Recursively
1203 fold *expr_p before genericizing it.
1205 PR c++/71871
1206 * typeck.c (build_x_conditional_expr): Revert the 2012-10-25 change.
1208 2016-07-15 Jason Merrill <jason@redhat.com>
1210 PR c++/71495
1211 * call.c (convert_like_real): Mask complain.
1212 * semantics.c (perform_koenig_lookup): Likewise.
1214 PR c++/71092
1215 * constexpr.c (cxx_eval_call_expression): Fail quietly when cgraph
1216 threw away DECL_SAVED_TREE.
1218 PR c++/71117
1219 Core 2189
1220 * call.c (add_template_conv_candidate): Disable if there are
1221 viable candidates.
1223 PR c++/71511
1224 * typeck2.c (cxx_incomplete_type_diagnostic): Handle DECLTYPE_TYPE.
1226 PR c++/71513
1227 * pt.c (tsubst_attributes): Fix loop logic.
1229 PR c++/71604
1230 PR c++/54430
1231 * parser.c (cp_parser_range_for): Modify IDENTIFIER_BINDING directly.
1232 (cp_parser_simple_declaration): Diagnose type definition in
1233 for-range-declaration.
1235 PR c++/71711
1236 * operators.def: Add *_FOLD_EXPR.
1237 * cp-tree.h (FOLD_EXPR_P): Parenthesize.
1238 * mangle.c (write_expression): Handle fold-expressions.
1239 * pt.c (tsubst_unary_left_fold, tsubst_binary_left_fold)
1240 (tsubst_unary_right_fold, tsubst_binary_right_fold): Handle
1241 partial instantiation.
1243 PR c++/71814
1244 * mangle.c (write_expression): Handle sizeof... an argument pack.
1246 PR c++/71718
1247 * pt.c (push_tinst_level_loc): Set at_eof before fatal_error.
1249 PR c++/70824
1250 * init.c (constant_value_1): Don't instantiated DECL_INITIAL of
1251 artificial variables.
1253 2016-07-15 Cesar Philippidis <cesar@codesourcery.com>
1255 * parser.c (cp_parser_oacc_declare): Don't scan for
1256 GOMP_MAP_POINTER.
1257 * semantics.c (handle_omp_array_sections): Mark data clauses with
1258 GOMP_MAP_FORCE_{PRESENT,TO,FROM,TOFROM} as potentially having
1259 zero-length subarrays.
1261 2016-07-11 Jason Merrill <jason@redhat.com>
1263 * decl.c (store_parm_decls): Remove check for void parm.
1265 2016-07-08 Jason Merrill <jason@redhat.com>
1267 * cp-tree.h: Unpoison lvalue_p.
1268 * call.c, class.c, constexpr.c, cvt.c, init.c, lambda.c, pt.c,
1269 tree.c, typeck.c, typeck2.c: Use lvalue_p instead of
1270 real_lvalue_p.
1272 * tree.c (obvalue_p): Rename from lvalue_p.
1273 (lvalue_p): Define for c-common.
1274 * call.c, cp-tree.h, cvt.c, init.c: Adjust.
1275 * typeck.c: Adjust.
1276 (cp_build_addr_expr_1): Remove obsolete code.
1278 * tree.c (glvalue_p): Rename from lvalue_or_rvalue_with_address_p.
1279 * call.c, cp-tree.h, typeck.c: Adjust.
1281 * lambda.c (maybe_add_lambda_conv_op): Fix null object argument.
1283 P0145R2: Refining Expression Order for C++.
1284 * cp-gimplify.c (lvalue_has_side_effects): New.
1285 (cp_gimplify_expr): Implement assignment ordering.
1286 * call.c (op_is_ordered, build_over_call): Adjust for
1287 -fargs-in-order renaming to -fstrong-eval-order.
1288 * cp-gimplify.c (cp_gimplify_expr): Likewise.
1290 2016-07-07 Jakub Jelinek <jakub@redhat.com>
1291 Kai Tietz <ktietz70@googlemail.com>
1293 PR c++/70869
1294 PR c++/71054
1295 * cp-gimplify.c (cp_genericize_r): For DECL_EXPR for non-static
1296 artificial vars, genericize their initializers.
1298 2016-07-05 David Malcolm <dmalcolm@redhat.com>
1300 PR c++/62314
1301 * parser.c (cp_parser_class_specifier_1): When reporting
1302 missing semicolons, use a fixit-hint to suggest insertion
1303 of a semicolon immediately after the closing brace,
1304 offsetting the reported column accordingly.
1306 2016-07-04 Jan Beulich <jbeulich@suse.com>
1308 * lang-specs.h ("@c++-header"): Conditionalize "-o".
1310 2016-06-29 Thomas Schwinge <thomas@codesourcery.com>
1312 * parser.c (cp_parser_pragma) <PRAGMA_OMP_CANCELLATION_POINT>:
1313 Move pragma context checking into...
1314 (cp_parser_omp_cancellation_point): ... here, and improve
1315 diagnostic messages.
1316 * semantics.c (finish_omp_cancel, finish_omp_cancellation_point):
1317 Improve diagnostic messages.
1319 2016-06-28 Jakub Jelinek <jakub@redhat.com>
1321 * Make-lang.in: Don't cat ../stage_current if it does not exist.
1323 2016-06-24 Jason Merrill <jason@redhat.com>
1325 P0145R2: Refining Expression Order for C++.
1326 * typeck.c (cp_build_modify_expr): Leave COMPOUND_EXPR on LHS.
1328 * tree.c (get_target_expr_sfinae): Handle bit-fields.
1329 (build_target_expr): Call mark_rvalue_use.
1331 2016-06-24 Jakub Jelinek <jakub@redhat.com>
1333 * call.c (magic_varargs_p): Return 3 for __builtin_*_overflow_p.
1334 (build_over_call): For magic == 3, do no conversion only on 3rd
1335 argument.
1337 2016-06-23 Andi Kleen <ak@linux.intel.com>
1339 * Make-lang.in: Add support for autofdo.
1341 2016-06-21 Jason Merrill <jason@redhat.com>
1343 * constraint.cc (constraints_satisfied_p): Keep as many levels of
1344 args as our template has levels of parms.
1346 * pt.c (template_parm_outer_level, uses_outer_template_parms): New.
1347 (type_dependent_expression_p): Use uses_outer_template_parms.
1349 2016-06-20 David Malcolm <dmalcolm@redhat.com>
1351 * parser.c (cp_parser_string_literal): Convert non-standard
1352 concatenation error to directly use a rich_location, and
1353 use that to add the location of the first literal to the
1354 diagnostic.
1356 2016-06-17 Paolo Carlini <paolo.carlini@oracle.com>
1358 * decl.c (validate_constexpr_redeclaration): Change pair of errors
1359 to error + inform.
1360 * error.c (dump_function_decl): Save the constexpr specifier too.
1362 2016-06-17 Jakub Jelinek <jakub@redhat.com>
1364 * tree.c (builtin_valid_in_constant_expr_p): Test for
1365 DECL_BUILT_IN_CLASS equal to BUILT_IN_NORMAL instead of just
1366 DECL_BUILT_IN.
1367 (bot_manip): Likewise.
1368 * call.c (magic_varargs_p): Likewise.
1370 2016-06-17 Paolo Carlini <paolo.carlini@oracle.com>
1372 * decl.c (grokfndecl): Change pair of errors to error + inform.
1374 2016-06-17 Jason Merrill <jason@redhat.com>
1376 PR c++/71209
1377 * typeck.c (finish_class_member_access_expr): Avoid "not a base"
1378 warning when there are dependent bases.
1380 2016-06-17 Jakub Jelinek <jakub@redhat.com>
1382 * semantics.c (handle_omp_array_sections_1): Don't ICE when
1383 processing_template_decl when checking for bitfields and unions.
1384 Look through REFERENCE_REF_P as base of COMPONENT_REF.
1385 (finish_omp_clauses): Look through REFERENCE_REF_P even for
1386 array sections with COMPONENT_REF bases.
1388 2016-06-16 Jakub Jelinek <jakub@redhat.com>
1390 * parser.c (cp_parser_omp_var_list_no_open): Call
1391 convert_from_reference before cp_parser_postfix_dot_deref_expression.
1392 * semantics.c (finish_omp_clauses): Don't ICE when
1393 processing_template_decl when checking for bitfields and unions.
1394 Look through REFERENCE_REF_P as base of COMPONENT_REF.
1396 2016-06-15 Paolo Carlini <paolo.carlini@oracle.com>
1398 * decl.c (wrapup_globals_for_namespace): Use DECL_SOURCE_LOCATION and
1399 "%qF" in warning_at instead of "%q+F" in warning.
1400 (check_redeclaration_exception_specification): Likewise in pedwarn
1401 (and error, inform, for consistency).
1402 * call.c (joust): Likewise.
1404 2016-06-15 Paolo Carlini <paolo.carlini@oracle.com>
1406 PR c++/70202
1407 * decl.c (xref_basetypes): Revert r117839 changes; add fix-up
1408 code at the end of the for loop; also revert r159637 changes,
1409 add back the gcc_assert.
1410 * cp-tree.h (xref_basetypes): Adjust declaration.
1411 * parser.c (cp_parser_class_head): Adjust xref_basetypes call.
1413 2016-06-14 David Malcolm <dmalcolm@redhat.com>
1415 * search.c: Include spellcheck-tree.h rather than spellcheck.h.
1417 2016-06-14 David Malcolm <dmalcolm@redhat.com>
1419 * typeck.c: Include "gcc-rich-location.h".
1420 (finish_class_member_access_expr): Simplify fixit code by
1421 using gcc_rich_location::add_fixit_misspelled_id.
1423 2016-06-14 Jason Merrill <jason@redhat.com>
1425 P0145R2: Refining Expression Order for C++.
1426 * cp-tree.h (CALL_EXPR_OPERATOR_SYNTAX, CALL_EXPR_ORDERED_ARGS)
1427 (CALL_EXPR_REVERSE_ARGS): New.
1428 * call.c (build_new_op_1): Set them.
1429 (extract_call_expr, op_is_ordered): New.
1430 (build_over_call): Set CALL_EXPR_ORDERED_ARGS.
1431 * cp-gimplify.c (cp_gimplify_expr) [CALL_EXPR]: Handle new flags.
1432 * pt.c (tsubst_copy_and_build): Copy new flags.
1433 * semantics.c (simplify_aggr_init_expr): Likewise.
1434 * tree.c (build_aggr_init_expr): Likewise.
1435 (build_min_non_dep_op_overload): Likewise.
1437 2016-06-14 Jakub Jelinek <jakub@redhat.com>
1439 PR c++/71528
1440 * decl.c (duplicate_decls): For DECL_INITIALIZED_P non-external
1441 olddecl vars, preserve their TREE_READONLY bit.
1443 PR c++/71516
1444 * decl.c (complete_vars): Handle gracefully type == error_mark_node.
1446 2016-06-14 Paolo Carlini <paolo.carlini@oracle.com>
1448 * typeck2.c (digest_init_r): Use EXPR_LOC_OR_LOC on init.
1450 2016-06-13 Paolo Carlini <paolo.carlini@oracle.com>
1452 * decl.c (grokdeclarator): Fix typo in pedwarn text.
1454 2016-06-10 Thomas Schwinge <thomas@codesourcery.com>
1456 PR c/71381
1457 * parser.c (cp_parser_omp_var_list_no_open) <OMP_CLAUSE__CACHE_>:
1458 Loosen checking.
1460 2016-06-09 Paolo Carlini <paolo.carlini@oracle.com>
1462 PR c++/71465
1463 Revert:
1464 2016-06-04 Paolo Carlini <paolo.carlini@oracle.com>
1466 PR c++/70202
1467 * parser.c (cp_parser_class_head): When xref_basetypes fails and
1468 emits an error do not zero the type.
1470 2016-06-08 Paolo Carlini <paolo.carlini@oracle.com>
1472 * decl.c (maybe_deduce_size_from_array_init): Use
1473 DECL_SOURCE_LOCATION in error_at.
1474 (layout_var_decl): Likewise.
1475 (check_array_initializer): Likewise.
1476 (check_initializer): Likewise.
1477 (duplicate_decls, check_elaborated_type_specifier): Tidy.
1479 2016-06-08 Martin Sebor <msebor@redhat.com>
1480 Jakub Jelinek <jakub@redhat.com>
1482 PR c++/70507
1483 PR c/68120
1484 * constexpr.c: Include gimple-fold.h.
1485 (cxx_eval_internal_function): New function.
1486 (cxx_eval_call_expression): Call it.
1487 (potential_constant_expression_1): Handle integer arithmetic
1488 overflow built-ins.
1489 * tree.c (builtin_valid_in_constant_expr_p): Handle
1490 BUILT_IN_{ADD,SUB,MUL}_OVERFLOW_P.
1492 2016-06-08 Paolo Carlini <paolo.carlini@oracle.com>
1494 * pt.c (tsubst, case TYPENAME_TYPE): Don't delay checking the
1495 return value of tsubst_aggr_type for error_mark_node.
1497 2016-06-08 Jakub Jelinek <jakub@redhat.com>
1499 PR c++/71442
1500 * pt.c (tsubst_copy): Only set TREE_USED on DECLs.
1502 2016-06-06 Jakub Jelinek <jakub@redhat.com>
1503 Patrick Palka <ppalka@gcc.gnu.org>
1505 PR c++/70847
1506 PR c++/71330
1507 PR c++/71393
1508 * cp-gimplify.c (cp_fold_r): Set *walk_subtrees = 0 and return NULL
1509 right after cp_fold call if cp_fold has returned the same stmt
1510 already in some earlier cp_fold_r call.
1511 (cp_fold_function): Add pset automatic variable, pass its address
1512 to cp_walk_tree.
1514 2016-06-04 Paolo Carlini <paolo.carlini@oracle.com>
1516 PR c++/70202
1517 * parser.c (cp_parser_class_head): When xref_basetypes fails and
1518 emits an error do not zero the type.
1520 2016-06-03 Patrick Palka <ppalka@gcc.gnu.org>
1522 PR c++/27100
1523 * decl.c (duplicate_decls): Properly copy the
1524 DECL_PENDING_INLINE_P, DECL_PENDING_INLINE_INFO and
1525 DECL_SAVED_FUNCTION_DATA fields from OLDDECL to NEWDECL.
1527 2016-06-03 Chung-Lin Tang <cltang@codesourcery.com>
1529 * semantics.c (finish_omp_clauses): Mark OpenACC reduction
1530 arguments as addressable when async clause exists.
1532 2016-06-02 Jan Hubicka <jh@suse.cz>
1534 * cp-gimplify.c (genericize_continue_stmt): Force addition of
1535 predict stmt.
1537 2016-06-02 Paolo Carlini <paolo.carlini@oracle.com>
1539 * decl.c (xref_tag_1): Change pairs of errors to error + inform.
1540 (start_enum): Likewise.
1541 * parser.c (cp_parser_class_head): Likewise.
1543 2016-06-02 Jakub Jelinek <jakub@redhat.com>
1545 PR c++/71372
1546 * cp-gimplify.c (cp_fold): For INDIRECT_REF, if the folded expression
1547 is INDIRECT_REF or MEM_REF, copy over TREE_READONLY, TREE_SIDE_EFFECTS
1548 and TREE_THIS_VOLATILE flags. For ARRAY_REF and ARRAY_RANGE_REF, copy
1549 over TREE_READONLY, TREE_SIDE_EFFECTS and TREE_THIS_VOLATILE flags
1550 to the newly built tree.
1552 2016-05-31 Jason Merrill <jason@redhat.com>
1554 * pt.c (instantiate_decl): Avoid recalculation.
1556 PR c++/60095
1557 PR c++/69515
1558 PR c++/69009
1559 * pt.c (instantiate_template_1): Don't put the partial
1560 specialization in DECL_TI_TEMPLATE.
1561 (partial_specialization_p, impartial_args): Remove.
1562 (regenerate_decl_from_template): Add args parm.
1563 (instantiate_decl): Look up the partial specialization again.
1565 PR c++/71227
1566 * pt.c (check_explicit_specialization): Give better diagnostic about
1567 specializing a hidden friend.
1569 2016-05-31 Paolo Carlini <paolo.carlini@oracle.com>
1571 PR c++/71248
1572 * decl.c (check_static_variable_definition): Use DECL_SOURCE_LOCATION
1573 to obtain correct locations; avoid redundant diagnostics on
1574 out-of-class definitions.
1576 2016-05-30 Martin Sebor <msebor@redhat.com>
1578 PR c++/71306
1579 * init.c (warn_placement_new_too_small): Handle placement new arguments
1580 that are elements of arrays more carefully. Remove a pointless loop.
1582 2016-05-30 Jakub Jelinek <jakub@redhat.com>
1584 PR c++/71349
1585 * parser.c (cp_parser_omp_for): Don't disallow nowait clause
1586 when combined with target construct.
1587 (cp_parser_omp_parallel): Pass cclauses == NULL as last argument
1588 to cp_parser_omp_all_clauses.
1590 2016-05-30 Paolo Carlini <paolo.carlini@oracle.com>
1592 PR c++/71238
1593 * lex.c (unqualified_name_lookup_error): Take a location too.
1594 (unqualified_fn_lookup_error): Take a cp_expr.
1595 * cp-tree.h (unqualified_name_lookup_error,
1596 unqualified_fn_lookup_error): Adjust declarations.
1597 * semantics.c (perform_koenig_lookup): Adjust
1598 unqualified_fn_lookup_error call, pass the location of
1599 the identifier too as part of a cp_expr.
1601 2016-05-30 Paolo Carlini <paolo.carlini@oracle.com>
1603 PR c++/71099
1604 * parser.c (cp_parser_function_specifier_opt): Use current_class_type
1605 to improve the diagnostic about wrong uses of 'virtual'.
1607 2016-05-29 Paolo Carlini <paolo.carlini@oracle.com>
1609 PR c++/71105
1610 * lambda.c (maybe_add_lambda_conv_op): Early return also when
1611 LAMBDA_EXPR_DEFAULT_CAPTURE_MODE != CPLD_NONE.
1613 2016-05-28 Ville Voutilainen <ville.voutilainen@gmail.com>
1615 Revert:
1616 PR c++/69855
1617 * name-lookup.c (pushdecl_maybe_friend_1): Push local function
1618 decls into the global scope after stripping template bits
1619 and setting DECL_ANTICIPATED.
1621 2016-05-27 Paolo Carlini <paolo.carlini@oracle.com>
1623 PR c++/60385
1624 * name-lookup.c (push_namespace): Return bool, false when pushdecl
1625 fails.
1626 * name-lookup.h (push_namespace): Adjust declaration.
1627 * parser.c (cp_parser_namespace_definition): Check push_namespace
1628 return value.
1630 2016-05-27 Ville Voutilainen <ville.voutilainen@gmail.com>
1632 PR c++/69855
1633 * name-lookup.c (pushdecl_maybe_friend_1): Push local function
1634 decls into the global scope after stripping template bits
1635 and setting DECL_ANTICIPATED.
1637 2016-05-26 Jakub Jelinek <jakub@redhat.com>
1639 * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_SCHEDULE>: Warn
1640 if OMP_CLAUSE_SCHEDULE_CHUNK_EXPR is known not to be positive.
1642 2016-05-26 Patrick Palka <ppalka@gcc.gnu.org>
1644 PR c++/70822
1645 PR c++/70106
1646 * cp-tree.h (REF_PARENTHESIZED_P): Make this flag apply to
1647 SCOPE_REFs too.
1648 * pt.c (tsubst_qualified_id): If REF_PARENTHESIZED_P is set
1649 on the qualified_id then propagate it to the resulting
1650 expression.
1651 (do_auto_deduction): Check REF_PARENTHESIZED_P on SCOPE_REFs
1652 too.
1653 * semantics.c (force_paren_expr): If given a SCOPE_REF, just set
1654 its REF_PARENTHESIZED_P flag.
1656 2016-05-25 Jason Merrill <jason@redhat.com>
1658 PR c++/71173
1659 PR c++/70522
1660 * cp-tree.h (enum tag_types): Add scope_type.
1661 * parser.c (cp_parser_class_name): Use scope_type.
1662 (prefer_type_arg): Handle scope_type.
1663 (cp_parser_lookup_name): Use prefer_type_arg.
1664 * name-lookup.c (lookup_qualified_name): Change bool is_type_p to
1665 int prefer_type, use lookup_flags.
1666 * name-lookup.h: Adjust.
1668 2016-05-24 Cesar Philippidis <cesar@codesourcery.com>
1670 * parser.c (cp_parser_oacc_declare): Add support for
1671 GOMP_MAP_FIRSTPRIVATE_POINTER.
1672 * semantics.c (handle_omp_array_sections_1): Replace bool is_omp
1673 argument with enum c_omp_region_type ort. Don't privatize OpenACC
1674 non-static members.
1675 (handle_omp_array_sections): Replace bool is_omp argument with enum
1676 c_omp_region_type ort. Update call to handle_omp_array_sections_1.
1677 (finish_omp_clauses): Add specific errors and warning messages for
1678 OpenACC. Use firsrtprivate pointers for OpenACC subarrays. Update
1679 call to handle_omp_array_sections.
1681 2016-05-24 Jason Merrill <jason@redhat.com>
1683 PR c++/70584
1684 * cp-gimplify.c (cp_fold_maybe_rvalue): Loop in case cp_fold
1685 returns a decl.
1686 (cp_fold) [INDIRECT_REF]: Don't fold to an rvalue.
1688 2016-05-24 Martin Sebor <msebor@redhat.com>
1690 PR c++/71147
1691 * decl.c (layout_var_decl, grokdeclarator): Use complete_or_array_type_p.
1692 * pt.c (instantiate_class_template_1): Try to complete the element
1693 type of a flexible array member.
1694 (can_complete_type_without_circularity): Handle arrays of unknown bound.
1695 * typeck.c (complete_type): Also complete the type of the elements of
1696 arrays with an unspecified bound.
1698 2016-05-24 Paolo Carlini <paolo.carlini@oracle.com>
1700 PR c++/69872
1701 * typeck2.c (check_narrowing): Check pedwarn return value.
1703 2016-05-24 Jakub Jelinek <jakub@redhat.com>
1705 PR c++/71257
1706 * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_LINEAR>:
1707 For OMP_CLAUSE_LINEAR_REF don't require type to be
1708 integral or pointer.
1710 2016-05-24 Richard Biener <rguenther@suse.de>
1712 PR middle-end/70434
1713 PR c/69504
1714 * expr.c (mark_exp_read): Handle VIEW_CONVERT_EXPR.
1715 * constexpr.c (cxx_eval_array_reference): Handle indexed
1716 vectors.
1717 * typeck.c (cp_build_array_ref): Adjust.
1719 2016-05-23 Jason Merrill <jason@redhat.com>
1721 PR c++/70344
1722 * constexpr.c (cxx_eval_call_expression): Check for
1723 fun == current_function_decl again.
1725 PR c++/70584
1726 * cp-gimplify.c (cp_fold) [INDIRECT_REF]: Call
1727 maybe_undo_parenthesized_ref.
1729 PR c++/70735
1730 * pt.c (tsubst_copy): Just return a local variable from
1731 non-template context. Don't call rest_of_decl_compilation for
1732 duplicated static locals.
1733 (tsubst_decl): Set DECL_CONTEXT of local static from another
1734 function.
1736 2016-05-23 Paolo Carlini <paolo.carlini@oracle.com>
1738 PR c++/70972
1739 * method.c (forward_parm): Use cp_build_reference_type.
1741 2016-05-23 Paolo Carlini <paolo.carlini@oracle.com>
1743 PR c++/69095
1744 * parser.c (cp_parser_initializer): Use check_for_bare_parameter_packs.
1746 2016-05-23 Paolo Carlini <paolo.carlini@oracle.com>
1748 * pt.c (check_for_bare_parameter_packs): Improve error message
1749 location for expressions.
1751 2016-05-20 Nathan Sidwell <nathan@acm.org>
1753 * constexpr.c (cxx_bind_parameters_in_call): Avoid gratuitous if
1754 ... goto.
1755 (cxx_eval_call_expression): Fix comment grammar.
1757 2016-05-20 Paolo Carlini <paolo.carlini@oracle.com>
1759 PR c++/70572
1760 * decl.c (cp_finish_decl): Check do_auto_deduction return value
1761 and return immediately in case of erroneous code.
1763 2016-05-19 Marek Polacek <polacek@redhat.com>
1765 PR c++/71075
1766 * pt.c (unify_template_argument_mismatch): Use %qE instead of %qD.
1768 2016-05-19 Jason Merrill <jason@redhat.com>
1770 PR c++/10200
1771 * pt.c (fn_type_unification): Add outer template args if needed.
1772 (type_unification_real): Handle getting full args.
1774 2016-05-19 David Malcolm <dmalcolm@redhat.com>
1776 PR c++/71184
1777 * parser.c (cp_parser_operator): For array new/delete, check that
1778 cp_parser_require returned a non-NULL token before dereferencing
1779 it.
1781 2016-05-19 Bernd Edlinger <bernd.edlinger@hotmail.de>
1783 * decl.c (finish_enum_value_list): Use the specified mode.
1785 2016-05-18 Jason Merrill <jason@redhat.com>
1787 * pt.c (value_dependent_expression_p): Tweak new cases to better
1788 match the wording in the standard.
1790 2016-05-18 Paolo Carlini <paolo.carlini@oracle.com>
1792 PR c++/69793
1793 * parser.c (cp_parser_template_id): Don't call cp_lexer_peek_nth_token
1794 when the previous cp_lexer_peek_token returns CPP_EOF.
1796 2016-05-18 Paolo Carlini <paolo.carlini@oracle.com>
1798 PR c++/70466
1799 * call.c (convert_like_real): Check that we are actually converting
1800 from an init list.
1802 2016-05-16 Matthew Wahab <matthew.wahab@arm.com>
1804 * decl.c (grokdeclarator): Remove errmsg and use of
1805 targetm.invalid_return_type.
1806 (grokparms): Remove errmsg and use of
1807 targetm.invalid_parameter_type.
1809 2016-05-13 Jason Merrill <jason@redhat.com>
1811 PR c++/10200
1812 PR c++/69753
1813 * pt.c (tsubst_decl): Use uses_template_parms.
1814 (instantiate_template_1): Handle non-dependent calls in templates.
1815 (value_dependent_expression_p): Handle BASELINK, FUNCTION_DECL.
1816 (type_dependent_expression_p): Only consider innermost template args.
1817 (dependent_template_arg_p): Check enclosing class of a template here.
1818 (dependent_template_p): Not here.
1819 (type_dependent_object_expression_p): New.
1820 * typeck.c (finish_class_member_access_expr): Use it.
1821 * parser.c (cp_parser_postfix_expression): Use it.
1822 (cp_parser_postfix_dot_deref_expression): Use it. Use comptypes
1823 to detect the current instantiation.
1824 (cp_parser_lookup_name): Really implement DR 141.
1825 * search.c (lookup_field_r): Prefer a dependent using-declaration.
1826 (any_dependent_bases_p): Split out from...
1827 * name-lookup.c (do_class_using_decl): ...here.
1828 * call.c (build_new_method_call_1): Use it.
1829 * semantics.c (finish_call_expr): 'this' doesn't make a call dependent.
1830 * tree.c (non_static_member_function_p): Remove.
1831 * typeck2.c (build_x_arrow): Use dependent_scope_p.
1833 * parser.c (cp_parser_postfix_dot_deref_expression): Use
1834 complete_type_or_else for unknown_type_node, too.
1836 2016-05-12 Marek Polacek <polacek@redhat.com>
1838 PR c/70756
1839 * call.c (build_new_op_1): Pass LOC to cp_build_modify_expr.
1840 * cp-tree.h (cp_build_modify_expr): Update declaration.
1841 (cxx_incomplete_type_error, cxx_incomplete_type_diagnostic): New inline
1842 overloads.
1843 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Pass INPUT_LOCATION to
1844 cp_build_modify_expr.
1845 * decl2.c (set_guard): Likewise.
1846 (handle_tls_init): Likewise.
1847 * init.c (perform_member_init): Likewise.
1848 (expand_virtual_init): Likewise.
1849 (build_new_1): Likewise.
1850 (build_vec_delete_1): Likewise.
1851 (get_temp_regvar): Likewise.
1852 (build_vec_init): Likewise.
1853 * method.c (do_build_copy_assign): Likewise.
1854 (assignable_expr): Likewise.
1855 * semantics.c (finish_omp_for): Likewise.
1856 * typeck.c (cp_build_binary_op): Pass LOCATION to pointer_diff and
1857 cp_pointer_int_sum.
1858 (cp_pointer_int_sum): Add location parameter. Pass it down to
1859 pointer_int_sum.
1860 (pointer_diff): Add location parameter. Use it.
1861 (build_modify_expr): Pass location down to cp_build_modify_expr.
1862 (cp_build_modify_expr): Add location parameter. Use it.
1863 (build_x_modify_expr): Pass location down to cp_build_modify_expr.
1864 * typeck2.c (cxx_incomplete_type_diagnostic,
1865 cxx_incomplete_type_error): Add location parameter.
1867 2016-05-11 Marek Polacek <polacek@redhat.com>
1869 PR c++/71024
1870 * decl.c (duplicate_decls): Call diagnose_mismatched_decls.
1872 2016-05-05 Jakub Jelinek <jakub@redhat.com>
1874 * parser.c (cp_parser_selection_statement): For RID_SWITCH,
1875 pass if_p instead of NULL to cp_parser_implicitly_scoped_statement.
1877 2016-05-04 Marek Polacek <polacek@redhat.com>
1879 * parser.c (cp_parser_selection_statement): Replace OPT_Wparentheses
1880 with OPT_Wdangling_else.
1882 2016-05-03 Martin Sebor <msebor@redhat.com>
1884 PR c++/66561
1885 * tree.c (builtin_valid_in_constant_expr_p): Treat BUILT_IN_FILE,
1886 BUILT_IN_FUNCTION, and BUILT_IN_LINE as constant expressions.
1888 2016-05-03 Marek Polacek <polacek@redhat.com>
1890 PR c/70859
1891 * call.c (build_cxx_call): Pass location and vNULL down to
1892 check_builtin_function_arguments.
1894 2016-05-03 Richard Biener <rguenther@suse.de>
1896 * Make-lang.in (cc1plus-checksum.c): For stage-final re-use
1897 the checksum from the previous stage.
1899 2016-05-02 David Malcolm <dmalcolm@redhat.com>
1901 PR c++/62314
1902 * typeck.c (finish_class_member_access_expr): When
1903 giving a hint about a possibly-misspelled member name,
1904 add a fix-it replacement hint.
1906 2016-05-02 Cesar Philippidis <cesar@codesourcery.com>
1908 * cp-tree.h (finish_omp_clauses): Update prototype.
1909 * parser.c (cp_parser_oacc_all_clauses): Update call to
1910 finish_omp_clauses.
1911 (cp_parser_omp_all_clauses): Likewise.
1912 (cp_parser_omp_for_loop): Likewise.
1913 (cp_omp_split_clauses): Likewise.
1914 (cp_parser_oacc_cache): Likewise.
1915 (cp_parser_oacc_loop): Likewise.
1916 (cp_parser_omp_declare_target):
1917 (cp_parser_cilk_simd_all_clauses): Likewise.
1918 (cp_parser_cilk_for): Likewise.
1919 * pt.c (tsubst_omp_clauses): Replace allow_fields and declare_simd
1920 arguments with enum c_omp_region_type ort.
1921 (tsubst_omp_clauses): Update calls to finish_omp_clauses.
1922 (tsubst_omp_attribute): Update calls to tsubst_omp_clauses.
1923 (tsubst_omp_for_iterator): Update calls to finish_omp_clauses.
1924 (tsubst_expr): Update calls to tsubst_omp_clauses.
1925 * semantics.c (finish_omp_clauses): Replace bool arguments
1926 allow_fields, declare_simd, and is_cilk with bitmask ort.
1927 (finish_omp_for): Update call to finish_omp_clauses.
1929 2016-05-02 David Malcolm <dmalcolm@redhat.com>
1931 PR c++/62314
1932 * parser.c (cp_parser_class_head): Capture the start location;
1933 use it to emit a fix-it insertion hint when complaining
1934 about missing "template <> " in explicit specializations.
1936 2016-05-02 Richard Sandiford <richard.sandiford@arm.com>
1938 * init.c (build_new_1): Use shift operators instead of wi:: shifts.
1940 2016-05-02 Richard Biener <rguenther@suse.de>
1942 * decl.c (grokdeclarator): Properly insert a DECL_EXPR for
1943 anonymous VLAs.
1945 2016-04-29 Paolo Carlini <paolo.carlini@oracle.com>
1947 PR c++/66644
1948 * class.c (check_field_decl): Remove final int* parameter, change
1949 the return type to bool; fix logic in order not to reject multiple
1950 initialized fields in anonymous struct.
1951 (check_field_decls): Adjust call.
1953 2016-04-29 Cesar Philippidis <cesar@codesourcery.com>
1955 PR middle-end/70626
1956 * parser.c (cp_parser_oacc_loop): Don't augment mask with
1957 OACC_LOOP_CLAUSE_MASK.
1958 (cp_parser_oacc_kernels_parallel): Update call to
1959 c_oacc_split_loop_clauses.
1961 2016-04-28 Jason Merrill <jason@redhat.com>
1963 Implement C++17 [[nodiscard]] attribute.
1964 PR c++/38172
1965 PR c++/54379
1966 * parser.c (cp_parser_std_attribute): Handle [[nodiscard]].
1967 * tree.c (handle_nodiscard_attribute): New.
1968 (cxx_attribute_table): Add [[nodiscard]].
1969 * cvt.c (cp_get_fndecl_from_callee, cp_get_callee_fndecl): New.
1970 (maybe_warn_nodiscard): New.
1971 (convert_to_void): Call it.
1973 * cvt.c (cp_get_callee): New.
1974 * constexpr.c (get_function_named_in_call): Use it.
1975 * cxx-pretty-print.c (postfix_expression): Use it.
1976 * except.c (check_noexcept_r): Use it.
1977 * method.c (check_nontriv): Use it.
1978 * tree.c (build_aggr_init_expr): Use it.
1979 * cp-tree.h: Declare it.
1981 2015-04-27 Ryan Burn <contact@rnburn.com>
1982 Jeff Law <law@redhat.com>
1984 PR c++/69024
1985 PR c++/68997
1986 * cp-gimplify.c (cp_gimplify_expr): Call cilk_cp_detect_spawn_and_unwrap
1987 instead of cilk_detect_spawn_and_unwrap.
1988 * cp-cilkplus.c (is_conversion_operator_function_decl_p): New.
1989 (find_spawn): New.
1990 (cilk_cp_detect_spawn_and_unwrap): New.
1991 * lambda.c: Include cp-cilkplus.h.
1992 * parser.c: Include cp-cilkplus.h.
1993 * cp-tree.h (cpp_validate_cilk_plus_loop): Move prototype into...
1994 * cp-cilkpus.h: New file.
1996 2016-04-27 Nathan Sidwell <nathan@acm.org>
1998 * constexpr.c (get_fundef_copy): Use the original function for
1999 non-recursive evaluations.
2000 (save_fundef_copy): Always expect a slot to be available.
2002 2016-04-27 Bernd Schmidt <bschmidt@redhat.com>
2004 * parser.c (cp_parser_postfix_expression): Call
2005 warn_for_memset instead of warning directly here.
2007 2016-04-26 Patrick Palka <ppalka@gcc.gnu.org>
2009 PR c++/70241
2010 * decl.c (build_enumerator): Set current_access_specifier when
2011 declaring an enumerator belonging to an in-class enumeration.
2012 * parser.c (cp_parser_check_access_in_redecleration): Also
2013 consider in-class enumerations.
2015 2016-04-26 Marek Polacek <polacek@redhat.com>
2017 PR c++/70744
2018 * call.c (build_conditional_expr_1): Call cp_stabilize_reference
2019 instead of stabilize_reference.
2020 (build_over_call): Likewise.
2021 * cp-tree.h (cp_stabilize_reference): Declare.
2022 * tree.c (cp_stabilize_reference): New function.
2023 * typeck.c (cp_build_unary_op): Call cp_stabilize_reference instead of
2024 stabilize_reference.
2025 (unary_complex_lvalue): Likewise.
2026 (cp_build_modify_expr): Likewise.
2028 2016-04-26 Jakub Jelinek <jakub@redhat.com>
2030 PR bootstrap/70704
2031 * pt.c (build_non_dependent_expr): Use flag_checking > 1 instead of
2032 just flag_checking.
2034 2016-04-25 Jason Merrill <jason@redhat.com>
2036 * tree.c (std_attribute_table): New.
2037 (init_tree): Register it.
2039 2016-04-22 Jason Merrill <jason@redhat.com>
2041 * parser.c (cp_parser_perform_range_for_lookup): Decay the array.
2043 2016-04-21 Patrick Palka <ppalka@gcc.gnu.org>
2045 * name-lookup.c (free_saved_scope): New free list of saved_scope
2046 structures.
2047 (push_to_top_level): Attempt to reuse a saved_scope struct
2048 from free_saved_scope instead of allocating a new one each time.
2049 (pop_from_top_level_1): Chain the now-unused saved_scope structure
2050 onto free_saved_scope.
2052 2016-04-21 Paolo Carlini <paolo.carlini@oracle.com>
2054 PR c++/70540
2055 * semantics.c (process_outer_var_ref): Unconditionally return
2056 error_mark_node when mark_used returns false.
2058 2016-04-21 Marek Polacek <polacek@redhat.com>
2060 PR c++/70513
2061 * parser.c (cp_parser_enum_specifier): Check and possibly error for
2062 extra qualification.
2064 2016-04-20 Nathan Sidwell <nathan@acm.org>
2066 PR c++/55635
2067 * init.c (build_vec_delete_1): Protect operator delete call in try
2068 finally.
2069 (build_delete): Likewise.
2070 * optimize.c (build_delete_destructor_body): Likewise.
2072 2016-04-20 Ilya Verbin <ilya.verbin@intel.com>
2074 PR c++/69363
2075 * cp-tree.h (finish_omp_clauses): Add new default argument.
2076 * parser.c (cp_parser_cilk_simd_all_clauses): Use finish_omp_clauses
2077 instead of c_finish_cilk_clauses.
2078 * semantics.c (finish_omp_clauses): Add new argument. Allow
2079 floating-point variables in the linear clause for Cilk Plus.
2081 2016-04-20 Nathan Sidwell <nathan@acm.org>
2083 * semantics.c (finish_compound_lteral): Don't wrap VECTOR_TYPEs in a
2084 TARGET_EXPR.
2086 2016-04-19 Jason Merrill <jason@redhat.com>
2088 PR c++/66543
2089 * expr.c (mark_exp_read): Handle NON_DEPENDENT_EXPR.
2090 * pt.c (make_pack_expansion): Call mark_exp_read.
2091 * semantics.c (finish_id_expression): Call mark_type_use in
2092 unevaluated context.
2094 DR 2137
2095 * call.c (implicit_conversion): If we choose a copy constructor
2096 for list-initialization from the same type, the conversion is an
2097 exact match.
2099 * constexpr.c (breaks): Handle EXIT_EXPR.
2100 (cxx_eval_loop_expr): Handle COMPOUND_EXPR body.
2101 (cxx_eval_constant_expression): Handle EXIT_EXPR, improve handling
2102 of COMPOUND_EXPR.
2104 PR c++/68206
2105 PR c++/68530
2106 * constexpr.c (potential_constant_expression_1): Handle LOOP_EXPR
2107 and GOTO_EXPR.
2109 * pt.c (tsubst_expr): Remove shadowing declaration.
2110 (tsubst_pack_expansion): Add assert.
2112 * semantics.c (add_decl_expr): Use DECL_SOURCE_LOCATION.
2114 PR c++/70522
2115 * name-lookup.c (qualified_lookup_using_namespace): Look through
2116 hidden names.
2118 2016-04-18 Michael Matz <matz@suse.de>
2120 * class.c (build_vtable): Use SET_DECL_ALIGN and SET_TYPE_ALIGN.
2121 (layout_class_type): Ditto.
2122 (build_base_field): Use SET_DECL_ALIGN.
2123 (fixup_attribute_variants): Use SET_TYPE_ALIGN.
2124 * decl.c (duplicate_decls): Use SET_DECL_ALIGN.
2125 (record_unknown_type): Use SET_TYPE_ALIGN.
2126 (cxx_init_decl_processing): Ditto.
2127 (copy_type_enum): Ditto.
2128 (grokfndecl): Use SET_DECL_ALIGN.
2129 (copy_type_enum): Use SET_TYPE_ALIGN.
2130 * pt.c (instantiate_class_template_1): Use SET_TYPE_ALIGN.
2131 (tsubst): Ditto.
2132 * tree.c (cp_build_qualified_type_real): Use SET_TYPE_ALIGN.
2133 * lambda.c (maybe_add_lambda_conv_op): Use SET_DECL_ALIGN.
2134 * method.c (implicitly_declare_fn): Use SET_DECL_ALIGN.
2135 * rtti.c (emit_tinfo_decl): Ditto.
2137 2016-04-18 Jason Merrill <jason@redhat.com>
2139 PR c++/70690
2140 PR c++/70528
2141 * class.c (type_maybe_constexpr_default_constructor): New.
2142 (type_has_constexpr_default_constructor): Revert.
2144 2016-04-16 Sandra Loosemore <sandra@codesourcery.com>
2146 PR target/1078
2148 * tree.c (cxx_attribute_table): Remove "com_interface" entry.
2149 (handle_com_interface_attribute): Delete.
2151 2016-04-15 Jason Merrill <jason@redhat.com>
2153 PR c++/70685
2154 * constexpr.c (get_fundef_copy): Handle null *slot.
2156 PR c++/70505
2157 * pt.c (tsubst_baselink): Give the new TEMPLATE_ID_EXPR
2158 unknown_type_node, too.
2160 2016-04-15 Jason Merrill <jason@redhat.com>
2161 Nathan Sidwell <nathan@acm.org>
2163 PR c++/70594
2164 * constexpr.c (constexpr_call_table): Preserve in GC.
2165 (struct fundef_copy, struct fundef_copies_table_t): Delete.
2166 (fundef_copies_table): Preserve in GC. Change to pointer to
2167 tree->tree hash.
2168 (maybe_initialize_fundef_copies_table): Adjust.
2169 (get_fundef_copy): Return a TREE_LIST. Use non-inserting search.
2170 (save_fundef_copy): Adjust for a TREE_LIST.
2171 (cxx_eval_call_expression): Adjust for a fundef_copy TREE_LIST.
2172 (fini_constexpr): New.
2173 * cp-tree.h (fini_constexpr): Declare.
2174 * decl2.c (c_parse_final_cleanups): Call fini_constexpr.
2176 2016-04-15 Jakub Jelinek <jakub@redhat.com>
2178 PR c/70436
2179 * parser.c (cp_parser_pragma): Add IF_P argument, pass it down
2180 where needed.
2181 (cp_parser_declaration_seq_opt, cp_parser_member_specification_opt,
2182 cp_parser_objc_interstitial_code, cp_parser_omp_declare_simd,
2183 cp_parser_oacc_routine): Adjust cp_parser_pragma callers.
2184 (cp_parser_statement): Likewise. Adjust cp_parser_cilk_for caller.
2185 (cp_parser_omp_structured_block): Add IF_P argument, pass it down to
2186 cp_parser_statement.
2187 (cp_parser_oacc_data, cp_parser_oacc_host_data, cp_parser_oacc_loop,
2188 cp_parser_oacc_kernels_parallel, cp_parser_omp_critical,
2189 cp_parser_omp_simd, cp_parser_omp_for, cp_parser_omp_master,
2190 cp_parser_omp_ordered, cp_parser_omp_parallel, cp_parser_omp_single,
2191 cp_parser_omp_task, cp_parser_omp_taskgroup, cp_parser_omp_distribute,
2192 cp_parser_omp_teams, cp_parser_omp_target_data, cp_parser_omp_target,
2193 cp_parser_omp_taskloop, cp_parser_omp_construct,
2194 cp_parser_cilk_grainsize, cp_parser_cilk_simd, cp_parser_cilk_for):
2195 Add IF_P argument, pass it down where needed.
2196 (cp_parser_omp_for_loop): Likewise. Clear IF_P if nbraces.
2197 (cp_parser_omp_sections_scope): Adjust cp_parser_omp_structured_block
2198 calls.
2200 2016-04-14 Jason Merrill <jason@redhat.com>
2202 PR c++/70494
2203 * decl.c (cxx_maybe_build_cleanup): Handle non-decls.
2204 * typeck2.c (split_nonconstant_init_1): Use it.
2206 PR c++/70528
2207 * class.c (type_has_constexpr_default_constructor): Return true
2208 for an implicitly declared constructor.
2210 PR c++/70622
2211 * parser.c (cp_parser_init_declarator): Add auto_result parm.
2212 (cp_parser_simple_declaration): Pass it.
2213 (strip_declarator_types): New.
2215 PR c++/70543
2216 * pt.c (value_dependent_expression_p) [VAR_DECL]: A type-dependent
2217 initializer also makes the variable value-dependent.
2219 PR c++/70648
2220 * constexpr.c (cxx_eval_store_expression): Also copy
2221 CONSTRUCTOR_NO_IMPLICIT_ZERO.
2223 2016-04-14 Martin Sebor <msebor@redhat.com>
2225 PR c++/69517
2226 PR c++/70019
2227 PR c++/70588
2228 * cp-tree.h, decl.c, init.c, typeck2.c: Revert.
2230 2016-04-14 Jason Merrill <jason@redhat.com>
2232 * call.c, decl.c, error.c, cp-tree.h, decl.c: Revert empty
2233 parameter ABI change.
2235 2016-04-13 Martin Sebor <msebor@redhat.com>
2237 PR c++/69517
2238 PR c++/70019
2239 PR c++/70588
2240 * cp-tree.h (throw_bad_array_length, build_vla_check): Declare new
2241 functions.
2242 * decl.c (check_initializer, cp_finish_decl): Call them.
2243 (reshape_init_r): Reject incompletely braced intializer-lists
2244 for VLAs.
2245 * init.c (throw_bad_array_length, build_vla_check)
2246 (build_vla_size_check, build_vla_init_check): Define new functions.
2247 * typeck2.c (split_nonconstant_init_1): Use variably_modified_type_p()
2248 to detect a VLA.
2249 (store_init_value): Same.
2251 2016-04-13 Jason Merrill <jason@redhat.com>
2253 Warn about empty parameter ABI with -Wabi=9.
2254 * call.c (empty_class_msg, mark_for_abi_warning)
2255 (warn_empty_class_abi): New.
2256 (build_call_a): Use them.
2257 * decl.c (store_parm_decls): Use mark_for_abi_warning.
2258 * error.c (pp_format_to_string): New.
2260 Pass empty class parameters like C.
2261 * call.c (pass_as_empty_struct, empty_class_arg): New.
2262 (type_passed_as, build_x_va_arg): Use pass_as_empty_struct.
2263 (build_call_a): Use empty_class_arg.
2264 * cp-tree.h (CPTI_EMPTY_STRUCT, empty_struct_type): New.
2265 * decl.c (cxx_init_decl_processing): Create empty_struct_type.
2267 2016-04-13 Jason Merrill <jason@redhat.com>
2269 PR c++/70627
2270 * decl.c (start_enum): Don't change an existing ENUM_UNDERLYING_TYPE.
2272 2016-04-13 Paolo Carlini <paolo.carlini@oracle.com>
2274 PR c++/70635
2275 * pt.c (resolve_typename_type): Fix typos in infinite recursion
2276 avoidance mechanism.
2278 2016-04-13 Jason Merrill <jason@redhat.com>
2280 PR c++/70634
2281 * pt.c (instantiation_dependent_uneval_expression_p): Split out
2282 from instantiation_dependent_expression_p.
2283 (value_dependent_expression_p): Use it for unevaluated operands.
2284 (instantiation_dependent_r): Don't check value-dependence.
2285 (instantiation_dependent_expression_p): Check
2286 value-dependence of the expression as a whole.
2287 * cp-tree.h: Declare instantiation_dependent_uneval_expression_p.
2288 * semantics.c (finish_decltype_type): Use it.
2290 * constexpr.c (potential_nondependent_constant_expression): New.
2291 (potential_nondependent_static_init_expression): New.
2292 (maybe_constant_value_1, fold_non_dependent_expr)
2293 (maybe_constant_init): Use them.
2294 * pt.c (instantiate_non_dependent_expr_sfinae)
2295 (instantiate_non_dependent_or_null, convert_nontype_argument): Use
2296 them.
2297 * cp-tree.h: Declare them.
2299 2016-04-13 Jakub Jelinek <jakub@redhat.com>
2301 PR c++/70594
2302 * decl.c (pop_labels_1): Removed.
2303 (note_label, sort_labels): New functions.
2304 (pop_labels): During named_labels traversal, just push the slot
2305 pointers into a vector, then qsort it by DECL_UID and only then
2306 call pop_label and chain it into BLOCK_VARS.
2308 2016-04-13 Jason Merrill <jason@redhat.com>
2310 PR c++/70615
2311 * cp-gimplify.c (cp_genericize_r): Expand PTRMEM_CST here.
2312 (cp_gimplify_expr): Not here.
2314 2016-04-12 Patrick Palka <ppalka@gcc.gnu.org>
2316 PR c++/70610
2317 * tree.c (lvalue_kind) [NON_DEPENDENT_EXPR]: Unconditionally
2318 recurse into it.
2319 * typeck.c (build_x_conditional_expr): Unconditionally remember
2320 that the result is an lvalue or xvalue.
2322 2016-04-12 Jason Merrill <jason@redhat.com>
2324 * class.c (is_really_empty_class): A zero-length array is empty.
2325 An unnamed bit-field doesn't make a class non-empty.
2327 2016-04-12 Paolo Carlini <paolo.carlini@oracle.com>
2329 PR c++/68722
2330 * parser.c (cp_parser_cache_defarg): When file ends in default
2331 argument simply return error_mark_node.
2333 2016-04-12 Nathan Sidwell <nathan@acm.org>
2335 PR c++/70501
2336 * constexpr.c (cxx_eval_bare_aggregate): Handle VECTOR_TYPE
2337 similarly to PMF.
2339 2016-04-11 Jason Merrill <jason@redhat.com>
2341 * mangle.c (decl_is_template_id): The template itself counts as a
2342 template-id.
2344 2016-04-08 Patrick Palka <ppalka@gcc.gnu.org>
2346 PR c++/70590
2347 PR c++/70452
2348 * constexpr.c (cxx_eval_outermost_expression): Call unshare_expr
2349 on the result if it's not a CONSTRUCTOR.
2351 2016-04-07 Patrick Palka <ppalka@gcc.gnu.org>
2353 PR c++/70452
2354 * constexpr.c (find_constructor): New function.
2355 (unshare_constructor): New function.
2356 (cxx_eval_call_expression): Use unshare_constructor instead of
2357 unshare_expr.
2358 (find_array_ctor_elt): Likewise.
2359 (cxx_eval_vec_init_1): Likewise.
2360 (cxx_eval_store_expression): Likewise.
2361 (cxx_eval_constant_expression): Likewise.
2363 2016-04-06 Patrick Palka <ppalka@gcc.gnu.org>
2365 PR c/70436
2366 * cp-tree.h (FOR_EACH_CLONE): Restructure macro to avoid
2367 potentially generating a future -Wparentheses warning in its
2368 callers.
2370 2016-04-06 Jason Merrill <jason@redhat.com>
2372 * class.c (check_abi_tags): Fix function template handling.
2374 2016-04-05 Nathan Sidwell <nathan@acm.org>
2376 PR c++/70512
2377 * class.c (fixup_may_alias): New.
2378 (fixup_attribute_variants): Call it.
2380 2016-04-05 Patrick Palka <ppalka@gcc.gnu.org>
2382 PR c++/70452
2383 * constexpr.c (struct fundef_copy): New struct.
2384 (struct fundef_copies_table_t): New struct.
2385 (fundef_copies_table): New static variable.
2386 (maybe_initialize_fundef_copies_table): New static function.
2387 (get_fundef_copy): New static function.
2388 (save_fundef_copy): New static function.
2389 (cxx_eval_call_expression): Use get_fundef_copy, and
2390 save_fundef_copy.
2391 (constexpr_call_table): Add "deletable" GTY marker.
2393 2016-04-05 Patrick Palka <ppalka@gcc.gnu.org>
2395 PR c++/70452
2396 * cp-tree.h (class cache_map): Remove.
2397 * constexpr.c (cv_cache): Change type to
2398 GTY((deletable)) hash_map<tree, tree> *.
2399 (maybe_constant_value): Adjust following the change to cv_cache.
2400 (clear_cv_cache): New static function.
2401 (clear_cv_and_fold_caches): Use it.
2402 * cp-gimplify.c (fold_cache): Change type to
2403 GTY((deletable)) hash_map<tree, tree> *.
2404 (clear_fold_cache): Adjust following the change to fold_cache.
2405 (cp_fold): Likewise.
2407 2016-04-02 Martin Sebor <msebor@redhat.com>
2409 PR c++/67376
2410 PR c++/70170
2411 PR c++/70172
2412 PR c++/70228
2413 * constexpr.c (diag_array_subscript): New function.
2414 (cxx_eval_array_reference): Detect out of bounds array indices.
2416 2016-04-01 Jason Merrill <jason@redhat.com>
2418 PR c++/70449
2419 PR c++/70344
2420 * pt.c (instantiate_decl): A function isn't fully defined if
2421 DECL_INITIAL is error_mark_node.
2422 * constexpr.c (cxx_eval_call_expression): Likewise.
2424 2016-04-01 Jakub Jelinek <jakub@redhat.com>
2425 Marek Polacek <polacek@redhat.com>
2427 PR c++/70488
2428 * init.c (warn_placement_new_too_small): Test whether
2429 DECL_SIZE_UNIT or TYPE_SIZE_UNIT are integers that fit into uhwi.
2431 2016-04-01 Nathan Sidwell <nathan@acm.org>
2433 PR c++/68475
2434 * decl.c (check_redeclaration_exception_specification): Check
2435 regardless of -fno-exceptions.
2436 * typeck2.c (merge_exception_specifiers): Relax assert by checking
2437 flag_exceptions too.
2439 2016-03-31 Nathan Sidwell <nathan@acm.org>
2441 * decl.c (start_preparsed_function): Remove unnecessary bracing.
2442 (finish_destructor_body): Don't emit operator delete here.
2444 2016-03-31 Nathan Sidwell <nathan@acm.org>
2446 PR c++/70393
2447 * constexpr.c (cxx_eval_store_expression): Keep CONSTRUCTOR
2448 elements in field order.
2450 2016-03-31 Marek Polacek <polacek@redhat.com>
2452 PR c/70297
2453 * decl.c (duplicate_decls): Also set TYPE_ALIGN and TYPE_USER_ALIGN.
2455 2016-03-31 Richard Biener <rguenther@suse.de>
2457 PR c++/70430
2458 * typeck.c (cp_build_binary_op): Fix operand order of vector
2459 conditional in truth op handling.
2461 2016-03-29 Jason Merrill <jason@redhat.com>
2463 PR c++/70353
2464 * decl.c (make_rtl_for_nonlocal_decl): Don't defer local statics
2465 in constexpr functions.
2467 2016-03-28 Jason Merrill <jason@redhat.com>
2469 PR c++/70422
2470 PR c++/64266
2471 PR c++/70353
2472 * decl.c, pt.c, constexpr.c: Revert last patch.
2474 2016-03-25 Jason Merrill <jason@redhat.com>
2475 Martin Liška <mliska@suse.cz>
2477 PR c++/64266
2478 PR c++/70353
2479 Core issue 1962
2480 * decl.c (cp_fname_init): Decay the initializer to pointer.
2481 (cp_make_fname_decl): Set DECL_DECLARED_CONSTEXPR_P,
2482 DECL_VALUE_EXPR, DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2483 Don't call cp_finish_decl.
2484 * pt.c (tsubst_expr) [DECL_EXPR]: Set DECL_VALUE_EXPR,
2485 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P. Don't call cp_finish_decl.
2486 * constexpr.c (cxx_eval_constant_expression) [VAR_DECL]:
2487 Handle DECL_VALUE_EXPR.
2489 2016-03-24 Jason Merrill <jason@redhat.com>
2491 PR c++/70386
2492 * constexpr.c (cxx_eval_bare_aggregate): Handle PMFs.
2494 PR c++/70323
2495 * constexpr.c (cxx_eval_call_expression): Don't cache result if
2496 *overflow_p.
2498 2016-03-24 Patrick Palka <ppalka@gcc.gnu.org>
2500 PR c++/62212
2501 * tree.c (build_cplus_array_type): Determine type-dependentess
2502 with uses_template_parms instead of with dependent_type_p.
2504 2016-03-23 Patrick Palka <ppalka@gcc.gnu.org>
2506 PR c++/70347
2507 * typeck.c (process_init_constructor_union): If the initializer
2508 is empty, use the union's NSDMI if it has one.
2510 2016-03-23 Patrick Palka <ppalka@gcc.gnu.org>
2512 PR c++/70332
2513 * pt.c (tsubst_copy) [PARM_DECL]: Handle the use of 'this' in an
2514 NSDMI that's part of an aggregrate initialization.
2516 2016-03-23 Jakub Jelinek <jakub@redhat.com>
2518 PR c++/70001
2519 * constexpr.c (cxx_eval_vec_init_1): Reuse CONSTRUCTOR initializers
2520 for 1..max even for multi-dimensional arrays. Call unshare_expr
2521 on it.
2523 PR c++/70323
2524 * constexpr.c (cxx_eval_constant_expression): Diagnose overflow
2525 on TREE_OVERFLOW constants.
2527 PR c++/70376
2528 * cp-gimplify.c (genericize_omp_for_stmt): Don't walk OMP_FOR_CLAUSES
2529 for OMP_TASKLOOP here.
2530 (cp_genericize_r): Handle OMP_TASKLOOP like OMP_TASK, except do call
2531 genericize_omp_for_stmt instead of cp_walk_tree on OMP_BODY.
2533 2016-03-23 Alexandre Oliva <aoliva@redhat.com>
2534 Jason Merrill <jason@redhat.com>
2535 Jakub Jelinek <jakub@redhat.com>
2537 PR c++/69315
2538 * cp-tree.h (defer_mark_used_calls, deferred_mark_used_calls): Remove.
2539 * decl.c (defer_mark_used_calls, deferred_mark_used_calls): Remove.
2540 (finish_function): Don't set or test them.
2541 * decl2.c (mark_used): Don't handle defer_mark_used_calls.
2543 2016-03-23 Jason Merrill <jason@redhat.com>
2545 PR c++/70344
2546 * constexpr.c (cxx_eval_call_expression): Catch invalid recursion.
2548 2016-03-23 Marek Polacek <polacek@redhat.com>
2550 PR c++/69884
2551 * pt.c (canonicalize_type_argument): Use OPT_Wignored_attributes.
2553 2016-03-22 Ilya Enkovich <enkovich.gnu@gmail.com>
2555 * call.c (build_conditional_expr_1): Always use original
2556 condition type for vector type checks and build.
2558 2016-03-22 Patrick Palka <ppalka@gcc.gnu.org>
2560 PR c++/70096
2561 * pt.c (tsubst_decl): Clear the DECL_MODE of the new decl.
2563 2016-03-22 Patrick Palka <ppalka@gcc.gnu.org>
2565 PR c++/70204
2566 * constexpr.c (non_const_var_error): Check
2567 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2569 2016-03-21 Richard Henderson <rth@redhat.com>
2571 PR c++/70273
2572 * decl.c (notice_forced_label_r): New.
2573 (cp_finish_decl): Use it.
2575 2016-03-21 Jason Merrill <jason@redhat.com>
2577 PR c++/70285
2578 * cp-gimplify.c (cp_fold) [COND_EXPR]: Handle bit-fields.
2580 2016-03-18 Jason Merrill <jason@redhat.com>
2582 PR c++/70139
2583 * constexpr.c (cxx_eval_call_expression): Fix trivial copy.
2585 PR c++/70147
2586 * class.c (vptr_via_virtual_p): New.
2587 (most_primary_binfo): Factor out of build_rtti_vtbl_entries.
2588 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Don't clear
2589 a vptr from any virtual base in a not-in-charge 'structor.
2591 * decl.c (build_clobber_this): Factor out of
2592 start_preparsed_function and begin_destructor_body. Handle
2593 virtual bases better.
2595 * class.c (build_if_in_charge): Split out from build_base_path.
2596 * init.c (expand_virtual_init, expand_default_init): Use it.
2597 * call.c (build_special_member_call): Use it.
2599 2016-03-18 Jakub Jelinek <jakub@redhat.com>
2601 PR c++/70267
2602 * init.c (build_new_1): Complain and return error_mark_node
2603 if alloc_fn is not _Jv_AllocObject function returning pointer.
2605 2016-03-18 Patrick Palka <ppalka@gcc.gnu.org>
2607 PR c++/70205
2608 * search.c (adjust_result_of_qualified_name_lookup): Don't
2609 update the BASELINK_BINFO of DECL if the second call
2610 to lookup_base fails.
2612 2016-03-18 Patrick Palka <ppalka@gcc.gnu.org>
2614 PR c++/70218
2615 * parser.c (cp_parser_lambda_expression): Move call to
2616 pop_deferring_access_checks ahead of the call to
2617 cp_parser_end_tentative_firewall.
2619 2016-03-17 Jakub Jelinek <jakub@redhat.com>
2621 PR c++/70144
2622 * cp-tree.h (magic_varargs_p): Return int instead of bool.
2623 * call.c (magic_varargs_p): Return int instead of bool, return 2 for
2624 Cilk+ reductions, otherwise 1 for magic varargs and 0 for normal
2625 varargs.
2626 (build_over_call): If magic_varargs_p == 2, call reject_gcc_builtin,
2627 if magic_varargs_p == 1, call decay_conversion
2628 instead of mark_type_use. Don't store error_mark_node arguments to
2629 argarray, instead return error_mark_node.
2631 PR c++/70272
2632 * decl.c (begin_destructor_body): Don't insert clobber if
2633 is_empty_class (current_class_type).
2635 2016-03-17 Marek Polacek <polacek@redhat.com>
2637 PR c++/70194
2638 * typeck.c (warn_for_null_address): New function.
2639 (cp_build_binary_op): Call it.
2641 2016-03-16 Jason Merrill <jason@redhat.com>
2643 PR c++/70259
2644 * decl.c (start_preparsed_function): Don't clobber an empty base.
2646 2016-03-16 Jakub Jelinek <jakub@redhat.com>
2648 PR c++/70147
2649 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Conditionalize
2650 BINFO_VIRTUAL_P vtable clearing on current_in_charge_parm.
2652 PR c++/70147
2653 * cp-ubsan.c (cp_ubsan_maybe_initialize_vtbl_ptrs): Temporarily
2654 set in_base_initializer.
2656 2016-03-15 Marek Polacek <polacek@redhat.com>
2658 PR c++/70209
2659 * tree.c (strip_typedefs): Call strip_typedefs again on the
2660 DECL_ORIGINAL_TYPE result.
2662 2016-03-15 Jason Merrill <jason@redhat.com>
2664 PR c++/70095
2665 * pt.c (instantiate_decl): Fix call to variable_template_p.
2667 PR c++/70141
2668 * pt.c (for_each_template_parm_r): Always walk into TYPENAME_TYPE.
2670 2016-03-14 Casey Carter <casey@carter.net>
2671 Jason Merrill <jason@redhat.com>
2673 P0184R0: Generalizing the Range-Based For Loop
2674 * parser.c (cp_convert_range_for): Set the type of __end separately.
2675 (cp_parser_perform_range_for_lookup): Allow different begin/end
2676 types if they are comparable.
2678 2016-03-12 Patrick Palka <ppalka@gcc.gnu.org>
2680 PR c++/70106
2681 * semantics.c (force_paren_expr): Just build a PAREN_EXPR when
2682 processing_template_decl and EXPR is a SCOPE_REF.
2684 2016-03-10 Patrick Palka <ppalka@gcc.gnu.org>
2685 Jakub Jelinek <jakub@redhat.com>
2687 PR c++/70001
2688 * constexpr.c (cxx_eval_vec_init_1): For pre_init case, reuse
2689 return value from cxx_eval_constant_expression from earlier
2690 elements if it is valid constant initializer requiring no
2691 relocations.
2693 2016-03-10 Marek Polacek <polacek@redhat.com>
2695 PR c++/70153
2696 * cp-gimplify.c (cp_fold): Handle UNARY_PLUS_EXPR.
2698 2016-03-09 Cesar Philippidis <cesar@codesourcery.com>
2700 * parser.c (cp_parser_oacc_loop): Update cclauses and clauses
2701 when calling c_finish_omp_clauses.
2703 2016-03-08 Jason Merrill <jason@redhat.com>
2705 * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful
2706 diagnostic for use of "concept".
2707 (cp_parser_requires_clause_opt): And "requires".
2708 (cp_parser_type_parameter, cp_parser_late_return_type_opt)
2709 (cp_parser_explicit_template_declaration): Adjust.
2710 * Make-lang.in (check-c++-all): Add "concepts" to std list.
2712 P0036R0: Unary Folds and Empty Parameter Packs
2713 * pt.c (expand_empty_fold): Remove special cases for *,+,&,|.
2715 2016-03-08 Jakub Jelinek <jakub@redhat.com>
2717 PR c++/70135
2718 * constexpr.c (cxx_eval_loop_expr): Forget saved values of SAVE_EXPRs
2719 even after the last iteration of the loop.
2721 * decl.c (duplicate_decls): Fix spelling - becuase -> because.
2723 2016-03-07 Patrick Palka <ppalka@gcc.gnu.org>
2725 PR c++/66786
2726 * pt.c (get_template_info): Handle PARM_DECL.
2727 (template_class_depth): Check DECL_P instead of
2728 VAR_OR_FUNCTION_DECL_P.
2730 2016-03-05 Jason Merrill <jason@redhat.com>
2732 PR c++/67364
2733 * constexpr.c (cxx_eval_store_expression): Replace
2734 CONSTRUCTOR_ELTS in nested CONSTRUCTORs, too.
2736 2016-03-05 Patrick Palka <ppalka@gcc.gnu.org>
2738 PR c++/66786
2739 * pt.c (template_class_depth): Given a lambda type, iterate
2740 into its LAMBDA_TYPE_EXTRA_SCOPE field instead of its
2741 TYPE_CONTEXT. Given a VAR_DECL, iterate into its
2742 CP_DECL_CONTEXT.
2744 2016-03-04 Jason Merrill <jason@redhat.com>
2746 PR c++/69203
2747 * cp-tree.h (COND_EXPR_IS_VEC_DELETE): New.
2748 * init.c (build_vec_delete_1): Set it.
2749 * constexpr.c (potential_constant_expression_1) [COND_EXPR]: Check it.
2751 2016-03-04 Jakub Jelinek <jakub@redhat.com>
2753 * decl.c (start_preparsed_function): Don't emit start clobber at the
2754 start of constructor clones.
2756 PR c++/70035
2757 * cp-tree.h (cp_ubsan_maybe_initialize_vtbl_ptrs): New prototype.
2758 * decl.c (start_preparsed_function): Call
2759 cp_ubsan_maybe_initialize_vtbl_ptrs if needed.
2760 * cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs,
2761 cp_ubsan_maybe_initialize_vtbl_ptrs): New functions.
2763 2016-03-04 Jason Merrill <jason@redhat.com>
2765 PR c++/67364
2766 * constexpr.c (cxx_eval_component_reference): Further tweak.
2768 * constexpr.c (struct constexpr_ctx): Add save_exprs field.
2769 (cxx_eval_loop_expr): Discard SAVE_EXPR values before looping.
2770 (cxx_eval_constant_expression) [SAVE_EXPR]: Add it to the set.
2771 (cxx_eval_outermost_constant_expr, is_sub_constant_expr): Initialize.
2773 PR c++/70067
2774 * tree.c (strip_typedefs): Handle TYPENAME_TYPE lookup finding the
2775 same type.
2777 2016-03-03 Jason Merrill <jason@redhat.com>
2779 * method.c (synthesized_method_walk): operator= can also be constexpr.
2781 * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Get
2782 LAMBDA_EXPR_RETURN_TYPE from the instantiated closure.
2784 PR c++/67164
2785 * pt.c (copy_template_args): New.
2786 (tsubst_pack_expansion): Use it.
2788 * call.c (build_aggr_conv): Use get_nsdmi.
2790 PR c++/51406
2791 * typeck.c (build_static_cast_1): Avoid folding back to lvalue.
2793 PR c++/67364
2794 * constexpr.c (cxx_eval_component_reference): Just return an empty
2795 CONSTRUCTOR for an empty class.
2797 2016-03-01 Jason Merrill <jason@redhat.com>
2799 PR c++/70036
2800 * parser.c (cp_parser_requires_clause): Call
2801 check_for_bare_parameter_packs.
2803 PR c++/51489
2804 * constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
2805 the operands.
2807 PR c++/69995
2808 * constexpr.c (cxx_eval_call_expression): Unshare arg.
2809 (cxx_eval_constant_expression) [DECL_EXPR]: Unshare init.
2810 [TARGET_EXPR]: Unshare init.
2812 2016-03-01 Patrick Palka <ppalka@gcc.gnu.org>
2814 PR c++/68948
2815 PR c++/69961
2816 * pt.c (tsubst_baselink): Reinstate the check for an invalid
2817 constructor call.
2819 2016-02-28 Jason Merrill <jason@redhat.com>
2821 PR c++/69995
2822 * constexpr.c (cxx_eval_store_expression): Unshare init.
2824 2016-02-26 Jason Merrill <jason@redhat.com>
2826 PR c++/69958
2827 * pt.c (make_argument_pack): New.
2828 (tsubst_copy) [SIZEOF_EXPR]: Handle partial expansion.
2829 (tsubst_copy_and_build): Likewise.
2831 2016-02-25 Jason Merrill <jason@redhat.com>
2833 PR c++/69889
2834 * cp-tree.h (AGGR_INIT_FROM_THUNK_P): New.
2835 * tree.c (build_aggr_init_expr): Set it.
2836 * semantics.c (simplify_aggr_init_expr): Check it.
2837 * cp-gimplify.c (cp_genericize_r): Don't walk into
2838 a call/aggr_init from a thunk.
2840 PR c++/69842
2841 * method.c (forward_parm): Handle parameter packs.
2842 * lambda.c (maybe_add_lambda_conv_op): Use it for them.
2844 PR c++/67364
2845 * constexpr.c (cxx_eval_component_reference): Don't complain about
2846 unevaluated empty classes.
2848 PR c++/68049
2849 * tree.c (strip_typedefs): Use DECL_ORIGINAL_TYPE.
2851 2016-02-25 Patrick Palka <ppalka@gcc.gnu.org>
2853 PR c++/69736
2854 * cp-tree.h (REF_PARENTHESIZED_P): Adjust documentation.
2855 (maybe_undo_parenthesized_ref): Declare.
2856 * semantics.c (maybe_undo_parenthesized_ref): Split out from
2857 check_return_expr.
2858 (finish_call_expr): Use it.
2859 * typeck.c (check_return_expr): Use it.
2860 * pt.c (tsubst_copy_and_build) [INDIRECT_REF]: Retain the
2861 REF_PARENTHESIZED_P flag.
2863 2016-02-24 Jakub Jelinek <jakub@redhat.com>
2865 PR c++/69922
2866 * class.c (build_base_path): Set TREE_NO_WARNING on the null_test.
2867 Avoid folding it.
2868 * init.c (build_vec_delete_1, build_delete): Don't fold the non-NULL
2869 tests.
2870 * cp-gimplify.c (cp_fold): For TREE_NO_WARNING comparisons with NULL,
2871 unless they are folded into INTEGER_CST, error_mark_node or some
2872 comparison with NULL, avoid folding them and use either the original
2873 comparison or non-folded comparison of folded arguments.
2874 * cp-ubsan.c (cp_ubsan_instrument_vptr): Set TREE_NO_WARNING on the
2875 comparison, don't fold the comparison right away.
2877 2016-02-24 Jason Merrill <jason@redhat.com>
2879 PR c++/69323
2880 * friend.c (make_friend_class): Likewise.
2881 * decl.c (lookup_and_check_tag): Diagnose invalid dependent friend.
2883 2016-02-24 Jason Merrill <jason@redhat.com>
2885 PR c++/69323
2886 * pt.c (instantiate_class_template_1): Set
2887 processing_template_decl before substituting friend_type.
2889 016-02-24 Martin Sebor <msebor@redhat.com>
2891 PR c++/69912
2892 * tree.c (build_ctor_subob_ref): Compare types' main variants
2893 instead of the types as they are.
2895 2016-02-24 Jason Merrill <jason@redhat.com>
2897 * decl.c (start_preparsed_function): Condition ctor clobber on
2898 flag_lifetime_dse > 1.
2900 * cp-gimplify.c (cp_fold): Don't fold constexpr calls if -fno-inline.
2902 2016-02-19 Jason Merrill <jason@redhat.com>
2904 PR c++/69743
2905 * call.c (remaining_arguments): No longer static.
2906 * cp-tree.h: Declare it.
2907 * pt.c (more_specialized_fn): Use it.
2909 2016-02-19 Jakub Jelinek <jakub@redhat.com>
2910 Bernd Edlinger <bernd.edlinger@hotmail.de>
2912 * Make-lang.in: Invoke gperf with -L C++.
2913 * cfns.gperf: Remove prototypes for hash and libc_name_p
2914 inlines.
2915 * cfns.h: Regenerated.
2916 * except.c (nothrow_libfn_p): Adjust.
2918 2016-02-19 Jakub Jelinek <jakub@redhat.com>
2920 PR c++/69850
2921 * rtti.c (ifnonnull): Set TREE_NO_WARNING on the condition, use
2922 NE_EXPR instead of EQ_EXPR and swap last two arguments on COND_EXPR.
2924 2016-02-19 Patrick Palka <ppalka@gcc.gnu.org>
2926 PR c++/68948
2927 * pt.c (tsubst_baselink): Don't diagnose an invalid constructor
2928 call here.
2929 * semantics.c (finish_call_expr): Don't assume a constructor
2930 call is dependent if only the "this" pointer is dependent. When
2931 building a constructor call, always use a dummy object.
2933 2016-02-19 Jakub Jelinek <jakub@redhat.com>
2935 PR c++/69850
2936 * init.c (build_vec_delete_1): Set TREE_NO_WARNING on the NE_EXPR
2937 condition.
2938 * cp-gimplify.c (cp_fold): Propagate TREE_NO_WARNING from binary
2939 operators if folding preserved the binop, just with different
2940 arguments.
2942 PR c++/67767
2943 * parser.c (cp_parser_std_attribute_spec_seq): Don't assume
2944 attr_spec is always single element chain, chain all the attributes
2945 properly together in the right order.
2947 2016-02-18 Jason Merrill <jason@redhat.com>
2949 * mangle.c (maybe_check_abi_tags): Add for_decl parm. Call
2950 mangle_decl.
2951 (mangle_decl): Call maybe_check_abi_tags for function scope.
2952 (mangle_guard_variable): Call maybe_check_abi_tags here.
2953 (write_guarded_var_name): Not here.
2955 2016-02-17 Jason Merrill <jason@redhat.com>
2957 PR c++/65985
2958 * constexpr.c (build_constexpr_constructor_member_initializers):
2959 Handle an additional STATEMENT_LIST.
2961 PR c++/68585
2962 * constexpr.c (cxx_eval_bare_aggregate): Fix 'changed' detection.
2964 PR c++/68679
2965 * decl2.c (reset_type_linkage_2): Look through member templates.
2967 2016-02-17 Jakub Jelinek <jakub@redhat.com>
2969 PR c++/69850
2970 * init.c (build_delete): Set TREE_NO_WARNING on ifexp.
2972 2016-02-17 Jason Merrill <jason@redhat.com>
2974 PR c++/69842
2975 * method.c (forward_parm): Split out from...
2976 (add_one_base_init): ...here.
2977 * lambda.c (maybe_add_lambda_conv_op): Use it.
2979 2016-02-16 Jason Merrill <jason@redhat.com>
2981 PR c++/10200
2982 PR c++/69753
2983 * call.c, cp-tree.h, name-lookup.c, pt.c, search.c, semantics.c,
2984 tree.c, typeck2.c: Revert earlier changes.
2985 * parser.c (cp_parser_lookup_name): Ignore namespace-scope
2986 non-type templates after -> or .
2988 2016-02-16 Jakub Jelinek <jakub@redhat.com>
2990 PR c/69835
2991 * typeck.c (cp_build_binary_op): Revert 2015-09-09 change.
2993 2016-02-16 Jason Merrill <jason@redhat.com>
2995 PR c++/69657
2996 * name-lookup.c (lookup_qualified_name): Add find_hidden parm.
2997 (set_decl_namespace): Pass it. Complain about finding a hidden friend.
2998 * name-lookup.h: Adjust.
3000 2016-02-16 James Norris <jnorris@codesourcery.com>
3002 * parser.c (cp_parser_oacc_data_clause_deviceptr): Remove checking.
3003 * semantics.c (finish_omp_clauses): Add deviceptr checking.
3005 2016-02-15 Jakub Jelinek <jakub@redhat.com>
3007 PR c++/69658
3008 * init.c (expand_default_init): Only call reshape_init
3009 in the direct-initialization from an initializer list case.
3011 2016-02-15 Jason Merrill <jason@redhat.com>
3013 PR c++/69753
3014 * semantics.c (finish_call_expr): Implicit 'this' does not make
3015 the call dependent.
3016 * search.c (any_dependent_bases_p): Split out...
3017 * name-lookup.c (do_class_using_decl): ...from here.
3018 * call.c (build_new_method_call_1): Don't complain about missing object
3019 if there are dependent bases. Tweak error.
3020 * tree.c (non_static_member_function_p): Remove.
3021 * pt.c (type_dependent_expression_p): A member template of a
3022 dependent type is dependent.
3023 * cp-tree.h: Adjust.
3025 PR c++/68890
3026 * constexpr.c (verify_ctor_sanity): Remove CONSTRUCTOR_NELTS check.
3028 2016-02-12 Patrick Palka <ppalka@gcc.gnu.org>
3030 PR c++/69098
3031 * pt.c (lookup_and_finish_template_variable): New function,
3032 extracted from ...
3033 (tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: ... here. Use it.
3034 (tsubst_qualified_id): Consider that EXPR might be a variable
3035 template.
3036 * typeck.c (check_template_keyword): Don't emit an error
3037 if DECL is a variable template.
3039 2016-02-12 Jakub Jelinek <jakub@redhat.com>
3041 * error.c: Spelling fixes - behaviour -> behavior and
3042 neighbour -> neighbor.
3043 * decl.c: Likewise.
3044 * typeck.c (cp_build_binary_op): Fix up behavior spelling in
3045 diagnostics.
3046 * init.c (build_delete): Likewise.
3048 2016-02-11 Jakub Jelinek <jakub@redhat.com>
3050 PR c/69768
3051 * typeck.c (cp_build_binary_op): cp_fully_fold integer_zerop
3052 arguments for -Waddress warning. Fix up formatting.
3054 2016-02-11 Paolo Carlini <paolo.carlini@oracle.com>
3056 PR c++/68726
3057 * pt.c (lookup_template_class_1): Check tsubst return value for
3058 error_mark_node.
3060 2016-02-10 Jason Merrill <jason@redhat.com>
3062 PR c++/68926
3063 * pt.c (resolve_nondeduced_context): Add complain parm.
3064 (do_auto_deduction): Pass it.
3065 * cvt.c (convert_to_void): Likewise.
3066 * decl.c (cp_finish_decl): Likewise.
3067 * init.c (build_new): Likewise.
3068 * rtti.c (get_tinfo_decl_dynamic): Likewise.
3069 * semantics.c (finish_decltype_type): Likewise.
3070 * typeck.c (decay_conversion): Likewise.
3071 * cp-tree.h: Adjust declaration.
3072 * call.c (standard_conversion): Add complain parm, pass it along.
3073 (implicit_conversion): Pass it.
3075 PR c++/69657
3076 * name-lookup.c (ambiguous_decl): Call remove_hidden_names.
3077 (lookup_name_real_1): Likewise.
3078 (remove_hidden_names): Handle non-functions too.
3080 PR c++/10200
3081 * parser.c (cp_parser_lookup_name): When looking for a template
3082 after . or ->, only consider class templates.
3083 (cp_parser_postfix_dot_deref_expression): Handle the current
3084 instantiation. Remember a dependent object expression.
3085 * typeck2.c (build_x_arrow): Handle the current instantiation.
3087 * ptree.c (debug_tree): Implement for cp_expr.
3089 2016-02-08 Patrick Palka <ppalka@gcc.gnu.org>
3091 PR c++/69139
3092 * parser.c (cp_parser_simple_type_specifier): Make the check
3093 for disambiguating between an 'auto' placeholder and an implicit
3094 template parameter more robust.
3096 2016-02-08 Patrick Palka <ppalka@gcc.gnu.org>
3098 PR c++/69283
3099 PR c++/67835
3100 * decl2.c (mark_used): When given a TEMPLATE_DECL, return after
3101 setting its TREE_USED flag.
3103 2016-02-08 Jason Merrill <jason@redhat.com>
3105 PR c++/69657
3106 * name-lookup.c (do_nonmember_using_decl): Leave anticipated
3107 built-ins alone.
3109 2016-02-08 Jakub Jelinek <jakub@redhat.com>
3111 PR c++/59627
3112 * parser.c (cp_parser_omp_declare_reduction): Set assembler name
3113 of the DECL_OMP_DECLARE_REDUCTION_P decls.
3115 2016-02-08 Marek Polacek <polacek@redhat.com>
3117 PR c++/69688
3118 * constexpr.c (clear_cv_and_fold_caches): Renamed from clear_cv_cache.
3119 Call clear_fold_cache.
3120 * cp-tree.h: Adjust declaration.
3121 * decl.c (finish_enum_value_list): Call clear_cv_and_fold_caches
3122 rather than clear_cv_cache and clear_fold_cache.
3123 * typeck2.c (store_init_value): Call clear_cv_and_fold_caches.
3125 2016-02-08 Jason Merrill <jason@redhat.com>
3127 * cp-tree.h (CONV_FOLD, CONV_BACKEND_CONVERT): New.
3128 * cvt.c (convert): Pass CONV_BACKEND_CONVERT.
3129 (ocp_convert): Use *_maybe_fold.
3130 (cp_convert_to_pointer): Add dofold parameter.
3131 * cp-gimplify.c (cp_fold) [CONVERT_EXPR]: Call convert.
3133 2016-02-05 Martin Sebor <msebor@redhat.com>
3135 PR c++/69662
3136 * init.c (find_field_init): New function.
3137 (warn_placement_new_too_small): Call it. Handle one-element arrays
3138 at ends of structures special.
3140 2016-02-05 Jason Merrill <jason@redhat.com>
3142 PR c++/68948
3143 * semantics.c (finish_expr_stmt): If expr is error_mark_node,
3144 make sure we've seen_error().
3146 2016-02-05 Patrick Palka <ppalka@gcc.gnu.org>
3148 PR c++/68948
3149 * pt.c (tsubst_baselink): Diagnose an invalid constructor call
3150 if lookup_fnfields returns NULL_TREE and the name being looked
3151 up has the form A::A.
3153 2016-02-04 Patrick Palka <ppalka@gcc.gnu.org>
3155 * constexpr.c (cxx_eval_binary_expression): Fold equality
3156 comparisons involving PTRMEM_CSTs.
3158 2016-02-04 Jakub Jelinek <jakub@redhat.com>
3160 * class.c (find_flexarrays): Don't declare dom variable.
3161 (diagnose_flexarray): Likewise.
3163 2016-02-02 Martain Sebor <msebor@redhat.com>
3165 PR c++/69251
3166 PR c++/69253
3167 PR c++/69290
3168 PR c++/69277
3169 PR c++/69349
3170 * class.c (walk_subobject_offsets): Avoid testing the upper bound
3171 of a flexible array member for equality to null.
3172 (find_flexarrays): Remove spurious whitespace introduced in r231665.
3173 (diagnose_flexarrays): Avoid checking the upper bound of arrays.
3174 (check_flexarrays): Same.
3175 * decl.c (compute_array_index_type): Avoid special case for flexible
3176 array members.
3177 (grokdeclarator): Avoid calling compute_array_index_type for flexible
3178 array members.
3179 * error.c (dump_type_suffix): Revert changes introduced in r231665
3180 and rendered unnecessary by the changes above.
3181 * pt.c (tsubst): Same.
3182 * tree.c (build_ctor_subob_ref): Handle flexible array members.
3183 * typeck2.c (digest_init_r): Revert changes introduced in r231665.
3184 (process_init_constructor_array): Same.
3185 (process_init_constructor_record): Same.
3187 2016-02-03 Patrick Palka <ppalka@gcc.gnu.org>
3189 PR c++/69056
3190 * pt.c (try_one_overload): Handle comparing argument packs so
3191 that there is no conflict if we deduced more arguments of an
3192 argument pack than were explicitly specified.
3194 2016-01-31 Jakub Jelinek <jakub@redhat.com>
3195 Jason Merrill <jason@redhat.com>
3197 PR c++/68763
3198 * tree.c (strip_typedefs) [FUNCTION_TYPE]: Avoid building a new
3199 function type if nothing is changing.
3201 2016-01-31 Jason Merrill <jason@redhat.com>
3203 PR c++/69009
3204 * pt.c (partial_specialization_p, impartial_args): New.
3205 (instantiate_decl): Call impartial_args.
3207 * mangle.c (maybe_check_abi_tags): New.
3208 (write_guarded_var_name): Call it.
3209 (mangle_ref_init_variable): Call check_abi_tags.
3211 * pt.c (lookup_template_class_1): Don't share TYPE_ATTRIBUTES
3212 between template and instantiation.
3214 2016-01-29 Jakub Jelinek <jakub@redhat.com>
3216 PR debug/66869
3217 * decl.c (wrapup_globals_for_namespace): Warn about unused static
3218 function declarations.
3220 2016-01-29 Marek Polacek <polacek@redhat.com>
3222 PR c++/69509
3223 PR c++/69516
3224 * constexpr.c (cxx_eval_array_reference): Give the "array subscript
3225 out of bound" error earlier.
3226 * init.c (build_vec_init): Change NE_EXPR into GT_EXPR. Update the
3227 commentary.
3229 2016-01-29 Patrick Palka <ppalka@gcc.gnu.org>
3231 * name-lookup.c (begin_scope): After reusing a cp_binding_level
3232 structure, update free_binding_level before the structure's
3233 level_chain field gets cleared, not after.
3235 2016-01-28 Jason Merrill <jason@redhat.com>
3237 PR c++/67407
3238 * search.c (dfs_walk_once, dfs_walk_once_r)
3239 (dfs_walk_once_accessible_r, dfs_walk_once_accessible): Use
3240 hash_set instead of BINFO_MARKED.
3241 (dfs_unmark_r): Remove.
3243 2016-01-28 Patrick Palka <ppalka@gcc.gnu.org>
3245 PR c++/24208
3246 * parser.c (LEXER_DEBUGGING_ENABLED_P): New macro.
3247 (cp_lexer_debugging_p): Use it.
3248 (cp_lexer_start_debugging): Likewise.
3249 (cp_lexer_stop_debugging): Likewise.
3251 2016-01-27 Marek Polacek <polacek@redhat.com>
3253 PR c/68062
3254 * typeck.c (cp_build_binary_op): Promote operand to unsigned, if
3255 needed. Add -Wsign-compare warning.
3257 2016-01-27 Ryan Burn <contact@rnburn.com>
3259 PR cilkplus/69267
3260 * cp-gimplify.c (cilk_cp_gimplify_call_params_in_spawned_fn): Removed
3261 superfluous post_p argument in call to
3262 cilk_gimplify_call_params_in_spawned_fn.
3264 2016-01-27 Marek Polacek <polacek@redhat.com>
3266 PR c++/69379
3267 * constexpr.c (cxx_eval_constant_expression): Handle PTRMEM_CSTs
3268 wrapped in NOP_EXPRs.
3270 2016-01-27 Martin Sebor <msebor@redhat.com>
3272 PR c++/69317
3273 * mangle.c (mangle_decl): Reference the correct (saved) version
3274 of the ABI in -Wabi diagnostics.
3276 2016-01-27 Marek Polacek <polacek@redhat.com>
3278 PR c++/69496
3279 * constexpr.c (cxx_eval_array_reference): Evaluate the number of
3280 elements of the array.
3282 2016-01-26 Jason Merrill <jason@redhat.com>
3284 PR c++/68949
3285 * constexpr.c (register_constexpr_fundef): Keep the un-massaged body.
3286 (cxx_eval_call_expression): Don't look through clones.
3287 * optimize.c (maybe_clone_body): Clear DECL_SAVED_TREE of the alias.
3288 * semantics.c (expand_or_defer_fn_1): Keep DECL_SAVED_TREE of
3289 maybe-in-charge *tor.
3291 2016-01-26 Jason Merrill <jason@redhat.com>
3293 PR c++/68782
3294 * constexpr.c (cxx_eval_bare_aggregate): Update TREE_CONSTANT
3295 and TREE_SIDE_EFFECTS.
3296 (cxx_eval_constant_expression) [CONSTRUCTOR]: Call
3297 verify_constructor_flags.
3299 2016-01-26 Jakub Jelinek <jakub@redhat.com>
3301 PR c++/68357
3302 * cp-gimplify.c (cp_fold): If some operand folds to error_mark_node,
3303 return error_mark_node instead of building trees with error_mark_node
3304 operands.
3306 2016-01-26 David Malcolm <dmalcolm@redhat.com>
3308 PR other/69006
3309 * error.c (print_instantiation_partial_context_line): Add missing
3310 newlines from output for the t == NULL case.
3311 (print_instantiation_partial_context): Remove call to pp_newline.
3313 2016-01-24 Patrick Palka <ppalka@gcc.gnu.org>
3315 Revert:
3316 2016-01-18 Patrick Palka <ppalka@gcc.gnu.org>
3318 PR c++/11858
3319 PR c++/24663
3320 PR c++/24664
3321 * decl.c (grokdeclarator): Don't decay array parameter type to
3322 a pointer type if it's dependent.
3323 (grokparms): Invoke strip_top_quals instead of directly invoking
3324 cp_build_qualified_type.
3325 * pt.c (decay_dependent_array_parm_type): New static function.
3326 (type_unification_real): Call decay_dependent_array_parm_type
3327 to decay a dependent array parameter type to its corresponding
3328 pointer type before unification.
3329 (more_specialized_fn): Likewise.
3330 (get_bindings): Likewise.
3331 * tree.c (cp_build_qualified_type): Trivial typofix in
3332 documentation.
3334 2016-01-23 Martin Sebor <msebor@redhat.com>
3336 PR c++/58109
3337 PR c++/69022
3338 * decl2.c (is_late_template_attribute): Handle dependent argument
3339 to attribute align and attribute vector_size.
3341 2016-01-21 Jason Merrill <jason@redhat.com>
3343 PR c++/69392
3344 * lambda.c (lambda_capture_field_type): Handle 'this' specially
3345 for init-capture, too.
3347 PR c++/65687
3348 * decl.c (type_is_deprecated): Don't look into a typedef.
3350 PR c++/40751
3351 PR c++/64987
3352 * decl.c (copy_type_enum): Respect TYPE_USER_ALIGN.
3354 PR c++/43407
3355 * decl.c (start_enum): Add attributes parameter.
3356 * parser.c (cp_parser_enum_specifier): Pass it.
3357 * pt.c (lookup_template_class_1): Pass it.
3358 * cp-tree.h: Adjust.
3360 2016-01-19 Jason Merrill <jason@redhat.com>
3362 PR c++/59759
3363 * pt.c (convert_template_argument): Handle VAR_DECL properly.
3365 2016-01-19 Marek Polacek <polacek@redhat.com>
3367 PR c++/68586
3368 * constexpr.c (clear_cv_cache): New.
3369 * cp-gimplify.c (clear_fold_cache): New.
3370 * cp-tree.h (clear_cv_cache, clear_fold_cache): Declare.
3371 * decl.c (finish_enum_value_list): Call them.
3373 PR c++/68965
3374 * pt.c (tsubst_copy): Mark elements in expanded vector as used.
3376 2016-01-18 Patrick Palka <ppalka@gcc.gnu.org>
3378 PR c++/11858
3379 PR c++/24663
3380 PR c++/24664
3381 * decl.c (grokdeclarator): Don't decay array parameter type to
3382 a pointer type if it's dependent.
3383 (grokparms): Invoke strip_top_quals instead of directly invoking
3384 cp_build_qualified_type.
3385 * pt.c (decay_dependent_array_parm_type): New static function.
3386 (type_unification_real): Call decay_dependent_array_parm_type
3387 to decay a dependent array parameter type to its corresponding
3388 pointer type before unification.
3389 (more_specialized_fn): Likewise.
3390 (get_bindings): Likewise.
3391 * tree.c (cp_build_qualified_type): Trivial typofix in
3392 documentation.
3394 2016-01-18 Jason Merrill <jason@redhat.com>
3396 * cp-gimplify.c (cp_fold) [CONSTRUCTOR]: Don't clobber the input.
3398 * cp-gimplify.c (cp_fold): Remove unnecessary special cases.
3400 PR c++/68767
3401 * cp-gimplify.c (cp_fold) [COND_EXPR]: Simplify. Do fold COND_EXPR.
3402 (contains_label_1, contains_label_p): Remove.
3404 2016-01-16 Patrick Palka <ppalka@gcc.gnu.org>
3406 PR c++/69091
3407 * pt.c (type_dependent_expression_p): For a function template
3408 specialization, a type is dependent iff any of its template
3409 arguments are.
3411 2016-01-16 Patrick Palka <ppalka@gcc.gnu.org>
3413 * cp-array-notation.c (cp_expand_cond_array_notations): Return
3414 error_mark_node only if find_rank failed, not if it was
3415 successful.
3417 2016-01-16 Patrick Palka <ppalka@gcc.gnu.org>
3419 PR c++/68936
3420 * tree.c (build_min_non_dep_call_vec): Don't retain the
3421 KOENIG_LOOKUP_P flag of the non-dependent expression that's
3422 been built.
3423 (build_min_non_dep_op_overload): Instead, do it here.
3425 2016-01-15 Jakub Jelinek <jakub@redhat.com>
3427 PR bootstrap/68271
3428 * parser.h (cp_token): Remove pragma_kind field. Add comment
3429 with number of unused bits.
3430 * parser.c (eof_token): Remove pragma_kind field initializer.
3431 (cp_lexer_get_preprocessor_token): Don't set pragma_kind
3432 field, don't clear CPP_PRAGMA u.value.
3433 (cp_parser_pragma_kind): New function.
3434 (cp_parser_omp_sections_scope, cp_parser_oacc_kernels_parallel,
3435 cp_parser_omp_construct, cp_parser_initial_pragma,
3436 cp_parser_pragma): Use cp_parser_pragma_kind instead of accessing
3437 pragma_kind field.
3439 2016-01-15 Jason Merrill <jason@redhat.com>
3441 PR c++/68847
3442 * call.c (build_cxx_call): Use fold_non_dependent_expr.
3444 * typeck2.c (cxx_incomplete_type_diagnostic): Use the location of
3445 value.
3447 PR c++/69257
3448 * typeck.c (decay_conversion): Don't call mark_rvalue_use for
3449 array/function-to-pointer conversion. Call
3450 complete_type_or_maybe_complain for lvalue-to-rvalue conversion.
3451 * call.c (convert_like_real): Print call context if
3452 decay_conversion errors.
3454 2016-01-14 Tom de Vries <tom@codesourcery.com>
3456 PR tree-optimization/68773
3457 * parser.c (cp_parser_oacc_declare, cp_parser_omp_declare_target): Don't
3458 set force_output.
3460 2016-01-14 Jason Merrill <jason@redhat.com>
3462 PR c++/69261
3463 * constexpr.c (find_array_ctor_elt): Handle splitting RANGE_EXPR.
3465 2016-01-12 Marek Polacek <polacek@redhat.com>
3467 PR c++/68979
3468 * constexpr.c (cxx_eval_check_shift_p): Use permerror rather than
3469 error_at and adjust the return value.
3471 2016-01-12 Jakub Jelinek <jakub@redhat.com>
3473 PR objc++/68511
3474 PR c++/69213
3475 * cp-gimplify.c (cp_gimplify_expr) <case INIT_EXPR>: Don't return
3476 GS_ERROR whenever seen_error (), only if *expr_p contains
3477 cilk spawn stmt, but cilk_detect_spawn_and_unwrap failed.
3479 PR c++/66808
3480 PR c++/69000
3481 * pt.c (tsubst_decl): If not local_p, clear DECL_TEMPLATE_INFO.
3483 2016-01-11 Jason Merrill <jason@redhat.com>
3485 PR c++/69131
3486 * method.c (walk_field_subobs): Add dtor_from_ctor parm.
3487 (process_subob_fn): Likewise. Don't consider triviality if true.
3488 (synthesize_method_walk): Pass it.
3490 2016-01-11 David Malcolm <dmalcolm@redhat.com>
3492 PR c++/68795
3493 * parser.c (cp_parser_postfix_expression): Initialize
3494 close_paren_loc to UNKNOWN_LOCATION; only use it if
3495 it has been written to by
3496 cp_parser_parenthesized_expression_list.
3497 (cp_parser_parenthesized_expression_list): Document the behavior
3498 with respect to the CLOSE_PAREN_LOC param.
3500 2016-01-11 Jakub Jelinek <jakub@redhat.com>
3502 PR c++/69211
3503 * cp-gimplify.c (cp_fold): If COMPOUND_EXPR or MODIFY_EXPR
3504 folded operands have side-effects, but folding changed any of them,
3505 build a new tree with the folded operands instead of returning the
3506 unfolded tree.
3508 2016-01-09 Marek Polacek <polacek@redhat.com>
3510 PR c++/69113
3511 * decl2.c (comdat_linkage): Only set DECL_COMDAT if TREE_PUBLIC is set.
3513 2016-01-09 Jakub Jelinek <jakub@redhat.com>
3515 PR c++/69164
3516 * class.c (layout_class_type): Use copy_node to copy FIELD_DECLs.
3518 2016-01-08 Jason Merrill <jason@redhat.com>
3520 PR c++/69158
3521 * constexpr.c (cxx_fold_indirect_ref): Handle array type differing
3522 in completion.
3524 2016-01-08 Marek Polacek <polacek@redhat.com>
3526 PR c++/68449
3527 * constexpr.c (cxx_eval_constant_expression): Handle NULL initializer.
3529 2016-01-08 Jason Merrill <jason@redhat.com>
3531 * constexpr.c (cxx_eval_call_expression): Remove convert_to_void
3532 workaround.
3534 PR c++/68983
3535 PR c++/67557
3536 * cvt.c (convert_to_void): Don't strip a TARGET_EXPR of
3537 TREE_ADDRESSABLE type.
3539 PR c++/68983
3540 PR c++/67557
3541 * call.c (unsafe_copy_elision_p): Look through COMPOUND_EXPR.
3543 2016-01-05 Nathan Sidwell <nathan@acm.org>
3545 PR c++/58583
3546 * pt.c (build_non_dependent_expr): Don't try a checking fold when
3547 parsing an nsdmi.
3549 2016-01-04 Jakub Jelinek <jakub@redhat.com>
3551 Update copyright years.
3552 \f
3553 Copyright (C) 2016 Free Software Foundation, Inc.
3555 Copying and distribution of this file, with or without modification,
3556 are permitted in any medium without royalty provided the copyright
3557 notice and this notice are preserved.