111
|
1 2009-12-28 Jason Merrill <jason@redhat.com>
|
|
2
|
|
3 PR c++/42447
|
|
4 * pt.c (iterative_hash_template_arg): Don't rely on TYPE_CANONICAL
|
|
5 for ARRAY_TYPE.
|
|
6
|
|
7 2009-12-24 Jason Merrill <jason@redhat.com>
|
|
8
|
|
9 PR c++/41305, DR 384
|
|
10 * name-lookup.c (arg_assoc_class): Split out arg_assoc_class_only
|
|
11 and arg_assoc_bases.
|
|
12 (friend_of_associated_class_p): Remove.
|
|
13 (arg_assoc_namespace): Don't call it.
|
|
14 (arg_assoc_template_arg): Use arg_assoc_class_only for member
|
|
15 template context.
|
|
16 (arg_assoc_type): Handle UNION_TYPE and ENUMERAL_TYPE properly.
|
|
17
|
|
18 * name-lookup.c (arg_assoc): Handle TEMPLATE_ID_EXPR properly.
|
|
19
|
|
20 2009-12-23 Dodji Seketeli <dodji@redhat.com>
|
|
21
|
|
22 PR c++/42260
|
|
23 * cp-tree.h (lookup_conversions): Add new bool parameter to
|
|
24 declaration.
|
|
25 * search.c (lookup_conversion): Use new bool parameter in
|
|
26 definition.
|
|
27 * call.c (add_builtin_candidates): Don't lookup template conversion
|
|
28 (convert_class_to_reference, build_user_type_conversion_1,
|
|
29 build_op_call): Adjust.
|
|
30 * cvt.c (build_expr_type_conversion): Likewise
|
|
31
|
|
32 2009-12-22 Jason Merrill <jason@redhat.com>
|
|
33
|
|
34 PR c++/42466
|
|
35 * pt.c (reduce_template_parm_level): Check the type before
|
|
36 returning cached TEMPLATE_PARM_INDEX.
|
|
37
|
|
38 PR c++/42331
|
|
39 * typeck.c (cp_build_modify_expr): Fix thinko.
|
|
40
|
|
41 2009-12-21 Jason Merrill <jason@redhat.com>
|
|
42
|
|
43 * mangle.c (write_member_name): Move abi-version=1 code back to...
|
|
44 (write_expression): ...here.
|
|
45
|
|
46 2009-12-21 Brian Hackett <bhackett1024@gmail.com>
|
|
47
|
|
48 * decl.c (finish_function): Rename pre-genericize event.
|
|
49
|
|
50 2009-12-19 Dodji Seketeli <dodji@redhat.com>
|
|
51
|
|
52 PR c++/42225
|
|
53 * pt.c (push_template_decl_real): Set DECL_CONTEXT of template type parms
|
|
54 to their containing template decl.
|
|
55 * typeck.c (comp_template_parms_position): Split this from
|
|
56 structural_comptypes.
|
|
57 (incompatible_template_type_parms_p): Renamed
|
|
58 incompatible_dependent_typedefs_p into this. Change the function to
|
|
59 handle comparison between TEMPLATE_TYPE_PARMs only.
|
|
60 (structural_comptypes): Use comp_template_parms_position in
|
|
61 TEMPLATE_TEMPLATE_PARM and BOUND_TEMPLATE_TEMPLATE_PARM cases.
|
|
62 Use incompatible_template_type_parms_p in TEMPLATE_TYPE_PARM case.
|
|
63 * mangle.c (decl_mangling_context): Template type parms don't have
|
|
64 a mangling context.
|
|
65 * tree.c (cp_set_underlying_type): Set type structural equality
|
|
66 only for TEMPLATE_TYPE_PARMs.
|
|
67
|
|
68 2009-12-18 Jason Merrill <jason@redhat.com>
|
|
69
|
|
70 PR c++/28300
|
|
71 PR c++/42062
|
|
72 * pt.c (check_specialization_namespace): Complain about
|
|
73 specialization at non-namespace scope.
|
|
74
|
|
75 PR c++/42415
|
|
76 * call.c (build_new_method_call): Complain about calling the
|
|
77 constructor directly.
|
|
78
|
|
79 2009-12-18 Shujing Zhao <pearly.zhao@oracle.com>
|
|
80
|
|
81 PR c++/31665
|
|
82 * decl.c (duplicate_decls, grokdeclarator): Put the diagnostics in
|
|
83 full sentences for easy translation and wrapped into G_().
|
|
84 * typeck.c (build_x_unary_op): Likewise.
|
|
85
|
|
86 2009-12-17 Shujing Zhao <pearly.zhao@oracle.com>
|
|
87
|
|
88 * call.c (build_over_call, build_java_interface_fn_ref): Update
|
|
89 cp_build_indirect_ref calls.
|
|
90 * typeck2.c (build_m_component_ref): Likewise.
|
|
91
|
|
92 2009-12-17 Shujing Zhao <pearly.zhao@oracle.com>
|
|
93
|
|
94 * typeck.c (build_indirect_ref): Update the argument.
|
|
95 (build_x_indirect_ref): Likewise.
|
|
96 (cp_build_indirect_ref): Update the argument and emit the diagnostics
|
|
97 for easy translation.
|
|
98 (build_class_member_access_expr, build_array_ref,
|
|
99 get_member_function_from_ptrfunc): Update calls.
|
|
100 * cp-tree.h (build_x_indirect_ref, cp_build_indirect_ref): Update
|
|
101 prototypes.
|
|
102 * call.c (build_new_op, convert_like_real, build_x_va_arg,
|
|
103 build_over_call): Update calls.
|
|
104 * class.c (build_base_path, build_simple_base_path, build_vfn_ref):
|
|
105 Likewise.
|
|
106 * decl.c (start_preparsed_function): Likewise.
|
|
107 * except.c (expand_start_catch_block, build_throw): Likewise.
|
|
108 * init.c (emit_mem_initializers, expand_virtual_init,
|
|
109 expand_virtual_init, build_new_1, build_vec_init, build_delete,
|
|
110 build_vec_delete): Likewise.
|
|
111 * parser.c (cp_parser_unary_expression): Likewise.
|
|
112 * pt.c (tsubst_copy_and_build): Likewise.
|
|
113 * rtti.c (build_headof, get_tinfo_decl_dynamic, get_typeid): Likewise.
|
|
114 * semantics.c (finish_non_static_data_member, thisify_lambda_field):
|
|
115 Likewise.
|
|
116 * tree.c (build_dummy_object, stabilize_expr): Likewise.
|
|
117 * typeck2.c (build_x_arrow): Likewise.
|
|
118
|
|
119 2009-12-16 Jason Merrill <jason@redhat.com>
|
|
120
|
|
121 PR c++/42387
|
|
122 * decl.c (compute_array_index_type): Mark a VLA as dependent.
|
|
123
|
|
124 2009-12-15 Jason Merrill <jason@redhat.com>
|
|
125
|
|
126 PR c++/42358
|
|
127 * pt.c (iterative_hash_template_arg): Completely ignore
|
|
128 ARGUMENT_PACK_SELECT.
|
|
129
|
|
130 2009-12-15 Jakub Jelinek <jakub@redhat.com>
|
|
131
|
|
132 PR c++/41183
|
|
133 * cp-tree.h (current_class_ptr): Give NULL even when cfun
|
|
134 has NULL cfun->language.
|
|
135
|
|
136 2009-12-14 Jason Merrill <jason@redhat.com>
|
|
137
|
|
138 PR c++/42364
|
|
139 * pt.c (function_parameter_expanded_from_pack_p): Don't require
|
|
140 a pack to have a name.
|
|
141 (tsubst_decl): Do typedef magic after applying attributes.
|
|
142
|
|
143 2009-12-15 Paolo Bonzini <bonzini@gnu.org>
|
|
144 Shujing Zhao <pearly.zhao@oracle.com>
|
|
145
|
|
146 * Makefile.in (cp/pt.o): Depend on intl.h
|
|
147 * call.c (print_z_candidates): Make loop more compact,
|
|
148 choose head string depending on number of candidates,
|
|
149 extract creation of spaces string to intl.c.
|
|
150 * pt.c (print_overloaded_functions): Replace with...
|
|
151 (print_candidates_1): ... this rewrite.
|
|
152 (print_candidates): Rewrite to call print_candidates_1.
|
|
153 (most_specialized_class): Make loop more compact,
|
|
154 choose head string depending on number of candidates,
|
|
155 and size indents depending on translations.
|
|
156
|
|
157 2009-12-11 Jason Merrill <jason@redhat.com>
|
|
158
|
|
159 PR c++/42219
|
|
160 * typeck.c (error_type_p): New.
|
|
161 (ptr_reasonably_similar): Use it.
|
|
162 * cp-tree.h: Declare it.
|
|
163
|
|
164 2009-12-11 Dodji Seketeli <dodji@redhat.com>
|
|
165
|
|
166 PR c++/42225
|
|
167 * typeck.c (incompatible_dependent_typedefs_p): New function.
|
|
168 (structural_comptypes): Use it.
|
|
169 * cp-tree.h (cp_set_underlying_type): Declare ...
|
|
170 * tree.c (cp_set_underlying_type): ... new function.
|
|
171 * class.c (build_self_reference): Use cp_set_underlying_type
|
|
172 instead of set_underlying_type.
|
|
173 * decl2.c (grokfield): Likewise.
|
|
174 * name-lookup.c (pushdecl_maybe_friend): Likewise.
|
|
175
|
|
176 2009-12-11 Dodji Seketeli <dodji@redhat.com>
|
|
177
|
|
178 PR c++/42251
|
|
179 * pt.c (convert_template_argument): Avoid missing folding of SCOPE_REFs.
|
|
180
|
|
181 2009-12-10 Jakub Jelinek <jakub@redhat.com>
|
|
182
|
|
183 PR c++/42317
|
|
184 * decl2.c (cp_write_global_declarations): Clear DECL_EXTERNAL
|
|
185 also on all other functions in the same comdat group.
|
|
186 * optimize.c (maybe_clone_body): Also optimize virtual implicit
|
|
187 dtors. For virtual comdat dtors tell cgraph that base and deleting
|
|
188 dtor are in the same comdat group.
|
|
189
|
|
190 2009-12-04 Jason Merrill <jason@redhat.com>
|
|
191
|
|
192 PR c++/42010
|
|
193 * cp-tree.h (DECL_DISCRIMINATOR_SET_P): New.
|
|
194 * mangle.c (discriminator_for_local_entity): Check it.
|
|
195
|
|
196 PR c++/42277
|
|
197 * semantics.c (finish_decltype_type): Defer handling of decltype
|
|
198 of a non-dependent COMPONENT_REF in a template.
|
|
199
|
|
200 2009-12-04 Dodji Seketeli <dodji@redhat.com>
|
|
201
|
|
202 PR c++/42218
|
|
203 * cxx-pretty-print.c (pp_cxx_unqualified_id): Print only innermost
|
|
204 template arguments.
|
|
205
|
|
206 2009-12-03 Jason Merrill <jason@redhat.com>
|
|
207
|
|
208 PR c++/41611
|
|
209 * decl2.c (get_guard): Don't use the same comdat group as the decl.
|
|
210
|
|
211 PR c++/42266
|
|
212 * cvt.c (convert_from_reference): Do nothing if TREE_TYPE is null.
|
|
213
|
|
214 2009-12-03 Dodji Seketeli <dodji@redhat.com>
|
|
215
|
|
216 PR c++/42217
|
|
217 * class.c (remove_zero_width_bit_fields): The width of the bit field is
|
|
218 in DECL_SIZE, not in DECL_INITIAL.
|
|
219
|
|
220 2009-12-03 Jakub Jelinek <jakub@redhat.com>
|
|
221
|
|
222 PR c++/42256
|
|
223 * optimize.c (maybe_clone_body): Call emit_associated_thunks
|
|
224 after expand_or_defer_fn_1.
|
|
225
|
|
226 2009-12-02 Taras Glek <taras@mozilla.com>
|
|
227
|
|
228 * parser.c (cp_parser_class_specifier): Back out my previous change.
|
|
229 * semantics.c (begin_class_definition): Back out my previous change.
|
|
230
|
|
231 2009-12-02 Paolo Bonzini <bonzini@gnu.org>
|
|
232 Shujing Zhao <pearly.zhao@oracle.com>
|
|
233
|
|
234 PR c++/29917
|
|
235 * call.c (op_error): Accept a boolean to indicate no match/ambiguous
|
|
236 match, instead of a string. Callers adjusted.
|
|
237
|
|
238 PR c++/34836
|
|
239 * cp-tree.h (readonly_error_kind): New type.
|
|
240 (readonly_error): Adjust prototype with new argument.
|
|
241 * typeck2.c (readonly_error): Accept readonly_error_kind as argument
|
|
242 and add macro ERROR_FOR_ASSIGNMENT to emit diagnostics.
|
|
243 * semantics.c (finish_asm_stmt): Adjust readonly_error call.
|
|
244 * typeck.c (cp_build_unary_op, cp_build_modify_expr): Likewise.
|
|
245
|
|
246 * decl.c (grokparms, grok_op_properties): Put the diagnostics in full
|
|
247 sentences for easy translation and wrap the diagnostics into G_() when
|
|
248 needed.
|
|
249 (create_array_type_for_decl): Likewise.
|
|
250 * pt.c (tsubst): Likewise.
|
|
251 * typeck2.c (cp_build_unary_op): Wrap diagnostic into _().
|
|
252 * rtti.c (build_dynamic_cast_1): Likewise.
|
|
253 * Make-lang.in: Adjust.
|
|
254
|
|
255 2009-12-02 Jakub Jelinek <jakub@redhat.com>
|
|
256
|
|
257 * g++spec.c (lang_specific_driver): Remove unused saw_verbose_flag
|
|
258 variable.
|
|
259 * pt.c (tsubst_pack_expansion): Remove unused first_arg_pack variable.
|
|
260 * init.c (build_vec_init): Remove unused size variable.
|
|
261 * typeck2.c (check_narrowing): Remove unused was_decl variable.
|
|
262 * decl.c (poplevel): Remove unused tmp and real_functionbody
|
|
263 variables.
|
|
264 (decls_match): Remove unused tree_name variable.
|
|
265 (start_decl): Remove unused type variable.
|
|
266 * parser.c (cp_parser_type_parameter): Remove unused parameter_list
|
|
267 variable.
|
|
268 (cp_parser_template_id, cp_parser_explicit_instantiation,
|
|
269 cp_parser_declarator): Remove unused token variable.
|
|
270 (cp_parser_simple_type_specifier): Remove unused id variable.
|
|
271 (cp_parser_parameter_declaration): Remove unused
|
|
272 greater_than_is_operator_p variable.
|
|
273 (cp_parser_check_declarator_template_parameters): Remove unused
|
|
274 member variable.
|
|
275 (c_parse_file): Remove unused error_occurred variable.
|
|
276 * cp-gimplify.c (cp_gimplify_init_expr): Remove unused slot variable.
|
|
277 * typeck.c (cp_build_function_call_vec): Remove unused name variable.
|
|
278 * class.c (resolve_address_of_overloaded_function): Remove unused
|
|
279 is_reference variable.
|
|
280 (build_rtti_vtbl_entries): Remove unused basetype variable.
|
|
281 * mangle.c (write_template_param): Remove unused parm_level and
|
|
282 parm_type variables.
|
|
283
|
|
284 2009-12-01 Taras Glek <taras@mozilla.com>
|
|
285
|
|
286 * parser.c (cp_parser_class_specifier): Set class location to that
|
|
287 of IDENTIFIER_NODE instead of '{' when possible.
|
|
288
|
|
289 2009-12-01 Taras Glek <taras@mozilla.com>
|
|
290
|
|
291 * semantics.c (begin_class_definition): Do not overide locations with less precise ones.
|
|
292
|
|
293 2009-12-01 Jason Merrill <jason@redhat.com>
|
|
294
|
|
295 PR c++/41611
|
|
296 * decl2.c (get_guard): Copy DECL_COMDAT.
|
|
297 (comdat_linkage): Set DECL_COMDAT unconditionally.
|
|
298
|
|
299 2009-12-01 Jakub Jelinek <jakub@redhat.com>
|
|
300
|
|
301 PR c++/3187
|
|
302 * optimize.c (cdtor_comdat_group): New function.
|
|
303 (maybe_clone_body): Also optimize DECL_COMDAT base/complete cdtors
|
|
304 and in that case put also the deleting dtor in the same comdat group
|
|
305 as base and complete dtor if dtor is virtual.
|
|
306
|
|
307 2009-11-30 Paolo Carlini <paolo.carlini@oracle.com>
|
|
308
|
|
309 PR c++/40371
|
|
310 * call.c (add_template_candidate_real): Early return NULL if
|
|
311 the arglist length is smaller than skip_without_in_chrg; tidy.
|
|
312
|
|
313 2009-11-30 Dodji Seketeli <dodji@redhat.com>
|
|
314
|
|
315 PR c++/42069
|
|
316 * pt.c (convert_template_argument): Strip typedefs from SCOPE_REFs.
|
|
317
|
|
318 2009-11-29 Dodji Seketeli <dodji@redhat.com>
|
|
319
|
|
320 PR c++/36408
|
|
321 * semantics.c (empty_expr_stmt_p): Handle void_zero_node and fix
|
|
322 bad indentation.
|
|
323 * pt.c (tsubst_copy_and_build): Fix typo.
|
|
324
|
|
325 2009-11-29 Jan Hubicka <jh@suse.cz>
|
|
326
|
|
327 * optimize.c (maybe_clone_body): Emit thunks associated to alias.
|
|
328 * Make-lang.in (method.o): Add dependency on gimple.h.
|
|
329 * method.c: Include gimple.h
|
|
330 (make_alias_for_thunk): Use same body alias instead of assemble_alias.
|
|
331 (use_thunk): Drop codegen; use cgraph_add_thunk; gimplify
|
|
332 generic thunks.
|
|
333 * semantics.c (expand_or_defer_fn): Emit associated thunks.
|
|
334
|
|
335 2009-11-28 Dodji Seketeli <dodji@redhat.com>
|
|
336
|
|
337 PR c++/36408
|
|
338 * cp-tree.h (empty_expr_stmt_p): Declare ...
|
|
339 * semantics.c (empty_expr_stmt_p): ... this.
|
|
340 * pt.c (tsubst_copy_and_build) <STMT_EXPR>: Use it.
|
|
341
|
|
342 2009-11-27 Paolo Carlini <paolo.carlini@oracle.com>
|
|
343
|
|
344 PR c++/38656
|
|
345 * cxx-pretty-print.c (pp_cxx_expression): Handle TEMPLATE_ID_EXPR.
|
|
346
|
|
347 2009-11-27 Paolo Carlini <paolo.carlini@oracle.com>
|
|
348
|
|
349 PR c++/35112
|
|
350 * pt.c (print_overloaded_functions): New.
|
|
351 (print_candidates): Call the latter.
|
|
352 * parser.c (cp_parser_class_name): Do not duplicate the diagnostics
|
|
353 after the cp_parser_lookup_name call.
|
|
354
|
|
355 2009-11-26 Jason Merrill <jason@redhat.com>
|
|
356
|
|
357 PR c++/42026, DR 239
|
|
358 * parser.c (cp_parser_postfix_expression): A local extern also
|
|
359 prevents arg-dependent lookup.
|
|
360
|
|
361 2009-11-26 Gabriel Dos Reis <gdr@cs.tamu.edu>
|
|
362
|
|
363 * decl.c (grokdeclarator): Remove period at end of diagnosic message.
|
|
364
|
|
365 2009-11-25 Jason Merrill <jason@redhat.com>
|
|
366
|
|
367 PR c++/10690
|
|
368 * rtti.c (get_tinfo_decl_dynamic): Call resolve_nondeduced_context.
|
|
369
|
|
370 2009-11-24 Jason Merrill <jason@redhat.com>
|
|
371
|
|
372 PR c++/42137
|
|
373 * parser.c (cp_parser_mem_initializer_id): Pass typename_type to
|
|
374 cp_parser_class_name.
|
|
375 (cp_parser_unqualified_id): Same, rather than class_type.
|
|
376
|
|
377 PR c++/11764
|
|
378 * parser.c (cp_parser_expression_statement): Give helpful error
|
|
379 for constructor name used as type.
|
|
380
|
|
381 * pt.c (determine_specialization): Give helpful error about missing
|
|
382 "template<>".
|
|
383
|
|
384 2009-11-23 Jakub Jelinek <jakub@redhat.com>
|
|
385
|
|
386 PR middle-end/42095
|
|
387 * tree.c: Include cgraph.h.
|
|
388 (cp_fix_function_decl_p): Don't return true for same_body aliases.
|
|
389 * Make-lang.in (cp/tree.o): Depend on $(CGRAPH_H).
|
|
390
|
|
391 2009-11-23 Dodji Seketeli <dodji@redhat.com>
|
|
392
|
|
393 PR c++/14777
|
|
394 * cp-tree.def <TEMPLATE_INFO>: Declare new kind of tree
|
|
395 node.
|
|
396 * cp-tree.h (struct tree_template_info,
|
|
397 struct qualified_typedef_usage_s): New.
|
|
398 (cp_tree_node_structure_enum): add TS_CP_TEMPLATE_INFO.
|
|
399 (union lang_tree_node): Add template_info.
|
|
400 (TI_TEMPLATE, TI_ARGS, TI_TYPEDEFS_NEEDING_ACCESS_CHECKING):
|
|
401 Adjust.
|
|
402 (build_template_info): Declare.
|
|
403 (get_types_needing_access_check): Adjust return type.
|
|
404 (add_typedef_to_current_template_for_access_check): Declare.
|
|
405 * cp-objcp-common.c (cp_tree_size): Handle TEMPLATE_INFO.
|
|
406 * semantics.c (add_typedef_to_current_template_for_access_check):
|
|
407 Split from ...
|
|
408 (check_accessibility_of_qualified_id): ... here.
|
|
409 * decl.c (make_typename_type): Use it.
|
|
410 * pt.c (build_template_info): Define.
|
|
411 (check_explicit_specialization, find_parameter_packs_r,
|
|
412 push_template_decl_real, lookup_template_class,
|
|
413 for_each_template_parm_r, tsubst_decl, tsubst): Use
|
|
414 build_template_info.
|
|
415 (get_types_needing_access_check): Adjust return type.
|
|
416 (append_type_to_template_for_access_check_1): Record the
|
|
417 location of the usage point of the typedef. Adjust to TEMPLATE_INFO.
|
|
418 (append_type_to_template_for_access_check): Add new location
|
|
419 parameter. Pass it to append_type_to_template_for_access_check_1.
|
|
420 Adjust to TEMPLATE_INFO.
|
|
421 (perform_typedefs_access_check): Temporarily set input_location to
|
|
422 the usage point of the typedef we are checking access for. Adjust
|
|
423 to new TEMPLATE_INFO tree node.
|
|
424 * tree.c (bind_template_template_parm): Use build_template_info.
|
|
425 * call.c (add_template_candidate_real): Likewise.
|
|
426 * decl.c (grokfndecl): Likewise.
|
|
427 (cp_tree_node_structure): Handle TEMPLATE_INFO.
|
|
428
|
|
429 2009-11-20 Jason Merrill <jason@redhat.com>
|
|
430
|
|
431 PR c++/9050, DR 147, DR 318
|
|
432 * parser.c (cp_parser_lookup_name): If the name matches the explicit
|
|
433 class scope, we're naming the constructor.
|
|
434 (cp_parser_constructor_declarator_p): Just use cp_parser_unqualified_id
|
|
435 if we have a nested-name-specifier.
|
|
436 (cp_parser_direct_declarator): Handle getting an overload set as a
|
|
437 constructor declarator.
|
|
438 (cp_parser_unqualified_id): Avoid looking up the constructor when
|
|
439 naming the destructor.
|
|
440 (cp_parser_diagnose_invalid_type_name): Give good
|
|
441 diagnostic for improper use of constructor as template.
|
|
442 * typeck.c (finish_class_member_access_expr): Give good diagnostic
|
|
443 about calling constructor.
|
|
444
|
|
445 * error.c (dump_aggr_type): Don't print A::A for injected-class-name.
|
|
446
|
|
447 2009-11-20 Simon Martin <simartin@users.sourceforge.net>
|
|
448
|
|
449 PR c++/38646
|
|
450 * pt.c (process_partial_specialization): Do not turn wrongly located
|
|
451 parameter pack arguments into error_mark_node.
|
|
452 Split too long lines into two.
|
|
453
|
|
454 2009-11-20 Paolo Carlini <paolo.carlini@oracle.com>
|
|
455
|
|
456 PR c++/42060
|
|
457 * except.c (build_throw): Check the tree returned by
|
|
458 decay_conversion for error_mark_node.
|
|
459
|
|
460 2009-11-20 Shujing Zhao <pearly.zhao@oracle.com>
|
|
461
|
|
462 PR c++/29017
|
|
463 * cp-tree.h (composite_pointer_operation): New type.
|
|
464 (composite_pointer_type): Adjust prototype with new argument.
|
|
465 * typeck.c (composite_pointer_type): Accept
|
|
466 composite_pointer_operation as argument and emit diagnostic to be
|
|
467 visible to gettext and checked at compile time.
|
|
468 (composite_pointer_type_r): Likewise.
|
|
469 (common_pointer_type): Update call to composite_pointer_type.
|
|
470 (cp_build_binary_op): Likewise.
|
|
471 * call.c (build_conditional_expr): Likewise.
|
|
472
|
|
473 2009-11-19 Jason Merrill <jason@redhat.com>
|
|
474
|
|
475 PR c++/42115
|
|
476 * call.c (build_op_delete_call): Don't complain about using
|
|
477 op delete (void *, size_t) for placement delete if there's an
|
|
478 op delete (void *).
|
|
479
|
|
480 DR 176 permissiveness
|
|
481 * class.c (build_self_reference): Call set_underlying_type.
|
|
482 * decl.c (check_elaborated_type_specifier): Don't complain about
|
|
483 injected-class-name.
|
|
484 (type_is_deprecated): Use TYPE_MAIN_VARIANT.
|
|
485 * pt.c (convert_template_argument): Handle injected-class-name used
|
|
486 as template template argument.
|
|
487 * typeck2.c (abstract_virtuals_error): Use TYPE_MAIN_VARIANT.
|
|
488
|
|
489 PR c++/561
|
|
490 * decl.c (static_fn_type): Split out...
|
|
491 (revert_static_member_fn): ...from here.
|
|
492 * cp-tree.h: Declare it.
|
|
493 * class.c (resolve_address_of_overloaded_function): Use it to compare
|
|
494 pointers to member functions.
|
|
495 * typeck.c (build_static_cast_1): Call instantiate_type.
|
|
496
|
|
497 2009-11-18 Shujing Zhao <pearly.zhao@oracle.com>
|
|
498
|
|
499 PR c++/40892
|
|
500 * error.c (maybe_warn_cpp0x): Accept enum cpp0x_warn_str as argument.
|
|
501 (maybe_warn_variadic_templates): Update the maybe_warn_cpp0x calls to
|
|
502 match the new declaration.
|
|
503 * cp-tree.h (cpp0x_warn_str): New type.
|
|
504 (maybe_warn_cpp0x): Adjust prototype with new argument.
|
|
505 * call.c (reference_binding): Update the maybe_warn_cpp0x calls.
|
|
506 * decl.c (reshape_init_r, check_initializer, grokdeclarator):
|
|
507 Likewise.
|
|
508 * parser.c (cp_parser_primary_expression)
|
|
509 (cp_parser_parenthesized_expression_list, cp_parser_new_initializer)
|
|
510 (cp_parser_assignment_expression, cp_parser_condition)
|
|
511 (cp_parser_jump_statement, cp_parser_mem_initializer)
|
|
512 (cp_parser_simple_type_specifier, cp_parser_elaborated_type_specifier)
|
|
513 (cp_parser_enum_specifier, cp_parser_initializer)
|
|
514 (cp_parser_pure_specifier, cp_parser_functional_cast): Likewise.
|
|
515
|
|
516 2009-11-18 Jakub Jelinek <jakub@redhat.com>
|
|
517
|
|
518 PR c++/3187
|
|
519 * cp-tree.h (expand_or_defer_fn_1): New prototype.
|
|
520 * decl2.c (cp_write_global_declarations): Mark as !DECL_EXTERNAL
|
|
521 also all same_body aliases.
|
|
522 * semantics.c (expand_or_defer_fn): Move most of the function
|
|
523 except registering with cgraph to ...
|
|
524 (expand_or_defer_fn_1): ... here. New function.
|
|
525 * optimize.c: Include cgraph.h.
|
|
526 (maybe_clone_body): If in charge parm is not used and both base
|
|
527 and complete clones are created and are not comdat, tell cgraph
|
|
528 they have the same body.
|
|
529 * Make-lang.in (cp/optimize.o): Depend on $(CGRAPH_H).
|
|
530
|
|
531 2009-11-17 Paolo Carlini <paolo.carlini@oracle.com>
|
|
532
|
|
533 PR c++/42058
|
|
534 * typeck2.c (digest_init_r): Check init for error_operand_p.
|
|
535 * decl.c (reshape_init_class): Check return value of reshape_init_r
|
|
536 for error_mark_node.
|
|
537
|
|
538 2009-11-17 Jakub Jelinek <jakub@redhat.com>
|
|
539
|
|
540 PR c++/42061
|
|
541 * call.c (reference_binding): Return NULL for initializer list with
|
|
542 error operand inside of it.
|
|
543
|
|
544 PR c++/42059
|
|
545 * typeck.c (cp_build_modify_expr): For initializer list call
|
|
546 check_array_initializer to make sure lhs isn't a VLA.
|
|
547
|
|
548 2009-11-16 Jason Merrill <jason@redhat.com>
|
|
549
|
|
550 PR c++/189, c++/9937, c++/13950, DR 176
|
|
551 * search.c (lookup_field_r): Allow lookup to find the
|
|
552 injected-class-name from a template base.
|
|
553 (template_self_reference_p): Remove.
|
|
554 * decl.c (make_typename_type): Diagnose ambiguity. Use
|
|
555 maybe_get_template_decl_from_type_decl.
|
|
556 * parser.c (cp_parser_template_name): Pass true to is_template
|
|
557 rather than use maybe_get_template_decl_from_type_decl.
|
|
558 (cp_parser_lookup_name): Use maybe_get_template_decl_from_type_decl.
|
|
559 * pt.c (maybe_get_template_decl_from_type_decl): Handle ambiguity.
|
|
560 Use DECL_SELF_REFERENCE_P.
|
|
561
|
|
562 * parser.c (cp_parser_parse_and_diagnose_invalid_type_name):
|
|
563 Avoid duplicate ambiguity error.
|
|
564 * error.c (dump_decl): Don't say "typedef" for injected-class-name.
|
|
565 * pt.c (convert_template_argument): Tweak logic.
|
|
566
|
|
567 2009-11-16 Paolo Carlini <paolo.carlini@oracle.com>
|
|
568
|
|
569 PR c++/42055
|
|
570 * pt.c (determine_specialization): Assign to candidates the return
|
|
571 value of the chainon called before print_candidates.
|
|
572
|
|
573 2009-11-16 Paolo Carlini <paolo.carlini@oracle.com>
|
|
574
|
|
575 PR c++/32056
|
|
576 * decl.h (enum decl_context): Add TPARM enumerator.
|
|
577 * decl.c (grokdeclarator): Per 14.1/2, error out if a storage class
|
|
578 is specified in a template parameter declaration.
|
|
579 * parser.c (cp_parser_template_parameter): Call grokdeclarator with
|
|
580 TPARM as third argument.
|
|
581
|
|
582 2009-11-13 Jason Merrill <jason@redhat.com>
|
|
583
|
|
584 PR c++/27425
|
|
585 PR c++/34274
|
|
586 * pt.c (expand_template_argument_pack): Handle null arg gracefully.
|
|
587 (convert_template_argument): Use %T for type.
|
|
588
|
|
589 PR c++/29363
|
|
590 * decl.c (create_implicit_typedef): Set TYPE_STUB_DECL here.
|
|
591 (cxx_init_decl_processing): Not here.
|
|
592 * name-lookup.c (pushtag): Or here.
|
|
593 * pt.c (lookup_template_class): Or here.
|
|
594
|
|
595 PR c++/35075
|
|
596 * pt.c (convert_nontype_argument): Give helpful error about
|
|
597 reference variable argument to reference template parameter.
|
|
598
|
|
599 PR c++/21008, DR 515
|
|
600 * semantics.c (finish_non_static_data_member): Don't check
|
|
601 derivation in a template.
|
|
602
|
|
603 PR c++/11987
|
|
604 * parser.c (cp_parser_direct_declarator): Give helpful error about
|
|
605 trying to define member of a dependent typedef.
|
|
606 * pt.c (resolve_typename_type): Don't resolve a typedef typename.
|
|
607 * tree.c (typedef_variant_p): New.
|
|
608 * cp-tree.h: Declare it.
|
|
609
|
|
610 2009-11-12 Jason Merrill <jason@redhat.com>
|
|
611
|
|
612 PR c++/27078
|
|
613 * parser.c (cp_parser_primary_expression): Don't give a duplicate
|
|
614 ambiguity error.
|
|
615
|
|
616 PR c++/39560
|
|
617 * decl2.c (build_anon_union_vars): Set DECL_ARTIFICIAL.
|
|
618
|
|
619 PR c++/37037
|
|
620 * decl.c (grokdeclarator): Don't generate a void PARM_DECL.
|
|
621
|
|
622 PR c++/42013
|
|
623 * call.c (build_conditional_expr): Check specifically for folding
|
|
624 to CALL_EXPR rather than TREE_SIDE_EFFECTS.
|
|
625
|
|
626 * typeck.c (cv_qualified_p): New fn.
|
|
627 (decay_conversion): Use it.
|
|
628 * cp-tree.h: Declare it.
|
|
629 * tree.c (rvalue): Use it and cv_unqualified.
|
|
630 * init.c (build_aggr_init): Likewise.
|
|
631
|
|
632 PR c++/42013
|
|
633 * call.c (build_conditional_expr): Don't fold a TREE_SIDE_EFFECTS
|
|
634 COND_EXPR in unevaluated context.
|
|
635
|
|
636 2009-11-12 Jan Hubicka <jh@suse.cz>
|
|
637
|
|
638 * decl2.c (constrain_visibility): Clear WEAK and COMMON flags.
|
|
639
|
|
640 2009-11-11 Jason Merrill <jason@redhat.com>
|
|
641
|
|
642 PR c++/39131
|
|
643 * rtti.c (emit_support_tinfos): Add DFP types.
|
|
644
|
|
645 * call.c (build_op_delete_call): Downgrade error about
|
|
646 placement/non-placement confusion to permerror.
|
|
647
|
|
648 2009-11-10 Jason Merrill <jason@redhat.com>
|
|
649
|
|
650 * call.c (build_op_delete_call): Tweak error.
|
|
651
|
|
652 PR c++/34158
|
|
653 PR c++/36406
|
|
654 * call.c (non_placement_deallocation_fn_p): Split out...
|
|
655 (build_op_delete_call): ...from here. Use instantiate_type
|
|
656 for placement delete. Simplify logic.
|
|
657 * pt.c (primary_template_instantiation_p): Non-static.
|
|
658 * cp-tree.h: Declare it.
|
|
659
|
|
660 2009-11-09 Jason Merrill <jason@redhat.com>
|
|
661
|
|
662 PR c++/41972
|
|
663 * parser.c (cp_parser_template_argument): Accept SCOPE_REF around
|
|
664 VAR_DECL.
|
|
665
|
|
666 PR c++/41994
|
|
667 * pt.c (tsubst_baselink): tsubst the name.
|
|
668
|
|
669 2009-11-07 Jason Merrill <jason@redhat.com>
|
|
670
|
|
671 PR c++/37920
|
|
672 * pt.c (tsubst) [TYPEOF_TYPE]: Set cp_unevaluated_operand.
|
|
673
|
|
674 PR c++/18451
|
|
675 PR c++/40738
|
|
676 * cp-tree.h (cp_decl_specifier_seq): Add any_type_specifiers_p.
|
|
677 * parser.c (cp_parser_single_declaration): Call
|
|
678 cp_parser_parse_and_diagnose_invalid_type_name here, too.
|
|
679 (cp_parser_parameter_declaration): And here.
|
|
680 (cp_parser_parse_and_diagnose_invalid_type_name): Be
|
|
681 less picky about declarator form. Don't skip to
|
|
682 the end of the block if we're in a declarator.
|
|
683 (cp_parser_decl_specifier_seq): Set any_type_specifiers_p.
|
|
684 (cp_parser_simple_declaration): Check it.
|
|
685 (cp_parser_member_declaration): Likewise.
|
|
686 (cp_parser_diagnose_invalid_type_name): Tweak error message.
|
|
687 (cp_parser_expression_statement): Likewise.
|
|
688 * decl2.c (grokfield): Mention decltype instead of typeof.
|
|
689
|
|
690 2009-11-06 Jason Merrill <jason@redhat.com>
|
|
691
|
|
692 PR c++/15946
|
|
693 * parser.c (cp_parser_check_template_parameters): Don't talk about
|
|
694 specialization at function scope.
|
|
695 (cp_parser_diagnose_invalid_type_name): Handle dependent scope.
|
|
696 (cp_parser_parse_and_diagnose_invalid_type_name): Likewise.
|
|
697 (cp_parser_expression_statement): Suggest typename.
|
|
698 * error.c (dump_decl) [SCOPE_REF]: Print the type here.
|
|
699 (dump_expr) [SCOPE_REF]: Call it.
|
|
700 (dump_type) [UNBOUND_CLASS_TEMPLATE]: Check TFF_UNQUALIFIED_NAME.
|
|
701 * cxx-pretty-print.c (pp_cxx_unqualified_id): Print class template
|
|
702 args.
|
|
703
|
|
704 PR c++/9381
|
|
705 * decl2.c (build_memfn_type): Preserve attributes.
|
|
706 (cp_reconstruct_complex_type): Likewise.
|
|
707 (maybe_retrofit_in_chrg): Likewise.
|
|
708 * class.c (adjust_clone_args): Likewise.
|
|
709 * call.c (standard_conversion): Use build_memfn_type.
|
|
710 * pt.c (tsubst): Likewise.
|
|
711 * decl.c (build_ptrmem_type): Likewise
|
|
712 (check_function_type): Preserve attributes.
|
|
713 * tree.c (cp_build_type_attribute_variant): Propagate exception
|
|
714 specs on METHOD_TYPE, too.
|
|
715 (strip_typedefs): Preserve exception specs and attributes.
|
|
716
|
|
717 2009-11-06 Andrew Pinski <andrew_pinski@playstation.sony.com>
|
|
718
|
|
719 PR c++/41536
|
|
720 * optimize.c (maybe_clone_body): Copy DECL_ATTRIBUTES and
|
|
721 DECL_DISREGARD_INLINE_LIMITS also.
|
|
722
|
|
723 2009-11-06 Jakub Jelinek <jakub@redhat.com>
|
|
724
|
|
725 PR c++/41967
|
|
726 * parser.c (cp_parser_omp_for_loop): After diagnosing not perfectly
|
|
727 nested loop and parsing statements, don't cp_parser_require }, instead
|
|
728 exit the loop if next token is CPP_EOF.
|
|
729
|
|
730 2009-11-05 Jason Merrill <jason@redhat.com>
|
|
731
|
|
732 PR c++/34180
|
|
733 * method.c (do_build_copy_constructor): Don't drop cv-quals from
|
|
734 the field type.
|
|
735
|
|
736 PR c++/7046
|
|
737 * class.c (finish_struct): Store maximum_field_alignment in
|
|
738 TYPE_PRECISION.
|
|
739 * pt.c (instantiate_class_template): Set maximum_field_alignment.
|
|
740
|
|
741 PR c++/34870
|
|
742 * name-lookup.c (arg_assoc_class): Call complete_type.
|
|
743 * pt.c (instantiate_class_template): Call uses_template_parms
|
|
744 instead of dependent_type_p.
|
|
745
|
|
746 PR c++/41703
|
|
747 * pt.c (check_undeduced_parms): New subroutine of...
|
|
748 (more_specialized_fn): ...here. Undeduced template parms can make
|
|
749 a template less specialized than another.
|
|
750
|
|
751 2009-11-04 Jason Merrill <jason@redhat.com>
|
|
752
|
|
753 PR c++/39413
|
|
754 * search.c (lookup_base): Don't complete_type (base).
|
|
755
|
|
756 PR c++/35067
|
|
757 * method.c (use_thunk): Check DECL_WEAK as well as
|
|
758 DECL_ONE_ONLY.
|
|
759
|
|
760 PR c++/17365, DR 218
|
|
761 * name-lookup.c (add_function): Ignore non-functions.
|
|
762
|
|
763 2009-11-03 Jason Merrill <jason@redhat.com>
|
|
764
|
|
765 PR c++/36959
|
|
766 * decl2.c (cxx_callgraph_analyze_expr): Don't reference a function
|
|
767 just because a static variable in it is needed unless -frepo.
|
|
768
|
|
769 PR c++/41876
|
|
770 * parser.c (cp_parser_type_specifier_seq): Rename is_condition to
|
|
771 is_declaration.
|
|
772 (cp_parser_exception_declaration): Pass true.
|
|
773 (cp_parser_omp_for_loop): Likewise.
|
|
774
|
|
775 PR c++/41927
|
|
776 * typeck.c (build_x_binary_op): Don't do warn_parentheses
|
|
777 if we're in a SFINAE context.
|
|
778
|
|
779 PR c++/41815
|
|
780 * call.c (build_call_a): Strip cv-quals from rvalue result.
|
|
781
|
|
782 PR c++/40944
|
|
783 * call.c (initialize_reference): Add complain parm.
|
|
784 * typeck.c (convert_for_initialization): Pass it.
|
|
785 * decl.c (grok_reference_init): Likewise.
|
|
786 * cp-tree.h: Declare it.
|
|
787
|
|
788 PR c++/40687
|
|
789 * pt.c (do_auto_deduction): Diagnose inconsistent deduction.
|
|
790
|
|
791 2009-11-02 Dodji Seketeli <dodji@redhat.com>
|
|
792
|
|
793 PR c++/37093
|
|
794 * pt.c (check_valid_ptrmem_cst_expr): New function.
|
|
795 (convert_nontype_argument): Use it to output an error for
|
|
796 illegal pointer to member expressions used as template arguments.
|
|
797
|
|
798 2009-11-02 Jason Merrill <jason@redhat.com>
|
|
799
|
|
800 Restrict DR 757 change to C++0x mode.
|
|
801 * decl2.c (mark_used): Check cxx_dialect.
|
|
802 * decl.c (grokfndecl): Do check type linkage in C++98 mode.
|
|
803 (grokvardecl): Likewise.
|
|
804 * pt.c (check_instantiated_arg): Likewise.
|
|
805
|
|
806 2009-11-02 Jakub Jelinek <jakub@redhat.com>
|
|
807
|
|
808 PR c++/41774
|
|
809 * name-lookup.c (handle_namespace_attrs): Pass 1 as last argument to
|
|
810 push_visibility.
|
|
811 * parser.c (cp_parser_namespace_definition): Pass 1 as argument to
|
|
812 pop_visibility.
|
|
813 * rtti.c (push_abi_namespace): Pass 2 as last argument to
|
|
814 push_visibility.
|
|
815 (pop_abi_namespace): Pass 2 as argument to pop_visibility.
|
|
816
|
|
817 2009-10-31 Jason Merrill <jason@redhat.com>
|
|
818
|
|
819 * tree.c (cv_unqualified): New fn.
|
|
820 * cp-tree.h: Declare it.
|
|
821 * typeck.c (decay_conversion): Use it instead of TYPE_MAIN_VARIANT.
|
|
822
|
|
823 * rtti.c (tinfo_name): Fix lengths for private case.
|
|
824
|
|
825 2009-10-31 Jason Merrill <jason@redhat.com>
|
|
826
|
|
827 PR c++/41754
|
|
828 * call.c (compare_ics): Avoid bad union use when
|
|
829 comparing two ck_lists.
|
|
830
|
|
831 2009-10-30 Jerry Quinn <jlquinn@optonline.net>
|
|
832
|
|
833 * mangle.c (mangle_type_string_for_rtti): Reapply 153734.
|
|
834 (needs_fake_anon): Likewise.
|
|
835 (write_name): Likewise.
|
|
836 (write_nested_name): Likewise.
|
|
837 * cp-tree.h (mangle_type_string_for_rtti): Likewise.
|
|
838 (get_anonymous_namespace): Likewise.
|
|
839 * name-lookup.c (get_anonymous_namespace_name): Likewise.
|
|
840 * rtti.c (tinfo_name): Likewise, with +1 in the second
|
|
841 build_string call fixed.
|
|
842 (tinfo_base_init): Likewise.
|
|
843
|
|
844 2009-10-30 Jason Merrill <jason@redhat.com>
|
|
845
|
|
846 Revert:
|
|
847 * decl.c (cp_fname_init): Correct build_string argument.
|
|
848
|
|
849 2009-10-30 Jerry Quinn <jlquinn@optonline.net>
|
|
850
|
|
851 * mangle.c (mangle_type_string_for_rtti): Revert 153734.
|
|
852 (needs_fake_anon): Likewise.
|
|
853 (write_name): Likewise.
|
|
854 (write_nested_name): Likewise.
|
|
855 * cp-tree.h (mangle_type_string_for_rtti): Likewise.
|
|
856 (get_anonymous_namespace): Likewise.
|
|
857 * name-lookup.c (get_anonymous_namespace_name): Likewise.
|
|
858 * rtti.c (tinfo_name): Likewise.
|
|
859 (tinfo_base_init): Likewise.
|
|
860
|
|
861 2009-10-30 Dodji Seketeli <dodji@redhat.com>
|
|
862
|
|
863 PR c++/41863
|
|
864 * pt.c (iterative_hash_template_arg): articifial parms
|
|
865 don't have DECL_PARM_INDEX set. Do not hash it.
|
|
866
|
|
867 2009-10-28 Jerry Quinn <jlquinn@optonline.net>
|
|
868
|
|
869 * mangle.c (mangle_type_string_for_rtti): Revert r149964.
|
|
870 (needs_fake_anon): Likewise.
|
|
871 (write_name): Likewise.
|
|
872 (write_nested_name): Likewise.
|
|
873 * cp-tree.h (mangle_type_string_for_rtti): Likewise.
|
|
874 (get_anonymous_namespace): Likewise.
|
|
875 * name-lookup.c (get_anonymous_namespace_name): Likewise.
|
|
876 * rtti.c (tinfo_name): Insert '*' in front of private names.
|
|
877 (tinfo_base_init): Use it.
|
|
878
|
|
879 2009-10-28 Jason Merrill <jason@redhat.com>
|
|
880
|
|
881 Core issue 812, 861
|
|
882 * name-lookup.c (set_decl_namespace): Deal properly with inline
|
|
883 namespaces.
|
|
884 (qualified_lookup_using_namespace): Overhaul.
|
|
885 * pt.c (print_candidates): Handle getting an OVERLOAD.
|
|
886
|
|
887 2009-10-28 Jason Merrill <jason@redhat.com>
|
|
888
|
|
889 * decl.c (cp_fname_init): Correct build_string argument.
|
|
890
|
|
891 2009-10-27 Jason Merrill <jason@redhat.com>
|
|
892
|
|
893 Allow no-capture lambdas to convert to function pointer.
|
|
894 * semantics.c (maybe_add_lambda_conv_op): New.
|
|
895 * parser.c (cp_parser_lambda_expression): Call it.
|
|
896 (cp_parser_lambda_declarator_opt): Make op() static if
|
|
897 no captures.
|
|
898 * mangle.c (write_closure_type_name): Adjust.
|
|
899 * semantics.c (finish_this_expr): Adjust.
|
|
900 * decl.c (grok_op_properties): Allow it.
|
|
901 * call.c (build_user_type_conversion_1): Handle static conversion op.
|
|
902 (build_op_call): And op().
|
|
903
|
|
904 2009-10-26 Jakub Jelinek <jakub@redhat.com>
|
|
905
|
|
906 PR debug/41828
|
|
907 * cp-lang.c (cxx_dwarf_name): Return NULL instead of
|
|
908 <anonymous ...> for anonymous aggregate names.
|
|
909
|
|
910 2009-10-26 Jason Merrill <jason@redhat.com>
|
|
911
|
|
912 PR c++/38796, Core issue 906
|
|
913 * cp-tree.h (DECL_DEFAULTED_OUTSIDE_CLASS_P): New.
|
|
914 (DECL_DEFAULTED_IN_CLASS_P): New.
|
|
915 * class.c (user_provided_p): Non-static.
|
|
916 (check_methods): Use it.
|
|
917 (check_bases_and_members): Check defaulted fns.
|
|
918 (defaultable_fn_p): Move and rename to...
|
|
919 * method.c (defaultable_fn_check): ...this.
|
|
920 (defaulted_late_check): New.
|
|
921 * pt.c (tsubst_decl): Call it.
|
|
922 * decl2.c (grokfield): Adjust.
|
|
923 * decl.c (cp_finish_decl): Adjust.
|
|
924 (grok_special_member_properties): Use user_provided_p.
|
|
925
|
|
926 2009-10-26 Dodji Seketeli <dodji@redhat.com>
|
|
927
|
|
928 PR c++/41785
|
|
929 * pt.c (template_args_equal): Handle comparison of
|
|
930 an ARGUMENT_PACK_SELECT node with the arguments node it selects into.
|
|
931 * cp-tree.def: Fix a typo in the description of TYPE_PACK_EXPANSION.
|
|
932
|
|
933 2009-10-26 Dodji Seketeli <dodji@redhat.com>
|
|
934
|
|
935 PR c++/41020
|
|
936 * decl.c (decls_match): Use DECL_IS_BUILTIN instead of
|
|
937 DECL_BUILT_IN.
|
|
938
|
|
939 2009-10-23 Dodji Seketeli <dodji@redhat.com>
|
|
940
|
|
941 PR c++/40808
|
|
942 * mangle.c (write_template_args): Allow mangling of empty template
|
|
943 argument list. Updated function comments.
|
|
944
|
|
945 2009-10-23 Jason Merrill <jason@redhat.com>
|
|
946
|
|
947 * semantics.c (lambda_expr_this_capture): Use thisify_lambda_field.
|
|
948
|
|
949 * semantics.c (outer_lambda_capture_p): New fn.
|
|
950 (thisify_lambda_field): Factor out...
|
|
951 (add_default_capture): ...from here.
|
|
952 (finish_id_expression): Use them.
|
|
953
|
|
954 Core issue 899
|
|
955 * call.c (add_function_candidate): Only permit explicit conversion
|
|
956 ops if copy ctor was called with a single argument.
|
|
957
|
|
958 * call.c (initialize_reference): Tweak error message.
|
|
959
|
|
960 2009-10-21 Jakub Jelinek <jakub@redhat.com>
|
|
961
|
|
962 * mangle.c (finish_mangling_get_identifier): Use
|
|
963 obstack_base (mangle_obstack) instead of name_base.
|
|
964
|
|
965 2009-10-19 Jakub Jelinek <jakub@redhat.com>
|
|
966
|
|
967 * parser.c (cp_lexer_print_token, cp_parser_is_string_literal,
|
|
968 cp_parser_string_literal, cp_parser_primary_expression): Likewise.
|
|
969 (cp_lexer_get_preprocessor_token): Use C_LEX_STRING_JOIN instead
|
|
970 of C_LEX_RAW_STRINGS.
|
|
971
|
|
972 2009-10-15 Jason Merrill <jason@redhat.com>
|
|
973
|
|
974 PR c++/38888
|
|
975 * error.c (dump_template_bindings): Wrap argument packs in {}.
|
|
976
|
|
977 PR c++/38798
|
|
978 * parser.c (CP_PARSER_FLAGS_NO_TYPE_DEFINITIONS): New.
|
|
979 (cp_parser_type_specifier): Don't try to parse a class-specifier
|
|
980 or enum-specifier in that case.
|
|
981 (cp_parser_trailing_type_id): New.
|
|
982 (cp_parser_late_return_type_opt): Call it.
|
|
983 (cp_parser_type_id_1): Add is_trailing_return parm.
|
|
984 (cp_parser_type_specifier_seq): Likewise.
|
|
985
|
|
986 2009-10-14 Jason Merrill <jason@redhat.com>
|
|
987
|
|
988 PR c++/39866
|
|
989 * call.c (print_z_candidates): Don't print deleted candidates.
|
|
990 (print_z_candidate): Note deleted candidates.
|
|
991
|
|
992 2009-10-14 Larry Evans <cppljevans@suddenlink.net>
|
|
993
|
|
994 PR c++/40092
|
|
995 * tree.c (cp_tree_equal): Add test for TEMPLATE_PARM_PARAMETER_PACK
|
|
996 equality.
|
|
997
|
|
998 2009-10-12 Jason Merrill <jason@redhat.com>
|
|
999
|
|
1000 PR c++/37875
|
|
1001 * parser.c (cp_parser_decltype): Set greater_than_is_operator_p.
|
|
1002
|
|
1003 PR c++/37766
|
|
1004 * pt.c (type_unification_real): Call convert_template_argument
|
|
1005 for function default template arguments.
|
|
1006 (check_default_tmpl_args): Suggest -std=c++0x when function default
|
|
1007 template args seen in C++98 mode.
|
|
1008
|
|
1009 2009-10-11 Jason Merrill <jason@redhat.com>
|
|
1010
|
|
1011 PR c++/37204
|
|
1012 * typeck.c (build_reinterpret_cast_1): Handle rvalue refs
|
|
1013 properly.
|
|
1014
|
|
1015 2009-10-11 Richard Guenther <rguenther@suse.de>
|
|
1016
|
|
1017 * tree.c (cp_free_lang_data): Drop anonymous aggregate names.
|
|
1018
|
|
1019 2009-10-08 Jason Merrill <jason@redhat.com>
|
|
1020
|
|
1021 PR c++/36816
|
|
1022 * pt.c (maybe_adjust_types_for_deduction): Do rvalue ref adjustment
|
|
1023 even when DEDUCE_EXACT.
|
|
1024
|
|
1025 PR c++/37177
|
|
1026 * pt.c (resolve_nondeduced_context): New.
|
|
1027 * cvt.c (convert_to_void): Call it.
|
|
1028 * semantics.c (finish_decltype_type): Likewise.
|
|
1029 * typeck.c (decay_conversion): Here too.
|
|
1030 * pt.c (tsubst_decl): Don't clobber input_location.
|
|
1031 Don't register a bad specialization.
|
|
1032
|
|
1033 2009-10-07 Gabriel Dos Reis <gdr@cs.tamu.edu>
|
|
1034
|
|
1035 * cp-tree.h: Fix location of documentation for DECL_LANG_FLAG_7.
|
|
1036
|
|
1037 2009-10-07 Jason Merrill <jason@redhat.com>
|
|
1038
|
|
1039 PR c++/39863
|
|
1040 * pt.c (tsubst_pack_expansion): Don't do anything now if we
|
|
1041 have incomplete packs of different lengths.
|
|
1042
|
|
1043 PR c++/41038
|
|
1044 * tree.c (build_qualified_name): Call convert_from_reference.
|
|
1045
|
|
1046 2009-10-06 Jason Merrill <jason@redhat.com>
|
|
1047
|
|
1048 Fix lookup of initialized captures in unevaluated context.
|
|
1049 * cp-tree.h (DECL_NORMAL_CAPTURE_P): New.
|
|
1050 * name-lookup.c (qualify_lookup): Check it.
|
|
1051 * parser.c (cp_parser_lambda_introducer): Pass explicit_init_p
|
|
1052 to add_capture.
|
|
1053 * semantics.c (add_capture): Set DECL_NORMAL_CAPTURE_P
|
|
1054 on captures without explicit init.
|
|
1055 (add_default_capture): Pass explicit_init_p.
|
|
1056
|
|
1057 Fix capture by copy of types with explicit copy constructor.
|
|
1058 * cp-tree.h (TARGET_EXPR_DIRECT_INIT_P): New.
|
|
1059 (DIRECT_INIT_EXPR_P): New.
|
|
1060 * typeck.c (convert_for_initialization): Just return if
|
|
1061 DIRECT_INIT_EXPR_P.
|
|
1062 * semantics.c (build_lambda_object): Use
|
|
1063 TARGET_EXPR_DIRECT_INIT_P for normal captures.
|
|
1064
|
|
1065 2009-10-05 Jason Merrill <jason@redhat.com>
|
|
1066
|
|
1067 * parser.c: Mark lambda_scope and lambda_count for PCH.
|
|
1068
|
|
1069 2009-10-03 Jason Merrill <jason@redhat.com>
|
|
1070
|
|
1071 PR c++/41553
|
|
1072 * parser.c (cp_parser_lambda_introducer): Avoid infinite loop on
|
|
1073 parse error.
|
|
1074
|
|
1075 2009-10-02 Jason Merrill <jason@redhat.com>
|
|
1076
|
|
1077 * mangle.c (write_unnamed_type_name): Implement.
|
|
1078 (local_class_index): Split out from...
|
|
1079 (discriminator_for_local_entity): ...here.
|
|
1080 (nested_anon_class_index): New.
|
|
1081 * cp-tree.h (TYPE_FUNCTION_SCOPE_P): New.
|
|
1082
|
|
1083 2009-10-02 Janis Johnson <janis187@us.ibm.com>
|
|
1084
|
|
1085 * call.c (convert_arg_to_ellipsis): Avoid promoting decimal32
|
|
1086 to double.
|
|
1087
|
|
1088 2009-10-01 Jason Merrill <jason@redhat.com>
|
|
1089
|
|
1090 * parser.c (cp_parser_lambda_expression): Compute visibility.
|
|
1091 (no_linkage_lambda_type_p): Remove.
|
|
1092 * cp-tree.h: Remove declaration.
|
|
1093 * tree.c (no_linkage_check): Don't call it. Don't check template
|
|
1094 args. Don't check TREE_PUBLIC Types.
|
|
1095
|
|
1096 2009-10-01 Gabriel Dos Reis <gdr@cse.tamu.edu>
|
|
1097 Jason Merrill <jason@redhat.com>
|
|
1098
|
|
1099 * decl.c (grokdeclarator): Set constexprness before announcing
|
|
1100 friendship.
|
|
1101
|
|
1102 2009-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
|
|
1103
|
|
1104 * decl.c (record_builtin_java_type): Undo unintended change.
|
|
1105 (cxx_init_decl_processing): Likewise.
|
|
1106
|
|
1107 2009-10-01 Jason Merrill <jason@redhat.com>
|
|
1108
|
|
1109 * pt.c (register_specialization): Push DECL_SOURCE_LOCATION to the
|
|
1110 clones.
|
|
1111
|
|
1112 * decl.c (grok_special_member_properties): Only adjust
|
|
1113 TYPE_HAS_COMPLEX_* if the function is defaulted in the class body.
|
|
1114 (cp_finish_decl): Push DECL_DELETED_FN/DECL_DEFAULTED_FN to the
|
|
1115 clones.
|
|
1116
|
|
1117 2009-09-30 Gabriel Dos Reis <gdr@cs.tamu.edu>
|
|
1118
|
|
1119 * decl.c (check_for_uninitialized_const_var): Check constexpr
|
|
1120 variables too.
|
|
1121 (grokdeclarator): Handle `constexpr'.
|
|
1122 (check_tag_decl): Reject `constexpr'.
|
|
1123 (check_function_type): Check constexpr functions.
|
|
1124 * cp-tree.h (ds_constexpr): New cp_decl_spec enumerator.
|
|
1125 (CLASSTYPE_LITERAL_P): New.
|
|
1126 (lang_type_class::is_literal): New.
|
|
1127 (lang_type_class::dummy): Adjust width.
|
|
1128 (literal_type_p): Declare.
|
|
1129 * parser.c (cp_parser_check_decl_spec): Print it.
|
|
1130 (cp_parser_decl_specifier_seq): Accept "constexpr".
|
|
1131 * semantics.c (validate_constexpr_fundecl): Define.
|
|
1132 (literal_type_p): Define.
|
|
1133
|
|
1134 2009-09-30 Jason Merrill <jason@redhat.com>
|
|
1135
|
|
1136 * semantics.c (lambda_expr_this_capture): Fix default capture
|
|
1137 of explicit capture of 'this'.
|
|
1138
|
|
1139 2009-09-30 Jason Merrill <jason@redhat.com>
|
|
1140
|
|
1141 * parser.c (cp_parser_lambda_expression): Don't add __ to __this.
|
|
1142
|
|
1143 2009-09-30 Jason Merrill <jason@redhat.com>
|
|
1144
|
|
1145 * cp-tree.h (LANG_DECL_U2_CHECK): Check LANG_DECL_HAS_MIN.
|
|
1146
|
|
1147 2009-09-29 John Freeman <jfreeman08@gmail.com>
|
|
1148 Jason Merrill <jason@redhat.com>
|
|
1149
|
|
1150 Add support for lambda-expressions as per N2927.
|
|
1151 * cp-tree.def (VEC_INIT_EXPR, LAMBDA_EXPR): New.
|
|
1152 * cp-tree.h (LAMBDA_TYPE_P, LAMBDA_FUNCTION_P): New.
|
|
1153 (LAMBDA_EXPR_DEFAULT_CAPTURE_MODE): New.
|
|
1154 (LAMBDA_EXPR_DEFAULT_CAPTURE_LIST): New.
|
|
1155 (LAMBDA_EXPR_THIS_CAPTURE, LAMBDA_EXPR_CAPTURES_THIS_P): New.
|
|
1156 (LAMBDA_EXPR_MUTABLE_P, LAMBDA_EXPR_DEDUCE_RETURN_TYPE_P): New.
|
|
1157 (LAMBDA_EXPR_RETURN_TYPE, LAMBDA_EXPR_LOCATION): New.
|
|
1158 (LAMBDA_EXPR_EXTRA_SCOPE, LAMBDA_EXPR_DISCRIMINATOR): New.
|
|
1159 (struct tree_lambda_expr): New.
|
|
1160 (union lang_tree_node): Add lambda_expression.
|
|
1161 (struct lang_type_class): Add lazy_move_ctor flag, lambda_expr field.
|
|
1162 (CLASSTYPE_LAZY_MOVE_CTOR, CLASSTYPE_LAMBDA_EXPR): New.
|
|
1163 (LAMBDA_TYPE_EXTRA_SCOPE, VEC_INIT_EXPR_SLOT): New.
|
|
1164 (VEC_INIT_EXPR_INIT, DECLTYPE_FOR_LAMBDA_CAPTURE): New.
|
|
1165 (DECLTYPE_FOR_LAMBDA_RETURN): New.
|
|
1166 (enum special_function_kind): Add sfk_move_constructor.
|
|
1167 (LAMBDANAME_PREFIX, LAMBDANAME_FORMAT, LAMBDANAME_P): New.
|
|
1168 * parser.c (cp_parser_lambda_expression, cp_parser_lambda_introducer)
|
|
1169 (cp_parser_lambda_declarator_opt, cp_parser_lambda_body): New.
|
|
1170 (start_lambda_scope, record_lambda_scope, finish_lambda_scope): New.
|
|
1171 (no_linkage_lambda_type_p): New.
|
|
1172 (cp_parser_primary_expression): Recognize lambda expression.
|
|
1173 (cp_parser_init_declarator): Note lambda scope.
|
|
1174 (cp_parser_function_definition_after_declarator): Likewise.
|
|
1175 (cp_parser_late_parsing_default_args): Likewise.
|
|
1176 (cp_parser_skip_to_closing_parenthesis): Skip to end of lambda capture
|
|
1177 lists, too.
|
|
1178 (cp_parser_parameter_declaration): Don't defer lambda default args.
|
|
1179 * semantics.c (finish_non_static_data_member, finish_id_expression):
|
|
1180 Handle default capture for lambda expressions.
|
|
1181 (finish_this_expr): Handle 'this' keyword inside of lambda expressions.
|
|
1182 (outer_automatic_var_p): New.
|
|
1183 (finish_decltype_type): Handle decltypes within lambda expressions.
|
|
1184 (classtype_has_nothrow_assign_or_copy_p): Synthesized move constructor.
|
|
1185 (build_lambda_expr, build_lambda_object, begin_lambda_type)
|
|
1186 (lambda_return_type, lambda_capture_field_type, apply_lambda_return_type)
|
|
1187 (capture_decltype, add_capture, add_default_capture)
|
|
1188 (lambda_expr_this_capture): New.
|
|
1189 * mangle.c (write_unnamed_type_name): New. Incomplete.
|
|
1190 (write_closure_type_name): New.
|
|
1191 (write_unqualified_name): Recognize unnamed, closure types.
|
|
1192 (write_type): Do not write decltypes from lambda expressions.
|
|
1193 (decl_mangling_context): New.
|
|
1194 (write_name): Use it. Handle PARM_DECL scope.
|
|
1195 (write_prefix): Likewise. Handle VAR_DECL/FIELD_DECL scope.
|
|
1196 (write_compact_number): Factor out from...
|
|
1197 (write_expression, write_template_param): ...here.
|
|
1198 (discriminator_for_local_entity): Recognize lambdas.
|
|
1199 (write_local_name): Handle PARM_DECL scope.
|
|
1200 * typeck.c (structural_comptypes): Compare decltypes from lambda
|
|
1201 expressions.
|
|
1202 (check_return_expr): Deduce lambda return type from multiple return
|
|
1203 statements.
|
|
1204 * class.c (add_implicitly_declared_members): Add lazy move constructor
|
|
1205 for lambda types.
|
|
1206 (check_bases_and_members): Delete default constructor and assignment
|
|
1207 operator for lambda types.
|
|
1208 (maybe_note_name_used_in_class): Do not confuse lambda expression with
|
|
1209 defining a class.
|
|
1210 * decl.c (reshape_init_r): Array copy.
|
|
1211 (grokfndecl): Synthesized move constructor.
|
|
1212 (cp_tree_node_structure): Lambda expression.
|
|
1213 * method.c (use_thunk): Synthesized move constructor.
|
|
1214 (do_build_copy_constructor): Likewise.
|
|
1215 (locate_copy): Likewise.
|
|
1216 (implicitly_declare_fn): Likewise.
|
|
1217 * cp-objcp-common.c (cp_tree_size): Handle LAMBDA_EXPR.
|
|
1218 * error.c (dump_aggr_type): Recognize lambda type.
|
|
1219 (dump_function_decl): Recognize lambda function.
|
|
1220 (function_category): Likewise.
|
|
1221 (dump_function_name): Hide lambda name.
|
|
1222 * tree.c (build_array_copy, move): New.
|
|
1223 (special_function_p): Synthesized move constructor.
|
|
1224 (no_linkage_check): Handle lambdas.
|
|
1225 * search.c (lookup_fnfields_1): Synthesized move constructor.
|
|
1226 * cp-gimplify.c (cp_gimplify_init_expr, cp_gimplify_expr):
|
|
1227 Handle VEC_INIT_EXPR.
|
|
1228 * typeck2.c (digest_init_r): Array copy.
|
|
1229 * pt.c (get_template_info): Don't touch typedefs.
|
|
1230 (instantiate_decl): Don't resubstitute artificial decls.
|
|
1231 (tsubst_decl, tsubst, tsubst_copy_and_build): Handle lambdas.
|
|
1232 (lookup_template_class): Don't fall back on name lookup.
|
|
1233 * name-lookup.c (make_lambda_name): New.
|
|
1234 (pushdecl_class_level): Handle default capture for lambda expressions.
|
|
1235 (qualify_lookup): Handle decltypes within lambda expressions.
|
|
1236 (pushtag): Handle ts_within_enclosing_non_class in function scope.
|
|
1237
|
|
1238 2009-09-28 Janis Johnson <janis187@us.ibm.com>
|
|
1239
|
|
1240 * mangle.c (write_builtin_type): Support decimal float types.
|
|
1241
|
|
1242 2009-09-28 Richard Henderson <rth@redhat.com>
|
|
1243
|
|
1244 * cp-objcp-common.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New.
|
|
1245
|
|
1246 2009-09-24 Jakub Jelinek <jakub@redhat.com>
|
|
1247
|
|
1248 * method.c (make_thunk, make_alias_for): Don't set
|
|
1249 DECL_NO_STATIC_CHAIN.
|
|
1250 * decl.c (builtin_function_1, grokfndecl): Likewise.
|
|
1251 * lex.c (build_lang_decl): Likewise.
|
|
1252
|
|
1253 2009-09-23 Dodji Seketeli <dodji@redhat.com>
|
|
1254
|
|
1255 PR debug/41065
|
|
1256 * decl.c (cp_finish_decl): Record the types used by the global
|
|
1257 variable declaration we've just parsed.
|
|
1258
|
|
1259 2009-09-22 Dodji Seketeli <dodji@redhat.com>
|
|
1260
|
|
1261 * cp-lang.c (LANG_HOOKS_FUNCTION_PARAMETER_PACK_P,
|
|
1262 LANG_HOOKS_FUNCTION_PARM_EXPANDED_FROM_PACK_P,
|
|
1263 LANG_HOOKS_GET_GENERIC_FUNCTION_DECL): Initialize these
|
|
1264 hooks for the c++ FE.
|
|
1265 * cp-tree.h (function_parameter_pack_p, get_function_template_decl,
|
|
1266 function_parameter_expanded_from_pack_p): Declare ...
|
|
1267 * pt.c (function_parameter_pack_p, get_function_template_decl,
|
|
1268 function_parameter_expanded_from_pack_p): ... new hooks.
|
|
1269 (get_template_info): Make this more robust.
|
|
1270 (template_args_variadic_p, make_ith_pack_parameter_name): Add a new
|
|
1271 line between comment and function.
|
|
1272 (get_template_argument_pack_elems): Fix comment.
|
|
1273 (tsubst_decl): Arguments of function parameter packs are not
|
|
1274 parameter packs themselves.
|
|
1275
|
|
1276 2009-09-21 Jason Merrill <jason@redhat.com>
|
|
1277
|
|
1278 PR c++/41421
|
|
1279 * tree.c (trivial_type_p): Fix logic.
|
|
1280
|
|
1281 2009-09-21 Jason Merrill <jason@redhat.com>
|
|
1282
|
|
1283 * name-lookup.c (push_class_level_binding): Sanity check.
|
|
1284
|
|
1285 2009-09-18 Jason Merrill <jason@redhat.com>
|
|
1286
|
|
1287 * decl2.c (determine_visibility): Make anonymous types internal.
|
|
1288 (mark_used): Complain about types without linkage used in
|
|
1289 decls with internal linkage.
|
|
1290 (vague_linkage_fn_p): Split out from...
|
|
1291 * decl.c (maybe_commonize_var): ...here.
|
|
1292 (grokdeclarator): Adjust linkage when a typedef gives linkage name.
|
|
1293 * tree.c (no_linkage_check): Check the enclosing class and template
|
|
1294 arguments.
|
|
1295
|
|
1296 * cp-tree.h (TYPE_NAMESPACE_SCOPE_P): New.
|
|
1297
|
|
1298 * pt.c (get_pattern_parm): New.
|
|
1299 (listify): Split out from...
|
|
1300 (listify_autos): ...here.
|
|
1301 (unify): Deduce std::initializer_list for T.
|
|
1302 * call.c (build_over_call): Warn about it.
|
|
1303
|
|
1304 2009-09-17 Andrew Pinski <pinskia@gcc.gnu.org>
|
|
1305
|
|
1306 PR c++/39365
|
|
1307 * typeck.c (cp_build_unary_op): Check TREE_CODE for bools instead of
|
|
1308 using same_type_p.
|
|
1309 (convert_for_assignment): Likewise.
|
|
1310 * cvt.c (type_promotes_to): Likewise.
|
|
1311
|
|
1312 2009-09-14 Richard Henderson <rth@redhat.com>
|
|
1313 Jakub Jelinek <jakub@redhat.com>
|
|
1314
|
|
1315 * cp-tree.h (finish_asm_stmt): Update decl.
|
|
1316 * parser.c (cp_parser_asm_definition): Parse asm goto.
|
|
1317 (cp_parser_asm_label_list): New.
|
|
1318 * pt.c (tsubst_copy_asm_operands): Don't recurse on labels.
|
|
1319 (tsubst_expr): Handle asm labels.
|
|
1320 * semantics.c (finish_asm_stmt): Add and use labels parameter.
|
|
1321
|
|
1322 2009-09-14 Richard Henderson <rth@redhat.com>
|
|
1323
|
|
1324 * except.c (init_exception_processing): Don't call
|
|
1325 default_init_unwind_resume_libfunc.
|
|
1326 (cp_protect_cleanup_actions): Return the decl to call.
|
|
1327 (build_exc_ptr): Use __builtin_eh_pointer.
|
|
1328 * optimize.c (clone_body): Set eh_lp_nr, not eh_region.
|
|
1329
|
|
1330 2009-09-13 Richard Guenther <rguenther@suse.de>
|
|
1331 Rafael Avila de Espindola <espindola@google.com>
|
|
1332
|
|
1333 * except.c (init_exception_processing): Do not set
|
|
1334 lang_eh_runtime_type.
|
|
1335 (choose_personality_routine): Do not set eh_personality_decl,
|
|
1336 set pragma_java_exceptions.
|
|
1337 * cp-lang.c (LANG_HOOKS_EH_RUNTIME_TYPE): Define.
|
|
1338 (LANG_HOOKS_EH_PERSONALITY): Likewise.
|
|
1339 (cp_eh_personality_decl): New.
|
|
1340 (cp_eh_personality): Likewise.
|
|
1341 * Make-lang.in (cp-lang.o): Add $(EXPR_H) and $(EXCEPT_H)
|
|
1342 dependencies.
|
|
1343
|
|
1344 2009-09-13 Wei Guozhi <carrot@google.com>
|
|
1345
|
|
1346 PR c++/3187
|
|
1347 * cp/optimize.c (build_delete_destructor_body): New function.
|
|
1348 (maybe_clone_body): Call build_delete_destructor_body for
|
|
1349 deleting destructor.
|
|
1350
|
|
1351 2009-09-10 Jason Merrill <jason@redhat.com>
|
|
1352
|
|
1353 * repo.c (extract_string, get_base_filename, init_repo): constify.
|
|
1354
|
|
1355 2009-09-09 Jason Merrill <jason@redhat.com>
|
|
1356
|
|
1357 * error.c (find_typenames_r): Also add decltypes.
|
|
1358
|
|
1359 2009-09-09 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1360
|
|
1361 PR c++/28293
|
|
1362 * decl2.c (grokfield): Check for explicit template argument lists.
|
|
1363
|
|
1364 2009-09-09 Jack Howarth <howarth@bromo.med.uc.edu>
|
|
1365
|
|
1366 PR bootstrap/41180
|
|
1367 * Make-lang.in: Remove redundant code from linkage for darwin10.
|
|
1368
|
|
1369 2009-09-08 Paolo Carlini <paolo.carlini@oracle.com>
|
|
1370
|
|
1371 PR c++/39923
|
|
1372 * decl.c (build_init_list_var_init): Check return value of
|
|
1373 perform_implicit_conversion.
|
|
1374
|
|
1375 2009-09-08 Jason Merrill <jason@redhat.com>
|
|
1376
|
|
1377 * class.c (currently_open_class): Make sure we're dealing with the
|
|
1378 main variant.
|
|
1379
|
|
1380 * cp-tree.h (enum overload_flags): Remove OP_FLAG.
|
|
1381 * method.c (lazily_declare_fn): Check for dtorness in ABI warning.
|
|
1382
|
|
1383 * name-lookup.c (is_class_level): Remove.
|
|
1384 (push_binding_level, leave_scope, resume_scope): Adjust.
|
|
1385 (pushlevel_class): Adjust.
|
|
1386 (poplevel_class): Make sure we're on class_binding_level.
|
|
1387
|
|
1388 * decl.c (grokmethod): Rename from start_method.
|
|
1389 (finish_method): Remove.
|
|
1390 * cp-tree.h: Adjust.
|
|
1391 * parser.c (cp_parser_save_member_function_body): Adjust.
|
|
1392
|
|
1393 2009-09-03 Doug Kwan <dougkwan@google.com>
|
|
1394
|
|
1395 * tree.c (cp_fix_function_decl_p): New.
|
|
1396 (cp_free_lang_data): New.
|
|
1397
|
|
1398 2009-09-03 Diego Novillo <dnovillo@google.com>
|
|
1399
|
|
1400 * Make-lang.in (decl2.o): Add dependency on $(POINTER_SET_H).
|
|
1401 * decl2.c: Include pointer-set.h.
|
|
1402 (collect_candidates_for_java_method_aliases): New.
|
|
1403 (cp_write_global_declarations): Call it.
|
|
1404 Add local variable CANDIDATES. If set, call
|
|
1405 build_java_method_aliases.
|
|
1406 (build_java_method_aliases): Add argument CANDIDATES.
|
|
1407 Use it to determine if FNDECL should get a hidden alias.
|
|
1408 * cp-objcp-common.h (LANG_HOOKS_FREE_LANG_DATA): Define.
|
|
1409 * cp-tree.h (cp_free_lang_data): Declare.
|
|
1410
|
|
1411 2009-09-03 Richard Guenther <rguenther@suse.de>
|
|
1412
|
|
1413 * method.c (use_thunk): Use cgraph_finalize_function to hand
|
|
1414 off thunks to the cgraph.
|
|
1415 * semantics.c (emit_associated_thunks): Do not emit thunks
|
|
1416 for really extern functions.
|
|
1417
|
|
1418 2009-09-03 Diego Novillo <dnovillo@google.com>
|
|
1419
|
|
1420 * cp-lang.c (lang_hooks): Remove const qualifier.
|
|
1421
|
|
1422 2009-09-02 Jason Merrill <jason@redhat.com>
|
|
1423
|
|
1424 * semantics.c (describable_type): Don't pretend to be in a template.
|
|
1425
|
|
1426 * ptree.c (cxx_print_type) [DECLTYPE_TYPE]: Print the expression.
|
|
1427
|
|
1428 2009-09-01 Alexandre Oliva <aoliva@redhat.com>
|
|
1429
|
|
1430 * cp-tree.h (TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS): New.
|
|
1431 * cp-lang.c (cxx_dwarf_name): Pass it.
|
|
1432 * error.c (count_non_default_template_args): Take flags as
|
|
1433 argument. Adjust all callers. Skip counting of default
|
|
1434 arguments if the new flag is given.
|
|
1435
|
|
1436 2009-09-01 Dodji Seketeli <dodji@redhat.com>
|
|
1437
|
|
1438 PR bootstrap/41205
|
|
1439 * pt.c (make_ith_pack_parameter_name): Don't use strnlen that is a
|
|
1440 GNU extension.
|
|
1441
|
|
1442 2009-09-01 Richard Guenther <rguenther@suse.de>
|
|
1443
|
|
1444 * cp-objcp-common.c (cp_expr_size): Use tree_expr_size.
|
|
1445 * cp-objcp-common.h (LANG_HOOKS_EXPR_SIZE): Do not define.
|
|
1446
|
|
1447 2009-09-01 Richard Guenther <rguenther@suse.de>
|
|
1448
|
|
1449 * cp-objcp-common.h (LANG_HOOKS_MARK_ADDRESSABLE): Remove.
|
|
1450
|
|
1451 2009-08-31 Dodji Seketeli <dodji@redhat.com>
|
|
1452
|
|
1453 PR debug/30161
|
|
1454 * cp-tree.h (get_template_info): Parameter should be const.
|
|
1455 (CLASSTYPE_SPECIALIZATION_OF_PRIMARY_TEMPLATE_P): Fix typo.
|
|
1456 (get_template_argument_pack_elems,
|
|
1457 get_primary_template_innermost_parameters,
|
|
1458 get_template_innermost_arguments, template_template_parameter_p):
|
|
1459 Declare ...
|
|
1460 * pt.c (get_template_argument_pack_elems,
|
|
1461 get_template_innermost_parameters, get_template_innermost_arguments,
|
|
1462 template_template_parameter_p):
|
|
1463 ... New C++ front end implementation of new language hooks.
|
|
1464 (primary_template_instantiation_p): New private helper.
|
|
1465 (make_ith_pack_parameter_name): Use snprintf and strnlen instead of
|
|
1466 printf and strlen.
|
|
1467 (get_template_info): Const-ify parameter.
|
|
1468 * cp-lang.c (LANG_HOOKS_GET_INNERMOST_GENERIC_PARMS,
|
|
1469 LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS,
|
|
1470 LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS,
|
|
1471 LANG_HOOKS_GENERIC_TYPE_PARAMETER_DECL_P): Initialize these
|
|
1472 interfaces for the C++ front-end.
|
|
1473
|
|
1474 2009-08-31 Jason Merrill <jason@redhat.com>
|
|
1475
|
|
1476 PR c++/41127
|
|
1477 * parser.c (cp_parser_enum_specifier): Make sure the : is followed by a
|
|
1478 type-specifier-seq before we commit.
|
|
1479
|
|
1480 2009-08-28 Richard Guenther <rguenther@suse.de>
|
|
1481
|
|
1482 PR lto/41058
|
|
1483 * cp-gimplify.c (cp_genericize_r): Do not leak zero-sized stores
|
|
1484 into the generic IL.
|
|
1485
|
|
1486 2009-08-27 Richard Guenther <rguenther@suse.de>
|
|
1487
|
|
1488 * class.c (build_vtbl_ref_1): Remove excess vertical space.
|
|
1489 * Make-lang.in (CXX_TREE_H): Remove c-common.def dependency
|
|
1490 tracked by $(TREE_H).
|
|
1491 * semantics.c (expand_or_defer_fn): Zero DECL_SAVED_TREE.
|
|
1492
|
|
1493 2009-08-26 Jason Merrill <jason@redhat.com>
|
|
1494
|
|
1495 * call.c (build_builtin_candidate): Don't set LOOKUP_ONLYCONVERTING
|
|
1496 if we're contextually converting to bool.
|
|
1497 (build_conditional_expr): Likewise.
|
|
1498 * typeck.c (condition_conversion): Likewise.
|
|
1499
|
|
1500 * call.c (build_conditional_expr): Fix logic errors.
|
|
1501 (build_new_op): Remove dead COND_EXPR handling.
|
|
1502
|
|
1503 2009-08-24 Jason Merrill <jason@redhat.com>
|
|
1504
|
|
1505 * cp-tree.h (DECL_DEFERRED_FN): Remove.
|
|
1506 (struct lang_decl_fn): Remove deferred flag.
|
|
1507 * class.c (build_clone): Don't set it.
|
|
1508 * decl2.c (note_vague_linkage_fn): Don't check or set it.
|
|
1509 (mark_used): Don't check it.
|
|
1510 * method.c (make_thunk, make_alias_for): Don't set it.
|
|
1511
|
|
1512 * decl2.c (mark_used): Streamline logic.
|
|
1513
|
|
1514 PR c++/41109
|
|
1515 PR c++/41110
|
|
1516 PR c++/41134
|
|
1517 * cp-tree.h (DECL_ODR_USED): New macro.
|
|
1518 (struct lang_decl_base): Add odr_used flag.
|
|
1519 * decl.c (duplicate_decls): Propagate it. Use it for error.
|
|
1520 * pt.c (register_specialization): Use it for error.
|
|
1521 * decl2.c (mark_used): Use it as gating flag rather than TREE_USED.
|
|
1522 (cp_write_global_declarations): Use it for error.
|
|
1523 (tree_used_ok): Remove.
|
|
1524 * cp-tree.h: Remove tree_used_ok.
|
|
1525 * call.c (build_call_a): Don't call it.
|
|
1526 * init.c (build_offset_ref): Likewise.
|
|
1527
|
|
1528 2009-08-21 Jakub Jelinek <jakub@redhat.com>
|
|
1529
|
|
1530 PR c++/41131
|
|
1531 * tree.c (lvalue_p_1) <case CONST_DECL>: Return clk_none if
|
|
1532 not TREE_STATIC.
|
|
1533
|
|
1534 2009-08-19 Jason Merrill <jason@redhat.com>
|
|
1535
|
|
1536 PR c++/41119
|
|
1537 PR c++/41120
|
|
1538 * decl2.c (mark_used): Increment function_depth during synthesis.
|
|
1539 * parser.c (cp_parser_default_argument): Not here.
|
|
1540
|
|
1541 2009-08-19 Jakub Jelinek <jakub@redhat.com>
|
|
1542
|
|
1543 * method.c (use_thunk): Call free_after_compilation after
|
|
1544 assemble_end_function.
|
|
1545
|
|
1546 2009-08-17 Richard Guenther <rguenther@suse.de>
|
|
1547
|
|
1548 * decl.c (build_ptrmemfunc_type): Keep variant chain intact.
|
|
1549 Avoid useless copy.
|
|
1550 (finish_enum): Keep variant chain intact.
|
|
1551 * tree.c (cp_build_reference_type): Likewise.
|
|
1552
|
|
1553 2009-08-16 Jason Merrill <jason@redhat.com>
|
|
1554
|
|
1555 Make TREE_USED match the [basic.def.odr] concept for FUNCTION_DECL
|
|
1556 and VAR_DECL, so mark_used only has effect the first time.
|
|
1557 * decl2.c (mark_used): Just return if TREE_USED is already set.
|
|
1558 Don't set TREE_USED if cp_unevaluated_operand is set.
|
|
1559 (tree_used_ok): New fn.
|
|
1560 * init.c (build_offset_ref): Check it instead of TREE_USED.
|
|
1561 * call.c (build_call_a): Likewise.
|
|
1562 * cp-tree.h: Declare it.
|
|
1563 (DECL_NO_LINKAGE_CHECKED): No longer needed.
|
|
1564 (struct lang_decl_base): Remove no_linkage_checked bitfield.
|
|
1565
|
|
1566 * decl2.c (finish_static_data_member_decl): Don't set TREE_USED.
|
|
1567
|
|
1568 * decl2.c (mark_used): It's ok to synthesize for default args now.
|
|
1569
|
|
1570 2009-08-10 Jason Merrill <jason@redhat.com>
|
|
1571
|
|
1572 Implement DR 757: It's OK for a decl to use a type without linkage
|
|
1573 so long as the decl is defined in the current translation unit.
|
|
1574 * decl2.c (no_linkage_decls): New vector.
|
|
1575 (mark_used): Add decls that use types with no linkage.
|
|
1576 (cp_write_global_declarations): Check that they are defined.
|
|
1577 (decl_defined_p, no_linkage_error): New fns.
|
|
1578 * cp-tree.h (DECL_NO_LINKAGE_CHECKED): New macro.
|
|
1579 (struct lang_decl_base): Add flag.
|
|
1580 * decl.c (grokfndecl): Don't check type linkage.
|
|
1581 (grokvardecl): If the type has no linkage, just make sure
|
|
1582 DECL_LANG_SPECIFIC is set.
|
|
1583 * pt.c (check_instantiated_arg): Don't check type linkage.
|
|
1584 * name-lookup.c (is_local_extern): New fn.
|
|
1585 * name-lookup.h: Declare it.
|
|
1586
|
|
1587 2009-08-05 Jason Merrill <jason@redhat.com>
|
|
1588
|
|
1589 PR c++/40948
|
|
1590 * init.c (build_vec_init): Evaluate the initializer before
|
|
1591 starting the initialization try block.
|
|
1592
|
|
1593 2009-08-05 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
1594
|
|
1595 PR c++/36069
|
|
1596 * typeck.c (convert_for_assignment): Do not warn for any boolean
|
|
1597 variant. Use explicit location.
|
|
1598
|
|
1599 2009-08-04 Dodji Seketeli <dodji@redhat.com>
|
|
1600
|
|
1601 PR c++/39987
|
|
1602 * pt.c (tsubst_default_argument): Let access checks of the
|
|
1603 default argument happen in the context of the current function.
|
|
1604
|
|
1605 2009-08-04 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
1606
|
|
1607 PR c++/16696
|
|
1608 * call.c (build_new_op): Only try prefix operator if -fpermissive,
|
|
1609 otherwise just error.
|
|
1610
|
|
1611 2009-08-04 Dodji Seketeli <dodji@redhat.com>
|
|
1612
|
|
1613 PR debug/39706
|
|
1614 * error.c (lang_decl_name): Print qualified names for decls
|
|
1615 in namespace scope.
|
|
1616
|
|
1617 2009-08-03 Jason Merrill <jason@redhat.com>
|
|
1618 Jakub Jelinek <jakub@redhat.com>
|
|
1619
|
|
1620 PR c++/40948
|
|
1621 * init.c (build_vec_init): Look through a TARGET_EXPR around a
|
|
1622 CONSTRUCTOR.
|
|
1623
|
|
1624 2009-07-31 Jason Merrill <jason@redhat.com>
|
|
1625 Douglas Gregor <doug.gregor@gmail.com>
|
|
1626
|
|
1627 Remove implicit binding of lvalues to rvalue references (N2831)
|
|
1628 * call.c (convert_class_to_reference): Binding an lvalue to an
|
|
1629 rvalue reference is bad. If the user-defined conversion is bad,
|
|
1630 set bad_p before merging conversions.
|
|
1631 (maybe_handle_ref_bind): Don't push down bad_p.
|
|
1632 (reference_binding): Binding an lvalue to an rvalue reference is bad.
|
|
1633 (convert_like_real): Give a helpful error about binding lvalue
|
|
1634 to rvalue reference.
|
|
1635 (reference_related_p): No longer static.
|
|
1636 * typeck.c (build_typed_address): New.
|
|
1637 (build_static_cast_1): Add static_cast from lvalue to &&.
|
|
1638 * cp-tree.h: Adjust.
|
|
1639
|
|
1640 2009-07-31 Jason Merrill <jason@redhat.com>
|
|
1641
|
|
1642 * call.c (reference_binding): Rename lvalue_p to is_lvalue.
|
|
1643 Do direct binding of "rvalues" in memory to rvalue references.
|
|
1644 * tree.c (lvalue_p_1): Can't be both non-addressable lvalue and
|
|
1645 "rvalue" in memory.
|
|
1646 * typeck.c (build_static_cast_1): Do direct binding of memory
|
|
1647 "rvalues" to rvalue references.
|
|
1648 * cvt.c (cp_fold_convert): New.
|
|
1649 * cp-tree.h: Declare it.
|
|
1650
|
|
1651 2009-07-31 Jason Merrill <jason@redhat.com>
|
|
1652
|
|
1653 * typeck.c (build_address): Do fold away ADDR_EXPR of INDIRECT_REF.
|
|
1654 * tree.c (rvalue): Use cp_build_qualified_type, not TYPE_MAIN_VARIANT.
|
|
1655
|
|
1656 2009-07-29 Jason Merrill <jason@redhat.com>
|
|
1657
|
|
1658 PR c++/14912
|
|
1659 * cp-tree.h (enum tsubst_flags): Add tf_no_class_instantiations.
|
|
1660 * error.c (count_non_default_template_args): Pass it.
|
|
1661 * pt.c (tsubst) [TYPENAME_TYPE]: Don't complete type if it's set.
|
|
1662
|
|
1663 2009-07-29 Richard Guenther <rguenther@suse.de>
|
|
1664
|
|
1665 PR c++/40834
|
|
1666 * cp-gimplify.c (cp_genericize_r): Properly walk the BIND_EXPR
|
|
1667 vars.
|
|
1668
|
|
1669 2009-07-26 Simon Martin <simartin@users.sourceforge.net>
|
|
1670
|
|
1671 PR c++/40749
|
|
1672 * decl.c (grokdeclarator): Do not set TREE_NO_WARNING for functions
|
|
1673 with a qualified return type.
|
|
1674
|
|
1675 2009-07-24 Jason Merrill <jason@redhat.com>
|
|
1676
|
|
1677 Core issue 901
|
|
1678 * call.c (build_op_delete_call): If this is for a new-expression
|
|
1679 and the op delete is deleted, do nothing.
|
|
1680
|
|
1681 Core issue 702
|
|
1682 * call.c (compare_ics): Give list-initialization of std::init_list
|
|
1683 priority over conversion to scalar, too.
|
|
1684
|
|
1685 2009-07-22 Jason Merrill <jason@redhat.com>
|
|
1686
|
|
1687 * mangle.c (mangle_type_string_for_rtti): Rename to be clearer.
|
|
1688 (needs_fake_anon): New.
|
|
1689 (write_name): Check it.
|
|
1690 (write_nested_name): Add a fake anonymous namespace scope if true.
|
|
1691 * name-lookup.c (get_anonymous_namespace_name): No longer static.
|
|
1692 * rtti.c, cp-tree.h: Adjust.
|
|
1693
|
|
1694 2009-07-22 Richard Guenther <rguenther@suse.de>
|
|
1695
|
|
1696 PR c++/40799
|
|
1697 * cp-gimplify.c (cp_gimplify_expr): Move handling of using
|
|
1698 related exprs to ...
|
|
1699 (cp_genericize_r): ... genericization stage.
|
|
1700 (cp_genericize): Adjust.
|
|
1701
|
|
1702 2009-07-21 Jason Merrill <jason@redhat.com>
|
|
1703
|
|
1704 Core issue 934
|
|
1705 * call.c (reference_binding): Implement binding to { }.
|
|
1706 (initialize_reference): Binding temporary to non-const && is fine.
|
|
1707 * decl.c (grok_reference_init): Remove error for CONSTRUCTOR.
|
|
1708
|
|
1709 * decl.c (reshape_init_r): { T } is not an aggregate initializer
|
|
1710 for class T.
|
|
1711
|
|
1712 2009-07-17 Richard Guenther <rguenther@suse.de>
|
|
1713
|
|
1714 PR c/40401
|
|
1715 * decl.c (finish_function): Do not emit unused result warnings
|
|
1716 from here.
|
|
1717 * cp-objcp-common.h (LANG_HOOKS_POST_GIMPLIFY_PASS): Use
|
|
1718 c_warn_unused_result_pass.
|
|
1719 * semantics.c (expand_or_defer_fn): Adjust assertion about IL status.
|
|
1720 * optimize.c (clone_body): Clone in GENERIC.
|
|
1721 (maybe_clone_body): Do not clear DECL_SAVED_TREE.
|
|
1722 * decl2.c (cp_write_global_declarations): Fix body test.
|
|
1723 Do not call cgraph_optimize.
|
|
1724 * Make-lang.in (optimize.o): Add tree-iterator.h dependency.
|
|
1725 * method.c (use_thunk): Register thunk with
|
|
1726 cgraph_finalize_function.
|
|
1727 * error.c (function_category): Guard access of DECL_LANG_SPECIFIC.
|
|
1728
|
|
1729 2009-07-17 Richard Guenther <rguenther@suse.de>
|
|
1730
|
|
1731 * init.c (build_vec_delete_1): Do not set DECL_REGISTER on the
|
|
1732 temporary pointer.
|
|
1733
|
|
1734 2009-07-17 Aldy Hernandez <aldyh@redhat.com>
|
|
1735 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
1736
|
|
1737 PR 40435
|
|
1738 * typeck.c, init.c, class.c, method.c, rtti.c, except.c, error.c,
|
|
1739 tree.c, cp-gimplify.c, cxx-pretty-print.c, pt.c, semantics.c,
|
|
1740 call.c, cvt.c, mangle.c: Add location argument to
|
|
1741 fold_{unary,binary,ternary}, fold_build[123], build_call_expr,
|
|
1742 build_size_arg, build_fold_addr_expr, build_call_array,
|
|
1743 non_lvalue, size_diffop, fold_build1_initializer,
|
|
1744 fold_build2_initializer, fold_build3_initializer,
|
|
1745 fold_build_call_array, fold_build_call_array_initializer,
|
|
1746 fold_single_bit_test, omit_one_operand, omit_two_operands,
|
|
1747 invert_truthvalue, fold_truth_not_expr, build_fold_indirect_ref,
|
|
1748 fold_indirect_ref, combine_comparisons, fold_builtin_*,
|
|
1749 fold_call_expr, build_range_check, maybe_fold_offset_to_address,
|
|
1750 round_up, round_down.
|
|
1751
|
|
1752 2009-07-16 Jason Merrill <jason@redhat.com>
|
|
1753
|
|
1754 PR libstdc++/37907
|
|
1755 Split POD into "standard-layout" and "trivial" as per N2230,
|
|
1756 Support std::is_standard_layout and std::is_trivial traits.
|
|
1757 * cp-tree.h (enum cp_trait_kind): Add CPTK_IS_STD_LAYOUT,
|
|
1758 CPTK_IS_TRIVIAL.
|
|
1759 (struct lang_type_class): Add non_std_layout.
|
|
1760 (CLASSTYPE_NON_STD_LAYOUT): New.
|
|
1761 * class.c (check_bases): Set it.
|
|
1762 (check_field_decls): Likewise.
|
|
1763 (check_bases_and_members): Likewise.
|
|
1764 * parser.c (cp_parser_primary_expression): Handle RID_IS_STD_LAYOUT,
|
|
1765 RID_IS_TRIVIAL.
|
|
1766 (cp_parser_trait_expr): Likewise.
|
|
1767 * semantics.c (trait_expr_value): Handle CPTK_IS_STD_LAYOUT,
|
|
1768 CPTK_IS_TRIVIAL.
|
|
1769 (finish_trait_expr): Likewise.
|
|
1770 * tree.c (scalarish_type_p, trivial_type_p, std_layout_type_p): New.
|
|
1771 (pod_type_p): Use them.
|
|
1772 (type_has_nontrivial_copy_init, type_has_nontrivial_default_init): New.
|
|
1773
|
|
1774 Adjust bits of the language that no longer refer to POD types.
|
|
1775 * call.c (convert_arg_to_ellipsis): Use type_has_nontrivial_copy_init
|
|
1776 and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
|
|
1777 (build_x_va_arg): Likewise.
|
|
1778 (call_builtin_trap): Remove.
|
|
1779 * decl.c (declare_local_label): Use type_has_nontrivial_default_init
|
|
1780 and TYPE_HAS_NONTRIVIAL_DESTRUCTOR rather than pod_type_p.
|
|
1781 (cp_finish_decl): Likewise.
|
|
1782 (check_previous_goto_1, check_goto): Adjust error.
|
|
1783 * typeck.c (build_class_member_access_expr): Check
|
|
1784 CLASSTYPE_NON_STD_LAYOUT rather than CLASSTYPE_NON_POD_P.
|
|
1785
|
|
1786 2009-07-14 Taras Glek <tglek@mozilla.com>
|
|
1787 Rafael Espindola <espindola@google.com>
|
|
1788
|
|
1789 * Make-lang.in: Added CP_PLUGIN_HEADERS and
|
|
1790 c.install-target to export cp-tree.h cxx-pretty-print.h
|
|
1791 name-lookup.h headers for plugins.
|
|
1792
|
|
1793 2009-07-14 Jason Merrill <jason@redhat.com>
|
|
1794
|
|
1795 PR c++/37276
|
|
1796 * decl.c (decls_match): A non-extern-C declaration doesn't match
|
|
1797 a builtin extern-C declaration.
|
|
1798
|
|
1799 PR c++/40746
|
|
1800 * name-lookup.c (qualified_lookup_using_namespace): Don't stop
|
|
1801 looking in used namespaces just because we found something on
|
|
1802 another branch.
|
|
1803
|
|
1804 PR c++/40740
|
|
1805 * semantics.c (perform_koenig_lookup): Handle empty template args.
|
|
1806
|
|
1807 * call.c (build_over_call): Use can_trust_pointer_alignment.
|
|
1808
|
|
1809 2009-07-14 Dodji Seketeli <dodji@redhat.com>
|
|
1810
|
|
1811 PR debug/40705
|
|
1812 PR c++/403057
|
|
1813 * decl2.c (grokfield): Don't call set_underlying_type on typedef
|
|
1814 decls that are type names.
|
|
1815
|
|
1816 2009-07-13 Andrew Pinski <andrew_pinski@playstation.sony.com>
|
|
1817
|
|
1818 PR C++/22154
|
|
1819 * parser.c (cp_parser_elaborated_type_specifier): Accept typename in
|
|
1820 front of qualified names.
|
|
1821
|
|
1822 2009-07-12 Jason Merrill <jason@redhat.com>
|
|
1823
|
|
1824 PR c++/36628
|
|
1825 * tree.c (rvalue): Use lvalue_or_rvalue_with_address_p.
|
|
1826
|
|
1827 PR c++/37206
|
|
1828 * cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.
|
|
1829 * tree.c (lvalue_p_1): Return it. Remove
|
|
1830 treat_class_rvalues_as_lvalues parm.
|
|
1831 (real_lvalue_p): Disallow pseudo-lvalues here.
|
|
1832 (lvalue_or_rvalue_with_address_p): New fn.
|
|
1833 * call.c (initialize_reference): Use it instead of real_lvalue_p.
|
|
1834
|
|
1835 PR c++/40689
|
|
1836 * init.c (build_new_1): Handle initializer list as array initializer.
|
|
1837 (build_vec_init): Likewise.
|
|
1838 * typeck.c (cp_build_modify_expr): Likewise.
|
|
1839 * typeck2.c (process_init_constructor_array): Error rather than abort
|
|
1840 if too many initializers.
|
|
1841
|
|
1842 2009-07-10 Jakub Jelinek <jakub@redhat.com>
|
|
1843
|
|
1844 PR c++/40502
|
|
1845 * error.c (cp_print_error_function): Check for NULL block.
|
|
1846
|
|
1847 2008-07-09 Simon Martin <simartin@users.sourceforge.net>
|
|
1848 Jason Merrill <jason@redhat.com>
|
|
1849
|
|
1850 * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
|
|
1851 append_type_to_template_for_access_check_1): Use CLASS_TYPE_P.
|
|
1852
|
|
1853 2009-07-09 Dodji Seketeli <dodji@redhat.com>
|
|
1854
|
|
1855 PR c++/40684
|
|
1856 * pt.c (type_unification_real): Use tsubst_template_arg instead
|
|
1857 of tsubst to substitute default template arguments.
|
|
1858
|
|
1859 2009-07-08 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
1860
|
|
1861 PR c++/31246
|
|
1862 * init.c (build_new_1): Set TREE_NO_WARNING for compiler-generated
|
|
1863 code.
|
|
1864 * cp-gimplify.c (genericize_eh_spec_block): Likewise.
|
|
1865
|
|
1866
|
|
1867 2009-07-07 Jason Merrill <jason@redhat.com>
|
|
1868
|
|
1869 PR c++/35828
|
|
1870 * pt.c (tsubst_decl): Don't abort if we didn't change anything
|
|
1871 in a TEMPLATE_DECL's args.
|
|
1872
|
|
1873 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
1874
|
|
1875 * semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by
|
|
1876 EXPR_LOCATION.
|
|
1877
|
|
1878 2009-07-07 Jason Merrill <jason@redhat.com>
|
|
1879
|
|
1880 PR c++/37816
|
|
1881 * decl.c (build_enumerator): Don't add enumerators for a
|
|
1882 scoped enum to the enclosing class.
|
|
1883
|
|
1884 PR c++/40639
|
|
1885 * decl.c (start_enum): Allow dependent underlying type.
|
|
1886
|
|
1887 PR c++/40633
|
|
1888 * decl.c (finish_enum): Finish scope even in a template.
|
|
1889
|
|
1890 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
1891
|
|
1892 * init.c: Replace %J by an explicit location. Update all calls.
|
|
1893 * decl.c: Likewise.
|
|
1894 * typeck2.c: Likewise.
|
|
1895 * pt.c: Likewise.
|
|
1896 * name-lookup.c: Likewise.
|
|
1897
|
|
1898 2009-07-06 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
1899
|
|
1900 * decl.c: Replace %H by an explicit location. Update all calls.
|
|
1901 * except.c: Likewise.
|
|
1902 * semantics.c: Likewise.
|
|
1903 * parser.c: Likewise.
|
|
1904
|
|
1905 2009-07-06 Simon Martin <simartin@users.sourceforge.net>
|
|
1906
|
|
1907 PR c++/40557
|
|
1908 * pt.c (perform_typedefs_access_check, get_types_needing_access_check,
|
|
1909 append_type_to_template_for_access_check_1): Use
|
|
1910 RECORD_OR_UNION_CODE_P.
|
|
1911
|
|
1912 2009-07-04 Jason Merrill <jason@redhat.com>
|
|
1913
|
|
1914 * pt.c (retrieve_specialization): Don't get confused by a
|
|
1915 using-declaration that brings in another instance of this template
|
|
1916 from a base class.
|
|
1917
|
|
1918 * ptree.c (cxx_print_type): Fix logic.
|
|
1919
|
|
1920 * cp-tree.h (LANG_DECL_FN_CHECK): Fix non-checking version.
|
|
1921
|
|
1922 PR c++/40619
|
|
1923 * cp-tree.h (struct lang_decl_parm): New.
|
|
1924 (struct lang_decl): Add it.
|
|
1925 (LANG_DECL_PARM_CHECK): New.
|
|
1926 (DECL_PARM_INDEX): New.
|
|
1927 * decl2.c (parm_index): Remove.
|
|
1928 * lex.c (retrofit_lang_decl): Handle parms.
|
|
1929 (cxx_dup_lang_specific_decl): Likewise.
|
|
1930 * mangle.c (write_expression): Adjust.
|
|
1931 * tree.c (cp_tree_equal): Adjust.
|
|
1932 (decl_linkage): Only check DECL_COMDAT for functions and variables.
|
|
1933 * parser.c (cp_parser_parameter_declaration_list): Set
|
|
1934 DECL_PARM_INDEX.
|
|
1935 * pt.c (iterative_hash_template_arg): Hash it.
|
|
1936
|
|
1937 2009-07-03 Jason Merrill <jason@redhat.com>
|
|
1938
|
|
1939 * cp-tree.h (struct lang_decl): Overhaul.
|
|
1940 (struct lang_decl_flags): Remove.
|
|
1941 (struct lang_decl_base): New.
|
|
1942 (struct lang_decl_min): New.
|
|
1943 (struct lang_decl_fn): New.
|
|
1944 (struct lang_decl_ns): New.
|
|
1945 (CAN_HAVE_FULL_LANG_DECL_P): Replace with LANG_DECL_HAS_MIN.
|
|
1946 (LANG_DECL_MIN_CHECK): New.
|
|
1947 (LANG_DECL_FN_CHECK): New.
|
|
1948 (LANG_DECL_NS_CHECK): New.
|
|
1949 (STRIP_TEMPLATE): New.
|
|
1950 (NON_THUNK_FUNCTION_CHECK): Remove.
|
|
1951 (DECL_DECLARES_FUNCTION_P): New.
|
|
1952 (lots): Adjust.
|
|
1953 * lex.c (retrofit_lang_decl, cxx_dup_lang_specific_decl): Adjust.
|
|
1954 * decl.c (push_local_name, duplicate_decls): Adjust.
|
|
1955 * decl2.c (start_objects): Don't set u2sel.
|
|
1956 * semantics.c (finish_omp_threadprivate): Adjust.
|
|
1957 * class.c (build_clone): Don't do much on TEMPLATE_DECLs.
|
|
1958 (decl_cloned_function_p): Out-of-line implementation of macros.
|
|
1959 (clone_function_decl, adjust_clone_args): Use DECL_CLONED_FUNCTION_P.
|
|
1960 * mangle.c (write_unqualified_name): Don't check function flags
|
|
1961 on non-functions.
|
|
1962 * method.c (make_alias_for): Don't set DECL_CLONED_FUNCTION.
|
|
1963 * pt.c (build_template_decl): Don't set function flags.
|
|
1964 (check_default_tmpl_args): Check that it's a function.
|
|
1965 (instantiate_template): Use DECL_ABSTRACT_ORIGIN to find the
|
|
1966 cloned template.
|
|
1967
|
|
1968 * pt.c (tsubst_decl) [FUNCTION_DECL]: Don't tsubst
|
|
1969 DECL_CLONED_FUNCTION.
|
|
1970
|
|
1971 * cp-tree.h (struct lang_type_class): Move sorted_fields here.
|
|
1972 * class.c (finish_struct_1): Adjust.
|
|
1973 * ptree.c (cxx_print_decl, cxx_print_type): Adjust.
|
|
1974 * search.c (lookup_field_1): Adjust.
|
|
1975
|
|
1976 * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Remove.
|
|
1977 * decl.c (finish_method): Don't add to it.
|
|
1978 * class.c (fixup_pending_inline): Remove.
|
|
1979 (fixup_inline_methods): Remove.
|
|
1980 (finish_struct_1): Don't call it.
|
|
1981
|
|
1982 * error.c (dump_function_name): Handle null name.
|
|
1983
|
|
1984 2009-07-02 Mark Mitchell <mark@codesourcery.com>
|
|
1985
|
|
1986 * typeck.c (cp_build_binary_op): Move warnings about use of NULL
|
|
1987 in arithmetic earlier and allow comparisions of NULL with
|
|
1988 pointers-to-members.
|
|
1989
|
|
1990 2009-07-02 Jason Merrill <jason@redhat.com>
|
|
1991
|
|
1992 Use hash tables for template specialization lookup.
|
|
1993 * pt.c (struct spec_entry): New type.
|
|
1994 (decl_specializations, type_specializations): New hash tables.
|
|
1995 (register_specialization, retrieve_specialization): Use them.
|
|
1996 (reregister_specialization, lookup_template_class): Use them.
|
|
1997 (eq_specializations, hash_tmpl_and_args, hash_specialization): New.
|
|
1998 (iterative_hash_template_arg): New.
|
|
1999 (init_template_processing): New
|
|
2000 (process_partial_specialization): Don't look to see if we already
|
|
2001 have this partial specialization.
|
|
2002 (maybe_process_partial_specialization): Handle reassigning
|
|
2003 full specializations when we get an explicit specialization
|
|
2004 of the partial instantiation.
|
|
2005 (tsubst_friend_function): Adjust specialization reassignment code.
|
|
2006 (instantiate_template): Only do one lookup.
|
|
2007 (instantiate_decl): Don't do any lookup.
|
|
2008 * cp-tree.h: Declare init_template_processing.
|
|
2009 * decl.c (duplicate_decls): Pass args to reregister_specialization.
|
|
2010
|
|
2011 2009-07-01 Jason Merrill <jason@redhat.com>
|
|
2012
|
|
2013 * cp-tree.h (DECL_CLASS_TEMPLATE_P): Use DECL_IMPLICIT_TYPEDEF_P.
|
|
2014
|
|
2015 * pt.c (register_specialization): Use duplicate_decls to merge
|
|
2016 the argument with a previous specialization.
|
|
2017 (check_explicit_specialization): Call register_specialization to
|
|
2018 merge the TEMPLATE_DECL with a previous version.
|
|
2019 (determine_specialization): Return the args even if fn is a template.
|
|
2020
|
|
2021 2009-07-01 Ian Lance Taylor <iant@google.com>
|
|
2022
|
|
2023 * g++spec.c (lang_specific_driver): Bump num_args by 1.
|
|
2024
|
|
2025 2009-06-30 Jason Merrill <jason@redhat.com>
|
|
2026
|
|
2027 PR c++/40595
|
|
2028 * pt.c (tsubst_pack_expansion): Handle unexpanded packs in an
|
|
2029 EXPR_PACK_EXPANSION.
|
|
2030
|
|
2031 2009-06-29 Jason Merrill <jason@redhat.com>
|
|
2032
|
|
2033 PR c++/40274
|
|
2034 * error.c (dump_template_parms): Pass all args to
|
|
2035 count_non_default_template_args.
|
|
2036 (count_non_default_template_args): Pull out the inner ones.
|
|
2037
|
|
2038 2009-06-26 H.J. Lu <hongjiu.lu@intel.com>
|
|
2039
|
|
2040 * decl.c (duplicate_decls): Re-indent.
|
|
2041
|
|
2042 2009-06-25 Ian Lance Taylor <iant@google.com>
|
|
2043
|
|
2044 * call.c (avoid_sign_compare_warnings): New static function.
|
|
2045 (build_new_op): Call it.
|
|
2046 * typeck.c (cp_build_binary_op): Don't call warn_sign_compare if
|
|
2047 TREE_NO_WARNING is set on either operand.
|
|
2048
|
|
2049 2009-06-25 Ian Lance Taylor <iant@google.com>
|
|
2050
|
|
2051 * g++spec.c (SKIPOPT): define.
|
|
2052 (lang_specific_driver): Handle -static-libstdc++. Only add
|
|
2053 LIBSTDCXX_STATIC if we add LIBSTDCXX.
|
|
2054
|
|
2055 2009-06-25 Ian Lance Taylor <iant@google.com>
|
|
2056
|
|
2057 * cvt.c (convert_to_void): Only warn about COND_EXPR if neither
|
|
2058 the second nor third operand has side effects.
|
|
2059
|
|
2060 2009-06-25 Ian Lance Taylor <iant@google.com>
|
|
2061
|
|
2062 * parser.c (cp_parser_binary_expression): Increment
|
|
2063 c_inhibit_evaluation_warnings while parsing the right hand side of
|
|
2064 "true || x" or "false && x".
|
|
2065 * typeck.c (cp_build_binary_op): Only call warn_for_sign_compare
|
|
2066 if c_inhibit_evaluation_warnings is zero.
|
|
2067
|
|
2068 2009-06-24 Jason Merrill <jason@redhat.com>
|
|
2069
|
|
2070 * error.c (dump_decl): Do say "typedef" for the injected class name.
|
|
2071
|
|
2072 * pt.c (lookup_template_class): Use currently_open_class,
|
|
2073 compare template args later.
|
|
2074
|
|
2075 PR c++/40342
|
|
2076 * decl.c (decls_match): Check DECL_TI_TEMPLATE too.
|
|
2077 * class.c (resolve_address_of_overloaded_function): Fix typo.
|
|
2078
|
|
2079 2009-06-18 Aldy Hernandez <aldyh@redhat.com>
|
|
2080
|
|
2081 * class.c (get_vtable_decl): Replace finish_decl with cp_finish_decl.
|
|
2082 * decl.c (finish_decl): Remove.
|
|
2083 (declare_global_var): Replace finish_decl with cp_finish_decl.
|
|
2084 (start_method): Same.
|
|
2085 * rtti.c (emit_tinfo_decl): Same.
|
|
2086 * pt.c (tsubst_expr): Same.
|
|
2087 (instantiate_decl): Same.
|
|
2088 * decl2.c (grokbitfield): Same.
|
|
2089 * name-lookup.c (pushdecl_top_level_1): Same.
|
|
2090 * cp-tree.h: Remove finish_decl.
|
|
2091
|
|
2092 2009-06-16 David Edelsohn <edelsohn@gnu.org>
|
|
2093
|
|
2094 * g++-spec.c (LIBSTDCXX_STATIC): Default to NULL.
|
|
2095 (lang_specific_driver): Always allocate extra argument.
|
|
2096 Add LIBSTDCXX_STATIC to arglist if defined and linking
|
|
2097 statically.
|
|
2098
|
|
2099 2009-06-16 Ian Lance Taylor <iant@google.com>
|
|
2100
|
|
2101 * Make-lang.in (cp/class.o): Depend upon gt-cp-class.h.
|
|
2102 (cp/semantics.o): Depend upon gt-cp-semantics.h.
|
|
2103
|
|
2104 2009-06-16 Ian Lance Taylor <iant@google.com>
|
|
2105
|
|
2106 * parser.c (cp_unevaluated_operand): Define global variable.
|
|
2107 (cp_parser_question_colon_clause): Increment
|
|
2108 c_inhibit_evaluation_warnings when evaluating an expression which
|
|
2109 will never be executed.
|
|
2110 (cp_parser_decltype): Increment cp_unevaluated_operand and
|
|
2111 c_inhibit_evaluation_warnings, not skip_evaluation.
|
|
2112 (cp_parser_sizeof_operand): Likewise.
|
|
2113 (cp_parser_enclosed_template_argument_list): Save
|
|
2114 cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
|
|
2115 skip_evaluation.
|
|
2116 * cp-tree.h (struct saved_scope): Remove skip_evaluation field.
|
|
2117 Add unevaluated_operand and inhibit_evaluation_warnings fields.
|
|
2118 (cp_unevaluated_operand): Declare.
|
|
2119 * name-lookup.c (push_to_top_level): Save cp_unevaluated_operand
|
|
2120 and c_inhibit_evaluation_warnings rather than skip_evaluation.
|
|
2121 (pop_from_top_level): Restore cp_unevaluated_operand and
|
|
2122 c_inhibit_evaluation_warnings rather than skip_evaluation.
|
|
2123 * class.c (build_base_path): Check cp_unevaluated_operand rather
|
|
2124 than skip_evaluation.
|
|
2125 * typeck.c (build_class_member_access_expr): Likewise.
|
|
2126 (cp_build_binary_op): Don't warn about bad shift counts if
|
|
2127 c_inhibit_evaluation_warnings is non-zero.
|
|
2128 * pt.c (coerce_template_parms): Save state of
|
|
2129 cp_unevaluated_operand and c_inhibit_evaluation_warnings, not
|
|
2130 skip_evaluation.
|
|
2131 (tsubst_aggr_type): Likewise.
|
|
2132 (tsubst_pack_expansion): Check cp_unevaluated_operand rather than
|
|
2133 skip_evaluation.
|
|
2134 (tsubst_copy): Likewise.
|
|
2135 (tsubst): Set cp_unevaluated_operand and
|
|
2136 c_inhibit_evaluation_warnings, not skip_evaluation.
|
|
2137 (tsubst_copy_and_build): Likewise.
|
|
2138 * call.c (convert_arg_to_ellipsis): Check cp_unevaluated_operand
|
|
2139 rather than skip_evaluation.
|
|
2140 * decl2.c (mark_used): Likewise.
|
|
2141 * semantics.c (finish_non_static_data_member): Likewise.
|
|
2142 * cvt.c (cp_convert_and_check): Check
|
|
2143 c_inhibit_evaluation_warnings rather than skip_evaluation.
|
|
2144 * mangle.c (write_type): Set cp_unevaluated_operand rather than
|
|
2145 skip_evaluation.
|
|
2146
|
|
2147 2009-06-15 Ian Lance Taylor <iant@google.com>
|
|
2148
|
|
2149 * parser.c (cp_parser_direct_declarator): Add braces around
|
|
2150 variables declared before label.
|
|
2151
|
|
2152 2009-06-15 Rafael Avila de Espindola <espindola@google.com>
|
|
2153
|
|
2154 * cp-objcp-common.h (LANG_HOOKS_COMDAT_GROUP): Remove.
|
|
2155 * cp-tree.h (cxx_comdat_group): Change signature.
|
|
2156 * decl.c (duplicate_decls): Use DECL_COMDAT_GROUP.
|
|
2157 (cxx_comdat_group): Change signature.
|
|
2158 * decl2.c (comdat_linkage, maybe_make_one_only): Update call to
|
|
2159 make_decl_one_only.
|
|
2160 (constrain_visibility, get_guard): Use DECL_COMDAT_GROUP.
|
|
2161 * method.c (use_thunk): Update call to make_decl_one_only.
|
|
2162 * optimize.c (maybe_clone_body): Use DECL_COMDAT_GROUP
|
|
2163
|
|
2164 2009-06-12 Aldy Hernandez <aldyh@redhat.com>
|
|
2165
|
|
2166 * typeck.c (cp_build_binary_op): Pass location to overflow_warning.
|
|
2167 (build_modify_expr): New arg.
|
|
2168 * semantics.c (finish_unary_op_expr): Pass location to
|
|
2169 overflow_warning.
|
|
2170 (handle_omp_for_class_iterator): Pass location to build_modify_expr.
|
|
2171 * typeck.c (cxx_sizeof_or_alignof_type): Pass location to
|
|
2172 c_sizeof_or_alignof_type.
|
|
2173 (build_array_ref): New argument.
|
|
2174 (build_compound_expr): Same.
|
|
2175 (build_const_cast): Same.
|
|
2176 (build_ptrmemfunc): Pass location to build_c_cast.
|
|
2177 * init.c (avoid_placement_new_aliasing): Pass location to
|
|
2178 build_stmt.
|
|
2179 (build_vec_delete_1): Pass location to cp_build_modify_expr,
|
|
2180 build_compound_expr.
|
|
2181 * class.c (build_vtbl_ref_1): Pass location to build_array_ref.
|
|
2182 * decl.c (poplevel): Pass location to c_build_bind_expr.
|
|
2183 (finish_case_label): Pass location to build_case_label.
|
|
2184 (finish_constructor_body): Same.
|
|
2185 (finish_destructor_body): Pass location to build_stmt.
|
|
2186 (cxx_maybe_build_cleanup): Same, but to build_compound_expr.
|
|
2187 * call.c (build_new_op): Pass location to build_array_ref.
|
|
2188 (build_x_va_arg): Pass location to build_va_arg.
|
|
2189 * except.c (expand_end_catch_block): Pass location to
|
|
2190 build_stmt.
|
|
2191 * cp-tree.h (build_array_ref): New argument.
|
|
2192 (build_compound_expr): Same.
|
|
2193 (build_c_cast): Same.
|
|
2194 * cp-gimplify.c (gimplify_if_stmt): Pass location on down.
|
|
2195 (gimplify_switch_stmt): Same.
|
|
2196 * typeck2.c (split_nonconstant_init_1): Same.
|
|
2197 * pt.c (tsubst_copy): Same.
|
|
2198 * semantics.c (add_decl_expr): Same.
|
|
2199 (do_poplevel): Same.
|
|
2200 (push_cleanup): Same.
|
|
2201 (finish_goto_stmt): Same.
|
|
2202 (finish_expr_stmt): Same.
|
|
2203 (begin_if_stmt): Same.
|
|
2204 (begin_while_stmt): Same.
|
|
2205 (begin_do_stmt): Same.
|
|
2206 (finish_return_stmt): Same.
|
|
2207 (begin_for_stmt): Same.
|
|
2208 (finish_break_stmt): Same.
|
|
2209 (finish_continue_stmt): Same.
|
|
2210 (begin_switch_stmt): Same.
|
|
2211 (begin_try_block): Same.
|
|
2212 (begin_handler): Same.
|
|
2213 (finish_asm_stmt): Same.
|
|
2214 (finish_label_stmt): Same.
|
|
2215 (finish_stmt_expr_expr): Same.
|
|
2216 (finalize_nrv_r): Same.
|
|
2217 (finish_omp_atomic): Same.
|
|
2218 * name-lookup.c (do_using_directive): Same.
|
|
2219 * decl2.c (grok_array_decl): Same.
|
|
2220 * parser.c (cp_parser_cast_expression): Same.
|
|
2221 (cp_parser_selection_statement): Same.
|
|
2222 (cp_parser_implicitly_scoped_statement): Same.
|
|
2223 (cp_parser_objc_selector_expression): Same.
|
|
2224 (cp_parser_objc_synchronized_statement): Same.
|
|
2225 (cp_parser_objc_throw_statement): Same.
|
|
2226 (cp_parser_omp_critical): Same.
|
|
2227 (cp_parser_omp_master): Same.
|
|
2228 * typeck.c (build_function_call): Add location argument.
|
|
2229 * init.c: Add location argument to all build_decl calls.
|
|
2230 * class.c: Same.
|
|
2231 * method.c: Same.
|
|
2232 * rtti.c: Same.
|
|
2233 * tree.c: Same.
|
|
2234 * pt.c: Same.
|
|
2235 * semantics.c: Same.
|
|
2236 * lex.c: Same.
|
|
2237 * decl2.c: Same.
|
|
2238 * cp-gimplify.c: Same.
|
|
2239 * decl.c: Same.
|
|
2240 (cp_make_fname_decl): Add location argument. Pass location ot
|
|
2241 build_decl.
|
|
2242 (finish_case_label): Same.
|
|
2243 * cp-tree.h (finish_case_label): Add location argument.
|
|
2244 * parser.c (cp_parser_label_for_labeled_statement): Pass location to
|
|
2245 finish_case_label.
|
|
2246
|
|
2247 2009-06-09 Jason Merrill <jason@redhat.com>
|
|
2248
|
|
2249 PR c++/40381
|
|
2250 * decl2.c (mark_used): Return after complaining about deleted fn.
|
|
2251
|
|
2252 2009-06-08 Jason Merrill <jason@redhat.com>
|
|
2253
|
|
2254 * parser.c (cp_parser_type_id_1): 'auto' type is ok with a
|
|
2255 late-specified return type.
|
|
2256
|
|
2257 2009-06-08 Jakub Jelinek <jakub@redhat.com>
|
|
2258
|
|
2259 PR c++/40373
|
|
2260 * call.c (check_dtor_name): Return false even if
|
|
2261 get_type_value (name) is error_mark_node.
|
|
2262
|
|
2263 PR c++/40370
|
|
2264 PR c++/40372
|
|
2265 * parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS
|
|
2266 on error_mark_node. Check for VLAs outside of function context
|
|
2267 before check whether to wrap bounds into a NOP_EXPR with
|
|
2268 TREE_SIDE_EFFECTS.
|
|
2269
|
|
2270 2009-06-08 Alexandre Oliva <aoliva@redhat.com>
|
|
2271
|
|
2272 * repo.c (get_base_filename): Use aux_base_name rather than
|
|
2273 alternate temporary file during second compare debug compilation.
|
|
2274 (finish_repo): Skip during -fcompare-debug-second.
|
|
2275
|
|
2276 2009-06-06 Ian Lance Taylor <iant@google.com>
|
|
2277
|
|
2278 * parser.c (cp_parser_label_for_labeled_statement): Support
|
|
2279 attribute on labels if immediately followed by semicolon.
|
|
2280 * semantics.c (finish_label_stmt): Return new label.
|
|
2281 * pt.c (tsubst_expr): Handle attributes for LABEL_EXPR.
|
|
2282
|
|
2283 2009-06-03 Ian Lance Taylor <iant@google.com>
|
|
2284
|
|
2285 * Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and
|
|
2286 $(SYSTEM_H).
|
|
2287
|
|
2288 2009-06-02 Mark Mitchell <mark@codesourcery.com>
|
|
2289
|
|
2290 * decl.c (maybe_deduce_size_from_array_init): Use relayout_decl.
|
|
2291
|
|
2292 2009-06-02 Jason Merrill <jason@redhat.com>
|
|
2293
|
|
2294 PR c++/40308
|
|
2295 PR c++/40311
|
|
2296 * typeck.c (cp_build_modify_expr): Always pass init-lists to the
|
|
2297 conversion code.
|
|
2298 * call.c (implicit_conversion): Allow init-list conversion to scalar
|
|
2299 during direct-initialization, too. Mark the conversion bad if it
|
|
2300 has too many levels of braces.
|
|
2301 (convert_like_real): And give a helpful error.
|
|
2302
|
|
2303 PR c++/40306
|
|
2304 PR c++/40307
|
|
2305 * decl.c (cp_finish_decl): Handle auto deduction from ().
|
|
2306 * typeck.c (build_x_indirect_ref): Handle dereferencing an operand
|
|
2307 with dependent type that is known to be a pointer.
|
|
2308
|
|
2309 2009-06-02 Simon Martin <simartin@users.sourceforge.net>
|
|
2310
|
|
2311 PR c++/38089
|
|
2312 * pt.c (register_specialization): Properly setup DECL_CONTEXT for
|
|
2313 specializations in an invalid namespace.
|
|
2314
|
|
2315 2009-06-01 Aldy Hernandez <aldyh@redhat.com>
|
|
2316
|
|
2317 * error.c (print_instantiation_partial_context): Print column
|
|
2318 numbers.
|
|
2319
|
|
2320 2009-05-29 Ian Lance Taylor <iant@google.com>
|
|
2321
|
|
2322 * error.c (cp_printer): Don't use va_arg with enum type.
|
|
2323
|
|
2324 2009-05-28 Dodji Seketeli <dodji@redhat.com>
|
|
2325
|
|
2326 PR c++/39754
|
|
2327 * cp-tree.h (canonical_type_variant): Remove this function declaration.
|
|
2328 (strip_typedefs): New function declaration.
|
|
2329 * tree.c (strip_typedefs): New function definition.
|
|
2330 (canonical_type_variant): Remove function definition.
|
|
2331 * cvt.c (convert_from_reference): No need to use
|
|
2332 canonical_type_variant.
|
|
2333 * typeck.c (cp_build_indirect_ref): Likewise.
|
|
2334 * error.c (dump_template_bindings): Use strip_typedefs instead of
|
|
2335 canonical_type_variant.
|
|
2336 * pt.c (convert_template_argument, unify): Likewise.
|
|
2337 * mangle.c (canonicalize_for_substitution): Don't use
|
|
2338 canonical_type_variant.
|
|
2339
|
|
2340 2009-05-27 Jason Merrill <jason@redhat.com>
|
|
2341
|
|
2342 * call.c (implicit_conversion): Handle conversion from
|
|
2343 initializer-list to scalar.
|
|
2344 (convert_like_real): Likewise. Avoid crashing on list
|
|
2345 initialization with bad conversions.
|
|
2346 (can_convert): Use LOOKUP_EXPLICIT.
|
|
2347 (can_convert_arg_bad): Add flags parm.
|
|
2348 * cp-tree.h: Adjust.
|
|
2349 * typeck.c (convert_for_assignment): Pass flags.
|
|
2350
|
|
2351 2009-05-27 Ian Lance Taylor <iant@google.com>
|
|
2352
|
|
2353 * Make-lang.in (g++$(exeext)): Change $(COMPILER) to $(LINKER).
|
|
2354 (cc1plus-dummy$(exeext), cc1plus$(exeext)): Likewise.
|
|
2355
|
|
2356 2009-05-26 Ian Lance Taylor <iant@google.com>
|
|
2357
|
|
2358 * Make-lang.in (g++spec.o): Use $(COMPILER).
|
|
2359 (g++$(exeext), cc1plus-dummy$(exeext)): Likewise.
|
|
2360 (cc1plus$(exeext)): Likewise.
|
|
2361
|
|
2362 2009-05-26 Dodji Seketeli <dodji@redhat.com>
|
|
2363
|
|
2364 PR c++/40007
|
|
2365 * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Remove this accessor.
|
|
2366 (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): New accessor.
|
|
2367 (get_types_needing_access_check): Declare new entry point.
|
|
2368 * pt.c (append_type_to_template_for_access_check_1,
|
|
2369 get_types_needing_access_check): New functions.
|
|
2370 (perform_typedefs_access_check): Accept FUNCTION_DECLs and
|
|
2371 RECORD_TYPEs rather than TEMPLATE_DECLs. Use the new
|
|
2372 get_types_needing_access_check, no more
|
|
2373 MEMBER_TYPES_NEEDING_ACCESS_CHECK.
|
|
2374 (instantiate_class_template): Set input_location to the source
|
|
2375 location of the most specialized template definition.
|
|
2376 Perform access check using the RECORD_TYPE of the template, not its
|
|
2377 associated most generic TEMPLATE_DECL.
|
|
2378 (append_type_to_template_for_access_check): Augment function
|
|
2379 comments. Use the new get_types_needing_access_check, not
|
|
2380 MEMBER_TYPE_NEEDING_ACCESS_CHECK. Use the new
|
|
2381 append_type_to_template_for_access_check_1 subroutine.
|
|
2382
|
|
2383 2009-05-22 Jason Merrill <jason@redhat.com>
|
|
2384
|
|
2385 PR c++/38064
|
|
2386 * typeck.c (cp_build_binary_op): Allow ENUMERAL_TYPE in
|
|
2387 arithmetic comparisons.
|
|
2388 (cp_common_type): Handle scoped enums.
|
|
2389
|
|
2390 * call.c (promoted_arithmetic_type_p): Don't use INTEGRAL_TYPE_P.
|
|
2391 (add_builtin_candidate, add_builtin_candidates): Likewise.
|
|
2392 (convert_like_real): Likewise.
|
|
2393 * class.c (check_bitfield_decl): Likewise.
|
|
2394 * decl.c (check_static_variable_definition): Likewise.
|
|
2395 (compute_array_index_type): Likewise.
|
|
2396 * decl2.c (grokbitfield): Likewise.
|
|
2397 * init.c (build_new_1): Likewise.
|
|
2398 * pt.c (convert_nontype_argument): Likewise.
|
|
2399 (current_instantiation): Likewise.
|
|
2400 * tree.c (pod_type_p): Likewise.
|
|
2401 * typeck.c (build_static_cast_1): Likewise.
|
|
2402 (build_reinterpret_cast_1): Likewise.
|
|
2403
|
|
2404 2009-05-22 Richard Guenther <rguenther@suse.de>
|
|
2405
|
|
2406 PR middle-end/38964
|
|
2407 * init.c (avoid_placement_new_aliasing): Remove.
|
|
2408 (build_new_1): Do not call it.
|
|
2409
|
|
2410 2009-05-22 Mark Mitchell <mark@codesourcery.com>
|
|
2411
|
|
2412 * decl2.c (decl_needed_p): Consider dllexport'd functions needed.
|
|
2413 * semantics.c (expand_or_defer_fn): Similarly.
|
|
2414
|
|
2415 2009-05-20 Ian Lance Taylor <iant@google.com>
|
|
2416
|
|
2417 * parser.c (cp_parser_postfix_expression): Change args to a vec.
|
|
2418 Release it when done.
|
|
2419 (tree_vector): Define typedef. Define VEC functions.
|
|
2420 (cp_parser_parenthesized_expression_list): Change return type to
|
|
2421 vec. Change all callers.
|
|
2422 (cp_parser_new_expression): Change placement and initializer to
|
|
2423 vecs. Release them when done.
|
|
2424 (cp_parser_new_placement): Change return type to vec. Change all
|
|
2425 callers.
|
|
2426 (cp_parser_new_initializer): Likewise.
|
|
2427 * typeck.c (build_function_call_vec): Just call
|
|
2428 cp_build_function_call_vec.
|
|
2429 (cp_build_function_call): Just build a vec and call
|
|
2430 cp_build_function_call_vec.
|
|
2431 (cp_build_function_call_vec): New function based on old
|
|
2432 cp_build_function_call.
|
|
2433 (convert_arguments): Remove nargs and argarray parameters. Change
|
|
2434 values to a vec. Change caller.
|
|
2435 (build_x_compound_expr_from_vec): New function.
|
|
2436 (cp_build_modify_expr): Build vec to pass to
|
|
2437 build_special_member_call.
|
|
2438 * call.c (struct z_candidate): Add first_arg field. Change args
|
|
2439 field to vec.
|
|
2440 (convert_class_to_reference): Handle first argument separately.
|
|
2441 (add_candidate): Add first_arg parameter. Change args parameter
|
|
2442 to vec. Change all callers.
|
|
2443 (add_function_candidate, add_conv_candidate): Likewise.
|
|
2444 (add_template_candidate_real, add_template_candidate): Likewise.
|
|
2445 (add_template_conv_candidate): Likewise.
|
|
2446 (build_user_type_conversion_1): Handle first argument separately.
|
|
2447 (resolve_args): Change return type and parameter type to vecs.
|
|
2448 Change all callers.
|
|
2449 (perform_overload_resolution): Change args parameter to vec.
|
|
2450 Change all callers.
|
|
2451 (build_new_function_call, build_operator_new_call): Likewise.
|
|
2452 (add_candidates): Likewise.
|
|
2453 (build_op_call): New globally visible function, built from and
|
|
2454 replacing static function build_object_call.
|
|
2455 (build_new_op): Don't handle CALL_EXPR. Build vec, not tree_list,
|
|
2456 of arguments.
|
|
2457 (build_op_delete_call): Build vec to pass to
|
|
2458 cp_build_function_call_vec.
|
|
2459 (build_temp): Build vec to pass to build_special_member_call.
|
|
2460 (convert_like_real): Likewise.
|
|
2461 (perform_direct_initialization_if_possible): Likewise.
|
|
2462 (build_over_call): Handle first_arg field. Use build_call_array
|
|
2463 rather than build_call_list.
|
|
2464 (build_special_member_call): Change args parameter to vec. Change
|
|
2465 all callers.
|
|
2466 (build_new_method_call): Likewise.
|
|
2467 * init.c (expand_default_init): Change parms to vec.
|
|
2468 (build_raw_new_expr): Change placement and init to vecs. Change
|
|
2469 all callers.
|
|
2470 (build_new_1, build_new): Likewise.
|
|
2471 * class.c (resolve_address_of_overloaded_function): Build array to
|
|
2472 pass to fn_type_unification.
|
|
2473 * pt.c (tsubst_copy_and_build): For NEW_EXPR build vecs to pass to
|
|
2474 build_new. For CALL_EXPR create a vec rather than a tree_list;
|
|
2475 expand a pack if necessary.
|
|
2476 (fn_type_unification): Change args parameter to const tree *. Add
|
|
2477 nargs parameter. Change all callers.
|
|
2478 (type_unification_real): Likewise.
|
|
2479 (unify): Build array to pass to type_unification_real.
|
|
2480 (get_bindings): Build array to pass to fn_type_unification.
|
|
2481 (any_type_dependent_arguments_p): Change args parameter to a vec.
|
|
2482 Change all callers.
|
|
2483 (make_args_non_dependent): Renamed from build_non_dependent_args.
|
|
2484 Change return type to void. Change parameter type to vec. Change
|
|
2485 all callers.
|
|
2486 (do_auto_deduction): Pass an array to type_unification_real.
|
|
2487 * semantics.c (perform_koenig_lookup): Change args to vec. Change
|
|
2488 all callers.
|
|
2489 (finish_call_expr): Change args to vec. Change all callers. Call
|
|
2490 build_op_call instead of passing CALL_EXPR to build_new_op.
|
|
2491 (cxx_omp_create_clause_info): Allocate vec to pass to
|
|
2492 build_special_member_call.
|
|
2493 * decl2.c (build_offset_ref_call_from_tree): Change args parameter
|
|
2494 to vec. Change all callers.
|
|
2495 * name-lookup.c (lookup_function_nonclass): Likewise.
|
|
2496 (struct arg_lookup): Change args to vec.
|
|
2497 (arg_assoc_namespace): Handle args as a vec.
|
|
2498 (arg_assoc_args_vec): New static function.
|
|
2499 (lookup_arg_dependent): Change args parameter to vec. Change all
|
|
2500 callers.
|
|
2501 * method.c (do_build_assign_ref): Allocate vec to pass to
|
|
2502 build_special_member_call.
|
|
2503 * except.c (build_throw): Likewise.
|
|
2504 * typeck2.c (build_functional_cast): Likewise.
|
|
2505 * cvt.c (ocp_convert): Likewise.
|
|
2506 * tree.c (build_min_non_dep_call_vec): Change last parameter to
|
|
2507 vec. Change all callers.
|
|
2508 * cp-tree.h: Update declarations.
|
|
2509 * name-lookup.h: Update declarations.
|
|
2510
|
|
2511 2009-05-20 Sandra Loosemore <sandra@codesourcery.com>
|
|
2512
|
|
2513 * typeck.c (default_conversion): Check targetm.promoted_type.
|
|
2514 * decl.c (grokdeclarator): Check targetm.invalid_return_type.
|
|
2515 (grokparms): Check targetm.invalid_parameter_type.
|
|
2516 * cvt.c (ocp_convert): Check targetm.convert_to_type.
|
|
2517 (build_expr_type_conversion): Check targetm.promoted_type.
|
|
2518
|
|
2519 2009-05-19 Andrew Pinski <andrew_pinski@playstation.sony.com>
|
|
2520
|
|
2521 * typeck.c (build_binary_op): Allow % on integal vectors.
|
|
2522
|
|
2523 2009-05-18 Jason Merrill <jason@redhat.com>
|
|
2524
|
|
2525 Implement explicit conversions ops as specified in N2437.
|
|
2526 * decl.c (grokdeclarator): Handle explicit conversion ops.
|
|
2527 (check_initializer): Pass flags to store_init_value.
|
|
2528 * decl2.c (maybe_emit_vtables): Likewise.
|
|
2529 * init.c (expand_aggr_init_1): Likewise.
|
|
2530 * call.c (convert_class_to_reference): Take flags parm,
|
|
2531 check DECL_NONCONVERTING_P.
|
|
2532 (build_user_type_conversion_1): Check DECL_NONCONVERTING_P.
|
|
2533 (add_builtin_candidates): Simplify getting type of conversion.
|
|
2534 (build_object_call): Likewise. Check DECL_NONCONVERTING_P.
|
|
2535 (implicit_conversion): Pass through LOOKUP_ONLYCONVERTING.
|
|
2536 (reference_binding): Take flags parm. Direct-initialize copy parm.
|
|
2537 (add_function_candidate): Direct-initialize the copy parm.
|
|
2538 (add_conv_candidate): Use LOOKUP_IMPLICIT, not LOOKUP_NORMAL.
|
|
2539 (build_builtin_candidate): Add LOOKUP_ONLYCONVERTING.
|
|
2540 (conditional_conversion): Likewise.
|
|
2541 (convert_like_real): Only complain about DECL_NONCONVERTING_P
|
|
2542 constructors.
|
|
2543 (perform_implicit_conversion_flags): Add flags parm to
|
|
2544 perform_implicit_conversion. Improve diagnostics.
|
|
2545 * cp-tree.h (LOOKUP_IMPLICIT): New macro.
|
|
2546 (LOOKUP_COPY_PARM): New bit macro.
|
|
2547 * cvt.c (build_expr_type_conversion): Check DECL_NONCONVERTING_P.
|
|
2548 * typeck.c (convert_for_assignment): Take flags parm, pass it to
|
|
2549 perform_implicit_conversion_flags.
|
|
2550 (cp_build_modify_expr): Pass flags to convert_for_assignment.
|
|
2551 (convert_for_initialization): Likewise.
|
|
2552 * typeck2.c (store_init_value): Take flags parm, pass to
|
|
2553 digest_init_flags.
|
|
2554 (digest_init_flags): Add flags parm to digest_init.
|
|
2555 (digest_init_r): Take flags parm, pass to convert_for_initialization.
|
|
2556 (process_init_constructor_array): Pass it.
|
|
2557 (process_init_constructor_record): Likewise.
|
|
2558 (process_init_constructor_union): Likewise.
|
|
2559
|
|
2560 2009-05-16 Jason Merrill <jason@redhat.com>
|
|
2561
|
|
2562 PR c++/40139
|
|
2563 * pt.c (tsubst_qualified_id): Retain the type if we aren't dealing
|
|
2564 with a dependent type. Actually look up the destructor.
|
|
2565 * semantics.c (finish_id_expression): Fix logic.
|
|
2566 (finish_qualified_id_expr): Don't try to use 'this' if we aren't in
|
|
2567 a function.
|
|
2568 * typeck.c (build_x_unary_op): Diagnose taking the address of a
|
|
2569 constructor or destructor.
|
|
2570 * tree.c (get_first_fn): Handle OFFSET_REF.
|
|
2571
|
|
2572 2009-05-17 Joseph Myers <joseph@codesourcery.com>
|
|
2573
|
|
2574 * tree.c (cxx_printable_name_internal): Allow consecutive
|
|
2575 translated and untranslated cached copies of the name of the
|
|
2576 current function.
|
|
2577
|
|
2578 2009-05-15 Ian Lance Taylor <iant@google.com>
|
|
2579
|
|
2580 * cp-tree.h (enum cp_lvalue_kind_flags): Rename from
|
|
2581 cp_lvalue_kind. Change all uses.
|
|
2582 (enum base_access_flags): Rename from enum base_access. Change
|
|
2583 all uses.
|
|
2584 * parser.c (enum cp_parser_flags): Remove enum tag.
|
|
2585
|
|
2586 2009-05-15 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
2587
|
|
2588 PR 16302
|
|
2589 * call.c (build_new_op): Update calls to warn_logical_operator.
|
|
2590
|
|
2591 2009-05-14 Ian Lance Taylor <iant@google.com>
|
|
2592
|
|
2593 * class.c (layout_class_type): Change itk to unsigned int.
|
|
2594 * decl.c (finish_enum): Change itk to unsigned int.
|
|
2595 * parser.c (cp_parser_check_decl_spec): Change ds to int. Remove
|
|
2596 casts.
|
|
2597
|
|
2598 2009-05-13 David Mandelin <dmandelin@mozilla.com>:
|
|
2599
|
|
2600 * decl.c (duplicate_decls): Preserve parameter attributes.
|
|
2601
|
|
2602 2009-05-10 Jan Hubicka <jh@suse.cz>
|
|
2603
|
|
2604 * decl2.c (cxx_callgraph_analyze_expr): Use
|
|
2605 cgraph_mark_address_taken.
|
|
2606
|
|
2607 2009-05-10 Joseph Myers <joseph@codesourcery.com>
|
|
2608
|
|
2609 * call.c (name_as_c_string): Call type_as_string_translate.
|
|
2610 Translate identifiers to locale character set.
|
|
2611 * cp-tree.h (lang_decl_name): Update prototype.
|
|
2612 (type_as_string_translate, decl_as_string_translate,
|
|
2613 cxx_printable_name_translate): Declare.
|
|
2614 * cxx-pretty-print.c (M_): Define.
|
|
2615 (pp_cxx_unqualified_id, pp_cxx_canonical_template_parameter): Mark
|
|
2616 English fragments for conditional translation with M_.
|
|
2617 * decl.c (grokdeclarator): Translate identifiers to locale
|
|
2618 character set for diagnostics.
|
|
2619 * error.c (M_): Define.
|
|
2620 (dump_template_bindings, dump_type, dump_aggr_type,
|
|
2621 dump_type_prefix, dump_global_iord, dump_simple_decl, dump_decl,
|
|
2622 dump_function_decl, dump_template_parms, dump_expr,
|
|
2623 dump_binary_op, op_to_string, assop_to_string): Mark English
|
|
2624 fragments for conditional translation with M_.
|
|
2625 (type_as_string): Disable translation of identifiers.
|
|
2626 (type_as_string_translate): New.
|
|
2627 (expr_as_string): Disable translation of identifiers.
|
|
2628 (decl_as_string): Disable translation of identifiers.
|
|
2629 (decl_as_string_translate): New.
|
|
2630 (lang_decl_name): Add parameter translate.
|
|
2631 (args_to_string): Call type_as_string_translate.
|
|
2632 (cp_print_error_function): Call cxx_printable_name_translate.
|
|
2633 (print_instantiation_full_context,
|
|
2634 print_instantiation_partial_context): Call
|
|
2635 decl_as_string_translate.
|
|
2636 * parser.c (cp_lexer_get_preprocessor_token): Use %qE for
|
|
2637 identifier in diagnostic.
|
|
2638 * tree.c (cxx_printable_name): Change to
|
|
2639 cxx_printable_name_internal. Add parameter translate.
|
|
2640 (cxx_printable_name, cxx_printable_name_translate): New wrappers
|
|
2641 round cxx_printable_name_internal.
|
|
2642
|
|
2643 2009-05-08 H.J. Lu <hongjiu.lu@intel.com>
|
|
2644
|
|
2645 PR c/36892
|
|
2646 * call.c (build_call_a): Updated warn_deprecated_use call.
|
|
2647 (build_over_call): Likewise.
|
|
2648 * decl.c (grokdeclarator): Likewise.
|
|
2649 (grokparms): Likewise.
|
|
2650 * semantics.c (finish_id_expression): Likewise.
|
|
2651 * typeck.c (build_class_member_access_expr): Likewise.
|
|
2652 (finish_class_member_access_expr): Likewise.
|
|
2653
|
|
2654 2009-05-06 Dodji Seketeli <dodji@redhat.com>
|
|
2655
|
|
2656 PR c++/17395
|
|
2657 * pt.c (tsubst_copy) <case PARM_DECL>: We don't want to tsubst the
|
|
2658 whole list of PARM_DECLs, just the current one.
|
|
2659
|
|
2660 2009-05-05 Shujing Zhao <pearly.zhao@oracle.com>
|
|
2661
|
|
2662 * cp-tree.h:
|
|
2663 (opname_tab, assignop_tab, update_member_visibility, yyerror, yyhook,
|
|
2664 mangle_compound_literal): Remove unused declarations.
|
|
2665 (build_vfield_ref, cxx_print_statistics, clone_function_decl,
|
|
2666 adjust_clone_args, maybe_push_cleanup_level, pushtag, make_anon_name,
|
|
2667 pushdecl_top_level_maybe_friend, pushdecl_top_level_and_finish,
|
|
2668 check_for_out_of_scope_variable, print_other_binding_stack,
|
|
2669 maybe_push_decl, cxx_mark_addressable, force_target_expr,
|
|
2670 build_target_expr_with_type, finish_case_label,
|
|
2671 cxx_maybe_build_cleanup, begin_eh_spec_block, finish_eh_spec_block,
|
|
2672 check_template_keyword, cxx_omp_predetermined_sharing,
|
|
2673 cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor,
|
|
2674 cxx_omp_clause_assign_op, cxx_omp_clause_dtor, cxx_omp_finish_clause,
|
|
2675 cxx_omp_privatize_by_reference): Rearrange the declarations line to
|
|
2676 match the comment that indicates the .c file which the functions are
|
|
2677 defined.
|
|
2678 (cxx_print_xnode, cxx_print_decl, cxx_print_type,
|
|
2679 cxx_print_identifier, cxx_print_error_function, pushdecl): Add comment.
|
|
2680
|
|
2681 2009-05-05 Nathan Sidwell <nathan@codesourcery.com>
|
|
2682
|
|
2683 * typeck.c (cp_build_compound_expr): Require RHS to have a known
|
|
2684 type.
|
|
2685 * class.c (resolve_address_of_overloaded_function): Use
|
|
2686 OVL_CURRENT for error message.
|
|
2687 (instantiate_type): Forbid COMPOUND_EXPRs and remove code dealing
|
|
2688 with them. Do not copy the node.
|
|
2689
|
|
2690 2009-05-05 Jakub Jelinek <jakub@redhat.com>
|
|
2691
|
|
2692 PR c++/40013
|
|
2693 * pt.c (tsubst): If magic NOP_EXPR with side-effects has no type,
|
|
2694 set it from its operand's type after tsubst_expr.
|
|
2695
|
|
2696 2009-05-04 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
|
|
2697
|
|
2698 PR c++/28152
|
|
2699 * parser.c (cp_lexer_get_preprocessor_token): Do not store the
|
|
2700 canonical spelling for keywords.
|
|
2701 (cp_parser_attribute_list): Use the canonical spelling for
|
|
2702 keywords in attributes.
|
|
2703
|
|
2704 2009-05-01 Joseph Myers <joseph@codesourcery.com>
|
|
2705
|
|
2706 * cxx-pretty-print.c (is_destructor_name, pp_cxx_unqualified_id,
|
|
2707 pp_cxx_template_keyword_if_needed, pp_cxx_postfix_expression,
|
|
2708 pp_cxx_new_expression, pp_cxx_delete_expression,
|
|
2709 pp_cxx_unary_expression, pp_cxx_assignment_operator,
|
|
2710 pp_cxx_assignment_expression, pp_cxx_expression,
|
|
2711 pp_cxx_function_specifier, pp_cxx_decl_specifier_seq,
|
|
2712 pp_cxx_simple_type_specifier, pp_cxx_type_specifier_seq,
|
|
2713 pp_cxx_exception_specification, pp_cxx_direct_declarator,
|
|
2714 pp_cxx_ctor_initializer, pp_cxx_type_id, pp_cxx_statement,
|
|
2715 pp_cxx_namespace_alias_definition, pp_cxx_template_parameter,
|
|
2716 pp_cxx_canonical_template_parameter, pp_cxx_template_declaration,
|
|
2717 pp_cxx_declaration, pp_cxx_typeid_expression,
|
|
2718 pp_cxx_va_arg_expression, pp_cxx_offsetof_expression,
|
|
2719 pp_cxx_trait_expression): Mostly use pp_string and
|
|
2720 pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
|
|
2721 for non-identifiers. Mark English strings for translation.
|
|
2722 * cxx-pretty-print.h (pp_cxx_ws_string): Define.
|
|
2723 * error.c (dump_template_parameter, dump_template_bindings,
|
|
2724 dump_type, dump_aggr_type, dump_type_prefix, dump_simple_decl,
|
|
2725 dump_decl, dump_template_decl, dump_function_decl,
|
|
2726 dump_parameters, dump_exception_spec, dump_template_parms,
|
|
2727 dump_expr, dump_binary_op, dump_unary_op, op_to_string,
|
|
2728 assop_to_string, args_to_string, cp_print_error_function,
|
|
2729 print_instantiation_full_context,
|
|
2730 print_instantiation_partial_context): Mostly use pp_string and
|
|
2731 pp_cxx_ws_string in place of pp_identifier and pp_cxx_identifier
|
|
2732 for non-identifiers. Mark English strings for translation.
|
|
2733 (dump_global_iord): Mark strings for translation; use longer
|
|
2734 strings instead of substituting single words.
|
|
2735 (function_category): Return a format string marked for
|
|
2736 translation, not a single word or phrase to substitute in a longer
|
|
2737 phrase.
|
|
2738
|
|
2739 2009-04-28 Ben Elliston <bje@au.ibm.com>
|
|
2740
|
|
2741 PR c++/35652
|
|
2742 Revert:
|
|
2743
|
|
2744 2009-03-27 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
|
|
2745
|
|
2746 * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
|
|
2747
|
|
2748 2009-04-27 Ian Lance Taylor <iant@google.com>
|
|
2749
|
|
2750 * semantics.c (finish_omp_clauses): Change type of c_kind to enum
|
|
2751 omp_clause_code.
|
|
2752
|
|
2753 2009-04-27 Jakub Jelinek <jakub@redhat.com>
|
|
2754
|
|
2755 PR c++/39875
|
|
2756 * cvt.c (convert_to_void) <case INDIRECT_REF>: Only warn about
|
|
2757 -Wunused-value if implicit.
|
|
2758
|
|
2759 2009-04-24 Ian Lance Taylor <iant@google.com>
|
|
2760
|
|
2761 * call.c (build_temp): Change 0 to enum constant.
|
|
2762 * cp-tree.h (cp_lvalue_kind): Typedef to int rather than enum
|
|
2763 type.
|
|
2764 * cp-gimplify.c (cp_gimplify_expr): Add cast to enum type.
|
|
2765 * decl2.c (constrain_visibility): Likewise.
|
|
2766 * parser.c (cp_lexer_get_preprocessor_token): Likewise.
|
|
2767 (cp_parser_flags): Typedef to int rather than enum type.
|
|
2768 (cp_parser_expression_stack_entry): Change prec field to enum
|
|
2769 cp_parser_prec.
|
|
2770
|
|
2771 * typeck.c (build_modify_expr): Add lhs_origtype parameter.
|
|
2772 Change all callers.
|
|
2773
|
|
2774 2009-04-22 Dodji Seketeli <dodji@redhat.com>
|
|
2775
|
|
2776 PR c++/39639
|
|
2777 * parser.c (cp_parser_template_argument_list): Display an error
|
|
2778 when an ellipsis is not preceded by a parameter pack. Also, warn
|
|
2779 about variadic templates usage without -std=c++0x.
|
|
2780
|
|
2781 2009-04-21 Taras Glek <tglek@mozilla.com>
|
|
2782
|
|
2783 * cp-tree.h: Update GTY annotations to new syntax.
|
|
2784 * decl.c: Likewise.
|
|
2785 * mangle.c: Likewise.
|
|
2786 * name-lookup.c: Likewise.
|
|
2787 * name-lookup.h: Likewise.
|
|
2788 * parser.c: Likewise.
|
|
2789 * pt.c: Likewise.
|
|
2790 * rtti.c: Likewise.
|
|
2791 * semantics.c: Likewise.
|
|
2792 * typeck2.c: Likewise.
|
|
2793
|
|
2794 2009-04-22 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
|
|
2795
|
|
2796 PR c++/14875
|
|
2797 * parser.c (cp_parser_error): Pass token->flags to c_parse_error.
|
|
2798
|
|
2799 2009-04-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
|
|
2800
|
|
2801 PR c++/35711
|
|
2802 * typeck.c (check_for_casting_away_constness): We diagnose casting
|
|
2803 away any qualifiers not just constness.
|
|
2804 (casts_away_constness): Mention that it handles more than just
|
|
2805 constness.
|
|
2806
|
|
2807 2009-04-21 Joseph Myers <joseph@codesourcery.com>
|
|
2808
|
|
2809 * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995,
|
|
2810 ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999,
|
|
2811 ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003,
|
|
2812 ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
|
|
2813 ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS,
|
|
2814 cfns.gperf: Add copyright and license notices.
|
|
2815 * cfns.h: Regenerate.
|
|
2816 * ChangeLog, ChangeLog-2004: Correct dates.
|
|
2817
|
|
2818 2009-04-21 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
2819
|
|
2820 PR 16202
|
|
2821 * tree.c (lvalue_p_1): Use const_tree.
|
|
2822 Use CONST_CAST_TREE to avoid warning.
|
|
2823 (lvalue_p): Returns bool, receives const_tree.
|
|
2824
|
|
2825 2009-04-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
|
|
2826
|
|
2827 PR c++/13358
|
|
2828 * parser.c (cp_parser_check_decl_spec): Drop redundant flags.
|
|
2829 * error.c (pedwarn_cxx98): New.
|
|
2830 * cp-tree.h (pedwarn_cxx98): Declare.
|
|
2831
|
|
2832 2009-04-20 Le-Chun Wu <lcwu@google.com>
|
|
2833
|
|
2834 PR c++/39803
|
|
2835 * init.c (build_vec_init): Set TREE_NO_WARNING on the
|
|
2836 compiler-generated INDIRECT_REF expression.
|
|
2837
|
|
2838 2009-04-20 Ian Lance Taylor <iant@google.com>
|
|
2839
|
|
2840 * typeck.c (build_function_call_vec): New function.
|
|
2841 (cp_build_function_call): Only pass first parameter to
|
|
2842 objc_rewrite_function_call.
|
|
2843 (build_modify_expr): Add rhs_origtype parameter. Change all
|
|
2844 callers.
|
|
2845 * decl.c (finish_decl): Add origtype parameter. Change all
|
|
2846 callers.
|
|
2847 * semantics.c (finish_call_expr): Pass VEC to
|
|
2848 resolve_overloaded_builtin.
|
|
2849
|
|
2850 2009-04-20 Ian Lance Taylor <iant@google.com>
|
|
2851
|
|
2852 * cp-tree.h (base_access): Change typedef to int.
|
|
2853 * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR.
|
|
2854 (cp_parser_omp_threadprivate): Likewise.
|
|
2855 * pt.c (unify_pack_expansion): Add casts to enum type.
|
|
2856
|
|
2857 2009-04-19 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
2858
|
|
2859 PR c/32061
|
|
2860 PR c++/36954
|
|
2861 * call.c (build_new_op): Save the original codes of operands
|
|
2862 before folding.
|
|
2863
|
|
2864 2009-04-18 Kazu Hirata <kazu@codesourcery.com>
|
|
2865
|
|
2866 * cp-tree.h: Remove the prototype for insert_block.
|
|
2867 * decl.c (insert_block): Remove.
|
|
2868
|
|
2869 2009-04-16 Ian Lance Taylor <iant@google.com>
|
|
2870
|
|
2871 * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.
|
|
2872 (tsubst_flags_t): Change typedef from enum type to int.
|
|
2873
|
|
2874 2009-04-16 Paolo Bonzini <bonzini@gnu.org>
|
|
2875
|
|
2876 * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
|
|
2877 instead of targetm.vector_opaque_p.
|
|
2878
|
|
2879 2009-04-15 Le-Chun Wu <lcwu@google.com>
|
|
2880
|
|
2881 PR c++/39551
|
|
2882 * call.c (build_over_call): Set TREE_NO_WARNING on the
|
|
2883 compiler-generated INDIRECT_REF expression.
|
|
2884 * cvt.c (convert_to_void): Emit warning when stripping off
|
|
2885 INDIRECT_REF.
|
|
2886
|
|
2887 2009-04-14 Diego Novillo <dnovillo@google.com>
|
|
2888
|
|
2889 * parser.c (cp_parser_type_specifier_seq): Move call to
|
|
2890 invoke_plugin_callbacks ...
|
|
2891 (cp_parser_type_specifier_seq): ... here.
|
|
2892
|
|
2893 2009-04-14 Le-Chun Wu <lcwu@google.com>
|
|
2894
|
|
2895 * Make-lang.in: Modify dependencies of files including plugin.h.
|
|
2896 * decl.c (finish_function): Call invoke_plugin_callbacks.
|
|
2897 * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks.
|
|
2898
|
|
2899 2009-04-14 Jason Merrill <jason@redhat.com>
|
|
2900
|
|
2901 PR c++/39763
|
|
2902 * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings
|
|
2903 about shadowing by tentative parms.
|
|
2904
|
|
2905 2009-04-13 Jason Merrill <jason@redhat.com>
|
|
2906
|
|
2907 PR c++/39480
|
|
2908 * call.c (build_over_call): Don't call memcpy if the target is
|
|
2909 the same as the source.
|
|
2910
|
|
2911 2009-04-13 Jason Merrill <jason@redhat.com>
|
|
2912
|
|
2913 PR c++/39750
|
|
2914 * pt.c (uses_template_parms): Handle CONSTRUCTOR.
|
|
2915
|
|
2916 2009-04-12 Jason Merrill <jason@redhat.com>
|
|
2917
|
|
2918 PR c++/39742
|
|
2919 * call.c (joust): Don't crash on variadic fn.
|
|
2920
|
|
2921 2009-04-10 Jason Merrill <jason@redhat.com>
|
|
2922
|
|
2923 PR c++/28301
|
|
2924 * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
|
|
2925 if we see a close brace without an open brace.
|
|
2926
|
|
2927 2009-04-10 H.J. Lu <hongjiu.lu@intel.com>
|
|
2928
|
|
2929 * parser.c (cp_parser_class_specifier): Remove the unused
|
|
2930 has_trailing_semicolon.
|
|
2931
|
|
2932 2009-04-10 Manuel López-Ibáñez <manu@gcc.gnu.org>
|
|
2933
|
|
2934 PR c++/20118
|
|
2935 * parser.c (cp_parser_check_template_parameters): Take a
|
|
2936 cp_declarator parameter.
|
|
2937 (cp_parser_elaborated_type_specifier): Update to
|
|
2938 cp_parser_check_template_parameters.
|
|
2939 (cp_parser_class_head): Likewise.
|
|
2940 (cp_parser_check_declarator_template_parameters): Likewise.
|
|
2941 (cp_parser_check_template_parameters): Handle first the non-error
|
|
2942 conditions. Give more accurate diagnostics if a declarator is
|
|
2943 given.
|
|
2944
|
|
2945 2009-04-08 Jason Merrill <jason@redhat.com>
|
|
2946
|
|
2947 PR c++/25185
|
|
2948 * error.c (dump_aggr_type): Chase template typedefs if
|
|
2949 -fno-pretty-templates.
|
|
2950
|
|
2951 2009-04-08 Dodji Seketeli <dodji@redhat.com>
|
|
2952
|
|
2953 PR c++/39637
|
|
2954 * parser.c (cp_parser_enumerator_definition): Make sure the
|
|
2955 initializer of the enumerator doesn't contain any bare parameter pack.
|
|
2956
|
|
2957 2009-04-07 Jason Merrill <jason@redhat.com>
|
|
2958
|
|
2959 PR c++/34691
|
|
2960 * name-lookup.c (merge_functions): Keep multiple extern "C" functions.
|
|
2961 * call.c (joust): Complain about mismatched default arguments
|
|
2962 in extern "C" functions.
|
|
2963 * class.c (resolve_address_of_overloaded_function): Handle multiple
|
|
2964 extern "C" functions.
|
|
2965 * pt.c (resolve_overloaded_unification): Likewise.
|
|
2966
|
|
2967 2009-04-07 Jason Merrill <jason@redhat.com>
|
|
2968
|
|
2969 PR c++/25185
|
|
2970 * error.c (dump_function_decl): Don't pretty-print templates
|
|
2971 if -fno-pretty-templates.
|
|
2972 (count_non_default_template_args): Print all args if
|
|
2973 -fno-pretty-templates.
|
|
2974
|
|
2975 2009-04-06 Jason Merrill <jason@redhat.com>
|
|
2976
|
|
2977 PR c++/35146
|
|
2978 * pt.c (fn_type_unification): For DEDUCE_EXACT check that
|
|
2979 the deduced template arguments give us the parameter types
|
|
2980 we're looking for.
|
|
2981
|
|
2982 2009-04-05 Giovanni Bajo <giovannibajo@libero.it>
|
|
2983 Jason Merrill <jason@redhat.com>
|
|
2984
|
|
2985 PR c++/14912
|
|
2986 * error.c (count_non_default_template_args): New fn.
|
|
2987 (dump_template_parms): Call it.
|
|
2988 (dump_template_argument_list): Call it. Add parms parm.
|
|
2989 (dump_template_argument): Adjust call to dump_template_argument_list.
|
|
2990 (dump_type, dump_decl): Likewise.
|
|
2991 (dump_template_bindings): Refactor logic.
|
|
2992
|
|
2993 2009-04-03 Jason Merrill <jason@redhat.com>
|
|
2994
|
|
2995 PR c++/25185
|
|
2996 * error.c (dump_template_bindings): Look through typedefs in
|
|
2997 typename results.
|
|
2998 (dump_type) [TYPENAME_TYPE]: Print the typedef name if any.
|
|
2999 (find_typenames_r): Also collect typedefs.
|
|
3000 * pt.c (unify): Strip typedefs.
|
|
3001
|
|
3002 PR c++/39608
|
|
3003 * semantics.c (finish_id_expression): Don't assume a dependent
|
|
3004 member of the current instantiation isn't a valid integral
|
|
3005 constant expression. Check dependent_scope_p.
|
|
3006 * pt.c (dependent_scope_p): Check TYPE_P.
|
|
3007 (tsubst_copy): If args is null, just return.
|
|
3008
|
|
3009 2009-04-02 Jason Merrill <jason@redhat.com>
|
|
3010
|
|
3011 PR c++/25185
|
|
3012 * error.c (find_typenames, find_typenames_r): New fns.
|
|
3013 (dump_function_decl): Call find_typenames.
|
|
3014 (dump_template_bindings): Print typenames as well.
|
|
3015 * pt.c (tsubst): Non-static.
|
|
3016 * cp-tree.h: Declare it.
|
|
3017
|
|
3018 2009-04-02 Dodji Seketeli <dodji@redhat.com>
|
|
3019
|
|
3020 PR c++/26693
|
|
3021 * decl2.c (grokfield): when a typedef appears in a
|
|
3022 class, create the typedef variant type node for it.
|
|
3023 (save_template_attributes): Creating typedef variant type node
|
|
3024 here is now useless.
|
|
3025 * decl.c (grokdeclarator): If the typedef'ed struct/class was
|
|
3026 anonymous, set the proper type name to all its type variants.
|
|
3027 (xref_basetypes) : Fixup the variant types after setting
|
|
3028 TYPE_BINFO on REF.
|
|
3029 * name-lookup.c (pushdecl_maybe_friend): Reuse the
|
|
3030 set_underlying_type function to install typedef variant types.
|
|
3031 * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
|
|
3032 macro.
|
|
3033 (append_type_to_template_for_access_check): New entry points.
|
|
3034 * semantics.c (check_accessibility_of_qualified_id):
|
|
3035 When a typedef that is a member of a class appears in a template,
|
|
3036 add it to the template. It will be ...
|
|
3037 * class.c (finish_struct_bits): Split type variant fixup into ...
|
|
3038 (fixup_type_variants): A new entry point.
|
|
3039 * pt.c (instantiate_class_template, instantiate_template ): ... access
|
|
3040 checked at template instantiation time.
|
|
3041 (resolve_type_name_type): The type name should be the name of the
|
|
3042 main type variant.
|
|
3043 (retrieve_specialization): Specializations of template typedefs aren't
|
|
3044 to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl).
|
|
3045 (append_type_to_template_for_access_check): New entry point.
|
|
3046 (tsubst_decl): For typedefs, build the variant type from the correct
|
|
3047 original type.
|
|
3048 (get_class_bindings): Fix function comment.
|
|
3049 (perform_typedefs_access_check): New entry point.
|
|
3050
|
|
3051 2009-03-31 Jason Merrill <jason@redhat.com>
|
|
3052
|
|
3053 PR c++/34691
|
|
3054 * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched
|
|
3055 extern "C" declarations.
|
|
3056
|
|
3057 C++ DR 613
|
|
3058 * semantics.c (finish_non_static_data_member): Allow such references
|
|
3059 without an associated object in sizeof/decltype/alignof.
|
|
3060
|
|
3061 * ptree.c (cxx_print_decl): Pretty-print full name of
|
|
3062 function/template.
|
|
3063 (cxx_print_type): Pretty-print full name of class.
|
|
3064
|
|
3065 * decl.c (grokdeclarator): Reject pointer to qualified function
|
|
3066 type.
|
|
3067
|
|
3068 PR c++/37806, core issue 547
|
|
3069 * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals
|
|
3070 to a typedef.
|
|
3071 * tree.c (cp_build_qualified_type_real): Don't apply restrict to a
|
|
3072 function type.
|
|
3073 * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG.
|
|
3074 * decl.c (groktypename): Add is_template_arg parameter.
|
|
3075 (grokdeclarator): Allow function cv-quals on a template type arg.
|
|
3076 * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add
|
|
3077 is_template_arg argument in calls to groktypename.
|
|
3078 * cp-tree.h: Adjust prototype.
|
|
3079 * error.c (dump_type_prefix, dump_type_suffix): Fix plain
|
|
3080 FUNCTION_TYPE printing.
|
|
3081
|
|
3082 * mangle.c (write_expression): Mangle dependent name as
|
|
3083 source-name.
|
|
3084
|
|
3085 PR c++/38030, 38850, 39070
|
|
3086 * pt.c (type_dependent_expression_p_push): New fn.
|
|
3087 (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the
|
|
3088 substitution makes the call non-dependent. Preserve koenig_p.
|
|
3089 * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup
|
|
3090 for non-dependent calls.
|
|
3091 * semantics.c (finish_call_expr): Revert earlier changes.
|
|
3092 * cp-tree.h: Revert change to finish_call_expr prototype.
|
|
3093
|
|
3094 2009-03-29 Joseph Myers <joseph@codesourcery.com>
|
|
3095
|
|
3096 PR preprocessor/34695
|
|
3097 * cp-tree.h (cp_cpp_error): Remove.
|
|
3098 * error.c (cp_cpp_error): Remove.
|
|
3099 * parser.c (cp_lexer_new_main): Set done_lexing instead of
|
|
3100 client_diagnostic and error callback.
|
|
3101
|
|
3102 2009-03-28 Paolo Bonzini <bonzini@gnu.org>
|
|
3103
|
|
3104 * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
|
|
3105 * cp/cp-objcp-common.c (cxx_staticp): Remove.
|
|
3106 * cp/cp-tree.h (cxx_staticp): Remove.
|
|
3107
|
|
3108 2009-03-28 Jakub Jelinek <jakub@redhat.com>
|
|
3109
|
|
3110 PR c++/39554
|
|
3111 * parser.c (cp_parser_postfix_expression): Don't call
|
|
3112 warning_if_disallowed_function_p.
|
|
3113
|
|
3114 2009-03-27 Jan Hubicka <jh@suse.cz>
|
|
3115
|
|
3116 * except.c (choose_personality_routine): Set terminate_node to abort
|
|
3117 for java exceptions.
|
|
3118
|
|
3119 2009-03-27 Dodji Seketeli <dodji@redhat.com>
|
|
3120 Jakub Jelinek <jakub@redhat.com>
|
|
3121
|
|
3122 PR debug/37959
|
|
3123 * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
|
|
3124 (cp_function_decl_explicit_p): New prototype.
|
|
3125 * cp-objcp-common.c (cp_function_decl_explicit_p): New function.
|
|
3126
|
|
3127 2009-03-27 Andrew Pinski <andrew_pinski@playstation.sony.com>
|
|
3128
|
|
3129 PR c++/38638
|
|
3130 * parser.c (cp_parser_elaborated_type_specifier): If we have a
|
|
3131 typename tag and don't have either a TYPE_DECL or a
|
|
3132 TEMPLATE_ID_EXPR, set the type to NULL.
|
|
3133
|
|
3134 2009-03-27 Simon Martin <simartin@users.sourceforge.net>
|
|
3135
|
|
3136 PR c++/37647
|
|
3137 * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class
|
|
3138 scope.
|
|
3139
|
|
3140 2009-03-27 Simon Martin <simartin@users.sourceforge.net>
|
|
3141
|
|
3142 PR c++/29727
|
|
3143 * decl.c (check_array_designated_initializer): Handle error_mark_node.
|
|
3144
|
|
3145 2009-03-27 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
|
|
3146
|
|
3147 PR c++/35652
|
|
3148 * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
|
|
3149
|
|
3150 2009-03-26 Andrew Haley <aph@redhat.com>
|
|
3151
|
|
3152 PR C++/39380
|
|
3153 * decl2.c (possibly_inlined_p): If java exceptions are in use
|
|
3154 don't inline a decl unless it is explicitly marked inline.
|
|
3155 * lex.c: (pragma_java_exceptions): New variable.
|
|
3156 (handle_pragma_java_exceptions): Set pragma_java_exceptions.
|
|
3157 * cp-tree.h (pragma_java_exceptions): Declare new variable.
|
|
3158
|
|
3159 2009-03-24 Jason Merrill <jason@redhat.com>
|
|
3160
|
|
3161 PR c++/28274
|
|
3162 * name-lookup.c (pushdecl_maybe_friend): Check default args later.
|
|
3163
|
|
3164 2009-03-23 Jakub Jelinek <jakub@redhat.com>
|
|
3165
|
|
3166 PR c/39495
|
|
3167 * semantics.c (handle_omp_for_class_iterator): Swap cond operands and
|
|
3168 code if iter is the second operand.
|
|
3169 * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p
|
|
3170 argument. If it is set, don't build the toplevel expression with
|
|
3171 build_x_binary_op, but build2.
|
|
3172 (cp_parser_assignment_expression, cp_parser_omp_for_incr): Adjust
|
|
3173 callers.
|
|
3174 (cp_parser_omp_for_cond): Don't assume the first operand of the
|
|
3175 comparison must be decl.
|
|
3176
|
|
3177 2009-03-23 Jason Merrill <jason@redhat.com>
|
|
3178
|
|
3179 PR c++/37729
|
|
3180 * pt.c (make_fnparm_pack): Split out from...
|
|
3181 (instantiate_decl): ...here.
|
|
3182 (tsubst_pack_expansion): Handle being called in a late-specified
|
|
3183 return type.
|
|
3184
|
|
3185 PR c++/39526
|
|
3186 * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing
|
|
3187 a parm with a parm.
|
|
3188
|
|
3189 2009-03-20 Jason Merrill <jason@redhat.com>
|
|
3190
|
|
3191 PR c++/28879
|
|
3192 * parser.c (cp_parser_direct_declarator): In a template, wrap
|
|
3193 non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set.
|
|
3194 * pt.c (tsubst): Preserve it in a partial instantiation.
|
|
3195 (dependent_type_p_r): Don't check value_dependent_expression_p.
|
|
3196 * decl.c (compute_array_index_type): Don't check
|
|
3197 value_dependent_expression_p if TREE_SIDE_EFFECTS.
|
|
3198
|
|
3199 C++ core issue 703
|
|
3200 * typeck2.c (check_narrowing): Don't complain about loss of
|
|
3201 precision when converting a floating-point constant.
|
|
3202
|
|
3203 2009-03-19 Jakub Jelinek <jakub@redhat.com>
|
|
3204
|
|
3205 PR c/39495
|
|
3206 * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL.
|
|
3207 (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond.
|
|
3208
|
|
3209 2009-03-18 Jakub Jelinek <jakub@redhat.com>
|
|
3210
|
|
3211 * parser.c (struct cp_token): Reorder fields for 64-bit hosts.
|
|
3212 (eof_token): Adjust.
|
|
3213
|
|
3214 2009-03-18 H.J. Lu <hongjiu.lu@intel.com>
|
|
3215
|
|
3216 PR c++/39425
|
|
3217 * parser.c (cp_parser_explicit_specialization): Don't skip the
|
|
3218 rest of the specialization when begin_specialization returns
|
|
3219 false.
|
|
3220
|
|
3221 2009-03-17 Jason Merrill <jason@redhat.com>
|
|
3222
|
|
3223 * decl.c (grokfndecl): Set DECL_CONTEXT on parms.
|
|
3224 (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms.
|
|
3225 * pt.c (check_explicit_specialization): Likewise.
|
|
3226 (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a
|
|
3227 local specialization.
|
|
3228 * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name.
|
|
3229 * decl2.c (parm_index): New fn.
|
|
3230 * semantics.c (finish_decltype_type): Don't use describable_type.
|
|
3231 * mangle.c (write_expression): Likewise. Mangle ALIGNOF_EXPR.
|
|
3232 Give a sorry for unsupported codes rather than crash. Mangle
|
|
3233 conversions with other than 1 operand. New mangling for PARM_DECL.
|
|
3234 * operators.def (ALIGNOF_EXPR): Mangle as "az".
|
|
3235
|
|
3236 2009-03-17 Jing Yu <jingyu@google.com>
|
|
3237
|
|
3238 PR middle-end/39378
|
|
3239 * method.c (use_thunk): Change is_thunk from crtl to cfun.
|
|
3240
|
|
3241 2009-03-17 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3242
|
|
3243 PR c++/39475
|
|
3244 * semantics.c (check_trait_type): New.
|
|
3245 (finish_trait_expr): Use it.
|
|
3246
|
|
3247 2009-03-17 Jakub Jelinek <jakub@redhat.com>
|
|
3248
|
|
3249 * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs
|
|
3250 instead of calling imported_module_or_decl debug hook if
|
|
3251 building_stmt_tree ().
|
|
3252 * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand
|
|
3253 is a NAMESPACE_DECL.
|
|
3254
|
|
3255 PR debug/37890
|
|
3256 * name-lookup.c (do_namespace_alias): Don't call global_decl debug
|
|
3257 hook at function scope.
|
|
3258
|
|
3259 PR debug/39471
|
|
3260 * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME
|
|
3261 on IMPORTED_DECL.
|
|
3262
|
|
3263 2009-03-09 Jakub Jelinek <jakub@redhat.com>
|
|
3264
|
|
3265 PR c++/39371
|
|
3266 * semantics.c (finish_switch_cond): Don't call get_unwidened.
|
|
3267 * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument
|
|
3268 instead of TREE_TYPE (cond).
|
|
3269
|
|
3270 2009-03-08 H.J. Lu <hongjiu.lu@intel.com>
|
|
3271
|
|
3272 PR c++/39060
|
|
3273 * parser.c (cp_parser_late_parsing_default_args): Continue
|
|
3274 the loop when cp_parser_assignment_expression returns
|
|
3275 error_mark_node.
|
|
3276
|
|
3277 2009-03-07 Jason Merrill <jason@redhat.com>
|
|
3278
|
|
3279 PR c++/39367
|
|
3280 * init.c (build_new_1): Don't use a VLA type.
|
|
3281 (build_vec_init): Handle getting a pointer for BASE.
|
|
3282
|
|
3283 2009-03-06 H.J. Lu <hongjiu.lu@intel.com>
|
|
3284
|
|
3285 PR c++/37520
|
|
3286 * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL
|
|
3287 when mangling symbols.
|
|
3288
|
|
3289 2009-03-06 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3290
|
|
3291 PR c++/33492
|
|
3292 * error.c (dump_expr): Don't try to print THROW_EXPRs in full.
|
|
3293
|
|
3294 2009-03-06 Alexandre Oliva <aoliva@redhat.com>
|
|
3295
|
|
3296 * decl.c (record_builtin_java_type): Use canonicalized integer
|
|
3297 types.
|
|
3298
|
|
3299 2009-03-04 Jason Merrill <jason@redhat.com>
|
|
3300
|
|
3301 PR c++/38908
|
|
3302 * class.c (is_really_empty_class): New fn.
|
|
3303 * cp-tree.h: Declare it.
|
|
3304 * cp-objcp-common.c (cp_expr_size): Use it.
|
|
3305
|
|
3306 PR c++/13549
|
|
3307 * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR.
|
|
3308 * parser.c (cp_parser_postfix_expression): Call it for
|
|
3309 TEMPLATE_ID_EXPR.
|
|
3310 * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR.
|
|
3311 (get_first_fn): Likewise.
|
|
3312
|
|
3313 PR c++/9634
|
|
3314 PR c++/29469
|
|
3315 PR c++/29607
|
|
3316 Implement DR 224.
|
|
3317 * decl.c (make_typename_type): Do look inside currently open classes.
|
|
3318 * parser.c (cp_parser_lookup_name): Likewise.
|
|
3319 (cp_parser_template_name): Likewise.
|
|
3320 * pt.c (dependent_scope_p): New function.
|
|
3321 * cp-tree.h: Declare it.
|
|
3322 * class.c (currently_open_class): Return fast if T isn't a class.
|
|
3323
|
|
3324 2009-02-26 H.J. Lu <hongjiu.lu@intel.com>
|
|
3325
|
|
3326 PR c++/37789
|
|
3327 * parser.c (cp_parser_mem_initializer): Return error_mark_node
|
|
3328 if cp_parser_mem_initializer_id returns error_mark_node.
|
|
3329
|
|
3330 2009-02-24 Richard Guenther <rguenther@suse.de>
|
|
3331
|
|
3332 PR c++/39242
|
|
3333 * pt.c (instantiate_decl): Do not instantiate extern, non-inline
|
|
3334 declared functions.
|
|
3335
|
|
3336 2009-02-23 H.J. Lu <hongjiu.lu@intel.com>
|
|
3337
|
|
3338 PR c++/36411
|
|
3339 * pt.c (coerce_template_template_parms): Return 0 if parameter
|
|
3340 is error_mark_node.
|
|
3341
|
|
3342 2009-02-23 Jason Merrill <jason@redhat.com>
|
|
3343
|
|
3344 * pt.c (unify): Call maybe_adjust_types_for_deduction when
|
|
3345 deducing from an initializer list.
|
|
3346
|
|
3347 2009-02-20 Jason Merrill <jason@redhat.com>
|
|
3348
|
|
3349 PR c++/39225
|
|
3350 * decl.c (grokdeclarator): Handle ~identifier.
|
|
3351
|
|
3352 2009-02-19 Jakub Jelinek <jakub@redhat.com>
|
|
3353
|
|
3354 PR target/39175
|
|
3355 * decl2.c (determine_visibility): If visibility changed and
|
|
3356 DECL_RTL has been already set, call make_decl_rtl to update symbol
|
|
3357 flags.
|
|
3358
|
|
3359 2009-02-19 H.J. Lu <hongjiu.lu@intel.com>
|
|
3360
|
|
3361 PR c++/39188
|
|
3362 * cp-tree.h (maybe_commonize_var): New.
|
|
3363
|
|
3364 * decl.c (maybe_commonize_var): Make it extern.
|
|
3365
|
|
3366 * decl2.c (finish_anon_union): Call maybe_commonize_var.
|
|
3367
|
|
3368 2009-02-18 H.J. Lu <hongjiu.lu@intel.com>
|
|
3369
|
|
3370 PR c++/39219
|
|
3371 * parser.c (cp_parser_enum_specifier): Apply all attributes.
|
|
3372
|
|
3373 2009-02-18 Jason Merrill <jason@redhat.com>
|
|
3374
|
|
3375 * cfns.h: Tweak pathname for cfns.gperf.
|
|
3376
|
|
3377 2009-02-13 Jason Merrill <jason@redhat.com>
|
|
3378
|
|
3379 PR c++/39070
|
|
3380 * semantics.c (finish_call_expr): Change koenig_p parm to int.
|
|
3381 If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates.
|
|
3382 * cp-tree.h: Adjust prototype.
|
|
3383 * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1.
|
|
3384
|
|
3385 2009-02-12 Jason Merrill <jason@redhat.com>
|
|
3386
|
|
3387 PR c++/38950
|
|
3388 * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type.
|
|
3389
|
|
3390 2009-02-11 Jason Merrill <jason@redhat.com>
|
|
3391
|
|
3392 PR c++/39153
|
|
3393 * decl2.c (cp_write_global_declarations):
|
|
3394 Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL.
|
|
3395
|
|
3396 PR c++/30111
|
|
3397 * init.c (build_value_init_noctor): Split out from...
|
|
3398 (build_value_init): ...here.
|
|
3399 (expand_aggr_init_1): Handle value-initialization.
|
|
3400 * cp-tree.h: Add declaration.
|
|
3401 * class.c (type_has_user_provided_constructor):
|
|
3402 Handle non-class arguments.
|
|
3403
|
|
3404 2009-02-10 Jason Merrill <jason@redhat.com>
|
|
3405
|
|
3406 PR c++/38649
|
|
3407 * class.c (defaultable_fn_p): Handle ... properly.
|
|
3408
|
|
3409 PR c++/36744
|
|
3410 * tree.c (lvalue_p_1): Condition rvalue ref handling on
|
|
3411 treat_class_rvalues_as_lvalues, too.
|
|
3412
|
|
3413 2009-02-10 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3414
|
|
3415 PR c++/34397
|
|
3416 * typeck.c (build_x_array_ref): New.
|
|
3417 * cp-tree.h: Declare it.
|
|
3418 * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF.
|
|
3419
|
|
3420 2009-02-09 Jason Merrill <jason@redhat.com>
|
|
3421
|
|
3422 PR c++/39109
|
|
3423 * semantics.c (simplify_aggr_init_expr): Do zero-initialization here.
|
|
3424 * init.c (build_value_init): Not here. Don't build a TARGET_EXPR.
|
|
3425 * tree.c (get_target_expr): Handle AGGR_INIT_EXPR.
|
|
3426 * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling
|
|
3427 for build_value_init TARGET_EXPR.
|
|
3428 * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro.
|
|
3429
|
|
3430 2009-02-06 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3431
|
|
3432 PR c++/35147
|
|
3433 PR c++/37737
|
|
3434 * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH.
|
|
3435
|
|
3436 2009-02-04 Jakub Jelinek <jakub@redhat.com>
|
|
3437
|
|
3438 PR c++/39095
|
|
3439 * operators.def: Use COMPONENT_REF code for ->/pt operator again,
|
|
3440 remove ./dt operator.
|
|
3441 * mangle.c (write_expression): Handle COMPONENT_REF after handling
|
|
3442 ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it
|
|
3443 write_string ("dt") instead of using operators.def.
|
|
3444
|
|
3445 2009-02-03 Jason Merrill <jason@redhat.com>
|
|
3446
|
|
3447 * typeck.c (cp_build_unary_op): Only complain about taking address
|
|
3448 of main if pedantic.
|
|
3449
|
|
3450 2009-02-03 Jakub Jelinek <jakub@redhat.com>
|
|
3451
|
|
3452 PR inline-asm/39059
|
|
3453 * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs.
|
|
3454
|
|
3455 PR c++/39056
|
|
3456 * typeck2.c (digest_init_r): Don't call process_init_constructor
|
|
3457 for COMPLEX_TYPE.
|
|
3458
|
|
3459 2009-02-03 Paolo Bonzini <bonzini@gnu.org>
|
|
3460
|
|
3461 PR c++/36897
|
|
3462 * pt.c (convert_nontype_argument_function): Expect expr to be an
|
|
3463 ADDR_EXPR.
|
|
3464
|
|
3465 PR c++/37314
|
|
3466 * typeck.c (merge_types): Call resolve_typename_type if only
|
|
3467 one type is a typename.
|
|
3468
|
|
3469 2009-02-02 Jason Merrill <jason@redhat.com>
|
|
3470
|
|
3471 PR c++/39054
|
|
3472 * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node
|
|
3473 in BIT_NOT_EXPR.
|
|
3474
|
|
3475 2009-02-01 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3476
|
|
3477 PR c++/39053
|
|
3478 * parser.c (cp_parser_pure_specifier): If there are no tokens left
|
|
3479 do not call cp_lexer_consume_token.
|
|
3480
|
|
3481 2009-01-30 Jakub Jelinek <jakub@redhat.com>
|
|
3482
|
|
3483 PR c++/39028
|
|
3484 * parser.c (cp_parser_already_scoped_statement): Handle __label__
|
|
3485 declarations.
|
|
3486
|
|
3487 2009-01-30 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3488
|
|
3489 PR c++/33465
|
|
3490 * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR.
|
|
3491
|
|
3492 2009-01-30 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3493
|
|
3494 PR c++/38655
|
|
3495 * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE.
|
|
3496
|
|
3497 2009-01-29 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3498
|
|
3499 * typeck.c (invalid_nonstatic_memfn_p): Use
|
|
3500 DECL_NONSTATIC_MEMBER_FUNCTION_P.
|
|
3501
|
|
3502 2009-01-27 Paolo Carlini <paolo.carlini@oracle.com>
|
|
3503
|
|
3504 PR c++/37554
|
|
3505 * call.c (build_over_call): If convert_for_arg_passing returns
|
|
3506 error_mark_node unconditionally return it.
|
|
3507
|
|
3508 2009-01-22 Adam Nemet <anemet@caviumnetworks.com>
|
|
3509
|
|
3510 * class.c (check_field_decls): Also inherit packed for bitfields
|
|
3511 regardless of their type.
|
|
3512
|
|
3513 2009-01-22 Dodji Seketeli <dodji@redhat.com>
|
|
3514
|
|
3515 PR c++/38930
|
|
3516 * decl2.c (grokfield): Reverting changes of PR c++/26693
|
|
3517 (save_template_attributes): Likewise.
|
|
3518 * decl.c (grokdeclarator): Likewise.
|
|
3519 * name-lookup.c (pushdecl_maybe_friend): Likewise.
|
|
3520 * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise.
|
|
3521 (append_type_to_template_for_access_check): Likewise.
|
|
3522 * semantics.c (check_accessibility_of_qualified_id): Likewise.
|
|
3523 * pt.c (instantiate_class_template, instantiate_template ): Likewise.
|
|
3524 (tsubst): Likewise.
|
|
3525 (resolve_type_name_type): Likewise.
|
|
3526 (append_type_to_template_for_access_check): Likewise.
|
|
3527
|
|
3528 2009-01-21 Dodji Seketeli <dodji@redhat.com>
|
|
3529
|
|
3530 PR c++/26693
|
|
3531 * decl2.c (grokfield): when a typedef appears in a
|
|
3532 class, create the typedef variant type node for it.
|
|
3533 (save_template_attributes): Creating typedef variant type node
|
|
3534 here is now useless.
|
|
3535 * decl.c (grokdeclarator): If the typedef'ed struct/class was
|
|
3536 anonymous, set the proper type name to all its type variants.
|
|
3537 * name-lookup.c (pushdecl_maybe_friend): Reuse the
|
|
3538 set_underlying_type function to install typedef variant types.
|
|
3539 * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
|
|
3540 macro.
|
|
3541 (append_type_to_template_for_access_check): New entry points.
|
|
3542 * semantics.c (check_accessibility_of_qualified_id):
|
|
3543 When a typedef that is a member of a class appears in a template,
|
|
3544 add it to the template. It will be ...
|
|
3545 * pt.c (instantiate_class_template, instantiate_template ): ... access
|
|
3546 checked at template instantiation time.
|
|
3547 (tsubst): Handle the case of being called with NULL args.
|
|
3548 (resolve_type_name_type): The type name should be the name of the
|
|
3549 main type variant.
|
|
3550 (append_type_to_template_for_access_check): New entry point.
|
|
3551
|
|
3552 2009-01-19 Jason Merrill <jason@redhat.com>
|
|
3553
|
|
3554 PR c++/23287
|
|
3555 * parser.c (cp_parser_unqualified_id): In a template,
|
|
3556 accept ~identifier.
|
|
3557 * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE.
|
|
3558
|
|
3559 2009-01-16 Jason Merrill <jason@redhat.com>
|
|
3560
|
|
3561 PR c++/38877
|
|
3562 * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF.
|
|
3563 * init.c (build_new): Don't call describable_type unless we
|
|
3564 have an auto.
|
|
3565
|
|
3566 PR c++/29470
|
|
3567 * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags.
|
|
3568
|
|
3569 PR c++/38579
|
|
3570 * search.c (protected_accessible_p): N doesn't vary.
|
|
3571
|
|
3572 2009-01-15 Jason Merrill <jason@redhat.com>
|
|
3573
|
|
3574 PR c++/38850
|
|
3575 * pt.c (tsubst_copy_and_build): Tell finish_call_expr to
|
|
3576 accept hidden friends.
|
|
3577
|
|
3578 2009-01-15 Andrew Pinski <andrew_pinski@playstation.sony.com>
|
|
3579
|
|
3580 PR C++/29388
|
|
3581 * decl.c (grokdeclarator): Check for a non namespace/class context.
|
|
3582
|
|
3583 2009-01-15 Jason Merrill <jason@redhat.com>
|
|
3584
|
|
3585 PR c++/36334
|
|
3586 PR c++/37646
|
|
3587 * tree.c (lvalue_p_1): Handle BASELINK. A COMPONENT_REF to
|
|
3588 a function isn't necessarily an lvalue. Take tree, not const_tree.
|
|
3589 (lvalue_p, real_lvalue_p): Take tree, not const_tree.
|
|
3590 * typeck.c (lvalue_or_else): Likewise.
|
|
3591 * cp-tree.h: Adjust prototypes.
|
|
3592
|
|
3593 2009-01-15 Steve Ellcey <sje@cup.hp.com>
|
|
3594
|
|
3595 PR c++/38357
|
|
3596 * pt.c (tsubst): Check for NULL args.
|
|
3597
|
|
3598 2009-01-15 Dodji Seketeli <dodji@redhat.com>
|
|
3599
|
|
3600 PR c++/38636
|
|
3601 * name-lookup.c (pushtag): Don't create members to types that are not
|
|
3602 being created.
|
|
3603
|
|
3604 2009-01-14 Nick Clifton <nickc@redhat.com>
|
|
3605
|
|
3606 PR c++/37862
|
|
3607 * parser.c: Pass cp_id_kind computed in
|
|
3608 cp_parser_postfix_dot_deref_expression to
|
|
3609 cp_parser_primary_expression.
|
|
3610
|
|
3611 2009-01-13 Jakub Jelinek <jakub@redhat.com>
|
|
3612
|
|
3613 PR c++/38795
|
|
3614 * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR,
|
|
3615 STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same
|
|
3616 as CAST_EXPR.
|
|
3617
|
|
3618 2009-01-12 Jason Merrill <jason@redhat.com>
|
|
3619 Steve Ellcey <sje@cup.hp.com>
|
|
3620
|
|
3621 PR c++/35109
|
|
3622 * name-lookup.c (lookup_name_real): Keep looking past a hidden
|
|
3623 binding.
|
|
3624
|
|
3625 2009-01-12 Dodji Seketeli <dodji@redhat.com>
|
|
3626
|
|
3627 PR c++/36019
|
|
3628 * pt.c (parameter_of_template_p): New function.
|
|
3629 * cp-tree.h: Declare it.
|
|
3630 * name-lookup.c (binding_to_template_parms_of_scope_p): New
|
|
3631 function.
|
|
3632 (outer_binding): Take template parameters in account when looking for
|
|
3633 a name binding.
|
|
3634
|
|
3635 2009-01-12 Jason Merrill <jason@redhat.com>
|
|
3636
|
|
3637 PR c++/31488
|
|
3638 * tree.c (pod_type_p): Return 1 for structs created by the back end.
|
|
3639
|
|
3640 2009-01-12 Jakub Jelinek <jakub@redhat.com>
|
|
3641
|
|
3642 PR c/32041
|
|
3643 * parser.c (cp_parser_builtin_offsetof): Allow `->' in
|
|
3644 offsetof member-designator, handle it as `[0].'.
|
|
3645
|
|
3646 PR c++/38794
|
|
3647 * decl.c (start_function): If grokdeclarator hasn't returned
|
|
3648 FUNCTION_DECL nor error_mark_node, issue diagnostics.
|
|
3649
|
|
3650 2009-01-11 Jakub Jelinek <jakub@redhat.com>
|
|
3651
|
|
3652 PR c++/36254
|
|
3653 * cp-gimplify.c (genericize_if_stmt): Renamed from ...
|
|
3654 (gimplify_if_stmt): ... this.
|
|
3655 (cp_gimplify_expr): Don't handle IF_STMT here.
|
|
3656 (cp_genericize_r): Call genericize_if_stmt for IF_STMT.
|
|
3657
|
|
3658 2009-01-10 Andrew Pinski <pinskia@gmail.com>
|
|
3659
|
|
3660 PR c++/38648
|
|
3661 * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl.
|
|
3662
|
|
3663 PR c++/36695
|
|
3664 * typeck2.c (build_functional_cast): Check for reference type and NULL
|
|
3665 PARMS.
|
|
3666
|
|
3667 2009-01-09 Steve Ellcey <sje@cup.hp.com>
|
|
3668
|
|
3669 * typeck.c (cp_build_unary_op): Check for ERROR_MARK.
|
|
3670
|
|
3671 2009-01-09 Jakub Jelinek <jakub@redhat.com>
|
|
3672
|
|
3673 PR c++/35335
|
|
3674 * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR.
|
|
3675
|
|
3676 2009-01-09 John F. Carr <jfc@mit.edu>
|
|
3677
|
|
3678 PR c++/37877
|
|
3679 * parser.c (cp_parser_class_specifier): Clear
|
|
3680 parser->in_unbraced_linkage_specification_p while parsing class
|
|
3681 specifiers.
|
|
3682
|
|
3683 2009-01-07 Jakub Jelinek <jakub@redhat.com>
|
|
3684
|
|
3685 PR c++/38725
|
|
3686 * semantics.c (finish_goto_stmt): Convert destination to
|
|
3687 void *.
|
|
3688
|
|
3689 2009-01-06 Jason Merrill <jason@redhat.com>
|
|
3690
|
|
3691 PR c++/35297
|
|
3692 PR c++/35477
|
|
3693 PR c++/35784
|
|
3694 PR c++/36846
|
|
3695 PR c++/38276
|
|
3696 * pt.c (check_default_tmpl_args): Don't complain about
|
|
3697 out-of-order parameter packs in the enclosing class
|
|
3698 or parameter packs after default args.
|
|
3699 (coerce_template_parms): If we have more than one
|
|
3700 parameter pack, don't flatten argument packs.
|
|
3701 (template_args_equal): Handle argument packs.
|
|
3702 (comp_template_args): Don't flatten argument packs.
|
|
3703 (check_instantiated_arg): Split out from...
|
|
3704 (check_instantiated_args): Here. Handle arg packs.
|
|
3705 (convert_template_argument): Just check that nontype argument
|
|
3706 packs have the right type.
|
|
3707
|
|
3708 2009-01-05 Dodji Seketeli <dodji@redhat.com>
|
|
3709
|
|
3710 PR c++/38472
|
|
3711 * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo.
|
|
3712
|
|
3713 2009-01-05 Jason Merrill <jason@redhat.com>
|
|
3714
|
|
3715 PR c++/38698
|
|
3716 * typeck2.c (process_init_constructor_union): Handle union with
|
|
3717 no fields.
|
|
3718
|
|
3719 * mangle.c (write_expression): Remove mangling for zero-operand
|
|
3720 casts.
|
|
3721
|
|
3722 PR c++/38701
|
|
3723 * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid
|
|
3724 defaulting.
|
|
3725
|
|
3726 PR c++/38702
|
|
3727 * class.c (defaultable_fn_p): Only operator== can be a copy
|
|
3728 assignment operator.
|
|
3729
|
|
3730 2009-01-02 Jason Merrill <jason@redhat.com>
|
|
3731
|
|
3732 PR c++/38698
|
|
3733 * typeck2.c (process_init_constructor_union): Handle excess
|
|
3734 initializers.
|
|
3735 (process_init_constructor_record): Likewise.
|
|
3736
|
|
3737 PR c++/38684
|
|
3738 * typeck2.c (digest_init_r): Don't use process_init_constructor
|
|
3739 for non-aggregate classes.
|
|
3740
|
|
3741
|
|
3742 Copyright (C) 2009 Free Software Foundation, Inc.
|
|
3743
|
|
3744 Copying and distribution of this file, with or without modification,
|
|
3745 are permitted in any medium without royalty provided the copyright
|
|
3746 notice and this notice are preserved.
|