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