12013-12-23  Jason Merrill  <jason@redhat.com>
2
3	PR c++/59271
4	* lambda.c (build_capture_proxy): Use build_cplus_array_type.
5
6	PR c++/59349
7	* parser.c (cp_parser_lambda_introducer): Handle empty init.
8
92013-12-23  Stuart Hastings <stuart@apple.com>
10	    Bill Maddox  <maddox@google.com>
11	    Jason Merrill  <jason@redhat.com>
12
13	PR c++/41090
14	* optimize.c (can_alias_cdtor, populate_clone_array): Split out
15	from maybe_clone_body.
16	(maybe_thunk_body): New function.
17	(maybe_clone_body): Call it.
18	* mangle.c (write_mangled_name): Remove code to suppress
19	writing of mangled name for cloned constructor or destructor.
20	(write_special_name_constructor): Handle decloned constructor.
21	(write_special_name_destructor): Handle decloned destructor.
22	* method.c (trivial_fn_p): Handle decloning.
23	* semantics.c (expand_or_defer_fn_1): Clone after setting linkage.
24
252013-12-23  Marek Polacek  <polacek@redhat.com>
26
27	PR c++/59111
28	* search.c (lookup_conversions): Return NULL_TREE if !CLASS_TYPE_P.
29
302013-12-20  Trevor saunders  <tsaunders@mozilla.com>
31
32	* semantics.c (build_anon_member_initialization): Replace
33	stack_vec<T, N> with auto_vec<T, N>.
34
352013-12-18  Balaji V. Iyer  <balaji.v.iyer@intel.com>
36
37	* parser.c (cp_parser_cilk_simd_clause_name): Changed cilk_clause_name
38	to omp_clause_name.
39
402013-12-17  Thomas Schwinge  <thomas@codesourcery.com>
41
42	* parser.c (cp_parser_omp_parallel): Fix description.
43
442013-12-12  Jason Merrill  <jason@redhat.com>
45
46	PR c++/58954
47	* pt.c (resolve_overloaded_unification): Use instantiate_template.
48
492013-12-12  Jakub Jelinek  <jakub@redhat.com>
50
51	PR c++/58627
52	* class.c (resolve_address_of_overloaded_function): Don't call ggc_free
53	on targs.
54
552013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
56
57	* cp-tree.h (cilk_valid_spawn): New prototype.
58	(gimplify_cilk_spawn): Likewise.
59	(create_try_catch_expr): Likewise.
60	* decl.c (finish_function): Insert Cilk function-calls when a
61	_Cilk_spawn is used in a function.
62	* parser.c (cp_parser_postfix_expression): Added RID_CILK_SPAWN and
63	RID_CILK_SYNC cases.
64	* cp-cilkplus.c (set_cilk_except_flag): New function.
65	(set_cilk_except_data): Likewise.
66	(cilk_install_body_with_frame_cleanup): Likewise.
67	* except.c (create_try_catch_expr): Likewise.
68	* parser.h (IN_CILK_SPAWN): New #define.
69	* pt.c (tsubst_expr): Added CILK_SPAWN_STMT and CILK_SYNC_STMT cases.
70	* semantics.c (potential_constant_expression_1): Likewise.
71	* typeck.c (cp_build_compound_expr): Reject a spawned function in a
72	compound expression.
73	(check_return_expr): Reject a spawned function in a return expression.
74	* cp-gimplify.c (cp_gimplify_expr): Added a CILK_SPAWN_STMT and
75	CALL_EXPR case.  Added handling of spawned function in MODIFY_EXPR
76	and INIT_EXPR.
77
782013-12-09  Paolo Carlini  <paolo.carlini@oracle.com>
79
80	PR c++/59435
81	* parser.c (cp_parser_cache_defarg): sizeof ... ( p ) can
82	occur in a default argument too.
83
842013-12-06  Caroline Tice  <cmtice@google.com>
85
86	Submitting patch from Stephen Checkoway, s@cs.jhu.edu
87	* vtable-class-hierarchy.c (init_functions): Make the libvtv
88	function decls externally visible.
89
902013-12-06  Oleg Endo  <olegendo@gcc.gnu.org>
91
92	* decl2.c: Remove struct tags when referring to class varpool_node.
93
942013-12-05  Jason Merrill  <jason@redhat.com>
95
96	PR c++/59044
97	PR c++/59052
98	* pt.c (most_specialized_class): Use the partially instantiated
99	template for deduction.  Drop the TMPL parameter.
100
1012013-12-05  Paolo Carlini  <paolo.carlini@oracle.com>
102
103	* decl.c (duplicate_decls): Replace pairs of errors and permerrors
104	with error + inform (permerror + inform, respectively).
105
1062013-12-04  Joseph Myers  <joseph@codesourcery.com>
107
108	PR c/52023
109	* typeck.c (cxx_sizeof_or_alignof_type): Update call to
110	c_sizeof_or_alignof_type.
111
1122013-12-04  Jakub Jelinek  <jakub@redhat.com>
113
114	PR c++/59268
115	* pt.c (tsubst_copy_and_build): Handle POINTER_PLUS_EXPR.
116
1172013-11-29  Marek Polacek  <polacek@redhat.com>
118
119	PR sanitizer/59331
120	* decl.c (compute_array_index_type): Don't build COMPOUND_EXPR for
121	instrumentation.
122
1232013-11-28  Jakub Jelinek  <jakub@redhat.com>
124
125	PR c++/59297
126	* semantics.c (finish_omp_atomic): Call finish_expr_stmt
127	rather than add_stmt.
128
1292013-11-28  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
130
131	* g++spec.c (TIMELIB): Define.
132	(WITHLIBC, SKIPOPT): Adjust values.
133	(lang_specific_driver): Add TIME_LIBRARY if not passed explicitly.
134
1352013-11-28  Jakub Jelinek  <jakub@redhat.com>
136
137	PR c/59310
138	* parser.c (cp_parser_omp_target): Call keep_next_level only
139	if flag_openmp.
140
1412013-11-27  Paolo Carlini  <paolo.carlini@oracle.com>
142
143	PR c++/58647
144	* semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]):
145	Handle function COMPONENT_REFs.
146
1472013-11-27  Aldy Hernandez  <aldyh@redhat.com>
148	    Jakub Jelinek  <jakub@redhat.com>
149
150	* semantics.c (finish_omp_clauses): For #pragma omp declare simd
151	linear clause step call maybe_constant_value.
152
1532013-11-27  Tom de Vries  <tom@codesourcery.com>
154	    Marc Glisse  <marc.glisse@inria.fr>
155
156	PR c++/59032
157	* typeck.c (cp_build_unary_op): Allow vector increment and decrement.
158
1592013-11-27  Tom de Vries  <tom@codesourcery.com>
160	    Marc Glisse  <marc.glisse@inria.fr>
161
162	PR middle-end/59037
163	* semantics.c (cxx_fold_indirect_ref): Don't create out-of-bounds
164	BIT_FIELD_REF.
165
1662013-11-26  Jakub Jelinek  <jakub@redhat.com>
167
168	PR c++/58874
169	* parser.c (cp_parser_late_parsing_for_member): For OpenMP UDRs
170	pass 2 instead of 0 to finish_function.
171
1722013-11-26  Paolo Carlini  <paolo.carlini@oracle.com>
173
174	PR c++/58700
175	* decl.c (grokdeclarator): Don't try to pass declarator->id_loc
176	to build_lang_decl_loc when declarator is null.
177
1782013-11-26  Paolo Carlini  <paolo.carlini@oracle.com>
179
180	* cvt.c (cp_convert_and_check): Avoid calling cp_convert
181	unnecessarily.
182
1832013-11-25  Paolo Carlini  <paolo.carlini@oracle.com>
184
185	PR c++/54485
186	* decl.c (duplicate_decls): Enforce 8.3.6/6 about default arguments
187	for member functions of class templates.
188
1892013-11-25  Paolo Carlini  <paolo.carlini@oracle.com>
190
191	PR c++/58607
192	* semantics.c (check_constexpr_ctor_body): Check for BIND_EXPR_VARS.
193
1942013-11-25  Paolo Carlini  <paolo.carlini@oracle.com>
195
196	PR c++/58810
197	* decl.c (grokdeclarator): Don't handle qualified free functions here,
198	leave the diagnostic to grokfndecl.
199
2002013-11-25  Paolo Carlini  <paolo.carlini@oracle.com>
201
202	PR c++/59080
203	* pt.c (unify): Don't call unify_array_domain with a NULL_TREE
204	third argument.
205
206	PR c++/59096
207	* pt.c (apply_late_template_attributes): Check that TREE_VALUE
208	isn't NULL_TREE in the attribute_takes_identifier_p case.
209
2102013-11-25  Adam Butcher  <adam@jessamine.co.uk>
211
212	PR c++/59112
213	PR c++/59113
214	* parser.c (cp_parser_parameter_declaration_clause): Disallow implicit
215	function templates in local functions unless defining a lambda.
216
2172013-11-23  Easwaran Raman  <eraman@google.com>
218
219	PR c++/59031
220	* call.c (build_new_method_call_1): Comnpare function context
221	with BASELINK_BINFO type rather than instance type before
222	marking the call with LOOKUP_NONVIRTUAL.
223
2242013-11-23  Jason Merrill  <jason@redhat.com>
225
226	PR c++/58868
227	* init.c (build_aggr_init): Don't clobber the type of init
228	if we got an INIT_EXPR back from build_vec_init.
229	(build_vec_init): Do digest_init on trivial initialization.
230
2312013-11-23  Alexander Ivchenko  <alexander.ivchenko@intel.com>
232
233	PR c++/58525
234	* call.c (build_operator_new_call): Add flag_exceptions check.
235	* decl.c (compute_array_index_type): Ditto.
236	* init.c (build_new_1): Ditto.
237	(build_vec_init): Ditto.
238
2392013-11-22  Jakub Jelinek  <jakub@redhat.com>
240
241	* cp-gimplify.c: Include target.h and c-family/c-ubsan.h.
242	(cp_ubsan_maybe_instrument_return): New function.
243	(cp_genericize): Call it if -fsanitize=return.
244
245	* decl2.c: Include asan.h.
246	(one_static_initialization_or_destruction): If -fsanitize=address,
247	init is non-NULL and guard is NULL, set
248	vnode->dynamically_initialized.
249	(do_static_initialization_or_destruction): Call
250	__asan_{before,after}_dynamic_init around the static initialization.
251
2522013-11-22  Andrew MacLeod  <amacleod@redhat.com>
253
254	* class.c: Add required include files from gimple.h.
255	* cp-gimplify.c: Likewise
256	* decl2.c: Likewise
257	* init.c: Likewise
258	* optimize.c: Likewise
259	* pt.c: Likewise
260	* semantics.c: Likewise
261	* tree.c: Likewise
262	* typeck.c: Likewise
263	* vtable-class-hierarchy.c: Likewise
264
2652013-11-22  David Malcolm  <dmalcolm@redhat.com>
266
267	* call.c (build_integral_nontype_arg_conv): Remove use of
268	EXPR_LOC_OR_HERE macro.
269	(convert_like_real): Likewise.
270	(convert_arg_to_ellipsis): Likewise.
271	(build_cxx_call): Likewise.
272	(perform_implicit_conversion_flags): Likewise.
273	(initialize_reference): Likewise.
274	* cvt.c (cp_convert_to_pointer): Likewise.
275	(convert_to_reference): Likewise.
276	(ocp_convert): Likewise.
277	(convert_to_void): Likewise.
278	* decl.c (pop_label): Update comment.
279	(pop_switch): Remove use of EXPR_LOC_OR_HERE macro.
280	(check_tag_decl): Remove use of in_system_header macro.
281	(make_rtl_for_nonlocal_decl): Remove use of input_filename
282	macro.
283	(compute_array_index_type): Remove use of in_system_header
284	macro.
285	(grokdeclarator): Likewise.
286	* error.c (dump_global_iord): Remove use of input_filename
287	macro.
288	(location_of): Remove use of EXPR_LOC_OR_HERE macro.
289	(maybe_warn_cpp0x): Remove use of in_system_header macro.
290	* init.c (build_new_1): Remove use of EXPR_LOC_OR_HERE macro.
291	* lex.c (handle_pragma_interface): Remove use of input_filename
292	macro.
293	(handle_pragma_implementation): Likewise.
294	(cxx_make_type): Likewise.
295	(in_main_input_context): Likewise.
296	* name-lookup.c (push_binding_level): Remove use of
297	input_line macro.
298	(leave_scope): Likewise.
299	(resume_scope): Likewise.
300	* parser.c (cp_parser_unqualified_id): Remove use of
301	in_system_header macro.
302	(cp_parser_cast_expression): Likewise.
303	(cp_parser_declaration_seq_opt): Likewise.
304	(cp_parser_enumerator_list): Likewise.
305	(cp_parser_parameter_declaration_clause): Likewise.
306	(cp_parser_exception_specification_opt): Likewise.
307	* pt.c (unify_arg_conversion): Remove use of EXPR_LOC_OR_HERE
308	macro.
309	(convert_nontype_argument): Likewise.
310	(push_tinst_level): Remove use of in_system_header macro.
311	(tsubst_copy_and_build): Remove use of EXPR_LOC_OR_HERE
312	macros.
313	(do_decl_instantiation): Remove use of in_system_header macro.
314	(do_type_instantiation): Likewise.
315	* semantics.c (finish_call_expr): Remove use of EXPR_LOC_OR_HERE
316	macro.
317	(begin_class_definition): Remove use of input_filename macro.
318	(cxx_eval_call_expression): Remove use of EXPR_LOC_OR_HERE
319	macro.
320	(cxx_eval_constant_expression): Likewise.
321	(potential_constant_expression_1): Likewise.
322	* typeck.c (decay_conversion): Likewise.
323	(rationalize_conditional_expr): Likewise.
324	(build_x_compound_expr_from_list): Likewise.
325	(convert_for_assignment): Likewise.
326	* typeck2.c (check_narrowing): Likewise.
327
3282013-11-22  Trevor Saunders  <tsaunders@mozilla.com>
329
330	* parser.c, semantics.c: Change some local variables from vec to
331	auto_vec or stack_vec.
332
3332013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
334
335	* decl.c (reshape_init_array_1): Use tree_to_uhwi rather than
336	tree_low_cst.
337	(grokdeclarator): Update comment to refer to tree_to_[su]hwi rather
338	than tree_low_cst.
339
3402013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
341
342	* call.c, class.c, decl.c, error.c: Replace tree_low_cst (..., 1) with
343	tree_to_uhwi throughout.
344
3452013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
346
347	* class.c, dump.c, error.c, init.c, method.c, parser.c, semantics.c:
348	Replace tree_low_cst (..., 0) with tree_to_shwi throughout.
349
3502013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
351
352	* decl.c: Replace host_integerp (..., 1) with tree_fits_uhwi_p
353	throughout.
354
3552013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
356
357	* error.c, init.c, parser.c, semantics.c: Replace
358	host_integerp (..., 0) with tree_fits_shwi_p throughout.
359
3602013-11-17  Paolo Carlini  <paolo.carlini@oracle.com>
361
362	PR c++/59123
363	* decl.c (validate_constexpr_redeclaration): Redeclarations of
364	variables can differ in constexpr.
365
3662013-11-16  Paolo Carlini  <paolo.carlini@oracle.com>
367
368	PR c++/29143
369	* semantics.c (finish_call_expr): Ensure that for OVERLOADs too
370	'(&f)(...)' is the same as '(f)(...)', per 13.3.1.1.
371
3722013-11-15  Aldy Hernandez  <aldyh@redhat.com>
373
374	* Make-lang.in (CXX_AND_OBJCXX_OBJS): Depend on cp/cp-cilkplus.o.
375	* cp-cilkplus.c: New file.
376	* cp-tree.h (cpp_validate_cilk_plus_loop): Protoize.
377	* parser.c (cp_parser_cilk_simd): New.
378	(cp_debug_parser): Add case for IN_CILK_SIMD_FOR.
379	(cp_parser_jump_statement): Same.
380	(cp_parser_omp_for_cond): Add new argument.
381	Add case for NE_EXPR.
382	(cp_parser_omp_for_loop): Pass new argument to
383	cp_parser_omp_for_cond.
384	Handle CILK_SIMD nodes.
385	Abstract initilization code to..
386	(cp_parser_omp_for_loop_init): ...here.
387	(cp_parser_pragma): Add case for PRAGMA_CILK_SIMD.
388	(cp_parser_cilk_simd_vectorlength): New.
389	(cp_parser_cilk_simd_linear): New.
390	(cp_parser_cilk_simd_clause_name): New.
391	(cp_parser_cilk_simd_all_clauses): New.
392	(cp_parser_cilk_simd): New.
393	* parser.h (IN_CILK_SIMD_FOR): New macro.
394	* pt.c (tsubst_expr): Add case for CILK_SIMD.
395	* typeck2.c (cxx_readonly_error): Pass location argument to
396	readonly_error.
397
3982013-11-14  Paolo Carlini  <paolo.carlini@oracle.com>
399
400	PR c++/57887
401	* parser.c (cp_parser_late_parsing_nsdmi): Call
402	maybe_begin_member_template_processing.
403	* pt.c (maybe_begin_member_template_processing): Handle NSDMIs.
404	(inline_needs_template_parms): Adjust.
405
4062013-11-14  Andrew MacLeod  <amacleod@redhat.com>
407
408	* class.c: Include only gimplify.h and gimple.h as needed.
409	* cp-gimplify.c: Likewise.
410	* error.c: Likewise.
411	* init.c: Likewise.
412	* optimize.c: Likewise.
413	* pt.c: Likewise.
414	* semantics.c: Likewise.
415	* tree.c: Likewise.
416	* vtable-class-hierarchy.c: Likewise.
417
4182013-11-14  Diego Novillo  <dnovillo@google.com>
419
420	* call.c: Include stor-layout.h.
421	Include trans-mem.h.
422	Include stringpool.h.
423	* class.c: Include stringpool.h.
424	Include stor-layout.h.
425	Include attribs.h.
426	* cp-gimplify.c: Include stor-layout.h.
427	* cvt.c: Include stor-layout.h.
428	* decl.c: Include stringpool.h.
429	Include stor-layout.h.
430	Include varasm.h.
431	Include attribs.h.
432	Include calls.h.
433	* decl2.c: Include stringpool.h.
434	Include varasm.h.
435	Include attribs.h.
436	Include stor-layout.h.
437	Include calls.h.
438	* error.c: Include stringpool.h.
439	* except.c: Include stringpool.h.
440	Include trans-mem.h.
441	Include attribs.h.
442	* init.c: Include stringpool.h.
443	Include varasm.h.
444	* lambda.c: Include stringpool.h.
445	* lex.c: Include stringpool.h.
446	* mangle.c: Include stor-layout.h.
447	Include stringpool.h.
448	* method.c: Include stringpool.h.
449	Include varasm.h.
450	* name-lookup.c: Include stringpool.h.
451	Include print-tree.h.
452	Include attribs.h.
453	* optimize.c: Include stringpool.h.
454	* parser.c: Include print-tree.h.
455	Include stringpool.h.
456	Include attribs.h.
457	Include trans-mem.h.
458	* pt.c: Include stringpool.h.
459	Include varasm.h.
460	Include attribs.h.
461	Include stor-layout.h.
462	* ptree.c: Include print-tree.h.
463	* repo.c: Include stringpool.h.
464	* rtti.c: Include stringpool.h.
465	Include stor-layout.h.
466	* semantics.c: Include stmt.h.
467	Include varasm.h.
468	Include stor-layout.h.
469	Include stringpool.h.
470	* tree.c: Include stor-layout.h.
471	Include print-tree.h.
472	Include tree-iterator.h.
473	* typeck.c: Include stor-layout.h.
474	Include varasm.h.
475	* typeck2.c: Include stor-layout.h.
476	Include varasm.h.
477	* vtable-class-hierarchy.c: Include stringpool.h.
478	Include stor-layout.h.
479
4802013-11-12  Andrew MacLeod <amacleod@redhat.com>
481
482	* class.c: Include gimplify.h.
483	* cp-gimplify.c: Likewise.
484	* error.c: Likewise.
485	* init.c: Likewise.
486	* optimize.c: Likewise.
487	* pt.c: Likewise.
488	* semantics.c: Likewise.
489	* tree.c: Likewise.
490	* vtable-class-hierarchy.c: Likewise.
491	* decl2.c: Don't include gimple.h.
492	* except.c: Likewise.
493	* method.c: Include pointer-set.h instead of gimple.h.
494
4952013-11-12  Adam Butcher  <adam@jessamine.co.uk>
496
497	* pt.c (convert_generic_types_to_packs): New function to transform
498	a range of implicitly introduced non-pack template parms to be parameter
499	packs.
500	* cp-tree.h (convert_generic_types_to_packs): Declare.
501	* parser.c (cp_parser_parameter_declaration_list): If a function
502	parameter pack contains generic types, convert them to packs prior to
503	grokdeclarator.
504
5052013-11-12  Adam Butcher  <adam@jessamine.co.uk>
506
507	PR c++/58534
508	PR c++/58536
509	PR c++/58548
510	PR c++/58549
511	PR c++/58637
512	* parser.h (struct cp_parser): New members implicit_template_parms,
513	implicit_template_scope and auto_is_implicit_function_template_parm_p.
514	* parser.c (add_implicit_template_parms): Refactor as ...
515	(synthesize_implicit_template_parm): ... this to append a new template
516	type parm to the current template parameter list (introducing a new list
517	if necessary).  Removed push_deferring_access_checks.
518	(finish_fully_implicit_template): Removed pop_deferring_access_checks.
519	(cp_parser_new): Initialize new cp_parser members.
520	(cp_parser_parameter_declaration_clause): Consider auto as implicit
521	template parm when parsing a parameter declaration (unless parsing an
522	explicit specialization).
523	(cp_parser_parameter_declaration_list): Remove local
524	implicit_template_parms counter and reset cp_parser implicit template
525	state when complete.
526	(cp_parser_lambda_expression): Reset implicit template cp_parser members
527	whilst generating lambda class.
528	(cp_parser_function_definition_after_declarator): Reset implicit
529	template cp_parser members whilst parsing function definition.
530	(make_generic_type_name): Respell '<autoN>' as 'auto:N' which works
531	better with template diagnostics.
532	(cp_parser_simple_type_specifier): Synthesize implicit template parm on
533	parsing 'auto' if auto_is_implicit_function_template_parm_p and provide
534	diagnostics ...
535	* decl.c (grokdeclarator): ... that were previously done here.
536
5372013-11-12  Paolo Carlini  <paolo.carlini@oracle.com>
538
539	PR c++/57734
540	* pt.c (lookup_template_class_1): Handle alias template declarations
541	of enumeration types.
542
5432013-11-10  Paolo Carlini  <paolo.carlini@oracle.com>
544
545	* cvt.c (cp_convert_to_pointer): Call build_ptrmemfunc before
546	maybe_warn_zero_as_null_pointer_constant to avoid duplicate
547	-Wzero-as-null-pointer-constant diagnostics.
548
549	* typeck.c (build_ptrmemfunc): Use cp_build_c_cast.
550
5512013-11-06  Paolo Carlini  <paolo.carlini@oracle.com>
552
553	PR c++/11006
554	* init.c (build_new_1): Don't call build_java_class_ref on non-class
555	types.
556
5572013-11-05  Jason Merrill  <jason@redhat.com>
558
559	PR c++/58868
560	* decl.c (check_initializer): Don't use build_vec_init for arrays
561	of trivial type.
562
5632013-11-05  Paolo Carlini  <paolo.carlini@oracle.com>
564
565	PR c++/58724
566	* name-lookup.c (handle_namespace_attrs): Use get_attribute_name.
567
5682013-11-05  Tobias Burnus  <burnus@net-b.de>
569
570	* parser.c (cp_parser_omp_for, cp_parser_omp_parallel,
571	cp_parser_omp_distribute, cp_parser_omp_teams, cp_parser_omp_target,
572	cp_parser_omp_declare): Handle -fopenmp-simd.
573
5742013-11-04  Eric Botcazou  <ebotcazou@adacore.com>
575
576	* decl2.c (cpp_check): Change type of first parameter and deal with
577	IS_TRIVIAL.
578
5792013-11-03  Paolo Carlini  <paolo.carlini@oracle.com>
580
581	PR c++/38313
582	* parser.c (cp_parser_constructor_declarator_p): Check that the
583	class-name matches current_class_type.
584
5852013-11-03  Marek Polacek  <polacek@redhat.com>
586
587	* decl.c (cp_finish_decl): Move C++1y bounds checking...
588	(compute_array_index_type): ...here.  Add VLA instrumentation.
589	Call stabilize_vla_size.
590	(grokdeclarator): Don't call stabilize_vla_size here.
591
5922013-11-02  Paolo Carlini  <paolo.carlini@oracle.com>
593
594	PR c++/29234
595	PR c++/56037
596	* parser.c (cp_parser_cast_expression): If we aren't looking at
597	a cast-expression don't call cp_parser_type_id.
598	(cp_parser_postfix_expression): Likewise for compound-literal.
599	(cp_parser_tokens_start_cast_expression): Adjust.
600
6012013-11-01  Edward Smith-Rowland  <3dw4rd@verizon.net>
602
603	PR c++/58708
604	* parser.c (make_string_pack): Discover non-const type and size
605	of character and build parm pack with correct type and chars.
606
6072013-11-01  Trevor Saunders  <tsaunders@mozilla.com>
608
609	* semantics.c (build_anon_member_initialization): Convert fields to be
610        a stack_vec.
611
6122013-11-01  Marc Glisse  <marc.glisse@inria.fr>
613
614	PR c++/58834
615	* pt.c (type_dependent_expression_p): Handle null argument.
616
6172013-11-01  Jakub Jelinek  <jakub@redhat.com>
618
619	* semantics.c (finish_omp_clauses) <case OMP_CLAUSE_UNIFORM>: Go to
620	check_dup_generic at the end, unless remove is true.
621	(finish_omp_clauses) <case OMP_CLAUSE_LINEAR>: Add break; after
622	remove = true;.
623
6242013-10-31  Jakub Jelinek  <jakub@redhat.com>
625
626	* semantics.c (finish_omp_clauses): Diagnose aligned clause
627	with decl that is not pointer nor array nor reference to those.
628
6292013-10-31  Jason Merrill  <jason@redhat.com>
630
631	* semantics.c (cxx_eval_call_expression): Handle trivial
632	value-initialization.
633	* typeck2.c (store_init_value): Call maybe_constant_init after
634	cxx_constant_value.
635
636	* decl.c (cxx_maybe_build_cleanup): Always set LOOKUP_NONVIRTUAL.
637	* decl2.c (build_cleanup): Just call cxx_maybe_build_cleanup.
638
639	PR c++/58162
640	* parser.c (cp_parser_late_parse_one_default_arg): Set
641	TARGET_EXPR_DIRECT_INIT_P.
642
643	* class.c (type_build_ctor_call): Return early in C++98 mode.
644	(type_build_dtor_call): Likewise.
645
6462013-10-31  Paolo Carlini  <paolo.carlini@oracle.com>
647
648	PR c++/58932
649	Revert:
650	2013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>
651
652	PR c++/58466
653	* pt.c (most_specialized_class): Bump processing_template_decl for
654	get_class_bindings.
655
6562013-10-30  Paolo Carlini  <paolo.carlini@oracle.com>
657
658	PR c++/58581
659	* call.c (build_over_call): Check return value of mark_used.
660
6612013-10-30  Jason Merrill  <jason@redhat.com>
662
663	* semantics.c (finish_compound_literal): Don't create a static variable
664	inside cp_unevaluated_operand.
665
666	* init.c (push_base_cleanups): Check ANON_AGGR_TYPE_P.
667
6682013-10-30  Tobias Burnus  <burnus@net-b.de>
669
670	PR other/33426
671	* cp-tree.h (RANGE_FOR_IVDEP): Define.
672	(cp_convert_range_for, finish_while_stmt_cond, finish_do_stmt,
673	finish_for_cond): Take 'bool ivdep' parameter.
674	* cp-array-notation.c (create_an_loop): Update call.
675	* init.c (build_vec_init): Ditto.
676	* pt.c (tsubst_expr): Ditto.
677	* parser.c (cp_parser_iteration_statement, cp_parser_for,
678	cp_parser_range_for, cp_convert_range_for): Update calls.
679	(cp_parser_pragma): Accept GCC ivdep for 'while' and 'do'.
680	* semantics.c (finish_while_stmt_cond, finish_do_stmt,
681	finish_for_cond): Optionally build ivdep annotation.
682
6832013-10-30  Jason Merrill  <jason@redhat.com>
684
685	* decl.c (cp_finish_decl): Never throw for VLA bound == 0.
686
6872013-10-29  David Malcolm  <dmalcolm@redhat.com>
688
689	Patch autogenerated by refactor_symtab.py from
690	https://github.com/davidmalcolm/gcc-refactoring-scripts
691	revision 58bb219cc090b2f4516a9297d868c245495ee622
692
693	* call.c (mark_versions_used): Update for conversion of symtab types
694	to a true class hierarchy.
695	* decl2.c (cp_write_global_declarations): Likewise.
696	(clear_decl_external): Likewise.
697	(build_java_method_aliases): Likewise.
698	(collect_candidates_for_java_method_aliases): Likewise.
699	(mark_needed): Likewise.
700	(var_finalized_p): Likewise.
701	(maybe_make_one_only): Likewise.
702	(maybe_emit_vtables): Likewise.
703	* lambda.c (maybe_add_lambda_conv_op): Likewise.
704	* method.c (use_thunk): Likewise.
705	* optimize.c (maybe_clone_body): Likewise.
706	* tree.c (cp_fix_function_decl_p): Likewise.
707
7082013-10-29  Paolo Carlini  <paolo.carlini@oracle.com>
709
710	PR c++/58888
711	* decl2.c (grokfield): Handle auto like NSDMI.
712
7132013-10-25  Paolo Carlini  <paolo.carlini@oracle.com>
714
715	PR c++/58878
716	* pt.c (check_template_shadow): Don't skip declarations in inline
717	member templates.
718
7192013-10-25  Tobias Burnus  <burnus@net-b.de>
720
721	PR other/33426
722	* parser.c (cp_parser_iteration_statement,
723	cp_parser_for, cp_parser_c_for, cp_parser_pragma): Handle
724	IVDEP pragma.
725
7262013-10-24  Marek Polacek  <polacek@redhat.com>
727
728	PR c++/58705
729	* typeck2.c (check_narrowing): Don't check narrowing when the scalar
730	initializer is empty.
731
7322013-10-23  Jason Merrill  <jason@redhat.com>
733
734	LWG 2165
735	* method.c (defaulted_late_check): Delete on eh-spec mismatch.
736	(maybe_explain_implicit_delete): Explain it.
737
738	* error.c (eh_spec_to_string): New.
739	(cp_printer): Use it for %X.
740
741	In C++11 a trivial [cd]tor might not be callable.
742	* class.c (user_provided_p): A function deleted on its declation
743	in the class is not user-provided.
744	(type_build_ctor_call): Also force a ctor call if we
745	might have a deleted or private trivial ctor.
746	(type_build_dtor_call): New.
747	(deduce_noexcept_on_destructors): Remove obsolete code.
748	* cp-tree.h: Declare type_build_dtor_call.
749	* decl.c (expand_static_init): Make sure trivial dtors are callable.
750	(cxx_maybe_build_cleanup): Likewise.
751	* except.c (build_throw): Likewise.
752	* init.c (build_value_init): Handle trivial but not callable ctors.
753	(perform_target_ctor): Make sure trivial dtor is callable.
754	(perform_member_init): Likewise.
755	(expand_cleanup_for_base): Likewise.
756	(build_vec_delete_1): Likewise.
757	(build_delete): Likewise.
758	(push_base_cleanups): Likewise.
759	(build_new_1): Avoid redundant error.
760	* method.c (synthesized_method_walk): Can't ever exit early in C++11.
761	Always process the subobject destructor.
762	* semantics.c (finish_compound_literal): Make sure trivial dtor is
763	callable.
764	* typeck2.c (split_nonconstant_init): Likewise.
765
7662013-10-23  Edward Smith-Rowland  <3dw4rd@verizon.net>
767
768	Implement C++14 [[deprecated]] modulo [[gnu::deprecated]] bugs.
769	* parser.c (cp_parser_std_attribute): Interpret [[deprecated]]
770	as [[gnu::deprecated]].
771
7722013-10-22  Paolo Carlini  <paolo.carlini@oracle.com>
773
774	PR c++/58816
775	* pt.c (apply_late_template_attributes): Use get_attribute_name,
776	not TREE_PURPOSE.
777
7782013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>
779
780	PR c++/58466
781	* pt.c (most_specialized_class): Bump processing_template_decl for
782	get_class_bindings.
783
7842013-10-18  Paolo Carlini  <paolo.carlini@oracle.com>
785
786	* parser.c (cp_parser_lookup_name): Tidy.
787
7882013-10-17  Andrew MacLeod  <amacleod@redhat.com>
789
790	* parser.c: Include omp-low.h.
791	* semantics.c: Likewise.
792
7932013-10-17  Paolo Carlini  <paolo.carlini@oracle.com>
794
795	PR c++/58596
796	* lambda.c (lambda_expr_this_capture): Handle NSDMIs in the
797	cp_unevaluated_operand case.
798
7992013-10-16  Jason Merrill  <jason@redhat.com>
800
801	* pt.c (apply_late_template_attributes): Use
802	attribute_takes_identifier_p.
803
804	* error.c (dump_exception_spec): Print "noexcept" rather than
805	"noexcept (true)".
806
807	Core 1591
808	* pt.c (unify_array_domain): Split out from unify.
809	(unify): Use it for list deduction, too.
810
811	PR c++/57850
812	* decl2.c (dump_tu): Split out from...
813	(cp_write_global_declarations): ...here.  Call it in PCH mode.
814
8152013-10-16  Paolo Carlini  <paolo.carlini@oracle.com>
816
817	* pt.c (tsubst): Fix typo in last commit.
818
8192013-10-16  Paulo Matos  <pmatos@broadcom.com>
820
821	* error.c (code_to_string): Use new wrapper get_tree_code_name.
822	* cxx-pretty-print.c (pp_cxx_assignment_operator): Likewise.
823	* pt.c (tsubst): Likewise.
824	* semantics.c (cxx_eval_constant_expression,
825	potential_constant_expression_1): Likewise.
826	* mangle.c (MANGLE_TRACE_TREE, dump_substitution_candidates,
827	add_substitution, find_substitution): Likewise.
828
8292013-10-15  Paolo Carlini  <paolo.carlini@oracle.com>
830
831	PR c++/58707
832	* parser.c (cp_parser_postfix_open_square_expression): Set
833	parser->greater_than_is_operator_p for the argument.
834
8352013-10-11  Paolo Carlini  <paolo.carlini@oracle.com>
836
837	PR c++/58633
838	* parser.c (cp_parser_commit_to_topmost_tentative_parse): New.
839	(cp_parser_pseudo_destructor_name): Use it.
840
8412013-10-11  Paolo Carlini  <paolo.carlini@oracle.com>
842
843	PR c++/31671
844	* pt.c (convert_nontype_argument): Set expr_type to
845	TREE_TYPE (probe_type).
846
8472013-10-11  Jakub Jelinek  <jakub@redhat.com>
848
849	* decl.c (duplicate_decls): Error out for redeclaration of UDRs.
850	(declare_simd_adjust_this): New function.
851	(grokfndecl): If "omp declare simd" attribute is present,
852	call declare_simd_adjust_this if needed and
853	c_omp_declare_simd_clauses_to_numbers.
854	* cp-array-notation.c (expand_array_notation_exprs): Handle
855	OMP_TASKGROUP.
856	* cp-gimplify.c (cp_gimplify_expr): Handle OMP_SIMD and
857	OMP_DISTRIBUTE.  Handle is_invisiref_parm decls in
858	OMP_CLAUSE_REDUCTION.
859	(cp_genericize_r): Handle OMP_SIMD and OMP_DISTRIBUTE like
860	OMP_FOR.
861	(cxx_omp_privatize_by_reference): Return true for
862	is_invisiref_parm decls.
863	(cxx_omp_finish_clause): Adjust cxx_omp_create_clause_info
864	caller.
865	* pt.c (apply_late_template_attributes): For "omp declare simd"
866	attribute call tsubst_omp_clauses,
867	c_omp_declare_simd_clauses_to_decls, finish_omp_clauses
868	and c_omp_declare_simd_clauses_to_numbers.
869	(instantiate_class_template_1): Call cp_check_omp_declare_reduction
870	for UDRs.
871	(tsubst_decl): Handle UDRs.
872	(tsubst_omp_clauses): Add declare_simd argument, if true don't
873	call finish_omp_clauses.  Handle new OpenMP 4.0 clauses.
874	Handle non-NULL OMP_CLAUSE_REDUCTION_PLACEHOLDER on
875	OMP_CLAUSE_REDUCTION.
876	(tsubst_expr): For UDRs call pushdecl and
877	cp_check_omp_declare_reduction.  Adjust tsubst_omp_clauses
878	callers.  Handle OMP_SIMD, OMP_DISTRIBUTE, OMP_TEAMS,
879	OMP_TARGET_DATA, OMP_TARGET_UPDATE, OMP_TARGET, OMP_TASKGROUP.
880	Adjust finish_omp_atomic caller.
881	(tsubst_omp_udr): New function.
882	(instantiate_decl): For UDRs at block scope, don't call
883	start_preparsed_function/finish_function.  Call tsubst_omp_udr.
884	* semantics.c (cxx_omp_create_clause_info): Add need_dtor argument,
885	use it instead of need_default_ctor || need_copy_ctor.
886	(struct cp_check_omp_declare_reduction_data): New type.
887	(handle_omp_array_sections_1, handle_omp_array_sections,
888	omp_reduction_id, omp_reduction_lookup,
889	cp_remove_omp_priv_cleanup_stmt, cp_check_omp_declare_reduction_r,
890	cp_check_omp_declare_reduction, clone_omp_udr,
891	find_omp_placeholder_r, finish_omp_reduction_clause): New functions.
892	(finish_omp_clauses): Handle new OpenMP 4.0 clauses and user defined
893	reductions.
894	(finish_omp_for): Add CODE argument, use it instead of hardcoded
895	OMP_FOR.  Adjust c_finish_omp_for caller.
896	(finish_omp_atomic): Add seq_cst argument, adjust
897	c_finish_omp_atomic callers, handle seq_cst and new OpenMP 4.0
898	atomic variants.
899	(finish_omp_cancel, finish_omp_cancellation_point): New functions.
900	* decl2.c (mark_used): Force immediate instantiation of
901	DECL_OMP_DECLARE_REDUCTION_P decls.
902	(is_late_template_attribute): Return true for "omp declare simd"
903	attribute.
904	(cp_omp_mappable_type): New function.
905	(cplus_decl_attributes): Add implicit "omp declare target" attribute
906	if requested.
907	* parser.c (cp_debug_parser): Print
908	parser->colon_doesnt_start_class_def_p.
909	(cp_ensure_no_omp_declare_simd, cp_finalize_omp_declare_simd): New
910	functions.
911	(enum pragma_context): Add pragma_member and pragma_objc_icode.
912	(cp_parser_binary_expression): Handle no_toplevel_fold_p
913	even for binary operations other than comparison.
914	(cp_parser_linkage_specification): Call
915	cp_ensure_no_omp_declare_simd if needed.
916	(cp_parser_namespace_definition): Likewise.
917	(cp_parser_init_declarator): Call cp_finalize_omp_declare_simd.
918	(cp_parser_direct_declarator): Pass declarator to
919	cp_parser_late_return_type_opt.
920	(cp_parser_late_return_type_opt): Add declarator argument,
921	call cp_parser_late_parsing_omp_declare_simd for declare simd.
922	(cp_parser_class_specifier_1): Call cp_ensure_no_omp_declare_simd.
923	Parse UDRs before all other methods.
924	(cp_parser_member_specification_opt): Use pragma_member instead of
925	pragma_external.
926	(cp_parser_member_declaration): Call cp_finalize_omp_declare_simd.
927	(cp_parser_function_definition_from_specifiers_and_declarator,
928	cp_parser_save_member_function_body): Likewise.
929	(cp_parser_late_parsing_for_member): Handle UDRs specially.
930	(cp_parser_next_token_starts_class_definition_p): Don't allow
931	CPP_COLON if colon_doesnt_start_class_def_p flag is true.
932	(cp_parser_objc_interstitial_code): Use pragma_objc_icode
933	instead of pragma_external.
934	(cp_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
935	(cp_parser_omp_var_list_no_open): Parse array sections for
936	OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.  Add COLON argument,
937	if non-NULL, allow parsing to end with a colon rather than close
938	paren.
939	(cp_parser_omp_var_list): Adjust cp_parser_omp_var_list_no_open
940	caller.
941	(cp_parser_omp_clause_reduction): Handle user defined reductions.
942	(cp_parser_omp_clause_branch, cp_parser_omp_clause_cancelkind,
943	cp_parser_omp_clause_num_teams, cp_parser_omp_clause_thread_limit,
944	cp_parser_omp_clause_aligned, cp_parser_omp_clause_linear,
945	cp_parser_omp_clause_safelen, cp_parser_omp_clause_simdlen,
946	cp_parser_omp_clause_depend, cp_parser_omp_clause_map,
947	cp_parser_omp_clause_device, cp_parser_omp_clause_dist_schedule,
948	cp_parser_omp_clause_proc_bind, cp_parser_omp_clause_to,
949	cp_parser_omp_clause_from, cp_parser_omp_clause_uniform): New
950	functions.
951	(cp_parser_omp_all_clauses): Add finish_p argument.  Don't call
952	finish_omp_clauses if it is false.  Handle new OpenMP 4.0 clauses.
953	(cp_parser_omp_atomic): Parse seq_cst clause, pass
954	true if it is present to finish_omp_atomic.  Handle new OpenMP 4.0
955	atomic forms.
956	(cp_parser_omp_for_loop): Add CODE argument, pass it through
957	to finish_omp_for.  Change last argument to cclauses,
958	and adjust uses to grab parallel clauses from the array of all
959	the split clauses.
960	(cp_omp_split_clauses): New function.
961	(cp_parser_omp_simd): New function.
962	(cp_parser_omp_for): Add p_name, mask and cclauses arguments.
963	Allow the function to be called also when parsing combined constructs,
964	and call c_parser_omp_simd when parsing for simd.
965	(cp_parser_omp_sections_scope): If section-sequence doesn't start with
966	#pragma omp section, require exactly one structured-block instead of
967	sequence of statements.
968	(cp_parser_omp_sections): Add p_name, mask and cclauses arguments.
969	Allow the function to be called also when parsing combined constructs.
970	(cp_parser_omp_parallel): Add p_name, mask and cclauses arguments.
971	Allow the function to be called also when parsing combined
972	constructs.
973	(cp_parser_omp_taskgroup, cp_parser_omp_cancel,
974	cp_parser_omp_cancellation_point, cp_parser_omp_distribute,
975	cp_parser_omp_teams, cp_parser_omp_target_data,
976	cp_parser_omp_target_update, cp_parser_omp_target,
977	cp_parser_omp_declare_simd, cp_parser_late_parsing_omp_declare_simd,
978	cp_parser_omp_declare_target, cp_parser_omp_end_declare_target,
979	cp_parser_omp_declare_reduction_exprs, cp_parser_omp_declare_reduction,
980	cp_parser_omp_declare): New functions.
981	(cp_parser_omp_construct): Add p_name and mask vars.  Handle
982	PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
983	PRAGMA_OMP_TEAMS.  Adjust cp_parser_omp_for, cp_parser_omp_parallel
984	and cp_parser_omp_sections callers.
985	(cp_parser_pragma): Handle PRAGMA_OMP_CANCEL,
986	PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_DECLARE_REDUCTION,
987	PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
988	PRAGMA_OMP_TEAMS, PRAGMA_OMP_TARGET, PRAGMA_OMP_END_DECLARE_TARGET.
989	Handle pragma_member and pragma_objc_icode like pragma_external.
990	(OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
991	OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
992	(OMP_PARALLEL_CLAUSE_MASK): Likewise.  Add OMP_CLAUSE_PROC_BIND.
993	(OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.  Add
994	OMP_CLAUSE_DEPEND.
995	(OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
996	OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
997	OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
998	OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
999	OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
1000	* parser.h (struct cp_omp_declare_simd_data): New type.
1001	(struct cp_parser): Add colon_doesnt_start_class_def_p and
1002	omp_declare_simd fields.
1003	* cp-objcp-common.h (LANG_HOOKS_OMP_MAPPABLE_TYPE): Define.
1004	* cp-tree.h (struct lang_decl_fn): Add omp_declare_reduction_p
1005	bit.
1006	(DECL_OMP_DECLARE_REDUCTION_P): Define.
1007	(OMP_FOR_GIMPLIFYING_P): Use OMP_LOOP_CHECK macro.
1008	(struct saved_scope): Add omp_declare_target_attribute field.
1009	(cp_omp_mappable_type, omp_reduction_id,
1010	cp_remove_omp_priv_cleanup_stmt, cp_check_omp_declare_reduction,
1011	finish_omp_cancel, finish_omp_cancellation_point): New prototypes.
1012	(finish_omp_for): Add CODE argument.
1013	(finish_omp_atomic): Add seq_cst argument.
1014	(cxx_omp_create_clause_info): Add need_dtor argument.
1015
10162013-10-09  Marek Polacek  <polacek@redhat.com>
1017
1018	PR c++/58635
1019	* semantics.c (finish_return_stmt): Return error_mark_node
1020	when error_operand_p of the expr is true.
1021	(build_transaction_expr): Check for EXPR_P before setting the
1022	expr location.
1023
10242013-10-08  Paolo Carlini  <paolo.carlini@oracle.com>
1025
1026	PR c++/58568
1027	* lambda.c (begin_lambda_type): Check return value of xref_tag
1028	for error_mark_node; tidy.
1029	* decl.c (grokdeclarator): Tweak error message.
1030
10312013-10-08  Paolo Carlini  <paolo.carlini@oracle.com>
1032
1033	PR c++/58665
1034	Revert:
1035	2013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
1036
1037	PR c++/58448
1038	* pt.c (tsubst): Use error_operand_p on parameter t.
1039
10402013-10-06  Paolo Carlini  <paolo.carlini@oracle.com>
1041
1042	PR c++/58126
1043	* class.c (check_bases): Propagate CLASSTYPE_READONLY_FIELDS_NEED_INIT
1044	and CLASSTYPE_REF_FIELDS_NEED_INIT from bases to derived.
1045	* init.c (diagnose_uninitialized_cst_or_ref_member_1): Extend error
1046	messages about uninitialized const and references members to mention
1047	the base class.
1048
10492013-10-06  Paolo Carlini  <paolo.carlini@oracle.com>
1050
1051	PR c++/56060
1052	* pt.c (type_dependent_expression_p): Handle EXPR_PACK_EXPANSION.
1053
10542013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
1055
1056	PR c++/58560
1057	* typeck2.c (build_functional_cast): Use error_operand_p on exp.
1058
10592013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
1060
1061	PR c++/58503
1062	* parser.c (cp_parser_perform_range_for_lookup): If eventually
1063	either *begin or *end is type-dependent, return NULL_TREE.
1064	(do_range_for_auto_deduction): If cp_parser_perform_range_for_lookup
1065	returns NULL_TREE, don't actually do_auto_deduction.
1066
10672013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
1068
1069	PR c++/58448
1070	* pt.c (tsubst): Use error_operand_p on parameter t.
1071
10722013-10-04  Marc Glisse  <marc.glisse@inria.fr>
1073
1074	PR c++/19476
1075	* decl.c (cxx_init_decl_processing): Set operator_new_flag.
1076
10772013-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
1078
1079	PR c++/58584
1080	* decl2.c (save_template_attributes): Handle error_mark_node as
1081	*attr_p argument.
1082	(cp_check_const_attributes): Likewise for attributes.
1083	* parser.c (cp_parser_std_attribute_spec): When alignas_expr is an
1084	error_mark_node call cp_parser_skip_to_end_of_statement.
1085
10862013-10-03  Easwaran Raman  <eraman@google.com>
1087
1088	PR c++/33911
1089	* parser.c (cp_parser_init_declarator): Do not drop attributes
1090	of template member functions.
1091
10922013-10-03  Marek Polacek  <polacek@redhat.com>
1093
1094	PR c++/58510
1095	* init.c (sort_mem_initializers): Splice when giving an error.
1096
10972013-10-02  Paolo Carlini  <paolo.carlini@oracle.com>
1098
1099	PR c++/58535
1100	* parser.c (cp_parser_function_specifier_opt): Upon error about
1101	virtual templates don't set ds_virtual.
1102	(finish_fully_implicit_template): Reject virtual implicit templates.
1103
11042013-10-02  Paolo Carlini  <paolo.carlini@oracle.com>
1105
1106	PR c++/58565
1107	* semantics.c (potential_constant_expression_1): Handle LABEL_EXPR.
1108
11092013-10-01  Paolo Carlini  <paolo.carlini@oracle.com>
1110
1111	PR c++/58563
1112	* parser.c (cp_parser_lookup_name): Check make_typename_type return
1113	value for error_mark_node.
1114
11152013-09-25  Tom Tromey  <tromey@redhat.com>
1116
1117	* Make-lang.in (CXX_TREE_H, CXX_PARSER_H, CXX_PRETTY_PRINT_H):
1118	Remove.
1119
11202013-09-25  Tom Tromey  <tromey@redhat.com>
1121
1122	* Make-lang.in (g++spec.o): Remove.
1123	(CFLAGS-cp/g++spec.o): New variable.
1124	(GXX_OBJS): Reference cp/g++spec.o.
1125	(cc1plus-checksum.o, cp/lex.o, cp/cp-array-notation.o)
1126	(cp/cp-lang.o, cp/decl.o, cp/decl2.o, cp/cp-objcp-common.o)
1127	(cp/typeck2.o, cp/typeck.o, cp/class.o, cp/call.o)
1128	(cp/friend.o, cp/init.o, cp/method.o, cp/cvt.o, cp/search.o)
1129	(cp/tree.o, cp/ptree.o, cp/rtti.o, cp/except.o, cp/expr.o)
1130	(cp/pt.o, cp/error.o, cp/repo.o, cp/semantics.o, cp/dump.o)
1131	(cp/optimize.o, cp/mangle.o, cp/parser.o, cp/cp-gimplify.o)
1132	(cp/name-lookup.o, cp/cxx-pretty-print.o): Remove.
1133
11342013-09-25  Tom Tromey  <tromey@redhat.com>
1135
1136	* Make-lang.in (g++spec.o): Don't use subshell.
1137
11382013-09-25  Marek Polacek  <polacek@redhat.com>
1139
1140	PR c++/58516
1141	* semantics.c (finish_transaction_stmt): Check for EXPR_P before
1142	setting the expr location.
1143
11442013-09-23  Adam Butcher  <adam@jessamine.co.uk>
1145
1146	PR c++/58500
1147	* type-utils.h (find_type_usage): Only traverse one type level into
1148	member function pointers.
1149
11502013-09-23  Adam Butcher  <adam@jessamine.co.uk>
1151
1152	* parser.c (cp_parser_init_declarator): Defer calling
1153	finish_fully_implicit_template for forward declarations until after
1154	other decl processing is complete.  Cleanup for clarity: Extract 'else'
1155	case after 'if' containing unconditional return.
1156
11572013-09-23  Adam Butcher  <adam@jessamine.co.uk>
1158
1159	* parser.c (make_generic_type_name): Spell generic type names '<autoN>'
1160	rather than '__GenN'.
1161
11622013-09-23  Adam Butcher  <adam@jessamine.co.uk>
1163
1164	* lambda.c (maybe_add_lambda_conv_op): Don't check for instantiated
1165	callop in the case of generic lambdas.
1166
11672013-09-23  Adam Butcher  <adam@jessamine.co.uk>
1168
1169	* parser.c (make_generic_type_name): Use global count rather than
1170	parameter and ...
1171	(add_implicit_template_parms): ... propagate interface change here.
1172
11732013-09-20  Paolo Carlini  <paolo.carlini@oracle.com>
1174
1175	PR c++/58481
1176	* pt.c (tsubst_copy): Use current_nonlambda_class_type to
1177	call tsubst_baselink.
1178
11792013-09-18  Paolo Carlini  <paolo.carlini@oracle.com>
1180
1181	PR c++/58457
1182	* class.c (instantiate_type): Loosen a bit the gcc_assert.
1183
11842013-09-18  Marek Polacek  <polacek@redhat.com>
1185
1186	PR sanitize/58443
1187	* typeck.c (cp_build_binary_op): Properly honor -fsanitize options.
1188	Remove unnecessary check.
1189
11902013-09-18  Marek Polacek  <polacek@redhat.com>
1191
1192	PR sanitizer/58411
1193	* typeck.c (cp_build_binary_op): Don't sanitize function if it has the
1194	no_sanitize_undefined attribute.
1195
11962013-09-17  Paolo Carlini  <paolo.carlini@oracle.com>
1197
1198	PR c++/58435
1199	* pt.c (tsubst, [BOUND_TEMPLATE_TEMPLATE_PARM]): Take into account
1200	the cp_type_quals (r) too.
1201
12022013-09-16  Adam Butcher  <adam@jessamine.co.uk>
1203
1204	* cp-tree.h (type_uses_auto_or_concept): Declare.
1205	(is_auto_or_concept): Declare.
1206	* decl.c (grokdeclarator): Allow 'auto' parameters in lambdas with
1207	-std=gnu++1y or -std=c++1y or, as a GNU extension, in plain functions.
1208	* type-utils.h: New header defining ...
1209	(find_type_usage): ... this new function based on pt.c (type_uses_auto)
1210	for searching a type tree given a predicate.
1211	* pt.c (type_uses_auto): Reimplement via type-utils.h (find_type_usage).
1212	(is_auto_or_concept): New function.
1213	(type_uses_auto_or_concept): New function.
1214	* parser.h (struct cp_parser): Add fully_implicit_function_template_p.
1215	* parser.c (cp_parser_new): Initialize
1216	fully_implicit_function_template_p.
1217	(cp_parser_new): Initialize fully_implicit_function_template_p.
1218	(cp_parser_lambda_expression): Copy and restore value of
1219	fully_implicit_function_template_p as per other parser fields.
1220	(cp_parser_parameter_declaration_list): Count generic
1221	parameters and call ...
1222	(add_implicit_template_parms): ... this new function to synthesize them
1223	with help from type-utils.h (find_type_usage), ...
1224	(tree_type_is_auto_or_concept): ... this new static function and ...
1225	(make_generic_type_name): ... this new static function.
1226	(cp_parser_direct_declarator): Account for implicit template parameters.
1227	(cp_parser_lambda_declarator_opt): Finish fully implicit template if
1228	necessary by calling ...
1229	(finish_fully_implicit_template): ... this new function.
1230	(cp_parser_init_declarator): Likewise.
1231	(cp_parser_function_definition_after_declarator): Likewise.
1232	(cp_parser_member_declaration): Likewise.
1233	* Make-lang.in (cp/pt.o): Add dependency on type-utils.h.
1234	(cp/parser.o): Likewise.
1235
12362013-09-16  Adam Butcher  <adam@jessamine.co.uk>
1237
1238	* parser.c (cp_parser_lambda_declarator_opt): Accept template parameter
1239	list with std=c++1y or std=gnu++1y.
1240	(cp_parser_lambda_body): Don't call 'expand_or_defer_fn' for lambda call
1241	operator template to avoid adding template result to symbol table.
1242	* lambda.c (lambda_function): Return template result if call operator is
1243	a template.
1244	(maybe_add_lambda_conv_op): Move declarations to point of use.  Refactor
1245	operator call building in order to support conversion of a non-capturing
1246	lambda template to a function pointer with help from ...
1247	(prepare_op_call): ... this new function.
1248	* decl2.c (check_member_template): Don't reject lambda call operator
1249	template in local [lambda] class.
1250	* pt.c (instantiate_class_template_1): Don't instantiate lambda call
1251	operator template when instantiating lambda class.
1252
12532013-09-16  Adam Butcher  <adam@jessamine.co.uk>
1254
1255	* pt.c (make_auto_1): Use input_location rather than BUILTINS_LOCATION.
1256
12572013-09-15  Jason Merrill  <jason@redhat.com>
1258
1259	Core DR 904
1260	PR c++/41933
1261	* parser.c (cp_parser_lambda_introducer): Handle variadic capture.
1262	* lambda.c (add_capture): Handle variadic capture.
1263	(add_default_capture, lambda_capture_field_type): Likewise.
1264	(build_capture_proxy, register_capture_members): Likewise.
1265	* pt.c (register_specialization): Allow FIELD_DECL.
1266	(retrieve_specialization): Likewise.
1267	(find_parameter_packs_r): Handle FIELD_DECL and VAR_DECL.
1268	(tsubst_pack_expansion): Handle FIELD_DECL packs.
1269	(gen_elem_of_pack_expansion_instantiation): Likewise.
1270	(instantiate_class_template_1): Likewise.
1271	(tsubst_decl, tsubst_copy): Likewise.
1272	(tsubst_expr) [DECL_EXPR]: Handle capture proxy packs.
1273	(tsubst_copy_and_build) [VAR_DECL]: Likewise.
1274	* semantics.c (finish_non_static_data_member): Don't try to represent
1275	the type of a COMPOUND_REF of a FIELD_DECL pack.
1276
1277	PR c++/41933
1278	* cp-tree.h (DECL_PACK_P): Replace FUNCTION_PARAMETER_PACK_P.
1279	* cxx-pretty-print.c (direct_declarator): Adjust.
1280	* decl2.c (cp_build_parm_decl): Adjust.
1281	* pt.c (function_parameter_pack_p): Adjust.
1282	(find_parameter_packs_r, push_template_decl_real): Adjust.
1283	(tsubst_pack_expansion, tsubst_decl): Adjust.
1284	(regenerate_decl_from_template, instantiate_decl): Adjust.
1285
1286	* lambda.c (add_capture): Don't add DECL_LANG_SPECIFIC.
1287
12882013-09-13  Jason Merrill  <jason@redhat.com>
1289
1290	PR c++/58273
1291	* pt.c (any_type_dependent_elements_p): Actually check for
1292	type-dependence, not value-dependence.
1293
12942013-09-13  Jacek Caban  <jacek@codeweavers.com>
1295
1296	* decl.c: Use new cxx_implicit_extern_c hook
1297
12982013-09-12  Brooks Moses  <bmoses@google.com>
1299
1300	PR driver/42955
1301	* Make-lang.in: Do not install driver binaries in $(target)/bin.
1302
13032013-09-12  Adam Butcher  <adam@jessamine.co.uk>
1304
1305	* pt.c (instantiate_decl): Save/restore cp_unevaluated_operand and
1306	c_inhibit_evaluation_warnings.  Reset if instantiating within a
1307	function-local template.
1308
13092013-09-12  Paolo Carlini  <paolo.carlini@oracle.com>
1310
1311	* semantics.c (finish_pseudo_destructor_expr): Add location_t
1312	parameter.
1313	* pt.c (unify_arg_conversion): Use EXPR_LOC_OR_HERE.
1314	(tsubst_copy_and_build): Adjust finish_pseudo_destructor_expr
1315	calls.
1316	* parser.c (cp_parser_postfix_dot_deref_expression): Likewise.
1317	(cp_parser_postfix_expression): Pass the proper location to
1318	cp_parser_postfix_dot_deref_expression.
1319	* cp-tree.h (finish_pseudo_destructor_expr): Update declaration.
1320
13212013-09-10  Jan Hubicka  <jh@suse.cz>
1322	    Paolo Carlini  <paolo.carlini@oracle.com>
1323
1324	* error.c (print_instantiation_partial_context_line): If
1325	loc == UNKNOWN_LOCATION return immediately.
1326
13272013-09-09  Jakub Jelinek  <jakub@redhat.com>
1328
1329	PR c++/58325
1330	* init.c (build_vec_delete): Call mark_rvalue_use on base.
1331
13322013-09-09  Paolo Carlini  <paolo.carlini@oracle.com>
1333
1334	PR c++/43452
1335	* init.c (build_vec_delete_1): When the type is incomplete emit a
1336	warning, enabled by default (not an error).
1337	(build_delete): Adjust to use OPT_Wdelete_incomplete.
1338
13392013-09-09  Paolo Carlini  <paolo.carlini@oracle.com>
1340
1341	PR c++/58362
1342	* error.c (location_of): Don't handle PARM_DECLs specially.
1343
13442013-09-09  Paolo Carlini  <paolo.carlini@oracle.com>
1345
1346	* error.c (dump_expr, [PSEUDO_DTOR_EXPR]): Fix.
1347	* cxx-pretty-print.c (cxx_pretty_printer::postfix_expression):
1348	Tweak, TREE_OPERAND (t, 1) may be null.
1349
13502013-09-08  Caroline Tice  <cmtice@google.com>
1351
1352	PR c++/58300
1353	* vtable-class-hierarchy.c (vtv_generate_init_routine):  In
1354	preinit case, move call to assemble_vtv_preinit_initializer to
1355	after call to cgraph_process_new_functions.
1356
13572013-09-08  Tom de Vries  <tom@codesourcery.com>
1358
1359	PR c++/58282
1360	* except.c (build_must_not_throw_expr): Handle
1361	flag_exceptions.
1362
13632013-09-08  Joern Rennecke  <joern.rennecke@embecosm.com>
1364
1365	* typeck.c (cp_build_binary_op): Use vector_types_compatible_elements_p.
1366
13672013-09-04  Paolo Carlini  <paolo.carlini@oracle.com>
1368
1369	PR c++/24926
1370	* class.c (finish_struct_anon_r): New.
1371	(finish_struct_anon): Use it.
1372
13732013-09-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1374
1375	* cxx-pretty-print.h (cxx_pretty_printer::simple_type_specifier):
1376	Declare as overrider.
1377	* cxx-pretty-print.c (cxx_pretty_printer::simple_type_specifier):
1378	Rename from pp_cxx_simple_type_specifier.
1379	(cxx_pretty_printer::cxx_pretty_printer): Do not assign to
1380	simple_type_specifier.
1381
13822013-09-03  Paolo Carlini  <paolo.carlini@oracle.com>
1383
1384	PR c++/58305
1385	* typeck2.c (build_functional_cast): Maybe warn_deprecated_use.
1386
13872013-09-03  Mike Stump  <mikestump@comcast.net>
1388
1389	* Make-lang.in (cp/lambda.o): Add dependencies.
1390
13912013-09-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1392
1393	* cxx-pretty-print.h (cxx_pretty_printer::type_id): Declare as
1394	overrider.
1395	* cxx-pretty-print.c (pp_cxx_storage_class_specifier): Remove.
1396	(pp_cxx_userdef_literal): Tidy.
1397	(pp_cxx_template_argument_list): Likewise.
1398	(pp_cxx_typeid_expression): Likewise.
1399	(pp_cxx_offsetof_expression_1): Likewise.
1400	(cxx_pretty_printer::postfix_expression): Likewise.
1401	(cxx_pretty_printer::unary_expression): Likewise.
1402	(cxx_pretty_printer::statement): Likewise.
1403	(cxx_pretty_printer::type_id): Rename from pp_cxx_type_id.
1404	(c_pretty_printer::cxx_pretty_printer): Do not assign to type_id.
1405	* error.c (dump_decl): Tidy.
1406	(dump_expr): Likewise.
1407
14082013-09-02  Paolo Carlini  <paolo.carlini@oracle.com>
1409
1410	PR c++/21682, implement DR 565
1411	* name-lookup.c (compparms_for_decl_and_using_decl): New.
1412	(push_overloaded_decl_1, do_nonmember_using_decl): Use it.
1413
14142013-08-30  Marek Polacek  <polacek@redhat.com>
1415
1416	* typeck.c (cp_build_binary_op): Add division by zero and shift
1417	instrumentation.
1418	* error.c (dump_expr): Special-case ubsan builtins.
1419
14202013-08-30  Paolo Carlini  <paolo.carlini@oracle.com>
1421
1422	PR c++/51424
1423	* cp-tree.h (LOOKUP_DELEGATING_CONS): Add.
1424	* init.c (perform_target_ctor): Use it.
1425	* call.c (build_special_member_call): Diagnose self-delegating
1426	constructors.
1427
14282013-08-30  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1429
1430	* cxx-pretty-print.h (cxx_pretty_printer::declaration): Declare as
1431	overrider.
1432	(cxx_pretty_printer::declaration_specifiers): Likewise.
1433	(cxx_pretty_printer::function_specifier): Likewise.
1434	(cxx_pretty_printer::declarator): Likewise.
1435	(cxx_pretty_printer::direct_declarator): Likewise.
1436	(cxx_pretty_printer::abstract_declarator): Likewise.
1437	(cxx_pretty_printer::direct_abstract_declarator): Likewise.
1438	(pp_cxx_declaration): Remove.
1439	* cxx-pretty-print.c (cxx_pretty_printer::function_specifier):
1440	Rename from pp_cxx_function_specifier.  Adjust.
1441	(cxx_pretty_printer::declaration_specifiers): Rename from
1442	pp_cxx_decl_specifier_seq.  Adjust.
1443	(cxx_pretty_printer::direct_declarator): Rename from
1444	pp_cxx_direct_declarator.  Adjust.
1445	(cxx_pretty_printer::declarator): Rename from pp_cxx_declarator.
1446	Adjust.
1447	(cxx_pretty_printer::abstract_declarator): Rename from
1448	pp_cxx_abstract_declarator.  Adjust.
1449	(cxx_pretty_printer::direct_abstract_declarator): Rename from
1450	pp_cxx_direct_abstract_declarator.  Adjust.
1451	(cxx_pretty_printer::declaration): Rename from
1452	pp_cxx_declaration.  Adjust.
1453	(cxx_pretty_printer::cxx_pretty_printer): Do not assign to
1454	declaration, declaration_specifiers, function_specifier,
1455	declarator, direct_declarator, abstract_declarator,
1456	direct_abstract_declarator.
1457	* error.c (dump_decl): Adjust.
1458
14592013-08-29  Jan Hubicka  <jh@suse.cz>
1460
1461	Correct previous patch to not mark terminate as LEAF.
1462	* class.c (build_vtbl_initializer): Drop LEAF
1463	* decl.c (cxx_init_decl_processing): Likewise.
1464	(push_throw_library_fn): Likewise.
1465	* except.c (init_exception_processing): Likewise.
1466	(do_begin_catch): Likewise.
1467	(do_end_catch): Likewise.
1468	(do_allocate_exception): Likewise.
1469
14702013-08-29  Jan Hubicka  <jh@suse.cz>
1471
1472	* class.c (build_vtbl_initializer): Make __cxa_deleted_virtual
1473	ECF_NORETURN | ECF_LEAF
1474	* cp-tree.h (build_library_fn_ptr, build_cp_library_fn_ptr,
1475	push_library_fn, push_void_library_fn): Update prototype.
1476	* decl.c (build_library_fn_1): Remove.
1477	(push_cp_library_fn, build_cp_library_fn): Update to take ECF flags.
1478	(cxx_init_decl_processing): Update; global_delete_fndecl is ECF_NOTROW;
1479	__cxa_pure_virtual is ECF_NORETURN | ECF_NORETURN | ECF_LEAF.
1480	(build_library_fn_1): Add ecf_flags argument; rename to ...
1481	(build_library_fn): ... this one.
1482	(build_cp_library_fn): Take ecf_flags; do not copy NOTHROW flag.
1483	(build_library_fn_ptr): Take ecf_flags.
1484	(build_cp_library_fn_ptr): Likewise.
1485	(push_library_fn): Likewise.
1486	(push_cp_library_fn): Likewise.
1487	(push_void_library_fn): Likewise.
1488	(push_throw_library_fn): All throws are ECF_NORETURN.
1489	(__cxa_atexit, __cxa_thread_atexit): Add ECF_LEAF | ECF_NOTHROW attributes.
1490	(expand_static_init): __cxa_guard_acquire, __cxa_guard_release,
1491	__cxa_guard_abort are ECF_NOTHROW | ECF_LEAF.
1492	* except.c (init_exception_processing): terminate is
1493	ECF_NOTHROW | ECF_NORETURN | ECF_LEAF.
1494	(declare_nothrow_library_fn): Add ecf_flags parameter.
1495	(__cxa_get_exception_ptr): Is ECF_NOTHROW | ECF_PURE | ECF_LEAF |
1496	ECF_TM_PURE.
1497	(do_begin_catch): cxa_begin_catch and _ITM_cxa_begin_catch
1498	are ECF_NOTHROW | ECF_LEAF.
1499	(do_end_catch): __cxa_end_catch and _ITM_cxa_end_catch is
1500	ECF_LEAF.
1501	(do_allocate_exception): _cxa_allocate_exception
1502	and _ITM_cxa_allocate_exception are ECF_NOTHROW | ECF_MALLOC
1503	| ECF_LEAF
1504	(do_free_exception): __cxa_free_exception is
1505	ECF_NOTHROW | ECF_LEAF.
1506	* rtti.c (build_dynamic_cast_1): __dynamic_cast
1507	is ECF_LEAF | ECF_PURE | ECF_NOTHROW.
1508
15092013-08-29  Adam Butcher  <adam@jessamine.co.uk>
1510
1511	* error.c (dump_lambda_function): New function, dependent on ...
1512	(dump_substitution): ... this new function, factored out of ...
1513	(subst_to_string): ... here and ...
1514	(dump_function_decl): ... here.  Updated to early-out with call to
1515	dump_lambda_function after determining template bindings.
1516
15172013-08-28  Paolo Carlini  <paolo.carlini@oracle.com>
1518
1519	PR c++/58255
1520	* init.c (build_aggr_init): When init == void_type_node do not
1521	set LOOKUP_ONLYCONVERTING.
1522
15232013-08-27  Caroline Tice  <cmtice@google.com>
1524
1525	* vtable-class-hierarchy.c: Remove unnecessary include statements.
1526	(MAX_SET_SIZE): Remove unnecessary constant.
1527	(register_construction_vtables):  Make vtable_ptr_array parameter
1528	into a vector; remove num_args parameter. Change array accesses to
1529	vector accesses.
1530	(register_other_binfo_vtables): Ditto.
1531	(insert_call_to_register_set): Ditto.
1532	(insert_call_to_register_pair): Ditto.
1533	(output_set_info):  Ditto.  Also change warning calls to warning_at
1534	calls, and fix format of warning messages.
1535	(register_all_pairs): Change vtbl_ptr_array from an array into a
1536	vector.  Remove num_vtable_args (replace with calls to vector length).
1537	Change array stores & accesses to vector functions. Change calls to
1538	register_construction_vtables, register_other_binfo_vtables,
1539	insert_call_to_register_set, insert_call_to_register_pair and
1540	output_set_info to match their new signatures.  Change warning to
1541	warning_at and fix the format of the warning message.
1542
15432013-08-27  Jakub Jelinek  <jakub@redhat.com>
1544	    Aldy Hernandez  <aldyh@redhat.com>
1545
1546	* cp-tree.h (CP_OMP_CLAUSE_INFO): Adjust range for new clauses.
1547
15482013-08-27  Paolo Carlini  <paolo.carlini@oracle.com>
1549
1550	* decl.c (grokfndecl): Remove old bison hack.
1551
15522013-08-26  Jan Hubicka  <jh@suse.cz>
1553
1554	* cp-tree.h (DECL_CONSTRUCTOR_P, DECL_DESTRUCTOR_P): Use
1555	middle-end flag.
1556
15572013-08-26  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1558
1559	* cxx-pretty-print.h (cxx_pretty_printer::unary_expression):
1560	Declare as overrider.
1561	(cxx_pretty_printer::multiplicative_expression): Likewise.
1562	(cxx_pretty_printer::conditional_expression): Likewise.
1563	(cxx_pretty_printer::assignment_expression): Likewise.
1564	(cxx_pretty_printer::expression): Likewise.
1565	* cxx-pretty-print.c (cxx_pretty_printer::unary_expression):
1566	Rename from pp_cxx_unary_expression.  Adjust.
1567	(cxx_pretty_printer::multiplicative_expression): Rename from
1568	pp_cxx_multiplicative_expression.  Adjust.
1569	(cxx_pretty_printer::conditional_expression): Rename from
1570	pp_cxx_conditional_expression.  Adjust.
1571	(cxx_pretty_printer::assignment_expression): Rename from
1572	pp_cxx_assignment_expression.  Adjust.
1573	(cxx_pretty_printer::expression): Rename from pp_cxx_expression.
1574	Adjust.
1575	(cxx_pretty_printer::cxx_pretty_printer): Dot not assign to
1576	unary_expression, multiplicative_expression,
1577	conditional_expression, assignment_expression, expression.
1578
15792013-08-25  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1580
1581	* cxx-pretty-print.h (cxx_pretty_printer::postfix_expression):
1582	Declare as overrider.
1583	* cxx-pretty-print.c (cxx_pretty_printer::postfix_expression):
1584	Rename from pp_cxx_postfix_expression.  Adjust.
1585	(pp_cxx_expression): Use pp_postfix_expression.
1586	(cxx_pretty_printer::cxx_pretty_printer): Do not assign to
1587	postfix_expression.
1588
15892013-08-25  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1590
1591	* cxx-pretty-print.h (cxx_pretty_printer::primary_expression): Now
1592	an overrider of c_pretty_printer::primary_expression.
1593	* cxx-pretty-print.c (cxx_pretty_printer::primary_expression):
1594	Rename from pp_cxx_primary_expression.  Adjust.
1595	(pp_cxx_postfix_expression): Use pp_primary_expression.
1596	(pp_cxx_ctor_initializer): Likewise.
1597	(cxx_pretty_printer::cxx_pretty_printer): Do not assign to
1598	primary_expression.
1599
16002013-08-23  Jan Hubicka  <jh@suse.cz>
1601
1602	* cp-tree.h (struct lang_type_class): Free is_final bit.
1603	(CLASSTYPE_FINAL): Define using TYPE_FINAL_P.
1604	(DECL_FINAL_P): Remove.
1605	* pt.c (instantiate_class_template_1): Guard that CLASSTYPE_FINAL
1606	is called on CLASS_TYPE_P.
1607
16082013-08-25  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1609
1610	* cxx-pretty-print.c (M_): Remove.
1611	(pp_cxx_unqualified_id): Use translate_string instead of M_.
1612	(pp_cxx_canonical_template_parameter): Likewise.
1613
16142013-08-24  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1615
1616	* cxx-pretty-print.h (cxx_pretty_printer::id_expression): Declare.
1617	* cxx-pretty-print.c (cxx_pretty_printer::id_expression): Rename
1618	from pp_cxx_id_expression.  Adjust.
1619	(pp_cxx_userdef_literal): Use pp_id_expression.
1620	(pp_cxx_primary_expression): Likewise.
1621	(pp_cxx_direct_declarator): Likewise.
1622	(cxx_pretty_printer::cxx_pretty_printer): Do not assign to
1623	id_expression.
1624
16252013-08-24  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1626
1627	* cxx-pretty-print.h (cxx_pretty_printer::constant): Now a member
1628	function, overriding c_pretty_printer::constant.
1629	* cxx-pretty-print.c (cxx_pretty_printer::constant): Rename from
1630	pp_cxx_constant.  Adjust.
1631	(cxx_pretty_printer::cxx_pretty_printer): Do not assign to constant.
1632
16332013-08-23  Gabriel Dos Reis  <gdr@integrable-solutiobs.net>
1634
1635	* cp-objcp-common.c (cxx_initialize_diagnostics): Call a
1636	destructor for the early printer.
1637	* error.c (type_to_string): Use pp_buffer.
1638
16392013-08-22  Paolo Carlini  <paolo.carlini@oracle.com>
1640
1641	PR c++/56380
1642	* class.c (check_field_decls): Check for const mutable and const
1643	reference data members.
1644
16452013-08-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1646
1647	* error.c (init_error): Remove calls to pp_construct and
1648	pp_cxx_pretty_printer_init.  Initialize cxx_pp with placement-new.
1649	* cxx-pretty-print.h (cxx_pretty_printer::cxx_pretty_printer): Declare.
1650	(cxx_pretty_printer_init): Remove.
1651	* cxx-pretty-print.c (cxx_pretty_printer::cxx_pretty_printer):
1652	Rename from cxx_pretty_printer_init.  Adjust.
1653	* cp-objcp-common.c (cxx_initialize_diagnostics): Simplify
1654	initialization of C++ diagnostics pretty printer.
1655
16562013-08-21  Paolo Carlini  <paolo.carlini@oracle.com>
1657
1658	* call.c (build_new_method_call_1): Use INDIRECT_REF_P.
1659	* cp-tree.h (REFERENCE_REF_P): Likewise.
1660	* semantics.c (finish_offsetof): Likewise.
1661
16622013-08-21  Paolo Carlini  <paolo.carlini@oracle.com>
1663
1664	PR c++/56130
1665	* semantics.c (finish_id_expression): Handle deprecated references.
1666
16672013-08-20  Jason Merrill  <jason@redhat.com>
1668
1669	PR c++/58119
1670	* cvt.c (build_expr_type_conversion): Don't complain about a
1671	template that can't match the desired type category.
1672
16732013-08-20  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1674
1675	* error.c (pp_ggc_formatted_text): New.
1676	(type_as_string): Use it in lieu of pp_formatted_text.
1677	(type_as_string_translate): Likewise.
1678	(expr_as_string): Likewise.
1679	(decl_as_string): Likewise.
1680	(decl_as_string_translate): Likewise.
1681	(lang_decl_name): Likewise.
1682	(decl_to_string): Likewise.
1683	(expr_to_string): Likewise.
1684	(fndecl_to_string): Likewise.
1685	(parm_to_string): Likewise.
1686	(type_to_string): Likewise.
1687	(args_to_string): Likewise.
1688	(subst_to_string): Likewise.
1689
16902013-08-19  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1691
1692	PR c/57490
1693	* cp-array-notation.c (cp_expand_cond_array_notations): Added a
1694	check for truth values.
1695	(expand_array_notation_exprs): Added truth values case.  Removed an
1696	unwanted else.  Added for-loop to walk through subtrees in default
1697	case.
1698	* call.c (build_cxx_call): Inherited the type of the array notation for
1699	certain built-in array notation functions.
1700
17012013-08-19  Paolo Carlini  <paolo.carlini@oracle.com>
1702
1703	* parser.c (cp_parser_lambda_introducer, cp_parser_decltype_expr):
1704	Use cp_parser_lookup_name_simple.
1705
17062013-08-19  Paolo Carlini  <paolo.carlini@oracle.com>
1707
1708	* name-lookup.h (pop_bindings_and_leave_scope): Declare.
1709	* name-lookup.c (pop_bindings_and_leave_scope): Define.
1710	* parser.c (cp_parser_lambda_declarator_opt,
1711	cp_parser_direct_declarator, cp_parser_cache_defarg): Use it.
1712
17132013-08-17  Jason Merrill  <jason@redhat.com>
1714
1715	PR c++/58083
1716	* name-lookup.c (push_class_level_binding_1): It's OK to push a
1717	lambda type after the enclosing type is complete.
1718
17192013-08-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1720
1721	* error.c (dump_scope): Add a cxx_pretty_printer parameter.
1722	Adjust callers.
1723	(dump_template_argument): Likewise.
1724	(dump_template_argument_list): Likewise.
1725	(dump_template_parameter): Likewise.
1726	(dump_template_bindings): Likewise.
1727	(dump_alias_template_specialization): Likewise.
1728	(dump_type): Likewise.
1729	(dump_typename): Likewise.
1730	(dump_aggr_type): Likewise.
1731	(dump_type_prefix): Likewise.
1732	(dump_type_suffix): Likewise.
1733	(dump_global_iord): Likewise.
1734	(dump_simple_decl): Likewise.
1735	(dump_decl): Likewise.
1736	(dump_template_decl): Likewise.
1737	(dump_function_decl): Likewise.
1738	(dump_parameters): Likewise.
1739	(dump_ref_qualifier): Likewise.
1740	(dump_exception_spec): Likewise.
1741	(dump_function_name): Likewise.
1742	(dump_template_parms): Likewise.
1743	(dump_call_expr_args): Likewise.
1744	(dump_aggr_init_expr_args): Likewise.
1745	(dump_expr_list): Likewise.
1746	(dump_expr_init_vec): Likewise.
1747	(dump_expr): Likewise.
1748	(dump_binary_op): Likewise.
1749	(dump_unary_op): Likewise.
1750
17512013-08-14  Paolo Carlini  <paolo.carlini@oracle.com>
1752
1753	PR c++/51912
1754	* cp-tree.h (LOOKUP_NO_NON_INTEGRAL): Add.
1755	* decl.c (case_conversion): Use it.
1756	* call.c (standard_conversion): Likewise.
1757	(implicit_conversion): Adjust.
1758
17592013-08-13  Adam Butcher  <adam@jessamine.co.uk>
1760
1761	* pt.c: Grammar fix in comments ("it's" to "its").
1762
17632013-08-12  Paolo Carlini  <paolo.carlini@oracle.com>
1764
1765	* decl.c (warn_extern_redeclared_static, duplicate_decls,
1766	check_elaborated_type_specifier): Use error + inform.
1767	* friend.c (make_friend_class): Likewise.
1768	* semantics.c (finish_id_expression): Likewise.
1769
17702013-08-09  Paolo Carlini  <paolo.carlini@oracle.com>
1771
1772	Revert:
1773	2013-08-07  Paolo Carlini  <paolo.carlini@oracle.com>
1774
1775	PR c++/46206
1776	* name-lookup.c (lookup_name_real_1): Handle iter->type before
1777	iter->value.
1778
17792013-08-07  Paolo Carlini  <paolo.carlini@oracle.com>
1780
1781	PR c++/46206
1782	* name-lookup.c (lookup_name_real_1): Handle iter->type before
1783	iter->value.
1784
17852013-08-06  Caroline Tice  <cmtice@google.com>
1786
1787	* Make-lang.in (*CXX_AND_OBJCXX_OBJS):  Add vtable-class-hierarchy.o to
1788	list.
1789	(vtable-class-hierarchy.o): Add build rule.
1790	* cp-tree.h (vtv_start_verification_constructor_init_function): New
1791	extern function decl.
1792	(vtv_finish_verification_constructor_init_function): New extern
1793	function decl.
1794	(build_vtbl_address): New extern function decl.
1795	(get_mangled_vtable_map_var_name): New extern function decl.
1796	(vtv_compute_class_hierarchy_transitive_closure): New extern function
1797	decl.
1798	(vtv_generate_init_routine): New extern function decl.
1799	(vtv_save_class_info): New extern function decl.
1800	(vtv_recover_class_info): New extern function decl.
1801	(vtv_build_vtable_verify_fndecl): New extern function decl.
1802	* class.c (finish_struct_1): Add call to vtv_save_class_info if
1803	flag_vtable_verify is true.
1804	* config-lang.in: Add vtable-class-hierarchy.c to gtfiles list.
1805	* vtable-class-hierarchy.c: New file.
1806	* mangle.c (get_mangled_vtable_map_var_name):  New function.
1807	* decl2.c (start_objects): Update function comment.
1808	(cp_write_global_declarations):  Call vtv_recover_class_info,
1809	vtv_compute_class_hierarchy_transitive_closure and
1810	vtv_build_vtable_verify_fndecl, before calling
1811	finalize_compilation_unit, and call vtv_generate_init_rount after, IFF
1812	flag_vtable_verify is true.
1813	(vtv_start_verification_constructor_init_function): New function.
1814	(vtv_finish_verification_constructor_init_function): New function.
1815	* init.c (build_vtbl_address): Remove static qualifier from function.
1816
18172013-08-06  Jason Merrill  <jason@redhat.com>
1818
1819	PR c++/57825
1820	* tree.c (strip_typedefs) [METHOD_TYPE]: Preserve ref-qualifier.
1821
18222013-08-05  Paolo Carlini  <paolo.carlini@oracle.com>
1823
1824	PR c++/58080
1825	* typeck.c (cp_pointer_int_sum): Add tsubst_flags_t parameter.
1826	(cp_build_binary_op): Adjust.
1827
18282013-08-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1829
1830	* cxx-pretty-print.h (pp_c_base): Remove.
1831	(cxx_pretty_printer): Derive from c_pretty_printer.
1832	Adjust macros using pp_c_base.
1833	* cp-objcp-common.c (cxx_initialize_diagnostics): Do not call pp_base.
1834	* cxx-pretty-print.c (pp_cxx_nonconsecutive_character): Likewise.
1835	(pp_cxx_colon_colon): Likewise.
1836	(pp_cxx_separate_with): Likewise.
1837	(pp_cxx_storage_class_specifier): Do not call pp_c_base.
1838	(pp_cxx_expression_list): Likewise.
1839	(pp_cxx_space_for_pointer_operator): Likewise.
1840	(pp_cxx_init_declarator): Likewise.
1841	(pp_cxx_call_argument_list): Likewise.
1842	(pp_cxx_constant): Likewise.
1843	(pp_cxx_postfix_expression): Likewise.
1844	(pp_cxx_new_expression): Likewise.
1845	(pp_cxx_unary_expression): Likewise.
1846	(pp_cxx_cast_expression): Likewise.
1847	(pp_cxx_conditional_expression): Likewise.
1848	(pp_cxx_assignment_expression): Likewise.
1849	(pp_cxx_expression): Likewise.
1850	(pp_cxx_function_specifier): Likewise.
1851	(pp_cxx_decl_specifier_seq): Likewise.
1852	(pp_cxx_simple_type_specifier): Likewise.
1853	(pp_cxx_type_specifier_seq): Likewise.
1854	(pp_cxx_ptr_operator): Likewise.
1855	(pp_cxx_parameter_declaration_clause): Likewise.
1856	(pp_cxx_direct_declarator): Likewise.
1857	(pp_cxx_direct_abstract_declarator): Likewise.
1858	(pp_cxx_type_id): Likewise.
1859	(pp_cxx_statement): Likewise.
1860	(pp_cxx_pretty_printer_init): Tidy.
1861	* error.c (init_error): Do not use pp_base.
1862	(dump_aggr_type): Likewise.
1863	(dump_type_prefix): Likewise.
1864	(dump_type_suffix): Likewise.
1865	(dump_global_iord): Likewise.
1866	(dump_decl): Likewise.
1867	(dump_function_decl): Likewise.
1868	(dump_ref_qualifier): Likewise.
1869	(reinit_cxx_pp): Likewise.
1870	(decl_as_dwarf_string): Likewise.
1871	(lang_decl_dwarf_name): Likewise.
1872	(type_to_string): Likewise.
1873	(cv_to_string): Likewise.
1874	(cxx_print_error_function): Likewise.
1875	(cp_diagnostic_starter): Likewise.
1876	(cp_diagnostic_finalizer): Likewise.
1877	(cp_print_error_function): Likewise.
1878	(print_instantiation_context): Likewise.
1879	(cp_printer): Likewise.
1880
18812013-08-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1882
1883	* error.c (dump_type_prefix): Use specialized pretty printer
1884	functions instead of pp_string or operators and punctuators.
1885	(dump_decl): Likewise.
1886	(dump_expr): Likewise.
1887
18882013-08-03  Jason Merrill  <jason@redhat.com>
1889
1890	DR 1286
1891	* pt.c (get_underlying_template): New.
1892	(convert_template_argument, lookup_template_class_1): Use it.
1893
1894	DR 1430
1895	PR c++/51239
1896	* pt.c (pack_expansion_args_count): Rename from
1897	any_pack_expanson_args_p.
1898	(coerce_template_parms): Reject pack expansion to
1899	non-pack template parameter of alias template.
1900
19012013-08-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1902
1903	* error.c (dump_aggr_type): Use specialized pretty printer
1904	functions instead of pp_character.
1905	(dump_type_prefix): Likewise.
1906	(dump_simple_decl): Likewise.
1907	(type_to_string): Likewise.
1908
19092013-08-02  Paolo Carlini  <paolo.carlini@oracle.com>
1910
1911	* cp-tree.h (finish_stmt): Do not declare.
1912	* decl.c (finish_stmt): Do not define.
1913	* parser.c (cp_parser_expression_statement,
1914	cp_parser_declaration_statement,
1915	cp_parser_transaction_cancel): Don't call finish_stmt.
1916	* semantics.c (finish_expr_stmt, finish_if_stmt,
1917	finish_while_stmt, finish_do_stmt, finish_return_stmt,
1918	finish_for_stmt, finish_switch_stmt, finish_compound_stmt,
1919	finish_transaction_stmt): Likewise.
1920
19212013-08-01  Fabien Chêne  <fabien@gcc.gnu.org>
1922
1923	PR c++/54537
1924	* cp-tree.h: Check OVL_USED with OVERLOAD_CHECK.
1925	* name-lookup.c (do_nonmember_using_decl): Make sure we have an
1926	OVERLOAD before calling OVL_USED. Call diagnose_name_conflict
1927	instead of issuing an error without mentioning the conflicting
1928	declaration.
1929
19302013-07-31  Paolo Carlini  <paolo.carlini@oracle.com>
1931
1932	* parser.c (cp_parser_sizeof_pack): Check cp_parser_identifier
1933	return value for error_mark_node.
1934
19352013-07-30  Paolo Carlini  <paolo.carlini@oracle.com>
1936
1937	PR c++/57673
1938	* parser.c (cp_parser_cache_defarg): In an NSDMI don't stop when
1939	token->type == CPP_ELLIPSIS.
1940
19412013-07-30  Paolo Carlini  <paolo.carlini@oracle.com>
1942
1943	PR c++/57947
1944	* call.c (is_std_init_list): Return false if cxx_dialect == cxx98.
1945
19462013-07-29  Jason Merrill  <jason@redhat.com>
1947
1948	PR c++/57901
1949	* semantics.c (build_data_member_initialization, constexpr_fn_retval):
1950	Use break_out_target_exprs instead of unshare_expr.
1951
19522013-07-29  Paolo Carlini  <paolo.carlini@oracle.com>
1953
1954	PR c++/57948
1955	* call.c (initialize_reference): Don't crash when reference_binding
1956	returns a conv with conv->kind == ck_ambig.
1957
19582013-07-29  Jason Merrill  <jason@redhat.com>
1959
1960	* mangle.c (write_name): Check for null context.
1961	(write_unscoped_name): Allow PARM_DECL context.
1962
19632013-07-25  Paolo Carlini  <paolo.carlini@oracle.com>
1964
1965	PR c++/57981
1966	* decl.c (check_default_argument): Take a tsubst_flags_t parameter.
1967	(grokparms): Adjust.
1968	* parser.c (cp_parser_late_parse_one_default_arg): Likewise.
1969	* pt.c (tsubst_default_argument, tsubst_default_arguments): Take
1970	a tsubst_flags_t parameter.
1971	(tsubst_decl): Adjust.
1972	* call.c (convert_default_arg): Likewise.
1973	* cp-tree.h (check_default_argument, tsubst_default_argument):
1974	Update declarations.
1975
19762013-07-25  Paolo Carlini  <paolo.carlini@oracle.com>
1977
1978	PR c++/57880
1979	* parser.c (cp_parser_operator, case CPP_WSTRING, CPP_STRING16,
1980	CPP_STRING32, CPP_UTF8STRING, CPP_WSTRING_USERDEF,
1981	CPP_STRING16_USERDEF, CPP_STRING32_USERDEF, CPP_UTF8STRING_USERDEF):
1982	Fix string_len management, tidy.
1983
19842013-07-24  Paolo Carlini  <paolo.carlini@oracle.com>
1985
1986	PR c++/57942
1987	* typeck.c (ptr_reasonably_similar): Use COMPARE_STRICT if either
1988	target type is incomplete; return a bool, not an int.
1989	* cp-tree.h (ptr_reasonably_similar): Adjust declaration.
1990
19912013-07-22  Paolo Carlini  <paolo.carlini@oracle.com>
1992
1993	* cp-tree.h (DERIVED_FROM_P): Pass tf_none to lookup_base, not
1994	tf_warning_or_error.
1995
19962013-07-21   Ondřej Bílka  <neleai@seznam.cz>
1997
1998	* class.c: Fix typos.
1999	* cp-array-notation.c: Likewise.
2000	* cp-objcp-common.c: Likewise.
2001	* decl.c: Likewise.
2002	* init.c: Likewise.
2003	* mangle.c: Likewise.
2004	* parser.c: Likewise.
2005	* pt.c: Likewise.
2006	* semantics.c: Likewise.
2007
20082013-07-14  Adam Butcher  <adam@jessamine.co.uk>
2009
2010	* semantics.c (build_lambda_expr),
2011	(build_lambda_object), (begin_lambda_type), (lambda_return_type),
2012	(lambda_function), (lambda_capture_field_type), (is_capture_proxy),
2013	(is_normal_capture_proxy), (insert_capture_proxy),
2014	(insert_pending_capture_proxies), (lambda_proxy_type),
2015	(build_capture_proxy), (vla_capture_type),
2016	(register_capture_members), (add_default_capture),
2017	(lambda_expr_this_capture), (maybe_resolve_dummy),
2018	(nonlambda_method_basetype), (maybe_add_lambda_conv_op) and
2019	(is_lambda_ignored_entity): Moved definitions into ...
2020	* lambda.c: ... this new file.
2021
20222013-07-14  Marc Glisse  <marc.glisse@inria.fr>
2023
2024	* call.c (build_conditional_expr_1): Handle the case with 1 vector
2025	and 2 scalars. Call save_expr before building a vector.
2026	* typeck.c (cp_build_binary_op): Check complain before complaining.
2027
20282013-07-13  Lubos Lunak  <l.lunak@suse.cz>
2029
2030	PR c++/55203
2031	* init.c (build_aggr_init): Check for warn_unused attribute.
2032	* decl.c (poplevel): Likewise.
2033
20342013-07-13  Jason Merrill  <jason@redhat.com>
2035
2036	PR c++/57402
2037	* init.c (build_vec_init): Use {} for arrays of class type.
2038	(build_vec_delete): Don't take the address of the array.
2039
2040	PR c++/57793
2041	* class.c (layout_class_type): Check for too-large class.
2042
2043	* call.c (can_convert): Allow user-defined conversions.
2044	(can_convert_standard): New.
2045	* cp-tree.h: Declare it.
2046	* cvt.c (convert_to_reference): Use it.
2047	* pt.c (convert_nontype_argument): Likewise.
2048	* search.c (check_final_overrider): Likewise.
2049	Don't worry about user-defined conversions.
2050
20512013-07-10  Paolo Carlini  <paolo.carlini@oracle.com>
2052
2053	PR c++/57869
2054	* typeck.c (build_reinterpret_cast_1): With -Wconditionally-supported
2055	warn about casting between pointer-to-function and pointer-to-object.
2056
20572013-07-09  Jason Merrill  <jason@redhat.com>
2058
2059	PR c++/57402
2060	* init.c (build_vec_init): Don't take shortcuts when initializing
2061	a VLA.
2062
2063	PR c++/57471
2064	* parser.c (cp_parser_sizeof_pack): Clear parser scopes.
2065
2066	PR c++/57658
2067	* semantics.c (finish_id_expression): Return the id for an
2068	unevaluated outer variable.
2069
2070	PR c++/57526
2071	* semantics.c (lambda_capture_field_type): Build a DECLTYPE_TYPE
2072	if the variable type uses 'auto'.
2073
2074	PR c++/57437
2075	* typeck.c (check_return_expr): Lambda proxies aren't eligible
2076	for nrv or return by move.
2077
2078	PR c++/57532
2079	* parser.c (cp_parser_ref_qualifier_opt): Don't tentatively parse
2080	a ref-qualifier in C++98 mode.
2081
2082	PR c++/57545
2083	* pt.c (convert_nontype_argument) [INTEGER_CST]: Force the
2084	argument to have the exact type of the parameter.
2085
2086	PR c++/57551
2087	* semantics.c (cxx_eval_indirect_ref): Don't try to look through
2088	a POINTER_PLUS_EXPR for type punning diagnostic.
2089
2090	PR c++/57831
2091	* pt.c (tsubst_copy): Handle USING_DECL.
2092
20932013-07-09  Marc Glisse  <marc.glisse@inria.fr>
2094
2095	PR c++/53094
2096	* semantics.c (cxx_eval_bit_field_ref): Handle VECTOR_CST.
2097
20982013-07-09  Marc Glisse  <marc.glisse@inria.fr>
2099
2100	PR c++/53000
2101	* call.c (build_conditional_expr_1): Preserve xvalues.
2102
21032013-07-09  Paolo Carlini  <paolo.carlini@oracle.com>
2104
2105	PR c++/51786
2106	* parser.c (cp_parser_simple_declaration): Before calling shadow_tag
2107	also check declares_class_or_enum.
2108
21092013-07-08  Jason Merrill  <jason@redhat.com>
2110
2111	PR c++/57550
2112	* pt.c (fn_type_unification): Only defer during substitution.
2113	(type_unification_real): Defer during defarg substitution,
2114	add checks parm to pass back deferred checks.
2115	(unify, do_auto_deduction): Adjust.
2116	* semantics.c (reopen_deferring_access_checks): New.
2117	* cp-tree.h: Declare it.
2118
21192013-07-06  Paolo Carlini  <paolo.carlini@oracle.com>
2120
2121	PR c++/28262
2122	* parser.c (cp_parser_init_declarator): If we are parsing a typedef
2123	set parser->default_arg_ok_p to false before cp_parser_declarator.
2124
21252013-07-05  Paolo Carlini  <paolo.carlini@oracle.com>
2126
2127	PR c++/14263
2128	* class.c (build_base_path): Improve diagnostic.
2129
21302013-07-04  Paolo Carlini  <paolo.carlini@oracle.com>
2131
2132	PR c++/38634
2133	* decl.c (start_preparsed_function): Return a bool, false if
2134	push_template_decl fails.
2135	(start_function): Adjust.
2136	* cp-tree.h: Update.
2137
21382013-07-03  Jakub Jelinek  <jakub@redhat.com>
2139
2140	PR c++/57771
2141	* parser.c (cp_parser_postfix_expression) <case RID_STATCAST>
2142	Temporarily set parser->greater_than_is_operator_p for
2143	cp_parser_expression and restore from saved value afterwards.
2144
21452013-06-28  Ed Smith-Rowland  <3dw4rd@verizon.net>
2146
2147	* cp-tree.h (UDLIT_OP_ANSI_PREFIX): Remove space.
2148	* parser.c (cp_parser_operator()): Parse user-defined string
2149	literal as literal operator.
2150
21512013-06-28  Paolo Carlini  <paolo.carlini@oracle.com>
2152
2153	PR c++/57645
2154	* class.c (deduce_noexcept_on_destructors): Save, set, and restore
2155	TYPE_HAS_NONTRIVIAL_DESTRUCTOR (t) around the main loop over the
2156	destructors.
2157
21582013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
2159
2160	* parser.c (cp_parser_array_notation): Removed rejection array notation
2161	of type function pointers. Added handling of array expressions when
2162	Cilk Plus is enabled.  Took out type-checking.
2163	(cp_parser_postfix_open_square_expression): Moved normal array expr.
2164	parsing into cp_parser_array_notation when cilkplus is enabled.
2165	(cp_parser_compound_statement): Removed expansion of array notations.
2166	(cp_parser_ctor_initializer_opt_and_function_body): Likewise.
2167	(cp_parser_function_definition_after_declarator): Likewise.
2168	(cp_parser_selection_statement): Removed error reporting.
2169	(cp_parser_iteration_statement): Likewise.
2170	(cp_parser_direct_declarator): Removed error checking/reporting if
2171	array notations are used in the declarator.
2172	* pt.c (instantiate_decl): Likewise.
2173	(type_unification_real): Removed a check for ARRAY_NOTATION_REF.
2174	(cxx_eval_constant_expression): Removed ARRAY_NOTATION_REF case.
2175	(potential_constant_expression_1): Returned false for
2176	ARRAY_NOTATION_REF case.
2177	* cp-gimplify.c (cp_genericize): Added expansion of array notation
2178	expressions here.
2179	* cp-array-notation.c (make_triplet_val_inv): Removed loc and cry
2180	parameters.  Replaced build_decls with get_temp_regvar with type as
2181	ptrdiff.
2182	(create_array_refs): Made the type-casting to ptrdiff_type.
2183	(replace_invariant_var): Added a check for void return type before
2184	creating new var.  Replaced build_decl and build_min_nt_loc with
2185	get_temp_regvar.
2186	(expand_an_in_modify_expr): Ditto.  Replaced body of redundant else
2187	with gcc_unreachable.  Removed few unwanted checks.  Made induction
2188	variable type as ptrdiff_type.  Removed loc and complain arguments
2189	passed into make_triplet_val_inv.  Replaced all modify expression's
2190	code from NOP EXPR to INIT EXPR.  Replaced all forceful appending
2191	into stmt. list with the non-forceful one.  Replaced some integer
2192	conversion and equality-checking to using tree_int_cst_equal.
2193	(expand_sec_reduce_builtin): All changes mentioned in above function
2194	expand_an_in_modify_expr.  Made the new variable type of
2195	SEC_REDUCE_ANY/ALL_{NON}ZERO intrinsic functions as bool.
2196	(expand_array_notation_exprs): Removed SWITCH_EXPR case.  Moved all
2197	the error reporting from parser to this function.  Removed unwanted
2198	statements and checks from SWITCH_STMT, WHILE_STMT, and DO_STMT cases.
2199	(cilkplus_an_triplet_types_ok_p): Removed rejection of array notation
2200	in function pointers.
2201	(cp_expand_cond_array_notations): Added a new if statements to check
2202	if condition has a zero rank.  If so, then just return.
2203	(expand_return_expr): Added a check for return expressions with a rank.
2204	Replaced get_tmp_regvar with a create_temporary_var.
2205	(build_array_notation_ref): Simplified and removed unwanted if-stmts.
2206	Moved common code outside if-statements.  Moved type-checking from
2207	parser to here.
2208	* semantics.c (finish_return_stmt): Removed a check for return exprs.
2209	with a rank.
2210	* call.c (convert_like_real): Removed a check for array notation
2211	expression in a function.
2212	(build_over_call): Likewise.
2213	(magic_varargs_p): Added a check for builtin array notation function.
2214	Made this function non-static and removed its prototype.
2215	* cp-tree.h (magic_varargs_p): New prototype.
2216	* typeck.c (cp_build_function_call_vec): Removed automatic setting of
2217	nargs to the param->length when builtin reduction function is used.
2218	(convert_arguments): Replaced check for a constant_p function with
2219	margic_varargs_p function call.
2220	(cp_build_binary_op): Removed calling of the function
2221	find_correct_array_notation_type.
2222	(cp_build_addr_expr_1): Removed an unwanted if-statement.
2223	(convert_for_assignment): Removed automatic return of rhs when array
2224	notation builtin function is used.
2225
22262013-06-28  Paolo Carlini  <paolo.carlini@oracle.com>
2227
2228	PR c++/57682
2229	* parser.c (cp_parser_save_member_function_body): Handle correctly
2230	curly braces in function-try-block mem-initializers.
2231
22322013-06-27  Marc Glisse  <marc.glisse@inria.fr>
2233
2234	PR c++/57509
2235	* typeck.c (cp_build_vec_perm_expr): New function.
2236	* cp-tree.h: Declare it.
2237	* parser.c (cp_parser_postfix_expression): Call it.
2238	* pt.c (tsubst_copy): Handle VEC_PERM_EXPR.
2239	(tsubst_copy_and_build): Likewise.
2240
22412013-06-27  Marc Glisse  <marc.glisse@inria.fr>
2242
2243	PR c++/57172
2244	* pt.c (more_specialized_fn): If both arguments are references,
2245	give priority to an lvalue.
2246
22472013-06-26  Jason Merrill  <jason@redhat.com>
2248
2249	* typeck2.c (store_init_value): Diagnose a non-constant
2250	initializer for in-class static.
2251
2252	PR c++/57408
2253	* semantics.c (add_capture): Set type to error_mark_node after
2254	error.
2255
22562013-06-25  Ed Smith-Rowland  <3dw4rd@verizon.net>
2257
2258	PR c++/57640
2259	* parser.c (cp_parser_unqualified_id): Add declarator_p to checks
2260	to trigger warning, (cp_literal_operator_id): Remove bogus TODO comment.
2261
22622013-06-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2263
2264	* call.c (null_ptr_cst_p): Use cxx11 in lieu of cxx0x.
2265	* class.c (add_implicitly_declared_members): Likewise.
2266	(check_field_decl): Likewise.
2267	(finalize_literal_type_property): Likewise.
2268	(check_bases_and_members): Likewise.
2269	* decl.c (poplevel): Likewise.
2270	(case_conversion): Likewise.
2271	(check_initializer): Likewise.
2272	(grokfndecl): Likewise.
2273	(check_static_variable_definition): Likewise.
2274	(compute_array_index_type): Likewise.
2275	(grokdeclarator): Likewise.
2276	(build_enumerator): Likewise.
2277	* friend.c (make_friend_class): Likewise.
2278	* lex.c (init_reswords): Likewise.
2279	* method.c (synthesized_method_walk): Likewise.
2280	(implicitly_declare_fn): Likewise.
2281	* parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
2282	(cp_parser_constant_expression): Likewise.
2283	(cp_parser_for_init_statement): Likewise.
2284	(cp_parser_block_declaration): Likewise.
2285	(cp_parser_type_name): Likewise.
2286	(cp_parser_enum_specifier): Likewise.
2287	(cp_parser_enumerator_list): Likewise.
2288	(cp_parser_member_declaration): Likewise.
2289	(cp_nth_tokens_can_be_std_attribute_p): Likewise.
2290	(cp_parser_template_declaration_after_export): Likewise.
2291	* pt.c (convert_nontype_argument_function): Likewise.
2292	(convert_nontype_argument): Likewise.
2293	(convert_template_argument): Likewise.
2294	(tsubst_copy_and_build): Likewise.
2295	(build_non_dependent_expr): Likewise.
2296	* semantics.c (non_const_var_error): Likewise.
2297	(potential_constant_expression_1): Likewise.
2298	* tree.c (lvalue_kind): Likewise.
2299	(build_vec_init_expr): Likewise.
2300	(cast_valid_in_integral_constant_expression_p): Likewise.
2301	* typeck.c (build_x_conditional_expr): Likewise.
2302	* typeck2.c (check_narrowing): Likewise.
2303
23042013-06-21  Balaji V. Iyer  <balaji.v.iyer@intel.com>
2305
2306	* cp-array-notation.c (cp_length_mismatch_in_expr_p): Remove.
2307	(expand_an_in_modify_expr): Changed a function call from the above
2308	removed function to length_mismatch_in_expr_p.
2309
23102013-06-21  Balaji V. Iyer  <balaji.v.iyer@intel.com>
2311
2312	* call.c (convert_like_real): Added a check if array notation is present
2313	in expression.  If so, then no conversion of arguments is necessary.
2314	(build_over_call): Likewise.
2315	* typeck.c (cp_build_function_call_vec): Likewise.
2316	(convert_for_assignment): Likewise.
2317	(cp_build_array_ref): Reject array notations with a rank greater than 1
2318	as an array's index.
2319	(cp_build_binary_op): If array notations are preent in op, then call
2320	find_correct_array_notation_type.
2321	(cp_build_addr_expr_1): Handle ARRAY_NOTATION_REF similar to ARRAY_REF.
2322	* cp-array-notation.c: New file.
2323	* cp-objcp-common.c (cp_common_init_ts): Marked ARRAY_NOTATION_REF tree
2324	as typed.
2325	* cp-tree.h (fix_array_notation_exprs): New prototype.
2326	* semantics.c (finish_return_stmt): Reject array notations as
2327	return value.
2328	(cxx_eval_constant_expression): Added ARRAY_NOTATION_REF case.
2329	(potential_constant_expression_1): Likewise.
2330	* tree.c (lvalue_kind): Likewise.
2331	* error.c (dump_decl): Likewise.
2332	(dump_expr): Likewise.
2333	* pt.c (ARRAY_NOTATION_REF): Likewise.
2334	(type_unification_real): Do not unify any arguments if array notations
2335	are found in arg.
2336	(instantiate_decl): Added a check for array notaitons inside the
2337	function body.  If so, then expand them.
2338	* parser.c (cp_parser_array_notation): New function.
2339	(cp_parser_postfix_open_square_expression): Added a check for colons
2340	inside square braces.  If found, then handle the array access as an
2341	array notation access.  Also, disable auto-correction from a single
2342	colon to scope when Cilk Plus is enabled.
2343	(cp_parser_compound_statement): Added a check for array notations
2344	inside the statement.  If found, then expand them.
2345	(cp_parser_ctor_initializer_opt_and_function_body): Likewise.
2346	(cp_parser_function_definition_after_declarator): Likewise.
2347	(cp_parser_selection_statement): Searched for array notations inside
2348	condition.  If so, then emit an error.
2349	(cp_parser_iteration_statement): Likewise.
2350	(cp_parser_direct_declarator): Reject array notations inside a
2351	variable or array declaration.
2352	* Make-lang.in (CXX_AND_OBJCXX_OBJS): Added cp/cp-array-notation.o.
2353
23542013-06-20  Jason Merrill  <jason@redhat.com>
2355
2356	PR c++/55149
2357	* decl.c (compute_array_index_type): Don't reject VLAs in SFINAE
2358	context if we're in C++14 mode.
2359	* tree.c (array_of_runtime_bound_p): Return true for a dependent
2360	bound that is not potentually constant.
2361	* cp-tree.h (DECL_VLA_CAPTURE_P, REFERENCE_VLA_OK): New.
2362	* pt.c (tsubst) [REFERENCE_TYPE]: Check REFERENCE_VLA_OK.
2363	* semantics.c (build_lambda_object): Don't rvalue a VLA capture.
2364	(build_capture_proxy): Set REFERENCE_VLA_OK.
2365	(vla_capture_type): Make it a proper C++ class.
2366	(add_capture): Set DECL_VLA_CAPTURE_P.  Don't pre-digest the
2367	initializer.
2368
2369	* decl.c (compute_array_index_type): Use size_one_node.
2370
2371	* pt.c (process_partial_specialization): Build a TEMPLATE_DECL for
2372	a partial specialization.
2373	(tsubst_decl): Don't clobber CLASSTYPE_TI_TEMPLATE of a partial
2374	specialization.
2375	(most_specialized_class): Adjust.
2376
2377	* cp-tree.h (DECL_TEMPLATE_PARMS, DECL_TEMPLATE_RESULT)
2378	(DECL_TEMPLATE_INSTANTIATIONS, DECL_TEMPLATE_SPECIALIZATIONS): Use
2379	TEMPLATE_DECL_CHECK.
2380
23812013-06-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2382
2383	PR c++/57638
2384	* pt.c (unify, [TEMPLATE_PARM_INDEX]): Pass to unify_type_mismatch
2385	TREE_TYPE (arg), not arg itself.
2386
23872013-06-18  Paolo Carlini  <paolo.carlini@oracle.com>
2388
2389	PR c++/53211
2390	* pt.c (type_dependent_expression_p): Handle an array of unknown
2391	bound depending on a variadic parameter.
2392	* parser.c (cp_parser_range_for): Revert PR56794 changes.
2393
23942013-06-17  Richard Biener  <rguenther@suse.de>
2395
2396	* cp-tree.h (ANON_AGGRNAME_FORMAT, ANON_AGGRNAME_P): Move to tree.h.
2397
23982013-06-17  Paolo Carlini  <paolo.carlini@oracle.com>
2399
2400	PR c++/16128
2401	* parser.c (cp_parser_expression_statement): Check whether
2402	cp_parser_expression returns error_mark_node.
2403
24042013-06-14  Paolo Carlini  <paolo.carlini@oracle.com>
2405
2406	PR c++/51413
2407	* semantics.c (finish_offsetof): Handle INDIRECT_REF as expr.
2408
24092013-06-14  Paolo Carlini  <paolo.carlini@oracle.com>
2410
2411	PR c++/57599
2412	* rtti.c (build_dynamic_cast_1): In case of cast to an unambiguous
2413	accessible base simply forward to build_static_cast.
2414
24152013-06-12  Paolo Carlini  <paolo.carlini@oracle.com>
2416
2417	PR c++/38958
2418	* decl.c (poplevel): For the benefit of -Wunused-variable see
2419	through references.
2420
24212013-06-12  Paolo Carlini  <paolo.carlini@oracle.com>
2422
2423	* parser.c (cp_parser_nested_name_specifier_opt): Fix typo in comment.
2424
24252013-06-12  Paolo Carlini  <paolo.carlini@oracle.com>
2426
2427	PR c++/42021
2428	* parser.c (cp_parser_nested_name_specifier_opt): Avoid emitting
2429	again diagnostic already emitted by cp_parser_lookup_name.
2430
24312013-06-11  Jan Hubicka  <jh@suse.cz>
2432
2433	PR c++/57551
2434	* cp/pt.c (mark_decl_instantiated): Do not export explicit
2435	instantiations of anonymous namespace templates.
2436
24372013-06-10  Jason Merrill  <jason@redhat.com>
2438
2439	* name-lookup.c (add_decl_to_level): Add decls in an anonymous
2440	namespace to static_decls.
2441
24422013-06-07  Sriraman Tallam  <tmsriram@google.com>
2443
2444	PR c++/57548
2445	* call.c (build_over_call):  Check if current_function_decl is
2446	NULL.
2447
24482013-06-07  Paolo Carlini  <paolo.carlini@oracle.com>
2449
2450	PR c++/53658
2451	* pt.c (lookup_template_class_1): Consistently use TYPE_MAIN_DECL,
2452	not TYPE_STUB_DECL, to access the _DECL for a _TYPE.
2453
24542013-06-06  Jason Merrill  <jason@redhat.com>
2455
2456	PR c++/55520
2457	* semantics.c (add_capture): Diagnose capture of variable-size
2458	type that is not a C++1y array of runtime bound.
2459
2460	* decl.c (grokdeclarator): Keep a decl with error type.
2461	(grokfield, grokbitfield): Likewise.
2462	* pt.c (instantiate_class_template_1): Likewise.
2463	(tsubst_decl): Drop redundant error.
2464	* class.c (walk_subobject_offsets): Handle erroneous fields.
2465	* typeck2.c (process_init_constructor_record): Likewise.
2466
24672013-06-05  Paolo Carlini  <paolo.carlini@oracle.com>
2468
2469	PR c++/51908
2470	* parser.c (cp_parser_postfix_expression [RID_*CAST]): Set
2471	parser->in_type_id_in_expr_p before calling cp_parser_type_id.
2472
24732013-06-03  Jan Hubicka  <jh@suse.cz>
2474
2475	* decl2.c (maybe_make_one_only): Use forced_by_abi instead of
2476	mark_decl_referenced.
2477	(mark_needed): Likewise.
2478
24792013-06-03  Jason Merrill  <jason@redhat.com>
2480
2481	* class.c (mark_type_abi_tags): New.
2482	(check_abi_tags): Use it.
2483
24842013-06-03  Paolo Carlini  <paolo.carlini@oracle.com>
2485
2486	PR c++/57419
2487	* decl2.c (mark_used): Add overload taking a tsubst_flags_t too.
2488	* semantics.c (finish_qualified_id_expr): Use it.
2489	* cp-tree.h: Update.
2490
24912013-06-01  Jan Hubicka  <jh@suse.cz>
2492
2493	* decl2.c (cp_write_global_declarations): Replace same_body_alias
2494	by symbol.cpp_implicit_alias.
2495
24962013-05-30  Jason Merrill  <jason@redhat.com>
2497
2498	PR c++/57404
2499	* cp-lang.c (cp_classify_record): Handle structs without
2500	TYPE_LANG_SPECIFIC.
2501
2502	PR c++/52377
2503	* class.c (common_enclosing_class): New.
2504	* cp-tree.h: Declare it.
2505	* init.c (sort_mem_initializers): Don't splice out a union member
2506	with an NSDMI.
2507
25082013-05-29  Jan Hubicka  <jh@suse.cz>
2509
2510	* tree.c (cp_fix_function_decl_p): Update for new symtab flags.
2511	* decl2.c )var_finalized_p, cp_write_global_declarations): Likewise.
2512
25132013-05-25  Paolo Carlini  <paolo.carlini@oracle.com>
2514
2515	PR c++/25666
2516	* decl2.c (check_classfn): Check for destructors declared as member
2517	templates.
2518
25192013-05-24  Jason Merrill  <jason@redhat.com>
2520
2521	PR c++/56971
2522	* pt.c (any_template_arguments_need_structural_equality_p): A
2523	TEMPLATE_TEMPLATE_PARM can require structural type comparison.
2524
25252013-05-24  Paolo Carlini  <paolo.carlini@oracle.com>
2526
2527	PR c++/19618
2528	* class.c (check_bitfield_decl): Warn for bool and enum bitfields
2529	with width exceeding the type.
2530
25312013-05-24  Jason Merrill  <jason@redhat.com>
2532
2533	PR c++/57391
2534	* semantics.c (cxx_eval_constant_expression): Handle FMA_EXPR.
2535	(cxx_eval_trinary_expression): Rename from cxx_eval_vec_perm_expr.
2536
25372013-05-23  Jason Merrill  <jason@redhat.com>
2538
2539	PR c++/57388
2540	* tree.c (build_ref_qualified_type): Clear
2541	FUNCTION_RVALUE_QUALIFIED for lvalue ref-qualifier.
2542
25432013-05-22  Jason Merrill  <jason@redhat.com>
2544
2545	PR c++/56930
2546	* call.c (convert_like_real): Use cp_convert_and_check.
2547	* cvt.c (cp_convert_and_check): Use maybe_constant_value.
2548	* semantics.c (cxx_eval_constant_expression): Handle LTGT_EXPR.
2549	(potential_constant_expression_1): Handle OMP_ATOMIC*.
2550
2551	PR c++/56915
2552	* semantics.c (maybe_add_lambda_conv_op): Give up if the call op
2553	isn't defined.
2554
25552013-05-22  Paolo Carlini  <paolo.carlini@oracle.com>
2556
2557	PR c++/57352
2558	* parser.c (cp_parser_conversion_type_id): Set up
2559	parser->type_definition_forbidden_message before calling
2560	cp_parser_type_specifier_seq.
2561
25622013-05-22  Paolo Carlini  <paolo.carlini@oracle.com>
2563
2564	PR c++/57211
2565	* method.c (defaultable_fn_check): Avoid do_warn_unused_parameter
2566	warnings about defaulted functions.
2567
25682013-05-21  Paolo Carlini  <paolo.carlini@oracle.com>
2569
2570	* call.c (build_conditional_expr_1): Add location_t parameter.
2571	(build_conditional_expr): Likewise.
2572	* typeck.c (rationalize_conditional_expr, cp_build_array_ref,
2573	get_member_function_from_ptrfunc, build_x_conditional_expr,
2574	cp_build_modify_expr): Update.
2575	* init.c (build_new_1): Likewise.
2576	* cp-tree.h: Update declaration.
2577
25782013-05-20  Jason Merrill  <jason@redhat.com>
2579
2580	PR c++/57016
2581	* pt.c (instantiation_dependent_r) [TRAIT_EXPR]: Only check type2
2582	if there is one.
2583
2584	PR c++/57102
2585	* decl.c (fndecl_declared_return_type): Also look in
2586	DECL_SAVED_FUNCTION_DATA.
2587
25882013-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
2589
2590	PR c++/12288
2591	* parser.c (cp_parser_parameter_declaration): Check return value
2592	of cp_parser_parse_and_diagnose_invalid_type_name.
2593
25942013-05-20  Jason Merrill  <jason@redhat.com>
2595
2596	PR c++/57319
2597	* class.c (vbase_has_user_provided_move_assign): New.
2598	* method.c (synthesized_method_walk): Check it.
2599	* cp-tree.h: Declare it.
2600
2601	PR c++/57325
2602	* tree.c (build_cplus_array_type): Copy layout info if element
2603	type is complete.
2604
26052013-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
2606
2607	PR c++/23608
2608	* call.c (build_new_op_1): Propagate loc to cp_build_binary_op.
2609
26102013-05-20  Jason Merrill  <jason@redhat.com>
2611
2612	PR c++/57317
2613	* decl2.c (determine_visibility): Use PRIMARY_TEMPLATE_P to decide
2614	whether a template has its own args.
2615
26162013-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
2617
2618	PR c++/57327
2619	* pt.c (unify_no_common_base): Swap arg and parm arguments to inform.
2620
26212013-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
2622
2623	PR c++/10207
2624	* parser.c (cp_parser_postfix_expression): Use cp_parser_braced_list
2625	instead of cp_parser_initializer_list for compound-literals.
2626
26272013-05-20  Marc Glisse  <marc.glisse@inria.fr>
2628
2629	PR c++/57175
2630	* typeck.c (check_return_expr): Reverse the alignment comparison.
2631
26322013-05-17  Paolo Carlini  <paolo.carlini@oracle.com>
2633
2634	PR c++/18126
2635	* parser.c (cp_parser_sizeof_operand): As a GNU Extension, parse
2636	correctly sizeof compound-literal; update comments.
2637
26382013-05-16  Marc Glisse  <marc.glisse@inria.fr>
2639
2640	* call.c (build_conditional_expr_1): Use cp_build_binary_op
2641	instead of directly calling fold_build2.
2642
26432013-05-16  Jason Merrill  <jason@redhat.com>
2644
2645	* Make-lang.in (cc1plus$(exeext)): Use link mutex.
2646
2647	PR c++/57279
2648	* decl.c (grokdeclarator): Allow member function qualifiers in
2649	TYPENAME context in C++11 mode.
2650
26512013-05-16  Dodji Seketeli  <dodji@redhat.com>
2652
2653	PR c++/56782 - Regression with empty pack expansions
2654	* pt.c (use_pack_expansion_extra_args_p): When at least a
2655	parameter pack has an empty argument pack, and another parameter
2656	pack has no argument pack at all, use the PACK_EXPANSION_EXTRA
2657	mechanism.
2658
26592013-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
2660
2661	* name-lookup.c (pushdecl_maybe_friend_1): Replace pairs of
2662	warning_at and permerror with warning_at/inform and permerror/
2663	inform, respectively.
2664
26652013-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
2666
2667	PR c++/31952
2668	* name-lookup.c (pushdecl_maybe_friend_1): Diagnose illegal
2669	redeclarations.
2670
26712013-05-14  Jason Merrill  <jason@redhat.com>
2672
2673	PR c++/57243
2674	* parser.c (cp_parser_range_for): Call complete_type.
2675
2676	PR c++/57041
2677	* pt.c (tsubst_copy_and_build): Don't recur into a designator.
2678
26792013-05-14  Paolo Carlini  <paolo.carlini@oracle.com>
2680
2681	PR c++/53903
2682	* method.c (defaulted_late_check): Check for compatible exception
2683	specification out of class explicitly defaulted functions too.
2684
26852013-05-14  Jason Merrill  <jason@redhat.com>
2686
2687	PR c++/56998
2688	* semantics.c (potential_constant_expression_1): Make sure the
2689	called function is potentially constant.
2690	* call.c (null_ptr_cst_p): Revert earlier change.
2691
26922013-05-13  Jason Merrill  <jason@redhat.com>
2693
2694	PR c++/56998
2695	* call.c (null_ptr_cst_p): An expression with side-effects can't
2696	be a C++03 null pointer constant.
2697
2698	PR c++/57041
2699	* decl.c (reshape_init_class): Handle error_mark_node.
2700
2701	PR c++/57254
2702	* typeck.c (merge_types): Propagate ref-qualifier
2703	in METHOD_TYPE case.
2704
2705	PR c++/57253
2706	* decl.c (grokdeclarator): Apply ref-qualifier
2707	in the TYPENAME case.
2708
2709	PR c++/57252
2710	* decl.c (decls_match): Compare ref-qualifiers.
2711
27122013-05-10  Jason Merrill  <jason@redhat.com>
2713
2714	PR c++/57196
2715	* pt.c (convert_template_argument): Use dependent_template_arg_p,
2716	not uses_template_parms.
2717
2718	PR c++/57047
2719	* semantics.c (cxx_fold_indirect_ref): Fix thinko.
2720
2721	PR c++/55149
2722	* semantics.c (add_capture): Error rather than abort on copy
2723	capture of VLA.
2724	* typeck.c (maybe_warn_about_returning_address_of_local): Don't
2725	warn about capture proxy.
2726
27272013-05-09  Jason Merrill  <jason@redhat.com>
2728
2729	* decl.c (cp_finish_decl): Only check VLA bound in C++1y mode.
2730
2731	PR c++/57222
2732	* pt.c (lookup_template_class_1): Handle getting a template
2733	template parameter as D1.
2734
2735	N3639 C++1y VLA diagnostics
2736	* decl.c (grokdeclarator): Complain about reference, pointer, or
2737	typedef to VLA.
2738	(create_array_type_for_decl): Complain about array of VLA.
2739	* pt.c (tsubst): Likewise.
2740	* rtti.c (get_tinfo_decl): Talk about "array of runtime bound".
2741	* semantics.c (finish_decltype_type): Complain about decltype of VLA.
2742	* typeck.c (cp_build_addr_expr_1): Complain about VLA.
2743	(cxx_sizeof_or_alignof_type): Likewise.
2744
2745	N3639 C++1y VLA support
2746	* decl.c (compute_array_index_type): Allow VLAs in C++1y mode.
2747	(check_array_initializer): Allow VLA init.
2748	(reshape_init_array_1): Adjust.
2749	(cp_finish_decl): Check for invalid VLA length.
2750	* typeck2.c (process_init_constructor_array): Adjust.
2751	(store_init_value): Use build_vec_init for VLAs.
2752	* semantics.c (add_capture): Capture VLA as ptr+len.
2753	(vla_capture_type): New.
2754	(build_capture_proxy): Rebuild the VLA.
2755	* typeck.c (build_simple_component_ref): Split out from...
2756	(build_ptrmemfunc_access_expr): ...here.
2757	* tree.c (array_of_runtime_bound_p): New.
2758	* init.c (throw_bad_array_length): New.
2759	(build_vec_init): Use it.
2760	* parser.c (cp_convert_range_for): When iterating over a VLA,
2761	use it directly rather than bind a reference.
2762	* cp-tree.h: Declare new functions.
2763
27642013-05-08  Jason Merrill  <jason@redhat.com>
2765
2766	* except.c (is_admissible_throw_operand_or_catch_parameter): Check
2767	variably_modified_type_p.
2768	(expand_start_catch_block): Mark the typeinfo used here.
2769	* semantics.c (finish_handler_parms): Not here.
2770
2771	* error.c (dump_type_suffix): Try harder on VLA length.
2772
2773	Core 624/N2932
2774	* init.c (throw_bad_array_new_length): New.
2775	(build_new_1): Use it.  Don't warn about braced-init-list.
2776	(build_vec_init): Use it.
2777	* call.c (build_operator_new_call): Use it.
2778
2779	PR c++/57068
2780	* decl.c (grokdeclarator): Warn about ref-qualifiers here.
2781	* parser.c (cp_parser_ref_qualifier_seq_opt): Not here.
2782	* error.c (maybe_warn_cpp0x): s/0x/11/.
2783
27842013-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
2785
2786	PR c++/51226
2787	* parser.c (cp_parser_enum_specifier): Handle nested_name_specifier
2788	== error_mark_node.
2789
27902013-05-06  Marc Glisse  <marc.glisse@inria.fr>
2791
2792	* typeck.c (cp_build_binary_op): Call save_expr before
2793	build_vector_from_val.
2794
27952013-05-06  Paolo Carlini  <paolo.carlini@oracle.com>
2796
2797	PR c++/57183
2798	* decl.c (cp_finish_decl): After do_auto_deduction copy the
2799	qualifers with cp_apply_type_quals_to_decl.
2800
28012013-05-05  Paolo Carlini  <paolo.carlini@oracle.com>
2802
2803	* pt.c (convert_nontype_argument): Add missing whitespace in
2804	error message.
2805
28062013-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
2807
2808	PR c++/53745
2809	* decl.c (build_enumerator): Improve error message.
2810
28112013-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
2812
2813	PR c++/14283
2814	* parser.c (cp_parser_diagnose_invalid_type_name): Improve error
2815	messages for template types and fix column numbers.
2816
28172013-05-01  Paolo Carlini  <paolo.carlini@oracle.com>
2818
2819	PR c++/57132
2820	* pt.c (tsubst_copy_and_build, MODOP_EXPR): Increase / decrease
2821	c_inhibit_evaluation_warnings around build_x_modify_expr call.
2822
28232013-05-01  Paolo Carlini  <paolo.carlini@oracle.com>
2824
2825	PR c++/57092
2826	* semantics.c (finish_decltype_type): Handle instantiated template
2827	non-type arguments.
2828
28292013-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
2830
2831	PR c++/56450
2832	* semantics.c (finish_decltype_type): Handle COMPOUND_EXPR.
2833
28342013-04-26  Jakub Jelinek  <jakub@redhat.com>
2835
2836	* error.c (cp_print_error_function): Adjust file_name_as_prefix
2837	caller.
2838
28392013-04-25  Jason Merrill  <jason@redhat.com>
2840
2841	PR c++/56859
2842	* typeck.c (cxx_alignas_expr): Handle value-dependence properly.
2843
2844	PR c++/50261
2845	* init.c (perform_member_init): Call reshape_init.
2846
28472013-04-24  Jason Merrill  <jason@redhat.com>
2848
2849	PR c++/53721
2850	* parser.c (cp_parser_postfix_dot_deref_expression): Fix thinko.
2851
28522013-04-24  Paolo Carlini  <paolo.carlini@oracle.com>
2853
2854	* typeck.c (cxx_sizeof_or_alignof_type): Change -Wpointer-arith
2855	pedwarn to simply use OPT_Wpointer_arith.
2856	(cp_build_unary_op): Likewise.
2857
28582013-04-24  Jason Merrill  <jason@redhat.com>
2859
2860	N3648: init-captures are named.
2861	* semantics.c (add_capture): Don't prepend "__" to init-captures.
2862	(build_capture_proxy): Adjust.
2863	* error.c (dump_simple_decl): Check DECL_NORMAL_CAPTURE_P.
2864
2865	N3648: Allow braced and parenthesized initializers.
2866	* parser.c (cp_parser_lambda_introducer): Use cp_parser_initializer.
2867	* pt.c (tsubst) [DECLTYPE_TYPE]: Handle DECLTYPE_FOR_INIT_CAPTURE.
2868	* semantics.c (lambda_capture_field_type): Use do_auto_deduction.
2869	(add_capture): Collapse a parenthesized initializer into a single
2870	expression.
2871	* cp-tree.h (DECLTYPE_FOR_INIT_CAPTURE): New.
2872
28732013-04-24  Paolo Carlini  <paolo.carlini@oracle.com>
2874
2875	PR c++/56970
2876	* init.c (build_offset_ref): Add tsubst_flags_t parameter.
2877	* semantics.c (finish_qualified_id_expr): Likewise.
2878	(finish_id_expression): Update.
2879	* typeck.c (cp_build_addr_expr_1): Likewise.
2880	* pt.c (tsubst_qualified_id, resolve_nondeduced_context): Likewise.
2881	* cp-tree.h: Update declarations.
2882
28832013-04-22  Jason Merrill  <jason@redhat.com>
2884
2885	Core 1586
2886	* parser.c (cp_parser_unqualified_id): Handle ~auto.
2887	(cp_parser_pseudo_destructor_name): Likewise.
2888	(cp_parser_postfix_dot_deref_expression): Adjust.
2889	(cp_lexer_nth_token_is_keyword): New.
2890	* semantics.c (finish_pseudo_destructor_expr): Handle ~auto.
2891	* typeck.c (lookup_destructor): Handle ~auto.
2892
2893	* pt.c (fn_type_unification): Push tinst level around
2894	type_unification_real if we aren't explaining.
2895	* cp-tree.h (TFF_NO_TEMPLATE_BINDINGS): New.
2896	* error.c (dump_function_decl): Respect it.
2897	(subst_to_string): Pass it.
2898
2899	PR c++/48665
2900	* rtti.c (get_typeid): Diagnose qualified function type.
2901	* pt.c (tsubst) [POINTER_TYPE]: Likewise.
2902
2903	* error.c (dump_aggr_type): Fix lambda detection.
2904	(dump_simple_decl): Pretty-print capture field.
2905
2906	N3323
2907	* cvt.c (build_expr_type_conversion): Two conversions that return
2908	the same type aren't necessarily ambiguous.
2909
2910	N3648
2911	* parser.c (cp_parser_lambda_introducer): Make lambda capture init
2912	pedwarn unconditional except in C++1y mode.
2913
2914	* semantics.c (potential_constant_expression_1): Don't crash on
2915	'this' in NSDMI.
2916
2917	Core 1612
2918	* semantics.c (finish_id_expression): Reject capture of anonymous
2919	union member.
2920
2921	Core 1609
2922	* decl2.c (check_default_args): Check for pack expansion.
2923
2924	* mangle.c (write_type): Mangle decltype(auto).
2925
29262013-04-19  Jason Merrill  <jason@redhat.com>
2927
2928	N3638 changes to return type deduction
2929	* decl.c (undeduced_auto_decl): New.
2930	(require_deduced_type): New.
2931	(fndecl_declared_return_type): New.
2932	(decls_match): Use it.
2933	(duplicate_decls): Don't check for auto return.
2934	(grokdeclarator): Reject virtual auto.
2935	* class.c (resolve_address_of_overloaded_function): Handle
2936	auto function templates.
2937	* decl2.c (mark_used): Use undeduced_auto_decl, require_deduced_type.
2938	* cp-tree.h: Declare new fns.
2939	* error.c (dump_function_decl): Use fndecl_declared_return_type.
2940	* search.c (check_final_overrider): Likewise.
2941	* pt.c (make_decltype_auto): New.
2942	(do_auto_deduction): Require plain decltype(auto).
2943	(is_auto): Adjust.
2944
2945	DR 941
2946	* decl.c (duplicate_decls): Don't propagate DECL_DELETED_FN to
2947	template specializations.
2948
29492013-04-16  Ed Smith-Rowland  <3dw4rd@verizon.net>
2950
2951	Implement n3599 - Literal operator templates for strings.
2952	* parser.c (make_string_pack (tree value)): New function.
2953	(cp_parser_userdef_string_literal (cp_token *)): Use it
2954	to construct calls to character string literal operator templates.
2955	(cp_parser_template_declaration_after_export): Check for new string
2956	literal operator template parameter form.
2957
29582013-04-15  Jason Merrill  <jason@redhat.com>
2959
2960	* pt.c (tsubst) [DECLTYPE_TYPE]: Use tsubst_copy_and_build.
2961
2962	PR c++/52748
2963	* pt.c (tsubst) [DECLTYPE_TYPE]: If ~id is an expression
2964	rather than a destructor name, it isn't an unqualified-name.
2965	(tsubst_copy_and_build): Pass down decltype_flag to operator
2966	handling code, too.
2967
2968	PR c++/56388
2969	* semantics.c (insert_capture_proxy): Just use index 1 in the
2970	stmt_list_stack.
2971
29722013-04-12  Jakub Jelinek  <jakub@redhat.com>
2973
2974	* error.c (cp_print_error_function,
2975	print_instantiation_partial_context_line,
2976	maybe_print_constexpr_context): Colorize locus strings.
2977
29782013-04-11  Jason Merrill  <jason@redhat.com>
2979
2980	PR c++/52748
2981	* parser.c (complain_flags): New.
2982	(cp_parser_postfix_expression): Use it.
2983	(cp_parser_unary_expression): Likewise.
2984	(cp_parser_binary_expression): Likewise.
2985	(cp_parser_assignment_expression): Likewise.
2986	(cp_parser_expression): Likewise.
2987	(cp_parser_postfix_open_square_expression): Take decltype_p.
2988	(cp_parser_builtin_offsetof): Adjust.
2989	(cp_convert_range_for): Pass complain to finish_unary_op_expr.
2990	* decl2.c (grok_array_decl): Add decltype_p parm.
2991	* cp-tree.h: Adjust prototype.
2992	* semantics.c (finish_unary_op_expr): Add complain parm.
2993
29942013-04-11  Jakub Jelinek  <jakub@redhat.com>
2995
2996	PR c++/56895
2997	* call.c (null_ptr_cst_p): Call fold_non_dependent_expr_sfinae before
2998	calling maybe_constant_value for C++98.
2999
30002013-04-11  Jason Merrill  <jason@redhat.com>
3001
3002	PR c++/56901
3003	* semantics.c (lambda_capture_field_type, lambda_proxy_type):
3004	Strip references before checking WILDCARD_TYPE_P.
3005
30062013-04-11  Paolo Carlini  <paolo.carlini@oracle.com>
3007
3008	* call.c (build_conditional_expr_1, build_over_call): Protect
3009	error calls with complain & tf_error.
3010	* typeck.c (finish_class_member_access_expr, cp_build_binary_op,
3011	build_x_unary_op, cp_build_unary_op, cp_build_compound_expr,
3012	build_ptrmemfunc): Likewise.
3013	(lookup_destructor): Take tsubst_flags_t parameter, adjust.
3014
3015	* cvt.c (warn_ref_binding): Rename to diagnose_ref_binding.
3016	(convert_to_reference): Adjust.
3017
30182013-04-11  Jason Merrill  <jason@redhat.com>
3019
3020	* pt.c (tsubst_copy) [VAR_DECL]: Don't call tsubst for
3021	local variables, look them up instead.
3022	(tsubst_decl) [VAR_DECL]: Remove handling for anonymous union
3023	proxies and substitution in unevaluated context.
3024	(tsubst_expr) [OMP_FOR]: Instantiate OMP_FOR_PRE_BODY
3025	before the iterators.
3026
3027	PR c++/23055
3028	* pt.c (uses_deducible_template_parms): New.
3029	(deducible_array_bound, deducible_expression): New.
3030	(deducible_template_args): New.
3031	(unify_one_argument): Call uses_deducible_template_parms.
3032
30332013-04-11  Paolo Carlini  <paolo.carlini@oracle.com>
3034
3035	PR c++/56913
3036	* typeck2.c (build_m_component_ref): Protect error calls with
3037	(complain & tf_error).
3038
30392013-04-11  Paolo Carlini  <paolo.carlini@oracle.com>
3040
3041	PR c++/54216
3042	* parser.c (cp_parser_enum_specifier): Check for empty
3043	anonymous enums and anonymous scoped enums.
3044
30452013-04-10  Jakub Jelinek  <jakub@redhat.com>
3046
3047	PR c++/56895
3048	* typeck.c (cp_build_binary_op): Call fold_non_dependent_expr_sfinae
3049	first before calling maybe_constant_value for warn_for_div_by_zero
3050	or invalid shift count warning purposes.
3051
30522013-04-09  Jason Merrill  <jason@redhat.com>
3053
3054	PR c++/25466
3055	* rtti.c (build_typeid): Check the address of the argument
3056	rather than looking for an INDIRECT_REF.
3057
30582013-04-04  Jason Merrill  <jason@redhat.com>
3059
3060	PR c++/56838
3061	PR c++/17232
3062	* typeck2.c (abstract_virtuals_error_sfinae): Disable
3063	complete_type again.
3064
30652013-04-08  Paolo Carlini  <paolo.carlini@oracle.com>
3066
3067	PR c++/56871
3068	* decl.c (validate_constexpr_redeclaration): Allow an explicit
3069	specialization to be different wrt the constexpr specifier.
3070
30712013-04-06  Jason Merrill  <jason@redhat.com>
3072
3073	* parser.c (cp_parser_std_attribute): Treat [[noreturn]] like GNU
3074	noreturn attribute.
3075
30762013-04-05  Ed Smith-Rowland  <3dw4rd@verizon.net>
3077
3078	* parser.c (cp_parser_ref_qualifier_seq_opt): Move to
3079	cp_parser_ref_qualifier_opt.  Error if more than one ref-qual found.
3080
30812013-04-03  Jason Merrill  <jason@redhat.com>
3082
3083	* cp-tree.h (FUNCTION_OR_METHOD_TYPE_CHECK): Remove.
3084	(TYPE_RAISES_EXCEPTIONS): Use FUNC_OR_METHOD_CHECK instead.
3085	(FUNCTION_REF_QUALIFIED, FUNCTION_RVALUE_QUALIFIED): Likewise.
3086
3087	* mangle.c (write_type): When writing a function type with
3088	function-cv-quals, don't add the unqualified type as a
3089	substitution candidate.
3090
30912013-04-03  Paolo Carlini  <paolo.carlini@oracle.com>
3092
3093	PR c++/56815
3094	* typeck.c (cp_build_unary_op): Change -Wpointer-arith permerror to
3095	pedwarn.
3096
30972013-04-03  Jakub Jelinek  <jakub@redhat.com>
3098
3099	PR debug/56819
3100	* tree.c (strip_typedefs): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT
3101	from args to new_args.
3102	(strip_typedefs_expr): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT from t to
3103	r instead of doing {S,G}ET_NON_DEFAULT_TEMPLATE_ARGS_COUNT.
3104
31052013-04-02  Jason Merrill  <jason@redhat.com>
3106
3107	PR c++/56821
3108	* mangle.c (write_function_type): Mangle ref-qualifier.
3109	(write_nested_name): Likewise.
3110	(canonicalize_for_substitution): Preserve ref-qualifier.
3111	(write_type): Likewise.
3112
3113	PR c++/34949
3114	* decl.c (begin_destructor_body): Clobber the object in a cleanup.
3115
31162013-04-02  Paolo Carlini  <paolo.carlini@oracle.com>
3117
3118	* friend.c (do_friend): Use COMPLETE_OR_OPEN_TYPE_P.
3119	* pt.c (find_parameter_packs_r): Use TYPE_ALIAS_P and TYPE_TI_ARGS.
3120	(for_each_template_parm_r): Use TYPE_TI_ARGS.
3121
31222013-04-02  Paolo Carlini  <paolo.carlini@oracle.com>
3123
3124	* cp-tree.h (TAGGED_TYPE_P): Remove.
3125	(IS_OVERLOAD_TYPE): Rename to OVERLOAD_TYPE_P, adjust.
3126	(TYPE_ANONYMOUS_P): Adjust.
3127	* call.c (build_new_op_1): Likewise.
3128	* class.c (find_abi_tags_r): Likewise.
3129	* decl.c (warn_misplaced_attr_for_class_type, start_decl,
3130	type_is_deprecated): Likewise.
3131	* decl2.c (grokfield, min_vis_r): Likewise.
3132	* pt.c (get_template_info): Likewise.
3133	* tree.c (handle_abi_tag_attribute): Likewise.
3134
31352013-04-01  Jason Merrill  <jason@redhat.com>
3136
3137	* semantics.c (maybe_constant_value): Check
3138	instantiation_dependent_expression_p.
3139	* pt.c (build_non_dependent_expr): Don't check it here.
3140
3141	PR c++/56772
3142	* init.c (build_new): Don't try to process an array initializer
3143	at template definition time.
3144
3145	PR c++/56793
3146	* typeck.c (finish_class_member_access_expr): Handle enum scope.
3147
3148	PR c++/56794
3149	* parser.c (cp_parser_range_for): Don't try to do auto deduction
3150	in a template if the type of the range is incomplete.
3151
3152	* call.c (add_function_candidate): Take the address of 'this' here.
3153	(build_over_call): And here.
3154	(build_new_method_call_1, build_op_call_1): Not here.
3155	(build_user_type_conversion_1): Or here.
3156	(add_candidates): Adjust.
3157
3158	* cxx-pretty-print.h (pp_cxx_cv_qualifiers): New.
3159	* class.c (same_signature_p): Use type_memfn_quals.
3160	* cp-tree.h (TYPE_RAISES_EXCEPTIONS): Use
3161	FUNCTION_OR_METHOD_TYPE_CHECK.
3162	* error.c (dump_type_suffix): Add padding before cv-qualifiers.
3163	* pt.c (unify): Use static_fn_type.
3164
31652013-04-01  Bronek Kozicki <b.kozicki@gmail.com>
3166	    Jason Merrill  <jason@redhat.com>
3167
3168	Implement N2439 (ref-qualifiers for 'this')
3169	* cp-tree.h (FUNCTION_REF_QUALIFIED): New.
3170	(FUNCTION_RVALUE_QUALIFIED): New.
3171	(FUNCTION_OR_METHOD_TYPE_CHECK): New.
3172	(cpp0x_warn_str): Add CPP0X_REF_QUALIFIER.
3173	(cp_ref_qualifier): New enum.
3174	(cp_declarator): Add ref_qualifier.
3175	* parser.c (cp_parser_ref_qualifier_seq_opt): New.
3176	(cp_parser_direct_declarator): Use it.
3177	(make_call_declarator): Adjust.
3178	(cp_parser_lambda_declarator_opt): Adjust.
3179	* call.c (add_function_candidate): Handle ref-qualifier overload
3180	resolution semantics.
3181	(standard_conversion): Adjust.
3182	* class.c (add_method, same_signature_p): Compare ref-qualifiers.
3183	* decl.c (grokdeclarator): Handle ref-qualifiers.
3184	(grokfndecl): Check for invalid ref-qualifiers.
3185	(static_fn_type, revert_static_member_fn): Adjust.
3186	* decl2.c (build_memfn_type): Handle ref-qualifiers.
3187	(check_classfn): Check them.
3188	(cp_reconstruct_complex_type): Retain them.
3189	* error.c (dump_ref_qualifier): New.
3190	(dump_type_suffix, dump_function_decl): Use it.
3191	(maybe_warn_cpp0x): Handle CPP0X_REF_QUALIFIER.
3192	* pt.c (tsubst, tsubst_function_type): Instantiate ref-quals.
3193	(unify): Retain them.
3194	* tree.c (cp_check_qualified_type): New.
3195	(cp_build_qualified_type_real): Keep exception spec and ref-qual.
3196	(build_ref_qualified_type): New.
3197	(strip_typedefs, build_exception_variant): Keep ref-qualifier.
3198	(cp_build_type_attribute_variant): Keep ref-qualifier.
3199	* typeck.c (merge_types): Keep ref-qualifier.
3200	(structural_comptypes): Compare ref-qualifier.
3201	(type_memfn_rqual): New.
3202	(apply_memfn_quals): Take ref-qual argument.
3203	* typeck2.c (build_m_component_ref): Check ref-qualifier.
3204
32052013-04-01  Paolo Carlini  <paolo.carlini@oracle.com>
3206
3207	* cp-tree.h (DECL_UNBOUND_CLASS_TEMPLATE_P): Remove.
3208	(DECL_FUNCTION_TEMPLATE_P): Adjust.
3209
3210	* cxx-pretty-print.c (pp_cxx_nested_name_specifier,
3211	pp_cxx_qualified_id): Use get_containing_scope.
3212	* parser.c (cp_parser_class_head): Likewise.
3213	* pt.c (push_template_decl_real): Likewise.
3214
3215	* decl2.c (import_export_decl): Use DECL_TEMPLOID_INSTANTIATION.
3216	* pt.c (unify): Use CP_INTEGRAL_TYPE_P.
3217
32182013-03-31  Paolo Carlini  <paolo.carlini@oracle.com>
3219
3220	* decl2.c (collect_candidates_for_java_method_aliases): Use
3221	DECL_CLASS_SCOPE_P.
3222	* name-lookup.c (pushtag_1) Use TYPE_FUNCTION_SCOPE_P.
3223	(pushdecl_maybe_friend_1): Use DECL_DECLARES_FUNCTION_P.
3224	* decl.c (duplicate_decls): Likewise.
3225	* parser.c (cp_parser_template_declaration_after_export): Likewise,
3226	also DECL_DECLARES_TYPE_P.
3227	* pt.c (instantiate_class_template_1): Likewise.
3228	* search.c (lookup_field_1): Use DECL_DECLARES_TYPE_P.
3229	(lookup_field_r): Likewise.
3230	(friend_accessible_p): Use DECL_DECLARES_FUNCTION_P.
3231	(lookup_fnfields_slot_nolazy): Likewise.
3232	* semantics.c (finish_member_declaration): Likewise.
3233	* typeck.c (convert_for_initialization): Use TYPE_REFFN_P.
3234
32352013-03-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3236
3237	* pt.c (template_parms_to_args): Fix typo in comment.
3238
32392013-03-29  Paolo Carlini  <paolo.carlini@oracle.com>
3240
3241	* call.c (build_op_call_1): Use TYPE_PTRFN_P and TYPE_REFFN_P.
3242
32432013-03-29  Paolo Carlini  <paolo.carlini@oracle.com>
3244
3245	* call.c (add_builtin_candidate): Use TYPE_PTR_P and VOID_TYPE_P.
3246	(build_op_call_1): Likewise.
3247	(build_over_call): Likewise.
3248	(compare_ics): Likewise.
3249	* class.c (build_base_path): Likewise.
3250	(resolve_address_of_overloaded_function): Likewise.
3251	* cp-tree.h: Likewise.
3252	* cvt.c (cp_convert_to_pointer): Likewise.
3253	(convert_to_reference): Likewise.
3254	(ocp_convert): Likewise.
3255	(convert_force): Likewise, tidy.
3256	* cxx-pretty-print.c (pp_cxx_postfix_expression): Likewise.
3257	(pp_cxx_ptr_operator): Likewise.
3258	* decl.c (duplicate_decls): Likewise.
3259	(start_decl): Likewise.
3260	(grok_op_properties): Likewise.
3261	(start_preparsed_function): Likewise.
3262	(store_parm_decls): Likewise.
3263	(finish_function): Likewise.
3264	* decl2.c (delete_sanity): Likewise.
3265	(acceptable_java_type): Likewise.
3266	(grokbitfield): Likewise.
3267	(cp_reconstruct_complex_type): Likewise.
3268	* error.c (dump_type_prefix): Likewise.
3269	(dump_expr): Likewise.
3270	* except.c (push_eh_cleanup): Likewise.
3271	(complete_ptr_ref_or_void_ptr_p): Likewise.
3272	(can_convert_eh): Likewise.
3273	* init.c (build_new_1): Likewise.
3274	(build_delete): Likewise.
3275	(build_vec_delete): Likewise.
3276	* mangle.c (write_type): Likewise.
3277	* parser.c (lookup_literal_operator): Likewise.
3278	* pt.c (convert_nontype_argument_function): Likewise.
3279	(convert_nontype_argument): Likewise.
3280	(tsubst): Likewise.
3281	(unify): Likewise.
3282	(dependent_type_p_r): Likewise.
3283	* rtti.c (build_headof): Likewise.
3284	(build_typeid): Likewise.
3285	(build_dynamic_cast_1): Likewise.
3286	(target_incomplete_p): Likewise.
3287	(typeinfo_in_lib_p): Likewise.
3288	* semantics.c (finish_omp_for): Likewise.
3289	(cxx_eval_call_expression): Likewise.
3290	(maybe_resolve_dummy): Likewise.
3291	* tree.c (build_target_expr): Likewise.
3292	(cp_build_qualified_type_real): Likewise.
3293	* typeck.c (composite_pointer_type_r): Likewise.
3294	(composite_pointer_type): Likewise.
3295	(comp_except_types): Likewise.
3296	(cxx_sizeof_nowarn): Likewise.
3297	(string_conv_p): Likewise.
3298	(cp_build_array_ref): Likewise.
3299	(cp_build_function_call_vec): Likewise, also use TYPE_PTRFN_P.
3300	(pointer_diff): Likewise.
3301	(cp_build_addr_expr_1): Likewise.
3302	(cp_build_unary_op): Likewise.
3303	(build_static_cast_1): Likewise.
3304	(cp_build_c_cast): Likewise.
3305	(comp_ptr_ttypes_real): Likewise.
3306	(ptr_reasonably_similar): Likewise.
3307	(comp_ptr_ttypes_const): Likewise.
3308	(casts_away_constness): Likewise.
3309	(check_literal_operator_args): Likewise.
3310	* typeck2.c (build_x_arrow): Likewise.
3311	(add_exception_specifier): Likewise.
3312
33132013-03-29  Jason Merrill  <jason@redhat.com>
3314
3315	N3582
3316	* cp-tree.h (AUTO_IS_DECLTYPE): New.
3317	* parser.c (cp_parser_decltype): Handle decltype(auto).
3318	(cp_parser_type_id_1): Allow auto without a late-specified
3319	return in C++1y.
3320	(cp_parser_primary_expression): Use the return value of
3321	finish_parenthesized_expr.
3322	(cp_parser_transaction_expression): Likewise.
3323	* semantics.c (force_paren_expr): New.
3324	(finish_parenthesized_expr): Use it.
3325	* call.c (build_conditional_expr_1): Likewise.
3326	* pt.c (do_auto_deduction): Handle decltype(auto).
3327	(tsubst_copy): Handle PAREN_EXPR.
3328	(tsubst_copy_and_build): Likewise.
3329	* error.c (dump_expr): Handle PAREN_EXPR.
3330	* cxx-pretty-print.c (pp_cxx_expression): Likewise.
3331	* mangle.c (write_expression): Ignore PAREN_EXPR.
3332
3333	* parser.c (cp_parser_decltype_expr): Split out...
3334	(cp_parser_decltype): ...from here.
3335
3336	PR c++/56774
3337	PR c++/35722
3338	* pt.c (unify_pack_expansion): Fix indexing.
3339
33402013-03-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3341
3342	* call.c (build_java_interface_fn_ref): Likewise.
3343	(make_temporary_var_for_ref_to_temp): Likewise.
3344	* class.c (check_field_decls): Likewise.
3345	(layout_class_type): Likewise.
3346	(finish_struct_1): Likewise.
3347	(fixed_type_or_null): Likewise.
3348	(get_vtbl_decl_for_binfo): Likewise.
3349	* cp-gimplify.c (omp_var_to_track): Likewise.
3350	(cp_genericize_r): Likewise.
3351	* cp-objcp-common.c (cxx_warn_unused_global_decl): Likewise.
3352	* cp-tree.h (LANG_DECL_HAS_MIN): Likewise.
3353	(DECL_DISCRIMINATOR_P): Likewise.
3354	* decl.c (poplevel): Likewise.
3355	(decls_match): Likewise.
3356	(duplicate_decls): Likewise.
3357	(decl_jump_unsafe): Likewise.
3358	(start_decl): Likewise.
3359	(check_for_uninitialized_const_var): Likewise.
3360	(make_rtl_for_nonlocal_decl): Likewise.
3361	(cp_finish_decl): Likewise.
3362	(expand_static_init): Likewise.
3363	(local_variable_p): Likewise.
3364	(maybe_register_incomplete_var): Likewise.
3365	* decl2.c (grokfield): Likewise.
3366	(comdat_linkage): Likewise.
3367	(determine_visibility): Likewise.
3368	(import_export_decl): Likewise.
3369	(prune_vars_needing_no_initialization): Likewise.
3370	(decl_maybe_constant_var_p): Likewise.
3371	* error.c (dump_simple_decl): Likewise.
3372	(dump_template_decl): Likewise.
3373	(cp_printer): Likewise.
3374	* except.c (build_throw): Likewise.
3375	* init.c (build_vtbl_address): Likewise.
3376	(member_init_ok_or_else): Likewise.
3377	(build_aggr_init): Likewise.
3378	(expand_aggr_init_1): Likewise.
3379	(build_offset_ref): Likewise.
3380	(constant_value_1): Likewise.
3381	* mangle.c (write_mangled_name): Likewise.
3382	(write_prefix): Likewise.
3383	* name-lookup.c (supplement_binding_1): Likewise.
3384	(add_decl_to_level): Likewise.
3385	(pushdecl_maybe_friend_1): Likewise.
3386	(check_for_out_of_scope_variable): Likewise.
3387	(validate_nonmember_using_decl): Likewise.
3388	(lookup_name_innermost_nonclass_level_1): Likewise.
3389	(lookup_arg_dependent_1): Likewise.
3390	* parser.c (cp_parser_lambda_introducer): Likewise.
3391	(cp_parser_template_argument): Likewise.
3392	(cp_parser_single_declaration): Likewise.
3393	* pt.c (convert_nontype_argument): Likewise.
3394	(instantiate_class_template_1): Likewise.
3395	(tsubst_decl): Likewise.
3396	(tsubst_expr): Likewise.
3397	(do_decl_instantiation): Likewise.
3398	(do_type_instantiation): Likewise.
3399	(regenerate_decl_from_template): Likewise.
3400	(always_instantiate_p): Likewise.
3401	(instantiate_decl): Likewise.
3402	(type_dependent_expression_p): Likewise.
3403	(build_non_dependent_expr): Likewise.
3404	* repo.c (repo_emit_p): Likewise.
3405	* rtti.c (build_dynamic_cast_1): Likewise.
3406	* search.c (shared_member_p): Likewise.
3407	* semantics.c (outer_var_p): Likewise.
3408	(finish_id_expression): Likewise.
3409	(finish_omp_clauses): Likewise.
3410	(finish_decltype_type): Likewise.
3411	(ensure_literal_type_for_constexpr_object): Likewise.
3412	* tree.c (lvalue_kind): Likewise.
3413	(bot_replace): Likewise.
3414	(cp_tree_equal): Likewise.
3415	(handle_init_priority_attribute): Likewise.
3416	(decl_storage_duration): Likewise.
3417	* typeck.c (cxx_sizeof_expr): Likewise.
3418	(cxx_alignof_expr): Likewise.
3419	(decay_conversion): Likewise.
3420	(build_class_member_access_expr): Likewise.
3421	(cp_build_array_ref): Likewise.
3422	(cxx_mark_addressable): Likewise.
3423	(maybe_warn_about_returning_address_of_local): Likewise.
3424	(check_return_expr): Likewise.
3425	* typeck2.c (cxx_readonly_error): Likewise.
3426	(abstract_virtuals_error_sfinae): Likewise.
3427	(cxx_incomplete_type_diagnostic): Likewise.
3428
34292013-03-28  Lawrence Crowl  <crowl@google.com>
3430
3431	* Make-lang.in
3432	(CXX_PARSER_H): Add header dependence.
3433	* cp-tree.h
3434	(extern debug (cp_binding_level &)): New.
3435	(extern debug (cp_binding_level *)): New.
3436	* name-lookup.h
3437	(debug (cp_binding_level &)): New.
3438	(debug (cp_binding_level *)): New.
3439	* parser.c
3440	(debug (cp_parser &)): New.
3441	(debug (cp_parser *)): New.
3442	(debug (cp_token &)): New.
3443	(debug (cp_token *)): New.
3444	(debug (vec<cp_token, va_gc> &)): New.
3445	(debug (vec<cp_token, va_gc> *)): New.
3446	* parser.c: Add header dependence.
3447	(extern debug (cp_parser &)): New.
3448	(extern debug (cp_parser *)): New.
3449	(extern debug (cp_token &)): New.
3450	(extern debug (cp_token *)): New.
3451	(extern debug (vec<cp_token, va_gc> &)): New.
3452	(extern debug (vec<cp_token, va_gc> *)): New.
3453
34542013-03-28  Jason Merrill  <jason@redhat.com>
3455
3456	PR c++/17232
3457	PR c++/52748
3458	* typeck2.c (abstract_virtuals_error_sfinae): Don't complete
3459	the type if tf_decltype is set.
3460	* pt.c (fn_type_unification): Add decltype_p parm.
3461	(get_bindings): Adjust.
3462	* cp-tree.h: Adjust.
3463	* class.c (resolve_address_of_overloaded_function): Adjust.
3464	* call.c (add_template_candidate_real, print_z_candidate): Adjust.
3465
3466	PR c++/56679
3467	* parser.c (cp_parser_sizeof_pack): Split out from...
3468	(cp_parser_sizeof_operand): ...here.  Require (id).
3469
3470	PR c++/56701
3471	* semantics.c (finish_this_expr): 'this' is an rvalue.
3472	* typeck.c (cp_build_indirect_ref): Handle NOP_EXPR of 'this'.
3473
3474	PR c++/56710
3475	* semantics.c (finish_member_declaration): Don't push closure
3476	members.
3477
3478	* name-lookup.c (pushdecl_maybe_friend_1): Use
3479	nonlambda_method_basetype and current_nonlambda_class_type.
3480
3481	PR c++/56728
3482	* semantics.c (potential_constant_expression_1) [NOP_EXPR]: Reject
3483	conversion from integer to pointer.
3484	(cxx_eval_constant_expression): Likewise.
3485	(cxx_eval_indirect_ref): Use the folded operand if we still think
3486	this might be constant.
3487
34882013-03-28  Paolo Carlini  <paolo.carlini@oracle.com>
3489	    Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3490
3491	PR c++/56725
3492	* call.c (convert_like_real): Change series of two permerrors
3493	to permerror + inform (and likewise for two errors).
3494	(build_new_method_call_1): Likewise.
3495	* typeck.c (convert_for_initialization): Change additional
3496	warning or error to inform.
3497
34982013-03-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3499
3500	* cp-tree.h (next_aggr_init_expr_arg): Remove static specifier.
3501	(first_aggr_init_expr): Likewise.
3502	(more_aggr_init_expr_args_p): Likewise.
3503	(type_of_this_parm): Likewise.
3504	(class_of_this_parm): Likewise.
3505	* name-lookup.h (get_global_value_if_present): Likewise.
3506	(is_typename_at_global_scope): Likewise.
3507
35082013-03-28  Paolo Carlini  <paolo.carlini@oracle.com>
3509
3510	* call.c (joust): Don't call inform for a permerror returning false.
3511	* parser.c (cp_parser_check_class_key): Likewise.
3512	* pt.c (tsubst_copy_and_build): Likewise.
3513
35142013-03-27  Jason Merrill  <jason@redhat.com>
3515
3516	PR c++/56749
3517	* semantics.c (finish_qualified_id_expr): Return early
3518	for enum scope.
3519
35202013-03-26  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3521
3522	* call.c (build_new_method_call_1): Use INDIRECT_REF_P.
3523	* cvt.c (convert_to_void): Likewise.
3524	* error.c (dump_expr): Likewise.
3525	* mangle.c (write_expression): Likewise.
3526	* parser.c (cp_parser_template_argument): Likewise.
3527	* pt.c (convert_nontype_argument): Likewise.
3528	(tsubst_copy_and_build): Likewise.
3529	* rtti.c (build_typeid): Likewise.
3530	* semantics.c (finish_call_expr): Likewise.
3531	(finish_decltype_type): Likewise.
3532	(build_data_member_initialization): Likewise.
3533	* tree.c (is_dummy_object): Likewise.
3534	* typeck.c (decay_conversion): Likewise.
3535	(build_class_member_access_expr): Likewise.
3536	(cp_build_addr_expr_1): Likewise.
3537	(unary_complex_lvalue): Likewise.
3538	(check_return_expr): Likewise.
3539	* typeck2.c (cxx_readonly_error): Likewise.
3540
35412013-03-26  Jason Merrill  <jason@redhat.com>
3542
3543	PR c++/52597
3544	* typeck.c (invalid_nonstatic_memfn_p): Use get_first_fn.  Take tree.
3545	* semantics.c (finish_decltype_type): Check it before type_unknown_p.
3546	* cp-tree.h: Adjust prototype.
3547
3548	PR c++/45282
3549	* typeck2.c (build_m_component_ref): Handle prvalue object.
3550
35512013-03-26  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3552
3553	* cp-gimplify.c (cp_genericize_r): Use VAR_OR_FUNCTION_DECL_P.
3554	* decl.c (duplicate_decls): Likewise.
3555	(cp_finish_decl): Likewise.
3556	(check_class_member_definition_namespace): Likewise.
3557	* decl2.c (grokfield): Likewise.
3558	(decl_needed_p): Likewise.
3559	(import_export_decl): Likewise.
3560	(mark_used): Likewise.
3561	* name-lookup.c (pushdecl_maybe_friend_1): Likewise.
3562	* pt.c (push_access_scope): Likewise.
3563	(instantiate_decl): Likewise.
3564	* ptree.c (cxx_print_decl): Likewise.
3565	* repo.c (repo_emit_p): Likewise.
3566	* semantics.c (note_decl_for_pch): Likewise.
3567	* tree.c (decl_linkage): Likewise.
3568
35692013-03-26  Paolo Carlini  <paolo.carlini@oracle.com>
3570
3571	PR c++/55951
3572	* decl.c (check_array_designated_initializer): Handle CONST_DECL
3573	as ce->index.
3574
35752013-03-26  Paolo Carlini  <paolo.carlini@oracle.com>
3576
3577	* decl.c (grokfndecl): Handle separately <inline> and <constexpr>
3578	error messages.
3579
3580	* decl.c (grokdeclarator): Declare typedef_p and use it everywhere.
3581
35822013-03-25  Jason Merrill  <jason@redhat.com>
3583
3584	PR c++/56699
3585	* semantics.c (maybe_resolve_dummy): Make sure that the enclosing
3586	class is derived from the type of the object.
3587
3588	PR c++/52014
3589	* semantics.c (lambda_expr_this_capture): Don't capture 'this' in
3590	unevaluated context.
3591
35922013-03-25  Paolo Carlini  <paolo.carlini@oracle.com>
3593
3594	PR c++/56722
3595	* decl.c (cp_finish_decl): Check DECL_LANG_SPECIFIC before
3596	DECL_TEMPLATE_INSTANTIATION.
3597
35982013-03-22  Jason Merrill  <jason@redhat.com>
3599
3600	PR c++/56684
3601	* pt.c (instantiation_dependent_r): Check DECL_INITIAL of VAR_DECL
3602	and CONST_DECL.
3603
36042013-03-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3605
3606	* cp-tree.h (identifier_p): New.
3607	* call.c: Throughout, call identifier_p insstead of direct
3608	comparaison of TREE_CODE against IDENTIFIER_NODE.
3609	* decl.c: Likewisse.
3610	* decl2.c: Likewise.
3611	* init.c: Likewise.
3612	* mangle.c: Likewise.
3613	* name-lookup.c: Likewise.
3614	* parser.c: Likewise.
3615	* pt.c: Likewise.
3616	* search.c: Likewise.
3617	* semantics.c: Likewise.
3618	* tree.c: Likewise.
3619	* typeck.c: Likewise.
3620	* typeck2.c: Likewise.
3621
36222013-03-21  Jakub Jelinek  <jakub@redhat.com>
3623
3624	PR middle-end/48087
3625	* pt.c (convert_nontype_argument): Count werrorcount as warnings.
3626	* call.c (build_temp): Likewise.
3627	* method.c (synthesize_method): Likewise.
3628	* typeck.c (convert_for_initialization): Likewise.
3629
36302013-03-21  Marc Glisse  <marc.glisse@inria.fr>
3631
3632	* call.c (build_conditional_expr_1): Fold VEC_COND_EXPR.
3633
36342013-03-21  Richard Biener  <rguenther@suse.de>
3635
3636	* error.c (cp_printer): Use DECL_HAS_DEBUG_EXPR_P instead of
3637	DECL_DEBUG_EXPR_IS_FROM.  Guard properly.
3638
36392013-03-20  Jason Merrill  <jason@redhat.com>
3640
3641	PR c++/56646
3642	* parser.c (cp_parser_late_return_type_opt): Save and restore
3643	current_class_ptr/ref.
3644
3645	PR c++/54532
3646	* expr.c (cplus_expand_constant): Do nothing if the class is
3647	incomplete.
3648	* semantics.c (reduced_constant_expression_p): Allow PTRMEM_CST.
3649	* typeck2.c (store_init_value): Use reduced_constant_expression_p.
3650	* decl.c (maybe_register_incomplete_var): Handle PTRMEM_CST.
3651	(complete_vars): Likewise.
3652
3653	* name-lookup.c (get_anonymous_namespace_name): Never use
3654	get_file_function_name.
3655
3656	* pt.c (retrieve_specialization): Handle null tmpl argument.
3657
3658	PR c++/17232
3659	PR c++/56642
3660	* pt.c (tsubst_decl): Check return value of register_specialization.
3661	* typeck2.c (abstract_virtuals_error_sfinae): Re-apply complete_type
3662	change.
3663
36642013-03-17  Jason Merrill  <jason@redhat.com>
3665
3666	PR c++/54359
3667	PR c++/56639
3668	* parser.c (cp_parser_direct_declarator): Bail if we see a
3669	qualified-id not at namespace scope.
3670
3671	PR c++/17232
3672	PR c++/56642
3673	* typeck2.c (abstract_virtuals_error_sfinae): Revert complete_type
3674	change for now.
3675
36762013-03-16  Jason Merrill  <jason@redhat.com>
3677
3678	* decl.c (grokdeclarator): Assert that we won't see a pointer to
3679	METHOD_TYPE.
3680
3681	PR c++/54277
3682	* cp-tree.h (WILDCARD_TYPE_P): Split out from...
3683	(MAYBE_CLASS_TYPE_P): ...here.
3684	* semantics.c (lambda_capture_field_type): Only build a
3685	magic decltype for wildcard types.
3686	(lambda_proxy_type): Likewise.
3687	(finish_non_static_data_member): Get the quals from
3688	the object.
3689
3690	PR c++/55931
3691	* parser.c (cp_parser_template_argument): Don't
3692	fold_non_dependent_expr.
3693
3694	* parser.c (cp_parser_lambda_declarator_opt): Use
3695	cp_parser_trailing_type_id.
3696
3697	PR c++/45917
3698	* parser.c (cp_parser_template_id): Don't forget access checks.
3699
3700	PR c++/52374
3701	* pt.c (tsubst_qualified_id): Use current_nonlambda_class_type.
3702
3703	PR c++/54764
3704	PR c++/55972
3705	* name-lookup.h (tag_scope): Add ts_lambda.
3706	* semantics.c (begin_lambda_type): Use it.
3707	* decl.c (xref_tag_1): Set CLASSTYPE_LAMBDA_EXPR.
3708	* pt.c (check_default_tmpl_args): Ignore lambdas.
3709	(push_template_decl_real): Handle lambdas.
3710	* tree.c (no_linkage_check): Adjust lambda check.
3711
3712	PR c++/56039
3713	* tree.c (strip_typedefs_expr): Complain about lambda, don't abort.
3714
3715	PR c++/54359
3716	* parser.c (cp_parser_direct_declarator): Fix late return
3717	for out-of-class defn of member function.
3718
3719	PR c++/55357
3720	* semantics.c (maybe_add_lambda_conv_op): Clear DECL_NAME of copied
3721	parms to avoid duplicate -Wshadow warnings.
3722
3723	* search.c (lookup_base): Handle NULL_TREE.
3724
3725	PR c++/56481
3726	* semantics.c (potential_constant_expression_1): Use of 'this' in
3727	a non-constexpr function makes the expression not potentially
3728	constant.
3729
3730	N3276
3731	PR c++/52748
3732	* cp-tree.h (tsubst_flags): Add tf_decltype.
3733	* call.c (build_cxx_call): Don't build a temporary if it's set.
3734	(build_over_call): Make sure it's only passed to build_cxx_call.
3735	* parser.c (cp_parser_primary_expression): Add decltype_p parm.
3736	(cp_parser_unary_expression): Likewise.
3737	(cp_parser_cast_expression): Likewise.
3738	(cp_parser_binary_expression): Likewise.
3739	(cp_parser_assignment_expression): Likewise.
3740	(cp_parser_postfix_expression): Likewise.  Pass tf_decltype.
3741	(cp_parser_expression): Add decltype_p.  Force a
3742	temporary for a call on the LHS of a comma.
3743	(cp_parser_decltype): Pass true to decltype_p parms.
3744	* pt.c (tsubst) [DECLTYPE_TYPE]: Pass tf_decltype.
3745	(tsubst_copy_and_build): Pass tf_decltype down only for
3746	CALL_EXPR and the RHS of COMPOUND_EXPR.
3747	* tree.c (build_cplus_new): Call complete_type_or_maybe_complain.
3748
3749	* cp-tree.h (abstract_class_use): New enum.
3750	* typeck2.c (pending_abstract_type): Add use field.
3751	(abstract_virtuals_error_sfinae): Add overloads taking
3752	abstract_class_use instead of tree.
3753	* typeck.c (build_static_cast_1): Call it.
3754	* except.c (is_admissible_throw_operand_or_catch_parameter): Call it.
3755	* pt.c: Adjust calls.
3756	* decl.c (cp_finish_decl): Don't handle functions specially.
3757	(grokdeclarator): Always check return type.
3758	* init.c (build_new_1): Adjust call.
3759
3760	DR 337
3761	PR c++/17232
3762	* pt.c (tsubst) [ARRAY_TYPE]: Use abstract_virtuals_error_sfinae.
3763	* typeck2.c (abstract_virtuals_error_sfinae): Call complete_type.
3764
3765	DR 657
3766	* pt.c (tsubst_function_type): Call abstract_virtuals_error_sfinae.
3767	(tsubst_arg_types): Likewise.
3768
3769	DR 1518
3770	PR c++/54835
3771	* call.c (convert_like_real): Check for explicit constructors
3772	even for value-initialization.
3773
3774	PR c++/54946
3775	* pt.c (convert_nontype_argument): Handle invalid pointer.
3776
3777	* parser.c (cp_parser_lambda_expression): Use nreverse.
3778
3779	PR c++/56447
3780	PR c++/55532
3781	* pt.c (instantiate_class_template_1): Instantiate lambda capture
3782	list here.
3783	(tsubst_copy_and_build): Not here.
3784
3785	PR c++/55017
3786	* method.c (walk_field_subobs): Disallow copy of rvalue ref.
3787
3788	PR c++/55240
3789	* parser.c (parsing_nsdmi): New.
3790	* semantics.c (outer_automatic_var_p): Check it.
3791	(finish_id_expression): Likewise.
3792	* cp-tree.h: Declare it.
3793
3794	PR c++/55241
3795	* error.c (dump_expr) [SIZEOF_EXPR]: Print sizeof... properly.
3796
3797	* parser.c (lookup_literal_operator): Correct parm/arg naming
3798	mixup.
3799
3800	PR c++/56238
3801	* pt.c (fold_non_dependent_expr_sfinae): Check
3802	instantiation_dependent_expression_p.
3803
3804	PR c++/56095
3805	* class.c (resolve_address_of_overloaded_function): Accept a
3806	reference to function for target_type.
3807	(instantiate_type): Likewise.
3808	* pt.c (convert_nontype_argument): Pass it to
3809	convert_nontype_argument_function.
3810
38112013-03-16  Jakub Jelinek  <jakub@redhat.com>
3812
3813	* tree.c (cp_tree_equal): Fix a pasto.
3814
3815	PR c++/56607
3816	* typeck.c (cp_build_binary_op): When calling warn_for_div_by_zero,
3817	pass op1 through maybe_constant_value first.
3818
38192013-03-16  Paolo Carlini  <paolo.carlini@oracle.com>
3820
3821	PR c++/56582
3822	* semantics.c (cxx_eval_array_reference): Check for negative index.
3823
38242013-03-14  Jason Merrill  <jason@redhat.com>
3825
3826	PR c++/56614
3827	* decl.c (local_variable_p_walkfn): Check DECL_ARTIFICIAL again.
3828
3829	PR c++/56346
3830	* decl.c (register_dtor_fn): Pass null to __cxa_thread_atexit
3831	dso_handle parm on targets without __cxa_atexit.
3832
38332013-03-11  Jason Merrill  <jason@redhat.com>
3834
3835	PR c++/56567
3836	* typeck.c (check_return_expr): Disallow returning init list here.
3837	* semantics.c (apply_deduced_return_type): Not here.
3838
38392013-03-08  Paolo Carlini  <paolo.carlini@oracle.com>
3840
3841	PR c++/51412
3842	* cxx-pretty-print.c (pp_cxx_expression): Handle LAMBDA_EXPR.
3843	* error.c (dump_expr): Likewise.
3844
38452013-03-08  Jason Merrill  <jason@redhat.com>
3846
3847	PR c++/51884
3848	* class.c (modify_all_vtables): Mangle the vtable name before
3849	entering dfs_walk.
3850
3851	* semantics.c (lambda_expr_this_capture): In unevaluated context,
3852	just return the nearest 'this'.
3853
3854	PR c++/51494
3855	PR c++/52183
3856	PR c++/56222
3857	* tree.c (maybe_dummy_object): Don't capture 'this'.
3858	* semantics.c (maybe_resolve_dummy): New.
3859	(finish_non_static_data_member): Use it.
3860	(finish_qualified_id_expr): Don't test is_dummy_object.
3861	* cp-tree.h: Declare maybe_resolve_dummy.
3862	* call.c (build_new_method_call_1): Use it.
3863
3864	PR c++/56567
3865	* semantics.c (apply_deduced_return_type): Don't allow returning
3866	std::initializer_list.
3867
38682013-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
3869
3870	PR c++/56534
3871	* parser.c (cp_parser_elaborated_type_specifier): Don't call
3872	check_elaborated_type_specifier when TREE_CODE (decl) != TYPE_DECL.
3873	* decl.c (check_elaborated_type_specifier): Tidy.
3874
38752013-03-06  Jakub Jelinek  <jakub@redhat.com>
3876
3877	PR c++/56543
3878	* tree.c (strip_typedefs): Don't copy args if they are NULL.
3879
38802013-03-05  Jakub Jelinek  <jakub@redhat.com>
3881
3882	* parser.c (cp_parser_braced_list): For {} initialize
3883	*non_constant_p to false.
3884
38852013-03-04  Jason Merrill  <jason@redhat.com>
3886
3887	PR c++/56464
3888	PR c++/54383
3889	* semantics.c (lambda_expr_this_capture): Handle NSDMI
3890	and non-class scopes.
3891
38922013-03-01  Paolo Carlini  <paolo.carlini@oracle.com>
3893
3894	* decl.c (grokdeclarator): Remove dead code.
3895
38962013-02-28  Jason Merrill  <jason@redhat.com>
3897
3898	PR c++/56481
3899	* semantics.c (potential_constant_expression_1): Use
3900	cxx_eval_outermost_constant_expr rather than maybe_constant_value.
3901
3902	PR c++/56243
3903	* call.c (build_over_call): Avoid virtual lookup in a template.
3904
39052013-02-27  Jason Merrill  <jason@redhat.com>
3906
3907	PR c++/56358
3908	PR c++/56323
3909	* name-lookup.c (do_class_using_decl): Use ctor_identifier instead
3910	of the base name for inheriting ctors.
3911	(push_class_level_binding_1): Remove inheriting ctor handling.
3912	* pt.c (tsubst_decl) [USING_DECL]: Likewise.
3913	* class.c (add_implicitly_declared_members): Adjust.
3914
39152013-02-26  David Binderman  <dcb314@hotmail.com>
3916
3917	PR c++/55632
3918	* decl.c (grokdeclarator): Tidy publicp assignment.
3919
39202013-02-25  Aldy Hernandez  <aldyh@redhat.com>
3921
3922	PR c++/56419
3923	* semantics.c (begin_transaction_stmt): Set TREE_SIDE_EFFECTS.
3924	(build_transaction_expr): Same.
3925
39262013-02-25  Jason Merrill  <jason@redhat.com>
3927
3928	PR c++/56377
3929	* pt.c (fn_type_unification): Wait to call push_tinst_level until
3930	we know what args we're looking at.
3931
3932	PR c++/56438
3933	* semantics.c (potential_constant_expression_1): In C++98, a cast
3934	to non-integral type can't be a constant expression.
3935
39362013-02-24  Jakub Jelinek  <jakub@redhat.com>
3937
3938	PR c++/56403
3939	* init.c (build_zero_init_1): Use RECORD_OR_UNION_CODE_P instead
3940	of CLASS_TYPE_P.
3941
39422013-02-22  Jason Merrill  <jason@redhat.com>
3943
3944	PR c++/40405
3945	* pt.c (push_template_decl_real): Set DECL_INTERFACE_KNOWN
3946	if we got the wrong number of template parms.
3947
3948	PR c++/56377
3949	* pt.c (fn_type_unification): Use explicit args in template
3950	instantiation context.
3951
3952	PR c++/56359
3953	* call.c (can_convert_arg): Discard access checks.
3954
3955	PR c++/56395
3956	* tree.c (strip_typedefs): Strip typedefs from TYPENAME_TYPE template
3957	args.
3958
39592013-02-20  Paolo Carlini  <paolo.carlini@oracle.com>
3960
3961	PR c++/56373
3962	* tree.c (maybe_warn_zero_as_null_pointer_constant): Add.
3963	* cvt.c (ocp_convert): Use the latter.
3964	(cp_convert_to_pointer): Likewise.
3965	* decl.c (check_default_argument): Likewise.
3966	* typeck.c (cp_build_binary_op): Likewise.
3967	* cp-tree.h (maybe_warn_zero_as_null_pointer_constant): Declare.
3968
39692013-02-15  Jonathan Wakely  <jwakely.gcc@gmail.com>
3970	    Paolo Carlini  <paolo.carlini@oracle.com>
3971
3972	PR c++/51242
3973	* decl2.c (grokbitfield): Allow scoped enumeration types.
3974
39752013-02-15  Jason Merrill  <jason@redhat.com>
3976
3977	PR c++/54276
3978	* semantics.c (finish_id_expression): Also return the identifier
3979	for an outer local static.
3980
3981	PR c++/56343
3982	* class.c (check_bases_and_members): Deduce noexcept after
3983	checking bases.
3984
3985	PR c++/52026
3986	* semantics.c (finish_id_expression): In a template, return
3987	the identifier for a constant variable.
3988
39892013-02-14  Jason Merrill  <jason@redhat.com>
3990
3991	PR c++/54922
3992	* semantics.c (build_anon_member_initialization): New.
3993	(build_data_member_initialization): Use it.
3994
3995	PR c++/55003
3996	* decl.c (cp_finish_decl): Force instantiation of an
3997	auto static data member.
3998
3999	PR c++/55220
4000	* pt.c (unify): A pack expansion that is not the last template
4001	argument makes the entire template argument list non-deduced.
4002
4003	PR c++/56323
4004	* name-lookup.c (do_class_using_decl): Handle typedefs with
4005	inheriting constructors.
4006	(push_class_level_binding_1): Allow inheriting from template
4007	template parameter, too.
4008	* pt.c (tsubst_decl) [USING_DECL]: Likewise.
4009
4010	PR c++/55223
4011	* pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Fix handling of
4012	default argument scope.
4013	* mangle.c (write_name): Likewise.
4014
4015	PR c++/55232
4016	* error.c (find_typenames_r): Don't walk into a pack expansion.
4017
40182013-02-13  Jason Merrill  <jason@redhat.com>
4019
4020	PR c++/55670
4021	* parser.c (cp_parser_member_declaration): Check the declarator
4022	form when detecting a function declaration via typedef.
4023
4024	PR c++/55680
4025	* pt.c (maybe_process_partial_specialization): A lambda
4026	isn't what's being specialized.
4027
4028	PR c++/55710
4029	* semantics.c (maybe_add_lambda_conv_op): Mark static thunk
4030	TREE_USED.
4031
4032	PR c++/55879
4033	* semantics.c (cxx_bind_parameters_in_call): Undo DECL_BY_REFERENCE.
4034
4035	PR c++/55993
4036	* semantics.c (cxx_fold_indirect_ref): Handle empty bases at
4037	non-zero offsets, too.
4038
4039	PR c++/56155
4040	* decl.c (build_enumerator): Always convert the value to a
4041	fixed underlying type.
4042
4043	PR c++/56135
4044	* pt.c (tsubst_copy_and_build): Don't forget any new
4045	captures that arose from use of dependent names.
4046
40472013-02-13  Jakub Jelinek  <jakub@redhat.com>
4048
4049	PR c++/56302
4050	* semantics.c (finish_asm_stmt): If input constraints allow
4051	neither register nor memory, try maybe_constant_value to get
4052	a constant if possible.
4053
40542013-02-12  Jason Merrill  <jason@redhat.com>
4055
4056	PR c++/56285
4057	* method.c (add_one_base_init): Handle base constructor
4058	taking rvalue reference parm.
4059
4060	PR c++/56291
4061	* semantics.c (sort_constexpr_mem_initializers): Handle
4062	vptr out of order.
4063
40642013-02-09  Jason Merrill  <jason@redhat.com>
4065
4066	PR c++/56268
4067	* semantics.c (classtype_has_nothrow_assign_or_copy_p): Call
4068	maybe_instantiate_noexcept.
4069
4070	PR c++/56247
4071	* pt.c (eq_specializations): Set comparing_specializations.
4072	* tree.c (cp_tree_equal): Check it.
4073	* cp-tree.h: Declare it.
4074
4075	* decl.c (decls_match): Check versions later.
4076
4077	PR c++/56238
4078	* pt.c (build_non_dependent_expr): Don't try to fold
4079	instantiation-dependent expressions.
4080	(instantiation_dependent_r) [TRAIT_EXPR]: Split out.
4081	[BIND_EXPR]: Treat as dependent.
4082
40832013-02-07  Jakub Jelinek  <jakub@redhat.com>
4084
4085	PR c++/56241
4086	* init.c (build_vec_init): Don't append NULL values into new_vec.
4087	(build_zero_init_1): Don't push anything into v if recursive call
4088	returned NULL_TREE.
4089	(build_value_init_noctor): Don't push anything into v if
4090	build_value_init call returned NULL_TREE.
4091
4092	PR c++/56239
4093	* parser.c (cp_parser_token_starts_cast_expression): Renamed to...
4094	(cp_parser_tokens_start_cast_expression): ... this.  Change parameter
4095	to cp_parser *, call cp_lexer_peek_token first.  For CPP_OPEN_PAREN,
4096	return true only if 2nd token isn't CPP_CLOSE_PAREN.
4097	(cp_parser_cast_expression): Adjust caller.
4098
4099	PR c++/56237
4100	* decl.c (push_local_name): Look at DECL_DISCRIMINATOR (t)
4101	only if DECL_DISCRIMINATOR_SET_P (t) rather than just
4102	DECL_LANG_SPECIFIC (t).
4103
41042013-02-07  Jason Merrill  <jason@redhat.com>
4105
4106	PR c++/56235
4107	* method.c (do_build_copy_constructor): Don't bother turning
4108	scalars from lvalues to xvalues.
4109	(do_build_copy_assign): Likewise.
4110
41112013-02-06  Jason Merrill  <jason@redhat.com>
4112
4113	* parser.c (cp_parser_enum_specifier): Check for error_mark_node.
4114
41152013-02-05  Jason Merrill  <jason@redhat.com>
4116
4117	PR c++/54122
4118	* tree.c (lvalue_kind) [INDIRECT_REF]: Don't check for
4119	METHOD_TYPE.
4120
4121	PR c++/56177
4122	* decl.c (start_preparsed_function): Update restype if we change
4123	decl1.
4124
4125	PR c++/56208
4126	* pt.c (fn_type_unification): Discard any access checks from
4127	substituting explicit args.
4128
41292013-01-31  Jason Merrill  <jason@redhat.com>
4130
4131	PR c++/56162
4132	PR c++/56104
4133	* typeck.c (get_member_function_from_ptrfunc): Fix
4134	ptrmemfunc_vbit_in_delta case.
4135
41362013-01-29  Jason Merrill  <jason@redhat.com>
4137
4138	PR libstdc++/54314
4139	* class.c (build_ctor_vtbl_group): Give construction vtables
4140	hidden visibility.
4141
41422013-01-25  Jason Merrill  <jason@redhat.com>
4143
4144	PR c++/56095
4145	* pt.c (convert_nontype_argument_function): Handle invalid input.
4146	(convert_nontype_argument): Likewise.
4147
4148	PR c++/56104
4149	* typeck.c (get_member_function_from_ptrfunc): Optimize if the
4150	dynamic type has no virtual functions.
4151
41522013-01-22  Paolo Carlini  <paolo.carlini@oracle.com>
4153
4154	PR c++/55944
4155	* decl.c (check_initializer): Use TARGET_EXPR_DIRECT_INIT_P only
4156	on TARGET_EXPR nodes.
4157
41582013-01-22  Jason Merrill  <jason@redhat.com>
4159
4160	PR c++/56071
4161	* pt.c (maybe_instantiate_noexcept): Don't defer access checks.
4162
41632013-01-22  Dodji Seketeli  <dodji@redhat.com>
4164
4165	PR c++/53609
4166	* pt.c (argument_pack_element_is_expansion_p)
4167	(make_argument_pack_select, use_pack_expansion_extra_args_p)
4168	(gen_elem_of_pack_expansion_instantiation): New static functions.
4169	(tsubst): When looking through an ARGUMENT_PACK_SELECT tree node,
4170	look through the possibly resulting pack expansion as well.
4171	(tsubst_pack_expansion): Use use_pack_expansion_extra_p to
4172	generalize when to use the PACK_EXPANSION_EXTRA_ARGS mechanism.
4173	Use gen_elem_of_pack_expansion_instantiation to build the
4174	instantiation piece-wise.  Don't use arg_from_parm_pack_p anymore,
4175	as gen_elem_of_pack_expansion_instantiation and the change in
4176	tsubst above generalize this particular case.
4177	(arg_from_parm_pack_p): Remove this for it's not used by
4178	tsubst_pack_expansion anymore.
4179
41802013-01-21  Jason Merrill  <jason@redhat.com>
4181
4182	PR c++/56059
4183	* tree.c (strip_typedefs_expr) [TREE_VEC]: Preserve non-default
4184	template args count.
4185
41862013-01-18  Jason Merrill  <jason@redhat.com>
4187
4188	PR target/54908
4189	* decl2.c (get_local_tls_init_fn): New.
4190	(get_tls_init_fn): Handle flag_extern_tls_init.  Don't bother
4191	with aliases for internal variables.  Don't use weakrefs if
4192	the variable needs destruction.
4193	(generate_tls_wrapper): Mark the wrapper as const if no
4194	initialization is needed.
4195	(handle_tls_init): Don't require aliases.
4196
41972013-01-15  Dodji Seketeli  <dodji@redhat.com>
4198
4199	PR c++/55663
4200	* pt.c (coerce_innermost_template_parms): New static function.
4201	(instantiate_alias_template):  Use it here.
4202
42032013-01-09  Jason Merrill  <jason@redhat.com>
4204
4205	PR c++/55878
4206	* rtti.c (build_typeid, get_typeid): Add complain parm.
4207	(get_tinfo_decl_dynamic): Likewise.
4208	* cp-tree.h, parser.c, pt.c: Adjust.
4209
4210	PR c++/55893
4211	* decl.c (cp_finish_decl): Clear TREE_READONLY if the variable
4212	needs destruction.
4213
42142013-01-09  Jakub Jelinek  <jakub@redhat.com>
4215
4216	PR c/48418
4217	* typeck.c (cp_build_binary_op): For LSHIFT_EXPR and RSHIFT_EXPR,
4218	call maybe_constant_value for the negative or too big shift
4219	count warnings.
4220
42212013-01-09  Paolo Carlini  <paolo.carlini@oracle.com>
4222
4223	PR c++/55801
4224	* decl2.c (var_needs_tls_wrapper): Return false when error_operand_p
4225	of the argument is true.
4226
42272013-01-08  Joel Brobecker  <brobecker@adacore.com>
4228
4229	* parser.c (cp_parser_initializer_list): Move declaration
4230	of variable non_const to start of lexical block.
4231
42322013-01-07  Jason Merrill  <jason@redhat.com>
4233
4234	PR c++/55753
4235	* tree.c (build_aggr_init_expr): Do nothing in a template.
4236	* pt.c (tsubst_copy_and_build) [CALL_EXPR]: Strip an ADDR_EXPR off
4237	a FUNCTION_DECL before tsubsting.
4238
42392013-01-04  Dodji Seketeli  <dodji@redhat.com>
4240
4241	PR c++/52343
4242	* pt.c (check_instantiated_arg): Allow type template arguments.
4243
42442013-01-04  Jason Merrill  <jason@redhat.com>
4245
4246	PR c++/55877
4247	* decl.c (reset_type_linkage, bt_reset_linkage): New.
4248	(grokdeclarator): Use reset_type_linkage.
4249	* name-lookup.c (binding_table_foreach): Handle null table.
4250	* tree.c (decl_anon_ns_mem_p): Check TYPE_MAIN_DECL, not TYPE_NAME.
4251
42522013-01-04  Paolo Carlini  <paolo.carlini@oracle.com>
4253
4254	PR c++/54526 (again)
4255	* parser.c (cp_parser_template_id): Revert core of previous change
4256	(keep adjusted inform message).
4257
42582013-01-03  Jason Merrill  <jason@redhat.com>
4259
4260	PR c++/55419
4261	PR c++/55753
4262	* pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Don't touch
4263	TREE_CONSTANT.
4264
4265	PR c++/55842
4266	* semantics.c (trait_expr_value): Call maybe_instantiate_noexcept.
4267
4268	PR c++/55856
4269	* semantics.c (build_data_member_initialization): Handle DECL_EXPR.
4270
4271	PR c++/53650
4272	* call.c (type_has_extended_temps): New.
4273	* cp-tree.h: Declare it.
4274	* decl.c (check_initializer): Use build_aggr_init for arrays
4275	if it is false.
4276	* init.c (build_vec_init): Avoid mixed signed/unsigned arithmetic.
4277
42782013-01-02  Jason Merrill  <jason@redhat.com>
4279
4280	PR c++/54325
4281	* call.c (build_new_method_call_1): Don't use build_value_init for
4282	user-provided default constructors.
4283
4284	* decl.c (check_default_argument): Use LOOKUP_IMPLICIT.
4285
4286	PR c++/55032
4287	PR c++/55245
4288	* tree.c (build_cplus_array_type): Copy layout information
4289	to main variant if necessary.
4290
4291Copyright (C) 2013 Free Software Foundation, Inc.
4292
4293Copying and distribution of this file, with or without modification,
4294are permitted in any medium without royalty provided the copyright
4295notice and this notice are preserved.
4296