summaryrefslogtreecommitdiffstats
path: root/gcc
diff options
context:
space:
mode:
authorGCC Administrator <gccadmin@gcc.gnu.org>2022-05-20 00:16:32 +0000
committerGCC Administrator <gccadmin@gcc.gnu.org>2022-05-20 00:16:32 +0000
commit12750f80bffe7072a7fcc7620305a40d071ff388 (patch)
treef66be2ef44d26e29f1b1daaa16bab835bd4810e3 /gcc
parentlibstdc++: Avoid including <cstdint> for std::char_traits (diff)
downloadgcc-12750f80bffe7072a7fcc7620305a40d071ff388.tar.gz
gcc-12750f80bffe7072a7fcc7620305a40d071ff388.tar.bz2
gcc-12750f80bffe7072a7fcc7620305a40d071ff388.tar.xz
Daily bump.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog55
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/ada/ChangeLog316
-rw-r--r--gcc/testsuite/ChangeLog26
4 files changed, 398 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 66fe54bf59d..bb3fd55e9b9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,58 @@
12022-05-19 Roger Sayle <roger@nextmovesoftware.com>
2
3 PR middle-end/98865
4 * expr.cc (expand_expr_real_2) [MULT_EXPR]: Expand X*Y as X&Y
5 when both X and Y are [0, 1], X*Y as X&-Y when Y is [0,1] and
6 likewise X*Y as -X&Y when X is [0,1] using tree_nonzero_bits.
7
82022-05-19 Will Schmidt <will_schmidt@vnet.ibm.com>
9
10 * config/rs6000/rs6000-builtins.def: Rephrase
11 to remove RS6000_BTC_SPECIAL from comment.
12 * config/rs6000/rs6000.h (RS6000_BTC_UNARY, RS6000_BTC_BINARY,
13 RS6000_BTC_TERNARY, RS6000_BTC_QUATERNARY,
14 RS6000_BTC_QUINARY, RS6000_BTC_SENARY, RS6000_BTC_OPND_MASK,
15 RS6000_BTC_SPECIAL, RS6000_BTC_PREDICATE, RS6000_BTC_ABS,
16 RS6000_BTC_DST, RS6000_BTC_TYPE_MASK, RS6000_BTC_MISC,
17 RS6000_BTC_CONST, RS6000_BTC_PURE, RS6000_BTC_FP,
18 RS6000_BTC_QUAD, RS6000_BTC_PAIR, RS6000_BTC_QUADPAIR,
19 RS6000_BTC_ATTR_MASK, RS6000_BTC_SPR, RS6000_BTC_VOID,
20 RS6000_BTC_CR, RS6000_BTC_OVERLOADED, RS6000_BTC_GIMPLE,
21 RS6000_BTC_MISC_MASK, RS6000_BTC_MEM, RS6000_BTC_SAT,
22 RS6000_BTM_ALWAYS): Delete.
23
242022-05-19 Richard Biener <rguenther@suse.de>
25
26 * omp-expand.cc (expand_omp_atomic_cas): Do not short-cut
27 computation of the new value.
28
292022-05-19 Richard Biener <rguenther@suse.de>
30
31 * tree-ssa-pre.cc (get_or_alloc_expression_id): Remove.
32 (add_to_value): Use get_expression_id.
33 (bitmap_insert_into_set): Likewise.
34 (bitmap_value_insert_into_set): Likewise.
35
362022-05-19 David Malcolm <dmalcolm@redhat.com>
37
38 * doc/invoke.texi (-fanalyzer-checker=): Add
39 -Wanalyzer-va-list-leak and -Wanalyzer-va-list-use-after-va-end to
40 the list of analyzer warnings disabled by
41 -fanalyzer-checker=taint.
42
432022-05-19 Jakub Jelinek <jakub@redhat.com>
44
45 PR debug/105630
46 * cfgexpand.cc (expand_debug_expr): For VAR_DECL, punt for
47 global vars without symtab node even when they have DECL_RTL
48 set.
49
502022-05-19 Jakub Jelinek <jakub@redhat.com>
51
52 PR c/105635
53 * pointer-query.cc (gimple_parm_array_size): Return NULL if var
54 doesn't have pointer or reference type.
55
12022-05-18 Marek Polacek <polacek@redhat.com> 562022-05-18 Marek Polacek <polacek@redhat.com>
2 57
3 PR c/105131 58 PR c/105131
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 756cdcb1359..dc35e2277db 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
20220519 20220520
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 746aee8e771..0a766f2eba2 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,319 @@
12022-05-19 Eric Botcazou <ebotcazou@adacore.com>
2
3 * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Constant>: Deal with
4 a constant related to a return in a function specially.
5 * gcc-interface/trans.cc (Call_to_gnu): Use return slot optimization
6 if the target is a return object.
7 (gnat_to_gnu) <N_Object_Declaration>: Deal with a constant related
8 to a return in a function specially.
9
102022-05-19 Eric Botcazou <ebotcazou@adacore.com>
11
12 * gcc-interface/utils.cc (gnat_pushdecl): Also set TREE_NO_WARNING
13 on the decl if Comes_From_Source is false for the associated node.
14
152022-05-19 Eric Botcazou <ebotcazou@adacore.com>
16
17 * gcc-interface/trans.cc (gnat_gimplify_expr): Tidy up.
18
192022-05-19 Eric Botcazou <ebotcazou@adacore.com>
20
21 * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Function>: Also call
22 process_attributes for built-in functions.
23 (prepend_one_attribute_pragma): Deal with "simd" attribute.
24 * gcc-interface/utils.cc (handle_simd_attribute): New function.
25 (gnat_internal_attribute_table): Add entry for "simd" attribute.
26
272022-05-19 Eric Botcazou <ebotcazou@adacore.com>
28
29 * gcc-interface/decl.cc (components_to_record): Use NULL recursively
30 as P_GNU_REP_LIST for the innermost variant level in the unchecked
31 union case with a fixed part.
32
332022-05-19 Eric Botcazou <ebotcazou@adacore.com>
34
35 * gcc-interface/trans.cc (gnat_to_gnu): Do not set Current_Error_Node
36 to a node without location.
37
382022-05-19 Eric Botcazou <ebotcazou@adacore.com>
39
40 * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Access_Subtype>: And
41 skip the elaboration of the designated subtype when that of its base
42 type has been delayed.
43
442022-05-19 Eric Botcazou <ebotcazou@adacore.com>
45
46 * gcc-interface/decl.cc (gnat_to_gnu_entity) <E_Record_Subtype>: If
47 it is a special subtype designated by an access subtype, then defer
48 the completion of incomplete types.
49
502022-05-19 Eric Botcazou <ebotcazou@adacore.com>
51
52 * gcc-interface/ada-tree.h, gcc-interface/ada.h,
53 gcc-interface/gadaint.h, gcc-interface/targtyps.cc: Adjust
54 copyright line.
55
562022-05-19 Eric Botcazou <ebotcazou@adacore.com>
57
58 * gcc-interface/utils.cc (unchecked_convert): Do not fold a string
59 constant if the target type is pointer to character.
60
612022-05-19 Piotr Trojanek <trojanek@adacore.com>
62
63 * sem_prag.adb (Analyze_Pragma): Remove redundant call to
64 Set_Error_Posted.
65
662022-05-19 Piotr Trojanek <trojanek@adacore.com>
67
68 * sem_ch8.adb (Find_Expanded_Name): Emit a main error message
69 before adding a continuation with the call to
70 Error_Missing_With_Of_Known_Unit.
71
722022-05-19 Eric Botcazou <ebotcazou@adacore.com>
73
74 * sem_util.ads (Requires_Transient_Scope): Add pragma Inline.
75
762022-05-19 Steve Baird <baird@adacore.com>
77
78 * sem_ch13.adb (Build_Predicate_Functions): If a semantic error
79 has been detected then ignore Predicate_Failure aspect
80 specifications in the same way as is done for CodePeer and
81 SPARK. This avoids an internal compiler error if
82 Ancestor_Predicate_Function_Called is True but Result_Expr is
83 not an N_And_Then node (and is therefore unsuitable as an
84 argument in a call to Left_Opnd).
85
862022-05-19 Eric Botcazou <ebotcazou@adacore.com>
87
88 * exp_ch7.adb (Wrap_Transient_Declaration): Propagate Uses_Sec_Stack
89 to enclosing function if it does not return on the secondary stack.
90 * exp_ch6.adb (Expand_Call_Helper): Call Establish_Transient_Scope
91 with Manage_Sec_Stack set to True only when necessary.
92 * sem_res.adb (Resolve_Call): Likewise.
93 (Resolve_Entry_Call): Likewise.
94
952022-05-19 Daniel Mercier <mercier@adacore.com>
96
97 * sem_ch13.adb (Build_Predicate_Function): Ignore predicate
98 failure in CodePeer mode.
99
1002022-05-19 Arnaud Charlet <charlet@adacore.com>
101
102 * raise-gcc.c: Fix compilation with -DSTANDALONE under windows.
103
1042022-05-19 Eric Botcazou <ebotcazou@adacore.com>
105
106 * exp_ch4.adb (Narrow_Large_Operation): Preserve and reuse Etype.
107
1082022-05-19 Javier Miranda <miranda@adacore.com>
109
110 * exp_attr.adb (Add_Implicit_Interface_Type_Conversion): New
111 subprogram which factorizes code.
112 (Expand_N_Attribute_Reference): Call the new subprogram to add
113 the missing implicit interface type conversion.
114
1152022-05-19 Piotr Trojanek <trojanek@adacore.com>
116
117 * sem_ch13.adb (Build_Predicate_Function): Ignore predicate
118 failure in GNATprove mode.
119
1202022-05-19 Steve Baird <baird@adacore.com>
121
122 * einfo-utils.ads, einfo-utils.adb: Delete Predicate_Function_M
123 function and Set_Predicate_Function_M procedure.
124 * einfo.ads: Delete comments for Is_Predicate_Function_M and
125 Predicate_Function_M functions. Add comment for new
126 Predicate_Expression function. Update comment describing
127 predicate functions.
128 * exp_util.ads, exp_util.adb (Make_Predicate_Call): Replace Mem
129 formal parameter with Static_Mem and Dynamic_Mem formals.
130 (Make_Predicate_Check): Delete Add_Failure_Expression and call
131 to it.
132 * exp_ch4.adb (Expand_N_In.Predicate_Check): Update
133 Make_Predicate_Call call to match profile change.
134 * gen_il-fields.ads: Delete Is_Predicate_Function_M field, add
135 Predicate_Expression field.
136 * gen_il-gen-gen_entities.adb: Delete Is_Predicate_Function_M
137 use, add Predicate_Expression use.
138 * sem_ch13.adb (Build_Predicate_Functions): Rename as singular,
139 not plural; we no longer build a Predicate_M function. Delete
140 Predicate_M references. Add new Boolean parameter for predicate
141 functions when needed. Restructure body of generated predicate
142 functions to implement required Predicate_Failure behavior and
143 to set new Predicate_Expression attribute. Remove special
144 treatment of raise expressions within predicate expressions.
145 * sem_util.ads (Predicate_Failure_Expression,
146 Predicate_Function_Needs_Membership_Parameter): New functions.
147 * sem_util.adb (Is_Current_Instance): Fix bugs which caused
148 wrong result.
149 (Is_Current_Instance_Reference_In_Type_Aspect): Delete
150 Is_Predicate_Function_M reference.
151 (Predicate_Failure_Expression): New function.
152 (Propagate_Predicate_Attributes): Delete Is_Predicate_Function_M
153 references.
154
1552022-05-19 Eric Botcazou <ebotcazou@adacore.com>
156
157 * exp_ch6.adb (Expand_Call_Helper): Adjust comment.
158 (Expand_Simple_Function_Return): For the case of a type which needs
159 finalization and is returned on the primary stack, do not create a
160 copy if the expression originates from a function call.
161 * exp_ch7.adb (Transient Scope Management): Adjust comment.
162 * exp_util.ads (Is_Related_To_Func_Return): Add WARNING line.
163 * fe.h (Is_Related_To_Func_Return): Declare.
164
1652022-05-19 Piotr Trojanek <trojanek@adacore.com>
166
167 * exp_ch9.adb (Build_Find_Body_Index): Remove empty Elsif_Parts
168 from the constructed IF statement.
169
1702022-05-19 Piotr Trojanek <trojanek@adacore.com>
171
172 * exp_ch9.adb (Build_Find_Body_Index): Remove IF statement whose
173 condition was true-by-construction; remove excessive assertion
174 (since the call to Elsif_Parts will check that Nod is present
175 and it is an if-statement).
176
1772022-05-19 Arnaud Charlet <charlet@adacore.com>
178
179 * gnat1drv.adb, gnatcmd.adb: Remove references to gnatfind/xref.
180 * doc/gnat_ugn/building_executable_programs_with_gnat.rst,
181 doc/gnat_ugn/the_gnat_compilation_model.rst: Ditto.
182 * gnat_ugn.texi: Regenerate.
183 * gnatfind.adb, gnatxref.adb, xr_tabls.adb, xr_tabls.ads,
184 xref_lib.adb, xref_lib.ads: Removed, no longer used.
185
1862022-05-19 Claire Dross <dross@adacore.com>
187
188 * libgnat/a-strfix.adb: Add assertions.
189 * libgnat/a-strsup.adb: Idem.
190
1912022-05-19 Ed Schonberg <schonberg@adacore.com>
192
193 * erroutc.ads: Fix a single-character typo in a comment.
194 * exp_aggr.adb: Fix a single-character typo in a comment.
195 Replace several pairs of calls to Low_Bound and
196 High_Bound (which do not handle an identifier that denotes a
197 scalar subtype) with corresponding calls to Get_Index_Bounds
198 (which does handle that case).
199 * par-ch4.adb (P_Aggregate_Or_Paren_Expr): Set the
200 Component_Associations attribute of a null array aggregate to
201 New_List.
202 * sem_aggr.ads: New visible function
203 Is_Null_Array_Aggregate_High_Bound.
204 * sem_aggr.adb (Is_Null_Array_Aggregate_High_Bound,
205 Is_Null_Aggregate, Resolve_Null_Array_Aggregate): New functions.
206 (Resolve_Aggregate): Recognize null array aggregates (using
207 Is_Null_Aggregate) and, when one is recognized, resolve
208 it (using Resolve_Null_Array_Aggregate). Avoid calling
209 Array_Aggr_Subtype for a null array aggregate; the needed
210 subtype is built in Resolve_Null_Array_Aggregate. Do not
211 incorrectly flag a null aggregate (after it is transformed by
212 expansion) as being both positional and named.
213 * sem_attr.adb (Eval_Attribute): Special treatment for null
214 array aggregate high bounds to avoid incorrectly flagging
215 something like Integer'Pred (Integer'First) as an illegal static
216 expression.
217 * sem_eval.adb (Out_Of_Range): Special treatment for null array
218 aggregate high bounds to avoid incorrectly flagging something
219 like Integer'Pred (Integer'First) as an illegal static
220 expression.
221
2222022-05-19 Yannick Moy <moy@adacore.com>
223
224 * libgnat/s-aridou.adb (Lemma_Abs_Range,
225 Lemma_Double_Shift_Left, Lemma_Shift_Left): New lemmas.
226 (Double_Divide): Add ghost code.
227 (Lemma_Concat_Definition, Lemma_Double_Shift_Left,
228 Lemma_Shift_Left, Lemma_Shift_Right): Define or complete lemmas.
229 (Scaled_Divide): Add ghost code.
230
2312022-05-19 Bob Duff <duff@adacore.com>
232
233 * exp_pakd.adb (Expand_Packed_Eq): Replace the check for *same*
234 modular type, with a check for any modular type, and assert that
235 the two types have the same modulus and so on.
236 * exp_pakd.ads: Minor comment improvements.
237
2382022-05-19 Bob Duff <duff@adacore.com>
239
240 * style.adb (Check_Identifier): Deal with the case where a
241 record component definition has been transformed; we want to
242 warn if the original came from source.
243 * libgnat/s-objrea.ads, libgnat/s-objrea.adb: Fix casing of MF
244 to be consistent.
245 * uname.adb: Fix casing of Chars to be consistent.
246 * sem_util.ads: Minor comment fix.
247
2482022-05-19 Eric Botcazou <ebotcazou@adacore.com>
249
250 * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-retsta.
251 * debug.adb (d_r): Document usage.
252 * exp_ch4.adb (Expand_N_Allocato): Deal with the return stack pool.
253 * exp_ch6.adb (Expand_Simple_Function_Return): Replace calls to
254 Requires_Transient_Scope with Returns_On_Secondary_Stack. Deal
255 with types that need finalization returned on the primary stack,
256 use CW_Or_Needs_Finalization for those returned on the secondary.
257 * exp_util.adb (Build_Allocate_Deallocate_Proc): Return early
258 for the return stack pool.
259 (Remove_Side_Effects): Call CW_Or_Needs_Finalization.
260 * fe.h (Requires_Transient_Scope): Delete.
261 (Returns_On_Secondary_Stack): Declare.
262 * gnat1drv.adb (Adjust_Global_Switches): Set Back_End_Return_Slot
263 to False when generating C code or if -gnatd_r is specified.
264 * opt.ads (Back_End_Return_Slot): New boolean variable.
265 * rtsfind.ads (RTU_Id): Add System_Return_Stack.
266 (RE_Id): Add RE_RS_Allocate and RE_RS_Pool.
267 (RE_Unit_Table): Add entries for RE_RS_Allocate and RE_RS_Pool.
268 * sem_util.ads (CW_Or_Has_Controlled_Part): Delete.
269 (CW_Or_Needs_Finalization): Declare.
270 (Requires_Transient_Scope): Adjust description.
271 (Returns_On_Secondary_Stack): Declare.
272 * sem_util.adb (Compute_Returns_By_Ref): Set Returns_By_Ref on types
273 which need finalization if they are returned on the secondary stack.
274 (CW_Or_Has_Controlled_Part): Rename to...
275 (CW_Or_Needs_Finalization): ...this.
276 (Requires_Transient_Scope): Move bulk of implementation to...
277 (Returns_On_Secondary_Stack): ...here. Return true for types which
278 need finalization only if the back-end return slot is not supported.
279 * libgnat/s-retsta.ads: New file.
280 * gcc-interface/ada-builtin-types.def (BT_FN_PTR_SSIZE): Define.
281 * gcc-interface/ada-builtins.def (return_slot): Likewise.
282 * gcc-interface/ada-tree.h (BUILT_IN_RETURN_SLOT): Likewise.
283 * gcc-interface/decl.cc (gnat_to_gnu_subprog_type): Replace call to
284 Requires_Transient_Scope with Returns_On_Secondary_Stack.
285 * gcc-interface/trans.cc (gnat_to_gnu) <N_Simple_Return_Statement>:
286 In the return by invisible reference, skip the copy if the source
287 is the same as the destination.
288 * gcc-interface/utils2.cc (build_call_alloc_dealloc_proc): Deal with
289 the return stack pool.
290
2912022-05-19 Eric Botcazou <ebotcazou@adacore.com>
292
293 * gcc-interface/trans.cc: Fix formatting issues in comments.
294 (Subprogram_Body_to_gnu): Tidy up.
295 (Exception_Handler_to_gnu_gcc): Rename into...
296 (Exception_Handler_to_gnu): ...this.
297 (gnat_to_gnu) <N_Exception_Handler>: Adjust to above renaming.
298
2992022-05-19 Eric Botcazou <ebotcazou@adacore.com>
300
301 * gcc-interface/trans.cc (Subprogram_Body_to_gnu): Rename a couple
302 of local variables and use Is_Generic_Subprogram predicate.
303 (process_decls): Likewise.
304
3052022-05-19 Eric Botcazou <ebotcazou@adacore.com>
306
307 * gcc-interface/trans.cc (Subprogram_Body_to_gnu): Do not deal with
308 inlining heuristics for expression functions here but...
309 * gcc-interface/decl.cc (inline_status_for_subprog): ...here instead
310 and do not override them at -Os.
311
3122022-05-19 Piotr Trojanek <trojanek@adacore.com>
313
314 * gcc-interface/decl.cc (gnat_to_gnu_entity): Remove dead code
315 which expected Scope to return E_Subprogram_Body entity.
316
12022-05-18 Claire Dross <dross@adacore.com> 3172022-05-18 Claire Dross <dross@adacore.com>
2 318
3 * libgnat/s-imageu.adb (Set_Image_Unsigned): Change assertion. 319 * libgnat/s-imageu.adb (Set_Image_Unsigned): Change assertion.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e4c2c4614df..613dbbe560d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,29 @@
12022-05-19 Jonathan Wakely <jwakely@redhat.com>
2
3 * g++.dg/cpp0x/variadic-tuple.C: Qualify function to avoid ADL
4 finding std::make_tuple.
5
62022-05-19 Roger Sayle <roger@nextmovesoftware.com>
7
8 PR middle-end/98865
9 * gcc.target/i386/pr98865.c: New test case.
10
112022-05-19 Giuliano Belinassi <gbelinassi@suse.de>
12
13 PR target/105647
14 * g++.dg/modules/pr105169_a.C: Change -fpatchable-function-entry to 2.
15 * g++.dg/modules/pr105169_b.C: Likewise.
16
172022-05-19 Jakub Jelinek <jakub@redhat.com>
18
19 PR debug/105630
20 * gcc.dg/pr105630.c: New test.
21
222022-05-19 Jakub Jelinek <jakub@redhat.com>
23
24 PR c/105635
25 * gcc.dg/pr105635.c: New test.
26
12022-05-18 Marek Polacek <polacek@redhat.com> 272022-05-18 Marek Polacek <polacek@redhat.com>
2 28
3 PR c/105131 29 PR c/105131