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