111
|
1 2012-12-28 Kai Tietz <ktietz@redhat.com>
|
|
2
|
|
3 * rtti.c (LONGPTR_T): New helper-macro.
|
|
4 (get_pseudo_ti_init): Initialize offset_type by LONGPTR_T
|
|
5 type instead of 'long' type.
|
|
6 (create_tinfo_types): Use for offset/flags field LONGPTR_T
|
|
7 type instead of 'long' type.
|
|
8
|
|
9 2012-12-19 Jason Merrill <jason@redhat.com>
|
|
10
|
|
11 PR c++/55724
|
|
12 * pt.c (type_unification_real): Re-combine post-deduction loops.
|
|
13
|
|
14 2012-12-14 Jason Merrill <jason@redhat.com>
|
|
15
|
|
16 PR c++/55685
|
|
17 * pt.c (tsubst_copy_and_build): Don't use SIZEOF_EXPR_TYPE_P in
|
|
18 templates.
|
|
19
|
|
20 PR c++/42315
|
|
21 * decl.c (maybe_deduce_size_from_array_init): Don't change the
|
|
22 variable type.
|
|
23
|
|
24 2012-12-13 Jakub Jelinek <jakub@redhat.com>
|
|
25
|
|
26 PR c++/55652
|
|
27 * typeck2.c (merge_exception_specifiers): Don't call operand_equal_p
|
|
28 if noex is NULL.
|
|
29
|
|
30 2012-12-11 Jason Merrill <jason@redhat.com>
|
|
31
|
|
32 PR c++/54883
|
|
33 * decl2.c (min_vis_r): Handle anon visibility for enums.
|
|
34
|
|
35 2012-12-11 Marc Glisse <marc.glisse@inria.fr>
|
|
36
|
|
37 PR c++/53094
|
|
38 * tree.c (cp_tree_equal): Handle VECTOR_CST.
|
|
39 * semantics.c (cxx_eval_bare_aggregate): Protect a dereference.
|
|
40 Handle VECTOR_CST.
|
|
41
|
|
42 2012-12-11 Jakub Jelinek <jakub@redhat.com>
|
|
43
|
|
44 PR c++/55643
|
|
45 * expr.c (mark_exp_read): Handle FLOAT_EXPR similarly to NOP_EXPR.
|
|
46
|
|
47 2012-12-11 Jason Merrill <jason@redhat.com>
|
|
48
|
|
49 PR c++/54416
|
|
50 * pt.c (maybe_process_partial_specialization): Don't accept
|
|
51 definition of a specialization without the appropriate header.
|
|
52
|
|
53 * pt.c (maybe_process_partial_specialization): Handle aliases first.
|
|
54
|
|
55 2012-12-11 Jakub Jelinek <jakub@redhat.com>
|
|
56
|
|
57 PR c++/55619
|
|
58 * semantics.c (finish_asm_stmt): Don't call decay_conversion
|
|
59 on input operands that can be only in memory.
|
|
60
|
|
61 2012-12-10 Eric Botcazou <ebotcazou@adacore.com>
|
|
62
|
|
63 * Make-lang.in (cp/typeck.o): Add dependency on $(PARAMS_H).
|
|
64 (cp/name-lookup.o): Likewise.
|
|
65
|
|
66 2012-12-10 Steven Bosscher <steven@gcc.gnu.org>
|
|
67
|
|
68 * decl2.c (cp_write_global_declarations): Return after writing a PCH.
|
|
69
|
|
70 2012-12-07 Jason Merrill <jason@redhat.com>
|
|
71
|
|
72 PR c++/55127
|
|
73 * search.c (accessible_in_template_p): New.
|
|
74 * cp-tree.h: Declare it.
|
|
75 * pt.c (instantiation_dependent_scope_ref_p): New.
|
|
76 (value_dependent_expression_p): Use it.
|
|
77 (instantiation_dependent_r): Likewise.
|
|
78 * semantics.c (finish_decltype_type): Handle SCOPE_REF.
|
|
79
|
|
80 PR c++/55419
|
|
81 * tree.c (build_target_expr): Don't set TREE_CONSTANT.
|
|
82
|
|
83 2012-12-07 Aldy Hernandez <aldyh@redhat.com>
|
|
84
|
|
85 PR c++/55513
|
|
86 * semantics.c (cxx_eval_builtin_function_call): Set non_constant_p
|
|
87 after folding.
|
|
88
|
|
89 2012-12-07 Paolo Carlini <paolo.carlini@oracle.com>
|
|
90
|
|
91 * tree.c (build_aggr_init_expr): Remove tsubst_flags_t parameter.
|
|
92 (build_cplus_new): Adjust.
|
|
93 * cp-tree.h: Adjust declaration.
|
|
94 * init.c (build_value_init): Adjust.
|
|
95
|
|
96 2012-12-07 Dodji Seketeli <dodji@redhat.com>
|
|
97
|
|
98 PR c++/54401
|
|
99 * parser.c (cp_parser_alias_declaration): Commit to tentative
|
|
100 parse when see the '=' token. Get out if the type-id is invalid.
|
|
101 Update function comment.
|
|
102 (cp_parser_member_declaration): Don't try to parse a using
|
|
103 declaration if we know that we expected an alias declaration; that
|
|
104 is, if we see the '=' token after the identifier.
|
|
105
|
|
106 2012-12-06 Jason Merrill <jason@redhat.com>
|
|
107
|
|
108 PR c++/54325
|
|
109 * tree.c (build_aggr_init_expr): Don't check for abstract class.
|
|
110 (build_cplus_new): Check here instead.
|
|
111
|
|
112 PR c++/55058
|
|
113 * pt.c (tsubst): Keep the quals when looking through a typedef.
|
|
114
|
|
115 PR c++/55249
|
|
116 * tree.c (build_vec_init_elt): Use the type of the initializer.
|
|
117
|
|
118 PR c++/54744
|
|
119 * pt.c (resolve_typename_type): Check TYPENAME_IS_RESOLVING_P on scope.
|
|
120 * init.c (expand_member_init): Check for being in a template first.
|
|
121 * parser.c (cp_parser_mem_initializer_list): Only check class types
|
|
122 for equivalence to the current class.
|
|
123
|
|
124 PR c++/54913
|
|
125 * semantics.c (finish_qualified_id_expr): convert_from_reference
|
|
126 after building a SCOPE_REF.
|
|
127
|
|
128 2012-12-06 Jakub Jelinek <jakub@redhat.com>
|
|
129
|
|
130 PR c++/54207
|
|
131 * except.c (build_noexcept_spec): Avoid direct comparison
|
|
132 with boolean_true_node or boolean_false_node, instead use
|
|
133 operand_equal_p and/or INTEGER_CST check.
|
|
134 * pt.c (tsubst_exception_specification): Likewise.
|
|
135 * typeck2.c (merge_exception_specifiers): Likewise.
|
|
136
|
|
137 2012-12-06 Marc Glisse <marc.glisse@inria.fr>
|
|
138
|
|
139 PR c++/55573
|
|
140 * semantics.c (adjust_temp_type): Handle VECTOR_CST.
|
|
141
|
|
142 2012-12-06 Jason Merrill <jason@redhat.com>
|
|
143
|
|
144 PR c++/54947
|
|
145 * parser.c (cp_parser_initializer_list): Don't require an
|
|
146 expression in [] to be constant until we know it's a C99
|
|
147 designator.
|
|
148
|
|
149 PR c++/55015
|
|
150 PR c++/53821
|
|
151 * semantics.c (maybe_add_lambda_conv_op): Revert earlier change.
|
|
152 * decl.c (start_preparsed_function): Make local class methods comdat
|
|
153 in templates, too.
|
|
154
|
|
155 PR c++/54653
|
|
156 * parser.c (cp_parser_class_head): A partial specialization scope
|
|
157 counts as a template.
|
|
158 * pt.c (tsubst_template_parms): Handle template template parm parms.
|
|
159 (tsubst_decl) [TEMPLATE_DECL]: Handle getting a template template
|
|
160 argument back.
|
|
161
|
|
162 PR c++/55564
|
|
163 * pt.c (unify) [ARRAY_TYPE]: Unify the element type before the bounds.
|
|
164
|
|
165 2012-12-03 Paolo Carlini <paolo.carlini@oracle.com>
|
|
166
|
|
167 PR c++/54170
|
|
168 * cvt.c (cp_convert_to_pointer): Don't discard side-effects from
|
|
169 expressions of nullptr_t.
|
|
170 * typeck.c (build_ptrmemfunc): Likewise.
|
|
171
|
|
172 2012-12-01 Jakub Jelinek <jakub@redhat.com>
|
|
173
|
|
174 PR c++/55542
|
|
175 * pt.c (make_ith_pack_parameter_name): Return NULL if
|
|
176 name is NULL.
|
|
177 (tsubst_decl): Call make_ith_pack_parameter_name even if
|
|
178 DECL_NAME is NULL.
|
|
179
|
|
180 2012-11-29 Jason Merrill <jason@redhat.com>
|
|
181
|
|
182 PR c++/53137
|
|
183 * pt.c (tsubst_expr) [DECL_EXPR]: Set LAMBDA_EXPR_THIS_CAPTURE here.
|
|
184 (tsubst_copy_and_build) [LAMBDA_EXPR]: And clear it here.
|
|
185 (instantiate_class_template_1): Not here.
|
|
186
|
|
187 2012-11-29 Marc Glisse <marc.glisse@inria.fr>
|
|
188
|
|
189 PR c++/53094
|
|
190 * cvt.c (ocp_convert): Call convert_to_vector.
|
|
191
|
|
192 2012-11-29 Kai Tietz <ktietz@redhat.com>
|
|
193
|
|
194 PR target/53912
|
|
195 * class.c (dump_class_hierarchy_r): Cast from pointer via uintptr_t.
|
|
196 (dump_vtable): Likewise.
|
|
197
|
|
198 2012-11-29 Ed Smith-Rowland <3dw4rd@verizon.net>
|
|
199
|
|
200 PR c++/52654
|
|
201 * parser.c (cp_parser_string_literal): Add overflow_type arg.
|
|
202 (cp_parser_userdef_numeric_literal): Warn on numeric overflow.
|
|
203
|
|
204 2012-11-28 Andrew Pinski <apinski@cavium.com>
|
|
205
|
|
206 PR bootstrap/54279
|
|
207 * Make-lang.in (g++$(exeext)): Rename to
|
|
208 (xg++$(exeext)): This.
|
|
209 (g++-cross$(exeext)): Use xg++$(exeext) instead of g++$(exeext).
|
|
210 (c++.start.encap): Likewise.
|
|
211 (c++.install-common): Likewise.
|
|
212
|
|
213 2012-11-24 Paolo Carlini <paolo.carlini@oracle.com>
|
|
214
|
|
215 PR c++/55446
|
|
216 * init.c (build_vec_init): Do not early return error_mark_mode
|
|
217 when integer_all_onesp (maxindex).
|
|
218
|
|
219 2012-11-23 Jakub Jelinek <jakub@redhat.com>
|
|
220
|
|
221 PR c++/54046
|
|
222 * cp-objcp-common.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Redefine.
|
|
223 * cp-objcp-common.c (cxx_block_may_fallthru): New function.
|
|
224 * cp-tree.h (cxx_block_may_fallthru): New prototype.
|
|
225
|
|
226 2012-11-23 Markus Trippelsdorf <markus@trippelsdorf.de>
|
|
227
|
|
228 PR c++/55418
|
|
229 * method.c (implicitly_declare_fn): Properly initialize trivial_p.
|
|
230
|
|
231 2012-11-22 Jason Merrill <jason@redhat.com>
|
|
232
|
|
233 PR c++/55137
|
|
234 * semantics.c (verify_constant): Track overflow separately.
|
|
235 (reduced_constant_expression_p): Don't check it here.
|
|
236 (cxx_eval_constant_expression): Check it on CSTs.
|
|
237 (cxx_eval_outermost_constant_expr): Treat overflows as non-constant
|
|
238 at this point, but still return the folded version.
|
|
239 (potential_constant_expression_1): Don't check overflow.
|
|
240
|
|
241 * call.c (extend_ref_init_temps_1): Recompute TREE_CONSTANT for
|
|
242 the ADDR_EXPR.
|
|
243
|
|
244 2012-11-20 Diego Novillo <dnovillo@google.com>
|
|
245 Jakub Jelinek <jakub@redhat.com>
|
|
246
|
|
247 * name-lookup.c: Replace all vec<T, A>() initializers
|
|
248 with vNULL.
|
|
249 * semantics.c: Likewise.
|
|
250
|
|
251 2012-11-19 Paolo Carlini <paolo.carlini@oracle.com>
|
|
252
|
|
253 PR c++/55368
|
|
254 * parser.c (cp_parser_member_declaration): Emit an error in case
|
|
255 of stray comma at end of member declaration.
|
|
256
|
|
257 2012-11-19 Jason Merrill <jason@redhat.com>
|
|
258
|
|
259 * class.c (one_inheriting_sig): Don't inherit base copy ctors.
|
|
260
|
|
261 PR c++/55262
|
|
262 * method.c (implicitly_declare_fn): Set DECL_PARM_INDEX on
|
|
263 the parms of an inheriting ctor.
|
|
264
|
|
265 PR c++/55261
|
|
266 * class.c (add_implicitly_declared_members): Use
|
|
267 lookup_fnfields_slot to get the base constructors.
|
|
268
|
|
269 2012-11-19 Jakub Jelinek <jakub@redhat.com>
|
|
270
|
|
271 PR middle-end/54630
|
|
272 * class.c (fixed_type_or_null_ref_ht): New variable.
|
|
273 (fixed_type_or_null): Use it instead of local static ht.
|
|
274
|
|
275 2012-11-17 Diego Novillo <dnovillo@google.com>
|
|
276
|
|
277 Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec)
|
|
278
|
|
279 * Make-lang.in: Remove dependencies on vecir.h and vecprim.h everywhere.
|
|
280 * call.c: Use new vec API in vec.h.
|
|
281 * class.c: Likewise.
|
|
282 * cp-gimplify.c: Likewise.
|
|
283 * cp-tree.h: Likewise.
|
|
284 * cvt.c: Likewise.
|
|
285 * decl.c: Likewise.
|
|
286 * decl2.c: Likewise.
|
|
287 * error.c: Likewise.
|
|
288 * except.c: Likewise.
|
|
289 * init.c: Likewise.
|
|
290 * mangle.c: Likewise.
|
|
291 * method.c: Likewise.
|
|
292 * name-lookup.c: Likewise.
|
|
293 * name-lookup.h: Likewise.
|
|
294 * parser.c: Likewise.
|
|
295 * parser.h: Likewise.
|
|
296 * pt.c: Likewise.
|
|
297 * repo.c: Likewise.
|
|
298 * rtti.c: Likewise.
|
|
299 * search.c: Likewise.
|
|
300 * semantics.c: Likewise.
|
|
301 * tree.c: Likewise.
|
|
302 * typeck.c: Likewise.
|
|
303 * typeck2.c: Likewise.
|
|
304
|
|
305 2012-11-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
|
|
306
|
|
307 * semantics.c (finish_id_expression): Tidy diagnostic message.
|
|
308
|
|
309 2012-11-16 Dodji Seketeli <dodji@redhat.com>
|
|
310
|
|
311 PR c++/54875
|
|
312 * pt.c (lookup_template_class_1): Look at the type of the
|
|
313 potential member enum of class template to determine if we are
|
|
314 actually substituting into a member enum of class template.
|
|
315
|
|
316 2012-11-16 Jakub Jelinek <jakub@redhat.com>
|
|
317
|
|
318 PR c++/55337
|
|
319 * tree.c (cp_tree_equal) <case ALIGNOF_EXPR>: Use SIZEOF_EXPR_TYPE_P
|
|
320 only on SIZEOF_EXPR.
|
|
321
|
|
322 2012-11-14 Jason Merrill <jason@redhat.com>
|
|
323
|
|
324 PR c++/54903
|
|
325 * decl2.c (mark_used): Don't complain about auto in templates.
|
|
326
|
|
327 PR c++/37276
|
|
328 * decl.c (decls_match): Remove #ifdef around earlier fix.
|
|
329
|
|
330 2012-11-13 Jason Merrill <jason@redhat.com>
|
|
331
|
|
332 * class.c (finish_struct_1): Check virtual functions
|
|
333 for missing ABI tags.
|
|
334
|
|
335 PR c++/55275
|
|
336 * pt.c (maybe_process_partial_specialization): Update
|
|
337 DECL_SOURCE_LOCATION for new specializations.
|
|
338
|
|
339 2012-11-14 Paolo Carlini <paolo.carlini@oracle.com>
|
|
340
|
|
341 PR c++/55323
|
|
342 * init.c (emit_mem_initializers): Skip arguments == error_mark_node.
|
|
343
|
|
344 2012-11-14 Fabien ChĂȘne <fabien@gcc.gnu.org>
|
|
345
|
|
346 PR c++/11750
|
|
347 * call.c (build_new_method_call_1): Check that the instance type
|
|
348 and the function context are the same before setting the flag
|
|
349 LOOKUP_NONVIRTUAL.
|
|
350
|
|
351 2012-11-13 Sriraman Tallam <tmsriram@google.com>
|
|
352
|
|
353 * class.c (mark_versions_used): Remove.
|
|
354 (resolve_address_of_overloaded_function): Call target hook
|
|
355 for versioned functions. Refactor to call
|
|
356 get_function_versions_dispatcher.
|
|
357 * decl.c (duplicate_decls): Add comments.
|
|
358 * cp/call.c (get_function_version_dispatcher): Expose function.
|
|
359 (mark_versions_used): Expose function.
|
|
360 * cp/cp-tree.h (mark_versions_used): New declaration.
|
|
361 (get_function_version_dispatcher): Ditto.
|
|
362
|
|
363 2012-11-13 Dodji Seketeli <dodji@redhat.com>
|
|
364
|
|
365 PR c++/54466
|
|
366 * pt.c (lookup_template_class_1): TYPE_STUB_DECL should be
|
|
367 accessed on the main variant of the type.
|
|
368
|
|
369 2012-11-12 Ed Smith-Rowland <3dw4rd@verizon.net>
|
|
370
|
|
371 * parser.c (cp_parser_objc_class_ivars):
|
|
372 Index declspecs.locations by ds_typedef rather than ds_thread.
|
|
373
|
|
374 2012-11-09 Ed Smith-Rowland <3dw4rd@verizon.net>
|
|
375
|
|
376 PR c++/54413
|
|
377 * decl.c (grokfndecl): Adjust calls to interpret_x_suffix.
|
|
378
|
|
379 2012-11-09 Jason Merrill <jason@redhat.com>
|
|
380
|
|
381 PR c++/54859
|
|
382 * pt.c (check_instantiated_arg): Don't complain about dependent args.
|
|
383
|
|
384 * tree.c (cxx_attribute_table): Add abi_tag attribute.
|
|
385 (check_abi_tag_redeclaration, handle_abi_tag_attribute): New.
|
|
386 * class.c (find_abi_tags_r, check_abi_tags): New.
|
|
387 (check_bases, check_field_decl): Call check_abi_tags.
|
|
388 * decl.c (redeclaration_error_message): Call
|
|
389 check_abi_tag_redeclaration.
|
|
390 * mangle.c (tree_string_cmp, write_abi_tags): New.
|
|
391 (write_unqualified_name): Call write_abi_tags.
|
|
392
|
|
393 2012-11-07 Paolo Carlini <paolo.carlini@oracle.com>
|
|
394
|
|
395 PR c++/55226
|
|
396 Revert:
|
|
397 2012-10-23 Paolo Carlini <paolo.carlini@oracle.com>
|
|
398
|
|
399 PR c++/54922
|
|
400 * semantics.c (cx_check_missing_mem_inits): Handle anonymous union
|
|
401 members.
|
|
402
|
|
403 2012-11-07 Florian Weimer <fweimer@redhat.com>
|
|
404
|
|
405 * init.c (build_new_1): Do not check for arithmetic overflow if
|
|
406 inner array size is 1.
|
|
407
|
|
408 2012-11-05 Sriraman Tallam <tmsriram@google.com>
|
|
409
|
|
410 * class.c (add_method): Change assembler names of function versions.
|
|
411 (mark_versions_used): New static function.
|
|
412 (resolve_address_of_overloaded_function): Create dispatcher decl and
|
|
413 return address of dispatcher instead.
|
|
414 * decl.c (decls_match): Make decls unmatched for versioned
|
|
415 functions.
|
|
416 (duplicate_decls): Remove ambiguity for versioned functions.
|
|
417 Delete versioned function data for merged decls.
|
|
418 * decl2.c (check_classfn): Check attributes of versioned functions
|
|
419 for match.
|
|
420 * call.c (get_function_version_dispatcher): New function.
|
|
421 (mark_versions_used): New static function.
|
|
422 (build_over_call): Make calls to multiversioned functions
|
|
423 to call the dispatcher.
|
|
424 (joust): For calls to multi-versioned functions, make the most
|
|
425 specialized function version win.
|
|
426
|
|
427 2012-10-31 Lawrence Crowl <crowl@google.com>
|
|
428
|
|
429 * decl2.c (var_finalized_p): Rename varpool_node to
|
|
430 varpool_node_for_decl.
|
|
431 (maybe_emit_vtables): Likewise.
|
|
432
|
|
433 2012-10-31 Paolo Carlini <paolo.carlini@oracle.com>
|
|
434
|
|
435 PR c++/54583
|
|
436 * tree.c (build_cplus_array_type): Set TREE_NO_WARNING on the
|
|
437 TYPE_SIZE of VLAs.
|
|
438
|
|
439 2012-10-31 Dodji Seketeli <dodji@redhat.com>
|
|
440
|
|
441 PR c++/54955
|
|
442 * parser.c (cp_nth_tokens_can_be_std_attribute_p): Recognize the
|
|
443 'Alignas' keyword as the beginning of a c++11 attribute specifier.
|
|
444 Update the comment of the function.
|
|
445 (cp_next_tokens_can_be_gnu_attribute_p): Update the comment of the
|
|
446 function.
|
|
447
|
|
448 2012-10-29 Jonathan Wakely <jwakely.gcc@gmail.com>
|
|
449
|
|
450 PR c++/54930
|
|
451 * typeck.c (maybe_warn_about_returning_address_of_local): Use
|
|
452 OPT_Wreturn_local_addr.
|
|
453
|
|
454 2012-10-26 Jakub Jelinek <jakub@redhat.com>
|
|
455
|
|
456 PR c++/55081
|
|
457 * typeck2.c (store_init_value): Call fold_non_dependent_expr
|
|
458 and maybe_constant_init even for C++98.
|
|
459
|
|
460 2012-10-26 Paolo Carlini <paolo.carlini@oracle.com>
|
|
461
|
|
462 PR c++/54984
|
|
463 * init.c (build_new): Don't turn a null *init into a pointer to
|
|
464 empty vector orig_init.
|
|
465
|
|
466 2012-10-25 Paolo Carlini <paolo.carlini@oracle.com>
|
|
467
|
|
468 PR c++/53761
|
|
469 * class.c (finish_struct_1): Reject aggregates decorated with
|
|
470 __transparent_union__ which cannot be made transparent because
|
|
471 the type of the first field has a different ABI from the class
|
|
472 overall.
|
|
473
|
|
474 2012-10-25 Jason Merrill <jason@redhat.com>
|
|
475
|
|
476 Core 1402
|
|
477 * call.c (joust): An implicitly deleted move function is
|
|
478 worse than any non-deleted function.
|
|
479 * method.c (process_subob_fn): No special rules for move.
|
|
480 (synthesized_method_walk, implicitly_declare_fn): Likewise.
|
|
481 Warn about virtual base with non-trivial move assignment.
|
|
482 * cp-tree.h (struct lang_decl_fn): Remove suppress_implicit_decl.
|
|
483 (FNDECL_SUPPRESS_IMPLICIT_DECL): Remove.
|
|
484
|
|
485 * semantics.c (finish_omp_threadprivate): Call complete_type.
|
|
486
|
|
487 * class.c (one_inherited_ctor): Warn about variadic inherited ctor.
|
|
488
|
|
489 2012-10-25 Marc Glisse <marc.glisse@inria.fr>
|
|
490
|
|
491 PR c++/54427
|
|
492 * typeck.c (build_x_conditional_expr): Handle VEC_COND_EXPR.
|
|
493 * call.c (build_conditional_expr_1): Likewise.
|
|
494
|
|
495 2012-10-25 Paolo Carlini <paolo.carlini@oracle.com>
|
|
496
|
|
497 PR c++/34892
|
|
498 * parser.c (cp_parser_template_parameter): When
|
|
499 cp_parser_parameter_declaration parsed a default argument don't
|
|
500 see if *is_parameter_pack needs setting.
|
|
501
|
|
502 2012-10-23 Paolo Carlini <paolo.carlini@oracle.com>
|
|
503
|
|
504 PR c++/54922
|
|
505 * semantics.c (cx_check_missing_mem_inits): Handle anonymous union
|
|
506 members.
|
|
507
|
|
508 2012-10-23 Jakub Jelinek <jakub@redhat.com>
|
|
509
|
|
510 PR c++/54844
|
|
511 * pt.c (tsubst_copy, tsubst_copy_and_build) <case SIZEOF_EXPR>: Use
|
|
512 tsubst instead of tsubst_copy* on types.
|
|
513
|
|
514 PR c++/54988
|
|
515 * decl2.c (cplus_decl_attributes): Don't return early
|
|
516 if attributes is NULL.
|
|
517
|
|
518 2012-10-18 Paolo Carlini <paolo.carlini@oracle.com>
|
|
519
|
|
520 PR c++/54501
|
|
521 * decl.c (reshape_init_array_1): Avoid infinite loops.
|
|
522
|
|
523 2012-10-15 Alexandre Oliva <aoliva@redhat.com>
|
|
524 Paolo Carlini <paolo.carlini@oracle.com>
|
|
525
|
|
526 PR c++/17805
|
|
527 * call.c (build_new_op_1): Filter out operator functions that don't
|
|
528 satisfy enum-conversion match requirements.
|
|
529
|
|
530 2012-10-15 Paolo Carlini <paolo.carlini@oracle.com>
|
|
531
|
|
532 PR c++/50080 (again)
|
|
533 * parser.c (cp_parser_optional_template_keyword): When -pedantic
|
|
534 and C++98 mode restore pre-Core/468 behavior.
|
|
535
|
|
536 2012-10-15 Paolo Carlini <paolo.carlini@oracle.com>
|
|
537
|
|
538 PR c++/50080
|
|
539 * parser.c (cp_parser_optional_template_keyword): Implement
|
|
540 Core/468, allow outside template.
|
|
541
|
|
542 2012-10-14 Jason Merrill <jason@redhat.com>
|
|
543 Ville Voutilainen <ville.voutilainen@gmail.com>
|
|
544
|
|
545 Implement C++11 inheriting constructors.
|
|
546 * cp-tree.h (cpp0x_warn_str): Add CPP0X_INHERITING_CTORS.
|
|
547 (DECL_INHERITED_CTOR_BASE, SET_DECL_INHERITED_CTOR_BASE): New.
|
|
548 (special_function_kind): Add sfk_inheriting_constructor.
|
|
549 * class.c (add_method): An inheriting ctor is hidden by a
|
|
550 user-declared one.
|
|
551 (one_inheriting_sig, one_inherited_ctor): New.
|
|
552 (add_implicitly_declared_members): Handle inheriting ctors.
|
|
553 * error.c (maybe_warn_cpp0x): Handle CPP0X_INHERITING_CTORS.
|
|
554 * init.c (emit_mem_initializers): Don't set LOOKUP_DEFAULTED
|
|
555 for an inheriting constructor.
|
|
556 * method.c (type_has_trivial_fn): Handle sfk_inheriting_constructor.
|
|
557 (type_set_nontrivial_flag): Likewise.
|
|
558 (add_one_base_init): Split out from...
|
|
559 (do_build_copy_constructor): ...here. Handle inheriting constructors.
|
|
560 (locate_fn_flags): Handle a list of arg types.
|
|
561 (synthesized_method_walk): Handle inheriting constructors.
|
|
562 (maybe_explain_implicit_delete): Likewise.
|
|
563 (deduce_inheriting_ctor): New.
|
|
564 (implicitly_declare_fn): Handle inheriting constructors.
|
|
565 * name-lookup.c (push_class_level_binding_1): An inheriting constructor
|
|
566 does not declare the base's name.
|
|
567 (do_class_using_decl): Allow inheriting constructors.
|
|
568 * pt.c (template_parms_to_args): Split from current_template_args.
|
|
569 (add_inherited_template_parms): New.
|
|
570 (tsubst_decl): Handle inheriting constructors.
|
|
571 * tree.c (special_function_p): Handle inheriting constructors.
|
|
572
|
|
573 2012-10-12 Jakub Jelinek <jakub@redhat.com>
|
|
574
|
|
575 PR c/54381
|
|
576 * semantics.c (finish_call_expr): Pass array of 3 sizeof_arg
|
|
577 trees and locs (corresponding to first 3 arguments) to
|
|
578 sizeof_pointer_memaccess_warning.
|
|
579
|
|
580 2012-10-12 Paolo Carlini <paolo.carlini@oracle.com>
|
|
581
|
|
582 PR c++/24449
|
|
583 * decl.c (grokfndecl): When checking for ::main declarations
|
|
584 use PROCESSING_REAL_TEMPLATE_DECL_P().
|
|
585
|
|
586 2012-10-12 Marc Glisse <marc.glisse@inria.fr>
|
|
587
|
|
588 PR c++/53055
|
|
589 * call.c (build_new_op_1): Pass RO_ARROW_STAR to cp_build_indirect_ref.
|
|
590 * typeck.c (cp_build_indirect_ref): Handle RO_ARROW_STAR.
|
|
591
|
|
592 2012-10-11 Jason Merrill <jason@redhat.com>
|
|
593
|
|
594 * cp-tree.h (DECL_THUNKS): NULL_TREE for non-virtual functions.
|
|
595 (SET_DECL_THUNKS): New.
|
|
596 * decl.c (duplicate_decls): Adjust.
|
|
597 * method.c (make_thunk): Adjust.
|
|
598
|
|
599 * decl.c (grokdeclarator): Set DECL_GNU_TLS_P for static data
|
|
600 members, too.
|
|
601
|
|
602 2012-10-09 Dodji Seketeli <dodji@redhat.com>
|
|
603
|
|
604 PR c++/53540 - using fails to be equivalent to typedef
|
|
605 * cp-tree.h (TYPE_TEMPLATE_INFO): For an alias that is not an
|
|
606 instance of alias template, don't look for its TEMPLATE_INFO in
|
|
607 its declaration.
|
|
608 (alias_template_specialization_p): Take const_tree.
|
|
609 * pt.c (alias_template_specialization_p): Take a const_tree.
|
|
610 Don't call primary_template_instantiation_p.
|
|
611 (primary_template_instantiation_p): Call
|
|
612 alias_template_specialization_p.
|
|
613
|
|
614 2012-10-10 Dodji Seketeli <dodji@redhat.com>
|
|
615
|
|
616 * parser (cp_parser_statement): Parse c++11 attributes
|
|
617 tentatively.
|
|
618 (cp_parser_std_attribute_spec_seq): Do not warn too early about
|
|
619 using c++11 attributes in non c++11 mode.
|
|
620
|
|
621 2012-10-10 Dehao Chen <dehao@google.com>
|
|
622
|
|
623 * cp-gimplify.c (cp_genericize_r): Set location for TRY expr.
|
|
624
|
|
625 2012-10-09 Lawrence Crowl <crowl@google.com>
|
|
626
|
|
627 * Make-lang.in (class.o): Add dependence on hash-table.h.
|
|
628 (tree.o): Likewise.
|
|
629 (semantics.o): Likewise.
|
|
630 * class.c (fixed_type_or_null): Change to new type-safe hash table.
|
|
631 * tree.c (verify_stmt_tree): Likewise.
|
|
632 (verify_stmt_tree_r): Likewise.
|
|
633 * semantics.c (struct nrv_data): Likewise.
|
|
634
|
|
635 2012-10-09 Paolo Carlini <paolo.carlini@oracle.com>
|
|
636
|
|
637 PR c++/54194
|
|
638 * typeck.c (build_x_binary_op): Update warn_about_parentheses call.
|
|
639 * parser.c (cp_parser_binary_expression): Use SET_EXPR_LOCATION
|
|
640 on current.lhs.
|
|
641
|
|
642 2012-10-09 Marc Glisse <marc.glisse@inria.fr>
|
|
643
|
|
644 PR c++/54427
|
|
645 * typeck.c (cp_build_binary_op): Handle mixed scalar-vector
|
|
646 operations.
|
|
647 [LSHIFT_EXPR, RSHIFT_EXPR]: Likewise.
|
|
648
|
|
649 2012-10-08 Jakub Jelinek <jakub@redhat.com>
|
|
650
|
|
651 PR c++/54858
|
|
652 * tree.c (cp_tree_equal): Handle FIELD_DECL.
|
|
653
|
|
654 2012-10-08 Jason Merrill <jason@redhat.com>
|
|
655
|
|
656 Allow dynamic initialization of thread_locals.
|
|
657 * decl.c: Define tls_aggregates.
|
|
658 (expand_static_init): Remove sorry. Add to tls_aggregates.
|
|
659 * cp-tree.h: Declare tls_aggregates.
|
|
660 * call.c (set_up_extended_ref_temp): Add to tls_aggregates.
|
|
661 * decl2.c (var_needs_tls_wrapper): New.
|
|
662 (var_defined_without_dynamic_init): New.
|
|
663 (get_tls_init_fn, get_tls_wrapper_fn): New.
|
|
664 (generate_tls_wrapper, handle_tls_init): New.
|
|
665 (cp_write_global_declarations): Call handle_tls_init and
|
|
666 enerate_tls_wrapper.
|
|
667 * mangle.c (write_guarded_var_name): Split out from..
|
|
668 (mangle_guard_variable): ...here.
|
|
669 (mangle_tls_init_fn, mangle_tls_wrapper_fn): Use it.
|
|
670 (decl_tls_wrapper_p): New.
|
|
671 * semantics.c (finish_id_expression): Replace use of thread_local
|
|
672 variable with a call to its wrapper.
|
|
673
|
|
674 * decl.c (get_thread_atexit_node): New.
|
|
675 (register_dtor_fn): Use it for TLS.
|
|
676
|
|
677 Partial implementation of C++11 thread_local.
|
|
678 * decl.c (cp_finish_decl): Remove errors about non-trivial
|
|
679 initialization and destruction of TLS variables.
|
|
680 (register_dtor_fn): Add sorry about TLS variables.
|
|
681 (expand_static_init): Add sorry about non-local TLS variables,
|
|
682 or error with __thread.
|
|
683 Don't emit thread-safety guards for local TLS variables.
|
|
684 (grokdeclarator): thread_local in a function implies static.
|
|
685 * decl.h: Adjust prototype.
|
|
686 * decl2.c (get_guard): Copy DECL_TLS_MODEL.
|
|
687 * parser.c (cp_parser_set_storage_class, cp_parser_set_decl_spec_type)
|
|
688 (set_and_check_decl_spec_loc): Take the token rather than the location.
|
|
689 Distinguish between __thread and thread_local.
|
|
690 (cp_parser_set_storage_class): Don't complain about thread_local before
|
|
691 extern/static.
|
|
692 (token_is__thread): New.
|
|
693 * call.c (make_temporary_var_for_ref_to_temp): Handle TLS.
|
|
694 * cp-tree.h (DECL_GNU_TLS_P): New.
|
|
695 (cp_decl_specifier_seq): Add gnu_thread_keyword_p.
|
|
696
|
|
697 2012-10-08 Dodji Seketeli <dodji@redhat.com>
|
|
698
|
|
699 PR c++/53528 C++11 attribute support
|
|
700 * cp-tree.h (enum cpp0x_warn_str::CPP0X_ATTRIBUTES): New member.
|
|
701 (enum cp_decl_spec::ds_std_attribute): New enumerator.
|
|
702 (struct cp_decl_specifier_seq::std_attributes): New field.
|
|
703 (cxx_alignas_expr, warn_misplaced_attr_for_class_type): Declare
|
|
704 new functions.
|
|
705 (check_tag_decl): Take an extra parameter for explicit
|
|
706 instantiations.
|
|
707 * decl.c (warn_misplaced_attr_for_class_type): Extract from ...
|
|
708 (check_tag_decl): ... here. Add check for c++11 attributes being
|
|
709 applied to an explicit instantiation. Take an extra parameter for
|
|
710 explicit instantiations.
|
|
711 (grokdeclarator): Make sure a c++11 attribute after an array
|
|
712 declarator appertains to the array, an attribute after a function
|
|
713 declarator appertains to the function type, an attribute after a
|
|
714 declarator-id appertains to the entity being declared, and an
|
|
715 attribute after a pointer declarator appertain to the pointer.
|
|
716 * decl2.c (is_late_template_attribute): Use get_attribute_name.
|
|
717 * error.c (maybe_warn_cpp0x): Support
|
|
718 CPP0X_GENERALIZED_ATTRIBUTES.
|
|
719 * parser.c (cp_next_tokens_can_be_attribute_p)
|
|
720 (cp_next_tokens_can_be_gnu_attribute_p)
|
|
721 (cp_next_tokens_can_be_std_attribute_p)
|
|
722 (cp_nth_tokens_can_be_attribute_p)
|
|
723 (cp_nth_tokens_can_be_gnu_attribute_p)
|
|
724 (cp_nth_tokens_can_be_std_attribute_p)
|
|
725 (cp_parser_gnu_attribute_list, cp_parser_std_attribute)
|
|
726 (cp_parser_std_attribute_spec, cp_parser_std_attribute_spec_seq)
|
|
727 (cp_parser_attributes_opt, cp_parser_std_attribute_list): New
|
|
728 static functions.
|
|
729 (cp_parser_gnu_attributes_opt): Replace cp_parser_attributes_opt.
|
|
730 (cp_parser_gnu_attribute_list): Replace cp_parser_attribute_list.
|
|
731 (cp_parser_postfix_expression): Disallow "[[" tokens here.
|
|
732 (cp_parser_label_for_labeled_statement): Use take an extra
|
|
733 parameter for attributes.
|
|
734 (cp_parser_block_declaration): Use
|
|
735 cp_nth_tokens_can_be_std_attribute_p here.
|
|
736 (cp_parser_decl_specifier_seq): Likewise. Store C++11 attributes
|
|
737 that appears in in decl specifiers in cp_decl_specifier_seq::std_attributes.
|
|
738 declaration. Emit proper warning about misplaced c++11 attributes
|
|
739 for class type.
|
|
740 (cp_parser_explicit_instantiation): Adjust call to check_tag_decl.
|
|
741 (cp_parser_init_declarator): Parsing attributes here is no more a
|
|
742 GNU extension in c++-11.
|
|
743 (cp_parser_type_specifier_seq): Use
|
|
744 cp_next_tokens_can_be_attribute_p.
|
|
745 (cp_parser_direct_declarator): Likewise. Hang c++11 attributes
|
|
746 following the declarator to its syntactic construct. It'll later
|
|
747 be applied to the proper appertaining entity by grokdeclarator.
|
|
748 (cp_parser_ptr_operator): Likewise.
|
|
749 (make_declarator): Initialize cp_declarator::std_attribute.
|
|
750 (make_pointer_declarator, make_reference_declarator)
|
|
751 (make_ptrmem_declarator, cp_parser_make_indirect_declarator): Take
|
|
752 attributes that appertain to the pointer/reference in argument.
|
|
753 (cp_parser_ptr_operator): Take an out parameter for c++11
|
|
754 attributes. Update comments.
|
|
755 (cp_parser_new_declarator_opt)
|
|
756 (cp_parser_conversion_declarator_opt): Adjust.
|
|
757 (cp_parser_declarator): Likewise. Handle C++11 attributes.
|
|
758 Rename attributes to gnu_attribute for better legibility.
|
|
759 (cp_parser_simple_declaration): Update comment.
|
|
760 (cp_parser_class_specifier_1): Parse GNU attributes specifically
|
|
761 (cp_parser_enum_specifier): Accept only gnu attributes after the
|
|
762 specifier.
|
|
763 (cp_parser_member_declaration): Don't clear attributes -- intended
|
|
764 for the entity being declared -- too early because check_tag_decl
|
|
765 needs them.
|
|
766 (cp_parser_statement): Update comment. Parse optional c++11
|
|
767 attributes at the beginning of the relevant kind of statements and
|
|
768 ignore them, for now, unless when calling
|
|
769 cp_parser_label_for_labeled_statement.
|
|
770 (cp_parser_label_for_labeled_statement): Take c++11 attributes
|
|
771 in parameter.
|
|
772 * semantics.c (potential_constant_expression_1): Likewise.
|
|
773 * typeck.c (fundamental_alignment_p, cxx_alignas_expr): New public
|
|
774 functions.
|
|
775
|
|
776 2012-10-07 Paolo Carlini <paolo.carlini@oracle.com>
|
|
777
|
|
778 * pt.c (fold_non_dependent_expr_sfinae): Remove static specifier.
|
|
779 (tsubst_copy_and_build): Use get_target_expr_sfinae.
|
|
780 * call.c (build_conditional_expr_1, convert_like_real): Likewise.
|
|
781 * cvt.c (build_up_reference): Likewise.
|
|
782 (ocp_convert): Use abstract_virtuals_error_sfinae.
|
|
783 (build_up_reference): Propagate complain to cp_build_addr_expr.
|
|
784 * decl.c (compute_array_index_type): Use fold_non_dependent_expr_sfinae.
|
|
785 * cp-tree.h: Update declarations.
|
|
786
|
|
787 * cvt.c (build_expr_type_conversion): Tidy.
|
|
788
|
|
789 * tree.c (stabilize_aggr_init): Change to static.
|
|
790
|
|
791 2012-10-07 Paolo Carlini <paolo.carlini@oracle.com>
|
|
792
|
|
793 PR c++/51422
|
|
794 * semantics.c (is_normal_capture_proxy): Return true for
|
|
795 error_mark_node as DECL_VALUE_EXPR.
|
|
796
|
|
797 2012-10-05 Jakub Jelinek <jakub@redhat.com>
|
|
798
|
|
799 * cp-tree.h (SIZEOF_EXPR_TYPE_P): Define.
|
|
800 * tree.c (cp_tree_equal): Handle SIZEOF_EXPR with
|
|
801 SIZEOF_EXPR_TYPE_P.
|
|
802 * mangle.c (write_expression): Likewise.
|
|
803 * cxx-pretty-print.c (pp_cxx_unary_expression): Likewise.
|
|
804 * error.c (dump_expr): Likewise.
|
|
805 * parser.c (cp_parser_unary_expression): For sizeof call
|
|
806 cxx_sizeof_or_alignof_{type,expr} just for diagnostics and
|
|
807 return SIZEOF_EXPR with the operand.
|
|
808 * pt.c (tsubst_copy, tsubst_copy_and_build): For SIZEOF_EXPR,
|
|
809 call cxx_sizeof_or_alignof_{type,expr} for diagnostics, but
|
|
810 return SIZEOF_EXPR with tsubsted operand.
|
|
811 (value_dependent_expression_p): Handle SIZEOF_EXPR with
|
|
812 SIZEOF_EXPR_TYPE_P.
|
|
813 (instantiation_dependent_r): Likewise.
|
|
814 * call.c (null_ptr_cst_p): Call maybe_constant_value for C++98.
|
|
815 * semantics.c (finish_call_expr): Call
|
|
816 sizeof_pointer_memaccess_warning if needed.
|
|
817 (cxx_eval_constant_expression): Handle SIZEOF_EXPR.
|
|
818 (potential_constant_expression_1): Remove early exit for
|
|
819 C++98. Handle PROPERTY_REF.
|
|
820 * decl.c (duplicate_decls): When redeclaring a builtin function,
|
|
821 keep the merged decl builtin also if newdecl is a gnu_inline
|
|
822 inline definition.
|
|
823 (fold_sizeof_expr_r): New function.
|
|
824 (compute_array_index_type): Fold SIZEOF_EXPRs in itype.
|
|
825 * cp-gimplify.c (cp_genericize_r): Fold SIZEOF_EXPR.
|
|
826 * typeck.c (cp_build_binary_op): For warn_for_sign_compare
|
|
827 try harder using maybe_constant_value to get INTEGER_CSTs.
|
|
828
|
|
829 * decl.c (stabilize_vla_size): Call pointer_set_destroy
|
|
830 at the end.
|
|
831
|
|
832 2012-10-04 Arnaud Charlet <charlet@adacore.com>
|
|
833
|
|
834 * decl2.c (cp_write_global_declarations): Fix handling of
|
|
835 -fdump-ada-spec*.
|
|
836
|
|
837 2012-10-03 Jakub Jelinek <jakub@redhat.com>
|
|
838
|
|
839 PR c++/54777
|
|
840 * semantics.c (cxx_eval_constant_expression) <case COMPOUND_EXPR>: If
|
|
841 not ignoring the second operand, pass the original second operand
|
|
842 and not one with stripped nops to cxx_eval_constant_expression.
|
|
843
|
|
844 2012-10-01 Jason Merrill <jason@redhat.com>
|
|
845
|
|
846 * decl.c (check_initializer): Set DECL_NONTRIVIALLY_INITIALIZED_P
|
|
847 for a constructor call.
|
|
848 (decl_jump_unsafe): So don't bother checking
|
|
849 type_has_nontrivial_default_init.
|
|
850 * call.c (set_up_extended_ref_temp): Set
|
|
851 DECL_NONTRIVIALLY_INITIALIZED_P.
|
|
852
|
|
853 * cp-tree.h (TYPE_FUNCTION_OR_TEMPLATE_DECL_CHECK): New.
|
|
854 (DECL_FRIEND_P, DECL_ANTICIPATED): Use it.
|
|
855 (TYPE_FUNCTION_OR_TEMPLATE_DECL_P): New.
|
|
856 * name-lookup.c (hidden_name_p): Use it.
|
|
857
|
|
858 * cp-tree.h (DECL_PRETTY_FUNCTION_P): Just look at the name.
|
|
859 * decl.c (cp_make_fname_decl): Adjust.
|
|
860
|
|
861 2012-09-30 Sharad Singhai <singhai@google.com>
|
|
862
|
|
863 * decl2.c (cp_write_global_declarations): Use a different method
|
|
864 to determine if the dump has ben initialized.
|
|
865
|
|
866 2012-09-29 Paolo Carlini <paolo.carlini@oracle.com>
|
|
867
|
|
868 PR c++/54738
|
|
869 * decl2.c (build_offset_ref_call_from_tree): Add tsubst_flags_t
|
|
870 parameter.
|
|
871 * pt.c (tsubst_copy_and_build): Adjust.
|
|
872 * parser.c (cp_parser_postfix_expression): Likewise.
|
|
873 * cp-tree.h: Adjust declaration.
|
|
874
|
|
875 2012-09-28 Dodji Seketeli <dodji@redhat.com>
|
|
876
|
|
877 PR c++/54372 - unused attribute inactive on dependant entities
|
|
878 * decl2.c (is_late_template_attribute): "unused" attribute is to
|
|
879 be applied at compile time.
|
|
880
|
|
881 2012-09-25 Dodji Seketeli <dodji@redhat.com>
|
|
882
|
|
883 PR c++/29028 - Missed unused warning on using declaration
|
|
884 * decl.c (poplevel<warn_unused*>): Do not forget that some local
|
|
885 bindings are represented by a TREE_LIST.
|
|
886
|
|
887 2012-09-25 Dodji Seketeli <dodji@redhat.com>
|
|
888
|
|
889 PR c++/53551 - -Wunused-local-typedefs misses uses
|
|
890 * decl.c (make_typename_type): Record the use of typedefs.
|
|
891
|
|
892 2012-09-27 Jakub Jelinek <jakub@redhat.com>
|
|
893
|
|
894 * init.c (build_new_1): Don't test TREE_CONSTANT
|
|
895 of INTEGER_CST.
|
|
896
|
|
897 2012-09-25 Paolo Carlini <paolo.carlini@oracle.com>
|
|
898
|
|
899 PR c++/54526
|
|
900 * parser.c (cp_parser_template_id): In C++11 mode simply accept
|
|
901 X<::A>.
|
|
902
|
|
903 2012-09-25 Zhenqiang Chen <zhenqiang.chen@linaro.org>
|
|
904
|
|
905 PR c++/50970
|
|
906 * typeck.c (cp_build_binary_op): Check side effects before generating
|
|
907 pfn and delta related expressions.
|
|
908
|
|
909 2012-09-24 Lawrence Crowl <crowl@google.com>
|
|
910
|
|
911 * init.c (build_new_1): Change to new double_int API.
|
|
912 * decl.c (build_enumerator): Likewise.
|
|
913 * typeck2.c (process_init_constructor_array): Likewise.
|
|
914 * mangle.c (write_array_type): Likewise.
|
|
915
|
|
916 2012-09-24 Paolo Carlini <paolo.carlini@oracle.com>
|
|
917
|
|
918 PR c++/50828
|
|
919 * error.c (dump_function_decl): Strip TFF_TEMPLATE_NAME from flags
|
|
920 at the outset.
|
|
921
|
|
922 2012-09-24 Jason Merrill <jason@redhat.com>
|
|
923
|
|
924 * decl.c (get_atexit_node): Remove dead code.
|
|
925
|
|
926 * Make-lang.in (cp/parser.o): Depend on decl.h.
|
|
927
|
|
928 2012-09-20 Paolo Carlini <paolo.carlini@oracle.com>
|
|
929
|
|
930 PR c++/52432
|
|
931 * pt.c (tsubst_copy_and_build): If tf_error is not set in the complain
|
|
932 argument don't call unqualified_name_lookup_error.
|
|
933
|
|
934 2012-09-19 Marc Glisse <marc.glisse@inria.fr>
|
|
935
|
|
936 PR c++/54581
|
|
937 * semantics.c (finish_decltype_type): Make vectors not opaque.
|
|
938
|
|
939 2012-09-17 Jason Merrill <jason@redhat.com>
|
|
940
|
|
941 PR c++/54575
|
|
942 * pt.c (instantiate_alias_template): New.
|
|
943 (tsubst): Use it.
|
|
944 (push_access_scope): Allow TYPE_DECL.
|
|
945
|
|
946 2012-09-14 Jason Merrill <jason@redhat.com>
|
|
947
|
|
948 PR c++/53661
|
|
949 * typeck2.c (check_narrowing): Avoid false positives on conversion
|
|
950 from enumeral type.
|
|
951
|
|
952 2012-09-14 Marc Glisse <marc.glisse@inria.fr>
|
|
953
|
|
954 PR c++/54427
|
|
955 * typeck.c (cp_build_binary_op) [LSHIFT_EXPR, RSHIFT_EXPR, EQ_EXPR,
|
|
956 NE_EXPR, LE_EXPR, GE_EXPR, LT_EXPR, GT_EXPR]: Handle VECTOR_TYPE.
|
|
957
|
|
958 2012-09-14 Paolo Carlini <paolo.carlini@oracle.com>
|
|
959
|
|
960 * decl.c (make_typename_type): Only error out if tf_error is set
|
|
961 in complain.
|
|
962
|
|
963 2012-09-13 Paolo Carlini <paolo.carlini@oracle.com>
|
|
964 Manuel López-Ibåñez <manu@gcc.gnu.org>
|
|
965
|
|
966 PR c++/53210
|
|
967 * init.c (perform_member_init): Use OPT_Winit_self instead of
|
|
968 OPT_Wuninitialized.
|
|
969
|
|
970 2012-09-13 Paolo Carlini <paolo.carlini@oracle.com>
|
|
971
|
|
972 * typeck.c (build_indirect_ref, build_function_call,
|
|
973 build_function_call_vec, build_binary_op, build_unary_op,
|
|
974 build_compound_expr, build_c_cast, build_modify_expr): Remove
|
|
975 uses of ATTRIBUTE_UNUSED on the parameters.
|
|
976 * class.c (set_linkage_according_to_type, resort_type_method_vec,
|
|
977 dfs_find_final_overrider_post, empty_base_at_nonzero_offset_p):
|
|
978 Likewise.
|
|
979 * decl.c (local_variable_p_walkfn): Likewise.
|
|
980 * except.c (wrap_cleanups_r, check_noexcept_r): Likewise.
|
|
981 * error.c (find_typenames_r): Likewise.
|
|
982 * tree.c (verify_stmt_tree_r, bot_replace,
|
|
983 handle_java_interface_attribute, handle_com_interface_attribute,
|
|
984 handle_init_priority_attribute, c_register_addr_space): Likewise.
|
|
985 * cp-gimplify.c (cxx_omp_clause_default_ctor): Likewise.
|
|
986 * cp-lang.c (objcp_tsubst_copy_and_build): Likewise.
|
|
987 * pt.c (unify_success, unify_invalid, instantiation_dependent_r):
|
|
988 Likewise.
|
|
989 * semantics.c (dfs_calculate_bases_pre): Likewise.
|
|
990 * decl2.c (fix_temporary_vars_context_r, clear_decl_external):
|
|
991 Likewise.
|
|
992 * parser.c (cp_lexer_token_at, cp_parser_omp_clause_mergeable,
|
|
993 cp_parser_omp_clause_nowait, cp_parser_omp_clause_ordered,
|
|
994 cp_parser_omp_clause_untied): Likewise.
|
|
995 * mangle.c (write_unnamed_type_name,
|
|
996 discriminator_for_string_literal): Likewise.
|
|
997 * search.c (dfs_accessible_post, dfs_debug_mark): Likewise.
|
|
998 * lex.c (handle_pragma_vtable, handle_pragma_unit,
|
|
999 handle_pragma_interface, handle_pragma_implementation,
|
|
1000 handle_pragma_java_exceptions): Likewise.
|
|
1001
|
|
1002 2012-09-13 Jason Merrill <jason@redhat.com>
|
|
1003
|
|
1004 PR c++/53839
|
|
1005 * semantics.c (cxx_eval_indirect_ref): If we aren't looking for an
|
|
1006 address, make sure the value is constant.
|
|
1007
|
|
1008 PR c++/54511
|
|
1009 * pt.c (tsubst_decl) [VAR_DECL]: Handle DECL_ANON_UNION_VAR_P.
|
|
1010
|
|
1011 PR c++/53836
|
|
1012 * pt.c (value_dependent_expression_p): A TREE_LIST initializer must
|
|
1013 be dependent.
|
|
1014
|
|
1015 2012-09-10 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1016
|
|
1017 PR c++/54541
|
|
1018 PR c++/54542
|
|
1019 * call.c (build_cxx_call): Add tsubst_flags_t parameter, use
|
|
1020 require_complete_type_sfinae.
|
|
1021 (build_op_delete_call, build_over_call): Adjust.
|
|
1022 * typeck.c (build_x_compound_expr_from_vec): Add tsubst_flags_t
|
|
1023 parameter.
|
|
1024 (cp_build_function_call_vec): Adjust.
|
|
1025 * init.c (build_new_1): Likewise.
|
|
1026 * rtti.c (throw_bad_cast, throw_bad_typeid, build_dynamic_cast_1):
|
|
1027 Likewise.
|
|
1028 * optimize.c (build_delete_destructor_body): Likewise.
|
|
1029 * cp-tree.h: Adjust declarations.
|
|
1030
|
|
1031 * call.c (convert_arg_to_ellipsis): Use require_complete_type_sfinae.
|
|
1032
|
|
1033 2012-09-10 Jason Merrill <jason@redhat.com>
|
|
1034
|
|
1035 PR c++/54538
|
|
1036 PR c++/53783
|
|
1037 * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Go back to using RECUR
|
|
1038 for LAMBDA_EXPR_EXTRA_SCOPE except for function scope.
|
|
1039
|
|
1040 PR c++/54506
|
|
1041 * decl.c (move_signature_fn_p): Split out from move_fn_p.
|
|
1042 * method.c (process_subob_fn): Use it.
|
|
1043 * cp-tree.h: Declare it.
|
|
1044
|
|
1045 2012-09-07 Jason Merrill <jason@redhat.com>
|
|
1046
|
|
1047 * semantics.c (sort_constexpr_mem_initializers): Tweak.
|
|
1048
|
|
1049 2012-09-09 Mark Kettenis <kettenis@openbsd.org>
|
|
1050
|
|
1051 * decl.c (reshape_init_class): Avoid dereferencing a
|
|
1052 past-the-end pointer.
|
|
1053
|
|
1054 2012-09-07 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1055
|
|
1056 * pt.c (num_template_headers_for_class): Rework per the code
|
|
1057 inline in cp_parser_check_declarator_template_parameters.
|
|
1058 * parser.c (cp_parser_check_declarator_template_parameters):
|
|
1059 Use num_template_headers_for_class.
|
|
1060
|
|
1061 2012-09-06 Jason Merrill <jason@redhat.com>
|
|
1062
|
|
1063 PR c++/54341
|
|
1064 PR c++/54253
|
|
1065 * semantics.c (sort_constexpr_mem_initializers): New.
|
|
1066 (build_constexpr_constructor_member_initializers): Use it.
|
|
1067 (cx_check_missing_mem_inits): Skip artificial fields.
|
|
1068 * init.c (expand_aggr_init_1): Don't zero out a class
|
|
1069 with no data.
|
|
1070
|
|
1071 2012-09-05 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1072
|
|
1073 PR c++/54191
|
|
1074 * search.c (lookup_base): Add tsubst_flags_t parameter.
|
|
1075 (adjust_result_of_qualified_name_lookup, check_final_overrider):
|
|
1076 Adjust.
|
|
1077 * name-lookup.c (do_class_using_decl): Adjust.
|
|
1078 * typeck2.c (binfo_or_else, build_scoped_ref, build_m_component_ref):
|
|
1079 Likewise.
|
|
1080 * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
|
|
1081 build_up_reference): Likewise.
|
|
1082 * rtti.c (build_dynamic_cast_1): Likewise.
|
|
1083 * tree.c (maybe_dummy_object): Likewise.
|
|
1084 * call.c (build_conditional_expr_1, build_over_call): Likewise.
|
|
1085 * cp-tree.h (UNIQUELY_DERIVED_FROM_P, PUBLICLY_UNIQUELY_DERIVED_P):
|
|
1086 Remove.
|
|
1087 (enum base_access_flags, ba_quiet): Remove.
|
|
1088 (uniquely_derived_from_p, publicly_uniquely_derived_p): Declare.
|
|
1089 * except.c (can_convert_eh): Adjust.
|
|
1090 * decl.c (grokdeclarator): Likewise.
|
|
1091 * typeck.c (comp_except_types, build_class_member_access_expr,
|
|
1092 finish_class_member_access_expr, get_member_function_from_ptrfunc,
|
|
1093 build_static_cast_1, get_delta_difference_1): Likewise.
|
|
1094 * class.c (build_base_path, convert_to_base, build_vtbl_ref_1,
|
|
1095 warn_about_ambiguous_bases): Likewise.
|
|
1096 (uniquely_derived_from_p, publicly_uniquely_derived_p): Define.
|
|
1097
|
|
1098 2012-09-04 Jason Merrill <jason@redhat.com>
|
|
1099
|
|
1100 PR c++/54441
|
|
1101 * decl.c (reshape_init_class): Handle invalid initializer for
|
|
1102 0-length array member.
|
|
1103
|
|
1104 * error.c (dump_type_suffix): Correct handling of 0-length arrays.
|
|
1105
|
|
1106 PR c++/54420
|
|
1107 * cp-tree.h (LAMBDANAME_P): Remove.
|
|
1108 (LAMBDA_TYPE_P): Check CLASSTYPE_LAMBDA_EXPR instead.
|
|
1109 * cp-lang.c (cxx_dwarf_name): Likewise.
|
|
1110 * error.c (dump_aggr_type): Likewise.
|
|
1111 * semantics.c (begin_lambda_type): Set CLASSTYPE_LAMBDA_EXPR sooner.
|
|
1112
|
|
1113 PR c++/54198
|
|
1114 * decl.c (check_default_argument): Set cp_unevaluated_operand
|
|
1115 around call to perform_implicit_conversion_flags.
|
|
1116
|
|
1117 PR c++/54437
|
|
1118 PR c++/51213
|
|
1119 * pt.c (fn_type_unification): Call coerce_template_parms before
|
|
1120 entering substitution context.
|
|
1121
|
|
1122 2012-08-31 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1123 Jason Merrill <jason@redhat.com>
|
|
1124
|
|
1125 PR c++/18747
|
|
1126 * pt.c (check_template_variable): New.
|
|
1127 (num_template_headers_for_class): Split out...
|
|
1128 * decl.c (grokdeclarator): ...from here.
|
|
1129 (start_decl): Remove redundant diagnostic.
|
|
1130 * cp-tree.h: Declare them
|
|
1131 * parser.c (cp_parser_single_declaration): Call check_template_variable.
|
|
1132
|
|
1133 2012-08-31 Ollie Wild <aaw@google.com>
|
|
1134
|
|
1135 PR c++/54197
|
|
1136 * call.c (extend_ref_init_temps_1): Handle COMPOUND_EXPR trees.
|
|
1137
|
|
1138 2012-08-30 Jason Merrill <jason@redhat.com>
|
|
1139
|
|
1140 PR c++/50545
|
|
1141 PR c++/51222
|
|
1142 * pt.c (instantiation_dependent_r): New.
|
|
1143 (instantiation_dependent_expression_p): New.
|
|
1144 (value_dependent_expression_p): Use it. SCOPE_REF is always dependent.
|
|
1145 * semantics.c (finish_decltype_type): Use it.
|
|
1146 * cp-tree.h: Declare it.
|
|
1147
|
|
1148 * semantics.c (finish_qualified_id_expr): Handle building up a
|
|
1149 non-dependent SCOPE_REF here.
|
|
1150 (finish_id_expression): Not here.
|
|
1151 * error.c (dump_decl) [SCOPE_REF]: Only pass TFF_UNQUALIFIED_NAME.
|
|
1152
|
|
1153 * friend.c (make_friend_class): Handle template template parameters.
|
|
1154 * parser.c (cp_parser_template_declaration_after_export): Likewise.
|
|
1155 * pt.c (tsubst_friend_class): Likewise.
|
|
1156 (instantiate_class_template_1): Likewise
|
|
1157 * decl.c (check_elaborated_type_specifier): Likewise.
|
|
1158 (lookup_and_check_tag): Likewise.
|
|
1159
|
|
1160 * pt.c (get_class_bindings): Call coerce_template_parms. Add
|
|
1161 main_tmpl parameter.
|
|
1162 (more_specialized_class): Add main_tmpl parameter.
|
|
1163 (most_specialized_class): Adjust calls.
|
|
1164
|
|
1165 * decl.c (cp_finish_decl): Check for invalid multiple initializers
|
|
1166 even if the initializer is dependent.
|
|
1167
|
|
1168 * pt.c (instantiate_template_1): Keep processing_template_decl set
|
|
1169 if there are dependent args.
|
|
1170
|
|
1171 2012-08-25 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1172
|
|
1173 PR c++/51421
|
|
1174 * decl2.c (mark_used): Consistently return false after errors
|
|
1175 about uses before deduction of auto.
|
|
1176 * semantics.c (finish_id_expression): Check mark_used return
|
|
1177 value and return error_mark_node in case of failure.
|
|
1178
|
|
1179 2012-08-24 Jason Merrill <jason@redhat.com>
|
|
1180
|
|
1181 PR c++/51213 (again)
|
|
1182 * pt.c (deduction_tsubst_fntype): Remove.
|
|
1183 (fn_type_unification): Check deduction depth and call
|
|
1184 instantiate_template here. Handle default argument access checks.
|
|
1185 (determine_specialization): Suppress access control.
|
|
1186 (tsubst_decl): Check for excessive deduction depth.
|
|
1187 (recheck_decl_substitution): Make sure access control is on.
|
|
1188 (type_unification_real): Don't mess with access deferring here.
|
|
1189 (get_bindings): Adjust for fn_type_unification return type.
|
|
1190 * call.c (enum rejection_reason_code): Drop rr_template_instantiation.
|
|
1191 (template_instantiation_rejection): Remove.
|
|
1192 (struct rejection_reason): Change targs to num_targs.
|
|
1193 (template_unification_rejection, print_z_candidate): Adjust.
|
|
1194 (add_template_candidate_real): Adjust for fn_type_unification change.
|
|
1195 * class.c (resolve_address_of_overloaded_function): Likewise.
|
|
1196 * cp-tree.h: Adjust declaration.
|
|
1197
|
|
1198 * pt.c (tsubst_default_argument): Indicate where the default
|
|
1199 argument is being instantiated for.
|
|
1200 (tsubst_expr): Restore previous location.
|
|
1201 (tsubst_copy_and_build): Set and restore location.
|
|
1202 * call.c (build_new_method_call_1): Remember location of call.
|
|
1203 * semantics.c (finish_call_expr): Here too.
|
|
1204 * parser.c (cp_parser_omp_for_loop): Remember the location of the
|
|
1205 increment expression.
|
|
1206
|
|
1207 * pt.c (resolve_overloaded_unification): Use coerce_template_parms
|
|
1208 instead of get_bindings.
|
|
1209 (resolve_nondeduced_context): Likewise.
|
|
1210
|
|
1211 * pt.c (register_specialization): Correct argument to
|
|
1212 check_specialization_namespace.
|
|
1213 (determine_specialization): Don't consider members of
|
|
1214 unspecialized types.
|
|
1215
|
|
1216 2012-08-23 Jason Merrill <jason@redhat.com>
|
|
1217
|
|
1218 * decl.c (compute_array_index_type): Use type_dependent_expression_p.
|
|
1219
|
|
1220 2012-08-23 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1221
|
|
1222 PR c++/20420
|
|
1223 * name-lookup.c (supplement_binding_1): Handle specially enums
|
|
1224 only in class templates.
|
|
1225 (validate_nonmember_using_decl): Enforce 7.3.3/10 about duplicate
|
|
1226 using declarations at function scope.
|
|
1227
|
|
1228 2012-08-21 Richard Guenther <rguenther@suse.de>
|
|
1229
|
|
1230 * cp-tree.h (TREE_INDIRECT_USING): Use TREE_LANG_FLAG_0 accessor.
|
|
1231 (ATTR_IS_DEPENDENT): Likewise.
|
|
1232 (ARGUMENT_PACK_INCOMPLETE_P): Use TREE_ADDRESSABLE instead of
|
|
1233 TREE_LANG_FLAG_0 on TREE_VECs.
|
|
1234
|
|
1235 2012-08-20 Florian Weimer <fweimer@redhat.com>
|
|
1236
|
|
1237 PR c++/19351
|
|
1238 * call.c (build_operator_new_call): Add size_check argument and
|
|
1239 evaluate it.
|
|
1240 * cp-tree.h (build_operator_new_call): Adjust declaration.
|
|
1241 * init.c (build_new_1): Compute array size check and apply it.
|
|
1242
|
|
1243 2012-08-20 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1244
|
|
1245 PR c++/10416
|
|
1246 * decl.c (poplevel): Check TYPE_HAS_NONTRIVIAL_DESTRUCTOR for
|
|
1247 Wunused_variable too.
|
|
1248
|
|
1249 2012-08-20 Diego Novillo <dnovillo@google.com>
|
|
1250
|
|
1251 * decl.c (poplevel): Start TV_NAME_LOOKUP conditionally.
|
|
1252
|
|
1253 2012-08-20 Richard Guenther <rguenther@suse.de>
|
|
1254
|
|
1255 * name-lookup.c (store_binding_p): New predicate, split out from ...
|
|
1256 (store_binding): ... here. Always store binding and require
|
|
1257 target vector with enough space.
|
|
1258 (store_bindings): Collect to store bindings and reserve space
|
|
1259 for them, then store them.
|
|
1260 (store_class_bindings): Likewise.
|
|
1261
|
|
1262 2012-08-19 Mikael Morin <mikael@gcc.gnu.org>
|
|
1263
|
|
1264 * Make-lang.in: Fix typo.
|
|
1265
|
|
1266 2012-08-17 Jakub Jelinek <jakub@redhat.com>
|
|
1267
|
|
1268 * cp-tree.def (SIZEOF_EXPR): Move to c-common.def.
|
|
1269
|
|
1270 2012-08-14 Diego Novillo <dnovillo@google.com>
|
|
1271
|
|
1272 Merge from cxx-conversion branch. Re-write VEC in C++.
|
|
1273
|
|
1274 * call.c (add_function_candidate): Remove const qualifier
|
|
1275 from call to VEC_index.
|
|
1276
|
|
1277 2012-08-10 Richard Guenther <rguenther@suse.de>
|
|
1278
|
|
1279 * error.c (dump_expr): Handle anonymous SSA names.
|
|
1280
|
|
1281 2012-08-07 Steven Bosscher <steven@gcc.gnu.org>
|
|
1282
|
|
1283 * error.c (print_instantiation_context): Pretty-print a newline before
|
|
1284 diagnostic_flush_buffer.
|
|
1285 * cxx-pretty-print.c (pp_cxx_function_definition): Use
|
|
1286 pp_newline_and_flush instead of separate pp_newline and pp_flush.
|
|
1287
|
|
1288 2012-08-06 Dodji Seketeli <dodji@redhat.com>
|
|
1289
|
|
1290 Avoid crashing on erroneous static_assert usage
|
|
1291 * semantics.c (finish_static_assert): Don't crash on erroneous
|
|
1292 message or condition.
|
|
1293
|
|
1294 2012-08-06 Marc Glisse <marc.glisse@inria.fr>
|
|
1295 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1296
|
|
1297 PR c++/54165
|
|
1298 * typeck.c (build_static_cast_1): Move the conversion to void case
|
|
1299 before the perform_direct_initialization_if_possible call.
|
|
1300
|
|
1301 2012-08-03 Marc Glisse <marc.glisse@inria.fr>
|
|
1302
|
|
1303 * pt.c (tsubst_copy_and_build): Handle VECTOR_TYPE like scalars.
|
|
1304 * cp-tree.h (scalarish_type_p): Declare.
|
|
1305 * tree.c (scalarish_type_p): Make non-static.
|
|
1306
|
|
1307 2012-08-02 Jason Merrill <jason@redhat.com>
|
|
1308 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1309
|
|
1310 PR c++/51213 (again)
|
|
1311 * pt.c (type_unification_real): Call push_deferring_access_checks /
|
|
1312 pop_deferring_access_checks around the substitution of default
|
|
1313 template args.
|
|
1314 (instantiate_template_1): When the specialization returned by
|
|
1315 retrieve_specialization has FNDECL_HAS_ACCESS_ERRORS set and we
|
|
1316 are in a SFINAE context, simply return error_mark_node.
|
|
1317 * cp-tree.h (FNDECL_RECHECK_ACCESS_P): Rename FNDECL_HAS_ACCESS_ERRORS.
|
|
1318
|
|
1319 2012-07-31 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1320
|
|
1321 * pt.c (check_default_tmpl_args): Change is_primary and is_partial
|
|
1322 parameters to bool type, adjust.
|
|
1323 (push_template_decl_real): Tidy.
|
|
1324 * parser.c (cp_parser_init_declarator): Adjust.
|
|
1325 * decl.c (redeclaration_error_message): Likewise.
|
|
1326 * cp-tree.h (check_default_tmpl_args): Update prototype.
|
|
1327
|
|
1328 2012-07-31 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1329
|
|
1330 PR c++/53624
|
|
1331 * pt.c (check_default_tmpl_args): Don't check local types.
|
|
1332
|
|
1333 2012-07-25 Sandra Loosemore <sandra@codesourcery.com>
|
|
1334 Paul Brook <paul@codesourcery.com>
|
|
1335
|
|
1336 PR target/53633
|
|
1337 * decl.c (finish_function): Check targetm.warn_func_return.
|
|
1338
|
|
1339 2012-07-25 Jason Merrill <jason@redhat.com>
|
|
1340
|
|
1341 PR c++/54086
|
|
1342 * decl.c (grokdeclarator): Allow const and constexpr together.
|
|
1343
|
|
1344 PR c++/54020
|
|
1345 * semantics.c (potential_constant_expression_1) [COND_EXPR]: Call
|
|
1346 maybe_constant_value.
|
|
1347
|
|
1348 * cp-tree.h (tsubst_flags): Remove tf_no_access_control.
|
|
1349 * call.c (standard_conversion): Don't set it.
|
|
1350 * class.c (resolve_address_of_overloaded_function): Don't check it.
|
|
1351 * decl.c (check_default_argument): Call
|
|
1352 perform_implicit_conversion_flags.
|
|
1353
|
|
1354 * pt.c (print_candidates_1): Use inform instead of error.
|
|
1355
|
|
1356 2012-07-24 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1357
|
|
1358 * pt.c (convert_template_argument, tsubst): Simplify fourth argument
|
|
1359 to make_typename_type (complain & tf_error -> complain).
|
|
1360
|
|
1361 2012-07-24 Steven Bosscher <steven@gcc.gnu.org>
|
|
1362
|
|
1363 * class.c (n_vtables, n_vtable_entries, n_vtable_searches,
|
|
1364 n_vtable_elems, n_convert_harshness, n_compute_conversion_costs,
|
|
1365 n_inner_fields_searched): Always define.
|
|
1366 (build_primary_vtable): Convert #ifdef GATHER_STATISTICS to if-code.
|
|
1367 (print_class_statistics): Convert #ifdef GATHER_STATISTICS to if-code.
|
|
1368 * tree.c (depth_reached): Always define global.
|
|
1369 (cxx_print_statistics): Convert #ifdef GATHER_STATISTICS to if-code.
|
|
1370 * pt.c (depth_reached): Always define.
|
|
1371 (push_tinst_level): Convert #ifdef GATHER_STATISTICS to if-code.
|
|
1372 * search.c (n_fields_searched, n_calls_lookup_field,
|
|
1373 n_calls_lookup_field_1, n_calls_lookup_fnfields,
|
|
1374 n_calls_lookup_fnfields_1, n_calls_get_base_type,
|
|
1375 n_outer_fields_searched, n_contexts_saved): Always define.
|
|
1376 (lookup_field_1): Convert #ifdef GATHER_STATISTICS to if-code.
|
|
1377 (lookup_member): Likewise.
|
|
1378 (lookup_fnfields_idx_nolazy): Likewise.
|
|
1379 (print_search_statistics): Likewise.
|
|
1380 (reinit_search_statistics): Unconditionally re-set counters.
|
|
1381 * lex.c (retrofit_lang_decl): Convert #ifdef GATHER_STATISTICS
|
|
1382 to if-code.
|
|
1383 (cxx_dup_lang_specific_decl): Likewise.
|
|
1384 (copy_lang_type): Likewise.
|
|
1385 (cxx_make_type): Likewise.
|
|
1386
|
|
1387 2012-07-20 Jason Merrill <jason@redhat.com>
|
|
1388
|
|
1389 PR c++/54038
|
|
1390 * tree.c (build_cplus_array_type): Use build_cplus_array_type to build
|
|
1391 canonical array type rather than mess with its TYPE_*_VARIANT.
|
|
1392
|
|
1393 2012-07-19 Jason Merrill <jason@redhat.com>
|
|
1394
|
|
1395 PR c++/54026
|
|
1396 * typeck.c (cp_apply_type_quals_to_decl): Check COMPLETE_TYPE_P.
|
|
1397
|
|
1398 PR c++/54021
|
|
1399 * call.c (build_cxx_call): Set optimize when folding
|
|
1400 __builtin_constant_p in a constexpr function.
|
|
1401
|
|
1402 2012-07-18 Jason Merrill <jason@redhat.com>
|
|
1403
|
|
1404 * pt.c (instantiate_decl): Don't recheck substitutions.
|
|
1405
|
|
1406 2012-07-18 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1407 Jason Merrill <jason@redhat.com>
|
|
1408
|
|
1409 DR 1170
|
|
1410 PR c++/51213
|
|
1411 * semantics.c (perform_access_checks): Add complain parm, return bool.
|
|
1412 (perform_deferred_access_checks): Likewise.
|
|
1413 (perform_or_defer_access_check): Likewise.
|
|
1414 (speculative_access_check): Remove.
|
|
1415 * call.c (enforce_access): Add complain parm, return bool.
|
|
1416 * decl.c, friend.c, class.c, init.c, parser.c: Adjust callers.
|
|
1417 * search.c: Adjust callers.
|
|
1418 * cp-tree.h (TINFO_RECHECK_ACCESS_P): New macro.
|
|
1419 (FNDECL_RECHECK_ACCESS_P): New macro.
|
|
1420 * method.c (synthesized_method_walk): Stop deferring access checks.
|
|
1421 * pt.c (recheck_decl_substitution): New.
|
|
1422 (instantiate_template_1): Set and check FNDECL_RECHECK_ACCESS_P.
|
|
1423
|
|
1424 2012-07-18 Jason Merrill <jason@redhat.com>
|
|
1425
|
|
1426 * method.c (process_subob_fn): Make sure no_implicit_p is non-null
|
|
1427 before trying to store through it.
|
|
1428
|
|
1429 2012-07-17 Jason Merrill <jason@redhat.com>
|
|
1430
|
|
1431 PR c++/53995
|
|
1432 * decl.c (finish_enum_value_list): Only call
|
|
1433 insert_late_enum_def_into_classtype_sorted_fields in class scope.
|
|
1434
|
|
1435 PR c++/53989
|
|
1436 * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
|
|
1437 to the list of variants.
|
|
1438
|
|
1439 * decl.c (xref_basetypes): Complain about incomplete template base.
|
|
1440 * class.c (finish_struct): Adjust variants in templates, too.
|
|
1441
|
|
1442 PR c++/53549
|
|
1443 * parser.c (cp_parser_class_head): Call xref_basetypes here.
|
|
1444 (cp_parser_class_specifier_1): Not here.
|
|
1445 * pt.c (tsubst_decl) [USING_DECL]: Check uses_template_parms
|
|
1446 as well as DECL_DEPENDENT_P.
|
|
1447
|
|
1448 2012-07-16 Jason Merrill <jason@redhat.com>
|
|
1449
|
|
1450 * cp-tree.h (struct deferred_access_check): Add location.
|
|
1451 * semantics.c (perform_access_checks): Use it.
|
|
1452 (perform_or_defer_access_check): Store it.
|
|
1453
|
|
1454 2012-07-16 Steven Bosscher <steven@gcc.gnu.org>
|
|
1455
|
|
1456 * dump.c (dump_stmt): Moved here from c-dump.c.
|
|
1457 * optimize.c: Include dumpfile.h instead of tree-dump.h.
|
|
1458 * class.c: Likewise.
|
|
1459 * decl2.c: Likewise.
|
|
1460 * Make-lang.in: Fix dependencies.
|
|
1461
|
|
1462 2012-07-13 Jason Merrill <jason@redhat.com>
|
|
1463
|
|
1464 PR c++/53953
|
|
1465 * method.c (synthesized_method_walk): Initialize no_implicit_p sooner.
|
|
1466
|
|
1467 2012-07-12 Jason Merrill <jason@redhat.com>
|
|
1468
|
|
1469 * pt.c (instantiate_decl): Check typedefs access here.
|
|
1470 (instantiate_template_1): Not here.
|
|
1471
|
|
1472 * pt.c (deduction_tsubst_fntype): Just suppress access checking.
|
|
1473 (instantiate_template_1): Set DECL_TI_TEMPLATE before access checking.
|
|
1474 (push_deduction_access_scope, pop_deduction_access_scope): Remove.
|
|
1475
|
|
1476 2012-07-11 Jason Merrill <jason@redhat.com>
|
|
1477
|
|
1478 DR 1402
|
|
1479 * method.c (synthesized_method_walk): Replace uses of msg with diag.
|
|
1480 Correct handling of virtual bases with move operations.
|
|
1481 (process_subob_fn, walk_field_subobs): Replace uses of msg with diag.
|
|
1482
|
|
1483 2012-07-11 Steven Bosscher <steven@gcc.gnu.org>
|
|
1484
|
|
1485 * method.c: Do not include tree-pass.h.
|
|
1486
|
|
1487 2012-07-10 Jason Merrill <jason@redhat.com>
|
|
1488
|
|
1489 DR 1402
|
|
1490 PR c++/53733
|
|
1491 * cp-tree.h (FNDECL_SUPPRESS_IMPLICIT_DECL): New.
|
|
1492 (struct lang_decl_fn): Add suppress_implicit_decl field.
|
|
1493 * method.c (implicitly_declare_fn): Check it.
|
|
1494 (process_subob_fn): Add no_implicit_p parm.
|
|
1495 (walk_field_subobs, synthesized_method_walk): Likewise.
|
|
1496 (maybe_explain_implicit_delete): Adjust.
|
|
1497 (explain_implicit_non_constexpr): Adjust.
|
|
1498
|
|
1499 * method.c (synthesized_method_walk): Avoid changing
|
|
1500 EH spec based on cleanups in other places, too.
|
|
1501
|
|
1502 2012-07-09 Sterling Augustine <saugustine@google.com>
|
|
1503
|
|
1504 * error.c (lang_decl_name): Use TFF_UNQUALIFIED_NAME flag.
|
|
1505
|
|
1506 2012-07-08 Steven Bosscher <steven@gcc.gnu.org>
|
|
1507
|
|
1508 * decl.c (cp_finish_decl): Add FIXME at add_local_decl call site.
|
|
1509
|
|
1510 2012-07-06 Jason Merrill <jason@redhat.com>
|
|
1511
|
|
1512 PR c++/53862
|
|
1513 * pt.c (tsubst_arg_types): Add "end" parameter.
|
|
1514 (check_undeduced_parms): Use it.
|
|
1515
|
|
1516 * cp-tree.h (DECL_DECLARES_TYPE_P): Check DECL_TYPE_TEMPLATE_P.
|
|
1517
|
|
1518 PR c++/53858
|
|
1519 * name-lookup.c (ambiguous_decl): Use DECL_TYPE_TEMPLATE_P.
|
|
1520
|
|
1521 2012-07-05 Jason Merrill <jason@redhat.com>
|
|
1522
|
|
1523 PR c++/53039
|
|
1524 * pt.c (arg_from_parm_pack_p): Go back to using same_type_p or
|
|
1525 cp_tree_equal.
|
|
1526
|
|
1527 * cp-tree.h (TEMPLATE_PARM_NUM_SIBLINGS): Remove.
|
|
1528 (struct template_parm_index_s): Remove num_siblings.
|
|
1529 * pt.c (fixup_template_parms, fixup_template_parm_index): Remove.
|
|
1530 (fixup_template_type_parm_type): Remove.
|
|
1531 (build_template_parm_index): Remove num_siblings parm.
|
|
1532 (process_template_parm): Likewise.
|
|
1533 * parser.c (cp_parser_template_parameter_list): Adjust.
|
|
1534 * tree.c (cp_tree_equal): Don't compare num_siblings.
|
|
1535 * typeck.c (comp_template_parms_position): Likewise.
|
|
1536
|
|
1537 PR c++/50852
|
|
1538 PR c++/53039
|
|
1539 * tree.c (strip_typedefs_expr): New.
|
|
1540 * cp-tree.h: Declare it.
|
|
1541 * pt.c (convert_template_argument, unify): Use it.
|
|
1542 * parser.c (cp_parser_template_declaration_after_export): Don't call
|
|
1543 fixup_template_parms.
|
|
1544
|
|
1545 2012-07-04 Jason Merrill <jason@redhat.com>
|
|
1546
|
|
1547 PR c++/53848
|
|
1548 PR c++/53524
|
|
1549 * decl.c (build_enumerator): Don't use build_lang_decl_loc.
|
|
1550
|
|
1551 2012-07-03 Jakub Jelinek <jakub@redhat.com>
|
|
1552
|
|
1553 PR c++/53812
|
|
1554 * semantics.c (finish_goto_stmt): Surround computed goto argument
|
|
1555 with CLEANUP_POINT_EXPR if needed.
|
|
1556
|
|
1557 2012-07-02 Jason Merrill <jason@redhat.com>
|
|
1558
|
|
1559 PR c++/53619
|
|
1560 * pt.c (in_template_function): New.
|
|
1561 * cp-tree.h: Declare it.
|
|
1562 * class.c (build_base_path, resolves_to_fixed_type_p): Use it.
|
|
1563
|
|
1564 PR c++/53783
|
|
1565 * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Use tsubst
|
|
1566 for LAMBDA_EXPR_EXTRA_SCOPE.
|
|
1567
|
|
1568 PR c++/53788
|
|
1569 * pt.c (build_non_dependent_expr): Don't wrap a dummy object.
|
|
1570
|
|
1571 PR c++/53816
|
|
1572 * class.c (resolves_to_fixed_type_p): Check uses_template_parms
|
|
1573 (current_function_decl) instead of processing_template_decl.
|
|
1574
|
|
1575 PR c++/53821
|
|
1576 * semantics.c (maybe_add_lambda_conv_op): Don't set
|
|
1577 DECL_INTERFACE_KNOWN.
|
|
1578
|
|
1579 PR c++/53524
|
|
1580 * call.c (build_conditional_expr_1): Don't warn about comparison of
|
|
1581 two enumerators before their enumeration is complete.
|
|
1582 (build_new_op_1): Call decay_conversion before warn_logical_operator.
|
|
1583 * decl.c (build_enumerator): Set DECL_CONTEXT of an enumerator to
|
|
1584 its enumeration.
|
|
1585 * decl2.c (mark_used): Call used_types_insert for enums.
|
|
1586 * semantics.c (finish_id_expression): Don't decay CONST_DECL.
|
|
1587 (finish_member_declaration): Don't change DECL_CONTEXT of enumerators.
|
|
1588 * class.c (check_field_decls): Don't change DECL_CONTEXT of enums.
|
|
1589 * typeck.c (convert_for_assignment): Don't decay CONST_DECL.
|
|
1590 (build_class_member_access_expr): Look through unscoped enums.
|
|
1591 * search.c (context_for_name_lookup): Look through unscoped enums.
|
|
1592 * pt.c (tsubst_copy_and_build): Don't decay CONST_DECL.
|
|
1593 (tsubst_copy): Use DECL_CONTEXT to find the enumeration.
|
|
1594 * tree.c (decl_linkage): Likewise.
|
|
1595 * cvt.c (ocp_convert): Check decayed expr for enum range warning.
|
|
1596
|
|
1597 2012-06-29 Steven Bosscher <steven@gcc.gnu.org>
|
|
1598
|
|
1599 * Make-lang.in: Remove tree-mudflap.o from CXX_AND_OBJCXX_OBJS.
|
|
1600
|
|
1601 2012-06-27 Jason Merrill <jason@redhat.com>
|
|
1602
|
|
1603 * parser.c (cp_parser_check_for_invalid_template_id): tag_type parm.
|
|
1604 (cp_parser_simple_type_specifier, cp_parser_class_head): Adjust.
|
|
1605 (cp_parser_elaborated_type_specifier): Adjust.
|
|
1606 * decl.c (duplicate_decls): Return error_mark_node on template
|
|
1607 mismatch.
|
|
1608
|
|
1609 PR c++/53563
|
|
1610 * parser.c (cp_parser_template_id): Add tag_type parm.
|
|
1611 (cp_parser_template_name): Likewise.
|
|
1612 (cp_parser_id_expression, cp_parser_unqualified_id): Adjust.
|
|
1613 (cp_parser_pseudo_destructor_name, cp_parser_type_name): Adjust.
|
|
1614 (cp_parser_simple_type_specifier, cp_parser_class_name): Adjust.
|
|
1615 (cp_parser_elaborated_type_specifier, cp_parser_class_head): Adjust.
|
|
1616
|
|
1617 2012-06-27 Ramana Radhakrishnan <ramana.radhakrishnan@linaro.org>
|
|
1618
|
|
1619 PR C++/51033
|
|
1620 * semantics.c (constexpr_call): Fix typo in comment.
|
|
1621 (cxx_eval_vec_perm_expr): New.
|
|
1622 (cxx_eval_constant_expression): Fold VEC_PERM_EXPRs.
|
|
1623
|
|
1624 2012-06-26 Richard Guenther <rguenther@suse.de>
|
|
1625
|
|
1626 PR c++/53752
|
|
1627 * mangle.c (write_array_type): Truncate the number-of-elements
|
|
1628 result.
|
|
1629
|
|
1630 2012-06-25 Jason Merrill <jason@redhat.com>
|
|
1631
|
|
1632 PR c++/53498
|
|
1633 PR c++/53305
|
|
1634 * pt.c (tsubst_decl) [PARM_DECL]: Don't recurse into DECL_CHAIN
|
|
1635 if cp_unevaluated_operand is set.
|
|
1636 (tsubst_copy) [PARM_DECL]: Don't copy before tsubsting.
|
|
1637
|
|
1638 PR c++/52988
|
|
1639 * typeck.c (decay_conversion): Don't discard side-effects from
|
|
1640 expressions of nullptr_t.
|
|
1641
|
|
1642 2012-06-25 Florian Weimer <fweimer@redhat.com>
|
|
1643
|
|
1644 * init.c (build_new_1): Warn about (T[N]) for variable N, and
|
|
1645 reject T[M][N].
|
|
1646
|
|
1647 * parser.c (cp_parser_direct_new_declarator): Accept non-constant
|
|
1648 expressions. Handled now in build_new_1.
|
|
1649
|
|
1650 2012-06-25 Jason Merrill <jason@redhat.com>
|
|
1651
|
|
1652 PR c++/53202
|
|
1653 * semantics.c (build_data_member_initialization): Always keep
|
|
1654 initializer for empty base.
|
|
1655 (cxx_eval_bare_aggregate): Discard it here.
|
|
1656
|
|
1657 PR c++/53565
|
|
1658 * pt.c (tsubst_omp_for_iterator): Simplify DECL_EXPR handling.
|
|
1659 (tsubst_expr) [OMP_FOR]: Here, too.
|
|
1660
|
|
1661 2012-06-25 Jakub Jelinek <jakub@redhat.com>
|
|
1662
|
|
1663 PR c++/53594
|
|
1664 * class.c (check_bases_and_members): Avoid -Wuninitialized
|
|
1665 diagnostics for non-static const members or references if they
|
|
1666 use NSDMI.
|
|
1667
|
|
1668 2012-06-16 Ville Voutilainen <ville.voutilainen@gmail.com>
|
|
1669
|
|
1670 * parser.c (cp_parser_direct_declarator): Move virt-specifier
|
|
1671 parsing after late-specified return type parsing.
|
|
1672
|
|
1673 2012-06-14 Jason Merrill <jason@redhat.com>
|
|
1674
|
|
1675 PR c++/53651
|
|
1676 * name-lookup.c (constructor_name_p): Don't try to look at the
|
|
1677 name of a DECLTYPE_TYPE.
|
|
1678
|
|
1679 2012-06-18 Lawrence Crowl <crowl@google.com>
|
|
1680
|
|
1681 * decl2.c (cp_write_global_declarations): Rename use of TV_PHASE_CGRAPH
|
|
1682 to TV_PHASE_OPT_GEN.
|
|
1683
|
|
1684 2012-06-18 Steven Bosscher <steven@gcc.gnu.org>
|
|
1685
|
|
1686 * decl.c (finish_function): Remove code conditional on VMS_TARGET.
|
|
1687
|
|
1688 2012-06-15 Marc Glisse <marc.glisse@inria.fr>
|
|
1689
|
|
1690 PR c++/51033
|
|
1691 * semantics.c (literal_type_p): Handle VECTOR_TYPE.
|
|
1692 (potential_constant_expression_1): Handle VEC_PERM_EXPR.
|
|
1693 * parser.c (cp_parser_postfix_expression): Handle RID_BUILTIN_SHUFFLE.
|
|
1694
|
|
1695 2012-06-09 Jason Merrill <jason@redhat.com>
|
|
1696
|
|
1697 * pt.c (tsubst_expr) [TAG_DEFN]: Instantiate local class.
|
|
1698 * class.c (finish_struct): Don't add a TAG_DEFN for a lambda.
|
|
1699 * decl2.c (finish_static_data_member_decl): Avoid redundant error.
|
|
1700
|
|
1701 PR c++/53599
|
|
1702 * name-lookup.c (pushtag_1): Add a DECL_EXPR for a local class.
|
|
1703 * semantics.c (finish_cond): Build a COMPOUND_EXPR.
|
|
1704 * pt.c (tsubst_expr) [COMPOUND_EXPR]: Handle.
|
|
1705 [DECL_EXPR]: Don't call cp_finish_decl for an implicit typedef.
|
|
1706 Don't return the decl.
|
|
1707
|
|
1708 2012-06-11 Richard Guenther <rguenther@suse.de>
|
|
1709
|
|
1710 PR c++/53605
|
|
1711 * mangle.c (write_array_type): Use double-ints for array domain
|
|
1712 arithmetic.
|
|
1713
|
|
1714 2012-06-07 Fabien ChĂȘne <fabien@gcc.gnu.org>
|
|
1715
|
|
1716 PR c++/51214
|
|
1717 * cp-tree.h (insert_late_enum_def_into_classtype_sorted_fields):
|
|
1718 Declare.
|
|
1719 * class.c (insert_into_classtype_sorted_fields): New.
|
|
1720 (add_enum_fields_to_record_type): New.
|
|
1721 (count_fields): Adjust the comment.
|
|
1722 (add_fields_to_record_type): Likewise.
|
|
1723 (finish_struct_1): Move the code that inserts the fields for the
|
|
1724 sorted case, into insert_into_classtype_sorted_fields, and call
|
|
1725 it.
|
|
1726 (insert_late_enum_def_into_classtype_sorted_fields): Define.
|
|
1727 * decl.c (finish_enum_value_list): Call
|
|
1728 insert_late_enum_def_into_classtype_sorted_fields if a late enum
|
|
1729 definition is encountered.
|
|
1730
|
|
1731 2012-06-06 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1732
|
|
1733 PR c++/53567
|
|
1734 * typeck.c (cp_perform_integral_promotions): New, like
|
|
1735 perform_integral_promotions but also takes a tsubst_flags_t parameter.
|
|
1736 (pointer_diff): Add tsubst_flags_t parameter.
|
|
1737 (decay_conversion, cp_default_conversion, cp_build_array_ref,
|
|
1738 cp_build_binary_op, cp_build_unary_op, build_static_cast_1,
|
|
1739 build_reinterpret_cast_1, cp_build_modify_expr,
|
|
1740 convert_for_assignment): Adjust.
|
|
1741 * optimize.c (build_delete_destructor_body): Adjust.
|
|
1742 * init.c (expand_virtual_init, expand_default_init, build_new_1,
|
|
1743 build_new, build_vec_delete_1, build_vec_init, build_delete): Adjust.
|
|
1744 (construct_virtual_base): Adjust LOOKUP_COMPLAIN -> 0.
|
|
1745 * class.c (build_base_path): Adjust.
|
|
1746 * decl.c (compute_array_index_type, finish_destructor_body): Likewise.
|
|
1747 * method.c (synthesized_method_walk): Adjust flag and complain.
|
|
1748 * rtti.c (ifnonnull): Add tsubst_flags_t parameter.
|
|
1749 (build_typeid, build_dynamic_cast_1): Adjust.
|
|
1750 * except.c (initialize_handler_parm): Likewise.
|
|
1751 * typeck2.c (process_init_constructor_record): Likewise.
|
|
1752 * pt.c (tsubst_friend_class): Don't change flags.
|
|
1753 * semantics.c (finish_goto_stmt, handle_omp_for_class_iterator,
|
|
1754 finish_static_assert): Likewise.
|
|
1755 * parser.c (cp_parser_lookup_name): Just pass 0 as flags to
|
|
1756 lookup_name_real.
|
|
1757 * call.c (build_op_delete_call): Add tsubst_flags_t parameter.
|
|
1758 (convert_like_real, convert_arg_to_ellipsis, convert_for_arg_passing):
|
|
1759 Adjust.
|
|
1760 (standard_conversion): Adjust LOOKUP_COMPLAIN -> 0.
|
|
1761 (implicit_conversion): Mask out tf_error with a FIXME.
|
|
1762 (build_user_type_conversion_1, build_new_op_1, build_over_call): Use
|
|
1763 complain & tf_error instead of flags & LOOKUP_COMPLAIN.
|
|
1764 * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
|
|
1765 build_up_reference, convert_to_reference, cp_convert,
|
|
1766 cp_convert_and_check, ocp_convert, convert_force): Add tsubst_flags_t
|
|
1767 parameter.
|
|
1768 (convert_to_reference, ocp_convert): Use complain & tf_error instead
|
|
1769 of flags & LOOKUP_COMPLAIN.
|
|
1770 (convert_force): Adjust LOOKUP_COMPLAIN -> 0.
|
|
1771 * name-lookup.c (identifier_type_value_1, lookup_qualified_name,
|
|
1772 lookup_name_real, lookup_function_nonclass, lookup_name,
|
|
1773 lookup_name_prefer_type): Adjust LOOKUP_COMPLAIN -> 0.
|
|
1774 * cp-tree.h: Adjust prototypes; remove LOOKUP_COMPLAIN.
|
|
1775
|
|
1776 2012-06-06 Steven Bosscher <steven@gcc.gnu.org>
|
|
1777
|
|
1778 * decl.c: Do not include output.h.
|
|
1779 (start_decl): Remove code for flag_conserve_space.
|
|
1780
|
|
1781 2012-06-06 Fabien ChĂȘne <fabien@gcc.gnu.org>
|
|
1782
|
|
1783 PR c++/52841
|
|
1784 * parser.c (cp_parser_alias_declaration): Return earlier
|
|
1785 if an error occured.
|
|
1786
|
|
1787 2012-06-04 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1788
|
|
1789 PR c++/53524
|
|
1790 * call.c (build_conditional_expr_1): Use OPT_Wenum_compare
|
|
1791 to control enumeral mismatch in conditional expression too.
|
|
1792
|
|
1793 2012-06-04 Sterling Augustine <saugustine@google.com>
|
|
1794
|
|
1795 * cp-tree.h: Declare decl_as_dwarf_string, lang_decl_dwarf_name.
|
|
1796 * cp-lang.c (cxx_dwarf_name): Call them.
|
|
1797
|
|
1798 2012-06-04 Steven Bosscher <steven@gcc.gnu.org>
|
|
1799
|
|
1800 * semantics.c: Do not include output.h.
|
|
1801 * decl2.c: Likewise.
|
|
1802 * friend.c: Likewise.
|
|
1803 * typeck.c: Likewise.
|
|
1804 * typeck2.c: Likewise.
|
|
1805 * Make-lang.in: Fix dependencies.
|
|
1806
|
|
1807 2012-06-01 Jason Merrill <jason@redhat.com>
|
|
1808
|
|
1809 PR c++/52973
|
|
1810 * parser.c (cp_parser_class_head): Apply attributes here.
|
|
1811 * semantics.c (begin_class_definition): Not here.
|
|
1812 * cp-tree.h: Adjust.
|
|
1813
|
|
1814 PR c++/52725
|
|
1815 * parser.c (cp_parser_binary_expression): Bail early if we're parsing
|
|
1816 tentatively and the LHS has a parse error.
|
|
1817
|
|
1818 PR c++/53137
|
|
1819 * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
|
|
1820 (instantiate_decl): Don't push_to_top_level for local class methods.
|
|
1821 (instantiate_class_template_1): Or for local classes.
|
|
1822
|
|
1823 PR c++/53484
|
|
1824 * pt.c (do_auto_deduction): Don't try to deduce from a
|
|
1825 type-dependent initializer.
|
|
1826
|
|
1827 2012-06-01 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1828
|
|
1829 PR c++/26155
|
|
1830 * name-lookup.c (push_namespace): When error recovery is
|
|
1831 impossible just error out in duplicate_decls.
|
|
1832
|
|
1833 2012-05-31 Steven Bosscher <steven@gcc.gnu.org>
|
|
1834
|
|
1835 * call.c: Do not include output.h.
|
|
1836 * class.c: Likewise.
|
|
1837 * except.c: Likewise.
|
|
1838 * friend.c: Likewise.
|
|
1839 * init.c: Likewise.
|
|
1840 * lex.c: Likewise.
|
|
1841 * method.c: Likewise.
|
|
1842 * parser.c: Likewise.
|
|
1843 * pt.c: Likewise.
|
|
1844 * rtti.c: Likewise.
|
|
1845 * search.c: Likewise.
|
|
1846
|
|
1847 2012-05-30 Jason Merrill <jason@redhat.com>
|
|
1848
|
|
1849 PR c++/53356
|
|
1850 * tree.c (stabilize_init): Handle stabilizing a TARGET_EXPR
|
|
1851 representing a bitwise copy of a glvalue.
|
|
1852
|
|
1853 * tree.c (stabilize_expr): Tweak logic.
|
|
1854
|
|
1855 PR c++/53356
|
|
1856 * tree.c (stabilize_init): Side effects make the init unstable.
|
|
1857
|
|
1858 2012-05-28 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1859
|
|
1860 PR c++/53503
|
|
1861 * semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.
|
|
1862
|
|
1863 2012-05-26 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1864
|
|
1865 PR c++/53491
|
|
1866 * tree.c (stabilize_expr): Handle exp of void type.
|
|
1867
|
|
1868 2012-05-26 Jason Merrill <jason@redhat.com>
|
|
1869
|
|
1870 PR c++/53220
|
|
1871 * call.c (convert_like_real) [ck_list]: Take array address directly.
|
|
1872 * typeck.c (decay_conversion): Reject decay of an array compound
|
|
1873 literal.
|
|
1874
|
|
1875 2012-05-25 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1876
|
|
1877 PR c++/32054
|
|
1878 * parser.c (cp_parser_member_declaration): A storage class is not
|
|
1879 allowed in a declaration of an anonymous aggregate in a class scope.
|
|
1880
|
|
1881 2012-05-24 Uros Bizjak <ubizjak@gmail.com>
|
|
1882
|
|
1883 PR obj-c++/53441
|
|
1884 * decl.c (grokdeclarator): Check that current_class_type is non-NULL
|
|
1885 before calling constructor_name_p.
|
|
1886
|
|
1887 2012-05-24 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1888
|
|
1889 PR c++/32080
|
|
1890 * parser.c (cp_parser_ctor_initializer_opt_and_function_body,
|
|
1891 cp_parser_function_body): Add a bool parameter, true when parsing
|
|
1892 a function-try-block.
|
|
1893 (cp_parser_function_try_block): Pass true to the above.
|
|
1894 (cp_parser_function_definition_after_declarator,
|
|
1895 cp_parser_function_transaction): Adjust.
|
|
1896
|
|
1897 2012-05-23 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1898
|
|
1899 PR c++/29185
|
|
1900 * decl2.c (delete_sanity): Extend 'deleting array' warning to
|
|
1901 any array type.
|
|
1902
|
|
1903 2012-05-21 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1904
|
|
1905 PR c++/51184
|
|
1906 * decl.c (grokdeclarator): Diagnose functions returning abstract
|
|
1907 class types as TYPENAME.
|
|
1908 * cp-tree.h (ABSTRACT_CLASS_TYPE_P): Add.
|
|
1909 * except.c (is_admissible_throw_operand_or_catch_parameter): Use it.
|
|
1910 * pt.c (tsubst): Likewise.
|
|
1911 * semantics.c (trait_expr_value): Likewise.
|
|
1912
|
|
1913 2012-05-21 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1914
|
|
1915 PR c++/40821
|
|
1916 * parser.c (cp_parser_attributes_opt): Enforce error checking of
|
|
1917 unbalanced parentheses in the presence of tentative parsing.
|
|
1918
|
|
1919 2012-05-17 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1920
|
|
1921 PR c++/39681
|
|
1922 * parser.c (cp_parser_new_type_id): Early return error_mark_node
|
|
1923 if the cp_parser_type_specifier_seq call has type_specifier_seq.type
|
|
1924 error_mark_node; tidy.
|
|
1925 (cp_parser_new_expression): Always initialize nelts to NULL_TREE to
|
|
1926 avoid uninitialized warnings.
|
|
1927 (cp_parser_init_declarator, cp_parser_late_parse_one_default_arg):
|
|
1928 Call cp_parser_skip_to_end_of_statement if cp_parser_initializer
|
|
1929 returns error_mark_node.
|
|
1930
|
|
1931 2012-05-17 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1932
|
|
1933 PR c++/53371
|
|
1934 * except.c (is_admissible_throw_operand): Rename to
|
|
1935 is_admissible_throw_operand_or_catch_parameter and handle
|
|
1936 catch parameter too.
|
|
1937 (expand_start_catch_block): Use it.
|
|
1938 (build_throw): Adjust.
|
|
1939
|
|
1940 2012-05-17 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1941
|
|
1942 PR c++/44516
|
|
1943 * typeck.c (build_x_array_ref, build_x_conditional_expr,
|
|
1944 build_x_compound_expr, build_x_modify_expr): Add location_t parameter.
|
|
1945 (finish_class_member_access_expr, build_x_indirect_ref,
|
|
1946 build_x_binary_op, build_x_compound_expr_from_list,
|
|
1947 build_x_compound_expr_from_vec): Adjust callers.
|
|
1948 * tree.c (build_min_nt_loc): New.
|
|
1949 (build_min_nt): Remove.
|
|
1950 * typeck2.c (build_x_arrow): Adjust callers.
|
|
1951 * pt.c (tsubst_qualified_id, tsubst_omp_for_iterator,
|
|
1952 tsubst_copy_and_build): Likewise.
|
|
1953 * semantics.c (finish_mem_initializers, handle_omp_for_class_iterator,
|
|
1954 finish_omp_atomic): Likewise.
|
|
1955 * decl2.c (grok_array_decl, build_anon_union_vars): Adjust.
|
|
1956 * parser.c (cp_parser_question_colon_clause,
|
|
1957 cp_parser_assignment_expression, cp_parser_expression,
|
|
1958 cp_parser_template_id, cp_parser_omp_for_loop): Likewise.
|
|
1959 * cp-tree.h: Update.
|
|
1960
|
|
1961 2012-05-16 Dodji Seketeli <dodji@redhat.com>
|
|
1962
|
|
1963 PR preprocessor/7263
|
|
1964 * cp-tree.h (enum cp_decl_spec): Add new enumerators to cover all
|
|
1965 the possible declarator specifiers so far.
|
|
1966 (struct cp_decl_specifier_seq::locations): Declare new member.
|
|
1967 (cp_decl_specifier_seq::{specs, type_location}): Remove.
|
|
1968 (decl_spec_seq_has_spec_p): Declare new function.
|
|
1969 * parser.c (cp_parser_check_decl_spec): Remove.
|
|
1970 (set_and_check_decl_spec_loc): Define new static function.
|
|
1971 (decl_spec_seq_has_spec_p): Define new public function.
|
|
1972 (cp_parser_decl_specifier_seq, cp_parser_function_specifier_opt)
|
|
1973 (cp_parser_type_specifier, cp_parser_simple_type_specifier)
|
|
1974 (cp_parser_set_storage_class, cp_parser_set_decl_spec_type)
|
|
1975 (cp_parser_alias_declaration): Set the locations for each
|
|
1976 declspec, using set_and_check_decl_spec_loc.
|
|
1977 (cp_parser_explicit_instantiation, cp_parser_init_declarator)
|
|
1978 (cp_parser_member_declaration, cp_parser_init_declarator): Use the
|
|
1979 new declspec location for specifiers. Use the new
|
|
1980 decl_spec_seq_has_spec_p.
|
|
1981 (cp_parser_type_specifier_seq): Use the new
|
|
1982 set_and_check_decl_spec_loc. Stop using
|
|
1983 cp_parser_check_decl_spec. Use the new decl_spec_seq_has_spec_p.
|
|
1984 (, cp_parser_init_declarator): Use the new
|
|
1985 set_and_check_decl_spec_loc.
|
|
1986 (cp_parser_single_declaration, cp_parser_friend_p)
|
|
1987 (cp_parser_objc_class_ivars, cp_parser_objc_struct_declaration):
|
|
1988 Use the new decl_spec_seq_has_spec_p.
|
|
1989 * decl.c (check_tag_decl): Use new decl_spec_seq_has_spec_p. Use
|
|
1990 the more precise ds_redefined_builtin_type_spec location for
|
|
1991 diagnostics about re-declaring C++ built-in types.
|
|
1992 (start_decl, grokvardecl, grokdeclarator): Use the new
|
|
1993 decl_spec_seq_has_spec_p.
|
|
1994
|
|
1995 2012-05-15 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1996
|
|
1997 PR c++/11856
|
|
1998 * pt.c (tsubst_copy_and_build): Increase / decrease
|
|
1999 c_inhibit_evaluation_warnings around build_x_binary_op call.
|
|
2000
|
|
2001 2012-05-12 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2002
|
|
2003 * cp-tree.h (TYPE_PTRMEM_P): Rename to TYPE_PTRDATAMEM_P.
|
|
2004 (TYPE_PTR_TO_MEMBER_P): Rename to TYPE_PTRMEM_P.
|
|
2005 (TYPE_PTR_OR_PTRMEM_P): Add.
|
|
2006 * typeck.c (composite_pointer_type_r, composite_pointer_type,
|
|
2007 common_pointer_type, cp_build_indirect_ref, cp_build_binary_op,
|
|
2008 cp_truthvalue_conversion, convert_ptrmem, build_static_cast_1,
|
|
2009 build_reinterpret_cast_1, build_const_cast_1, comp_ptr_ttypes_real,
|
|
2010 casts_away_constness_r, casts_away_constness): Adjust.
|
|
2011 * init.c (build_zero_init_1): Adjust.
|
|
2012 * class.c (check_field_decls): Likewise.
|
|
2013 * decl.c (check_default_argument): Likewise.
|
|
2014 * rtti.c (target_incomplete_p): Likewise.
|
|
2015 * tree.c (zero_init_p): Likewise.
|
|
2016 * cxx-pretty-print.c (pp_cxx_ptr_operator,
|
|
2017 pp_cxx_abstract_declarator): Likewise.
|
|
2018 * typeck2.c (build_m_component_ref): Likewise.
|
|
2019 * pt.c (convert_nontype_argument, invalid_nontype_parm_type_p,
|
|
2020 dependent_type_p_r): Likewise.
|
|
2021 * call.c (null_member_pointer_value_p, standard_conversion,
|
|
2022 add_builtin_candidate, build_conditional_expr_1, compare_ics):
|
|
2023 Likewise.
|
|
2024 * cp-objcp-common.c (cp_var_mod_type_p): Likewise.
|
|
2025 * cvt.c (cp_convert_to_pointer, ocp_convert,
|
|
2026 perform_qualification_conversions): Likewise.
|
|
2027 * mangle.c (write_type): Likewise.
|
|
2028 * name-lookup.c (arg_assoc_type): Likewise.
|
|
2029
|
|
2030 2012-05-12 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2031
|
|
2032 * parser.c (struct cp_parser_expression_stack_entry): Add location_t
|
|
2033 field.
|
|
2034 (cp_parser_binary_expression): Rework to always update at the same
|
|
2035 time tree_type and loc.
|
|
2036 * call.c (print_z_candidate): Add location_t parameter.
|
|
2037 (print_z_candidates, convert_like_real, joust): Adjust.
|
|
2038
|
|
2039 2012-05-11 Alexandre Oliva <aoliva@redhat.com>
|
|
2040
|
|
2041 PR c++/53209
|
|
2042 * pt.c (tsubst_decl): Bail out if argvec is error_mark_node.
|
|
2043
|
|
2044 2012-05-11 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2045
|
|
2046 PR c++/53305
|
|
2047 * pt.c (tsubst_copy: case PARM_DECL): Return error_mark_node if
|
|
2048 tsubst_decl returns NULL_TREE.
|
|
2049 * cxx-pretty-print.c (pp_cxx_simple_type_specifier): Handle
|
|
2050 BOUND_TEMPLATE_TEMPLATE_PARM.
|
|
2051
|
|
2052 2012-05-10 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2053
|
|
2054 PR c++/53158
|
|
2055 * cvt.c (ocp_convert): Error out early for void -> bool conversions.
|
|
2056 * typeck.c (decay_conversion): Use error_at.
|
|
2057 * call.c (build_integral_nontype_arg_conv, convert_like_real,
|
|
2058 convert_arg_to_ellipsis, perform_implicit_conversion_flags,
|
|
2059 initialize_reference): Likewise.
|
|
2060 * cvt.c (warn_ref_binding): Add location_t parameter.
|
|
2061 (cp_convert_to_pointer, convert_to_reference, ocp_convert,
|
|
2062 convert_to_void, ): Use error_at and warning_at.
|
|
2063
|
|
2064 2012-05-10 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2065
|
|
2066 PR c++/53301
|
|
2067 * decl.c (check_default_argument): Fix typo (POINTER_TYPE_P
|
|
2068 instead of TYPE_PTR_P) in zero-as-null-pointer-constant warning.
|
|
2069
|
|
2070 2012-05-06 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2071
|
|
2072 PR c++/53152
|
|
2073 * call.c (op_error, build_new_op_1, build_new_op): Add location_t
|
|
2074 parameter.
|
|
2075 (build_conditional_expr_1): Adjust.
|
|
2076 * typeck.c (build_x_indirect_ref, build_x_binary_op,
|
|
2077 build_x_unary_op): Add location_t parameter.
|
|
2078 (rationalize_conditional_expr, build_x_array_ref,
|
|
2079 build_x_compound_expr, cp_build_modify_expr, build_x_modify_expr):
|
|
2080 Adjust.
|
|
2081 * typeck2.c (build_x_arrow): Add location_t parameter.
|
|
2082 * semantics.c (finish_unary_op_expr): Likewise.
|
|
2083 (finish_increment_expr, handle_omp_for_class_iterator): Adjust.
|
|
2084 * decl2.c (grok_array_decl): Add location_t parameter.
|
|
2085 * parser.c (cp_parser_postfix_open_square_expression,
|
|
2086 cp_parser_postfix_dot_deref_expression, cp_parser_unary_expression,
|
|
2087 cp_parser_binary_expression, cp_parser_builtin_offsetof,
|
|
2088 do_range_for_auto_deduction, cp_convert_range_for,
|
|
2089 cp_parser_template_argument, cp_parser_omp_for_cond): Pass the
|
|
2090 location, adjust.
|
|
2091 * pt.c (tsubst_copy_and_build): Adjust.
|
|
2092 * tree.c (maybe_dummy_object): Likewise.
|
|
2093 * cp-tree.h: Update declarations.
|
|
2094
|
|
2095 2012-05-04 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2096
|
|
2097 * semantics.c (cxx_eval_constant_expression, case CONVERT_EXPR): Tidy.
|
|
2098
|
|
2099 2012-05-04 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2100
|
|
2101 PR c++/53166
|
|
2102 * pt.c (instantiate_class_template_1): Increase / decrease
|
|
2103 c_inhibit_evaluation_warnings around the tsubst_expr call
|
|
2104 for STATIC_ASSERT_CONDITION.
|
|
2105 (tsubst_expr, case STATIC_ASSERT): Likewise.
|
|
2106 * typeck.c (cp_build_binary_op, case EQ_EXPR/NE_EXPR): Check
|
|
2107 c_inhibit_evaluation_warnings in the OPT_Waddress warnings.
|
|
2108
|
|
2109 2012-05-03 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2110
|
|
2111 PR c++/53186
|
|
2112 * call.c (build_over_call): Handle final member functions
|
|
2113 and class types.
|
|
2114 (build_new_method_call_1): Do not handle here.
|
|
2115
|
|
2116 2012-05-02 Richard Guenther <rguenther@suse.de>
|
|
2117
|
|
2118 * decl.c (grokdeclarator): Properly check for sizes that
|
|
2119 cover more than half of the address-space.
|
|
2120
|
|
2121 2012-04-30 Marc Glisse <marc.glisse@inria.fr>
|
|
2122
|
|
2123 PR c++/51033
|
|
2124 * typeck.c (cp_build_array_ref): Handle VECTOR_TYPE.
|
|
2125 * decl2.c (grok_array_decl): Likewise.
|
|
2126
|
|
2127 PR c++/51314
|
|
2128 * parser.c (cp_parser_sizeof_operand): Require parentheses for
|
|
2129 sizeof...
|
|
2130
|
|
2131 2012-04-30 Dodji Seketeli <dodji@redhat.com>
|
|
2132
|
|
2133 Fix location for static class members
|
|
2134 * decl.c (grokdeclarator): Use the location carried by the
|
|
2135 declarator for the DECL of the static class member.
|
|
2136
|
|
2137 Fix va_arg type location
|
|
2138 * cp-tree.h (build_x_va_arg): Take an additional location
|
|
2139 parameter.
|
|
2140 * call.c (build_x_va_arg): Take a loc parameter for the location
|
|
2141 of the type of the va_arg expression.
|
|
2142 * parser.c (cp_parser_primary_expression): Pass the type of the
|
|
2143 type in the va_arg expression to build_x_va_arg.
|
|
2144 * pt.c (tsubst_copy): Adjust calls to build_x_va_arg.
|
|
2145
|
|
2146 Make conversion warnings work on NULL with -ftrack-macro-expansion
|
|
2147 * call.c (conversion_null_warnings): Use the new
|
|
2148 expansion_point_location_if_in_system_header.
|
|
2149 * cvt.c (build_expr_type_conversion): Likewise.
|
|
2150 * typeck.c (cp_build_binary_op): Likewise.
|
|
2151
|
|
2152 2012-04-30 Manuel López-Ibåñez <manu@gcc.gnu.org>
|
|
2153
|
|
2154 * typeck.c (convert_for_assignment): Replace
|
|
2155 Wmissing-format-attribute with Wsuggest-attribute=format.
|
|
2156 * call.c (convert_for_arg_passing): Likewise.
|
|
2157
|
|
2158 2012-04-26 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2159
|
|
2160 PR c++/53096
|
|
2161 * class.c (check_bases_and_members): Implement core/1333, do not
|
|
2162 disallow defaulted in the class body non-const ref special members.
|
|
2163
|
|
2164 2012-04-24 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2165
|
|
2166 PR c++/52363
|
|
2167 * call.c (tourney, perform_overload_resolution,
|
|
2168 build_operator_new_call, build_user_type_conversion_1,
|
|
2169 build_user_type_conversion, perform_overload_resolution,
|
|
2170 add_template_candidate, add_template_candidate_real,
|
|
2171 add_template_conv_candidate, add_builtin_candidates,
|
|
2172 add_builtin_candidate, build_builtin_candidate,
|
|
2173 add_conv_candidate, add_function_candidate, implicit_conversion,
|
|
2174 reference_binding, build_list_conv, conditional_conversion,
|
|
2175 add_candidates, can_convert_array, build_aggr_conv,
|
|
2176 build_array_conv, build_complex_conv, conditional_conversion):
|
|
2177 Add tsubst_flags_t parameter.
|
|
2178 (joust): Likewise, use it to handle SFINAE as if pedantic.
|
|
2179 (add_list_candidates, build_integral_nontype_arg_conv,
|
|
2180 perform_overload_resolution, build_new_function_call,
|
|
2181 build_operator_new_call, build_op_call_1,
|
|
2182 build_conditional_expr_1, build_new_op_1, convert_like_real,
|
|
2183 convert_arg_to_ellipsis, convert_default_arg,
|
|
2184 convert_for_arg_passing, build_over_call,
|
|
2185 build_new_method_call_1, can_convert_arg, can_convert_arg_bad,
|
|
2186 perform_implicit_conversion_flags,
|
|
2187 perform_direct_initialization_if_possible,
|
|
2188 initialize_reference): Adjust.
|
|
2189 * typeck.c (casts_away_constness, casts_away_constness_r):
|
|
2190 Add tsubst_flags_t parameter.
|
|
2191 (convert_arguments, check_for_casting_away_constness,
|
|
2192 build_static_cast_1, build_ptrmemfunc, convert_for_assignment):
|
|
2193 Adjust.
|
|
2194 * decl.c (reshape_init_r, check_default_argument): Likewise.
|
|
2195 * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
|
|
2196 * pt.c (convert_nontype_argument, check_non_deducible_conversion):
|
|
2197 Likewise.
|
|
2198 * init.c (build_new_1): Likewise.
|
|
2199 * cvt.c (convert_to_reference, ocp_convert, build_type_conversion,
|
|
2200 build_expr_type_conversion, ): Likewise.
|
|
2201 * search.c (check_final_overrider): Likewise.
|
|
2202 * cp-tree.h (build_user_type_conversion,
|
|
2203 build_operator_new_call, can_convert, can_convert_arg,
|
|
2204 can_convert_arg_bad, convert_default_arg,
|
|
2205 convert_arg_to_ellipsis, convert_for_arg_passing):
|
|
2206 Adjust declaration.
|
|
2207
|
|
2208 2012-04-22 Jan Hubicka <jh@suse.cz>
|
|
2209
|
|
2210 * decl2.c (maybe_make_one_only): Mark keyed COMDATs as USED so they
|
|
2211 gets finalized.
|
|
2212
|
|
2213 2012-04-22 Manuel López-Ibåñez <manu@gcc.gnu.org>
|
|
2214
|
|
2215 PR c/44774
|
|
2216 * typeck.c (composite_pointer_type): Likewise.
|
|
2217 (cxx_sizeof_or_alignof_type): Likewise.
|
|
2218 (cp_build_array_ref): Likewise.
|
|
2219 (cp_build_function_call_vec): Likewise.
|
|
2220 (cp_build_addr_expr_1): Likewise.
|
|
2221 (convert_member_func_to_ptr): Likewise.
|
|
2222 * decl.c (check_tag_decl): Likewise.
|
|
2223 (check_static_variable_definition): Likewise.
|
|
2224 (compute_array_index_type): Likewise.
|
|
2225 (create_array_type_for_decl): Likewise.
|
|
2226 (grokdeclarator): Likewise.
|
|
2227 (grok_op_properties): Likewise.
|
|
2228 * error.c (maybe_warn_cpp0x): Likewise.
|
|
2229 * pt.c (maybe_process_partial_specialization): Likewise.
|
|
2230 (convert_template_argument): Likewise.
|
|
2231 (do_decl_instantiation): Likewise.
|
|
2232 (do_type_instantiation): Likewise.
|
|
2233 * parser.c (cp_parser_primary_expression): Likewise.
|
|
2234 (cp_parser_postfix_expression): Likewise.
|
|
2235 (cp_parser_unary_expression): Likewise.
|
|
2236 (cp_parser_question_colon_clause): Likewise.
|
|
2237 (cp_parser_lambda_introducer): Likewise.
|
|
2238 (cp_parser_lambda_declarator_opt): Likewise.
|
|
2239 (cp_parser_compound_statement): Likewise.
|
|
2240 (cp_parser_jump_statement): Likewise.
|
|
2241 (cp_parser_declaration_seq_opt): Likewise.
|
|
2242 (cp_parser_enum_specifier): Likewise.
|
|
2243 (cp_parser_enumerator_list): Likewise.
|
|
2244 (cp_parser_initializer_list): Likewise.
|
|
2245 (cp_parser_member_declaration): Likewise.
|
|
2246 * call.c (build_conditional_expr_1): Likewise.
|
|
2247 * friend.c (make_friend_class): Likewise.
|
|
2248 * name-lookup.c (pushdecl_maybe_friend_1): Likewise.
|
|
2249
|
|
2250 2012-04-21 Jan Hubicka <jh@suse.cz>
|
|
2251
|
|
2252 * method.c (make_alias_for): Do not set TREE_SYMBOL_REFERENCED.
|
|
2253 * decl2.c (mark_needed): Likewise.
|
|
2254 (decl_needed_p): Do not test TREE_SYMBOL_REFERENCED.
|
|
2255
|
|
2256 * decl2.c (cxx_callgraph_analyze_expr): Remove.
|
|
2257 * cp-objcp-common.h (LANG_HOOKS_CALLGRAPH_ANALYZE_EXPR): Remove.
|
|
2258 * cp-tree.h (cxx_callgraph_analyze_expr): Remove.
|
|
2259
|
|
2260 2012-04-21 Manuel López-Ibåñez <manu@gcc.gnu.org>
|
|
2261
|
|
2262 PR 35441
|
|
2263 * typeck.c (cp_build_function_call_vec): Do not pretty-print
|
|
2264 expressions when caret is enabled.
|
|
2265
|
|
2266 2012-04-20 Jan Hubicka <jh@suse.cz>
|
|
2267
|
|
2268 PR target/53042
|
|
2269 * decl2.c (maybe_emit_vtables): Do not initialize same_comdat_group
|
|
2270 list when target has no support for it.
|
|
2271
|
|
2272 2012-04-20 Michael Matz <matz@suse.de>
|
|
2273
|
|
2274 * error.c (pedwarn_cxx98): Move va_end call after user
|
|
2275 of the va_list.
|
|
2276
|
|
2277 2012-04-18 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2278
|
|
2279 PR c++/52422
|
|
2280 * cp-tree.h (build_addr_func, decay_conversion,
|
|
2281 get_member_function_from_ptrfunc,
|
|
2282 build_m_component_ref, convert_member_func_to_ptr):
|
|
2283 Add tsubst_flags_t parameter.
|
|
2284 * typeck.c (cp_default_conversion): Add.
|
|
2285 (decay_conversion, default_conversion,
|
|
2286 get_member_function_from_ptrfunc, convert_member_func_to_ptr):
|
|
2287 Add tsubst_flags_t parameter and use it throughout.
|
|
2288 (cp_build_indirect_ref, cp_build_array_ref,
|
|
2289 cp_build_function_call_vec, convert_arguments, build_x_binary_op,
|
|
2290 cp_build_binary_op, cp_build_unary_op, build_reinterpret_cast_1,
|
|
2291 build_const_cast_1, expand_ptrmemfunc_cst,
|
|
2292 convert_for_initialization): Adjust.
|
|
2293 * init.c (build_vec_init): Adjust.
|
|
2294 * decl.c (grok_reference_init, get_atexit_node): Likewise.
|
|
2295 * rtti.c (build_dynamic_cast_1, tinfo_base_init): Likewise.
|
|
2296 * except.c (build_throw): Likewise.
|
|
2297 * typeck2.c (build_x_arrow): Likewise.
|
|
2298 (build_m_component_ref): Add tsubst_flags_t parameter and
|
|
2299 use it throughout.
|
|
2300 * pt.c (convert_nontype_argument): Adjust.
|
|
2301 * semantics.c (finish_asm_stmt, maybe_add_lambda_conv_op): Likewise.
|
|
2302 * decl2.c (build_offset_ref_call_from_tree): Likewise.
|
|
2303 * call.c (build_addr_func): Add tsubst_flags_t parameter and
|
|
2304 use it throughout.
|
|
2305 (build_call_a, build_conditional_expr_1, build_new_op_1,
|
|
2306 convert_like_real, convert_arg_to_ellipsis, build_over_call,
|
|
2307 build_special_member_call): Adjust.
|
|
2308 * cvt.c (cp_convert_to_pointer, force_rvalue,
|
|
2309 build_expr_type_conversion): Likewise.
|
|
2310
|
|
2311 2012-04-17 Tom de Vries <tom@codesourcery.com>
|
|
2312
|
|
2313 * cp-gimplify.c (begin_bc_block): Add location parameter and use as
|
|
2314 location argument to create_artificial_label.
|
|
2315 (finish_bc_block): Change return type to void. Remove body_seq
|
|
2316 parameter, and add block parameter. Append label to STMT_LIST and
|
|
2317 return in block.
|
|
2318 (gimplify_cp_loop, gimplify_for_stmt, gimplify_while_stmt)
|
|
2319 (gimplify_do_stmt, gimplify_switch_stmt): Remove function.
|
|
2320 (genericize_cp_loop, genericize_for_stmt, genericize_while_stmt)
|
|
2321 (genericize_do_stmt, genericize_switch_stmt, genericize_continue_stmt)
|
|
2322 (genericize_break_stmt, genericize_omp_for_stmt): New function.
|
|
2323 (cp_gimplify_omp_for): Remove bc_continue processing.
|
|
2324 (cp_gimplify_expr): Genericize VEC_INIT_EXPR.
|
|
2325 (cp_gimplify_expr): Mark FOR_STMT, WHILE_STMT, DO_STMT, SWITCH_STMT,
|
|
2326 CONTINUE_STMT, and BREAK_STMT as unreachable.
|
|
2327 (cp_genericize_r): Genericize FOR_STMT, WHILE_STMT, DO_STMT,
|
|
2328 SWITCH_STMT, CONTINUE_STMT, BREAK_STMT and OMP_FOR.
|
|
2329 (cp_genericize_tree): New function, factored out of ...
|
|
2330 (cp_genericize): ... this function.
|
|
2331
|
|
2332 2012-04-17 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2333
|
|
2334 PR c++/52599
|
|
2335 * semantics.c (build_constexpr_constructor_member_initializers):
|
|
2336 Check for function-try-block as function-body.
|
|
2337
|
|
2338 2012-04-17 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2339
|
|
2340 PR c++/53003
|
|
2341 * parser.c (cp_parser_member_declaration): Check that
|
|
2342 initializer_token_start is non null before dereferencing it.
|
|
2343
|
|
2344 2012-04-16 Jason Merrill <jason@redhat.com>
|
|
2345
|
|
2346 PR c++/38543
|
|
2347 * pt.c (determine_specialization): Instead of comparing the number
|
|
2348 of parms, check that tsubst gives the right answer.
|
|
2349
|
|
2350 PR c++/52008
|
|
2351 * pt.c (process_partial_specialization): Complain about a partial
|
|
2352 specialization with fewer args than primary template parms.
|
|
2353
|
|
2354 PR c++/50830
|
|
2355 * pt.c (convert_template_argument): Handle template template
|
|
2356 argument packs.
|
|
2357
|
|
2358 PR c++/50303
|
|
2359 * pt.c (tsubst_pack_expansion): Use tsubst_expr for template
|
|
2360 template parameters.
|
|
2361
|
|
2362 2012-04-16 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2363
|
|
2364 PR c++/49152
|
|
2365 * call.c (op_error): Print types; when flag_diagnostics_show_caret
|
|
2366 is false print expressions too.
|
|
2367 (op_error_string): Add.
|
|
2368
|
|
2369 2012-04-16 Jason Merrill <jason@redhat.com>
|
|
2370
|
|
2371 PR c++/51148
|
|
2372 * friend.c (make_friend_class): Call check_for_bare_parameter_packs.
|
|
2373
|
|
2374 2012-04-16 Jan Hubicka <jh@suse.cz>
|
|
2375
|
|
2376 * decl2.c (collect_candidates_for_java_method_alias): Use FOR_EACH
|
|
2377 walkers to walk cgraph and varpool.
|
|
2378
|
|
2379 2012-04-15 Jason Merrill <jason@redhat.com>
|
|
2380
|
|
2381 PR c++/47220
|
|
2382 * pt.c (coerce_template_parameter_pack): Check for error_mark_node.
|
|
2383
|
|
2384 PR c++/52292
|
|
2385 PR c++/52380
|
|
2386 * pt.c (coerce_template_parms): Even if we aren't converting we
|
|
2387 want to expand argument packs.
|
|
2388
|
|
2389 PR c++/52706
|
|
2390 * mangle.c (write_type): nullptr_t is a builtin type.
|
|
2391
|
|
2392 2012-04-14 Jan Hubicka <jh@suse.cz>
|
|
2393
|
|
2394 * tree.c: Update field referenced for new cgraph/varpool layout.
|
|
2395 * decl2.c: Likewise.
|
|
2396
|
|
2397 2012-04-13 Jason Merrill <jason@redhat.com>
|
|
2398
|
|
2399 PR c++/52824
|
|
2400 * pt.c (any_pack_expanson_args_p): New.
|
|
2401 (coerce_template_parms): Use it.
|
|
2402
|
|
2403 PR c++/52905
|
|
2404 * call.c (joust): Handle comparing list and non-list ctors.
|
|
2405
|
|
2406 PR c++/52915
|
|
2407 * decl2.c (finish_anon_union): Use cp_finish_decl.
|
|
2408 * error.c (dump_function_name): Avoid showing anonymous "name".
|
|
2409
|
|
2410 2012-04-11 Fabien ChĂȘne <fabien@gcc.gnu.org>
|
|
2411
|
|
2412 PR c++/52465
|
|
2413 * parser.c (cp_parser_class_name): Call strip_using_decl and
|
|
2414 return the target decl.
|
|
2415 * name-lookup.c (strip_using_decl): Returns NULL_TREE if the decl
|
|
2416 to be stripped is NULL_TREE.
|
|
2417 (qualify_lookup): Call strip_using_decl and perform some checks on
|
|
2418 the target decl.
|
|
2419
|
|
2420 2012-04-11 Jason Merrill <jason@redhat.com>
|
|
2421
|
|
2422 PR debug/45088
|
|
2423 * decl.c (grokdeclarator): Strip the injected-class-name typedef
|
|
2424 if we are building a declaration or compound type.
|
|
2425
|
|
2426 PR c++/52906
|
|
2427 * decl.c (check_tag_decl): Don't complain about attributes if we
|
|
2428 don't even have a type.
|
|
2429
|
|
2430 2012-04-10 Manuel López-Ibåñez <manu@gcc.gnu.org>
|
|
2431
|
|
2432 * cvt.c (convert_to_void): Update comment.
|
|
2433
|
|
2434 2012-04-05 Jason Merrill <jason@redhat.com>
|
|
2435
|
|
2436 PR c++/52596
|
|
2437 * semantics.c (finish_non_static_data_member): In templates, pass
|
|
2438 the decl to build_qualified_name.
|
|
2439 * tree.c (lvalue_kind) [SCOPE_REF]: Handle FIELD_DECL.
|
|
2440
|
|
2441 2012-04-04 Jason Merrill <jason@redhat.com>
|
|
2442
|
|
2443 PR c++/52845
|
|
2444 * decl.c (finish_function): Update fntype after deducing return type.
|
|
2445
|
|
2446 2012-04-03 Jason Merrill <jason@redhat.com>
|
|
2447
|
|
2448 PR c++/52796
|
|
2449 * pt.c (tsubst_initializer_list): A pack expansion with no elements
|
|
2450 means value-initialization.
|
|
2451
|
|
2452 2012-04-01 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2453
|
|
2454 PR c++/50043
|
|
2455 * class.c (deduce_noexcept_on_destructor,
|
|
2456 deduce_noexcept_on_destructors): New.
|
|
2457 (check_bases_and_members): Call the latter.
|
|
2458 * decl.c (grokfndecl): Call the former.
|
|
2459 * method.c (implicitly_declare_fn): Not static.
|
|
2460 * cp-tree.h (deduce_noexcept_on_destructor, implicitly_declare_fn):
|
|
2461 Declare
|
|
2462
|
|
2463 2012-03-29 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2464
|
|
2465 PR c++/52718
|
|
2466 * decl.c (check_default_argument): With -Wzero-as-null-pointer-constant
|
|
2467 warn for a zero as null pointer constant default argument.
|
|
2468
|
|
2469 2012-03-29 Jason Merrill <jason@redhat.com>
|
|
2470
|
|
2471 PR c++/52685
|
|
2472 * tree.c (copy_binfo): Handle BINFO_DEPENDENT_BASE_P.
|
|
2473
|
|
2474 2012-03-29 Jakub Jelinek <jakub@redhat.com>
|
|
2475
|
|
2476 PR c++/52759
|
|
2477 * decl.c (start_decl): Don't call maybe_apply_pragma_weak
|
|
2478 if processing_template_decl.
|
|
2479
|
|
2480 2012-03-29 Jason Merrill <jason@redhat.com>
|
|
2481
|
|
2482 PR c++/52743
|
|
2483 * call.c (compare_ics): Handle ck_aggr like ck_list.
|
|
2484
|
|
2485 2012-03-28 Jason Merrill <jason@redhat.com>
|
|
2486
|
|
2487 PR c++/52746
|
|
2488 * typeck.c (lookup_destructor): Clear BASELINK_QUALIFIED_P if
|
|
2489 we didn't get an explicit scope.
|
|
2490 * pt.c (tsubst_baselink): Likewise.
|
|
2491
|
|
2492 2012-03-28 Richard Guenther <rguenther@suse.de>
|
|
2493
|
|
2494 * typeck2.c (process_init_constructor_array): Use the proper
|
|
2495 type for computing the array length.
|
|
2496
|
|
2497 2012-03-27 Meador Inge <meadori@codesourcery.com>
|
|
2498
|
|
2499 PR c++/52672
|
|
2500 * semantics.c (cxx_fold_indirect_ref): Don't attempt to fold
|
|
2501 stripped child trees that are not pointer types.
|
|
2502
|
|
2503 2012-03-21 Jason Merrill <jason@redhat.com>
|
|
2504
|
|
2505 Implement return type deduction for normal functions with -std=c++1y.
|
|
2506 * cp-tree.h (FNDECL_USED_AUTO): New macro.
|
|
2507 (LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P): Remove.
|
|
2508 (dependent_lambda_return_type_node): Remove.
|
|
2509 (CPTI_DEPENDENT_LAMBDA_RETURN_TYPE): Remove.
|
|
2510 (struct language_function): Add x_auto_return_pattern field.
|
|
2511 (current_function_auto_return_pattern): New.
|
|
2512 (enum tsubst_flags): Add tf_partial.
|
|
2513 * decl.c (decls_match): Handle auto return comparison.
|
|
2514 (duplicate_decls): Adjust error message for auto return.
|
|
2515 (cxx_init_decl_processing): Remove dependent_lambda_return_type_node.
|
|
2516 (cp_finish_decl): Don't do auto deduction for functions.
|
|
2517 (grokdeclarator): Allow auto return without trailing return type in
|
|
2518 C++1y mode.
|
|
2519 (check_function_type): Defer checking of deduced return type.
|
|
2520 (start_preparsed_function): Set current_function_auto_return_pattern.
|
|
2521 (finish_function): Set deduced return type to void if not previously
|
|
2522 deduced.
|
|
2523 * decl2.c (change_return_type): Handle error_mark_node.
|
|
2524 (mark_used): Always instantiate functions with deduced return type.
|
|
2525 Complain about use if deduction isn't done.
|
|
2526 * parser.c (cp_parser_lambda_declarator_opt): Use 'auto' for
|
|
2527 initial return type.
|
|
2528 (cp_parser_lambda_body): Don't deduce return type in a template.
|
|
2529 (cp_parser_conversion_type_id): Allow auto in C++1y.
|
|
2530 * pt.c (instantiate_class_template_1): Don't mess with
|
|
2531 LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P.
|
|
2532 (tsubst_copy_and_build): Likewise.
|
|
2533 (fn_type_unification, tsubst): Don't reduce the template parm level
|
|
2534 of 'auto' during deduction.
|
|
2535 (unify): Compare 'auto' specially.
|
|
2536 (get_bindings): Change test.
|
|
2537 (always_instantiate_p): Always instantiate functions with deduced
|
|
2538 return type.
|
|
2539 (do_auto_deduction): Handle error_mark_node and lambda context.
|
|
2540 Don't check for use in initializer.
|
|
2541 (contains_auto_r): Remove.
|
|
2542 * search.c (lookup_conversions_r): Handle auto conversion function.
|
|
2543 * semantics.c (lambda_return_type): Handle null return. Don't mess
|
|
2544 with dependent_lambda_return_type_node.
|
|
2545 (apply_deduced_return_type): Rename from apply_lambda_return_type.
|
|
2546 * typeck.c (merge_types): Handle auto.
|
|
2547 (check_return_expr): Do auto deduction.
|
|
2548 * typeck2.c (add_exception_specifier): Fix complain check.
|
|
2549
|
|
2550 2012-03-22 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2551
|
|
2552 PR c++/52487
|
|
2553 * class.c (check_field_decls): Call literal_type_p only
|
|
2554 on complete types.
|
|
2555
|
|
2556 2012-03-22 Jakub Jelinek <jakub@redhat.com>
|
|
2557
|
|
2558 PR c++/52671
|
|
2559 * decl.c (check_tag_decl): Only use CLASSTYPE_TEMPLATE_INSTANTIATION
|
|
2560 on CLASS_TYPE_P types.
|
|
2561
|
|
2562 2012-03-20 Jason Merrill <jason@redhat.com>
|
|
2563
|
|
2564 * lex.c (init_reswords): Use >= for cxx_dialect test.
|
|
2565 * parser.c (cp_parser_exception_specification_opt): Likewise.
|
|
2566
|
|
2567 * mangle.c (write_type): Handle 'auto'.
|
|
2568 * init.c (build_new): Don't do auto deduction where it might
|
|
2569 affect template mangling.
|
|
2570
|
|
2571 PR c++/52510
|
|
2572 * decl.c (reshape_init_class): Handle repeated reshaping.
|
|
2573 * search.c (lookup_field_1): Add sanity check.
|
|
2574
|
|
2575 2012-03-19 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2576
|
|
2577 PR c++/14710
|
|
2578 * cp-tree.h (xvalue_p, maybe_warn_about_useless_cast): Declare.
|
|
2579 * tree.c (xvalue_p): Define.
|
|
2580 * typeck.c (maybe_warn_about_useless_cast): Define.
|
|
2581 (build_reinterpret_cast, build_const_cast,
|
|
2582 build_static_cast, cp_build_c_cast): Use maybe_warn_about_useless_cast.
|
|
2583 * rtti.c (build_dynamic_cast): Likewise.
|
|
2584 * pt.c (tsubst_copy_and_build, case CAST_EXPR): Increment/decrement
|
|
2585 c_inhibit_evaluation_warnings before/after the build_* calls.
|
|
2586
|
|
2587 2012-03-15 Jason Merrill <jason@redhat.com>
|
|
2588
|
|
2589 PR c++/52582
|
|
2590 * method.c (implicitly_declare_fn): Set DECL_EXTERNAL.
|
|
2591
|
|
2592 2012-03-15 Manuel López-Ibåñez <manu@gcc.gnu.org>
|
|
2593
|
|
2594 PR c++/44783
|
|
2595 * error.c (print_instantiation_partial_context): Use
|
|
2596 template_backtrace_limit.
|
|
2597
|
|
2598 2012-03-14 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
|
|
2599
|
|
2600 * Make-lang.in (doc/g++.1): Remove IRIX 6.5 reference.
|
|
2601
|
|
2602 2012-03-14 Jakub Jelinek <jakub@redhat.com>
|
|
2603
|
|
2604 PR c++/52521
|
|
2605 * parser.c (lookup_literal_operator): Return fn only if
|
|
2606 processed all arguments from args vector and argtypes is
|
|
2607 void_list_node.
|
|
2608
|
|
2609 2012-01-30 Dodji Seketeli <dodji@redhat.com>
|
|
2610
|
|
2611 PR c++/51641
|
|
2612 * cp-tree.h (template_type_parameter_p): Declare new function.
|
|
2613 (parameter_of_template_p): Remove.
|
|
2614 * pt.c (template_type_parameter_p): Define new function.
|
|
2615 (parameter_of_template_p): Remove.
|
|
2616 * name-lookup.c (binding_to_template_parms_of_scope_p): Don't rely
|
|
2617 on parameter_of_template_p anymore. Compare the level of the
|
|
2618 template parameter to the depth of the template.
|
|
2619
|
|
2620 2011-12-15 Dodji Seketeli <dodji@redhat.com>
|
|
2621
|
|
2622 * call.c (standard_conversion, build_integral_nontype_arg_conv)
|
|
2623 (build_new_op_1, convert_like_real, is_subseq)
|
|
2624 (maybe_handle_implicit_object, maybe_handle_ref_bind, compare_ics)
|
|
2625 (joust): Use next_conversion instead of accessing fields of struct
|
|
2626 conversion directly.
|
|
2627
|
|
2628 2012-03-12 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2629
|
|
2630 PR c++/52299
|
|
2631 * pt.c (tsubst_copy_and_build, case COND_EXPR): Avoid bogus
|
|
2632 division by zero warnings.
|
|
2633
|
|
2634 2012-03-08 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2635
|
|
2636 * typeck.c (build_array_ref, cp_build_addr_expr_1, convert_ptrmem,
|
|
2637 build_ptrmemfunc): Consistently forward the tsubst_flags_t
|
|
2638 parameter.
|
|
2639 * call.c (resolve_args): Likewise.
|
|
2640
|
|
2641 2012-03-07 Jason Merrill <jason@redhat.com>
|
|
2642
|
|
2643 PR c++/52521
|
|
2644 * mangle.c (write_literal_operator_name): The length comes after the
|
|
2645 operator prefix.
|
|
2646
|
|
2647 2012-03-05 Jakub Jelinek <jakub@redhat.com>
|
|
2648
|
|
2649 * pt.c (local_specializations): Change from htab_t into
|
|
2650 struct pointer_map_t *.
|
|
2651 (retrieve_local_specializations, register_local_specialization,
|
|
2652 tsubst_pack_expansion, instantiate_decl): Adjust users.
|
|
2653 (eq_local_specializations, hash_local_specialization): Remove.
|
|
2654
|
|
2655 2012-03-05 Jason Merrill <jason@redhat.com>
|
|
2656
|
|
2657 PR c++/51930
|
|
2658 * decl2.c (determine_visibility): Correct calculation of class
|
|
2659 args depth.
|
|
2660 * decl.c (check_tag_decl): Adjust warning.
|
|
2661
|
|
2662 * method.c (synthesized_method_walk): Cleanups don't affect the EH
|
|
2663 spec either.
|
|
2664
|
|
2665 2012-03-03 Jason Merrill <jason@redhat.com>
|
|
2666
|
|
2667 * init.c (perform_member_init): Cope with uninstantiated NSDMI.
|
|
2668
|
|
2669 Core 1270
|
|
2670 * call.c (build_aggr_conv): Call reshape_init.
|
|
2671 (convert_like_real): Likewise.
|
|
2672 * typeck2.c (process_init_constructor): Clear TREE_CONSTANT if
|
|
2673 not all constant.
|
|
2674
|
|
2675 * mangle.c (write_nested_name): Use decl_mangling_context.
|
|
2676 (write_prefix, write_template_prefix): Likewise.
|
|
2677
|
|
2678 PR c++/36797
|
|
2679 * mangle.c (write_expression): Improve diagnostic for TRAIT_EXPR.
|
|
2680
|
|
2681 * class.c (add_method): Always build an OVERLOAD for using-decls.
|
|
2682 * search.c (lookup_member): Handle getting an OVERLOAD for a
|
|
2683 single function.
|
|
2684
|
|
2685 2012-03-02 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2686
|
|
2687 PR c++/51989
|
|
2688 * typeck2.c (build_x_arrow): Take a tsubst_flags_t argument and
|
|
2689 propagate it.
|
|
2690 * cp-tree.h (build_x_arrow): Adjust prototype.
|
|
2691 * pt.c (tsubst_copy_and_build): Adjust call.
|
|
2692 * parser.c (cp_parser_postfix_dot_deref_expression): Likewise.
|
|
2693
|
|
2694 2012-03-02 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2695
|
|
2696 * name-lookup.c (binding_to_template_parms_of_scope_p): Clean up.
|
|
2697
|
|
2698 2012-02-29 Jason Merrill <jason@redhat.com>
|
|
2699
|
|
2700 PR c++/51930
|
|
2701 * decl.c (check_tag_decl): Move warning for misplaced attributes here.
|
|
2702 (shadow_tag): From here.
|
|
2703 * parser.c (cp_parser_explicit_instantiation): Don't warn here.
|
|
2704
|
|
2705 2012-02-21 Jakub Jelinek <jakub@redhat.com>
|
|
2706
|
|
2707 PR c++/52312
|
|
2708 * typeck.c (check_literal_operator_args): Initialize *long_double_p
|
|
2709 and *long_long_unsigned_p even if processing_template_decl.
|
|
2710
|
|
2711 2012-02-16 Jason Merrill <jason@redhat.com>
|
|
2712
|
|
2713 PR c++/52248
|
|
2714 * decl.c (define_label): Use timevar_cond_start/stop.
|
|
2715
|
|
2716 2012-02-16 Fabien ChĂȘne <fabien@gcc.gnu.org>
|
|
2717
|
|
2718 PR c++/52126
|
|
2719 * decl.c (xref_basetypes): Call dependent_scope_p instead of
|
|
2720 dependent_type_p.
|
|
2721
|
|
2722 2012-02-16 Jason Merrill <jason@redhat.com>
|
|
2723
|
|
2724 PR c++/51415
|
|
2725 * error.c (dump_expr): Handle lambda closures specifically.
|
|
2726
|
|
2727 2012-02-14 Jason Merrill <jason@redhat.com>
|
|
2728
|
|
2729 * parser.c (cp_parser_explicit_instantiation): Give a warning
|
|
2730 for ignored attributes on explicit class instantiation.
|
|
2731
|
|
2732 2012-02-14 Jakub Jelinek <jakub@redhat.com>
|
|
2733
|
|
2734 PR c++/52247
|
|
2735 * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call
|
|
2736 lookup_label on label's name and set TREE_USED.
|
|
2737
|
|
2738 2012-02-14 Jason Merrill <jason@redhat.com>
|
|
2739
|
|
2740 PR c++/39055
|
|
2741 * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.
|
|
2742
|
|
2743 2012-02-14 Jakub Jelinek <jakub@redhat.com>
|
|
2744
|
|
2745 PR c/52181
|
|
2746 * decl.c (duplicate_decls): If olddecl has bigger DECL_ALIGN than
|
|
2747 newdecl, copy DECL_ALIGN to newdecl and or DECL_USER_ALIGN bits.
|
|
2748
|
|
2749 2012-02-07 Jason Merrill <jason@redhat.com>
|
|
2750
|
|
2751 PR c++/51675
|
|
2752 * semantics.c (cx_check_missing_mem_inits): Handle unions.
|
|
2753 Fix constexpr default constructor logic.
|
|
2754
|
|
2755 PR c++/52035
|
|
2756 * pt.c (tsubst): Strip uninstantiated typedef.
|
|
2757
|
|
2758 2012-02-06 Jason Merrill <jason@redhat.com>
|
|
2759
|
|
2760 PR c++/52088
|
|
2761 * cvt.c (build_expr_type_conversion): Check for template conversion.
|
|
2762
|
|
2763 2012-01-31 Jason Merrill <jason@redhat.com>
|
|
2764
|
|
2765 PR c++/52043
|
|
2766 * cp-tree.h (PACK_EXPANSION_LOCAL_P): New.
|
|
2767 * pt.c (make_pack_expansion, tsubst_initializer_list): Set it.
|
|
2768 (tsubst_pack_expansion): Check it.
|
|
2769
|
|
2770 2012-01-29 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2771
|
|
2772 PR c++/51327
|
|
2773 * class.c (explain_non_literal_class): Correctly handle implicitly
|
|
2774 deleted constructors.
|
|
2775
|
|
2776 2012-01-27 Jakub Jelinek <jakub@redhat.com>
|
|
2777
|
|
2778 PR c++/51852
|
|
2779 * pt.c (tsubst_pack_expansion): Delete and restore
|
|
2780 local_specialization whenever need_local_specialization, not just
|
|
2781 when saved_local_specializations is non-NULL.
|
|
2782
|
|
2783 2012-01-26 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2784
|
|
2785 PR c++/51370
|
|
2786 * error.c (dump_decl, [TEMPLATE_ID_EXPR]): Handle error_mark_node
|
|
2787 as TREE_OPERAND (t, 1).
|
|
2788
|
|
2789 2012-01-24 Jason Merrill <jason@redhat.com>
|
|
2790
|
|
2791 PR c++/51917
|
|
2792 * decl.c (xref_basetypes): Check VEC_length instead of VEC_space.
|
|
2793
|
|
2794 PR c++/51973
|
|
2795 * tree.c (called_fns_equal): Check template args.
|
|
2796 (cp_tree_equal): Call it.
|
|
2797
|
|
2798 2012-01-24 Aldy Hernandez <aldyh@redhat.com>
|
|
2799 Patrick Marlier <patrick.marlier@gmail.com>
|
|
2800
|
|
2801 PR c++/51928
|
|
2802 * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
|
|
2803 thunk for set_one_vmethod_tm_attributes.
|
|
2804
|
|
2805 2012-01-24 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2806
|
|
2807 PR c++/51223
|
|
2808 * call.c (build_over_call): Check for error_mark_node as
|
|
2809 TREE_VALUE when default arguments are processed.
|
|
2810
|
|
2811 2012-01-23 Jason Merrill <jason@redhat.com>
|
|
2812
|
|
2813 PR c++/51930
|
|
2814 * decl2.c (determine_visibility): Check for visibility attribute
|
|
2815 on template specialization.
|
|
2816
|
|
2817 2012-01-23 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2818
|
|
2819 PR c++/51398
|
|
2820 * pt.c (parameter_of_template_p): Skip error_mark_node parameters.
|
|
2821
|
|
2822 2012-01-23 Jason Merrill <jason@redhat.com>
|
|
2823
|
|
2824 PR c++/51925
|
|
2825 * class.c (add_method): Set OVL_USED for using-decls.
|
|
2826 * tree.c (ovl_scope): New.
|
|
2827 * cp-tree.h: Declare it.
|
|
2828 * parser.c (cp_parser_template_name): Use it.
|
|
2829 * semantics.c (baselink_for_fns): Likewise.
|
|
2830 * name-lookup.c (set_inherited_value_binding_p): Likewise.
|
|
2831
|
|
2832 2012-01-20 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2833
|
|
2834 PR c++/51402
|
|
2835 * pt.c (lookup_template_class_1): Check context returned by
|
|
2836 tsubst for error_mark_node.
|
|
2837
|
|
2838 2012-01-19 Kai Tietz <ktietz@redhat.com>
|
|
2839
|
|
2840 PR c++/51344
|
|
2841 * decl2.c (save_template_attributes): Use merge_attributes
|
|
2842 instead of chaining up via TREE_CHAIN.
|
|
2843
|
|
2844 2012-01-19 Jason Merrill <jason@redhat.com>
|
|
2845
|
|
2846 PR c++/51889
|
|
2847 * class.c (finish_struct): Call add_method here for function usings.
|
|
2848 * semantics.c (finish_member_declaration): Not here.
|
|
2849
|
|
2850 2012-01-18 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2851
|
|
2852 PR c++/51225
|
|
2853 * typeck2.c (store_init_value): Within a template guard
|
|
2854 cxx_constant_value with require_potential_constant_expression.
|
|
2855 * pt.c (convert_nontype_argument): Likewise.
|
|
2856
|
|
2857 2012-01-16 Jakub Jelinek <jakub@redhat.com>
|
|
2858
|
|
2859 PR c++/51854
|
|
2860 * mangle.c (write_template_arg_literal): Handle complex.
|
|
2861
|
|
2862 2012-01-16 Jason Merrill <jason@redhat.com>
|
|
2863
|
|
2864 PR c++/51827
|
|
2865 * mangle.c (mangle_decl): Don't mangle uninstantiated templates.
|
|
2866
|
|
2867 PR c++/51868
|
|
2868 * typeck.c (build_static_cast_1): Handle bit-fields properly.
|
|
2869
|
|
2870 2012-01-13 Ian Lance Taylor <iant@google.com>
|
|
2871
|
|
2872 PR c++/50012
|
|
2873 * typeck.c (enum_cast_to_int): New static function.
|
|
2874 (cp_build_binary_op): When handling warn_sign_compare, don't test
|
|
2875 for TREE_NO_WARNING. Do call enum_cast_to_int.
|
|
2876 * call.c (avoid_sign_compare_warnings): Remove static function.
|
|
2877 (build_new_op_1): Don't call avoid_sign_compare_warnings.
|
|
2878
|
|
2879 2012-01-13 Steven Bosscher <steven@gcc.gnu.org>
|
|
2880
|
|
2881 * decl2.c: Do not include tree-mudflap.h
|
|
2882 * semantics.c: Likewise.
|
|
2883
|
|
2884 2012-01-13 Jason Merrill <jason@redhat.com>
|
|
2885
|
|
2886 PR c++/20681
|
|
2887 * semantics.c (finish_break_stmt): Avoid adding an unreachable
|
|
2888 BREAK_STMT.
|
|
2889
|
|
2890 PR c++/51813
|
|
2891 * decl2.c (constrain_visibility): Clear DECL_VISIBILITY_SPECIFIED
|
|
2892 when reducing the visibility.
|
|
2893
|
|
2894 PR c++/51620
|
|
2895 * class.c (build_vtbl_initializer): Use __cxa_deleted_virtual.
|
|
2896
|
|
2897 2012-01-12 Jason Merrill <jason@redhat.com>
|
|
2898
|
|
2899 PR c++/51714
|
|
2900 * pt.c (value_dependent_expression_p): Treat STMT_EXPR as
|
|
2901 value-dependent.
|
|
2902
|
|
2903 2012-01-13 Dodji Seketeli <dodji@redhat.com>
|
|
2904
|
|
2905 PR c++/51633
|
|
2906 * semantics.c (cp_parser_ctor_initializer_opt_and_function_body):
|
|
2907 Set the pointer to the last block of the constructor to the
|
|
2908 current statement.
|
|
2909 (build_constexpr_constructor_member_initializers): Get
|
|
2910 build_data_member_initialization a chance to deal with more
|
|
2911 statements before we choke.
|
|
2912
|
|
2913 2012-01-12 Jason Merrill <jason@redhat.com>
|
|
2914
|
|
2915 PR c++/48051
|
|
2916 * mangle.c (write_expression): Mangle BASELINK scope if
|
|
2917 BASELINK_QUALIFIED_P.
|
|
2918 * search.c (adjust_result_of_qualified_name_lookup): Set
|
|
2919 BASELINK_QUALIFIED_P.
|
|
2920 * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
|
|
2921 * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
|
|
2922 adjust_result_of_qualified_name_lookup for non-qualified names.
|
|
2923
|
|
2924 PR c++/51403
|
|
2925 * pt.c (unify): Handle error_mark_node.
|
|
2926
|
|
2927 2012-01-11 Jason Merrill <jason@redhat.com>
|
|
2928
|
|
2929 PR c++/51565
|
|
2930 * call.c (standard_conversion): For ptrmemfuncs, compare the
|
|
2931 static_fn_types.
|
|
2932
|
|
2933 PR c++/51818
|
|
2934 * mangle.c (find_substitution): A type is only a substitution
|
|
2935 match if we're looking for a type.
|
|
2936 (write_nested_name): Use decl_mangling_context.
|
|
2937
|
|
2938 * decl.c (decls_match): Assert that the arguments are decls.
|
|
2939
|
|
2940 PR c++/51613
|
|
2941 * pt.c (resolve_overloaded_unification): Compare types with
|
|
2942 same_type_p, not decls_match.
|
|
2943
|
|
2944 2012-01-10 Jason Merrill <jason@redhat.com>
|
|
2945
|
|
2946 PR c++/51614
|
|
2947 * class.c (build_base_path): Diagnose ambiguous base.
|
|
2948
|
|
2949 PR c++/51433
|
|
2950 * semantics.c (cxx_eval_call_expression): Always retry previously
|
|
2951 non-constant expressions.
|
|
2952
|
|
2953 2012-01-06 Jason Merrill <jason@redhat.com>
|
|
2954
|
|
2955 DR 686
|
|
2956 PR c++/47450
|
|
2957 * parser.c (cp_parser_new_expression): Set
|
|
2958 type_definition_forbidden_message.
|
|
2959
|
|
2960 PR c++/6057
|
|
2961 PR c++/48051
|
|
2962 PR c++/50855
|
|
2963 PR c++/51322
|
|
2964 * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
|
|
2965 THROW_EXPR, CONSTRUCTOR, OVERLOAD. Fix PREINCREMENT_EXPR and
|
|
2966 PREDECREMENT_EXPR.
|
|
2967 (write_template_arg): Fix mangling of class-scope functions and
|
|
2968 argument packs.
|
|
2969 (mangle_decl): Update suggested -fabi-version argument.
|
|
2970 * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
|
|
2971 DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
|
|
2972 * tree.c (dependent_name): No longer static.
|
|
2973 * cp-tree.h: Declare it.
|
|
2974 * pt.c (unify): Defer handling of unconverted functions.
|
|
2975
|
|
2976 * mangle.c (mangle_decl): Don't generate mangling aliases
|
|
2977 for maybe-in-charge [cd]tors.
|
|
2978
|
|
2979 * error.c (dump_expr): Print type of CONSTRUCTOR.
|
|
2980
|
|
2981 2012-01-05 Dodji Seketeli <dodji@redhat.com>
|
|
2982
|
|
2983 PR c++/51541
|
|
2984 * parser.c (cp_parser_alias_declaration): Get out early upon
|
|
2985 errors in the identifier or the attributes.
|
|
2986
|
|
2987 2012-01-04 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2988
|
|
2989 PR c++/51064
|
|
2990 * pt.c (tsubst_copy_and_build): Maybe set TREE_NO_WARNING on
|
|
2991 the tree returned by build_x_binary_op.
|
|
2992
|
|
2993 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
|
|
2994
|
|
2995 PR c++/51738
|
|
2996 * parser.c (cp_parser_postfix_open_square_expression): Handle
|
|
2997 postfix-expression [ braced-init-list ].
|
|
2998
|
|
2999 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3000
|
|
3001 PR c++/29273
|
|
3002 * rtti.c (build_dynamic_cast_1): In case of T a pointer type,
|
|
3003 call decay_conversion on v.
|
|
3004
|
|
3005 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3006
|
|
3007 PR c++/15867
|
|
3008 * decl.c (duplicate_decls): With -Wredundant-decls don't warn for
|
|
3009 declaration followed by specialization.
|
|
3010
|
|
3011 2012-01-03 Jakub Jelinek <jakub@redhat.com>
|
|
3012
|
|
3013 PR c++/51669
|
|
3014 * semantics.c (finish_omp_clauses): Call fold_build_cleanup_point_expr
|
|
3015 on OMP_CLAUSE_{IF,FINAL,NUM_THREADS,SCHEDULE_CHUNK}_EXPR.
|
|
3016
|
|
3017 2012-01-02 Jason Merrill <jason@redhat.com>
|
|
3018
|
|
3019 DR 1359
|
|
3020 PR c++/51675
|
|
3021 * method.c (walk_field_subobs): Don't check for uninitialized
|
|
3022 fields in a union.
|
|
3023 (synthesized_method_walk): Check here.
|
|
3024
|
|
3025 DR 325
|
|
3026 PR c++/51666
|
|
3027 * parser.c (cp_parser_cache_defarg): Split out...
|
|
3028 (cp_parser_parameter_declaration): ...from here.
|
|
3029 (cp_parser_save_nsdmi): Use it.
|
|
3030 (cp_parser_cache_group): Remove CPP_COMMA support.
|
|
3031
|
|
3032 2012-01-02 Dodji Seketeli <dodji@redhat.com>
|
|
3033
|
|
3034 PR c++/51462
|
|
3035 * semantics.c (cx_check_missing_mem_inits): Don't assert in case
|
|
3036 of error.
|
|
3037
|
|
3038 2012-01-02 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3039
|
|
3040 PR c++/20140
|
|
3041 * typeck2.c (digest_init_r): Use copy_init when initializing
|
|
3042 an array of chars.
|
|
3043
|
|
3044 2012-01-01 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3045
|
|
3046 PR c++/16603
|
|
3047 * decl.c (build_enumerator): Don't call perform_integral_promotions
|
|
3048 on the value.
|
|
3049
|
|
3050 2012-01-01 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3051
|
|
3052 PR c++/51379
|
|
3053 * typeck.c (build_reinterpret_cast_1): Implement resolution of
|
|
3054 DR 799.
|
|
3055
|
|
3056 2012-01-01 Fabien ChĂȘne <fabien@gcc.gnu.org>
|
|
3057
|
|
3058 * parser.c (cp_parser_using_declaration): Add a warning about
|
|
3059 deprecated access declarations when no errors were encountered
|
|
3060 while parsing the access declaration. Save the first token in
|
|
3061 order to emit the warning at the right place.
|
|
3062
|
|
3063 Copyright (C) 2012 Free Software Foundation, Inc.
|
|
3064
|
|
3065 Copying and distribution of this file, with or without modification,
|
|
3066 are permitted in any medium without royalty provided the copyright
|
|
3067 notice and this notice are preserved.
|