re PR c++/47703 ([C++0x] ICE: std::sort chokes on simple lambda function)
[gcc.git] / gcc / cp / ChangeLog
1 2011-02-20 Jason Merrill <jason@redhat.com>
2
3 PR c++/47703
4 * error.c (location_of): Handle non-tagged types.
5
6 PR c++/46472
7 * method.c (process_subob_fn): Instantiate constexpr templates.
8 * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
9
10 2011-02-20 Dodji Seketeli <dodji@redhat.com>
11
12 PR c++/46394
13 * pt.c (tsubst_pack_expansion): do not use
14 cp_tree_equal/same_type_p to detect an expansion of a parameter
15 pack.
16
17 2011-02-19 Jason Merrill <jason@redhat.com>
18
19 PR c++/47503
20 * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
21
22 2011-02-18 Paolo Carlini <paolo.carlini@oracle.com>
23
24 PR c++/47795
25 * semantics.c (finish_non_static_data_member): Early return if
26 object is error_mark_node.
27
28 2011-02-18 Dodji Seketeli <dodji@redhat.com>
29
30 PR c++/47208
31 * pt.c (do_auto_deduction): Do not mention error_mark_node in
32 diagnostics.
33 * semantics.c (finish_id_expression): Do not pass erroneous decl
34 to decl_constant_var_p.
35
36 2011-02-17 Jakub Jelinek <jakub@redhat.com>
37
38 PR c++/47783
39 * cvt.c (convert_from_reference): Call mark_exp_read.
40
41 2011-02-11 Dodji Seketeli <dodji@redhat.com>
42
43 PR c++/47172
44 * pt.c (finish_call_expr): Consider a call expression that has a
45 dependent "this" pointer as being dependent. Add comments.
46 (dependent_type_p, type_dependent_expression_p): Update comments.
47
48 2011-02-16 Dodji Seketeli <dodji@redhat.com>
49
50 PR c++/47326
51 * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
52 expansion arguments are not evaluated.
53
54 2011-02-16 Jakub Jelinek <jakub@redhat.com>
55
56 PR c++/47704
57 * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
58 instead of TYPE_LANG_FLAG_3.
59 * pt.c (lookup_template_class): Copy over
60 ENUM_FIXED_UNDERLYING_TYPE_P.
61
62 2011-02-15 Jason Merrill <jason@redhat.com>
63
64 PR c++/46807
65 * method.c (synthesized_method_walk): Always exit early for
66 trivial fn in C++98 mode.
67
68 2011-02-14 Jason Merrill <jason@redhat.com>
69
70 PR c++/47482
71 * parser.c (cp_parser_enumerator_definition): Call
72 fold_non_dependent_expr.
73
74 2011-02-09 Jason Merrill <jason@redhat.com>
75
76 * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
77 * semantics.c (finish_fname): Only return the name if we're in
78 a function.
79
80 * decl.c (build_enumerator): Don't perform integral promotions on
81 non-integral constants.
82
83 * cvt.c (convert_to_void): Handle null op1.
84
85 * class.c (type_has_constexpr_default_constructor): Make sure the
86 caller stripped an enclosing array.
87 * init.c (perform_member_init): Strip arrays before calling it.
88
89 PR c++/47511
90 * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
91
92 2011-02-03 Dodji Seketeli <dodji@redhat.com>
93
94 PR c++/47398
95 * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
96 template parameters in account.
97
98 2011-02-03 Nathan Froyd <froydnj@codesourcery.com>
99
100 PR c++/46890
101 * parser.c (cp_parser_class_specifier): Fix setting of
102 want_semicolon.
103
104 2011-01-31 Jakub Jelinek <jakub@redhat.com>
105
106 PR c++/47416
107 * semantics.c (build_data_member_initialization): Handle
108 STATEMENT_LIST always instead of just for CLEANUP_BODY.
109
110 2011-01-31 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
111
112 * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
113 LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
114
115 2011-01-29 Dodji Seketeli <dodji@redhat.com>
116
117 PR c++/47311
118 * cp-tree.h (fixup_template_parms): Declare.
119 * pt.c (end_template_parm_list): Do not fixup template parms here.
120 (fixup_template_parms): Remove static. Fix typo in the
121 comments. Remove useless code statement.
122 (fixup_template_parm): For a template template parameter, fixup
123 its attributes before fixing up its type.
124 * parser.c
125 (cp_parser_template_declaration_after_export): After parsing
126 template parameters fixup their types.
127
128 2011-01-26 Jakub Jelinek <jakub@redhat.com>
129
130 PR c++/47476
131 * semantics.c (potential_constant_expression_1): Handle
132 TRUTH_XOR_EXPR.
133
134 2011-01-26 Dave Korn <dave.korn.cygwin@gmail.com>
135
136 PR c++/43601
137 * semantics.c (expand_or_defer_fn_1): Handle it.
138 * decl2.c (decl_needed_p): Likewise.
139
140 2011-01-21 Jason Merrill <jason@redhat.com>
141
142 PR c++/47041
143 * semantics.c (build_constexpr_constructor_member_initializers):
144 Handle trivial copy.
145
146 2011-01-21 Jakub Jelinek <jakub@redhat.com>
147
148 PR c++/47388
149 * semantics.c (begin_for_stmt): If -fno-for-scope, don't
150 assume init must be NULL if scope is NULL.
151 (begin_range_for_stmt): Likewise.
152
153 2011-01-21 Jason Merrill <jason@redhat.com>
154
155 PR c++/46552
156 * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
157
158 PR c++/46977
159 * semantics.c (potential_constant_expression_1): Split out from
160 potential_constant_expression. Add want_rval parm. Handle
161 template expression forms. Don't enforce restriction on address
162 of automatic variable here. Add a couple of diagnostics that
163 had been missing.
164 (require_potential_constant_expression): New entry point.
165 (build_data_member_initialization, register_constexpr_fundef): Adjust.
166 (maybe_constant_value): Check potential_constant_expression.
167 * pt.c (fold_non_dependent_expr_sfinae): Likewise.
168 * tree.c (build_vec_init_expr): Adjust.
169
170 2011-01-19 Jakub Jelinek <jakub@redhat.com>
171
172 PR c++/47303
173 * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
174 or DECL_EXTERNAL.
175
176 2011-01-17 Jason Merrill <jason@redhat.com>
177
178 PR c++/47067
179 * semantics.c (base_field_constructor_elt): New fn.
180 (cxx_eval_bare_aggregate): Use it.
181 (build_data_member_initialization): Leave COMPONENT_REF for
182 vfield inits.
183
184 2011-01-14 Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
185
186 * parser.c (cp_parser_range_for): Remove the "unused variable" warning
187 workaround.
188
189 2011-01-15 Giovanni Funchal <gafunchal@gmail.com>
190 Jonathan Wakely <jwakely.gcc@gmail.com>
191
192 PR c++/33558
193 * decl.c (grokdeclarator): Reject mutable reference members.
194
195 2011-01-14 Jason Merrill <jason@redhat.com>
196
197 PR c++/47289
198 * pt.c (coerce_template_parms): Fix error recovery.
199
200 PR c++/46903
201 * typeck2.c (check_narrowing): Only check arithmetic types.
202
203 PR c++/46688
204 * tree.c (build_vec_init_expr): Handle flexible array
205 properly.
206
207 2011-01-13 Kai Tietz <kai.tietz@onevision.com>
208
209 PR c++/47213
210 * cp-tree.h (CLASSTYPE_VISIBILITY): Use
211 TYPE_MAIN_DECL instead of TYPE_NAME.
212 (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
213 * decl2.c (determine_visibility): Add check
214 of CLASS_TYPE_P for underlying_type.
215
216 2011-01-12 Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
217
218 * cp-tree.h (begin_for_scope): New prototype.
219 (begin_for_stmt): Update prototype.
220 (begin_range_for_stmt): Update prototype.
221 * init.c (build_vec_init): Update call to begin_for_stmt.
222 * parser.c (cp_parser_for): New.
223 (cp_parser_c_for): Add three new parameters.
224 (cp_parser_range_for): Likewise. Most parsing code removed.
225 (cp_parser_iteration_statement): Call cp_parser_for instead of
226 cp_parser_c_for and cp_parser_range_for.
227 (cp_parser_for_init_statement): Add new parameter and return type.
228 (cp_parser_block_declaration): Update call to
229 cp_parser_simple_declaration.
230 (cp_parser_simple_declaration): Add new parameter.
231 Update call to cp_parser_init_declarator.
232 (cp_parser_init_declarator): Add new parameter.
233 * pt.c (tsubst_expr): Update call to begin_for_stmt.
234 * semantics.c (begin_for_scope): New.
235 (begin_for_stmt): Add two new parameters.
236 (begin_range_for_stmt): Likewise.
237
238 2011-01-12 Nicola Pero <nicola.pero@meta-innovation.com>
239
240 * parser.c (cp_parser_objc_at_property_declaration): Improved
241 error message.
242
243 2011-01-11 Dodji Seketeli <dodji@redhat.com>
244
245 PR debug/46955
246 * cp-lang.c (get_template_innermost_arguments_folded)
247 (get_template_argument_pack_elems_folded)
248 (template_arg_needs_folding, fold_cplus_constants): New static
249 functions.
250 (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
251 get_template_innermost_arguments_folded.
252 (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
253 get_template_argument_pack_elems_folded.
254
255 2011-01-11 Jason Merrill <jason@redhat.com>
256
257 PR c++/46658
258 * init.c (build_new_1): Handle value-init in templates differently.
259
260 PR c++/45520
261 * tree.c (maybe_dummy_object): Check current_class_ref against
262 context, not current_class_type.
263
264 2011-01-08 Nicola Pero <nicola.pero@meta-innovation.com>
265
266 PR objc/47078
267 * parser.c (cp_parser_objc_typename): If the type is unknown, for
268 error recovery purposes behave as if it was not specified so that
269 the default type is used.
270
271 2011-01-07 Jakub Jelinek <jakub@redhat.com>
272
273 PR c++/47022
274 * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
275 for the second build_x_va_arg argument.
276
277 2011-01-05 Tom Tromey <tromey@redhat.com>
278
279 * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
280 (lvalue_or_else): Likewise.
281
282 2011-01-01 Kai Tietz <kai.tietz@onevision.com>
283
284 PR target/38662
285 * tree.c (cxx_type_hash_eq):
286 Allow METHOD_TYPE, too.
287
288 \f
289 Copyright (C) 2011 Free Software Foundation, Inc.
290
291 Copying and distribution of this file, with or without modification,
292 are permitted in any medium without royalty provided the copyright
293 notice and this notice are preserved.