]>
Commit | Line | Data |
---|---|---|
62a6ebbd | 1 | 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
2 | ||
3 | * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an | |
4 | operand with VOID_TYPE. | |
5 | ||
da383d19 | 6 | 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
7 | ||
8 | * gcc-interface/trans.c (elaborate_all_entities): Do not elaborate the | |
9 | entities of a package renaming another one. | |
10 | ||
09c123a0 | 11 | 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
12 | ||
13 | * gcc-interface/trans.c (Regular_Loop_to_gnu): Replace tests on | |
14 | individual flag_unswitch_loops and flag_tree_loop_vectorize switches | |
15 | with test on global optimize switch. | |
16 | (Raise_Error_to_gnu): Likewise. | |
17 | ||
a9dd7273 | 18 | 2019-02-07 Eric Botcazou <ebotcazou@adacore.com> |
19 | ||
20 | * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value. | |
21 | ||
4836c4f1 | 22 | 2019-02-06 Arnaud Charlet <charlet@adacore.com> |
23 | ||
24 | * libgnarl/s-linux__x32.ads: Resync list of signals with s-linux.ads | |
25 | ||
6b56937c | 26 | 2019-01-27 Eric Botcazou <ebotcazou@adacore.com> |
27 | ||
28 | * repinfo.adb (List_Component_Layout): Remove superfluous space for | |
29 | zero-sized field. | |
30 | * gcc-interface/ada-tree.h (TYPE_IS_EXTRA_SUBTYPE_P): New macro. | |
31 | * gcc-interface/gigi.h (create_extra_subtype): Declare. | |
32 | * gcc-interface/decl.c (TYPE_ARRAY_SIZE_LIMIT): Likewise. | |
33 | (update_n_elem): New function. | |
34 | (gnat_to_gnu_entity): Use create_extra_subtype to create extra subtypes | |
35 | instead of doing it manually. | |
36 | <E_Array_Type>: Use update_n_elem to compute the maximum size. Use the | |
37 | index type instead of base type for the bounds. Set TYPE_ARRAY_MAX_SIZE | |
38 | of the array to the maximum size. | |
39 | <E_Array_Subtype>: Create an extra subtype using the index type of the | |
40 | base array type for self-referential bounds. Use update_n_elem to | |
41 | compute the maximum size. Set TYPE_ARRAY_MAX_SIZE of the array to the | |
42 | maximum size. | |
43 | (gnat_to_gnu_field): Clear DECL_NONADDRESSABLE_P on discriminants. | |
44 | * gcc-interface/misc.c (gnat_get_alias_set): Return the alias set of | |
45 | the base type for an extra subtype. | |
46 | (gnat_type_max_size): Remove obsolete code. | |
47 | * gcc-interface/trans.c (Attribute_to_gnu): Minor tweak. | |
48 | (can_be_lower_p): Deal with pathological types. | |
49 | * gcc-interface/utils.c (create_extra_subtype): New function. | |
50 | (create_field_decl): Minor tweak. | |
51 | (max_size) <tcc_reference>: Compute a better value by using the extra | |
52 | subtypes on the self-referential bounds. | |
53 | <tcc_binary>: Rewrite. Deal with "negative value" in unsigned types. | |
54 | <tcc_expression>: Likewise. | |
55 | * gcc-interface/utils2.c (compare_arrays): Retrieve the original bounds | |
56 | of the arrays upfront. Swap only if the second length is not constant. | |
57 | Use comparisons on the original bounds consistently for the null tests. | |
58 | (build_binary_op): Use TYPE_IS_EXTRA_SUBTYPE_P macro. | |
59 | (build_allocator): Minor tweak. | |
60 | ||
ecb2c722 | 61 | 2019-01-27 Eric Botcazou <ebotcazou@adacore.com> |
62 | ||
63 | * gcc-interface/decl.c (array_type_has_nonaliased_component): Return | |
64 | the same value for every dimension of a multidimensional array type. | |
65 | ||
10f25579 | 66 | 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
67 | ||
68 | * gcc-interface/trans.c (Regular_Loop_to_gnu): Use the SLOC of the | |
69 | iteration scheme, if present, throughout the translation. | |
70 | ||
aced6683 | 71 | 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
72 | ||
73 | * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use | |
74 | DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned | |
75 | by a call to memset if the LHS is a DECL. | |
76 | ||
18b4b30e | 77 | 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
78 | ||
79 | * gcc-interface/trans.c (struct loop_info_d): Remove artificial field. | |
80 | (Loop_Statement_to_gnu): Do not set it. | |
81 | ||
6dce35b7 | 82 | 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
83 | ||
84 | * gcc-interface/trans.c (Iterate_Acc_Clause_Arg): Fix formatting. | |
85 | (Acc_gnat_to_gnu): Likewise. | |
86 | (Acc_Data_to_gnu): Likewise. | |
87 | (Acc_Var_to_gnu): Likewise. | |
88 | (Acc_Reduc_to_gnu): Likewise. | |
89 | (Acc_Size_List_to_gnu): Likewise. | |
90 | (Pragma_to_gnu) <Pragma_Acc_Loop>: Likewise. | |
91 | <Pragma_Acc_Data>): Likewise. | |
92 | (find_loop_for): Remove default value for parameters. | |
93 | * gcc-interface/trans.c (gnat_to_gnu) <N_Op_And>: Merge into... | |
94 | <N_Op_Eq>): ...this. | |
95 | ||
f8cd11ee | 96 | 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
97 | ||
98 | * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on | |
99 | the sign bit instead of on the sign of the value. | |
100 | <PLUS_EXPR>: Turn addition of negative constant into subtraction. | |
101 | <MULT_EXPR>: Add test for degenerate case. | |
102 | <BIT_AND_EXPR>: Simplify. | |
103 | ||
9a3c51d9 | 104 | 2019-01-18 Sebastian Huber <sebastian.huber@embedded-brains.de> |
105 | ||
106 | * s-oscons-tmplt.c (AF_INET6): Do not undefine for RTEMS. | |
107 | ||
07c11f2b | 108 | 2019-01-09 Sandra Loosemore <sandra@codesourcery.com> |
109 | ||
110 | PR other/16615 | |
07c11f2b | 111 | * exp_ch11.adb: Change "can not" to "cannot". |
112 | * sem_ch4.adb: Likewise. | |
113 | ||
f4d3c071 | 114 | 2019-01-09 Sandra Loosemore <sandra@codesourcery.com> |
115 | ||
116 | PR other/16615 | |
f4d3c071 | 117 | * exp_ch9.adb: Mechanically replace "can not" with "cannot". |
118 | * libgnat/s-regpat.ads: Likewise. | |
119 | * par-ch4.adb: Likewise. | |
120 | * set_targ.adb: Likewise. | |
121 | * types.ads: Likewise. | |
122 | ||
902071d1 | 123 | 2019-01-08 Justin Squirek <squirek@adacore.com> |
124 | ||
125 | Revert: | |
902071d1 | 126 | 2018-07-31 Justin Squirek <squirek@adacore.com> |
127 | ||
76fb0465 | 128 | * lib-writ.adb (Write_With_Lines): Modfiy the generation |
129 | of dependencies within ali files so that source unit | |
130 | bodies are properly listed even if said bodies are | |
131 | missing. Perform legacy behavior in GNATprove mode. | |
132 | * lib-writ.ads: Modify documentation to reflect current | |
133 | behavior. | |
902071d1 | 134 | |
135 | and: | |
902071d1 | 136 | 2018-09-26 Justin Squirek <squirek@adacore.com> |
137 | ||
76fb0465 | 138 | * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add |
139 | documentation and an extra conditional check for RCI | |
140 | units so that generated ali files will list the spec | |
141 | only instead of a body when a body is not found. | |
902071d1 | 142 | |
65a33d4a | 143 | 2019-01-04 Eric Botcazou <ebotcazou@adacore.com> |
144 | ||
145 | * gnatvsn.ads: Bump copyright year. | |
146 | ||
3d8932fd | 147 | 2019-01-01 Jakub Jelinek <jakub@redhat.com> |
8e8f6434 | 148 | |
fbd26352 | 149 | Update copyright years. |
150 | ||
277184bc | 151 | * gnat_ugn.texi: Bump @copying's copyright year. |
152 | * gnat_rm.texi: Likewise. | |
7dfbd804 | 153 | \f |
3d8932fd | 154 | Copyright (C) 2019 Free Software Foundation, Inc. |
7dfbd804 | 155 | |
156 | Copying and distribution of this file, with or without modification, | |
157 | are permitted in any medium without royalty provided the copyright | |
158 | notice and this notice are preserved. |