1 |
283 |
jeremybenn |
2009-12-28 Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
47 |
|
|
|
48 |
|
|
* decl.c (finish_function): Rename pre-genericize event.
|
49 |
|
|
|
50 |
|
|
2009-12-19 Dodji Seketeli
|
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
|
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
|
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
|
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
|
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
|
120 |
|
|
|
121 |
|
|
PR c++/42387
|
122 |
|
|
* decl.c (compute_array_index_type): Mark a VLA as dependent.
|
123 |
|
|
|
124 |
|
|
2009-12-15 Jason Merrill
|
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
|
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
|
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
|
144 |
|
|
Shujing Zhao
|
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
|
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
|
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
|
177 |
|
|
|
178 |
|
|
PR c++/42251
|
179 |
|
|
* pt.c (convert_template_argument): Avoid missing folding of SCOPE_REFs.
|
180 |
|
|
|
181 |
|
|
2009-12-10 Jakub Jelinek
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
232 |
|
|
Shujing Zhao
|
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
|
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
|
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
|
290 |
|
|
|
291 |
|
|
* semantics.c (begin_class_definition): Do not overide locations with less precise ones.
|
292 |
|
|
|
293 |
|
|
2009-12-01 Jason Merrill
|
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
|
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
|
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
|
314 |
|
|
|
315 |
|
|
PR c++/42069
|
316 |
|
|
* pt.c (convert_template_argument): Strip typedefs from SCOPE_REFs.
|
317 |
|
|
|
318 |
|
|
2009-11-29 Dodji Seketeli
|
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
|
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
|
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) : Use it.
|
341 |
|
|
|
342 |
|
|
2009-11-27 Paolo Carlini
|
343 |
|
|
|
344 |
|
|
PR c++/38656
|
345 |
|
|
* cxx-pretty-print.c (pp_cxx_expression): Handle TEMPLATE_ID_EXPR.
|
346 |
|
|
|
347 |
|
|
2009-11-27 Paolo Carlini
|
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
|
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
|
362 |
|
|
|
363 |
|
|
* decl.c (grokdeclarator): Remove period at end of diagnosic message.
|
364 |
|
|
|
365 |
|
|
2009-11-25 Jason Merrill
|
366 |
|
|
|
367 |
|
|
PR c++/10690
|
368 |
|
|
* rtti.c (get_tinfo_decl_dynamic): Call resolve_nondeduced_context.
|
369 |
|
|
|
370 |
|
|
2009-11-24 Jason Merrill
|
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
|
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
|
392 |
|
|
|
393 |
|
|
PR c++/14777
|
394 |
|
|
* cp-tree.def : 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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
637 |
|
|
|
638 |
|
|
* decl2.c (constrain_visibility): Clear WEAK and COMMON flags.
|
639 |
|
|
|
640 |
|
|
2009-11-11 Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
845 |
|
|
|
846 |
|
|
Revert:
|
847 |
|
|
* decl.c (cp_fname_init): Correct build_string argument.
|
848 |
|
|
|
849 |
|
|
2009-10-30 Jerry Quinn
|
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
|
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
|
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
|
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
|
888 |
|
|
|
889 |
|
|
* decl.c (cp_fname_init): Correct build_string argument.
|
890 |
|
|
|
891 |
|
|
2009-10-27 Jason Merrill
|
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
|
905 |
|
|
|
906 |
|
|
PR debug/41828
|
907 |
|
|
* cp-lang.c (cxx_dwarf_name): Return NULL instead of
|
908 |
|
|
for anonymous aggregate names.
|
909 |
|
|
|
910 |
|
|
2009-10-26 Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
1010 |
|
|
|
1011 |
|
|
PR c++/37204
|
1012 |
|
|
* typeck.c (build_reinterpret_cast_1): Handle rvalue refs
|
1013 |
|
|
properly.
|
1014 |
|
|
|
1015 |
|
|
2009-10-11 Richard Guenther
|
1016 |
|
|
|
1017 |
|
|
* tree.c (cp_free_lang_data): Drop anonymous aggregate names.
|
1018 |
|
|
|
1019 |
|
|
2009-10-08 Jason Merrill
|
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
|
1034 |
|
|
|
1035 |
|
|
* cp-tree.h: Fix location of documentation for DECL_LANG_FLAG_7.
|
1036 |
|
|
|
1037 |
|
|
2009-10-07 Jason Merrill
|
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
|
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
|
1066 |
|
|
|
1067 |
|
|
* parser.c: Mark lambda_scope and lambda_count for PCH.
|
1068 |
|
|
|
1069 |
|
|
2009-10-03 Jason Merrill
|
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
|
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
|
1084 |
|
|
|
1085 |
|
|
* call.c (convert_arg_to_ellipsis): Avoid promoting decimal32
|
1086 |
|
|
to double.
|
1087 |
|
|
|
1088 |
|
|
2009-10-01 Jason Merrill
|
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
|
1097 |
|
|
Jason Merrill
|
1098 |
|
|
|
1099 |
|
|
* decl.c (grokdeclarator): Set constexprness before announcing
|
1100 |
|
|
friendship.
|
1101 |
|
|
|
1102 |
|
|
2009-10-01 Gabriel Dos Reis
|
1103 |
|
|
|
1104 |
|
|
* decl.c (record_builtin_java_type): Undo unintended change.
|
1105 |
|
|
(cxx_init_decl_processing): Likewise.
|
1106 |
|
|
|
1107 |
|
|
2009-10-01 Jason Merrill
|
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
|
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
|
1135 |
|
|
|
1136 |
|
|
* semantics.c (lambda_expr_this_capture): Fix default capture
|
1137 |
|
|
of explicit capture of 'this'.
|
1138 |
|
|
|
1139 |
|
|
2009-09-30 Jason Merrill
|
1140 |
|
|
|
1141 |
|
|
* parser.c (cp_parser_lambda_expression): Don't add __ to __this.
|
1142 |
|
|
|
1143 |
|
|
2009-09-30 Jason Merrill
|
1144 |
|
|
|
1145 |
|
|
* cp-tree.h (LANG_DECL_U2_CHECK): Check LANG_DECL_HAS_MIN.
|
1146 |
|
|
|
1147 |
|
|
2009-09-29 John Freeman
|
1148 |
|
|
Jason Merrill
|
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
|
1239 |
|
|
|
1240 |
|
|
* mangle.c (write_builtin_type): Support decimal float types.
|
1241 |
|
|
|
1242 |
|
|
2009-09-28 Richard Henderson
|
1243 |
|
|
|
1244 |
|
|
* cp-objcp-common.h (LANG_HOOKS_EH_USE_CXA_END_CLEANUP): New.
|
1245 |
|
|
|
1246 |
|
|
2009-09-24 Jakub Jelinek
|
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
|
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
|
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
|
1277 |
|
|
|
1278 |
|
|
PR c++/41421
|
1279 |
|
|
* tree.c (trivial_type_p): Fix logic.
|
1280 |
|
|
|
1281 |
|
|
2009-09-21 Jason Merrill
|
1282 |
|
|
|
1283 |
|
|
* name-lookup.c (push_class_level_binding): Sanity check.
|
1284 |
|
|
|
1285 |
|
|
2009-09-18 Jason Merrill
|
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
|
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
|
1313 |
|
|
Jakub Jelinek
|
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
|
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
|
1331 |
|
|
Rafael Avila de Espindola
|
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
|
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
|
1352 |
|
|
|
1353 |
|
|
* repo.c (extract_string, get_base_filename, init_repo): constify.
|
1354 |
|
|
|
1355 |
|
|
2009-09-09 Jason Merrill
|
1356 |
|
|
|
1357 |
|
|
* error.c (find_typenames_r): Also add decltypes.
|
1358 |
|
|
|
1359 |
|
|
2009-09-09 Paolo Carlini
|
1360 |
|
|
|
1361 |
|
|
PR c++/28293
|
1362 |
|
|
* decl2.c (grokfield): Check for explicit template argument lists.
|
1363 |
|
|
|
1364 |
|
|
2009-09-09 Jack Howarth
|
1365 |
|
|
|
1366 |
|
|
PR bootstrap/41180
|
1367 |
|
|
* Make-lang.in: Remove redundant code from linkage for darwin10.
|
1368 |
|
|
|
1369 |
|
|
2009-09-08 Paolo Carlini
|
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
|
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
|
1394 |
|
|
|
1395 |
|
|
* tree.c (cp_fix_function_decl_p): New.
|
1396 |
|
|
(cp_free_lang_data): New.
|
1397 |
|
|
|
1398 |
|
|
2009-09-03 Diego Novillo
|
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
|
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
|
1419 |
|
|
|
1420 |
|
|
* cp-lang.c (lang_hooks): Remove const qualifier.
|
1421 |
|
|
|
1422 |
|
|
2009-09-02 Jason Merrill
|
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
|
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
|
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
|
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
|
1448 |
|
|
|
1449 |
|
|
* cp-objcp-common.h (LANG_HOOKS_MARK_ADDRESSABLE): Remove.
|
1450 |
|
|
|
1451 |
|
|
2009-08-31 Dodji Seketeli
|
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
|
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
|
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
|
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
|
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
|
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
|
1529 |
|
|
|
1530 |
|
|
PR c++/41131
|
1531 |
|
|
* tree.c (lvalue_p_1) : Return clk_none if
|
1532 |
|
|
not TREE_STATIC.
|
1533 |
|
|
|
1534 |
|
|
2009-08-19 Jason Merrill
|
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
|
1542 |
|
|
|
1543 |
|
|
* method.c (use_thunk): Call free_after_compilation after
|
1544 |
|
|
assemble_end_function.
|
1545 |
|
|
|
1546 |
|
|
2009-08-17 Richard Guenther
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
1618 |
|
|
Jakub Jelinek
|
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
|
1625 |
|
|
Douglas Gregor
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
1735 |
|
|
Manuel López-Ibáñez
|
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
|
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
|
1787 |
|
|
Rafael Espindola
|
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
|
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
|
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
|
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
|
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
|
1843 |
|
|
|
1844 |
|
|
PR c++/40502
|
1845 |
|
|
* error.c (cp_print_error_function): Check for NULL block.
|
1846 |
|
|
|
1847 |
|
|
2008-07-09 Simon Martin
|
1848 |
|
|
Jason Merrill
|
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
|
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
|
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
|
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
|
1874 |
|
|
|
1875 |
|
|
* semantics.c (finalize_nrv_r): Replace EXPR_LOCUS by
|
1876 |
|
|
EXPR_LOCATION.
|
1877 |
|
|
|
1878 |
|
|
2009-07-07 Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
2022 |
|
|
|
2023 |
|
|
* g++spec.c (lang_specific_driver): Bump num_args by 1.
|
2024 |
|
|
|
2025 |
|
|
2009-06-30 Jason Merrill
|
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
|
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
|
2039 |
|
|
|
2040 |
|
|
* decl.c (duplicate_decls): Re-indent.
|
2041 |
|
|
|
2042 |
|
|
2009-06-25 Ian Lance Taylor
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
2248 |
|
|
|
2249 |
|
|
PR c++/40381
|
2250 |
|
|
* decl2.c (mark_used): Return after complaining about deleted fn.
|
2251 |
|
|
|
2252 |
|
|
2009-06-08 Jason Merrill
|
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
|
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
|
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
|
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
|
2284 |
|
|
|
2285 |
|
|
* Make-lang.in (cc1plus-checksum.o): Depend upon $(CONFIG_H) and
|
2286 |
|
|
$(SYSTEM_H).
|
2287 |
|
|
|
2288 |
|
|
2009-06-02 Mark Mitchell
|
2289 |
|
|
|
2290 |
|
|
* decl.c (maybe_deduce_size_from_array_init): Use relayout_decl.
|
2291 |
|
|
|
2292 |
|
|
2009-06-02 Jason Merrill
|
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
|
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
|
2316 |
|
|
|
2317 |
|
|
* error.c (print_instantiation_partial_context): Print column
|
2318 |
|
|
numbers.
|
2319 |
|
|
|
2320 |
|
|
2009-05-29 Ian Lance Taylor
|
2321 |
|
|
|
2322 |
|
|
* error.c (cp_printer): Don't use va_arg with enum type.
|
2323 |
|
|
|
2324 |
|
|
2009-05-28 Dodji Seketeli
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
2520 |
|
|
|
2521 |
|
|
* typeck.c (build_binary_op): Allow % on integal vectors.
|
2522 |
|
|
|
2523 |
|
|
2009-05-18 Jason Merrill
|
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
|
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
|
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
|
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
|
2587 |
|
|
|
2588 |
|
|
PR 16302
|
2589 |
|
|
* call.c (build_new_op): Update calls to warn_logical_operator.
|
2590 |
|
|
|
2591 |
|
|
2009-05-14 Ian Lance Taylor
|
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 :
|
2599 |
|
|
|
2600 |
|
|
* decl.c (duplicate_decls): Preserve parameter attributes.
|
2601 |
|
|
|
2602 |
|
|
2009-05-10 Jan Hubicka
|
2603 |
|
|
|
2604 |
|
|
* decl2.c (cxx_callgraph_analyze_expr): Use
|
2605 |
|
|
cgraph_mark_address_taken.
|
2606 |
|
|
|
2607 |
|
|
2009-05-10 Joseph Myers
|
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
|
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
|
2655 |
|
|
|
2656 |
|
|
PR c++/17395
|
2657 |
|
|
* pt.c (tsubst_copy) : We don't want to tsubst the
|
2658 |
|
|
whole list of PARM_DECLs, just the current one.
|
2659 |
|
|
|
2660 |
|
|
2009-05-05 Shujing Zhao
|
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
|
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
|
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
|
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
|
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
|
2740 |
|
|
|
2741 |
|
|
PR c++/35652
|
2742 |
|
|
Revert:
|
2743 |
|
|
|
2744 |
|
|
2009-03-27 Manuel Lopez-Ibanez
|
2745 |
|
|
|
2746 |
|
|
* typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
|
2747 |
|
|
|
2748 |
|
|
2009-04-27 Ian Lance Taylor
|
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
|
2754 |
|
|
|
2755 |
|
|
PR c++/39875
|
2756 |
|
|
* cvt.c (convert_to_void) : Only warn about
|
2757 |
|
|
-Wunused-value if implicit.
|
2758 |
|
|
|
2759 |
|
|
2009-04-24 Ian Lance Taylor
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
2912 |
|
|
|
2913 |
|
|
PR c++/39750
|
2914 |
|
|
* pt.c (uses_template_parms): Handle CONSTRUCTOR.
|
2915 |
|
|
|
2916 |
|
|
2009-04-12 Jason Merrill
|
2917 |
|
|
|
2918 |
|
|
PR c++/39742
|
2919 |
|
|
* call.c (joust): Don't crash on variadic fn.
|
2920 |
|
|
|
2921 |
|
|
2009-04-10 Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
2983 |
|
|
Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
3115 |
|
|
|
3116 |
|
|
* except.c (choose_personality_routine): Set terminate_node to abort
|
3117 |
|
|
for java exceptions.
|
3118 |
|
|
|
3119 |
|
|
2009-03-27 Dodji Seketeli
|
3120 |
|
|
Jakub Jelinek
|
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
|
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
|
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
|
3141 |
|
|
|
3142 |
|
|
PR c++/29727
|
3143 |
|
|
* decl.c (check_array_designated_initializer): Handle error_mark_node.
|
3144 |
|
|
|
3145 |
|
|
2009-03-27 Manuel Lopez-Ibanez
|
3146 |
|
|
|
3147 |
|
|
PR c++/35652
|
3148 |
|
|
* typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
|
3149 |
|
|
|
3150 |
|
|
2009-03-26 Andrew Haley
|
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
|
3160 |
|
|
|
3161 |
|
|
PR c++/28274
|
3162 |
|
|
* name-lookup.c (pushdecl_maybe_friend): Check default args later.
|
3163 |
|
|
|
3164 |
|
|
2009-03-23 Jakub Jelinek
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
3295 |
|
|
|
3296 |
|
|
* decl.c (record_builtin_java_type): Use canonicalized integer
|
3297 |
|
|
types.
|
3298 |
|
|
|
3299 |
|
|
2009-03-04 Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
3348 |
|
|
|
3349 |
|
|
PR c++/39225
|
3350 |
|
|
* decl.c (grokdeclarator): Handle ~identifier.
|
3351 |
|
|
|
3352 |
|
|
2009-02-19 Jakub Jelinek
|
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
|
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
|
3369 |
|
|
|
3370 |
|
|
PR c++/39219
|
3371 |
|
|
* parser.c (cp_parser_enum_specifier): Apply all attributes.
|
3372 |
|
|
|
3373 |
|
|
2009-02-18 Jason Merrill
|
3374 |
|
|
|
3375 |
|
|
* cfns.h: Tweak pathname for cfns.gperf.
|
3376 |
|
|
|
3377 |
|
|
2009-02-13 Jason Merrill
|
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
|
3386 |
|
|
|
3387 |
|
|
PR c++/38950
|
3388 |
|
|
* pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type.
|
3389 |
|
|
|
3390 |
|
|
2009-02-11 Jason Merrill
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
3482 |
|
|
|
3483 |
|
|
PR c++/39028
|
3484 |
|
|
* parser.c (cp_parser_already_scoped_statement): Handle __label__
|
3485 |
|
|
declarations.
|
3486 |
|
|
|
3487 |
|
|
2009-01-30 Paolo Carlini
|
3488 |
|
|
|
3489 |
|
|
PR c++/33465
|
3490 |
|
|
* error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR.
|
3491 |
|
|
|
3492 |
|
|
2009-01-30 Paolo Carlini
|
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
|
3498 |
|
|
|
3499 |
|
|
* typeck.c (invalid_nonstatic_memfn_p): Use
|
3500 |
|
|
DECL_NONSTATIC_MEMBER_FUNCTION_P.
|
3501 |
|
|
|
3502 |
|
|
2009-01-27 Paolo Carlini
|
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
|
3509 |
|
|
|
3510 |
|
|
* class.c (check_field_decls): Also inherit packed for bitfields
|
3511 |
|
|
regardless of their type.
|
3512 |
|
|
|
3513 |
|
|
2009-01-22 Dodji Seketeli
|
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
|
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
|
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
|
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
|
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
|
3579 |
|
|
|
3580 |
|
|
PR C++/29388
|
3581 |
|
|
* decl.c (grokdeclarator): Check for a non namespace/class context.
|
3582 |
|
|
|
3583 |
|
|
2009-01-15 Jason Merrill
|
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
|
3594 |
|
|
|
3595 |
|
|
PR c++/38357
|
3596 |
|
|
* pt.c (tsubst): Check for NULL args.
|
3597 |
|
|
|
3598 |
|
|
2009-01-15 Dodji Seketeli
|
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
|
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
|
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
|
3619 |
|
|
Steve Ellcey
|
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
|
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
|
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
|
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
|
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
|
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
|
3668 |
|
|
|
3669 |
|
|
* typeck.c (cp_build_unary_op): Check for ERROR_MARK.
|
3670 |
|
|
|
3671 |
|
|
2009-01-09 Jakub Jelinek
|
3672 |
|
|
|
3673 |
|
|
PR c++/35335
|
3674 |
|
|
* error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR.
|
3675 |
|
|
|
3676 |
|
|
2009-01-09 John F. Carr
|
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
|
3684 |
|
|
|
3685 |
|
|
PR c++/38725
|
3686 |
|
|
* semantics.c (finish_goto_stmt): Convert destination to
|
3687 |
|
|
void *.
|
3688 |
|
|
|
3689 |
|
|
2009-01-06 Jason Merrill
|
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
|
3709 |
|
|
|
3710 |
|
|
PR c++/38472
|
3711 |
|
|
* typeck.c (type_after_usual_arithmetic_conversions): Fix a typo.
|
3712 |
|
|
|
3713 |
|
|
2009-01-05 Jason Merrill
|
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
|
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.
|