|
111
|
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
|
|
|
3130 2010-05-10 Fabien Chêne <fabien@gcc.gnu.org>
|
|
|
3131
|
|
|
3132 PR c++/43719
|
|
|
3133 * decl.c (check_initializer): Strip array type before checking for
|
|
|
3134 uninitialized const or ref members.
|
|
|
3135
|
|
|
3136 2010-05-07 Fabien Chêne <fabien@gcc.gnu.org>
|
|
|
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
|
|
|
3261 messages.
|
|
|
3262
|
|
|
3263 2010-04-29 Fabien Chêne <fabien@gcc.gnu.org>
|
|
|
3264
|
|
|
3265 PR c++/43890
|
|
|
3266 * init.c (diagnose_uninitialized_cst_or_ref_member): Check for
|
|
|
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
|
|
|
3280 2010-04-27 Fabien Chêne <fabien@gcc.gnu.org>
|
|
|
3281
|
|
|
3282 PR c++/29043
|
|
|
3283 * init.c (perform_member_init): Check for uninitialized const or
|
|
|
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
|
|
|
3334 2010-04-27 Fabien Chêne <fabien@gcc.gnu.org>
|
|
|
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
|
|
|
3406 2010-04-12 Fabien Chêne <fabien@gcc.gnu.org>>
|
|
|
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
|
|
|
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
|
