]>
Commit | Line | Data |
---|---|---|
797103eb L |
1 | 2010-12-28 Jason Merrill <jason@redhat.com> |
2 | ||
3 | PR c++/47068 | |
4 | * semantics.c (finish_id_expression): Don't note non-names | |
5 | as being used in the class. | |
6 | ||
7 | 2010-12-23 Jason Merrill <jason@redhat.com> | |
8 | ||
9 | * parser.c (cp_parser_unary_expression): Remove redundant C++0x | |
10 | check. | |
11 | ||
12 | 2010-12-27 Jakub Jelinek <jakub@redhat.com> | |
13 | ||
14 | PR c++/46626 | |
15 | * semantics.c (build_data_member_initialization): For CLEANUP_STMT | |
16 | recurse into CLEANUP_BODY. | |
17 | ||
18 | 2010-12-25 Kai Tietz <kai.tietz@onevision.com> | |
19 | ||
20 | PR c++/15774 | |
21 | * decl.c (decls_match): Check for FUNCTION_DECL | |
22 | also for identity of compatible attributes. | |
23 | ||
24 | 2010-12-22 Nathan Froyd <froydnj@codesourcery.com> | |
25 | ||
26 | * decl.c (decls_match, duplicate_decls): Use prototype_p. | |
27 | * pt.c (push_template_decl_real): Likewise. | |
28 | ||
29 | 2010-12-22 Jason Merrill <jason@redhat.com> | |
30 | ||
31 | PR c++/47003 | |
32 | * tree.c (stabilize_expr): Really stabilize scalar glvalues. | |
33 | ||
34 | 2010-12-22 Rodrigo Rivas Costa <rodrigorivascosta@gmail.com> | |
35 | ||
36 | * parser.c (cp_parser_unary_expression): Call pedwarn for alignof | |
37 | with expression. | |
38 | ||
39 | 2010-12-18 Nicola Pero <nicola.pero@meta-innovation.com> | |
40 | ||
41 | * parser.c (cp_parser_objc_try_catch_finally_statement): Call | |
42 | objc_maybe_warn_exceptions. | |
43 | (cp_parser_objc_synchronized_statement): Same change. | |
44 | ||
45 | 2010-12-18 Joseph Myers <joseph@codesourcery.com> | |
46 | ||
47 | * pt.c (most_specialized_class): Use ngettext to determine | |
48 | "candidates are:" / "candidate is" message. | |
49 | ||
50 | 2010-12-17 Jason Merrill <jason@redhat.com> | |
51 | ||
52 | PR c++/46670 | |
53 | * pt.c (value_dependent_expression_p) [ARRAY_REF]: Handle | |
54 | properly. | |
55 | ||
56 | 2010-12-15 Nathan Froyd <froydnj@codesourcery.com> | |
57 | ||
58 | PR c++/39859 | |
59 | PR c++/44522 | |
60 | PR c++/44523 | |
61 | * parser.c (struct cp_parser): Add colon_corrects_to_scope_p field. | |
62 | (cp_parser_new): Initialize it. | |
63 | (cp_parser_nested_name_specifier_opt): Auto-correct colons to | |
64 | scopes if we are able to. | |
65 | (cp_parser_question_colon_clause): Disallow colon correction. | |
66 | (cp_parser_label_for_labeled_statement): Likewise. | |
67 | (cp_parser_range_for): Likewise. | |
68 | (cp_parser_enum_specifier): Likewise. | |
69 | (cp_parser_class_head): Likewise. | |
70 | (cp_parser_member_declaration): Likewise. | |
71 | ||
72 | 2010-12-15 Nathan Froyd <froydnj@codesourcery.com> | |
73 | ||
74 | PR c++/46852 | |
75 | * parser.c (cp_parser_class_specifier): Check for TYPE_P. | |
76 | ||
77 | 2010-12-15 Jakub Jelinek <jakub@redhat.com> | |
78 | ||
79 | PR debug/46815 | |
80 | * cp-gimplify.c (cp_genericize): When changing RESULT_DECL | |
81 | into invisible reference, change also DECL_VALUE_EXPR of | |
82 | NRV optimized variable. | |
83 | ||
84 | 2010-12-15 Paolo Carlini <paolo.carlini@oracle.com> | |
85 | ||
86 | PR c++/42083 | |
87 | * init.c (build_value_init): Check build_special_member_call return | |
88 | value for error_mark_node. | |
89 | ||
90 | 2010-12-14 Jason Merrill <jason@redhat.com> | |
91 | ||
92 | PR c++/46930 | |
93 | * decl.c (grokdeclarator): Reject uninitialized constexpr | |
94 | static data member. | |
95 | ||
96 | 2010-12-14 Nathan Froyd <froydnj@codesourcery.com> | |
97 | ||
98 | PR c++/45330 | |
99 | * cp-tree.h (suggest_alternatives_for): Add location_t parameter. | |
100 | * name-lookup.c (suggest_alternatives_for): Likewise. Adjust. | |
101 | * lex.c (unqualified_name_lookup_error): Adjust call to it. | |
102 | * semantics.c (qualified_name_lookup_error): Move to... | |
103 | * error.c (qualified_name_lookup_error): ...here. Call. | |
104 | suggest_alternatives_for. | |
105 | ||
106 | 2010-12-13 Jason Merrill <jason@redhat.com> | |
107 | ||
108 | PR c++/46873 | |
109 | PR c++/46877 | |
110 | * semantics.c (build_data_member_initialization): Handle | |
111 | cv-qualified data member. | |
112 | ||
113 | 2010-12-13 Jan Hubicka <jh@suse.cz> | |
114 | ||
115 | PR middle-end/45388 | |
116 | * decl2.c (start_objects): Do not generate collect2 recognicable name | |
117 | for static ctor. | |
118 | ||
119 | 2010-12-12 Paolo Carlini <paolo.carlini@oracle.com> | |
120 | ||
121 | PR c++/46901 | |
122 | * typeck.c (convert_for_assignment): Fix typo in warning message. | |
123 | ||
124 | 2010-12-10 Jakub Jelinek <jakub@redhat.com> | |
125 | ||
126 | PR c++/46001 | |
127 | * decl.c (record_builtin_java_type): Call build_distinct_type_copy | |
128 | on build_nonstandard_integer_type result for __java_* types. | |
129 | ||
130 | 2010-12-10 Nathan Froyd <froydnj@codesourcery.com> | |
131 | ||
132 | * decl.c (grokmethod): Test DECL_CLASS_SCOPE_P. | |
133 | * error.c (dump_decl): Test DECL_FILE_SCOPE_P. | |
134 | ||
135 | 2010-12-10 Nathan Froyd <froydnj@codesourcery.com> | |
136 | ||
137 | * cp-tree.h (readonly_error_kind): Delete. | |
138 | (readonly_error): Rename to... | |
139 | (cxx_readonly_error): ...this. Change second argument to be an | |
140 | enum lvalue_use. | |
141 | * semantics.c (finish_asm_stmt): Call cxx_readonly_error. | |
142 | * typeck.c (cp_build_unary_op): Likewise. | |
143 | (cp_build_modify_expr): Likewise. | |
144 | * typeck2.c (readonly_error): Rename to... | |
145 | (cxx_readonly_error): ...this. Delegate to readonly_error for | |
146 | most cases. | |
147 | ||
148 | 2010-12-10 Nicola Pero <nicola.pero@meta-innovation.com> | |
149 | ||
150 | * parser.c (cp_parser_objc_superclass_or_category): Recognize | |
151 | Objective-C 2.0 class extensions. Added iface_p and | |
152 | is_class_extension arguments. | |
153 | (cp_parser_objc_class_interface): Updated call to | |
154 | cp_parser_objc_superclass_or_category. | |
155 | (cp_parser_objc_class_implementation): Same change. | |
156 | ||
157 | 2010-12-09 Nathan Froyd <froydnj@codesourcery.com> | |
158 | ||
159 | * call.c (print_conversion_rejection): Indent messages two spaces. | |
160 | ||
161 | 2010-12-09 Nathan Froyd <froydnj@codesourcery.com> | |
162 | ||
163 | * typeck.c (cp_build_indirect_ref): Call invalid_indirection_error. | |
164 | ||
165 | 2010-12-09 Nathan Froyd <froydnj@codesourcery.com> | |
166 | ||
167 | * typeck.c (composite_pointer_error): New function. | |
168 | (composite_pointer_type_r, composite_pointer_type): Call it. | |
169 | ||
170 | 2010-12-08 Jason Merrill <jason@redhat.com> | |
171 | ||
172 | PR c++/46348 | |
173 | * semantics.c (cxx_eval_vec_init_1): Handle value-init. | |
174 | (cxx_eval_vec_init): Pass value_init arg. | |
175 | ||
176 | 2010-12-08 Nathan Froyd <froydnj@codesourcery.com> | |
177 | ||
178 | PR c++/45329 | |
179 | * call.c (struct conversion): Document bad_p field. | |
180 | (enum rejection_reason_code): Define. | |
181 | (struct conversion_info): Define. | |
182 | (struct rejection_reason): Define. | |
183 | (struct z_candidate): Add `reason' field. | |
184 | (add_candidate): Add `reason' parameter. Store it in CAND. | |
185 | (alloc_rejection, arity_rejection, arg_conversion_rejection): | |
186 | New functions. | |
187 | (bad_arg_conversion_rejection): New function. | |
188 | (convert_class_to_reference): Add comment. | |
189 | (remaining_arguments): New function. | |
190 | (add_function_candidate): Record rejection reason and pass it to | |
191 | add_candidate. | |
192 | (add_conv_candidate, build_builtin_candidate): Likewise. | |
193 | (add_template_candidate_real): Likewise. | |
194 | (print_conversion_rejection): New function. | |
195 | (print_z_candidate): Print CAND->REASON if it exists. Adjust | |
196 | diagnostic strings. | |
197 | (print_z_candidates): Add location_t argument. Adjust calling | |
198 | sequence for print_z_candidate. Print header line directly. | |
199 | (build_user_type_conversion_1): Add reason for rejection to | |
200 | CAND. Adjust call to print_z_candidates. | |
201 | (print_error_for_call_failure): New function. | |
202 | (build_new_function_call): Call it. Adjust call to | |
203 | print_z_candidates. | |
204 | (build_operator_new_call): Likewise. | |
205 | (build_op_call): Likewise. | |
206 | (build_conditional_expr): Likewise. | |
207 | (build_new_op): Likewise. | |
208 | (build_new_method_call): Likewise. | |
209 | ||
210 | 2010-12-08 Jason Merrill <jason@redhat.com> | |
211 | ||
212 | PR c++/45822 | |
213 | * cp-tree.h (LOOKUP_DEFAULTED): New. | |
214 | * call.c (add_function_candidate): Check it. | |
215 | * method.c (synthesized_method_walk): Set it. | |
216 | (do_build_copy_assign): Likewise. | |
217 | * init.c (perform_member_init): Likewise. | |
218 | (emit_mem_initializers): Likewise. | |
219 | ||
220 | PR c++/46736 | |
221 | * decl.c (cp_finish_decl): Complain about an implicitly deleted | |
222 | method defaulted outside the class. | |
223 | * method.c (maybe_explain_implicit_delete): Don't check DECL_INITIAL. | |
224 | ||
225 | 2010-12-07 Joseph Myers <joseph@codesourcery.com> | |
226 | ||
227 | * rtti.c: Don't include assert.h. | |
228 | ||
229 | 2010-12-07 Nathan Froyd <froydnj@codesourcery.com> | |
230 | ||
231 | PR c++/45330 | |
232 | * cp-tree.h (suggest_alternatives_for, location_of): Declare. | |
233 | * error.c (dump_expr): Handle TYPE_DECL. | |
234 | (location_of): Unstaticize. | |
235 | * name-lookup.c (suggest_alternatives_for): New function. | |
236 | * lex.c (unqualified_name_lookup_error): Call it. | |
237 | ||
238 | 2010-12-06 Nicola Pero <nicola.pero@meta-innovation.com> | |
239 | ||
240 | * call.c: Include c-family/c-objc.h. | |
241 | * decl.c: Same change. | |
242 | * decl2.c: Same change. | |
243 | * error.c: Same change. | |
244 | * lex.c: Same change. | |
245 | * parser.c: Same change. | |
246 | * pt.c: Same change. | |
247 | * semantics.c: Same change. | |
248 | * typeck.c: Same change. | |
249 | * Make-lang.in (cp/decl.o): Depend on c-family/c-objc.h. | |
250 | (cp/decl2.o): Same change. | |
251 | (cp/call.o): Same change. | |
252 | (cp/error.o): Same change. | |
253 | (cp/lex.o): Same change. | |
254 | (cp/parser.o): Same change. | |
255 | (cp/pt.o): Same change. | |
256 | (cp/semantics.o): Same change. | |
257 | (cp/typeck.o): Same change. | |
258 | * config-lang.in (gtfiles): Added c-family/c-objc.h. | |
259 | ||
260 | 2010-12-03 Jason Merrill <jason@redhat.com> | |
261 | ||
262 | PR c++/46645 | |
263 | * semantics.c (build_data_member_initialization): Remove assert. | |
264 | ||
265 | PR c++/46058 | |
266 | * tree.c (lvalue_kind) [SCOPE_REF]: Handle non-dependent case. | |
267 | ||
268 | 2010-12-03 Richard Guenther <rguenther@suse.de> | |
269 | ||
270 | PR c/46745 | |
271 | * error.c (dump_expr): Handle MEM_REF. | |
272 | ||
273 | 2010-12-03 Laurynas Biveinis <laurynas.biveinis@gmail.com> | |
274 | ||
275 | * cp-tree.h (struct aggr_init_expr_arg_iterator_d): Remove GTY | |
276 | tag. | |
277 | ||
278 | 2010-12-02 Nicola Pero <nicola.pero@meta-innovation.com> | |
279 | ||
280 | * parser.c (cp_parser_objc_throw_statement): Use | |
281 | cp_parser_expression, not cp_parser_assignment_expression, to | |
282 | parse the argument of a @throw. | |
283 | ||
284 | 2010-12-01 Joseph Myers <joseph@codesourcery.com> | |
285 | ||
286 | * cp-objcp-common.c, lex.c, typeck.c: Don't include toplev.h. | |
287 | * Make-lang.in (cp/lex.o, cp/cp-objcp-common.o, cp/typeck2.o): | |
288 | Update dependencies. | |
289 | ||
290 | 2010-11-30 Nicola Pero <nicola.pero@meta-innovation.com> | |
291 | ||
292 | * decl.c (finish_function): Call objc_finish_function when | |
293 | compiling Objective-C++. | |
294 | * call.c (standard_conversion): Do not call | |
295 | objc_non_volatilized_type(). | |
296 | (implicit_conversion): Same change. | |
297 | * typeck.c (comp_ptr_ttypes_real): Same change. | |
298 | ||
299 | 2010-11-30 Joseph Myers <joseph@codesourcery.com> | |
300 | ||
301 | * cp-gimplify.c, cp-lang.c, cvt.c, cxx-pretty-print.c, error.c, | |
302 | except.c, expr.c, friend.c, init.c, mangle.c, name-lookup.c, | |
303 | optimize.c, parser.c, rtti.c, tree.c, typeck2.c: Don't include | |
304 | toplev.h. | |
305 | * Make-lang.in: Dependencies for above files changed to remove | |
306 | toplev.h. | |
307 | ||
308 | 2010-11-29 Dodji Seketeli <dodji@redhat.com> | |
309 | ||
310 | PR c++/42260 | |
311 | * call.c (add_builtin_candidate): At this point the resulting type | |
312 | of an indirection operator should be complete. | |
313 | ||
314 | 2010-11-29 Dodji Seketeli <dodji@redhat.com> | |
315 | ||
316 | PR c++/45383 | |
317 | Reverted patch for PR c++/42260 | |
318 | * cp-tree.h (lookup_conversions): Reverted "Add new bool parameter to | |
319 | declarationE." | |
320 | * search.c (lookup_conversion): Reverted "Use new bool parameter in | |
321 | definition". | |
322 | * call.c (add_builtin_candidates): Reverted "Don't lookup template | |
323 | conversion" | |
324 | (convert_class_to_reference, build_user_type_conversion_1, | |
325 | build_op_call): Reverted "Adjust". | |
326 | * cvt.c (build_expr_type_conversion): Reverted "Likewise". | |
327 | ||
328 | 2010-11-29 Nicola Pero <nicola.pero@meta-innovation.com> | |
329 | ||
330 | * parser.c (cp_parser_objc_try_catch_finally_statement): Parse | |
331 | @catch(...) and pass NULL_TREE to objc_begin_catch_clause() in | |
332 | that case. Improved error recovery. Reorganized code to be | |
333 | almost identical to c_parser_objc_try_catch_finally_statement. | |
334 | ||
335 | 2010-11-27 Nicola Pero <nicola.pero@meta-innovation.com> | |
336 | ||
337 | PR objc++/46222 | |
338 | * decl.c (grokdeclarator): Replaced an assert (for a case that can | |
339 | never happen in C++, but could happen in ObjC++ for invalid code) | |
340 | with a check that prints an error message and returns | |
341 | error_mark_node. | |
342 | ||
343 | 2010-11-23 Jeffrey Yasskin <jyasskin@google.com> | |
344 | ||
345 | PR c++/46527 | |
346 | * pt.c (instantiate_decl): Propagate the template's location to | |
347 | its instance. | |
348 | ||
349 | 2010-11-20 Joseph Myers <joseph@codesourcery.com> | |
350 | ||
351 | * name-lookup.c (handle_namespace_attrs): Don't check | |
352 | HANDLE_PRAGMA_VISIBILITY. | |
353 | * parser.c (cp_parser_namespace_definition): Don't check | |
354 | HANDLE_PRAGMA_VISIBILITY. | |
355 | ||
356 | 2010-11-20 Nathan Froyd <froydnj@codesourcery.com> | |
357 | ||
358 | PR c++/16189 | |
359 | PR c++/36888 | |
360 | PR c++/45331 | |
361 | * parser.c (cp_lexer_set_token_position): New function. | |
362 | (cp_lexer_previous_token_position): New function. | |
363 | (cp_lexer_previous_token): Call it. | |
364 | (cp_parser_class_specifier): Try to gracefully handle a missing | |
365 | semicolon. | |
366 | ||
367 | 2010-11-20 Jakub Jelinek <jakub@redhat.com> | |
368 | ||
369 | PR c++/46538 | |
370 | * decl.c (cp_make_fname_decl): Return error_mark_node if | |
371 | current_binding_level has already sk_function_parms kind. | |
372 | ||
373 | PR c++/46526 | |
374 | * semantics.c (cxx_eval_call_expression): Unshare the result. | |
375 | ||
376 | 2010-11-19 Nicola Pero <nicola.pero@meta-innovation.com> | |
377 | ||
378 | * parser.c (cp_parser_objc_protocol_declaration): Pass attributes | |
379 | to objc_declare_protocols. | |
380 | ||
381 | 2010-11-18 Nathan Froyd <froydnj@codesourcery.com> | |
382 | ||
383 | PR c/33193 | |
384 | * typeck.c (cp_build_unary_op): Call build_real_imag_expr for | |
385 | REALPART_EXPR and IMAGPART_EXPR. | |
386 | ||
387 | 2010-11-16 Jason Merrill <jason@redhat.com> | |
388 | ||
389 | * call.c (convert_like_real): Don't make a temp for copy-list-init. | |
390 | (build_over_call): Don't handle that here. | |
391 | (build_new_method_call): Use COMPLETE_OR_OPEN_TYPE_P for error. | |
392 | ||
393 | PR c++/46497 | |
394 | * call.c (build_over_call): Check for =delete even when trivial. | |
395 | ||
396 | DR 1004 | |
397 | * decl.c (make_unbound_class_template): Handle using | |
398 | injected-type-name as template. | |
399 | ||
400 | 2010-11-15 Nicola Pero <nicola.pero@meta-innovation.com> | |
401 | ||
402 | * typeck.c (cp_build_unary_op): Use | |
403 | objc_build_incr_expr_for_property_ref to build the pre/post | |
404 | increment/decrement of an Objective-C property ref. | |
405 | ||
406 | 2010-11-13 Jason Merrill <jason@redhat.com> | |
407 | ||
408 | * decl.c (cp_finish_decl): Use resolve_nondeduced_context for auto. | |
409 | * init.c (build_new): Likewise. | |
410 | * pt.c (tsubst_decl): Likewise. | |
411 | (do_auto_deduction): Likewise. | |
412 | (resolve_nondeduced_context): Use build_offset_ref and | |
413 | cp_build_addr_expr. | |
414 | ||
415 | 2010-11-12 Joseph Myers <joseph@codesourcery.com> | |
416 | ||
417 | * Make-lang.in (g++spec.o): Use $(OPTS_H). | |
418 | ||
419 | 2010-11-13 Ville Voutilainen <ville.voutilainen@gmail.com> <ville.voutilainen@symbio.com> | |
420 | ||
421 | Core 1135, 1136, 1145, 1149 | |
422 | * method.c (defaultable_fn_check): Do not disallow defaulting a | |
423 | non-public or explicit special member function on its first | |
424 | declaration. | |
425 | ||
426 | 2010-11-12 James Dennett <jdennett@google.com> | |
427 | ||
428 | PR/39415 | |
429 | * typeck.c (build_static_cast_1): Convert to the target type | |
430 | when doing static_cast<cv Derived*>(Base*). | |
431 | ||
432 | 2010-11-10 Jason Merrill <jason@redhat.com> | |
433 | ||
434 | PR c++/46420 | |
435 | * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: New case. | |
436 | [CONSTRUCTOR]: Use the tsubsted type. | |
437 | ||
438 | PR c++/46369 | |
439 | * semantics.c (cxx_eval_bit_field_ref): New. | |
440 | (cxx_eval_constant_expression): Call it. | |
441 | ||
442 | 2010-11-10 Joseph Myers <joseph@codesourcery.com> | |
443 | ||
444 | * cvt.c (cp_convert_to_pointer): Use %' in diagnostic. | |
445 | * decl.c (layout_var_decl, maybe_commonize_var, grokdeclarator): | |
446 | Use %' in diagnostics. | |
447 | * decl2.c (check_classfn): Use %' in diagnostic. | |
448 | * init.c (build_java_class_ref): Use %' in diagnostic. | |
449 | (build_delete): Remove trailing '.' from diagnostic. | |
450 | * method.c (do_build_copy_assign, walk_field_subobs): Use %' in | |
451 | diagnostics. | |
452 | * name-lookup.c (pushdecl_maybe_friend): Use %' in diagnostic. | |
453 | * parser.c (cp_parser_exception_specification_opt): Remove | |
454 | trailing '.' from diagnostic. | |
455 | (cp_parser_objc_interstitial_code): Use %qs for quoting in | |
456 | diagnostic. | |
457 | * pt.c (check_valid_ptrmem_cst_expr): Use %< and %> for quoting in | |
458 | diagnostic. | |
459 | * repo.c (reopen_repo_file_for_write): Use %' in diagnostic. | |
460 | ||
461 | 2010-11-10 Nathan Froyd <froydnj@codesourcery.com> | |
462 | ||
463 | PR c++/46065 | |
464 | * decl.c (poplevel_named_label_1): Use TREE_CHAIN if necessary. | |
465 | ||
466 | 2010-11-09 Jakub Jelinek <jakub@redhat.com> | |
467 | ||
468 | PR c++/45894 | |
469 | * tree.c (lvalue_kind): Don't crash if ref has NULL type. | |
470 | ||
471 | 2010-11-08 Jason Merrill <jason@redhat.com> | |
472 | ||
473 | PR c++/46382 | |
474 | * semantics.c (check_constexpr_ctor_body): New fn. | |
475 | * parser.c (cp_parser_ctor_initializer_opt_and_function_body): Call it. | |
476 | * cp-tree.h: Declare it. | |
477 | ||
478 | PR c++/46335 | |
479 | * tree.c (bot_manip): Check TREE_SIDE_EFFECTS as well. | |
480 | ||
481 | Correct conversion/overflow behavior. | |
482 | * cvt.c (ignore_overflows): Move here from typeck.c. | |
483 | (ocp_convert): Use it. | |
484 | (cp_fold_convert): Use it. Don't call rvalue. | |
485 | * typeck.c (build_static_cast_1): Don't use it. Do call rvalue. | |
486 | * error.c (location_of): Handle expressions, too. | |
487 | * class.c (check_bitfield_decl): Set input_location around call to | |
488 | cxx_constant_value. | |
489 | * semantics.c (cxx_eval_outermost_constant_expr): Don't | |
490 | print the expression if it already had TREE_OVERFLOW set. | |
491 | (reduced_constant_expression_p): Check TREE_OVERFLOW_P for C++98, too. | |
492 | (verify_constant): Allow overflow with a permerror if we're | |
493 | enforcing. | |
494 | (cxx_eval_outermost_constant_expr): Use verify_constant. | |
495 | (adjust_temp_type): Use cp_fold_convert. | |
496 | * decl.c (build_enumerator): Don't call constant_expression_warning. | |
497 | * decl2.c (grokbitfield): Likewise. | |
498 | ||
499 | 2010-11-06 Jason Merrill <jason@redhat.com> | |
500 | ||
501 | PR c++/46348 | |
502 | * init.c (perform_member_init): Use build_vec_init_expr for | |
503 | value-init of arrays, too. | |
504 | * cp-gimplify.c (cp_gimplify_expr): Use VEC_INIT_EXPR_VALUE_INIT. | |
505 | * cp-tree.h (VEC_INIT_EXPR_IS_CONSTEXPR): New macro. | |
506 | (VEC_INIT_EXPR_VALUE_INIT): New macro. | |
507 | * semantics.c (potential_constant_expression): No longer static. | |
508 | Check VEC_INIT_EXPR_IS_CONSTEXPR. | |
509 | * tree.c (build_vec_init_expr): Handle value-init. Set | |
510 | VEC_INIT_EXPR_IS_CONSTEXPR and VEC_INIT_EXPR_VALUE_INIT. | |
511 | ||
512 | 2010-11-06 Nathan Froyd <froydnj@codesourcery.com> | |
513 | ||
514 | PR c++/45332 | |
515 | * parser.c (cp_lexer_previous_token): New function. | |
516 | (cp_parser_member_declaration): Use previous token for error | |
517 | messages. Assume semicolon presence rather than grovelling for | |
518 | the next one. | |
519 | ||
520 | 2010-11-06 Joern Rennecke <amylaar@spamcop.net> | |
521 | ||
522 | PR middle-end/46314 | |
523 | * method.c (make_alias_for_thunk): | |
524 | Use targetm.asm_out.generate_internal_label. | |
525 | ||
526 | 2010-11-05 Jason Merrill <jason@redhat.com> | |
527 | ||
528 | PR c++/45473 | |
529 | * search.c (look_for_overrides): A constructor is never virtual. | |
530 | ||
531 | 2010-11-05 Jakub Jelinek <jakub@redhat.com> | |
532 | ||
533 | PR c++/46160 | |
534 | * cp-gimplify.c (cp_gimplify_expr): Drop volatile MEM_REFs | |
535 | on the RHS to avoid infinite recursion with gimplify_expr. | |
536 | ||
537 | 2010-11-05 Jason Merrill <jason@redhat.com> | |
538 | ||
539 | PR c++/46304 | |
540 | * pt.c (tsubst_copy): Handle COMPLEX_CST. | |
541 | ||
542 | 2010-11-04 Nicola Pero <nicola.pero@meta-innovation.com> | |
543 | ||
544 | Fixed using the Objective-C 2.0 dot-syntax with class names. | |
545 | * parser.c (cp_parser_primary_expression): Recognize Objective-C | |
546 | 2.0 dot-syntax with class names and process it. | |
547 | (cp_parser_nonclass_name): Recognize Objective-C 2.0 dot-syntax | |
548 | with class names. | |
549 | (cp_parser_class_name): Same change. | |
550 | (cp_parser_simple_type_specifier): Tidied comments. | |
551 | ||
552 | 2010-11-04 Jason Merrill <jason@redhat.com> | |
553 | ||
554 | PR c++/46298 | |
555 | * semantics.c (build_constexpr_constructor_member_initializers): | |
556 | Handle an enclosing STATEMENT_LIST. | |
557 | ||
558 | * semantics.c (speculative_access_check): New. | |
559 | * cp-tree.h: Declare it. | |
560 | * call.c (build_over_call): Use it. | |
561 | * class.c (type_has_constexpr_default_constructor): Use locate_ctor. | |
562 | * method.c (locate_ctor): Use push/pop_deferring_access_checks. | |
563 | ||
564 | 2010-11-03 Jason Merrill <jason@redhat.com> | |
565 | ||
566 | PR c++/46293 | |
567 | * semantics.c (build_data_member_initialization): Handle | |
568 | value-init of aggregate empty base. | |
569 | ||
570 | PR c++/46289 | |
571 | * call.c (can_convert_array): New fn. | |
572 | (build_aggr_conv): Use it. | |
573 | ||
574 | PR c++/46289 | |
575 | * semantics.c (build_constexpr_constructor_member_initializers): | |
576 | Avoid ICE on error. | |
577 | ||
578 | 2010-11-02 Dodji Seketeli <dodji@redhat.com> | |
579 | ||
580 | * cp-tree.h (enum tsubst_flags)<tf_no_class_instantiations>: | |
581 | Remove. | |
582 | * pt.c (tsubst): Remove the use of tf_no_class_instantiations. | |
583 | ||
584 | 2010-11-03 Jason Merrill <jason@redhat.com> | |
585 | ||
586 | PR c++/46277 | |
587 | * init.c (expand_default_init): Avoid ICE if we can't figure out | |
588 | which function is being called. | |
589 | ||
590 | 2010-11-02 Nathan Froyd <froydnj@codesourcery.com> | |
591 | ||
592 | * class.c (build_base_path, add_vcall_offset): Use build_zero_cst | |
593 | instead of fold_convert. | |
594 | * init.c (build_zero_init): Likewise. | |
595 | * typeck.c (cp_build_binary_op): Likewise. | |
596 | ||
597 | 2010-11-02 Dodji Seketeli <dodji@redhat.com> | |
598 | ||
599 | PR c++/46170 | |
600 | PR c++/46162 | |
601 | * pt.c (check_valid_ptrmem_cst_expr): Add a complain parameter to | |
602 | control diagnostic. | |
603 | (convert_nontype_argument, convert_nontype_argument): Pass the | |
604 | complain parameter down to check_valid_ptrmem_cst_expr. | |
605 | ||
606 | 2010-11-02 Dodji Seketeli <dodji@redhat.com> | |
607 | ||
608 | PR c++/45606 | |
609 | * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): Remove. | |
610 | (struct template_parm_index_s)<num_siblings>: New field. | |
611 | (TEMPLATE_PARM_NUM_SIBLINGS): New accessor. | |
612 | (process_template_parm): Extend the API to accept the number of | |
613 | template parms in argument. | |
614 | (cp_set_underlying_type): Remove this. | |
615 | * class.c (build_self_reference): Require canonical type equality | |
616 | back on the self reference of class. | |
617 | * decl2.c (grokfield): Require canonical type equality back on | |
618 | typedef class fields. | |
619 | * name-lookup.c (pushdecl_maybe_friend): Require canonical type | |
620 | equality back on typedefs. | |
621 | * parser.c (cp_parser_template_parameter_list): Do not require | |
622 | canonical type equality on dependent types created during template | |
623 | parameters parsing. | |
624 | * pt.c (fixup_template_type_parm_type, fixup_template_parm_index) | |
625 | (fixup_template_parm, fixup_template_parms): New private | |
626 | functions. | |
627 | (current_template_args): Declare this. | |
628 | (process_template_parm): Pass the total number of template parms | |
629 | to canonical_type_parameter. | |
630 | (build_template_parm_index): Add a new argument to carry the total | |
631 | number of template parms. | |
632 | (reduce_template_parm_level, process_template_parm, make_auto): | |
633 | Adjust. | |
634 | (current_template_args): Fix this for template template | |
635 | parameters. | |
636 | (tsubst_template_parm): Split out of ... | |
637 | (tsubst_template_parms): ... this. | |
638 | (reduce_template_parm_level): Don't loose | |
639 | TEMPLATE_PARM_NUM_SIBLINGS when cloning a TEMPLATE_PARM_INDEX. | |
640 | (template_parm_to_arg): Extracted this function from | |
641 | current_template_args. Make it represent invalid template parms | |
642 | with an error_mark_node instead of a LIST_TREE containing an | |
643 | error_mark_node. | |
644 | (current_template_args): Use template_parm_to_arg. | |
645 | (dependent_template_arg_p): Consider an invalid template argument | |
646 | as dependent. | |
647 | (end_template_parm_list): Do not update template sibling parms | |
648 | here anymore. Use fixup_template_parms instead. | |
649 | (process_template_parm): Pass the number of template parms to | |
650 | canonical_type_parameter. | |
651 | (make_auto): Require structural equality on auto | |
652 | TEMPLATE_TYPE_PARM for now. | |
653 | (unify)<BOUND_TEMPLATE_TEMPLATE_PARM>: Coerce template parameters | |
654 | using all the arguments deduced so far. | |
655 | (tsubst)<TEMPLATE_TYPE_PARM>: Pass the number of sibling parms to | |
656 | canonical_type_parameter. | |
657 | * tree.c (cp_set_underlying_type): Remove. | |
658 | * typeck.c (get_template_parms_of_dependent_type) | |
659 | (incompatible_dependent_types_p): Remove. | |
660 | (structural_comptypes): Do not call incompatible_dependent_types_p | |
661 | anymore. | |
662 | (comp_template_parms_position): Re-organized. Take the length of | |
663 | template parms list in account. | |
664 | ||
665 | 2010-11-01 Jason Merrill <jason@redhat.com> | |
666 | ||
667 | * semantics.c (call_stack, call_stack_tick, cx_error_context): New. | |
668 | (last_cx_error_tick, push_cx_call_context, pop_cx_call_context): New. | |
669 | (cxx_eval_call_expression): Call push/pop_cx_call_context instead | |
670 | of giving follow-on errors. | |
671 | * error.c (maybe_print_constexpr_context): New. | |
672 | (cp_diagnostic_starter): Call it. | |
673 | * cp-tree.h: Declare cx_error_context. | |
674 | ||
675 | * semantics.c (cxx_eval_constant_expression): Explain | |
676 | unacceptable use of variable better. | |
677 | ||
678 | 2010-11-01 Gabriel Dos Reis <gdr@cse.tamu.edu> | |
679 | Jason Merrill <jason@redhat.com> | |
680 | ||
681 | * call.c (null_ptr_cst_p): Use maybe_constant_value. | |
682 | (set_up_extended_ref_temp): Support constant initialization. | |
683 | (initialize_reference): Adjust. | |
684 | * class.c (check_bitfield_decl): Use cxx_constant_value. | |
685 | * cvt.c (ocp_convert): Don't use integral_constant_value when | |
686 | converting to class type. | |
687 | * decl.c (finish_case_label): Use maybe_constant_value. | |
688 | (build_init_list_var_init): Support constant initialization. | |
689 | (check_initializer): Likewise. Reorganize. | |
690 | (cp_finish_decl): Likewise. | |
691 | (expand_static_init): Likewise. | |
692 | (compute_array_index_type): Use maybe_constant_value. | |
693 | Add complain parm. | |
694 | (create_array_type_for_decl, grokdeclarator): Pass it. | |
695 | (build_enumerator): Use cxx_constant_value. | |
696 | * decl2.c (grokfield): Use maybe_constant_init. | |
697 | * except.c (check_noexcept_r): Handle constexpr. | |
698 | (build_noexcept_spec): Use maybe_constant_value. | |
699 | * init.c (expand_default_init): Support constant initialization. | |
700 | (build_vec_init): Likewise. | |
701 | (constant_value_1): Adjust. | |
702 | (build_new_1): Adjust. | |
703 | * parser.c (cp_parser_constant_expression): Allow non-integral | |
704 | in C++0x mode. | |
705 | (cp_parser_direct_declarator): Don't fold yet in C++0x mode. | |
706 | (cp_parser_initializer_clause): Toss folded result if non-constant. | |
707 | * pt.c (fold_decl_constant_value): Remove. | |
708 | (convert_nontype_argument): Use maybe_constant_value. Give clearer | |
709 | error about overflow. | |
710 | (tsubst): Move array bounds handling into compute_array_index_type. | |
711 | (value_dependent_expression_p): Handle constant CALL_EXPR. | |
712 | (tsubst_decl): Don't set | |
713 | DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P yet. | |
714 | (tsubst_expr) [DECL_EXPR]: Pass it into cp_finish_decl. | |
715 | (instantiate_decl): Here too. | |
716 | * semantics.c (finish_static_assert): Use maybe_constant_value. | |
717 | (ensure_literal_type_for_constexpr_object): Make sure type is complete. | |
718 | (potential_constant_expression): Use maybe_constant_value. | |
719 | * tree.c (cast_valid_in_integral_constant_expression_p): Any cast | |
720 | is potentially valid in C++0x. | |
721 | * typeck2.c (store_init_value): Handle constant init. | |
722 | (check_narrowing): Use maybe_constant_value. | |
723 | (build_functional_cast): Set TREE_CONSTANT on literal T(). | |
724 | * cp-tree.h (DECL_INTEGRAL_CONSTANT_VAR_P): Remove. | |
725 | (LOOKUP_ALREADY_DIGESTED): New. | |
726 | (compute_array_index_type): Adjust prototype. | |
727 | ||
728 | * semantics.c (constexpr_call): New datatype. | |
729 | (constexpr_call_table): New global table. | |
730 | (constexpr_call_hash): New. | |
731 | (constexpr_call_equal): Likewise. | |
732 | (maybe_initialize_constexpr_call_table): Likewise. | |
733 | (lookup_parameter_binding): Likewise. | |
734 | (cxx_eval_builtin_function_call): Likewise. | |
735 | (cxx_bind_parameters_in_call): Likewise. | |
736 | (cxx_eval_call_expression): Likewise. | |
737 | (cxx_eval_unary_expression): Likewise. | |
738 | (cxx_eval_binary_expression): Likewise. | |
739 | (cxx_eval_conditional_expression): Likewise. | |
740 | (cxx_eval_array_reference): Likewise. | |
741 | (cxx_eval_component_reference): Likewise. | |
742 | (cxx_eval_logical_expression): Likewise. | |
743 | (cxx_eval_object_construction): Likewise. | |
744 | (cxx_eval_constant_expression): Likewise. | |
745 | (cxx_eval_indirect_ref): Likewise. | |
746 | (cxx_constant_value): Likewise. | |
747 | (cxx_eval_bare_aggregate): Likewise. | |
748 | (adjust_temp_type): New. | |
749 | (reduced_constant_expression_p): New. | |
750 | (verify_constant): New. | |
751 | (cxx_eval_vec_init, cxx_eval_vec_init_1): New. | |
752 | (cxx_eval_outermost_constant_expr): New. | |
753 | (maybe_constant_value, maybe_constant_init): New. | |
754 | (cxx_eval_constant_expression): Use them. | |
755 | * pt.c (iterative_hash_template_arg): No longer static. | |
756 | * cp-tree.h: Declare fns. | |
757 | ||
758 | * cp-tree.h (register_constexpr_fundef): Declare. | |
759 | * decl.c (maybe_save_function_definition): New. | |
760 | (finish_function): Use it. | |
761 | * semantics.c (constexpr_fundef): New datatype. | |
762 | (constexpr_fundef_table): New global table. | |
763 | (constexpr_fundef_equal): New. | |
764 | (constexpr_fundef_hash): Likewise. | |
765 | (retrieve_constexpr_fundef): Likewise. | |
766 | (validate_constexpr_fundecl): Store in the table. | |
767 | (build_data_member_initialization): New fn. | |
768 | (build_constexpr_constructor_member_initializers): New. | |
769 | (register_constexpr_fundef): Define. | |
770 | (is_this_parameter): New. | |
771 | (get_function_named_in_call): Likewise. | |
772 | (get_nth_callarg): Likewise. | |
773 | (check_automatic_or_tls): New. | |
774 | (morally_constexpr_builtin_function_p): New. | |
775 | (potential_constant_expression): New. | |
776 | ||
777 | 2010-11-01 Jason Merrill <jason@redhat.com> | |
778 | ||
779 | * decl2.c (decl_constant_var_p): New fn. | |
780 | (decl_maybe_constant_var_p): New fn. | |
781 | (mark_used): Rework instantiation of things needed for constant | |
782 | expressions. | |
783 | * cp-tree.h: Declare new fns. | |
784 | * pt.c (instantiate_decl): Handle cp_unevaluated_operand. | |
785 | (always_instantiate_p): Use decl_maybe_constant_var_p. | |
786 | (instantiate_decl): Don't defer constexpr functions. | |
787 | * repo.c (repo_emit_p): Use decl_maybe_constant_var_p. | |
788 | * semantics.c (finish_id_expression): Use decl_constant_var_p. | |
789 | Check for valid name in constant expr after mark_used. | |
790 | ||
791 | 2010-10-31 Jason Merrill <jason@redhat.com> | |
792 | ||
793 | * class.c (is_really_empty_class): Work when type is not complete. | |
794 | (synthesized_default_constructor_is_constexpr): New. | |
795 | (add_implicitly_declared_members): Use it. | |
796 | (type_has_constexpr_default_constructor): Likewise. | |
797 | * cp-tree.h: Declare it. | |
798 | * method.c (synthesized_method_walk): Use it. | |
799 | ||
800 | * decl.c (pop_switch): Use EXPR_LOC_OR_HERE. | |
801 | * typeck.c (convert_for_assignment): Likewise. | |
802 | ||
803 | * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful | |
804 | message about constexpr without -std=c++0x. | |
805 | ||
806 | * decl.c (grokdeclarator): Don't ICE on constexpr non-static data | |
807 | member. | |
808 | ||
809 | 2010-10-30 Nathan Froyd <froydnj@codesourcery.com> | |
810 | ||
811 | * class.c (layout_vtable_decl): Call build_array_of_n_type. | |
812 | (build_vtt, build_ctor_vtabl_group): Likewise. | |
813 | ||
814 | 2010-10-30 Nicola Pero <nicola.pero@meta-innovation.com> | |
815 | ||
816 | Implemented Objective-C 2.0 @property, @synthesize and @dynamic. | |
817 | * parser.c (cp_parser_objc_at_property_declaration): Removed | |
818 | parsing of RID_COPIES and RID_IVAR. Updated call to | |
819 | objc_add_property_declaration. | |
820 | * typecheck.c (finish_class_member_access_expr): Call | |
821 | objc_maybe_build_component_ref instead of objc_build_setter_call. | |
822 | (cp_build_modify_expr): Call objc_maybe_build_modify_expr instead | |
823 | of objc_build_getter_call. | |
824 | ||
825 | 2010-10-27 Jason Merrill <jason@redhat.com> | |
826 | ||
827 | * cp-tree.h (cp_trait_kind): Add CPTK_IS_LITERAL_TYPE. | |
828 | * cxx-pretty-print.c (pp_cxx_trait_expression): Handle it. | |
829 | * semantics.c (trait_expr_value, finish_trait_expr): Likewise. | |
830 | * parser.c (cp_parser_primary_expression): Handle RID_IS_LITERAL_TYPE. | |
831 | (cp_parser_trait_expr): Likewise. | |
832 | ||
833 | 2010-10-27 Gabriel Dos Reis <gdr@cse.tamu.edu> | |
834 | Jason Merrill <jason@redhat.com> | |
835 | ||
836 | * decl.c (finish_case_label): Use decl_constant_value. | |
837 | ||
838 | * method.c (synthesized_method_walk): Track constexprness too. | |
839 | (process_subob_fn, walk_field_subobs): Likewise. | |
840 | (implicitly_declare_fn): Set DECL_DECLARED_CONSTEXPR_P. | |
841 | (defaulted_late_check): Handle DECL_DECLARED_CONSTEXPR_P. | |
842 | * class.c (add_implicitly_declared_members): Handle | |
843 | constexpr default ctor. | |
844 | ||
845 | * parser.c (cp_parser_ctor_initializer_opt_and_function_body): | |
846 | Make sure a constexpr ctor has an empty body. | |
847 | * class.c (type_has_constexpr_default_constructor): New. | |
848 | * cp-tree.h: Declare it. | |
849 | * init.c (perform_member_init): Complain about uninitialized | |
850 | member in constexpr ctor. | |
851 | (emit_mem_initializers): And uninitialized base. | |
852 | * decl.c (check_tag_decl): Fix typo. | |
853 | ||
854 | * semantics.c (valid_type_in_constexpr_fundecl_p): New fn. | |
855 | (is_valid_constexpr_fn): New fn. | |
856 | (validate_constexpr_fundecl): Use it. | |
857 | * decl.c (validate_constexpr_redeclaration): New. | |
858 | (duplicate_decls): Use it. | |
859 | (cp_finish_decl): Call validate_constexpr_fundecl and | |
860 | ensure_literal_type_for_constexpr_object here. | |
861 | (start_decl): Not here. Don't ICE on constexpr reference. | |
862 | (check_for_uninitialized_const_var): Don't handle constexpr specially. | |
863 | (grokfndecl): Set DECL_DECLARED_CONSTEXPR_P. | |
864 | (check_static_variable_definition): Give friendly message about | |
865 | missing constexpr. | |
866 | (grokdeclarator): Complain about typedef and volatile with constexpr. | |
867 | Reorganize. Give sorry about non-static data members in C++0x mode. | |
868 | (start_preparsed_function): Check validate_constexpr_fundecl here. | |
869 | (check_function_type): Not here. | |
870 | * decl2.c (finish_static_data_member_decl): Don't complain about | |
871 | in-class init. | |
872 | * parser.c (CP_PARSER_FLAGS_ONLY_TYPE_OR_CONSTEXPR): New. | |
873 | (cp_parser_condition): Pass it to cp_parser_decl_specifier_seq. | |
874 | (cp_parser_decl_specifier_seq): Handle it. | |
875 | (cp_parser_explicit_instantiation): Diagnose inline and constexpr. | |
876 | ||
877 | * class.c (check_bases): Propagate non-literality. | |
878 | (check_field_decls): Likewise. | |
879 | (finalize_literal_type_property): New. | |
880 | (check_bases_and_members): Call it. | |
881 | * cp-tree.h (TYPE_HAS_CONSTEXPR_CTOR): New. | |
882 | (lang_type_class): Add has_constexpr_ctor field. | |
883 | (DECL_DECLARED_CONSTEXPR_P): Strip template. | |
884 | * decl.c (grok_special_member_properties): Set | |
885 | TYPE_HAS_CONSTEXPR_CTOR. | |
886 | ||
887 | 2010-10-27 Jason Merrill <jason@redhat.com> | |
888 | ||
889 | * call.c (build_integral_nontype_arg_conv): New. | |
890 | * cp-tree.h: Declare it. | |
891 | * pt.c (convert_nontype_argument): Use it. | |
892 | ||
893 | * error.c (dump_simple_decl): Print constexpr. | |
894 | ||
895 | * cvt.c (build_up_reference): Use target_type for the temporary var. | |
896 | ||
897 | * except.c (build_throw): Set EXPR_LOCATION. | |
898 | ||
899 | * tree.c (build_cplus_new): Handle CONSTRUCTOR. | |
900 | ||
901 | * semantics.c (finish_compound_stmt): Avoid creating an | |
902 | unnecessary BIND_EXPR. | |
903 | ||
904 | * call.c (convert_like_real): Don't check narrowing if the element | |
905 | is also an initializer-list. | |
906 | ||
907 | 2010-10-27 Nicola Pero <nicola.pero@meta-innovation.com> | |
908 | ||
909 | * parser.c (cp_parser_objc_at_property_declaration): Recognize | |
910 | RID_ASSIGN, RID_COPY, RID_RETAIN, RID_READWRITE and RID_NONATOMIC. | |
911 | Do not use objc_set_property_attr, but use local variables | |
912 | instead. Detect repeated usage of setter, getter and ivar | |
913 | attributes. Improved error processing when a setter name does not | |
914 | end in ':'. Do not check for CPP_CLOSE_PAREN after we determined | |
915 | that the token is a keyword. Updated call to | |
916 | objc_add_property_declaration. | |
917 | ||
918 | 2010-10-27 Nicola Pero <nicola.pero@meta-innovation.com> | |
919 | ||
920 | * parser.c (cp_parser_objc_property_decl): Renamed to | |
921 | cp_parser_objc_struct_declaration. Return the parsed trees | |
922 | instead of calling objc_add_property_variable directly. Detect | |
923 | missing or invalid declspecs. Implemented attributes. Do not eat | |
924 | the ';' at the end. Exit loop whenever a non-comma is parsed, not | |
925 | just EOF. | |
926 | (cp_parser_objc_at_property): Renamed to | |
927 | cp_parser_objc_at_property_declaration. Updated calls to | |
928 | objc_add_property_variable, now objc_add_property_declaration, and | |
929 | to cp_parser_objc_property_decl, now | |
930 | cp_parser_objc_struct_declaration. Rewritten all code to be more | |
931 | robust in dealing with syntax errors, and almost identical to the | |
932 | one in c_parser_objc_at_property_declaration. | |
933 | (cp_parser_objc_property_attrlist): Removed. | |
934 | (cp_parser_objc_method_prototype_list): Updated call to | |
935 | cp_parser_objc_at_property. | |
936 | (cp_parser_objc_method_definition_list): Same change. | |
937 | (cp_parser_objc_class_ivars): Detect a number of invalid | |
938 | declarations of instance variables and produce errors when they | |
939 | are found. | |
940 | ||
941 | 2010-10-26 Jason Merrill <jason@redhat.com> | |
942 | ||
943 | * tree.c (build_vec_init_expr): Split out from... | |
944 | (build_array_copy): ...here. | |
945 | * init.c (perform_member_init): Use it. | |
946 | * cp-tree.h: Declare it. | |
947 | * cp-gimplify.c (cp_gimplify_init_expr): Don't gimplify the slot for | |
948 | VEC_INIT_EXPR and AGGR_INIT_EXPR here. Drop pre/post parameters. | |
949 | (cp_gimplify_expr): Handle array default-initialization via | |
950 | VEC_INIT_EXPR. | |
951 | ||
952 | * tree.c (stabilize_expr): Handle xvalues properly. | |
953 | ||
954 | * call.c (build_over_call): Use argarray[0] for 'this' argument. | |
955 | ||
956 | * decl.c (finish_function): Don't look at function_depth. | |
957 | ||
958 | 2010-10-25 Rodrigo Rivas Costa <rodrigorivascosta@gmail.com> | |
959 | ||
960 | Implement opaque-enum-specifiers for C++0x. | |
961 | * cp-tree.h (SET_OPAQUE_ENUM_P): New. | |
962 | (OPAQUE_ENUM_P): New. | |
963 | (ENUM_FIXED_UNDERLYING_TYPE_P): New. | |
964 | (start_enum): Update prototype. | |
965 | (finish_enum_value_list): New prototype. | |
966 | * parser.c (cp_parser_elaborated_type_specifier): Issue a pedwarn if | |
967 | "enum class" is used in an elaborated-type-specifier. | |
968 | (cp_parser_enum_specifier): Rewrite to parse opaque-enum-specifiers. | |
969 | * decl.c (copy_type_enum): New. | |
970 | (finish_enum_value_list): New, with code from finish_enum. | |
971 | (finish_enum): A lot of code removed. Added a gcc_assert. | |
972 | (start_enum): Add parameters enumtype and is_new. | |
973 | Rewrite to work with opaque-enum-specifiers. | |
974 | * pt.c (maybe_process_partial_specialization): Allow for template | |
975 | specialization of enumerations, with a pedwarn. | |
976 | (lookup_template_class): Update call to start_enum. Call to | |
977 | SET_OPAQUE_ENUM_P. | |
978 | (tsubst_enum): Call to begin_scope, finish_scope and | |
979 | finish_enum_value_list. | |
980 | ||
981 | 2010-10-24 Nicola Pero <nicola.pero@meta-innovation.com> | |
982 | ||
983 | Removed Objective-C++ specific replacement of cxx_printable_name. | |
984 | * cp-objcp-common.h: Added LANG_HOOKS_DECL_PRINTABLE_NAME, set | |
985 | to cxx_printable_name for both C++ and Objective-C++. | |
986 | * cp-lang.h: Removed LANG_HOOKS_DECL_PRINTABLE_NAME. | |
987 | ||
988 | * error.c (dump_decl): For Objective-C++, call | |
989 | objc_maybe_printable_name here ... | |
990 | * tree.c (cxx_printable_name_internal): ... instead of here. | |
991 | ||
992 | 2010-10-23 Nicola Pero <nicola.pero@meta-innovation.com> | |
993 | ||
994 | * tree.c (cxx_printable_name_internal): In Objective-C++, call | |
995 | objc_maybe_printable_name. | |
996 | ||
997 | 2010-10-22 Jason Merrill <jason@redhat.com> | |
998 | ||
999 | PR c++/46129 | |
1000 | * pt.c (instantiate_class_template): Don't instantiate default | |
1001 | arguments. | |
1002 | ||
1003 | PR c++/46103 | |
1004 | * init.c (build_vec_init): Handle memberwise move. | |
1005 | ||
1006 | 2010-10-21 Paolo Carlini <paolo.carlini@oracle.com> | |
1007 | ||
1008 | PR c++/46117 | |
1009 | * call.c (add_function_candidate): Don't use TREE_VALUE on null | |
1010 | parmnode. | |
1011 | ||
1012 | 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> | |
1013 | ||
1014 | * parser.c (cp_parser_objc_method_type): Mark inline. Return a | |
1015 | bool instead of calling objc_set_method_type. | |
1016 | (cp_parser_objc_method_signature): Updated calls to | |
1017 | cp_parser_objc_method_type and to objc_build_method_signature. | |
1018 | (cp_parser_objc_method_prototype_list): Updated calls to | |
1019 | objc_add_method_declaration. Use token->type to determine if it | |
1020 | is a class method or not. | |
1021 | (cp_parser_objc_method_definition_list): Same change. | |
1022 | ||
1023 | 2010-10-20 Rodrigo Rivas Costa <rodrigorivascosta@gmail.com> | |
1024 | ||
1025 | PR c++/46056 | |
1026 | * parser.c (cp_convert_range_for): Call cp_finish_decl | |
1027 | instead of finish_expr_stmt. | |
1028 | ||
1029 | 2010-10-20 Nicola Pero <nicola.pero@meta-innovation.com> | |
1030 | ||
1031 | * cp-lang.c (finish_file): Removed. | |
1032 | * decl2.c (cp_write_global_declarations): Call | |
1033 | objc_write_global_declarations when compiling Objective-C++. | |
1034 | ||
1035 | 2010-10-19 Paolo Carlini <paolo.carlini@oracle.com> | |
1036 | ||
1037 | PR c++/46046 | |
1038 | * pt.c (add_to_template_args): Check extra_args for error_mark_node. | |
1039 | (coerce_template_parms): Likewise for args. | |
1040 | ||
1041 | 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com> | |
1042 | ||
1043 | Implemented parsing @synthesize and @dynamic for Objective-C++. | |
1044 | * parser.c (cp_parser_objc_method_definition_list): Recognize | |
1045 | RID_AT_SYNTHESIZE and RID_AT_DYNAMIC. | |
1046 | (cp_parser_objc_at_dynamic_declaration): New. | |
1047 | (cp_parser_objc_at_synthesize_declaration): New. | |
1048 | ||
1049 | 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com> | |
1050 | ||
1051 | * parser.c (cp_parser_objc_identifier_list): Check the return | |
1052 | value of cp_parser_identifier and react if it is error_mark_node. | |
1053 | ||
1054 | 2010-10-18 Nicola Pero <nicola.pero@meta-innovation.com> | |
1055 | ||
1056 | Merge from apple/trunk branch on FSF servers. | |
1057 | ||
1058 | 2005-03-01 Fariborz Jahanian <fjahanian@apple.com> | |
1059 | ||
1060 | Radar 4451818 | |
1061 | * call.c (standard_conversion, implicit_conversion): Ignore | |
1062 | 'volatile' attribute of artificially volatized type in objc when | |
1063 | evaluating various conversion weights. | |
1064 | ||
1065 | 2005-11-08 Fariborz Jahanian <fjahanian@apple.com> | |
1066 | ||
1067 | Radar 4330422 | |
1068 | * typeck.c (comp_ptr_ttypes_real): Remove the hack. un-volatize the | |
1069 | artiificially 'volatized' type before doing pointer comparison. | |
1070 | ||
1071 | 2010-10-18 Jakub Jelinek <jakub@redhat.com> | |
1072 | ||
1073 | PR c/46015 | |
1074 | * semantics.c (finish_goto_stmt): Call mark_rvalue_use on computed | |
1075 | goto destination. | |
1076 | ||
1077 | 2010-10-17 Nicola Pero <nicola.pero@meta-innovation.com> | |
1078 | ||
1079 | Merge from apple/trunk branch on FSF servers. | |
1080 | ||
1081 | 2006-04-19 Fariborz Jahanian <fjahanian@apple.com> | |
1082 | ||
1083 | Radar 4516785 | |
1084 | * parser.c (cp_parser_simple_type_specifier): Don't lookup for | |
1085 | objc object types if type is scope qualified. | |
1086 | ||
1087 | 2010-10-17 Nicola Pero <nicola.pero@meta-innovation.com> | |
1088 | ||
1089 | Merge from apple/trunk branch on FSF servers. | |
1090 | ||
1091 | 2006-03-27 Fariborz Jahanian <fjahanian@apple.com> | |
1092 | ||
1093 | Radar 4133425 | |
1094 | * lex.c (unqualified_name_lookup_error): Issue diagnostic | |
1095 | for private 'ivar' access. | |
1096 | ||
1097 | 2010-10-17 Iain Sandoe <iains@gcc.gnu.org> | |
1098 | ||
1099 | * parser.c (cp_parser_objc_visibility_spec): Update to use visibility | |
1100 | enum, and handle @package. | |
1101 | ||
1102 | 2010-10-15 Jason Merrill <jason@redhat.com> | |
1103 | ||
1104 | PR c++/45983 | |
1105 | * tree.c (cp_build_qualified_type_real): Don't reuse a variant | |
1106 | with a different typedef variant of the element type. | |
1107 | ||
1108 | 2010-10-14 Iain Sandoe <iains@gcc.gnu.org> | |
1109 | ||
1110 | merge from FSF apple 'trunk' branch. | |
1111 | 2006 Fariborz Jahanian <fjahanian@apple.com> | |
1112 | ||
1113 | Radars 4436866, 4505126, 4506903, 4517826 | |
1114 | * typeck.c (finish_class_member_access_expr): Handle CLASS.property | |
1115 | syntax. | |
1116 | (cp_build_modify_expr): Likewise. | |
1117 | * parser.c (cp_parser_objc_method_prototype_list): Handle @property. | |
1118 | (cp_parser_objc_method_definition_list): Likewise. | |
1119 | (cp_parser_objc_property_decl): New. | |
1120 | (cp_parser_objc_property_attrlist): New. | |
1121 | (cp_parser_objc_at_property): New. | |
1122 | ||
1123 | 2010-10-14 Richard Guenther <rguenther@suse.de> | |
1124 | ||
1125 | PR lto/44561 | |
1126 | * cp-tree.h (NULLPTR_TYPE_P): Adjust. | |
1127 | * decl.c (cxx_init_decl_processing): Build a NULLPTR_TYPE node, | |
1128 | use build_int_cst. | |
1129 | * error.c (dump_type): Handle NULLPTR_TYPE. | |
1130 | (dump_type_prefix): Likewise. | |
1131 | (dump_type_suffix): Likewise. | |
1132 | * mangle.c (write_type): Likewise. | |
1133 | * name-lookup.c (arg_assoc_type): Likewise. | |
1134 | * rtti.c (typeinfo_in_lib_p): Likewise. | |
1135 | * pt.c (tsubst): Likewise. | |
1136 | ||
1137 | 2010-10-13 Jason Merrill <jason@redhat.com> | |
1138 | ||
1139 | PR c++/45984 | |
1140 | * class.c (fixup_attribute_variants): New fn. | |
1141 | * cp-tree.h: Declare it. | |
1142 | * pt.c (instantiate_class_template): Call it. | |
1143 | * semantics.c (begin_class_definition): Call it. | |
1144 | ||
1145 | 2010-10-13 Richard Henderson <rth@redhat.com> | |
1146 | ||
1147 | * cp-lang.c (cp_eh_personality): Update call to | |
1148 | build_personality_function. | |
1149 | * except.c (choose_personality_routine): Update function comment. | |
1150 | ||
1151 | 2010-10-13 Richard Guenther <rguenther@suse.de> | |
1152 | ||
1153 | * tree.c (cp_free_lang_data): Free DECL_NAMESPACE_USERS and | |
1154 | clear DECL_CHAIN of NAMESPACE_DECLs. | |
1155 | ||
1156 | 2010-10-11 Martin Jambor <mjambor@suse.cz> | |
1157 | ||
1158 | PR c++/45562 | |
1159 | * cp-tree.h (current_class_ref): Check that cp_function_chain is | |
1160 | non-NULL. | |
1161 | * call.c (build_cxx_call): Likewise. | |
1162 | ||
1163 | 2010-10-10 Jason Merrill <jason@redhat.com> | |
1164 | ||
1165 | * pt.c (tsubst_default_argument): Handle DEFAULT_ARG. | |
1166 | (tsubst_default_arguments): Only do this once for cloned fns. | |
1167 | (tsubst): Use typedef_variant_p. Handle LANG_TYPE. Don't | |
1168 | handle expressions. | |
1169 | (tsubst_expr): Avoid calling tsubst_expr for non-expressions. | |
1170 | (tsubst_copy_and_build): Likewise. | |
1171 | (tsubst_initializer_list): Likewise. | |
1172 | (tsubst_copy): Change default to gcc_unreachable. Handle | |
1173 | OVERLOAD and PTRMEM_CST. | |
1174 | ||
1175 | 2010-10-10 Jason Merrill <jason@redhat.com> | |
1176 | ||
1177 | PR lto/45959 | |
1178 | PR lto/45960 | |
1179 | * pt.c (tsubst_copy) [INTEGER_CST]: Instantiate the type. | |
1180 | ||
1181 | 2010-10-07 Andi Kleen <ak@linux.intel.com> | |
1182 | ||
1183 | * Make-lang.in (c++_OBJS): Remove dummy-checksum.o. | |
1184 | (cc1plus-dummy): Remove. | |
1185 | (cc1plus-checksum): Change to run checksum over object files | |
1186 | and options only. | |
1187 | ||
1188 | 2010-10-08 Joseph Myers <joseph@codesourcery.com> | |
1189 | ||
1190 | * cp-objcp-common.h (LANG_HOOKS_INIT_OPTIONS_STRUCT): Define. | |
1191 | ||
1192 | 2010-10-07 Nicola Pero <nicola.pero@meta-innovation.com> | |
1193 | ||
1194 | * cp-tree.def: Changed type of AT_ENCODE_EXPR from tcc_unary to | |
1195 | tcc_expression. | |
1196 | * cxx-pretty-print.c (pp_cxx_unary_expression): Added case for | |
1197 | AT_ENCODE_EXPR. | |
1198 | * error.c (dump_expr): Added case for AT_ENCODE_EXPR. | |
1199 | * pt.c (tsubst_copy): Added case for AT_ENCODE_EXPR. | |
1200 | (value_dependent_expression_p): Added case for AT_ENCODE_EXPR. | |
1201 | (type_dependent_expression_p): Added case for AT_ENCODE_EXPR. | |
1202 | * parser.c (cp_parser_objc_encode_expression): Updated comment. | |
1203 | ||
1204 | 2010-10-07 Nicola Pero <nicola.pero@meta-innovation.com> | |
1205 | ||
1206 | Merge from apple/trunk branch on FSF servers. | |
1207 | ||
1208 | 2006-04-26 Fariborz Jahanian <fjahanian@apple.com> | |
1209 | ||
1210 | Radar 4508851 | |
1211 | * parser.c (cp_parser_objc_interstitial_code): Recognize | |
1212 | and parse RID_NAMESPACE keyword. | |
1213 | ||
1214 | 2010-10-07 Iain Sandoe <iains@gcc.gnu.org> | |
1215 | ||
1216 | * parser.c (cp_parser_objc_method_tail_params_opt): Peek new token after | |
1217 | finding ellipsis, before checking for attributes. | |
1218 | ||
1219 | 2010-10-06 Nicola Pero <nicola.pero@meta-innovation.com> | |
1220 | ||
1221 | Merge from apple/trunk branch on FSF servers. | |
1222 | * cp-tree.def: Added AT_ENCODE_EXPR here instead of to the no | |
1223 | longer existing gcc/c-common.def. | |
1224 | ||
1225 | 2005-12-14 Fariborz Jahanian <fjahanian@apple.com> | |
1226 | ||
1227 | Radar 4278774 | |
1228 | * pt.c (tsubst_copy_and_build): Instantiate @endcode(T). | |
1229 | * parser.c (cp_parser_objc_encode_expression): Build a templatized | |
1230 | parse tree for @encode(T). | |
1231 | ||
1232 | 2005-12-14 Fariborz Jahanian <fjahanian@apple.com> | |
1233 | ||
1234 | Radar 4278774 | |
1235 | * c-common.def: Add new expression code AT_ENCODE_EXPR. | |
1236 | ||
1237 | 2010-10-06 Eric Botcazou <ebotcazou@adacore.com> | |
1238 | ||
1239 | PR c++/45908 | |
1240 | * typeck.c (cp_build_addr_expr_1): Add check for incomplete types in | |
1241 | code folding offsetof-like computations. | |
1242 | ||
1243 | 2010-10-05 Nicola Pero <nicola.pero@meta-innovation.com> | |
1244 | ||
1245 | PR objc++/31125 | |
1246 | * parser.c (cp_parser_objc_class_interface): If no identifier | |
1247 | follows an @interface token, stop parsing the interface after | |
1248 | printing an error. | |
1249 | (cp_parser_objc_class_implementation): If no identifier follows an | |
1250 | @implementation token, stop parsing the implementation after | |
1251 | printing an error. | |
1252 | ||
1253 | 2010-10-05 Nicola Pero <nicola.pero@meta-innovation.com> | |
1254 | ||
1255 | PR objc++/23707 | |
1256 | * parser.c (cp_parser_objc_method_keyword_params): If the required | |
1257 | colon is not found while parsing parameters, stop parsing them. | |
1258 | ||
1259 | 2010-10-05 Nicola Pero <nicola.pero@meta-innovation.com> | |
1260 | ||
1261 | PR objc++/31126 | |
1262 | * parser.c (cp_parser_objc_class_ivars): Do not eat the EOF or | |
1263 | @end after detecting it. Print an error if @end is found without | |
1264 | a '}'. | |
1265 | (cp_parser_objc_method_prototype_list): Do not eat the EOF after | |
1266 | detecting it. Fixed reading the next token when continuing | |
1267 | because of an error in a method signature. Print an error if EOF | |
1268 | is found without an '@end'. | |
1269 | (cp_parser_objc_method_definition_list): Same change. | |
1270 | ||
1271 | 2010-10-05 Nicola Pero <nicola.pero@meta-innovation.com> | |
1272 | ||
1273 | Merge from apple/trunk branch on FSF servers: | |
1274 | ||
1275 | 2005-10-17 Fariborz Jahanian <fjahanian@apple.com> | |
1276 | ||
1277 | Radar 4290840 | |
1278 | * parser.c (cp_parser_objc_method_keyword_params): Check for valid | |
1279 | method parameters and issue error. | |
1280 | (cp_parser_objc_method_definition_list): Check for invalid tokens | |
1281 | which cannot start a function definition. | |
1282 | ||
1283 | 2005-10-14 Fariborz Jahanian <fjahanian@apple.com> | |
1284 | ||
1285 | Radar 4294425 | |
1286 | * parser.c (cp_parser_objc_message_args): Check for missing message | |
1287 | arguments and syntax error. | |
1288 | ||
1289 | 2005-10-13 Fariborz Jahanian <fjahanian@apple.com> | |
1290 | ||
1291 | Radar 4261146 | |
1292 | * parser.c (cp_parser_objc_class_ivars): Check for @end/eof while | |
1293 | looking for '}'. | |
1294 | ||
1295 | 2005-08-15 Ziemowit Laski <zlaski@apple.com> | |
1296 | ||
1297 | Radar 4093475 | |
1298 | * parser.c (cp_parser_objc_interstitial_code): Catch stray | |
1299 | '{' and '}' tokens and issue appropriate errors. | |
1300 | ||
1301 | 2005-08-02 Ziemowit Laski <zlaski@apple.com> | |
1302 | ||
1303 | Radar 4185810 | |
1304 | (cp_parser_statement_seq_opt): In addition to '}' and | |
1305 | end-of-file, a statement sequence may also be terminated | |
1306 | by a stray '@end'. | |
1307 | ||
1308 | 2010-10-05 Joseph Myers <joseph@codesourcery.com> | |
1309 | ||
1310 | * cp-tree.h (cxx_print_error_function, | |
1311 | cxx_initialize_diagnostics): Declare using diagnostic_context | |
1312 | typedef. | |
1313 | ||
1314 | 2010-10-04 Andi Kleen <ak@linux.intel.com> | |
1315 | ||
1316 | * Make-lang.in (g++, cc1plus): Add + to build rule. | |
1317 | ||
1318 | 2010-10-04 Jason Merrill <jason@redhat.com> | |
1319 | ||
1320 | * tree.c (decl_storage_duration): New. | |
1321 | * cp-tree.h: Declare it. | |
1322 | (duration_kind): Return values. | |
1323 | ||
1324 | 2010-10-03 Jason Merrill <jason@redhat.com> | |
1325 | ||
1326 | * typeck.c (require_complete_type_sfinae): Add complain parm to... | |
1327 | (require_complete_type): ...this function. | |
1328 | (cp_build_array_ref, convert_arguments): Use it. | |
1329 | (convert_for_initialization, cp_build_modify_expr): Likewise. | |
1330 | * cp-tree.h: Declare it. | |
1331 | * call.c (build_over_call): Use it. | |
1332 | ||
1333 | 2010-09-30 Iain Sandoe <iains@gcc.gnu.org> | |
1334 | ||
1335 | merge from FSF 'apple/trunk' branch. | |
1336 | 2006-01-30 Fariborz Jahanian <fjahanian@apple.com> | |
1337 | ||
1338 | Radar 4386773 | |
1339 | * cp/parser.c (cp_parser_objc_interstitial_code): For | |
1340 | @optional/@required set the optional/required flag. | |
1341 | ||
1342 | 2010-09-30 Nicola Pero <nicola.pero@meta-innovation.com> | |
1343 | ||
1344 | * parser.c (cp_lexer_get_preprocessor_token): Tidied up comments | |
1345 | and indentation when finding an Objective-C++ CPP_AT_NAME token. | |
1346 | ||
1347 | 2010-09-29 Richard Guenther <rguenther@suse.de> | |
1348 | ||
1349 | * cp-tree.h (CP_DECL_CONTEXT): Check DECL_FILE_SCOPE_P. | |
1350 | (CP_TYPE_CONTEXT): Similar. | |
1351 | (FROB_CONTEXT): Frob global_namespace to the global | |
1352 | TRANSLATION_UNIT_DECL. | |
1353 | * decl.c (cxx_init_decl_processing): Build a TRANSLATION_UNIT_DECL, | |
1354 | set DECL_CONTEXT of global_namespace to it. | |
1355 | (start_decl): Use CP_DECL_CONTEXT and test TYPE_P | |
1356 | instead of zeroing context. | |
1357 | (cp_finish_decl): Use DECL_FILE_SCOPE_P. | |
1358 | (grokfndecl): Likewise. | |
1359 | (start_preparsed_function): Likewise. | |
1360 | * name-lookup.c (maybe_push_decl): Use DECL_NAMESPACE_SCOPE_P. | |
1361 | (namespace_binding): Use SCOPE_FILE_SCOPE_P. | |
1362 | * pt.c (template_class_depth): Use CP_TYPE_CONTEXT. | |
1363 | (is_specialization_of_friend): Use CP_DECL_CONTEXT. | |
1364 | (push_template_decl_real): Likewise. | |
1365 | (tsubst_friend_class): Likewise. Adjust context comparisons. | |
1366 | (instantiate_class_template): Use CP_TYPE_CONTEXT. | |
1367 | (tsubst): Do not substitute into TRANSLATION_UNIT_DECL. | |
1368 | * cxx-pretty-print.c (pp_cxx_nested_name_specifier): Use | |
1369 | SCOPE_FILE_SCOPE_P. | |
1370 | ||
1371 | 2010-09-29 Yao Qi <yao@codesourcery.com> | |
1372 | ||
1373 | * decl.c (get_atexit_node): Fix typo. | |
1374 | ||
1375 | 2010-09-28 Jason Merrill <jason@redhat.com> | |
1376 | ||
1377 | * tree.c (lvalue_kind): Rename from lvalue_p_1, make nonstatic. | |
1378 | (real_lvalue_p): Take const_tree. | |
1379 | * cp-tree.h: Adjust. | |
1380 | * typeck.c (lvalue_or_else): Make temporary arg a permerror. | |
1381 | (cp_build_addr_expr_1): Likewise. | |
1382 | ||
1383 | 2010-09-28 Iain Sandoe <iains@gcc.gnu.org> | |
1384 | ||
1385 | Partially merged from apple/trunk branch on FSF servers: | |
1386 | 2006-04-26 Fariborz Jahanian <fjahanian@apple.com> | |
1387 | Radar 3803157 (method attributes) | |
1388 | ||
1389 | * parser.c (cp_parser_objc_method_keyword_params): Handle attributes. | |
1390 | (cp_parser_objc_method_tail_params_opt): Likewise. | |
1391 | (cp_parser_objc_method_signature): Likewise. | |
1392 | (cp_parser_objc_method_maybe_bad_prefix_attributes): New. | |
1393 | (cp_parser_objc_method_prototype_list): Handle attributes. | |
1394 | (cp_parser_objc_method_definition_list): Likewise. | |
1395 | ||
1396 | 2010-09-28 Richard Henderson <rth@redhat.com> | |
1397 | ||
1398 | * cp-lang.c: Include "target.h". | |
1399 | (cp_eh_personality): Use targetm.except_unwind_info. | |
1400 | * Make-lang.in (cp-lang.o): Update deps. | |
1401 | ||
1402 | 2010-09-28 Iain Sandoe <iains@gcc.gnu.org> | |
1403 | ||
1404 | * parser.c (cp_parser_objc_valid_prefix_attributes): New. | |
1405 | (cp_parser_declaration): Parse prefix attributes for ObjC++. | |
1406 | (cp_parser_objc_protocol_declaration): Handle attributes. | |
1407 | (cp_parser_objc_class_interface): Likewise. | |
1408 | (cp_parser_objc_declaration): Likewise. | |
1409 | ||
1410 | 2010-09-27 Jason Merrill <jason@redhat.com> | |
1411 | ||
1412 | Require lvalues as specified by the standard. | |
1413 | * typeck.c (lvalue_or_else): Use real_lvalue_p. | |
1414 | (cp_build_addr_expr_1): Split out of cp_build_unary_op. | |
1415 | (cp_build_addr_expr, cp_build_addr_expr_strict): Interfaces. | |
1416 | (decay_conversion, get_member_function_from_ptrfunc): Adjust. | |
1417 | (build_x_unary_op, build_reinterpret_cast_1): Adjust. | |
1418 | (build_const_cast_1): Adjust. | |
1419 | * cp-tree.h: Declare new fns. | |
1420 | * call.c (build_this, convert_like_real, build_over_call): Adjust. | |
1421 | (initialize_reference): Adjust. | |
1422 | * class.c (build_base_path, convert_to_base_statically): Adjust. | |
1423 | (build_vfn_ref, resolve_address_of_overloaded_function): Adjust. | |
1424 | * cvt.c (build_up_reference, convert_to_reference): Adjust. | |
1425 | * decl.c (register_dtor_fn): Adjust. | |
1426 | * decl2.c (build_offset_ref_call_from_tree): Adjust. | |
1427 | * except.c (initialize_handler_parm): Adjust. | |
1428 | * init.c (build_offset_ref, build_delete, build_vec_delete): Adjust. | |
1429 | * rtti.c (build_dynamic_cast_1, tinfo_base_init): Adjust. | |
1430 | * tree.c (stabilize_expr): Adjust. | |
1431 | ||
1432 | 2010-09-27 Nicola Pero <nicola.pero@meta-innovation.com> | |
1433 | ||
1434 | Merge from apple/trunk branch on FSF servers: | |
1435 | ||
1436 | 2005-12-15 Fariborz Jahanian <fjahanian@apple.com> | |
1437 | ||
1438 | Radar 4229905 | |
1439 | * typeck.c (composite_pointer_type): Call objc_have_common_type | |
1440 | when comparing two objective-c pointer types. | |
1441 | ||
1442 | 2005-07-18 Ziemowit Laski <zlaski@apple.com> | |
1443 | ||
1444 | Radar 4175534 | |
1445 | * call.c (standard_conversion): Do not issue warnings when | |
1446 | comparing ObjC pointer types. | |
1447 | ||
1448 | 2005-06-22 Ziemowit Laski <zlaski@apple.com> | |
1449 | ||
1450 | Radar 4154928 | |
1451 | * call.c (standard_conversion): Allow for a pointer conversion | |
1452 | between any two ObjC pointer types. | |
1453 | * typeck.c (composite_pointer_type): Determine common type | |
1454 | for two ObjC pointer types. | |
1455 | ||
1456 | 2010-09-24 Jan Hubicka <jh@suse.cz> | |
1457 | ||
1458 | * decl.c (finish_function): Use decl_replaceable_p | |
1459 | * method.c (make_alias_for_thunk): Update call of | |
1460 | cgraph_same_body_alias. | |
1461 | ||
1462 | 2010-09-24 Jason Merrill <jason@redhat.com> | |
1463 | ||
1464 | * decl.c (compute_array_index_type): Remember type dependence of | |
1465 | array bound. | |
1466 | * pt.c (dependent_type_p_r): Don't recompute it here. | |
1467 | ||
1468 | * error.c (dump_expr) [CASE_CONVERT]: Print conversion between | |
1469 | reference and pointer to the same type as "*" or "&". | |
1470 | ||
1471 | 2010-09-24 Nicola Pero <nicola.pero@meta-innovation.com> | |
1472 | ||
1473 | * typeck.c (warn_args_num): Use warning 'too many arguments to | |
1474 | method [methodname]' for an Objective-C method instead of the less | |
1475 | satisfactory 'too many arguments to function' (with no method | |
1476 | name). | |
1477 | ||
1478 | 2010-09-21 Jason Merrill <jason@redhat.com> | |
1479 | ||
1480 | * mangle.c (write_expression) [SCOPE_REF]: Only do -fabi-version=1 | |
1481 | special handling if we know the member. | |
1482 | ||
1483 | 2010-09-18 Jason Merrill <jason@redhat.com> | |
1484 | ||
1485 | * call.c (compare_ics): Do lvalue/rvalue reference binding | |
1486 | comparison for ck_list, too. | |
1487 | ||
1488 | 2010-09-15 Jason Merrill <jason@redhat.com> | |
1489 | ||
1490 | * semantics.c (finish_id_expression): Diagnose use of function | |
1491 | parms in evaluated context outside function body. | |
1492 | ||
1493 | * decl2.c (grokbitfield): Diagnose non-integral width. | |
1494 | ||
1495 | * call.c (convert_like_real): Use the underlying type of the | |
1496 | reference for the temporary. | |
1497 | ||
1498 | 2010-09-15 Jakub Jelinek <jakub@redhat.com> | |
1499 | ||
1500 | PR c++/45635 | |
1501 | * class.c (build_vtbl_initializer): Use fn instead of init's operand | |
1502 | as first argument to FDESC_EXPR. | |
1503 | ||
1504 | 2010-09-15 Paolo Carlini <paolo.carlini@oracle.com> | |
1505 | ||
1506 | PR c++/45665 | |
1507 | * decl.c (grokdeclarator): Check build_memfn_type return value | |
1508 | for error_mark_node. | |
1509 | ||
1510 | 2010-09-13 Rodrigo Rivas Costa <rodrigorivascosta@gmail.com> | |
1511 | ||
1512 | * semantics.c (finish_for_stmt): Always test flag_new_for_scope. | |
1513 | (begin_range_for_stmt): Likewise. | |
1514 | ||
1515 | 2010-09-11 Rodrigo Rivas <rodrigorivascosta@gmail.com> | |
1516 | ||
1517 | Implement range-based for-statements. | |
1518 | * cp-tree.def (RANGE_FOR_STMT): New. | |
1519 | * cp-tree.h (RANGE_FOR_DECL, RANGE_FOR_EXPR, RANGE_FOR_BODY): New. | |
1520 | (cp_convert_range_for): Declare. | |
1521 | * pt.c (tsubst_expr): Add RANGE_FOR_STMT. | |
1522 | (tsubst_copy_and_build): perform_koenig_lookup takes extra argument. | |
1523 | * semantics.c (begin_range_for_stmt): New. | |
1524 | (finish_range_for_decl): New. | |
1525 | (finish_for_stmt): Accept also RANGE_FOR_STMT. | |
1526 | (perform_koenig_lookup): Add extra argument include_std. | |
1527 | * parser.c (cp_parser_c_for): New with code from | |
1528 | cp_parser_iteration_statement(). | |
1529 | (cp_parser_range_for): New. | |
1530 | (cp_convert_range_for): New. | |
1531 | (cp_parser_iteration_statement): Add range-for support. | |
1532 | (cp_parser_condition): Adjust comment. | |
1533 | (cp_parser_postfix_expression): perform_koenig_lookup takes extra | |
1534 | argument. | |
1535 | * dump.c (cp_dump_tree): Add RANGE_FOR_STMT. | |
1536 | * cxx-pretty-print.c: Likewise. | |
1537 | * lex.c (cxx_init): Likewise. | |
1538 | * name-lookup.c (lookup_function_nonclass): Add extra argument | |
1539 | include_std. | |
1540 | (lookup_arg_dependent): Likewise. | |
1541 | * name-lookup.h: Likewise. | |
1542 | ||
1543 | 2010-09-10 Rodrigo Rivas Costa <rodrigorivascosta@gmail.com> | |
1544 | ||
1545 | PR c++/43824 | |
1546 | * error.c (maybe_warn_cpp0x): Add new warning | |
1547 | CPP0X_INLINE_NAMESPACES. | |
1548 | * parser.c (cp_parser_namespace_definition): Likewise. | |
1549 | * cp-tree.h (cpp0x_warn_str): Likewise. | |
1550 | ||
1551 | 2010-09-10 Richard Guenther <rguenther@suse.de> | |
1552 | ||
1553 | * decl.c (reshape_init_vector): For VECTOR_TYPEs, use | |
1554 | TYPE_VECTOR_SUBPARTS instead of TYPE_DEBUG_REPRESENTATION_TYPE. | |
1555 | ||
1556 | 2010-09-10 Jan Hubicka <jh@suse.cz> | |
1557 | ||
1558 | PR tree-optimization/45605 | |
1559 | * cp/class.c (build_vtbl_initializer): Avoid wrong type conversion in | |
1560 | ADDR_EXPR. | |
1561 | ||
1562 | 2010-09-08 Jakub Jelinek <jakub@redhat.com> | |
1563 | ||
1564 | PR c++/45588 | |
1565 | * pt.c (tsubst) <case INTEGER_TYPE>: Call mark_rvalue_use | |
1566 | before calling fold_decl_constant_value. | |
1567 | ||
1568 | 2010-09-07 Arnaud Charlet <charlet@adacore.com> | |
1569 | ||
1570 | * cp-tree.h (build_enumerator): Add new location_t parameter. | |
1571 | (build_lang_decl_loc): New function. | |
1572 | * decl.c (build_enumerator): New parameter loc. Use it when calling | |
1573 | build_decl. Replace build_lang_decl with build_lang_decl_loc. | |
1574 | * pt.c (tsubst_enum): Adjust call to build_enumerator. | |
1575 | * parser.c (cp_parser_enumerator_definition): Ditto. | |
1576 | * lex.c (build_lang_decl_loc): New function. | |
1577 | ||
1578 | 2010-09-06 Dodji Seketeli <dodji@redhat.com> | |
1579 | ||
1580 | PR c++/45200 | |
1581 | PR c++/45293 | |
1582 | PR c++/45558 | |
1583 | * tree.c (strip_typedefs): Strip typedefs from the context of | |
1584 | TYPENAME_TYPEs. | |
1585 | ||
1586 | 2010-09-06 Mark Mitchell <mark@codesourcery.com> | |
1587 | ||
1588 | * typeck.c (cp_build_binary_op): Call do_warn_double_promotion. | |
1589 | * call.c (build_conditional_expr): Likewise. | |
1590 | (convert_arg_to_ellipsis): Likewise. | |
1591 | ||
1592 | 2010-09-06 Arnaud Charlet <charlet@adacore.com> | |
1593 | ||
1594 | * parser.c (make_pointer_declarator, make_reference_declarator, | |
1595 | make_call_declarator, make_array_declarator): Set declarator->id_loc. | |
1596 | (cp_parser_init_declarator): Adjust location of decl if appropriate. | |
1597 | ||
1598 | 2010-09-06 Jason Merrill <jason@redhat.com> | |
1599 | ||
1600 | * call.c (implicit_conversion): Fix value-init of enums. | |
1601 | (convert_like_real): Likewise. | |
1602 | ||
1603 | * decl.c (cp_finish_decl): Don't change init for auto deduction. | |
1604 | ||
1605 | * pt.c (fold_non_dependent_expr_sfinae): Split out from... | |
1606 | (fold_non_dependent_expr): ...here. | |
1607 | (convert_nontype_argument): Use it. Take complain parm. | |
1608 | Use perform_implicit_conversion instead of ocp_convert. | |
1609 | Allow cv-qual changes. | |
1610 | (convert_template_argument): Pass complain down. | |
1611 | (tsubst_template_arg): Suppress constant expression warnings. | |
1612 | Don't fold here. | |
1613 | ||
1614 | * method.c (synthesized_method_walk): In constructors, also check | |
1615 | subobject destructors. | |
1616 | ||
1617 | * semantics.c (finish_compound_literal): Always build a | |
1618 | TARGET_EXPR. | |
1619 | ||
1620 | 2010-08-30 Paolo Carlini <paolo.carlini@oracle.com> | |
1621 | ||
1622 | PR c++/45043 | |
1623 | * decl.c (grokdeclarator): Use MAIN_NAME_P only on IDENTIFIER_NODEs. | |
1624 | ||
1625 | 2010-08-30 Jakub Jelinek <jakub@redhat.com> | |
1626 | ||
1627 | PR middle-end/45423 | |
1628 | * parser.c (cp_parser_omp_atomic): Handle boolean | |
1629 | {PRE,POST}_INCREMENT. | |
1630 | ||
1631 | 2010-08-29 Jason Merrill <jason@redhat.com> | |
1632 | ||
1633 | PR c++/44991 | |
1634 | * parser.c (cp_parser_parameter_declaration): Pop parameter decls | |
1635 | after tentative parsing. | |
1636 | ||
1637 | 2010-08-22 Joseph Myers <joseph@codesourcery.com> | |
1638 | ||
1639 | * Make-lang.in (g++spec.o): Update dependencies. | |
1640 | * g++spec.c: Include opts.h | |
1641 | (MATH_LIBRARY, LIBSTDCXX): Remove initial "-l". | |
1642 | (lang_specific_driver): Use cl_decoded_option structures. | |
1643 | ||
1644 | 2010-08-20 Nathan Froyd <froydnj@codesourcery.com> | |
1645 | ||
1646 | * call.c: Use FOR_EACH_VEC_ELT. | |
1647 | * class.c: Likewise. | |
1648 | * decl.c: Likewise. | |
1649 | * decl2.c: Likewise. | |
1650 | * error.c: Likewise. | |
1651 | * except.c: Likewise. | |
1652 | * mangle.c: Likewise. | |
1653 | * method.c: Likewise. | |
1654 | * name-lookup.c: Likewise. | |
1655 | * parser.c: Likewise. | |
1656 | * pt.c: Likewise. | |
1657 | * repo.c: Likewise. | |
1658 | * semantics.c: Likewise. | |
1659 | * typeck2.c: Likewise. | |
1660 | ||
1661 | 2010-08-19 Jason Merrill <jason@redhat.com> | |
1662 | ||
1663 | * call.c (reference_related_p): Check for error_mark_node. | |
1664 | (add_function_candidate): Check it instead of | |
1665 | same_type_ignoring_top_level_qualifiers_p. | |
1666 | ||
1667 | PR c++/45315 | |
1668 | * init.c (build_new_1): Don't use build_value_init in a template. | |
1669 | (build_value_init): Make sure we don't. | |
1670 | ||
1671 | PR c++/45307 | |
1672 | * cp-gimplify.c (cp_gimplify_expr): Also remove assignment | |
1673 | of empty class CONSTRUCTOR. | |
1674 | ||
1675 | * except.c (pending_noexcept, pending_noexcept_checks): New. | |
1676 | (perform_deferred_noexcept_checks): New. | |
1677 | (maybe_noexcept_warning): Split from... | |
1678 | (finish_noexcept_expr): ...here. Adjust. | |
1679 | * decl2.c (cp_write_global_declarations): Call | |
1680 | perform_deferred_noexcept_checks. | |
1681 | * cp-tree.h: And declare it. | |
1682 | ||
1683 | 2010-08-18 Nathan Froyd <froydnj@codesourcery.com> | |
1684 | ||
1685 | PR c++/45049 | |
1686 | * name-lookup.c (push_overloaded_decl): Change DECL_CHAIN to | |
1687 | TREE_CHAIN. | |
1688 | ||
1689 | 2010-08-17 Kai Tietz <kai.tietz@onevision.com> | |
1690 | ||
1691 | * class.c (note_name_declared_in_class): Make in 'extern "C"' blocks, | |
1692 | or if -fms-extensions is enabled check, check permissive. | |
1693 | ||
1694 | 2010-08-09 Jason Merrill <jason@redhat.com> | |
1695 | ||
1696 | PR c++/45236 | |
1697 | * pt.c (lookup_template_class): Don't re-coerce outer parms. | |
1698 | ||
1699 | 2010-08-09 Nathan Froyd <froydnj@codesourcery.com> | |
1700 | ||
1701 | * call.c (add_builtin_candidates): Use VECs for local variable | |
1702 | `types'. Adjust remainder of function accordingly. | |
1703 | ||
1704 | 2010-08-09 Nathan Froyd <froydnj@codesourcery.com> | |
1705 | ||
1706 | * name-lookup.c (is_associated_namespace): Convert local variables | |
1707 | to be VECs instead of TREE_LISTs. | |
1708 | ||
1709 | 2010-08-09 Nathan Froyd <froydnj@codesourcery.com> | |
1710 | ||
1711 | * tree.c (varargs_function_p): Use stdarg_p. | |
1712 | ||
1713 | 2010-08-07 Nathan Froyd <froydnj@codesourcery.com> | |
1714 | ||
1715 | * parser.c (cp_default_arg_entry): Declare. Declare a VEC of it. | |
1716 | (cp_unparsed_functions_entry): Declare. Declare a VEC of it. | |
1717 | (cp_parser) [unparsed_functions_queues]: Rename to unparsed_queues. | |
1718 | Change type to a VEC. | |
1719 | (unparsed_funs_with_default_args): Define. | |
1720 | (unparsed_funs_with_definitions): Define. | |
1721 | (push_unparsed_function_queues): New function. | |
1722 | (cp_parser_new): Call it. | |
1723 | (pop_unparsed_function_queues): New function. | |
1724 | (cp_parser_class_specifier): Adjust processing of unparsed functions. | |
1725 | (cp_parser_template_declaration_after_export): Use VEC_safe_push. | |
1726 | (cp_parser_save_member_function_body): Likewise. | |
1727 | (cp_parser_late_parsing_for_member): Call push_unparsed_function_queues | |
1728 | and pop_unparsed_function_queues. | |
1729 | (cp_parser_late_parsing_default_args): Likewise. | |
1730 | (cp_parser_save_default_args): Use VEC_safe_push. | |
1731 | ||
1732 | 2010-08-07 Nathan Froyd <froydnj@codesourcery.com> | |
1733 | ||
1734 | * name-lookup.h (cp_label_binding): Declare. Declare a VEC type | |
1735 | containing it. | |
1736 | (cp_binding_level): Convert shadowed_labels and dead_vars_from_for | |
1737 | fields to VECs. | |
1738 | * decl.c (poplevel): Adjust for type changes. | |
1739 | (declare_local_label): Likewise. | |
1740 | ||
1741 | 2010-08-06 Jason Merrill <jason@redhat.com> | |
1742 | ||
1743 | * typeck.c (complete_type_or_maybe_complain): Split out from... | |
1744 | (complete_type_or_else): Here. | |
1745 | (build_class_member_access_expr): Call it. | |
1746 | (finish_class_member_access_expr): Likewise. | |
1747 | * call.c (build_special_member_call): Likewise. | |
1748 | * cvt.c (build_expr_type_conversion): Likewise. | |
1749 | * init.c (build_new): Likewise. | |
1750 | * typeck2.c (build_functional_cast): Likewise. | |
1751 | * cp-tree.h: Declare it. | |
1752 | ||
1753 | * init.c (build_value_init): Add complain parm. | |
1754 | (build_value_init_noctor): Likewise. | |
1755 | (perform_member_init): Pass it. | |
1756 | (expand_aggr_init_1): Likewise. | |
1757 | (build_new_1): Likewise. | |
1758 | (build_vec_init): Likewise. | |
1759 | * pt.c (tsubst_expr): Likewise. | |
1760 | * typeck2.c (build_functional_cast): Likewise. | |
1761 | * cp-tree.h: Adjust. | |
1762 | * tree.c (build_target_expr_with_type): Handle error_mark_node. | |
1763 | ||
1764 | * typeck.c (decay_conversion): Any expression with type nullptr_t | |
1765 | decays to nullptr. | |
1766 | ||
1767 | 2010-07-30 Ulrich Weigand <Ulrich.Weigand@de.ibm.com> | |
1768 | ||
1769 | PR c++/45112 | |
1770 | * decl.c (duplicate_decls): Merge DECL_USER_ALIGN and DECL_PACKED. | |
1771 | ||
1772 | 2010-07-27 Jason Merrill <jason@redhat.com> | |
1773 | ||
1774 | * pt.c (tsubst_expr) [DECL_EXPR]: Handle getting an AGGR_INIT_EXPR | |
1775 | from build_value_init. | |
1776 | * init.c (build_value_init_noctor): Give error for unknown array | |
1777 | bound. | |
1778 | ||
1779 | 2010-07-27 Joseph Myers <joseph@codesourcery.com> | |
1780 | ||
1781 | * cp-objcp-common.h (LANG_HOOKS_MISSING_ARGUMENT): Remove. | |
1782 | ||
1783 | 2010-07-27 Joseph Myers <joseph@codesourcery.com> | |
1784 | ||
1785 | * cp-objcp-common.c (cxx_initialize_diagnostics): First call | |
1786 | c_common_initialize_diagnostics. | |
1787 | * cp-objcp-common.h (LANG_HOOKS_OPTION_LANG_MASK, | |
1788 | LANG_HOOKS_COMPLAIN_WRONG_LANG_P): Define. | |
1789 | ||
1790 | 2010-07-21 Jason Merrill <jason@redhat.com> | |
1791 | ||
1792 | * tree.c (cp_tree_equal): Fix CONSTRUCTOR handling. | |
1793 | ||
1794 | * parser.c (cp_parser_init_declarator): Pass LOOKUP_NORMAL | |
1795 | to cp_finish_decl. | |
1796 | ||
1797 | 2010-07-20 Jeffrey Yasskin <jyasskin@google.com> | |
1798 | ||
1799 | PR c++/44641 | |
1800 | * pt.c (instantiate_class_template): Propagate the template's | |
1801 | location to its instance. | |
1802 | ||
1803 | 2010-07-20 Jason Merrill <jason@redhat.com> | |
1804 | ||
1805 | PR c++/44967 | |
1806 | * pt.c (tsubst_copy_and_build): Rework last change. | |
1807 | ||
1808 | PR c++/44967 | |
1809 | * pt.c (tsubst_copy_and_build): Handle partial substitution of | |
1810 | CALL_EXPR. | |
1811 | ||
1812 | 2010-07-19 Jason Merrill <jason@redhat.com> | |
1813 | ||
1814 | PR c++/44996 | |
1815 | * semantics.c (finish_decltype_type): Correct decltype | |
1816 | of parenthesized rvalue reference variable. | |
1817 | ||
1818 | PR c++/44969 | |
1819 | * tree.c (cp_tree_equal): Compare type of *CAST_EXPR. | |
1820 | * pt.c (iterative_hash_template_arg): Hash type of *CAST_EXPR. | |
1821 | ||
1822 | 2010-07-19 Paolo Carlini <paolo.carlini@oracle.com> | |
1823 | ||
1824 | PR c++/44969 | |
1825 | * typeck.c (build_x_compound_expr_from_list): Add tsubst_flags_t | |
1826 | parameter. | |
1827 | * cp-tree.h: Adjust declaration. | |
1828 | * init.c (perform_member_init): Adjust caller. | |
1829 | * decl.c (grok_reference_init, cp_finish_decl): Likewise. | |
1830 | * typeck2.c (store_init_value): Likewise. | |
1831 | (build_functional_cast): Pass complain argument to | |
1832 | build_x_compound_expr_from_list. | |
1833 | ||
1834 | 2010-07-16 Jason Merrill <jason@redhat.com> | |
1835 | ||
1836 | PR c++/32505 | |
1837 | * pt.c (process_partial_specialization): Diagnose partial | |
1838 | specialization after instantiation. | |
1839 | (most_specialized_class): Add complain parm. | |
1840 | ||
1841 | * ptree.c (cxx_print_xnode): Handle TEMPLATE_INFO. | |
1842 | ||
1843 | 2010-07-15 Nathan Froyd <froydnj@codesourcery.com> | |
1844 | ||
1845 | * init.c (build_new_1): Use cp_build_function_call_nary instead of | |
1846 | cp_build_function_call. | |
1847 | ||
1848 | 2010-07-15 Jason Merrill <jason@redhat.com> | |
1849 | ||
1850 | PR c++/44909 | |
1851 | * call.c (add_function_candidate): If we're working on an implicit | |
1852 | declaration, don't consider candidates that won't match. | |
1853 | * typeck.c (same_type_ignoring_top_level_qualifiers_p): Now a fn. | |
1854 | * cp-tree.h (same_type_ignoring_top_level_qualifiers_p): Adjust. | |
1855 | ||
1856 | Revert: | |
1857 | * cp-tree.h (struct lang_type_class): Add has_user_opeq. | |
1858 | (TYPE_HAS_USER_OPEQ): New. | |
1859 | * decl.c (grok_special_member_properties): Set it. | |
1860 | * class.c (add_implicitly_declared_members): Don't lazily declare | |
1861 | constructors/operator= if a base or member has a user-declared one. | |
1862 | (check_bases_and_members, check_bases): Adjust. | |
1863 | (check_field_decls, check_field_decl): Adjust. | |
1864 | ||
1865 | 2010-07-15 Anatoly Sokolov <aesok@post.ru> | |
1866 | ||
1867 | * decl.c (integer_three_node): Remove. | |
1868 | (cxx_init_decl_processing): Do not initialize the integer_three_node. | |
1869 | * cp-tree.h (integer_three_node): Remove. | |
1870 | ||
1871 | 2010-07-15 Nathan Froyd <froydnj@codesourcery.com> | |
1872 | ||
1873 | * cp-tree.h: Carefully replace TREE_CHAIN with DECL_CHAIN. | |
1874 | * call.c: Likewise. | |
1875 | * class.c: Likewise. | |
1876 | * cp-gimplify.c: Likewise. | |
1877 | * decl.c: Likewise. | |
1878 | * decl2.c: Likewise. | |
1879 | * init.c: Likewise. | |
1880 | * mangle.c: Likewise. | |
1881 | * name-lookup.c: Likewise. | |
1882 | * optimize.c: Likewise. | |
1883 | * parser.c: Likewise. | |
1884 | * pt.c: Likewise. | |
1885 | * rtti.c: Likewise. | |
1886 | * search.c: Likewise. | |
1887 | * semantics.c: Likewise. | |
1888 | * typeck.c: Likewise. | |
1889 | * typeck2.c: Likewise. | |
1890 | ||
1891 | 2010-07-14 Jason Merrill <jason@redhat.com> | |
1892 | ||
1893 | * init.c (sort_mem_initializers): Rename "field_type" to "ctx". | |
1894 | (build_field_list): Cache field type. | |
1895 | ||
1896 | Implement C++0x unrestricted unions (N2544) | |
1897 | * class.c (check_field_decl): Loosen union handling in C++0x. | |
1898 | * method.c (walk_field_subobs): Split out from... | |
1899 | (synthesized_method_walk): ...here. Set msg before loops. | |
1900 | (process_subob_fn): Check for triviality in union members. | |
1901 | * init.c (sort_mem_initializers): Splice out uninitialized | |
1902 | anonymous unions and union members. | |
1903 | (push_base_cleanups): Don't automatically destroy anonymous unions | |
1904 | and union members. | |
1905 | ||
1906 | 2010-07-13 Jason Merrill <jason@redhat.com> | |
1907 | ||
1908 | PR c++/44909 | |
1909 | * cp-tree.h (struct lang_type_class): Add has_user_opeq. | |
1910 | (TYPE_HAS_USER_OPEQ): New. | |
1911 | * decl.c (grok_special_member_properties): Set it. | |
1912 | * class.c (add_implicitly_declared_members): Don't lazily declare | |
1913 | constructors/operator= if a base or member has a user-declared one. | |
1914 | (check_bases_and_members, check_bases): Adjust. | |
1915 | (check_field_decls, check_field_decl): Adjust. | |
1916 | * method.c (synthesized_method_walk): Initialize check_vdtor. | |
1917 | ||
1918 | PR c++/44540 | |
1919 | * mangle.c (write_type): Canonicalize. | |
1920 | (canonicalize_for_substitution): Retain cv-quals on FUNCTION_TYPE. | |
1921 | (write_CV_qualifiers_for_type): Ignore them in abi>=5. | |
1922 | ||
1923 | 2010-07-13 Paolo Carlini <paolo.carlini@oracle.com> | |
1924 | ||
1925 | PR c++/44908 | |
1926 | * call.c (convert_like_real): Adjust convert_ptrmem call, pass | |
1927 | complain argument. | |
1928 | * typeck.c (get_delta_difference): Update prototype, add a | |
1929 | tsubst_flags_t parameter; update get_delta_difference_1 calls and | |
1930 | add checks for error_mark_node. | |
1931 | (get_delta_difference_1): Update prototype, add a tsubst_flags_t | |
1932 | parameter; update lookup_base call. | |
1933 | (build_ptrmemfunc): Update prototype, add a tsubst_flags_t | |
1934 | parameter; update get_delta_difference call and add check for | |
1935 | error_mark_node. | |
1936 | (convert_ptrmem): Update prototype, add a tsubst_flags_t | |
1937 | parameter; update get_delta_difference call and add check for | |
1938 | error_mark_node; update build_ptrmemfunc call. | |
1939 | (build_static_cast_1): Adjust convert_ptrmem call. | |
1940 | (expand_ptrmemfunc_cst): Adjust get_delta_difference call. | |
1941 | (cp_build_unary_op): Adjust build_ptrmemfunc call. | |
1942 | * cvt.c (cp_convert_to_pointer, convert_force): Adjust convert_ptrmem | |
1943 | and build_ptrmemfunc calls. | |
1944 | * cp-tree.h: Update build_ptrmemfunc and convert_ptrmem prototypes. | |
1945 | ||
1946 | 2010-07-12 Paolo Carlini <paolo.carlini@oracle.com> | |
1947 | ||
1948 | PR c++/44907 | |
1949 | * call.c (build_temp): Add tsubst_flags_t complain parameter; | |
1950 | adjust build_special_member_call call, pass complain. | |
1951 | (convert_like_real): Adjust build_temp call, pass complain. | |
1952 | ||
1953 | 2010-07-09 Jason Merrill <jason@redhat.com> | |
1954 | ||
1955 | PR c++/43120 | |
1956 | * cp-tree.h (BV_LOST_PRIMARY): New macro. | |
1957 | * class.c (update_vtable_entry_for_fn): Fix covariant thunk logic. | |
1958 | Set BV_LOST_PRIMARY. | |
1959 | (build_vtbl_initializer): Check BV_LOST_PRIMARY. | |
1960 | ||
1961 | 2010-07-08 Jason Merrill <jason@redhat.com> | |
1962 | ||
1963 | PR c++/43120 | |
1964 | * class.c (update_vtable_entry_for_fn): Fix handling of dummy | |
1965 | virtual bases for covariant thunks. | |
1966 | ||
1967 | 2010-07-08 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
1968 | ||
1969 | * cp-tree.h: Do not include toplev.h. | |
1970 | ||
1971 | 2010-07-06 Jason Merrill <jason@redhat.com> | |
1972 | ||
1973 | PR c++/44703 | |
1974 | * call.c (is_std_init_list): Look through typedefs. | |
1975 | ||
1976 | PR c++/44778 | |
1977 | * init.c (build_offset_ref): If scope isn't dependent, | |
1978 | don't exit early. Look at TYPE_MAIN_VARIANT. | |
1979 | * pt.c (tsubst_copy) [OFFSET_REF]: Do substitution. | |
1980 | ||
1981 | * error.c (dump_function_decl): Don't crash on null DECL_NAME. | |
1982 | ||
1983 | 2010-07-06 Shujing Zhao <pearly.zhao@oracle.com> | |
1984 | ||
1985 | * cp-tree.h (impl_conv_void): New type. | |
1986 | (convert_to_void): Adjust prototype. | |
1987 | * cvt.c (convert_to_void): Use impl_conv_void, emit and adjust the | |
1988 | diagnostic for easy translation. Change caller. | |
1989 | * typeck.c: Update call to convert_to_void. | |
1990 | * semantics.c: Likewise. | |
1991 | * init.c: Likewise. | |
1992 | ||
1993 | 2010-07-05 Nathan Froyd <froydnj@codesourcery.com> | |
1994 | ||
1995 | * decl.c (cp_finish_decl): Call add_local_decl. | |
1996 | * optimize.c (clone_body): Adjust for new type of cfun->local_decls. | |
1997 | ||
1998 | 2010-07-05 Paolo Carlini <paolo.carlini@oracle.com> | |
1999 | ||
2000 | * pt.c (tsubst): Early declare code = TREE_CODE (t) and use it | |
2001 | throughout. | |
2002 | ||
2003 | 2010-07-05 Shujing Zhao <pearly.zhao@oracle.com> | |
2004 | ||
2005 | PR c++/22138 | |
2006 | * parser.c (cp_parser_primary_expression): Error if local template is | |
2007 | declared. | |
2008 | ||
2009 | 2010-07-02 Le-Chun Wu <lcwu@google.com> | |
2010 | ||
2011 | PR/44128 | |
2012 | * name-lookup.c (pushdecl_maybe_friend): Warn when a local decl | |
2013 | (variable or type) shadows another type. | |
2014 | ||
2015 | 2010-07-02 Jakub Jelinek <jakub@redhat.com> | |
2016 | ||
2017 | PR c++/44780 | |
2018 | * typeck.c (convert_for_assignment): When converting a convertible | |
2019 | vector type or objc++ types, call mark_rvalue_use. | |
2020 | * typeck2.c (build_m_component_ref): Use return values from | |
2021 | mark_rvalue_use or mark_lvalue_use. | |
2022 | * class.c (build_base_path): Likewise. | |
2023 | * call.c (build_conditional_expr): Likewise. | |
2024 | ||
2025 | 2010-07-02 Paolo Carlini <paolo.carlini@oracle.com> | |
2026 | ||
2027 | PR c++/44039 | |
2028 | * pt.c (tsubst_baselink): Return error_mark_node if lookup_fnfields | |
2029 | returns NULL_TREE. | |
2030 | ||
2031 | 2010-07-01 Richard Guenther <rguenther@suse.de> | |
2032 | ||
2033 | * cp-gimplify.c (cp_gimplify_expr): Open-code the rhs | |
2034 | predicate we are looking for, allow non-gimplified | |
2035 | INDIRECT_REFs. | |
2036 | ||
2037 | 2010-06-30 Paolo Carlini <paolo.carlini@oracle.com> | |
2038 | ||
2039 | PR c++/44628 | |
2040 | * typeck.c (cp_build_unary_op): Early return error_mark_node when | |
2041 | arg is NULL_TREE too. | |
2042 | * call.c (convert_class_to_reference): Return error_mark_node when | |
2043 | expr is NULL_TREE. | |
2044 | ||
2045 | 2010-06-30 Michael Matz <matz@suse.de> | |
2046 | ||
2047 | * repo.c (finish_repo): Fix typo. | |
2048 | ||
2049 | 2010-06-30 Nathan Froyd <froydnj@codesourcery.com> | |
2050 | ||
2051 | * parser.c (cp_parser_omp_for_loop): Use a VEC for for_block. | |
2052 | ||
2053 | 2010-06-30 Nathan Froyd <froydnj@codesourcery.com> | |
2054 | ||
2055 | * repo.c (pending_repo): Change type to a VEC. | |
2056 | (finish_repo): Adjust for new type of pending_repo. | |
2057 | (repo_emit_p): Likewise. | |
2058 | ||
2059 | 2010-06-30 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
2060 | ||
2061 | * tree.c: Include gimple.h. Do not include tree-flow.h | |
2062 | * decl.c: Do not include tree-flow.h | |
2063 | * Make-lang.in: Adjust dependencies. | |
2064 | ||
2065 | 2010-06-29 Nathan Froyd <froydnj@codesourcery.com> | |
2066 | ||
2067 | * decl.c (incomplete_var): Declare. Declare VECs containing them. | |
2068 | (incomplete_vars): Adjust comment. Change type to a VEC. | |
2069 | (maybe_register_incomplete_var): Adjust for new type. | |
2070 | (complete_vars): Adjust iteration over incomplete_vars. | |
2071 | ||
2072 | 2010-06-29 Nathan Froyd <froydnj@codesourcery.com> | |
2073 | ||
2074 | * decl.c (struct named_label_entry): Change type of bad_decls field | |
2075 | to a VEC. | |
2076 | (poplevel_named_label_1): Adjust for new type of bad_decls. | |
2077 | (check_goto): Likewise. | |
2078 | ||
2079 | 2010-06-29 Jason Merrill <jason@redhat.com> | |
2080 | ||
2081 | Enable implicitly declared move constructor/operator= (N3053). | |
2082 | * class.c (add_implicitly_declared_members): A class with no | |
2083 | explicitly declared copy or move constructor gets both declared | |
2084 | implicitly, and similarly for operator=. | |
2085 | (check_bases): A type with no copy ctor does not inhibit | |
2086 | a const copy ctor in a derived class. It does mean the derived | |
2087 | one is non-trivial. | |
2088 | (check_field_decl): Likewise. | |
2089 | (check_bases_and_members): A nonexistent copy ctor/op= is non-trivial. | |
2090 | * tree.c (type_has_nontrivial_copy_init): Adjust semantics. | |
2091 | (trivially_copyable_p): Likewise. | |
2092 | * call.c (convert_like_real): Use type_has_nontrivial_copy_init. | |
2093 | * class.c (finish_struct_bits): Likewise. | |
2094 | * tree.c (build_target_expr_with_type): Likewise. | |
2095 | * typeck2.c (store_init_value): Likewise. | |
2096 | ||
2097 | Enable implicitly deleted functions (N2346) | |
2098 | * class.c (check_bases_and_members): Adjust lambda flags. | |
2099 | * method.c (implicitly_declare_fn): Set DECL_DELETED_FN if appropriate. | |
2100 | ||
2101 | * decl2.c (mark_used): Adjust error for use of deleted function. | |
2102 | ||
2103 | Machinery to support implicit delete/move. | |
2104 | * cp-tree.h: (struct lang_type_class): Add lazy_move_assign, | |
2105 | has_complex_move_ctor, has_complex_move_assign bitfields. | |
2106 | (CLASSTYPE_LAZY_MOVE_ASSIGN): New. | |
2107 | (TYPE_HAS_COMPLEX_MOVE_ASSIGN): New. | |
2108 | (TYPE_HAS_COMPLEX_MOVE_CTOR): New. | |
2109 | (enum special_function_kind): Add sfk_move_assignment. | |
2110 | (LOOKUP_SPECULATIVE): New. | |
2111 | * call.c (build_over_call): Return early if it's set. | |
2112 | (build_over_call): Use trivial_fn_p. | |
2113 | * class.c (check_bases): If the base has no default constructor, | |
2114 | the derived one is non-trivial. Handle move ctor/op=. | |
2115 | (check_field_decl): Likewise. | |
2116 | (check_bases_and_members): Handle move ctor/op=. | |
2117 | (add_implicitly_declared_members): Handle CLASSTYPE_LAZY_MOVE_ASSIGN. | |
2118 | (type_has_move_constructor, type_has_move_assign): New. | |
2119 | * decl.c (grok_special_member_properties): Handle move ctor/op=. | |
2120 | * method.c (type_has_trivial_fn, type_set_nontrivial_flag): New. | |
2121 | (trivial_fn_p): New. | |
2122 | (do_build_copy_constructor): Use it. | |
2123 | (do_build_assign_ref): Likewise. Handle move assignment. | |
2124 | (build_stub_type, build_stub_object, locate_fn_flags): New. | |
2125 | (locate_ctor): Use locate_fn_flags. | |
2126 | (locate_copy, locate_dtor): Remove. | |
2127 | (get_dtor, get_default_ctor, get_copy_ctor, get_copy_assign): New. | |
2128 | (process_subob_fn, synthesized_method_walk): New. | |
2129 | (maybe_explain_implicit_delete): New. | |
2130 | (implicitly_declare_fn): Use synthesized_method_walk, | |
2131 | type_has_trivial_fn, and type_set_nontrivial_flag. | |
2132 | (defaulted_late_check): Set DECL_DELETED_FN. | |
2133 | (defaultable_fn_check): Handle sfk_move_assignment. | |
2134 | (lazily_declare_fn): Clear CLASSTYPE_LAZY_* early. Don't declare | |
2135 | implicitly deleted move ctor/op=. | |
2136 | * search.c (lookup_fnfields_1): Handle sfk_move_assignment. | |
2137 | (lookup_fnfields_slot): New. | |
2138 | * semantics.c (omp_clause_info_fndecl): Remove. | |
2139 | (cxx_omp_create_clause_info): Use get_default_ctor, get_copy_ctor, | |
2140 | get_copy_assign, trivial_fn_p. | |
2141 | (trait_expr_value): Adjust call to locate_ctor. | |
2142 | * tree.c (special_function_p): Handle sfk_move_assignment. | |
2143 | ||
2144 | * class.c (type_has_virtual_destructor): New. | |
2145 | * cp-tree.h: Declare it. | |
2146 | * semantics.c (trait_expr_value): Use it. | |
2147 | ||
2148 | * call.c (build_over_call): Only give warnings with tf_warning. | |
2149 | ||
2150 | * name-lookup.c (pop_scope): Handle NULL_TREE. | |
2151 | ||
2152 | * cp-tree.h (TYPE_HAS_ASSIGN_REF): Rename to TYPE_HAS_COPY_ASSIGN. | |
2153 | (TYPE_HAS_CONST_ASSIGN_REF): Rename to TYPE_HAS_CONST_COPY_ASSIGN. | |
2154 | (TYPE_HAS_INIT_REF): Rename to TYPE_HAS_COPY_CTOR. | |
2155 | (TYPE_HAS_CONST_INIT_REF): Rename to TYPE_HAS_CONST_COPY_CTOR. | |
2156 | (TYPE_HAS_COMPLEX_ASSIGN_REF): Rename to TYPE_HAS_COMPLEX_COPY_ASSIGN. | |
2157 | (TYPE_HAS_COMPLEX_INIT_REF): Rename to TYPE_HAS_COMPLEX_COPY_CTOR. | |
2158 | (TYPE_HAS_TRIVIAL_ASSIGN_REF): Rename to TYPE_HAS_TRIVIAL_COPY_ASSIGN. | |
2159 | (TYPE_HAS_TRIVIAL_INIT_REF): Rename to TYPE_HAS_TRIVIAL_COPY_CTOR. | |
2160 | (CLASSTYPE_LAZY_ASSIGNMENT_OP): Rename to CLASSTYPE_LAZY_COPY_ASSIGN. | |
2161 | (sfk_assignment_operator): Rename to sfk_copy_assignment. | |
2162 | * decl.c, call.c, class.c, init.c, method.c, pt.c, ptree.c: Adjust. | |
2163 | * search.c, semantics.c, tree.c: Adjust. | |
2164 | ||
2165 | * pt.c (dependent_scope_ref_p): Remove. | |
2166 | (value_dependent_expression_p): Don't call it. | |
2167 | (type_dependent_expression_p): Here either. | |
2168 | * init.c (build_offset_ref): Set TREE_TYPE on a qualified-id | |
2169 | if the scope isn't dependent. | |
2170 | ||
2171 | * pt.c (convert_nontype_argument): Use mark_lvalue_use if we want | |
2172 | a reference. | |
2173 | ||
2174 | PR c++/44587 | |
2175 | * pt.c (has_value_dependent_address): New. | |
2176 | (value_dependent_expression_p): Check it. | |
2177 | (convert_nontype_argument): Likewise. Call decay_conversion before | |
2178 | folding if we want a pointer. | |
2179 | * semantics.c (finish_id_expression): Don't add SCOPE_REF if the | |
2180 | scope is the current instantiation. | |
2181 | ||
2182 | 2010-06-28 Jakub Jelinek <jakub@redhat.com> | |
2183 | ||
2184 | PR c++/44682 | |
2185 | * class.c (build_base_path): If want_pointer, call mark_rvalue_use | |
2186 | on expr. | |
2187 | ||
2188 | 2010-06-28 Steven Bosscher <steven@gcc.gnu.org> | |
2189 | ||
2190 | * init.c: Do not include except.h. | |
2191 | * decl.c: Likewise. | |
2192 | * expr.c: Likewise. | |
2193 | * cp-lang.c: Likewise. | |
2194 | * pt.c: Likewise. | |
2195 | * semantics.c: Likewise. | |
2196 | * decl2.c: Likewise. | |
2197 | * except.c: Likewise. | |
2198 | (init_exception_processing): Do not set the removed | |
2199 | lang_protect_cleanup_actions here. | |
2200 | (cp_protect_cleanup_actions): Make non-static and remove prototype. | |
2201 | (doing_eh): New, moved from except.c but removed the do_warning flag. | |
2202 | (expand_start_catch_block): Update doing_eh call. | |
2203 | (expand_end_catch_block): Likewise. | |
2204 | (build_throw): Likewise. | |
2205 | * cp-tree.h: Prototype cp_protect_cleanup_actions. | |
2206 | * cp-objcp-common.h: Set LANG_HOOKS_EH_PROTECT_CLEANUP_ACTIONS to | |
2207 | cp_protect_cleanup_actions. | |
2208 | * Make-lang.in: Update dependencies. | |
2209 | ||
2210 | 2010-06-26 Jason Merrill <jason@redhat.com> | |
2211 | ||
2212 | * call.c (add_function_candidate): Set LOOKUP_COPY_PARM for any | |
2213 | constructor called with a single argument that takes a reference | |
2214 | to the constructor's class. | |
2215 | (BAD_CONVERSION_RANK): New. | |
2216 | (compare_ics): Use it to compare bad ICSes. | |
2217 | ||
2218 | 2010-06-25 Joseph Myers <joseph@codesourcery.com> | |
2219 | ||
2220 | * lang-specs.h: Remove +e handling. | |
2221 | ||
2222 | 2010-06-24 Andi Kleen <ak@linux.intel.com> | |
2223 | ||
2224 | * parser.c: (cp_parser_question_colon_clause): | |
2225 | Switch to use cp_lexer_peek_token. | |
2226 | Call warn_for_omitted_condop. Call pedwarn for omitted | |
2227 | middle operand. | |
2228 | ||
2229 | 2010-06-22 Jakub Jelinek <jakub@redhat.com> | |
2230 | ||
2231 | PR c++/44619 | |
2232 | * typeck2.c (build_m_component_ref): Call mark_lvalue_use on | |
2233 | datum and mark_rvalue_use on component. | |
2234 | ||
2235 | PR c++/44627 | |
2236 | * error.c (dump_expr): Don't look at CALL_EXPR_ARG (t, 0) if | |
2237 | the CALL_EXPR has no arguments. | |
2238 | ||
2239 | 2010-06-21 Jason Merrill <jason@redhat.com> | |
2240 | ||
2241 | * typeck.c (comp_except_specs): Fix ce_derived with noexcept. | |
2242 | ||
2243 | * semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array | |
2244 | element type. | |
2245 | ||
2246 | 2010-06-17 Nathan Froyd <froydnj@codesourcery.com> | |
2247 | ||
2248 | * name-lookup.c (struct arg_lookup): Convert namespaces and | |
2249 | classes fields to VEC. | |
2250 | (arg_assoc_namespace): Adjust for new type of namespaces. | |
2251 | (arg_assoc_class): Adjust for new type of classes. | |
2252 | (lookup_arg_dependent): Use make_tree_vector and | |
2253 | release_tree_vector. | |
2254 | * typeck2.c (build_x_arrow): Use vec_member. | |
2255 | ||
2256 | 2010-06-17 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
2257 | ||
2258 | PR c++/44486 | |
2259 | * error.c (dump_decl): Better wording for anonymous namespace. | |
2260 | ||
2261 | 2010-06-16 Nathan Froyd <froydnj@codesourcery.com> | |
2262 | ||
2263 | * class.c (build_vtbl_initializer): Adjust computation of new_position | |
2264 | and which entry to add padding for. | |
2265 | ||
2266 | 2010-06-16 Jason Merrill <jason@redhat.com> | |
2267 | ||
2268 | * except.c (check_noexcept_r): Return the problematic function. | |
2269 | (finish_noexcept_expr): Give -Wnoexcept warning. Add complain parm. | |
2270 | * pt.c (tsubst_copy_and_build): Pass it. | |
2271 | * parser.c (cp_parser_unary_expression): Likewise. | |
2272 | * cp-tree.h: Adjust prototype. | |
2273 | ||
2274 | * method.c (defaulted_late_check): Give the defaulted method | |
2275 | the same exception specification as the implicit declaration. | |
2276 | ||
2277 | 2010-06-15 Jason Merrill <jason@redhat.com> | |
2278 | ||
2279 | * class.c (add_implicitly_declared_members): Implicit assignment | |
2280 | operators can also be virtual overriders. | |
2281 | * method.c (lazily_declare_fn): Likewise. | |
2282 | ||
2283 | * call.c (convert_like_real): Give "initializing argument of" | |
2284 | information for ambiguous conversion. Give source position | |
2285 | of function. | |
2286 | ||
2287 | * call.c (print_z_candidates): Do print viable deleted candidates. | |
2288 | (joust): Don't choose a deleted function just because its worst | |
2289 | conversion is better than another candidate's worst. | |
2290 | ||
2291 | * call.c (convert_like_real): Don't complain about | |
2292 | list-value-initialization from an explicit constructor. | |
2293 | ||
2294 | * decl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test | |
2295 | DECL_SOURCE_LOCATION directly. | |
2296 | ||
2297 | * class.c (type_has_user_provided_default_constructor): Use | |
2298 | sufficient_parms_p. | |
2299 | ||
2300 | * call.c (is_subseq): Handle ck_aggr, ck_list. | |
2301 | (compare_ics): Treat an aggregate or ambiguous conversion to the | |
2302 | same type as involving the same function. | |
2303 | ||
2304 | 2010-06-13 Shujing Zhao <pearly.zhao@oracle.com> | |
2305 | ||
2306 | * typeck.c (convert_for_assignment): Fix comment. Change message | |
2307 | format from %d to %qP. | |
2308 | (convert_for_initialization): Fix comment. | |
2309 | ||
2310 | 2010-06-11 Shujing Zhao <pearly.zhao@oracle.com> | |
2311 | ||
2312 | * cp-tree.h (expr_list_kind): New type. | |
2313 | (impl_conv_rhs): New type. | |
2314 | (build_x_compound_expr_from_list, convert_for_initialization): Adjust | |
2315 | prototype. | |
2316 | (typeck.c (convert_arguments): Use impl_conv_rhs and emit the | |
2317 | diagnostics for easy translation. Change caller. | |
2318 | (convert_for_initialization): Use impl_conv_rhs and change caller. | |
2319 | (build_x_compound_expr_from_list): Use expr_list_kind and emit the | |
2320 | diagnostics for easy translation. Change caller. | |
2321 | * decl.c (bad_spec_place): New enum. | |
2322 | (bad_specifiers): Use it and emit the diagnostics for easy | |
2323 | translation. Change caller. | |
2324 | * pt.c (coerce_template_parms): Put the diagnostics in full sentence. | |
2325 | ||
2326 | 2010-06-09 Nathan Froyd <froydnj@codesourcery.com> | |
2327 | ||
2328 | * cp-tree.h (struct saved_scope): Change decl_ns_list field type | |
2329 | to a VEC. | |
2330 | * decl2.c (cp_write_global_declarations): Adjust for new type of | |
2331 | decl_namespace_list. | |
2332 | * name-lookup.c (current_decl_namespace): Likewise. | |
2333 | (push_decl_namespace): Likewise. | |
2334 | (pop_decl_namespace): Likewise. | |
2335 | ||
2336 | 2010-06-09 Nathan Froyd <froydnj@codesourcery.com> | |
2337 | ||
2338 | * call.c (build_java_interface_fn_ref): Call build_function_type_list | |
2339 | instead of build_function_type. | |
2340 | * decl.c (cxx_init_decl_processing): Likewise. | |
2341 | (declare_global_var): Likewise. | |
2342 | (get_atexit_node): Likewise. | |
2343 | (expand_static_init): Likewise. | |
2344 | * decl2.c (start_objects): Likewise. | |
2345 | (start_static_storage_duration_function): Likewise. | |
2346 | * except.c (init_exception_processing): Likewise. | |
2347 | (build_exc_ptr): Likewise. | |
2348 | (build_throw): Likewise. | |
2349 | * rtti.c (throw_bad_cast): Likewise. | |
2350 | (throw_bad_typeid): Likewise. | |
2351 | (build_dynamic_cast_1): Likewise. | |
2352 | ||
2353 | 2010-06-09 Nathan Froyd <froydnj@codesourcery.com> | |
2354 | ||
2355 | * call.c (build_call_n): Call XALLOCAVEC instead of alloca. | |
2356 | (build_op_delete_call): Likewise. | |
2357 | (build_over_call): Likewise. | |
2358 | * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise. | |
2359 | * pt.c (process_partial_specialization): Likewise. | |
2360 | (tsubst_template_args): Likewise. | |
2361 | * semantics.c (finish_asm_stmt): Likewise. | |
2362 | ||
2363 | 2010-06-08 Nathan Sidwell <nathan@codesourcery.com> | |
2364 | ||
2365 | * decl.c (record_key_method_defined): New, broken out of ... | |
2366 | (finish_function): ... here. Call it. | |
2367 | (start_decl): Treat aliases as definitions. | |
2368 | ||
2369 | 2010-06-08 Laurynas Biveinis <laurynas.biveinis@gmail.com> | |
2370 | ||
2371 | * typeck2.c (abstract_virtuals_error): Use typed GC allocation. | |
2372 | ||
2373 | * pt.c (maybe_process_partial_specialization): Likewise. | |
2374 | (register_specialization): Likewise. | |
2375 | (add_pending_template): Likewise. | |
2376 | (lookup_template_class): Likewise. | |
2377 | (push_tinst_level): Likewise. | |
2378 | ||
2379 | * parser.c (cp_lexer_new_main): Likewise. | |
2380 | (cp_lexer_new_from_tokens): Likewise. | |
2381 | (cp_token_cache_new): Likewise. | |
2382 | (cp_parser_context_new): Likewise. | |
2383 | (cp_parser_new): Likewise. | |
2384 | (cp_parser_nested_name_specifier_opt): Likewise. | |
2385 | (cp_parser_template_id): Likewise. | |
2386 | ||
2387 | * name-lookup.c (binding_entry_make): Likewise. | |
2388 | (binding_table_construct): Likewise. | |
2389 | (binding_table_new): Likewise. | |
2390 | (cxx_binding_make): Likewise. | |
2391 | (pushdecl_maybe_friend): Likewise. | |
2392 | (begin_scope): Likewise. | |
2393 | (push_to_top_level): Likewise. | |
2394 | ||
2395 | * lex.c (init_reswords): Likewise. | |
2396 | (retrofit_lang_decl): Likewise. | |
2397 | (cxx_dup_lang_specific_decl): Likewise. | |
2398 | (copy_lang_type): Likewise. | |
2399 | (cxx_make_type): Likewise. | |
2400 | ||
2401 | * decl.c (make_label_decl): Likewise. | |
2402 | (check_goto): Likewise. | |
2403 | (start_preparsed_function): Likewise. | |
2404 | (save_function_data): Likewise. | |
2405 | ||
2406 | * cp-tree.h (TYPE_SET_PTRMEMFUNC_TYPE): Likewise. | |
2407 | ||
2408 | * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise. | |
2409 | ||
2410 | * class.c (finish_struct_1): Likewise. | |
2411 | ||
2412 | * cp-tree.h (struct lang_type): Add variable_size GTY option. | |
2413 | (struct lang_decl): Likewise. | |
2414 | ||
2415 | * parser.c (cp_parser_new): Update comment to not reference | |
2416 | ggc_alloc. | |
2417 | ||
2418 | 2010-06-07 Jason Merrill <jason@redhat.com> | |
2419 | ||
2420 | PR c++/44366 | |
2421 | * error.c (dump_parameters): Mask out TFF_SCOPE. | |
2422 | (dump_simple_decl): Don't print the scope of a PARM_DECL. | |
2423 | (dump_scope): Remove no-op mask. | |
2424 | ||
2425 | PR c++/44401 | |
2426 | * parser.c (cp_parser_lookup_name): Fix naming the constructor. | |
2427 | ||
2428 | * cp-tree.h (COMPLETE_OR_OPEN_TYPE_P): New macro. | |
2429 | * init.c (build_offset_ref): Use it. | |
2430 | * pt.c (maybe_process_partial_specialization): Use it. | |
2431 | (instantiate_class_template): Use it. | |
2432 | * search.c (lookup_base): Use it. | |
2433 | ||
2434 | 2010-06-07 Jakub Jelinek <jakub@redhat.com> | |
2435 | ||
2436 | PR c++/44444 | |
2437 | * expr.c (mark_exp_read): Handle INDIRECT_REF. | |
2438 | * cvt.c (convert_to_void): Handle INDIRECT_REF like | |
2439 | handled_component_p. | |
2440 | ||
2441 | PR c++/44443 | |
2442 | * decl.c (initialize_local_var): If TREE_USED is set on the type, | |
2443 | set also DECL_READ_P on the decl. | |
2444 | ||
2445 | 2010-05-25 Dodji Seketeli <dodji@redhat.com> | |
2446 | ||
2447 | PR c++/44188 | |
2448 | * cp-tree.h (typedef_variant_p): Move this declaration to | |
2449 | gcc/tree.h. | |
2450 | * tree.c (typedef_variant_p): Move this definition to gcc/tree.c. | |
2451 | * decl.c (grokdeclarator): Do not rename debug info of an | |
2452 | anonymous tagged type named by a typedef. | |
2453 | ||
2454 | 2010-06-05 Fabien Chêne <fabien@gcc.gnu.org> | |
2455 | ||
2456 | PR c++/44086 | |
2457 | * class.c (check_field_decls): Move the call to | |
2458 | check_bitfield_decl before trying to set the | |
2459 | CLASSTYPE_READONLY_FIELDS_NEED_INIT flag. | |
2460 | ||
2461 | 2010-06-05 Steven Bosscher <steven@gcc.gnu.org> | |
2462 | ||
2463 | * typeck.c: Update include path for moved files. | |
2464 | * decl.c: Likewise. | |
2465 | * rtti.c: Likewise. | |
2466 | * cp-gimplify.c: Likewise. | |
2467 | * cp-lang.c: Likewise. | |
2468 | * pt.c: Likewise. | |
2469 | * semantics.c: Likewise. | |
2470 | * cxx-pretty-print.h: Likewise. | |
2471 | * decl2.c: Likewise. | |
2472 | * parser.c: Likewise. | |
2473 | * cp-objcp-common.c: Likewise. | |
2474 | * cp-tree.h: Likewise. | |
2475 | * name-lookup.c: Likewise. | |
2476 | * lex.c: Likewise. | |
2477 | * name-lookup.h: Likewise. | |
2478 | * config-lang.in: Update paths in gtfiles for files in c-family/. | |
2479 | * Make-lang.in: Likewise. | |
2480 | ||
2481 | 2010-06-04 Magnus Fromreide <magfr@lysator.liu.se> | |
2482 | ||
2483 | * cvt.c (cp_convert_to_pointer): Use null_ptr_cst_p. | |
2484 | * typeck.c (build_ptrmemfunc): Likewise. | |
2485 | ||
2486 | 2010-06-04 Jason Merrill <jason@redhat.com> | |
2487 | ||
2488 | * typeck2.c (merge_exception_specifiers): Adjust merging of | |
2489 | throw() and noexcept(true). | |
2490 | ||
2491 | * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Avoid | |
2492 | using an uninitialized variable. | |
2493 | ||
2494 | * cxx-pretty-print.c (pp_cxx_unary_expression): Handle NOEXCEPT_EXPR. | |
2495 | (pp_cxx_expression): Likewise. | |
2496 | ||
2497 | Implement noexcept-specification (15.4) | |
2498 | * parser.c (cp_parser_exception_specification_opt): Parse it. | |
2499 | Give -Wdeprecated warning about throw() specs. | |
2500 | * pt.c (tsubst_exception_specification): Handle it. | |
2501 | * error.c (dump_exception_spec): Handle it. | |
2502 | (dump_expr): Handle NOEXCEPT_EXPR. | |
2503 | * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise. | |
2504 | * typeck.c (comp_except_specs): Handle compatibility rules. | |
2505 | Change exact parm to take an enum. | |
2506 | * typeck2.c (merge_exception_specifiers): Handle noexcept. | |
2507 | * except.c (nothrow_spec_p, type_noexcept_p): New fns. | |
2508 | (type_throw_all_p, build_noexcept_spec): New fns. | |
2509 | * cp-tree.h (TYPE_NOTHROW_P, TYPE_NOEXCEPT_P): Use them. | |
2510 | (comp_except_specs): Define ce_derived, ce_normal, ce_exact enums. | |
2511 | (cp_tree_index): Add CPTI_NOEXCEPT_TRUE_SPEC, CPTI_NOEXCEPT_FALSE_SPEC. | |
2512 | (noexcept_true_spec, noexcept_false_spec): New macros. | |
2513 | * name-lookup.c (pushdecl_maybe_friend): Adjust. | |
2514 | * search.c (check_final_overrider): Adjust. | |
2515 | * decl.c (check_redeclaration_exception_specification): Adjust. | |
2516 | (use_eh_spec_block): Use type_throw_all_p. | |
2517 | (cxx_init_decl_processing): Set noexcept_false_spec,noexcept_true_spec. | |
2518 | Give operator new a noexcept-specification in C++0x mode. | |
2519 | * tree.c (build_exception_variant, cxx_type_hash_eq): Adjust. | |
2520 | (cp_build_type_attribute_variant): Don't test TYPE_RAISES_EXCEPTIONS. | |
2521 | ||
2522 | Implement noexcept operator (5.3.7) | |
2523 | * cp-tree.def (NOEXCEPT_EXPR): New. | |
2524 | * except.c (check_noexcept_r, finish_noexcept_expr): New. | |
2525 | * cp-tree.h: Declare finish_noexcept_expr. | |
2526 | * parser.c (cp_parser_unary_expression): Parse noexcept-expression. | |
2527 | * pt.c (tsubst_copy_and_build): And tsubst it. | |
2528 | (type_dependent_expression_p): Handle it. | |
2529 | (value_dependent_expression_p): Handle it. | |
2530 | ||
2531 | * call.c (build_conditional_expr): Never fold in unevaluated context. | |
2532 | * tree.c (build_aggr_init_expr): Propagate TREE_NOTHROW. | |
2533 | * semantics.c (simplify_aggr_init_expr): Likewise. | |
2534 | * typeck.c (merge_types): Call merge_exception_specifiers. | |
2535 | * decl.c (duplicate_decls): Check DECL_SOURCE_LOCATION rather than | |
2536 | DECL_ANTICIPATED for preferring new type. | |
2537 | ||
2538 | 2010-06-04 Joseph Myers <joseph@codesourcery.com> | |
2539 | ||
2540 | * g++spec.c (lang_specific_driver): Use GCC-specific formats in | |
2541 | diagnostics. | |
2542 | ||
2543 | 2010-06-04 Jakub Jelinek <jakub@redhat.com> | |
2544 | ||
2545 | PR c++/44412 | |
2546 | * typeck.c (build_class_member_access_expr): Call mark_exp_read | |
2547 | on object for static data members. | |
2548 | ||
2549 | 2010-06-04 Jakub Jelinek <jakub@redhat.com> | |
2550 | Jason Merrill <jason@redhat.com> | |
2551 | ||
2552 | PR c++/44362 | |
2553 | * call.c (build_conditional_expr): If both arg2 and arg3 are lvalues | |
2554 | with the same type, call mark_lvalue_use on both. | |
2555 | ||
2556 | 2010-06-03 Nathan Froyd <froydnj@codesourcery.com> | |
2557 | ||
2558 | * class.c (struct vtbl_init_data_s): Remove last_init field. | |
2559 | (struct secondary_vptr_vtt_init_data_s): Change type of inits field | |
2560 | to a VEC. | |
2561 | (finish_vtbls): Use a VEC rather than a TREE_LIST for the accumulated | |
2562 | initializers. | |
2563 | (build_vtt): Likewise. | |
2564 | (initialize_vtable): Take a VEC instead of a tree. | |
2565 | (build_vtt_inits): Change return type to void. Take a VEC ** | |
2566 | instead of a tree *; accumulate results into said VEC. | |
2567 | (build_ctor_vtbl_group): Use a VEC rather than a TREE_LIST for the | |
2568 | accumulated initializers. Pass the vtable to accumulate_vtbl_inits. | |
2569 | (accumulate_vtbl_inits): Add extra vtable tree parameter; take a VEC | |
2570 | instead of a tree. | |
2571 | (dfs_accumulate_vtbl_inits): Likewise. Change return type to void. | |
2572 | (build_vtbl_initializer): Add VEC parameter; accumulate initializers | |
2573 | into it. | |
2574 | (dfs_build_secondary_vptr_vtt_inits): Use CONSTRUCTOR_APPEND_ELT | |
2575 | rather than tree_cons. | |
2576 | (build_vbase_offset_vtbl_entries): Likewise. | |
2577 | (add_vcall_offset): Likewise. | |
2578 | (build_rtti_vtbl_entries): Likewise. | |
2579 | * cp-tree.h (initialize_artificial_var): Take a VEC instead of a tree. | |
2580 | * decl.c (initialize_artificial_var): Use build_constructor instead | |
2581 | of build_constructor_from_list. | |
2582 | ||
2583 | 2010-06-03 H.J. Lu <hongjiu.lu@intel.com> | |
2584 | ||
2585 | PR c++/44294 | |
2586 | * class.c (layout_class_type): Check MAX_FIXED_MODE_SIZE on | |
2587 | bit-field. | |
2588 | ||
2589 | 2010-06-02 Jonathan Wakely <jwakely.gcc@gmail.com> | |
2590 | ||
2591 | * parser.c (cp_parser_mem_initializer_list): Change error text. | |
2592 | ||
2593 | 2010-06-02 Jakub Jelinek <jakub@redhat.com> | |
2594 | ||
2595 | * cp-objcp-common.c (shadowed_var_for_decl): Change into | |
2596 | tree_decl_map hashtab from tree_map. | |
2597 | (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert): Adjust. | |
2598 | (init_shadowed_var_for_decl): Adjust initialization. | |
2599 | ||
2600 | PR c++/44361 | |
2601 | * cvt.c (convert_to_void): If implicit is NULL, call mark_rvalue_use | |
2602 | instead of calling mark_exp_read only when not an assignment. | |
2603 | ||
2604 | PR debug/44367 | |
2605 | * semantics.c (finalize_nrv): Don't copy DECL_ARTIFICIAL, DECL_IGNORED_P, | |
2606 | DECL_SOURCE_LOCATION and DECL_ABSTRACT_ORIGIN from var to result. | |
2607 | Set DECL_VALUE_EXPR on var. | |
2608 | ||
2609 | 2010-06-02 Jason Merrill <jason@redhat.com> | |
2610 | ||
2611 | * error.c (dump_type): Improve typedef handling. | |
2612 | ||
2613 | PR c++/9726 | |
2614 | PR c++/23594 | |
2615 | PR c++/44333 | |
2616 | * name-lookup.c (same_entity_p): New. | |
2617 | (ambiguous_decl): Multiple declarations of the same entity | |
2618 | are not ambiguous. | |
2619 | ||
2620 | 2010-06-01 Jason Merrill <jason@redhat.com> | |
2621 | ||
2622 | DR 990 | |
2623 | * call.c (add_list_candidates): Prefer the default constructor. | |
2624 | (build_aggr_conv): Treat missing initializers like { }. | |
2625 | * typeck2.c (process_init_constructor_record): Likewise. | |
2626 | * init.c (expand_default_init): Use digest_init for | |
2627 | direct aggregate initialization, too. | |
2628 | ||
2629 | * call.c (add_list_candidates): Split out... | |
2630 | (build_user_type_conversion_1): ...from here. | |
2631 | (build_new_method_call): And here. | |
2632 | (implicit_conversion): Propagate LOOKUP_NO_NARROWING. | |
2633 | ||
2634 | PR c++/44358 | |
2635 | * call.c (build_list_conv): Set list-initialization flags properly. | |
2636 | ||
2637 | 2010-06-01 Nathan Froyd <froydnj@codesourcery.com> | |
2638 | ||
2639 | * typeck2.c (build_x_arrow): Make types_memoized a VEC. | |
2640 | ||
2641 | 2010-06-01 Arnaud Charlet <charlet@adacore.com> | |
2642 | Matthew Gingell <gingell@adacore.com> | |
2643 | ||
2644 | * Make-lang.in (CXX_C_OBJS): Add c-ada-spec.o. | |
2645 | * decl2.c: Include langhooks.h and c-ada-spec.h. | |
2646 | (cpp_check, collect_source_refs, collect_ada_namespace, | |
2647 | collect_all_refs): New functions. | |
2648 | (cp_write_global_declarations): Add handling of -fdump-ada-spec. | |
2649 | * lang-specs.h: Ditto. | |
2650 | ||
2651 | 2010-05-29 Nathan Froyd <froydnj@codesourcery.com> | |
2652 | ||
2653 | * cp-tree.h (cp_build_function_call_nary): Declare. | |
2654 | * typeck.c (cp_build_function_call_nary): Define. | |
2655 | * decl.c (register_dtor_fn): Use it instead of | |
2656 | cp_build_function_call. | |
2657 | (cxx_maybe_build_cleanup): Likewise. | |
2658 | * decl2.c (generate_ctor_or_dtor_function): Likewise. | |
2659 | * except.c (do_get_exception_ptr): Likewise. | |
2660 | (do_begin_catch): Likewise. | |
2661 | (do_allocate_exception): Likewise. | |
2662 | (do_free_exception): Likewise. | |
2663 | (build_throw): Likewise. Use cp_build_function_call_vec instead | |
2664 | of cp_build_function_call. | |
2665 | (do_end_catch): Likewise. | |
2666 | ||
2667 | 2010-05-29 Nathan Froyd <froydnj@codesourcery.com> | |
2668 | ||
2669 | * cp-tree.h (struct cp_decl_specifier_seq): Move type_location field up. | |
2670 | (struct cp_declarator): Move id_loc field up. | |
2671 | ||
2672 | 2010-05-29 Steven Bosscher <steven@gcc.gnu.org> | |
2673 | ||
2674 | * cp-tree.h (ATTRIBUTE_GCC_CXXDIAG): Remove. Require that | |
2675 | this file is included before c-common.h. Define GCC_DIAG_STYLE | |
2676 | before including diagnostic-core.h and toplev.h. | |
2677 | (pedwarn_cxx98): Use ATTRIBUTE_GCC_DIAG. | |
2678 | * pt.c: Include cp-tree.h before c-common.h. | |
2679 | ||
2680 | 2010-05-29 Steven Bosscher <steven@gcc.gnu.org> | |
2681 | ||
2682 | * tree.c (c_register_addr_space): Add stub. | |
2683 | ||
2684 | 2010-05-28 Joseph Myers <joseph@codesourcery.com> | |
2685 | ||
2686 | * g++spec.c (lang_specific_driver): Use fatal_error instead of | |
2687 | fatal. | |
2688 | ||
2689 | 2010-05-28 Dodji Seketeli <dodji@redhat.com> | |
2690 | ||
2691 | Revert fix of PR c++/44188 | |
2692 | * cp-tree.h (typedef_variant_p): Revert moving this declaration to | |
2693 | gcc/tree.h. | |
2694 | * tree.c (typedef_variant_p): Revert moving this definition to | |
2695 | gcc/tree.c. | |
2696 | * decl.c (grokdeclarator): Revert naming typedef handling. | |
2697 | ||
2698 | 2010-05-27 Joseph Myers <joseph@codesourcery.com> | |
2699 | ||
2700 | * call.c: Include diagnostic-core.h instead of diagnostic.h. | |
2701 | * cp-lang.c: Don't include diagnostic.h | |
2702 | * name-lookup.c: Include diagnostic-core.h instead of | |
2703 | diagnostic.h. | |
2704 | (cp_emit_debug_info_for_using): Use seen_error. | |
2705 | * optimize.c: Include diagnostic-core.h instead of diagnostic.h. | |
2706 | * parser.c: Include diagnostic-core.h instead of diagnostic.h. | |
2707 | * pt.c (iterative_hash_template_arg): Use seen_error. | |
2708 | * repo.c: Include diagnostic-core.h instead of diagnostic.h. | |
2709 | * typeck2.c: Include diagnostic-core.h instead of diagnostic.h. | |
2710 | * Make-lang.in (cp/cp-lang.o, cp/typeck2.o, cp/call.o, cp/repo.o, | |
2711 | cp/optimize.o, cp/parser.o, cp/name-lookup.o): Update | |
2712 | dependencies. | |
2713 | ||
2714 | 2010-05-25 Dodji Seketeli <dodji@redhat.com> | |
2715 | ||
2716 | PR c++/44188 | |
2717 | * cp-tree.h (typedef_variant_p): Move this declaration to | |
2718 | gcc/tree.h. | |
2719 | * tree.c (typedef_variant_p): Move this definition to gcc/tree.c. | |
2720 | * decl.c (grokdeclarator): Do not rename debug info of an | |
2721 | anonymous tagged type named by a typedef. | |
2722 | ||
2723 | 2010-05-27 Jason Merrill <jason@redhat.com> | |
2724 | ||
2725 | PR c++/43555 | |
2726 | * decl.c (grokdeclarator) [cdk_pointer et al]: Force evaluation of | |
2727 | anonymous VLA size. | |
2728 | ||
2729 | 2010-05-27 Kai Tietz <kai.tietz@onevision.com> | |
2730 | ||
2731 | PR bootstrap/44287 | |
2732 | * rtti.c (emit_support_tinfos): Check for NULL_TREE. | |
2733 | * class.c (layout_class_type): Likewise. | |
2734 | * decl.c (finish_enum): Likewise. | |
2735 | * mangle.c (write_builitin_type): Likewise. | |
2736 | ||
2737 | 2010-05-26 Kai Tietz <kai.tietz@onevision.com> | |
2738 | ||
2739 | * cp-tree.h (cp_decl_specifier_seq): Add new bifield | |
2740 | explicit_int128_p. | |
2741 | * decl.c (grokdeclarator): Handle __int128. | |
2742 | * parser.c (cp_lexer_next_token_is_decl_specifier_ke): Likewise. | |
2743 | (cp_parser_simple_type_specifier): Likewise. | |
2744 | * rtti.c (emit_support_tinfos): Add int128 nodes for rtti. | |
2745 | * typeck.c (cp_common_type): Handle __int128. | |
2746 | * mangle.c (integer_type_codes): Add itk_int128 and | |
2747 | itk_unsigned_int128. | |
2748 | ||
2749 | 2010-05-26 Jason Merrill <jason@redhat.com> | |
2750 | ||
2751 | PR c++/43382 | |
2752 | * pt.c (tsubst_pack_expansion): Don't get confused by recursive | |
2753 | unification. | |
2754 | ||
2755 | 2010-05-26 Steven Bosscher <steven@gcc.gnu.org> | |
2756 | ||
2757 | * cp-lang.c: Do not include expr.h. | |
2758 | ||
2759 | 2010-05-26 Steven Bosscher <steven@gcc.gnu.org> | |
2760 | ||
2761 | * decl.c: Do not include rtl.h | |
2762 | * semantics.c: Likewise. | |
2763 | ||
2764 | 2010-05-25 Steven Bosscher <steven@gcc.gnu.org> | |
2765 | ||
2766 | * cp-tree.h: Do not include splay-tree.h. | |
2767 | (struct prtmem_cst): Remove unused field and false comment. | |
2768 | * typeck.c: Do not include rtl.h, expr.h, and tm_p.h. | |
2769 | * optimize.c: Do not inclde rtl.h, insn-config.h, and integrate.h. | |
2770 | * init.c: Do not include rtl.h and expr.h. | |
2771 | * class.c: Do not include rtl.h. Include splay-tree.h. | |
2772 | (build_clone): Use plain NULL instead of NULL_RTX. | |
2773 | * decl.c: Do not include expr.h. Explain why rtl.h has to be | |
2774 | included. Include splay-tree.h. | |
2775 | * method.c: Do not include rtl.h and expr.h. | |
2776 | (use_thunk): Use plain NULL instead of NULL_RTX. | |
2777 | * except.c: Do not include rtl.h, expr.h, and libfuncs.h. | |
2778 | * tree.c: Do not include rtl.h, insn-config.h, integrate.h, | |
2779 | and target.h. Include splay-tree.h. | |
2780 | * expr.c: Do not include rtl.h and expr.h. | |
2781 | * pt.c: Do not include obstack.h and rtl.h. | |
2782 | (tsubst_friend_function): Use plain NULL instead of NULL_RTX. | |
2783 | (tsubst_decl): Likewise. | |
2784 | (instantiate_decl): Likewise. | |
2785 | * semantics.c: Do not include exprt.h and debug.h. Explain why | |
2786 | rtl.h has to be included. | |
2787 | * decl2.c: Do not include rtl.h and expr.h. Include splay-tree.h. | |
2788 | * call.c: Do not include rtl.h and expr.h. | |
2789 | * search.c: Do not include obstack.h and rtl.h. | |
2790 | * friend.c: Do not include rtl.h and expr.h. | |
2791 | * Make-lang.in: Update dependencies. | |
2792 | ||
2793 | 2010-05-25 Jakub Jelinek <jakub@redhat.com> | |
2794 | ||
2795 | PR c++/18249 | |
2796 | * parser.c (non_integral_constant): Add NIC_NONE. | |
2797 | (required_token): Add RT_NONE. | |
2798 | (cp_parser_unary_expression): Initialize non_constant_p | |
2799 | to NIC_NONE. | |
2800 | (cp_parser_asm_definition): Initialize missing to RT_NONE. | |
2801 | (cp_parser_primary_expression, cp_parser_postfix_expression, | |
2802 | cp_parser_cast_expression, cp_parser_binary_expression, | |
2803 | cp_parser_functional_cast): Fix formatting. | |
2804 | ||
2805 | 2010-05-25 Shujing Zhao <pearly.zhao@oracle.com> | |
2806 | ||
2807 | PR c++/18249 | |
2808 | * parser.c: Remove inclusion of dyn-string.h. | |
2809 | (non_integral_constant): New enum. | |
2810 | (name_lookup_error): New enum. | |
2811 | (required_token): New enum. | |
2812 | (cp_parser_required_error): New function. | |
2813 | (cp_parser_require): Change the type of variable token_desc to | |
2814 | required_token and use cp_parser_required_error. | |
2815 | (cp_parser_require_keyword): Likewise. | |
2816 | (cp_parser_error): Use gmsgid as parameter. | |
2817 | (cp_parser_name_lookup_error): Change the type of variable desired to | |
2818 | name_lookup_error and put the diagnostic in the full sentences. Change | |
2819 | caller. | |
2820 | (cp_parser_non_integral_constant_expression): Change the type of the | |
2821 | variable thing to non_integral_constant and put the diagnostics in | |
2822 | full sentences. Change caller. | |
2823 | ||
2824 | 2010-05-24 Eric Botcazou <ebotcazou@adacore.com> | |
2825 | ||
2826 | PR middle-end/44100 | |
2827 | * typeck.c (cp_build_unary_op): Fold offsetof-like computations. | |
2828 | ||
2829 | 2010-05-24 Joseph Myers <joseph@codesourcery.com> | |
2830 | ||
2831 | * error.c (cp_diagnostic_starter): Update call to | |
2832 | diagnostic_build_prefix. | |
2833 | (cp_print_error_function, | |
2834 | print_instantiation_partial_context_line): Check show_column flag | |
2835 | in context. | |
2836 | ||
2837 | 2010-05-24 Jason Merrill <jason@redhat.com> | |
2838 | ||
2839 | PR c++/41510 | |
2840 | * decl.c (check_initializer): Don't wrap an init-list in a | |
2841 | TREE_LIST. | |
2842 | * init.c (build_aggr_init): Don't assume copy-initialization if | |
2843 | init has CONSTRUCTOR_IS_DIRECT_INIT. | |
2844 | * call.c (build_new_method_call): Sanity check. | |
2845 | ||
2846 | 2010-05-24 Nathan Froyd <froydnj@codesourcery.com> | |
2847 | ||
2848 | * rtti.c (tinfo_base_init): Use build_constructor instead of | |
2849 | build_constructor_from_list. Don't cons a tree node for | |
2850 | returning. | |
2851 | (generic_initializer): Use build_constructor_single instead of | |
2852 | build_constructor_from_list. | |
2853 | (ptr_initializer): Use build_constructor instead of | |
2854 | build_constructor_from_list | |
2855 | (ptm_initializer): Likewise. | |
2856 | (class_initializer): Likewise. Take varargs instead of TRAIL. | |
2857 | (get_pseudo_ti_init): Adjust calls to class_initializer. Use | |
2858 | build_constructor instead of build_constructor_from_list. | |
2859 | ||
2860 | 2010-05-22 Steven Bosscher <steven@gcc.gnu.org> | |
2861 | ||
2862 | * semantics.c: Include bitmap.h. | |
2863 | * Make-lang.in: Update dependencies. | |
2864 | ||
2865 | 2010-05-22 Jan Hubicka <jh@suse.cz> | |
2866 | ||
2867 | * decl2.c (maybe_emit_vtables): Produce same comdat group when outputting | |
2868 | comdat vtables. | |
2869 | (cxx_callgraph_analyze_expr): Remove code marking vtables needed. | |
2870 | ||
2871 | 2010-05-21 Joseph Myers <joseph@codesourcery.com> | |
2872 | ||
2873 | * cxx-pretty-print.c: Correct merge error. | |
2874 | ||
2875 | 2010-05-21 Joseph Myers <joseph@codesourcery.com> | |
2876 | ||
2877 | * error.c: Include tree-diagnostic.h and tree-pretty-print.h. | |
2878 | (cp_print_error_function): Use diagnostic_abstract_origin macro. | |
2879 | (cp_printer): Handle %K here using percent_K_format. | |
2880 | * cxx-pretty-print.c: Include tree-pretty-print.h. | |
2881 | * Make-lang.in (cp/error.o, cp/cxx-pretty-print.o): Update | |
2882 | dependencies. | |
2883 | ||
2884 | 2010-05-21 Steven Bosscher <steven@gcc.gnu.org> | |
2885 | ||
2886 | * error.c, tree.c, typeck2.c, cxx-pretty-print.c, mangle.c: | |
2887 | Clean up redundant includes. | |
2888 | ||
2889 | 2010-05-20 Paolo Carlini <paolo.carlini@oracle.com> | |
2890 | ||
2891 | PR c++/30298 | |
2892 | * decl.c (xref_basetypes): Return false in case of ill-formed | |
2893 | redefinition. | |
2894 | ||
2895 | 2010-05-19 Jason Merrill <jason@redhat.com> | |
2896 | ||
2897 | * call.c (reference_binding): Use cp_build_qualified_type_real | |
2898 | and cp_type_quals consistently. | |
2899 | (add_function_candidate): Likewise. | |
2900 | (build_conditional_expr): Likewise. | |
2901 | (convert_like_real): Likewise. | |
2902 | (type_passed_as): Likewise. | |
2903 | * class.c (add_method): Likewise. | |
2904 | (same_signature_p): Likewise. | |
2905 | (layout_class_type): Likewise. | |
2906 | * decl.c (cxx_init_decl_processing): Likewise. | |
2907 | (cp_fname_init): Likewise. | |
2908 | (grokdeclarator): Likewise. | |
2909 | * decl2.c (cp_reconstruct_complex_type): Likewise. | |
2910 | * init.c (build_new_1): Likewise. | |
2911 | * method.c (do_build_copy_constructor): Likewise. | |
2912 | (implicitly_declare_fn): Likewise. | |
2913 | * pt.c (tsubst_aggr_type): Likewise. | |
2914 | (tsubst): Likewise. | |
2915 | * rtti.c (init_rtti_processing): Likewise. | |
2916 | (build_headof): Likewise. | |
2917 | (build_dynamic_cast_1): Likewise. | |
2918 | (tinfo_base_init): Likewise. | |
2919 | (emit_support_tinfos): Likewise. | |
2920 | * semantics.c (capture_decltype): Likewise. | |
2921 | * tree.c (cv_unqualified): Likewise. | |
2922 | * typeck.c (composite_pointer_type): Likewise. | |
2923 | (string_conv_p): Likewise. | |
2924 | ||
2925 | * mangle.c (write_CV_qualifiers_for_type): Tweak. | |
2926 | ||
2927 | * call.c (initialize_reference): Use CP_TYPE_CONST_P. | |
2928 | * decl.c (start_decl): Likewise. | |
2929 | * semantics.c (finish_compound_literal): Likewise. | |
2930 | * typeck.c (check_return_expr): Use CP_TYPE_VOLATILE_P. | |
2931 | (cp_type_readonly): Remove. | |
2932 | * cp-tree.h: Remove declaration. | |
2933 | ||
2934 | * typeck.c (merge_types): Preserve memfn quals. | |
2935 | ||
2936 | * decl.c (grokdeclarator): Don't check quals on fn type. | |
2937 | * typeck.c (cp_apply_type_quals_to_decl): Likewise. | |
2938 | * tree.c (cp_build_qualified_type_real): Simplify qualifier checking. | |
2939 | ||
2940 | PR c++/44193 | |
2941 | * typeck.c (type_memfn_quals): New fn. | |
2942 | (apply_memfn_quals): New fn. | |
2943 | (cp_type_quals): Return TYPE_UNQUALIFIED for FUNCTION_TYPE. | |
2944 | (cp_type_readonly): Use cp_type_quals. | |
2945 | * cp-tree.h: Add declarations. | |
2946 | * tree.c (cp_build_qualified_type_real): Don't set, but do | |
2947 | preserve, quals on FUNCTION_TYPE. | |
2948 | (strip_typedefs): Use apply_memfn_quals and type_memfn_quals. | |
2949 | * decl.c (build_ptrmem_type): Likewise. | |
2950 | (grokdeclarator): Likewise. | |
2951 | (static_fn_type): Likewise. | |
2952 | * decl2.c (change_return_type): Likewise. | |
2953 | (cp_reconstruct_complex_type): Likewise. | |
2954 | * pt.c (tsubst_function_type): Likewise. | |
2955 | (unify): Likewise. | |
2956 | (tsubst): Likewise. Drop special FUNCTION_TYPE substitution code. | |
2957 | ||
2958 | 2010-05-18 Nathan Froyd <froydnj@codesourcery.com> | |
2959 | ||
2960 | * tree.c (build_min_non_dep_call_vec): Update comment. | |
2961 | ||
2962 | 2010-05-17 Jason Merrill <jason@redhat.com> | |
2963 | ||
2964 | * call.c (struct z_candidate): Add explicit_targs field. | |
2965 | (add_template_candidate_real): Set it. | |
2966 | (build_over_call): Use it to control init-list warning. | |
2967 | ||
2968 | PR c++/44157 | |
2969 | * call.c (build_over_call): Limit init-list deduction warning to | |
2970 | cases where the argument is actually an init-list. | |
2971 | ||
2972 | PR c++/44158 | |
2973 | * call.c (build_over_call): Don't do bitwise copy for move ctor. | |
2974 | ||
2975 | 2010-05-17 Dodji Seketeli <dodji@redhat.com> | |
2976 | Jason Merrill <jason@redhat.com> | |
2977 | ||
2978 | PR c++/44108 | |
2979 | * decl.c (compute_array_index_type): Call mark_rvalue_use. | |
2980 | ||
2981 | 2010-05-15 Jason Merrill <jason@redhat.com> | |
2982 | ||
2983 | * cp-tree.h (TYPE_NOEXCEPT_P): New macro. | |
2984 | * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if | |
2985 | TYPE_NOEXCEPT_P. | |
2986 | (finish_eh_spec_block): Adjust. | |
2987 | ||
2988 | 2010-05-15 Jakub Jelinek <jakub@redhat.com> | |
2989 | ||
2990 | PR c++/44148 | |
2991 | * pt.c (tsubst): Unshare template argument. | |
2992 | ||
2993 | 2010-05-15 Steven Bosscher <steven@gcc.gnu.org> | |
2994 | ||
2995 | * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes. | |
2996 | * Make-lang.in: Fix dependencies accordingly. | |
2997 | ||
2998 | 2010-05-14 Jason Merrill <jason@redhat.com> | |
2999 | ||
3000 | C++ DR 475 | |
3001 | * except.c (build_throw): Simplify, adjust for DR 475. | |
3002 | ||
3003 | PR c++/44127 | |
3004 | * except.c (dtor_nothrow): Return nonzero for type with | |
3005 | trivial destructor. | |
3006 | ||
3007 | PR c++/44127 | |
3008 | * cp-gimplify.c (gimplify_must_not_throw_expr): Use | |
3009 | gimple_build_eh_must_not_throw. | |
3010 | ||
3011 | 2010-05-14 Martin Jambor <mjambor@suse.cz> | |
3012 | ||
3013 | * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef | |
3014 | and define. | |
3015 | ||
3016 | 2010-05-14 Jonathan Wakely <jwakely.gcc@gmail.com> | |
3017 | ||
3018 | * call.c (build_new_method_call): Change warning text. | |
3019 | * typeck2.c (build_functional_cast): Change error text. | |
3020 | ||
3021 | 2010-05-14 Shujing Zhao <pearly.zhao@oracle.com> | |
3022 | ||
3023 | PR c++/30566 | |
3024 | * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about | |
3025 | shadowing the outer parameter or variables by the declaration of | |
3026 | nested function in nested structure or class. Warn the shadowing by | |
3027 | the declaration of nested lambda expression. | |
3028 | ||
3029 | 2010-05-13 Jason Merrill <jason@redhat.com> | |
3030 | ||
3031 | * typeck.c (cp_build_array_ref): Factor out from... | |
3032 | (build_array_ref): ...here. Drop complain parm. | |
3033 | (build_new_op): Adjust. | |
3034 | * class.c (build_vtbl_ref_1): Adjust. | |
3035 | * decl2.c (grok_array_decl): Adjust. | |
3036 | * cp-tree.h: Adjust prototypes. | |
3037 | ||
3038 | 2010-05-13 Jan Hubicka <jh@suse.cz> | |
3039 | ||
3040 | * decl.c (cp_finish_decl): Do not worry about used attribute. | |
3041 | ||
3042 | 2010-05-12 Jason Merrill <jason@redhat.com> | |
3043 | ||
3044 | * typeck.c (build_array_ref): Take complain parm. | |
3045 | * cp-tree.h: Add it to prototype. | |
3046 | * call.c (build_new_op): Pass it. | |
3047 | * class.c (build_vtbl_ref): Pass it. | |
3048 | * decl2.c (grok_array_decl): Pass it. | |
3049 | ||
3050 | PR bootstrap/44048 | |
3051 | PR target/44099 | |
3052 | * cp-tree.def (NULLPTR_TYPE): Remove. | |
3053 | * cp-tree.h (NULLPTR_TYPE_P): New. | |
3054 | (SCALAR_TYPE_P): Use it. | |
3055 | (nullptr_type_node): New. | |
3056 | (cp_tree_index): Add CPTI_NULLPTR_TYPE. | |
3057 | * decl.c (cxx_init_decl_processing): Call record_builtin_type on | |
3058 | nullptr_type_node. | |
3059 | * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE. | |
3060 | * cxx-pretty-print.c (pp_cxx_constant): Likewise. | |
3061 | * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise. | |
3062 | * mangle.c (write_type): Likewise. | |
3063 | * name-lookup.c (arg_assoc_type): Likewise. | |
3064 | * typeck.c (build_reinterpret_cast_1): Likewise. | |
3065 | * rtti.c (typeinfo_in_lib_p): Likewise. | |
3066 | (emit_support_tinfos): Remove local nullptr_type_node. | |
3067 | ||
3068 | * cp-tree.h (UNKNOWN_TYPE): Remove. | |
3069 | * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead. | |
3070 | * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise. | |
3071 | * typeck2.c (cxx_incomplete_type_diagnostic): Likewise. | |
3072 | * class.c (instantiate_type): Check unknown_type_node rather than | |
3073 | UNKNOWN_TYPE. | |
3074 | * name-lookup.c (maybe_push_decl): Likewise. | |
3075 | * rtti.c (get_tinfo_decl_dynamic): Likewise. | |
3076 | (get_typeid): Likewise. | |
3077 | * semantics.c (finish_offsetof): Likewise. | |
3078 | ||
3079 | PR c++/20669 | |
3080 | * call.c (add_template_candidate_real): If deduction fails, still | |
3081 | add the template as a non-viable candidate. | |
3082 | (equal_functions): Handle template candidates. | |
3083 | (print_z_candidate): Likewise. | |
3084 | (print_z_candidates): Likewise. | |
3085 | (build_new_function_call): Likewise. | |
3086 | ||
3087 | * cp-tree.h (LOOKUP_LIST_ONLY): New. | |
3088 | * call.c (add_candidates): Enforce it. | |
3089 | (build_new_method_call): Try non-list ctor if no viable list ctor. | |
3090 | (build_user_type_conversion_1): Likewise. | |
3091 | ||
3092 | * call.c (add_candidates): Distinguish between type(x) and | |
3093 | x.operator type(). | |
3094 | (convert_class_to_reference): Set LOOKUP_NO_CONVERSION. | |
3095 | (build_new_method_call): Give better error for conversion op. | |
3096 | ||
3097 | * call.c (add_candidates): Add first_arg and return_type parms. | |
3098 | Add special constructor/conversion op handling. | |
3099 | (convert_class_to_reference): Use it. | |
3100 | (build_user_type_conversion_1): Likewise. | |
3101 | (build_op_call): Likewise. | |
3102 | (build_new_method_call): Likewise. | |
3103 | (build_new_op): Adjust. | |
3104 | (perform_overload_resolution): Adjust. | |
3105 | ||
3106 | 2010-05-11 Paolo Carlini <paolo.carlini@oracle.com> | |
3107 | ||
3108 | PR c++/34272 | |
3109 | PR c++/43630 | |
3110 | PR c++/34491 | |
3111 | * pt.c (process_partial_specialization): Return error_mark_node | |
3112 | in case of unused template parameters in partial specialization. | |
3113 | ||
3114 | 2010-05-11 Jakub Jelinek <jakub@redhat.com> | |
3115 | ||
3116 | PR c++/44062 | |
3117 | * semantics.c (finish_expr_stmt): Don't call mark_exp_read here... | |
3118 | * cvt.c (convert_to_void): ... but here. If expr is a COMPOUND_EXPR, | |
3119 | look at its second operand. | |
3120 | ||
3121 | 2010-05-10 Jason Merrill <jason@redhat.com> | |
3122 | ||
3123 | PR c++/44017 | |
3124 | * semantics.c (baselink_for_fns): Revert earlier change. | |
3125 | ||
3126 | PR c++/44045 | |
3127 | * typeck.c (cp_build_modify_expr): Complain about assignment to | |
3128 | array from init list. | |
3129 | ||
0df9da03 | 3130 | 2010-05-10 Fabien Chêne <fabien@gcc.gnu.org> |
797103eb L |
3131 | |
3132 | PR c++/43719 | |
0df9da03 | 3133 | * decl.c (check_initializer): Strip array type before checking for |
797103eb L |
3134 | uninitialized const or ref members. |
3135 | ||
0df9da03 | 3136 | 2010-05-07 Fabien Chêne <fabien@gcc.gnu.org> |
797103eb L |
3137 | |
3138 | PR c++/43951 | |
3139 | * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the | |
3140 | error count. Emit errors only if compain is true. | |
3141 | (build_new_1): Do not return error_mark_node if | |
3142 | diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any | |
3143 | errors. Delay the check for user-provided constructor. | |
3144 | (perform_member_init): Adjust. | |
3145 | * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the | |
3146 | prototype. | |
3147 | ||
3148 | 2010-05-06 Magnus Fromreide <magfr@lysator.liu.se> | |
3149 | Jason Merrill <jason@redhat.com> | |
3150 | ||
3151 | Add support for C++0x nullptr. | |
3152 | * cp-tree.def: Add NULLPTR_TYPE. | |
3153 | * cp-tree.h: Add nullptr_node. | |
3154 | (cp_tree_index): Add CPTI_NULLPTR. | |
3155 | (SCALAR_TYPE_P): Add NULLPTR_TYPE. | |
3156 | * call.c (null_ptr_cst_p): Handle nullptr. | |
3157 | (standard_conversion): Likewise. | |
3158 | (convert_arg_to_ellipsis): Likewise. | |
3159 | * mangle.c (write_type): Likewise. | |
3160 | * name-lookup.c (arg_assoc_type): Likewise. | |
3161 | * parser.c (cp_parser_primary_expression): Likewise. | |
3162 | * typeck.c (cp_build_binary_op): Likewise. | |
3163 | (build_reinterpret_cast_1): Likewise. | |
3164 | * error.c (dump_type): Likewise. | |
3165 | (dump_type_prefix, dump_type_suffix): Likewise. | |
3166 | * decl.c (cxx_init_decl_processing): Likewise. | |
3167 | * cxx-pretty-print.c (pp_cxx_constant): Likewise. | |
3168 | * cvt.c (ocp_convert): Likewise. | |
3169 | * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put | |
3170 | nullptr_t tinfo in libsupc++. | |
3171 | ||
3172 | 2010-05-06 Jason Merrill <jason@redhat.com> | |
3173 | ||
3174 | * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR. | |
3175 | ||
3176 | 2010-04-22 Jakub Jelinek <jakub@redhat.com> | |
3177 | Dodji Seketeli <dodji@redhat.com> | |
3178 | ||
3179 | PR c/18624 | |
3180 | * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use): | |
3181 | Declare ... | |
3182 | * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns. | |
3183 | * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use. | |
3184 | (decay_conversion, perform_integral_promotions): Call rvalue_use. | |
3185 | (cp_build_unary_op): Call lvalue_use. | |
3186 | * decl.c (unused_but_set_errorcount): New variable. | |
3187 | (poplevel): Issue -Wunused-but-set-variable diagnostics. | |
3188 | (duplicate_decls): Merge DECL_READ_P flags. | |
3189 | (start_cleanup_fn): Set DECL_READ_P flag. | |
3190 | (finish_function): Issue -Wunused-but-set-parameter diagnostics. | |
3191 | * tree.c (rvalue): Call rvalue_use. | |
3192 | * pt.c (convert_nontype_argument): Likewise. | |
3193 | * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof, | |
3194 | finish_decltype_type): Likewise. | |
3195 | * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use. | |
3196 | (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use | |
3197 | or rvalue_use depending on the expr. | |
3198 | * init.c (build_new, build_delete): Likewise. | |
3199 | * rtti.c (build_typeid, build_dynamic_cast_1): Likewise. | |
3200 | ||
3201 | 2010-05-05 Jason Merrill <jason@redhat.com> | |
3202 | ||
3203 | PR c++/43787 | |
3204 | * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes. | |
3205 | * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here. | |
3206 | ||
3207 | 2010-05-04 Paolo Carlini <paolo.carlini@oracle.com> | |
3208 | ||
3209 | PR c++/43028 | |
3210 | * pt.c (unify): Check each elt for error_mark_node. | |
3211 | ||
3212 | 2010-05-04 Jason Merrill <jason@redhat.com> | |
3213 | ||
3214 | PR c++/38064 | |
3215 | * typeck.c (cp_build_binary_op): Allow enums for <> as well. | |
3216 | ||
3217 | 2010-05-04 Paolo Carlini <paolo.carlini@oracle.com> | |
3218 | ||
3219 | PR c++/43705 | |
3220 | * call.c (build_new_method_call): Return error_mark_node if fns is | |
3221 | NULL_TREE. | |
3222 | ||
3223 | 2010-05-03 Dodji Seketeli <dodji@redhat.com> | |
3224 | ||
3225 | PR c++/43953 | |
3226 | * pt.c (most_specialized_class): Pretend we are processing | |
3227 | a template decl during the call to coerce_template_parms. | |
3228 | ||
3229 | 2010-05-03 Jason Merrill <jason@redhat.com> | |
3230 | ||
3231 | PR c++/42810 | |
3232 | PR c++/43680 | |
3233 | * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE | |
3234 | from the selected underlying type unless -fstrict-enums. Set | |
3235 | ENUM_UNDERLYING_TYPE to have the restricted range. | |
3236 | * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE. | |
3237 | * class.c (check_bitfield_decl): Likewise. | |
3238 | ||
3239 | 2010-05-01 H.J. Lu <hongjiu.lu@intel.com> | |
3240 | ||
3241 | PR c++/43951 | |
3242 | * init.c (build_new_1): Revert the accidental checkin in | |
3243 | revision 158918. | |
3244 | ||
3245 | 2010-04-30 Jason Merrill <jason@redhat.com> | |
3246 | ||
3247 | PR c++/43868 | |
3248 | * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling... | |
3249 | (pp_cxx_type_specifier_seq): ...here. | |
3250 | ||
3251 | 2010-04-30 Steven Bosscher <steven@gcc.gnu.org> | |
3252 | ||
3253 | * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h. | |
3254 | * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H. | |
3255 | ||
3256 | 2010-04-30 Shujing Zhao <pearly.zhao@oracle.com> | |
3257 | ||
3258 | PR c++/43779 | |
3259 | * typeck.c (warn_args_num): New function. | |
3260 | (convert_arguments): Use warn_args_num to print the diagnostic | |
0df9da03 | 3261 | messages. |
797103eb | 3262 | |
0df9da03 | 3263 | 2010-04-29 Fabien Chêne <fabien@gcc.gnu.org> |
797103eb L |
3264 | |
3265 | PR c++/43890 | |
0df9da03 | 3266 | * init.c (diagnose_uninitialized_cst_or_ref_member): Check for |
797103eb L |
3267 | user-provided constructor while recursing. |
3268 | ||
3269 | 2010-04-28 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
3270 | ||
3271 | PR c++/9335 | |
3272 | * error.c (print_instantiation_partial_context_line): Handle | |
3273 | recursive instantiation. | |
3274 | (print_instantiation_partial_context): Likewise. | |
3275 | ||
3276 | 2010-04-27 Jason Merrill <jason@redhat.com> | |
3277 | ||
3278 | * init.c (perform_member_init): Check CLASS_TYPE_P. | |
3279 | ||
0df9da03 | 3280 | 2010-04-27 Fabien Chêne <fabien@gcc.gnu.org> |
797103eb L |
3281 | |
3282 | PR c++/29043 | |
0df9da03 | 3283 | * init.c (perform_member_init): Check for uninitialized const or |
797103eb L |
3284 | reference members, including array types. |
3285 | ||
3286 | 2010-04-24 Jason Merrill <jason@redhat.com> | |
3287 | ||
3288 | * tree.c (get_fns): Split out from get_first_fn. | |
3289 | * cp-tree.h: Declare it. | |
3290 | * search.c (shared_member_p): Use it. | |
3291 | * semantics.c (finish_qualified_id_expr): Simplify. | |
3292 | (finish_id_expression): Simplify. | |
3293 | ||
3294 | * semantics.c (finish_non_static_data_member): Call maybe_dummy_object | |
3295 | whenever object is NULL_TREE. Don't do 'this' capture here. | |
3296 | (finish_qualified_id_expr): Pass NULL_TREE. | |
3297 | (finish_id_expression): Likewise. | |
3298 | (lambda_expr_this_capture): Likewise. | |
3299 | ||
3300 | * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object | |
3301 | rather than checking current_class_ref directly. | |
3302 | (finish_call_expr): Likewise. | |
3303 | ||
3304 | PR c++/43856 | |
3305 | * name-lookup.c (qualify_lookup): Disqualify lambda op(). | |
3306 | * class.c (current_nonlambda_class_type): New fn. | |
3307 | * semantics.c (nonlambda_method_basetype): New. | |
3308 | * cp-tree.h: Declare them. | |
3309 | * tree.c (maybe_dummy_object): Handle implicit 'this' capture. | |
3310 | ||
3311 | * semantics.c (baselink_for_fns): Correct BASELINK_BINFO. | |
3312 | ||
3313 | PR c++/43875 | |
3314 | * semantics.c (lambda_return_type): Complain about | |
3315 | braced-init-list. | |
3316 | ||
3317 | PR c++/43790 | |
3318 | * tree.c (cv_unqualified): Handle error_mark_node. | |
3319 | ||
3320 | PR c++/41468 | |
3321 | * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node | |
3322 | if we don't want errors. | |
3323 | ||
3324 | PR c++/41468 | |
3325 | * class.c (convert_to_base): Add complain parameter. Pass | |
3326 | ba_quiet to lookup_base if we don't want errors. | |
3327 | (build_vfield_ref): Pass complain to convert_to_base. | |
3328 | * call.c (convert_like_real): Likewise. | |
3329 | (initialize_reference): Likewise. | |
3330 | (perform_direct_initialization_if_possible): Pass complain to | |
3331 | convert_like_real. | |
3332 | * cp-tree.h: Adjust. | |
3333 | ||
0df9da03 | 3334 | 2010-04-27 Fabien Chêne <fabien@gcc.gnu.org> |
797103eb L |
3335 | Jason Merrill <jason@redhat.com> |
3336 | ||
3337 | PR c++/42844 | |
3338 | * decl.c (check_for_uninitialized_const_var): Handle classes that need | |
3339 | constructing, too. | |
3340 | (check_initializer): Call it for classes that need constructing, too. | |
3341 | * class.c (in_class_defaulted_default_constructor): New. | |
3342 | * cp-tree.h: Declare it. | |
3343 | ||
3344 | 2010-04-20 Jason Merrill <jason@redhat.com> | |
3345 | ||
3346 | PR c++/9335 | |
3347 | * init.c (constant_value_1): Treat error_mark_node as a constant | |
3348 | if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set. | |
3349 | * cvt.c (ocp_convert): Handle getting error_mark_node from | |
3350 | integral_constant_value. | |
3351 | * decl.c (compute_array_index_type): Likewise. | |
3352 | ||
3353 | 2010-04-20 Dodji Seketeli <dodji@redhat.com> | |
3354 | ||
3355 | PR c++/43800 | |
3356 | PR c++/43704 | |
3357 | * typeck.c (incompatible_dependent_types_p): If one of the | |
3358 | compared types if not a typedef then honour their main variant | |
3359 | equivalence. | |
3360 | ||
3361 | 2010-04-20 Jakub Jelinek <jakub@redhat.com> | |
3362 | ||
3363 | * cp-tree.h (TYPE_REF_IS_RVALUE): Remove. | |
3364 | ||
3365 | 2010-04-19 Dodji Seketeli <dodji@redhat.com> | |
3366 | ||
3367 | PR c++/43704 | |
3368 | * typeck.c (structural_comptypes): Test dependent typedefs | |
3369 | incompatibility before testing for their main variant based | |
3370 | equivalence. | |
3371 | ||
3372 | 2010-04-19 Jakub Jelinek <jakub@redhat.com> | |
3373 | ||
3374 | * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use | |
3375 | ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5. | |
3376 | ||
3377 | 2010-04-18 Eric Botcazou <ebotcazou@adacore.com> | |
3378 | ||
3379 | * decl.c (cxx_init_decl_processing): Remove second argument in call to | |
3380 | build_common_tree_nodes. | |
3381 | ||
3382 | 2010-04-14 Jason Merrill <jason@redhat.com> | |
3383 | ||
3384 | PR c++/36625 | |
3385 | * parser.c (cp_parser_parenthesized_expression_list): Change | |
3386 | is_attribute_list parm to int to indicate whether or not to | |
3387 | handle initial identifier specially. | |
3388 | (cp_parser_attribute_list): Use attribute_takes_identifier_p. | |
3389 | ||
3390 | 2010-04-13 Jason Merrill <jason@redhat.com> | |
3391 | ||
3392 | * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of | |
3393 | CLASS_TYPE_P. | |
3394 | * parser.c (cp_parser_lambda_expression): Complain about lambda in | |
3395 | unevaluated context. | |
3396 | * pt.c (iterative_hash_template_arg): Don't crash on lambda. | |
3397 | ||
3398 | 2010-04-12 Jason Merrill <jason@redhat.com> | |
3399 | ||
3400 | PR c++/43641 | |
3401 | * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak | |
3402 | return value directly. | |
3403 | ||
3404 | * call.c (type_decays_to): Call cv_unqualified for non-class type. | |
3405 | ||
0df9da03 | 3406 | 2010-04-12 Fabien Chêne <fabien@gcc.gnu.org>> |
797103eb L |
3407 | |
3408 | PR c++/25811 | |
3409 | * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare. | |
3410 | * init.c (build_new_1): Check for uninitialized const members and | |
3411 | uninitialized reference members, when using new without | |
3412 | new-initializer. Call diagnose_uninitialized_cst_or_ref_member. | |
3413 | (diagnose_uninitialized_cst_or_ref_member): Define, call | |
3414 | diagnose_uninitialized_cst_or_ref_member_1. | |
3415 | (diagnose_uninitialized_cst_or_ref_member_1): New function. | |
3416 | ||
3417 | 2010-04-12 Richard Guenther <rguenther@suse.de> | |
3418 | ||
3419 | PR c++/43611 | |
3420 | * semantics.c (expand_or_defer_fn_1): Do not keep extern | |
3421 | template inline functions. | |
3422 | ||
3423 | 2010-04-09 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
3424 | ||
3425 | PR c++/28584 | |
3426 | * typeck.c (cp_build_c_cast): Warn for casting integer to larger | |
3427 | pointer type. | |
3428 | ||
3429 | 2010-04-07 Jason Merrill <jason@redhat.com> | |
3430 | ||
3431 | PR c++/43016 | |
3432 | * decl.c (start_preparsed_function): Do defer nested functions. | |
3433 | ||
3434 | PR c++/11094, DR 408 | |
3435 | * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New. | |
3436 | * decl2.c (finish_static_data_member_decl): Set it. | |
3437 | * decl.c (duplicate_decls): Propagate it. | |
3438 | * pt.c (tsubst_decl): Don't substitute the domain of an array | |
3439 | VAR_DECL if it's set. | |
3440 | (regenerate_decl_from_template): Substitute it here. | |
3441 | (type_dependent_expression_p): Return true if it's set. | |
3442 | * semantics.c (finish_decltype_type): Instantiate such a variable. | |
3443 | * typeck.c (cxx_sizeof_expr): Likewise. | |
3444 | (strip_array_domain): New. | |
3445 | ||
3446 | PR c++/43145 | |
3447 | * name-lookup.c (current_decl_namespace): Non-static. | |
3448 | (pop_nested_namespace): Sanity check. | |
3449 | * cp-tree.h: Declare current_decl_namespace. | |
3450 | * decl.c (grokvardecl): Use it instead of current_namespace. | |
3451 | (grokfndecl): Likewise. | |
3452 | ||
3453 | PR c++/38392 | |
3454 | * pt.c (tsubst_friend_function): Instatiate a friend that has already | |
3455 | been used. | |
3456 | ||
3457 | * pt.c (print_template_statistics): New. | |
3458 | * cp-tree.h: Declare it. | |
3459 | * tree.c (cxx_print_statistics): Call it. | |
3460 | ||
3461 | PR c++/41970 | |
3462 | * decl.c (grokvardecl): Tweak warning message. | |
3463 | (grokfndecl): Likewise. | |
3464 | ||
3465 | 2010-04-07 Dodji Seketeli <dodji@redhat.com> | |
3466 | ||
3467 | PR c++/42697 | |
3468 | *pt.c (tsubst_decl): Get the arguments of a specialization from | |
3469 | the specialization template, not from the most general template. | |
3470 | ||
3471 | 2010-04-07 Dodji Seketeli <dodji@redhat.com> | |
3472 | ||
3473 | PR c++/40239 | |
3474 | * typeck2.c (process_init_constructor_record): | |
3475 | value-initialize members that are are not explicitely | |
3476 | initialized. | |
3477 | ||
3478 | 2010-04-07 Jie Zhang <jie@codesourcery.com> | |
3479 | ||
3480 | PR c++/42556 | |
3481 | * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR | |
3482 | when all of its elements are non-constant and have been split out. | |
3483 | ||
3484 | 2010-04-06 Taras Glek <taras@mozilla.com> | |
3485 | Jason Merrill <jason@redhat.com> | |
3486 | ||
3487 | * parser.c (cp_parser_class_specifier): Set class location to that | |
3488 | of IDENTIFIER_NODE instead of '{' when possible. | |
3489 | * semantics.c (begin_class_definition): Do not overide locations | |
3490 | with less precise ones. | |
3491 | ||
3492 | 2010-04-06 Jason Merrill <jason@redhat.com> | |
3493 | ||
3494 | PR c++/43648 | |
3495 | * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs. | |
3496 | ||
3497 | PR c++/43621 | |
3498 | * pt.c (maybe_update_decl_type): Check the return value from | |
3499 | push_scope. | |
3500 | ||
3501 | 2010-04-01 Jason Merrill <jason@redhat.com> | |
3502 | ||
3503 | * decl.c (next_initializable_field): No longer static. | |
3504 | * cp-tree.h: Declare it. | |
3505 | * call.c (build_aggr_conv): Fail if there are more initializers | |
3506 | than initializable fields. | |
3507 | ||
3508 | * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node | |
3509 | instead of void_zero_node. | |
3510 | ||
3511 | 2010-03-31 Dodji Seketeli <dodji@redhat.com> | |
3512 | ||
3513 | PR c++/43558 | |
3514 | * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro. | |
3515 | * pt.c (end_template_parm_list): Store sibling template parms of | |
3516 | each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS. | |
3517 | (push_template_decl_real): Don't store the containing template decl | |
3518 | into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore. | |
3519 | * typeck.c (get_template_parms_of_dependent_type): Get sibling parms | |
3520 | of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS. | |
3521 | Simplify the logic. | |
3522 | ||
3523 | 2010-03-30 Jason Merrill <jason@redhat.com> | |
3524 | ||
3525 | PR c++/43076 | |
3526 | * pt.c (push_template_decl_real): Deal better with running out of | |
3527 | scopes before running out of template parms. | |
3528 | ||
3529 | PR c++/41185 | |
3530 | PR c++/41786 | |
3531 | * parser.c (cp_parser_direct_declarator): Don't allow VLAs in | |
3532 | function parameter context. Don't print an error if parsing | |
3533 | tentatively. | |
3534 | ||
3535 | PR c++/43559 | |
3536 | * pt.c (more_specialized_fn): Don't control cv-qualifier check | |
3537 | with same_type_p. | |
3538 | ||
3539 | 2010-03-26 Jason Merrill <jason@redhat.com> | |
3540 | ||
3541 | PR c++/43509 | |
3542 | * parser.c (cp_parser_qualifying_entity): Do accept enum names in | |
3543 | c++0x mode, but not other type-names. | |
3544 | ||
3545 | 2010-03-26 Dodji Seketeli <dodji@redhat.com> | |
3546 | ||
3547 | PR c++/43327 | |
3548 | * pt.c (add_to_template_args): Support NULL ARGS; | |
3549 | (most_specialized_class): call coerce_template_parms on | |
3550 | template arguments passed to get_class_bindings. Use | |
3551 | add_to_template_args. | |
3552 | (unify): Handle VAR_DECLs. | |
3553 | ||
3554 | 2010-03-26 Dodji Seketeli <dodji@redhat.com> | |
3555 | ||
3556 | * cp-tree.h (get_template_parms_at_level): Change unsigned parm | |
3557 | into int. | |
3558 | * pt.c (get_template_parms_at_level): Adjust. | |
3559 | ||
3560 | 2010-03-25 Dodji Seketeli <dodji@redhat.com> | |
3561 | ||
3562 | PR c++/43206 | |
3563 | * cp-tree.h (get_template_parms_at_level): Declare ... | |
3564 | * pt.c (get_template_parms_at_level): ... new function. | |
3565 | * typeck.c (get_template_parms_of_dependent_type): If a template | |
3566 | type parm's DECL_CONTEXT isn't yet set, get its siblings from | |
3567 | current_template_parms. Use get_template_parms_at_level. Remove | |
3568 | useless test. | |
3569 | (incompatible_dependent_types_p): If we get empty parms from just one | |
3570 | of the template type parms we are comparing then the template parms are | |
3571 | incompatible. | |
3572 | ||
3573 | 2010-03-24 Jason Merrill <jason@redhat.com> | |
3574 | ||
3575 | PR c++/43502 | |
3576 | * parser.c (make_declarator): Initialize id_loc. | |
3577 | (cp_parser_lambda_declarator_opt): And set it. | |
3578 | ||
3579 | 2010-03-23 Jason Merrill <jason@redhat.com> | |
3580 | ||
3581 | Make lambda conversion op and op() non-static. | |
3582 | * semantics.c (maybe_add_lambda_conv_op): Make non-static. | |
3583 | Also add the thunk function returned by the conversion op. | |
3584 | Mark the conversion deleted if the op() is variadic. | |
3585 | * decl2.c (mark_used): Give helpful message about deleted conversion. | |
3586 | * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static. | |
3587 | * semantics.c (finish_this_expr): Adjust. | |
3588 | * mangle.c (write_closure_type_name): Adjust. | |
3589 | * decl.c (grok_op_properties): Don't allow it. | |
3590 | * call.c (build_user_type_conversion_1): No static conversion ops. | |
3591 | (build_op_call): Or op(). | |
3592 | ||
3593 | * decl2.c (change_return_type): Fix 'this' quals. | |
3594 | ||
3595 | 2010-03-22 Jason Merrill <jason@redhat.com> | |
3596 | ||
3597 | PR c++/43333 | |
3598 | * tree.c (pod_type_p): Use old meaning in C++98 mode. | |
3599 | ||
3600 | PR c++/43281 | |
3601 | * pt.c (contains_auto_r): New fn. | |
3602 | (do_auto_deduction): Use it. | |
3603 | (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM. | |
3604 | ||
3605 | 2010-03-20 Simon Martin <simartin@users.sourceforge.net> | |
3606 | ||
3607 | PR c++/43081: | |
3608 | * decl2.c (grokfield): Handle invalid initializers for member | |
3609 | functions. | |
3610 | ||
3611 | 2010-03-20 Dodji Seketeli <dodji@redhat.com> | |
3612 | ||
3613 | PR c++/43375 | |
3614 | * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC | |
3615 | is NULL. | |
3616 | * decl2.c (vague_linkage_p): Likewise. | |
3617 | ||
3618 | 2010-03-18 Paolo Carlini <paolo.carlini@oracle.com> | |
3619 | ||
3620 | PR c++/43418 | |
3621 | * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not | |
3622 | false, in the cp_parser_expression_statement call. | |
3623 | ||
3624 | 2010-03-05 Jason Merrill <jason@redhat.com> | |
3625 | ||
3626 | * mangle.c (mangle_decl): Give name collision error even without | |
3627 | ASM_OUTPUT_DEF. | |
3628 | ||
3629 | 2010-03-04 Marco Poletti <poletti.marco@gmail.com> | |
3630 | ||
3631 | * pt.c (process_partial_specialization): Use error_n instead of | |
3632 | error. | |
3633 | ||
3634 | 2010-03-03 Jason Merrill <jason@redhat.com> | |
3635 | ||
3636 | PR c++/12909 | |
3637 | * mangle.c (mangle_decl): Handle VAR_DECL, too. | |
3638 | ||
3639 | 2010-03-03 Jason Merrill <jason@redhat.com> | |
3640 | ||
3641 | PR c++/12909 | |
3642 | * mangle.c: Include cgraph.h. | |
3643 | (mangle_decl): If the mangled name will change in a later | |
3644 | ABI version, make the later mangled name an alias. | |
3645 | * method.c (make_alias_for): Copy DECL_ARGUMENTS. | |
3646 | * Make-lang.in (mangle.o): Depend on cgraph.h. | |
3647 | * method.c (make_alias_for): Handle VAR_DECL, too. | |
3648 | * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p. | |
3649 | * tree.c (no_linkage_check): Adjust. | |
3650 | * decl.c (maybe_commonize_var): Adjust. | |
3651 | * cp-tree.h: Adjust. | |
3652 | ||
3653 | 2010-03-01 Marco Poletti <poletti.marco@gmail.com> | |
3654 | ||
3655 | * pt.c (redeclare_class_template): Use error_n and inform_n. | |
3656 | ||
3657 | 2010-02-27 Mark Mitchell <mark@codesourcery.com> | |
3658 | ||
3659 | PR c++/42748 | |
3660 | * cp-tree.h (push_tinst_level): Declare. | |
3661 | (pop_tinst_level): Likewise. | |
3662 | * pt.c (push_tinst_level): Give it external linkage. | |
3663 | (pop_tinst_level): Likewise. | |
3664 | * mangle.c (mangle_decl_string): Set the source location to that | |
3665 | of the decl while mangling. | |
3666 | ||
3667 | 2010-02-27 Simon Martin <simartin@users.sourceforge.net> | |
3668 | ||
3669 | PR c++/42054 | |
3670 | * pt.c (redeclare_class_template): Return false if there are erroneous | |
3671 | template parameters. | |
3672 | ||
3673 | 2010-02-24 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
3674 | ||
3675 | * pt.c (push_tinst_level): Replace -ftemplate-depth- with | |
3676 | -ftemplate-depth=. | |
3677 | ||
3678 | 2010-02-24 Jason Merrill <jason@redhat.com> | |
3679 | ||
3680 | PR c++/12909 | |
3681 | * mangle.c (write_type): Give -Wabi warning for old vector mangling. | |
3682 | ||
3683 | * class.c (layout_class_type): Don't give -Wabi warning for a bug | |
3684 | in a previous ABI version. | |
3685 | ||
3686 | 2010-02-23 Jason Merrill <jason@redhat.com> | |
3687 | ||
3688 | PR c++/43143 | |
3689 | * typeck2.c (digest_init_r): Accept value init of array. | |
3690 | ||
3691 | 2010-02-22 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
3692 | ||
3693 | PR c++/43126 | |
3694 | * typeck.c (convert_arguments): Update error message. | |
3695 | ||
3696 | 2010-02-22 Mike Stump <mikestump@comcast.net> | |
3697 | ||
3698 | PR c++/43125 | |
3699 | * decl.c (duplicate_decls): Merge DECL_PRESERVE_P. | |
3700 | ||
3701 | 2010-02-21 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
3702 | ||
3703 | PR c++/23510 | |
3704 | * error.c (print_instantiation_partial_context_line): New. | |
3705 | (print_instantiation_partial_context): Print at most 12 contexts, | |
3706 | skip the rest with a message. | |
3707 | ||
3708 | 2010-02-21 Dodji Seketeli <dodji@redhat.com> | |
3709 | ||
3710 | PR c++/42824 | |
3711 | * pt.c (lookup_template_class): Better support of specialization | |
3712 | of member of class template implicit instantiation. | |
3713 | ||
3714 | 2010-02-20 Manuel López-Ibáñez <manu@gcc.gnu.org> | |
3715 | ||
3716 | PR c++/35669 | |
3717 | * call.c (conversion_null_warnings): Replace -Wconversion with | |
3718 | -Wconversion-null. | |
3719 | * cvt.c (build_expr_type_conversion): Likewise. | |
3720 | ||
3721 | 2010-02-18 Jason Merrill <jason@redhat.com> | |
3722 | ||
3723 | PR c++/42837 | |
3724 | * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed. | |
3725 | ||
3726 | PR c++/43108 | |
3727 | * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from | |
3728 | C build_binary_op. | |
3729 | * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR. | |
3730 | * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE. | |
3731 | ||
3732 | PR c++/43070 | |
3733 | * semantics.c (finish_goto_stmt): Don't call decay_conversion. | |
3734 | ||
3735 | PR c++/26261 | |
3736 | PR c++/43101 | |
3737 | * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope. | |
3738 | (maybe_update_decl_type): New fn. | |
3739 | * parser.c (cp_parser_init_declarator): Use it. | |
3740 | ||
3741 | PR c++/43109 | |
3742 | * semantics.c (begin_class_definition): Don't crash on unnamed ns. | |
3743 | ||
3744 | 2010-02-17 Jason Merrill <jason@redhat.com> | |
3745 | ||
3746 | PR c++/43075 | |
3747 | * call.c (build_over_call): Don't create zero-sized assignments. | |
3748 | * cp-gimplify.c (cp_genericize_r): Don't remove them here. | |
3749 | * cp-objcp-common.c (cp_expr_size): Remove. | |
3750 | * cp-tree.h: Remove prototype. | |
3751 | ||
3752 | PR c++/43069 | |
3753 | * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the | |
3754 | decl we looked up doesn't match. | |
3755 | ||
3756 | PR c++/43093 | |
3757 | * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't | |
3758 | have an INIT_EXPR anymore. | |
3759 | ||
3760 | PR c++/43079 | |
3761 | * pt.c (convert_nontype_argument): Change assert to test. | |
3762 | ||
3763 | 2010-02-16 Jason Merrill <jason@redhat.com> | |
3764 | ||
3765 | * cp-gimplify.c (cp_gimplify_expr): Fix error recovery. | |
3766 | ||
3767 | PR c++/43031 | |
3768 | * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use | |
3769 | VIEW_CONVERT_EXPR for conversions between structural equality types | |
3770 | that the back end can't tell are the same. | |
3771 | ||
3772 | PR c++/43036 | |
3773 | * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip | |
3774 | cv-quals from element here. | |
3775 | (cp_build_qualified_type_real): Not here. Preserve typedef name. | |
3776 | ||
3777 | 2010-02-14 Jason Merrill <jason@redhat.com> | |
3778 | ||
3779 | PR c++/41997 | |
3780 | * semantics.c (finish_compound_literal): Use | |
3781 | cp_apply_type_quals_to_decl when creating a static variable. | |
3782 | ||
3783 | 2010-02-12 Jason Merrill <jason@redhat.com> | |
3784 | ||
3785 | PR c++/43024 | |
3786 | * name-lookup.h (current_binding_level): Check for null | |
3787 | cp_function_chain. | |
3788 | ||
3789 | 2010-02-12 Jason Merrill <jason@redhat.com> | |
3790 | ||
3791 | PR c++/43054 | |
3792 | * tree.c (cp_tree_equal): Correct CALL_EXPR logic. | |
3793 | ||
3794 | 2010-02-12 Jakub Jelinek <jakub@redhat.com> | |
3795 | ||
3796 | PR c++/43033 | |
3797 | * name-lookup.c (pushdecl_maybe_friend): Check default args of t | |
3798 | instead of x. | |
3799 | ||
3800 | 2010-02-10 Jason Merrill <jason@redhat.com> | |
3801 | ||
3802 | PR c++/41896 | |
3803 | * semantics.c (outer_lambda_capture_p): Revert. | |
3804 | (add_capture): Only finish_member_declaration if | |
3805 | we're in the lambda class. | |
3806 | (register_capture_members): New. | |
3807 | * cp-tree.h: Declare it. | |
3808 | * parser.c (cp_parser_lambda_expression): Call it. | |
3809 | ||
3810 | 2010-02-10 Jason Merrill <jason@redhat.com> | |
3811 | ||
3812 | PR c++/41896 | |
3813 | * semantics.c (outer_lambda_capture_p): Use current_function_decl | |
3814 | instead of current_class_type. | |
3815 | ||
3816 | 2010-02-10 Jason Merrill <jason@redhat.com> | |
3817 | ||
3818 | PR c++/42983, core issue 906 | |
3819 | * method.c (defaultable_fn_check): Check virtualness. | |
3820 | ||
3821 | 2010-02-10 Jason Merrill <jason@redhat.com> | |
3822 | ||
3823 | PR c++/43016 | |
3824 | * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN. | |
3825 | ||
3826 | 2010-02-10 Shujing Zhao <pearly.zhao@oracle.com> | |
3827 | ||
3828 | * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h. | |
3829 | * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy | |
3830 | translation. | |
3831 | * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id) | |
3832 | (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype) | |
3833 | (cp_parser_parameter_declaration) | |
3834 | (cp_parser_exception_specification_opt) | |
3835 | (cp_parser_exception_declaration): Likewise. | |
3836 | * pt.c (check_default_tmpl_args): Likewise. | |
3837 | * search.c (lookup_field_r): Likewise. | |
3838 | ||
3839 | 2010-02-09 Jason Merrill <jason@redhat.com> | |
3840 | ||
3841 | PR c++/42399 | |
3842 | * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION. | |
3843 | ||
3844 | 2010-02-09 Jason Merrill <jason@redhat.com> | |
3845 | ||
3846 | PR c++/42370 | |
3847 | * decl2.c (change_return_type): New fn. | |
3848 | * semantics.c (apply_lambda_return_type): Use it. | |
3849 | * cp-tree.h: Declare it. | |
3850 | ||
3851 | 2010-02-05 Richard Guenther <rguenther@suse.de> | |
3852 | ||
3853 | * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h. | |
3854 | * cp-lang.c: Include gt-cp-cp-lang.h. | |
3855 | * config-lang.in (gtfiles): Add cp/cp-lang.c. | |
3856 | ||
3857 | 2010-02-05 Dodji Seketeli <dodji@redhat.com> | |
3858 | ||
3859 | PR c++/42915 | |
3860 | * typeck.c (get_template_parms_of_dependent_type): Try getting | |
3861 | the template parameters fromt the type itself first. | |
3862 | ||
3863 | 2010-02-03 Jason Merrill <jason@redhat.com> | |
3864 | ||
3865 | PR c++/4926 | |
3866 | PR c++/38600 | |
3867 | * mangle.c (write_unqualified_id): Split out from write_expression. | |
3868 | (write_unqualified_name): Call it. | |
3869 | (write_member_name): Likewise. | |
3870 | (write_expression): Support TEMPLATE_ID_EXPR. | |
3871 | Disambiguate operator names. | |
3872 | ||
3873 | PR c++/12909 | |
3874 | * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with | |
3875 | -fabi-version=4. | |
3876 | ||
3877 | 2010-02-02 Jason Merrill <jason@redhat.com> | |
3878 | ||
3879 | PR c++/41090 | |
3880 | * decl.c (cp_finish_decl): Add local statics to cfun->local_decls. | |
3881 | * optimize.c (clone_body): Remap their initializers when making base | |
3882 | variants. | |
3883 | (maybe_clone_body): Complain if multiple clones aren't safe. | |
3884 | ||
3885 | 2010-01-29 Dodji Seketeli <dodji@redhat.com> | |
3886 | ||
3887 | PR c++/42758 | |
3888 | PR c++/42634 | |
3889 | PR c++/42336 | |
3890 | PR c++/42797 | |
3891 | PR c++/42880 | |
3892 | * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT, | |
3893 | SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT, | |
3894 | GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros. | |
3895 | * pt.c (coerce_template_parms, type_unification_real, | |
3896 | expand_template_argument_pack, coerce_template_parameter_pack): | |
3897 | Set the non default template args count. | |
3898 | (current_template_args): Always set non defaulted | |
3899 | template args count when compiled with --enable-checking | |
3900 | (tsubst_template_args, type_unification_real): Propagate the non | |
3901 | defaulted template args count. | |
3902 | * error.c (get_non_default_template_args_count): Renamed | |
3903 | count_non_default_template_args into this. Don't calculate the | |
3904 | non default template argument count anymore. Use the new | |
3905 | accessor macros above to get it. | |
3906 | (dump_template_argument_list, dump_type, dump_decl, | |
3907 | dump_template_parms): Adjust. | |
3908 | * parser.c (cp_parser_template_argument_list): Always set defaulted | |
3909 | template args count when compiled with --enable-checking. | |
3910 | ||
3911 | 2010-01-29 Shujing Zhao <pearly.zhao@oracle.com> | |
3912 | ||
3913 | * decl.c (redeclaration_error_message): Wrap the return messages into | |
3914 | G_() for easy translation. | |
3915 | ||
3916 | 2010-01-28 Jason Merrill <jason@redhat.com> | |
3917 | ||
3918 | PR c++/42880 | |
3919 | * semantics.c (begin_class_definition): Don't use type_as_string. | |
3920 | ||
3921 | 2010-01-28 Dodji Seketeli <dodji@redhat.com> | |
3922 | ||
3923 | PR c++/42713 | |
3924 | PR c++/42820 | |
3925 | * typeck.c (get_template_parms_of_dependent_type): Factorized | |
3926 | this out of incompatible_template_type_parms_p | |
3927 | (incompatible_dependent_types_p): Renamed | |
3928 | incompatible_template_type_parms_p into this. Make it detect | |
3929 | two incompatible dependent typedefs too. | |
3930 | (structural_comptypes): Use incompatible_dependent_types_p. | |
3931 | * pt.c (get_template_info): | |
3932 | Handle BOUND_TEMPLATE_TEMPLATE_PARAM. | |
3933 | ||
3934 | 2010-01-20 Janis Johnson <janis187@us.ibm.com> | |
3935 | Jason Merrill <jason@redhat.com> | |
3936 | ||
3937 | * mangle.c (write_type): Mangle transparent record as member type. | |
3938 | * semantics.c (begin_class_definition): Recognize decimal classes | |
3939 | and set TYPE_TRANSPARENT_AGGR. | |
3940 | ||
3941 | 2010-01-20 Jason Merrill <jason@redhat.com> | |
3942 | ||
3943 | PR c++/42338 | |
3944 | * mangle.c (write_expression): Handle tree codes that have extra | |
3945 | arguments in the middle-end. | |
3946 | ||
3947 | 2010-01-20 Paolo Carlini <paolo.carlini@oracle.com> | |
3948 | ||
3949 | PR c++/42038 | |
3950 | * except.c (expand_start_catch_block): Deal correctly with | |
3951 | do_begin_catch returning error_mark_node. | |
3952 | ||
3953 | 2010-01-20 Jason Merrill <jason@redhat.com> | |
3954 | ||
3955 | PR c++/41788 | |
3956 | * class.c (layout_class_type): Set packed_maybe_necessary for packed | |
3957 | non-PODs. | |
3958 | ||
3959 | PR c++/41920 | |
3960 | * semantics.c (build_lambda_object): Call mark_used on captured | |
3961 | variables. | |
3962 | ||
3963 | PR c++/40750 | |
3964 | * decl.c (grokdeclarator): Clear type_quals for a member function | |
3965 | declared using a typedef. Don't complain about adding cv-quals | |
3966 | to a function typedef in C++0x mode. | |
3967 | ||
3968 | 2010-01-20 Jakub Jelinek <jakub@redhat.com> | |
3969 | ||
3970 | * decl.c (create_array_type_for_decl): Remove set but not used | |
3971 | variable error_msg. Remove break stmts after return stmts. | |
3972 | ||
3973 | 2010-01-19 Dodji Seketeli <dodji@redhat.com> | |
3974 | ||
3975 | * error.c (dump_template_parms, count_non_default_template_args): | |
3976 | Revert fix of PR c++/42634. | |
3977 | ||
3978 | 2010-01-18 Dodji Seketeli <dodji@redhat.com> | |
3979 | ||
3980 | PR c++/42634 | |
3981 | * error.c (dump_template_parms): Use innermost template | |
3982 | arguments before calling count_non_default_template_args. | |
3983 | (count_non_default_template_args): We are being called with | |
3984 | template innermost arguments now. There is no need to ensure | |
3985 | that again. | |
3986 | ||
3987 | 2010-01-18 Dodji Seketeli <dodji@redhat.com> | |
3988 | ||
3989 | PR c++/42766 | |
3990 | * cvt.c (build_expr_type_conversion): Look through OVERLOAD. | |
3991 | ||
3992 | 2010-01-17 Dodji Seketeli <dodji@redhat.com> | |
3993 | ||
3994 | PR c++/42697 | |
3995 | *pt.c (tsubst_decl): Revert commit for PR c++/42697. | |
3996 | ||
3997 | 2010-01-17 Dodji Seketeli <dodji@redhat.com> | |
3998 | ||
3999 | PR c++/42697 | |
4000 | *pt.c (tsubst_decl): Get the arguments of a specialization from | |
4001 | the specialization template, not from the most general template. | |
4002 | ||
4003 | 2010-01-16 Jason Merrill <jason@redhat.com> | |
4004 | ||
4005 | PR c++/42761 | |
4006 | * semantics.c (finish_decltype_type): Within a template, treat | |
4007 | unresolved CALL_EXPR as dependent. | |
4008 | ||
4009 | 2010-01-15 Dodji Seketeli <dodji@redhat.com> | |
4010 | ||
4011 | * error.c (dump_template_parms,count_non_default_template_args): | |
4012 | Revert changes of PR c++/42634. | |
4013 | ||
4014 | 2010-01-14 Jakub Jelinek <jakub@redhat.com> | |
4015 | ||
4016 | PR middle-end/42674 | |
4017 | * decl.c (finish_function): Don't emit -Wreturn-type warnings in | |
4018 | functions with noreturn attribute. | |
4019 | ||
4020 | 2010-01-14 Jason Merrill <jason@redhat.com> | |
4021 | ||
4022 | PR c++/42701 | |
4023 | * call.c (build_new_method_call): Don't free the vec here. | |
4024 | ||
4025 | PR c++/42655 | |
4026 | * call.c (convert_like_real): Do full decay_conversion for ck_rvalue. | |
4027 | ||
4028 | 2010-01-13 Dodji Seketeli <dodji@redhat.com> | |
4029 | ||
4030 | PR c++/42634 | |
4031 | * error.c (dump_template_parms): Use innermost template | |
4032 | arguments before calling count_non_default_template_args. | |
4033 | (count_non_default_template_args): We are being called with | |
4034 | template innermost arguments now. There is no need to ensure | |
4035 | that again. | |
4036 | ||
4037 | 2010-01-07 Dodji Seketeli <dodji@redhat.com> | |
4038 | ||
4039 | c++/40155 | |
4040 | * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template | |
4041 | arguments that were previously deduced. | |
4042 | ||
4043 | 2010-01-05 Jason Merrill <jason@redhat.com> | |
4044 | ||
4045 | * pt.c (unify_pack_expansion): Handle deduction from init-list. | |
4046 | * call.c (build_over_call): Don't complain about it. | |
4047 | ||
4048 | 2010-01-04 Jason Merrill <jason@redhat.com> | |
4049 | ||
4050 | PR c++/42555 | |
4051 | * pt.c (tsubst_decl): Don't apply type attributes in place. | |
4052 | ||
4053 | PR c++/42567 | |
4054 | * semantics.c (describable_type): Remove decltype comment and | |
4055 | semantics. | |
4056 | ||
4057 | ||
4058 | \f | |
4059 | Copyright (C) 2010 Free Software Foundation, Inc. | |
4060 | ||
4061 | Copying and distribution of this file, with or without modification, | |
4062 | are permitted in any medium without royalty provided the copyright | |
4063 | notice and this notice are preserved. | |
4064 |