12019-05-03  Release Manager
2
3	* GCC 9.1.0 released.
4
52019-04-24  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
6	    Bernd Edlinger  <bernd.edlinger@hotmail.de>
7	    Jakub Jelinek  <jakub@redhat.com>
8
9	PR target/89093
10	* raise-gcc.c (TARGET_ATTRIBUTE): Define.
11	(continue_unwind, personality_body, PERSONALITY_FUNCTION): Add
12	TARGET_ATTRIBUTE.
13
142019-04-07  Eric Botcazou  <ebotcazou@adacore.com>
15
16	* libgnat/i-cexten.ads (CFloat_128): New type.
17
182019-03-22  Dmitriy Anisimkov  <anisimko@adacore.com>
19
20	PR ada/89583
21	* libgnat/g-socket.adb (Bind_Socket, Connect_Socket,
22	Send_Socket): Fix the computation of structure lengths passed to
23	low level routines.
24	(Is_IPv6_Address): Fix the number of expected colons.
25
262019-03-11  Martin Liska  <mliska@suse.cz>
27
28	* gcc-interface/misc.c (gnat_post_options): Wrap option name in string
29	format message and fix GNU coding style.
30
312019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
32
33	* gcc-interface/trans.c (gnat_to_gnu) <N_Aggregate>: Minor tweak.
34	* gcc-interface/utils.c (convert): Do not pad when doing an unchecked
35	conversion here.  Use TREE_CONSTANT throughout the function.
36	(unchecked_convert): Also pad if the source is a CONSTRUCTOR and the
37	destination is a more aligned array type or a larger aggregate type,
38	but not between original and packable versions of a type.
39
402019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
41
42	* gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an
43	operand with VOID_TYPE.
44
452019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
46
47	* gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the
48	entities of a package renaming another one.
49
502019-02-08  Eric Botcazou  <ebotcazou@adacore.com>
51
52	* gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on
53	individual flag_unswitch_loops and flag_tree_loop_vectorize switches
54	with test on global optimize switch.
55	(Raise_Error_to_gnu): Likewise.
56
572019-02-07  Eric Botcazou  <ebotcazou@adacore.com>
58
59	* libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.
60
612019-02-06  Arnaud Charlet  <charlet@adacore.com>
62
63	* libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads
64
652019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
66
67	* repinfo.adb (List_Component_Layout): Remove superfluous space for
68	zero-sized field.
69	* gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro.
70	* gcc-interface/gigi.h (create_extra_subtype): Declare.
71	* gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise.
72	(update_n_elem): New function.
73	(gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes
74	instead of doing it manually.
75	<E_Array_Type>: Use update_n_elem to compute the maximum size.  Use the
76 	index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE
77	of the array to the maximum size.
78	<E_Array_Subtype>: Create an extra subtype using the index type of the
79	base array type for self-referential bounds.  Use update_n_elem to
80	compute the maximum size.  Set TYPE_ARRAY_MAX_SIZE of the array to the
81	maximum size.
82	(gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants.
83	* gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of
84	the base type for an extra subtype.
85	(gnat_type_max_size): Remove obsolete code.
86	* gcc-interface/trans.c (Attribute_to_gnu): Minor tweak.
87	(can_be_lower_p): Deal with pathological types.
88	* gcc-interface/utils.c (create_extra_subtype): New function.
89	(create_field_decl): Minor tweak.
90	(max_size) <tcc_reference>: Compute a better value by using the extra
91 	subtypes on the self-referential bounds.
92	<tcc_binary>: Rewrite.  Deal with "negative value" in unsigned types.
93	<tcc_expression>: Likewise.
94	* gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds
95	of the arrays upfront.  Swap only if the second length is not constant.
96	Use comparisons on the original bounds consistently for the null tests.
97	(build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro.
98	(build_allocator): Minor tweak.
99
1002019-01-27  Eric Botcazou  <ebotcazou@adacore.com>
101
102	* gcc-interface/decl.c (array_type_has_nonaliased_component): Return
103	the same value for every dimension of a multidimensional array type.
104
1052019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
106
107	* gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the
108	iteration scheme, if present, throughout the translation.
109
1102019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
111
112	* gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use
113	DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned
114	by a call to memset if the LHS is a DECL.
115
1162019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
117
118	* gcc-interface/trans.c (struct loop_info_d): Remove artificial field.
119	(Loop_Statement_to_gnu): Do not set it.
120
1212019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
122
123	* gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting.
124	(Acc_gnat_to_gnu): Likewise.
125	(Acc_Data_to_gnu): Likewise.
126	(Acc_Var_to_gnu): Likewise.
127	(Acc_Reduc_to_gnu): Likewise.
128	(Acc_Size_List_to_gnu): Likewise.
129	(Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise.
130	<Pragma_Acc_Data>): Likewise.
131	(find_loop_for): Remove default value for parameters.
132	* gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into...
133	<N_Op_Eq>): ...this.
134
1352019-01-26  Eric Botcazou  <ebotcazou@adacore.com>
136
137	* gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on
138	the sign bit instead of on the sign of the value.
139	<PLUS_EXPR>: Turn addition of negative constant into subtraction.
140	<MULT_EXPR>: Add test for degenerate case.
141	<BIT_AND_EXPR>: Simplify.
142
1432019-01-18  Sebastian Huber  <sebastian.huber@embedded-brains.de>
144
145	* s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS.
146
1472019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
148
149	PR other/16615
150	* exp_ch11.adb: Change "can not" to "cannot".
151	* sem_ch4.adb: Likewise.
152
1532019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
154
155	PR other/16615
156	* exp_ch9.adb: Mechanically replace "can not" with "cannot".
157	* libgnat/s-regpat.ads: Likewise.
158	* par-ch4.adb: Likewise.
159	* set_targ.adb: Likewise.
160	* types.ads: Likewise.
161
1622019-01-08  Justin Squirek  <squirek@adacore.com>
163
164	Revert:
165	2018-07-31  Justin Squirek  <squirek@adacore.com>
166
167	* lib-writ.adb (Write_With_Lines): Modfiy the generation
168	of dependencies within ali files so that source unit
169	bodies are properly listed even if said bodies are
170	missing.  Perform legacy behavior in GNATprove mode.
171	* lib-writ.ads: Modify documentation to reflect current
172	behavior.
173
174	and:
175	2018-09-26  Justin Squirek  <squirek@adacore.com>
176
177	* lib-writ.adb, lib-writ.ads (Write_With_Lines): Add
178	documentation and an extra conditional check for RCI
179	units so that generated ali files will list the spec
180	only instead of a body when a body is not found.
181
1822019-01-04  Eric Botcazou  <ebotcazou@adacore.com>
183
184	* gnatvsn.ads: Bump copyright year.
185
1862019-01-01  Jakub Jelinek  <jakub@redhat.com>
187
188	Update copyright years.
189
190 	* gnat_ugn.texi: Bump @copying's copyright year.
191 	* gnat_rm.texi: Likewise.
192
193Copyright (C) 2019 Free Software Foundation, Inc.
194
195Copying and distribution of this file, with or without modification,
196are permitted in any medium without royalty provided the copyright
197notice and this notice are preserved.
198