1 2023-12-28 Rimvydas Jasinskas <rimvydas.jas@gmail.com>
4 * invoke.texi: Add Developer Options section. Move '-fdump-*'
5 to it. Add small examples about changed '-save-temps' behavior.
7 2023-12-20 Rimvydas Jasinskas <rimvydas.jas@gmail.com>
10 * lang-specs.h (F951_CPP_OPTIONS): Do not hardcode ".f90" extension
11 (F951_CPP_EXTENSION): Use .fi/.fii for fixed/free form sources
12 * options.cc (form_from_filename): Handle the new extensions
14 2023-12-19 Sandra Loosemore <sandra@codesourcery.com>
16 * gfortran.h: Include omp-selectors.h.
17 (enum gfc_omp_trait_property_kind): Delete, and replace all
18 references with equivalent omp_tp_type enumerators.
19 (struct gfc_omp_trait_property): Update for omp_tp_type.
20 (struct gfc_omp_selector): Replace string name with new enumerator.
21 (struct gfc_omp_set_selector): Likewise.
22 * openmp.cc (gfc_free_omp_trait_property_list): Update for
24 (omp_construct_selectors): Delete.
25 (omp_device_selectors): Delete.
26 (omp_implementation_selectors): Delete.
27 (omp_user_selectors): Delete.
28 (gfc_ignore_trait_property_extension): New.
29 (gfc_ignore_trait_property_extension_list): New.
30 (gfc_match_omp_selector): Adjust for new representations and simplify
31 dispatch logic. Uniformly warn instead of sometimes error when an
32 unknown selector is found.
33 (gfc_match_omp_context_selector): Adjust for new representations.
34 Adjust error messages for extraneous/incorrect score.
35 (gfc_match_omp_context_selector_specification): Likewise.
36 * trans-openmp.cc (gfc_trans_omp_declare_variant): Adjust for
39 2023-12-19 Sandra Loosemore <sandra@codesourcery.com>
41 * trans-openmp.cc (gfc_trans_omp_declare_varaint): Adjust for
42 new namelist property representation.
44 2023-12-19 Sandra Loosemore <sandra@codesourcery.com>
46 * trans-openmp.cc (gfc_trans_omp_declare_variant): Use new
49 2023-12-18 Harald Anlauf <anlauf@gmx.de>
52 * check.cc (array_size_check): New helper function.
53 (gfc_check_date_and_time): Use it for checking minimum size of
54 VALUES argument. Update kind check to Fortran 2018.
55 * intrinsic.texi: Fix documentation of DATE_AND_TIME.
57 2023-12-17 Harald Anlauf <anlauf@gmx.de>
60 * trans-expr.cc (gfc_conv_procedure_call): For a contiguous dummy
61 with the TARGET attribute, the effective argument may still be
62 contiguous even if the actual argument is not simply-contiguous.
63 Allow packing to be decided at runtime by _gfortran_internal_pack.
65 2023-12-16 Paul Thomas <pault@gcc.gnu.org>
68 * trans-array.cc (gfc_trans_array_constructor_value): Replace
69 gfc_notification_std with explicit logical expression that
70 selects F2003/2008 and excludes -std=default/gnu.
71 * trans-expr.cc (gfc_conv_expr): Ditto.
73 2023-12-16 Paul Thomas <pault@gcc.gnu.org>
77 * match.cc (build_associate_name): Fix whitespace issues.
78 (select_type_set_tmp): If the selector is of unknown type, go
79 the SELECT TYPE selector to see if this is a function and, if
80 the result is available, use its typespec.
81 * parse.cc (parse_associate): Again, use the function result if
82 the type of the selector result is unknown.
83 * trans-stmt.cc (trans_associate_var): The expression has to be
84 of type class, for class_target to be true. Convert and fix
85 class functions. Pass the fixed expression.
86 * resolve.cc (gfc_expression_rank): Avoid null dereference.
88 2023-12-15 Jerry DeLisle <jvdelisle@gcc.gnu.org>
91 * intrinsic.texi: Fix where no COMPLEX allowed.
92 * invoke.texi: Clarify -fdev-math.
94 2023-12-14 Jerry DeLisle <jvdelisle@gcc.gnu.org>
97 * gfortran.texi: Update to reflect the changes.
98 * intrinsic.cc (add_functions): Update the standard that the
99 various degree trigonometric functions have been described in.
100 (gfc_check_intrinsic_standard): Add an error string for F2023.
101 * intrinsic.texi: Update accordingly.
103 2023-12-13 Julian Brown <julian@codesourcery.com>
105 * dependency.cc (gfc_omp_expr_prefix_same): New function.
106 * dependency.h (gfc_omp_expr_prefix_same): Add prototype.
107 * gfortran.h (gfc_omp_namelist): Add "duplicate_of" field to "u2"
109 * trans-openmp.cc (dependency.h): Include.
110 (gfc_trans_omp_array_section): Adjust mapping node arrangement for
111 array descriptors. Use GOMP_MAP_TO_PSET or
112 GOMP_MAP_RELEASE/GOMP_MAP_DELETE with the OMP_CLAUSE_RELEASE_DESCRIPTOR
114 (gfc_symbol_rooted_namelist): New function.
115 (gfc_trans_omp_clauses): Check subcomponent and subarray/element
116 accesses elsewhere in the clause list for pointers to derived types or
117 array descriptors, and adjust or drop mapping nodes appropriately.
118 Adjust for changes to mapping node arrangement.
119 (gfc_trans_oacc_executable_directive): Pass code op through.
121 2023-12-13 Julian Brown <julian@codesourcery.com>
123 * trans-openmp.cc (gfc_trans_omp_array_section): Add OPENMP parameter.
124 Use GOMP_MAP_ATTACH_DETACH instead of GOMP_MAP_ALWAYS_POINTER for
125 derived type components.
126 (gfc_trans_omp_clauses): Update calls to gfc_trans_omp_array_section.
128 2023-12-11 Thomas Schwinge <thomas@codesourcery.com>
130 * trans-openmp.cc (gfc_omp_call_is_alloc): Resolve ICE.
132 2023-12-11 Tobias Burnus <tobias@codesourcery.com>
134 * gfortran.h (enum gfc_omp_requires_kind): Add
135 OMP_REQ_ATOMIC_MEM_ORDER_ACQUIRE and OMP_REQ_ATOMIC_MEM_ORDER_RELEASE.
136 (gfc_namespace): Add a 7th bit to omp_requires.
137 * module.cc (enum ab_attribute): Add AB_OMP_REQ_MEM_ORDER_ACQUIRE
138 and AB_OMP_REQ_MEM_ORDER_RELEASE
139 (mio_symbol_attribute): Handle it.
140 * openmp.cc (gfc_omp_requires_add_clause): Update for acquire/release.
141 (gfc_match_omp_requires): Likewise.
142 (gfc_match_omp_atomic): Handle them for atomic_default_mem_order.
143 * parse.cc: Likewise.
145 2023-12-11 Tobias Burnus <tobias@codesourcery.com>
147 * trans-openmp.cc (gfc_omp_call_add_alloc,
148 gfc_omp_call_is_alloc): Set 'fn spec'.
150 2023-12-10 Harald Anlauf <anlauf@gmx.de>
153 * expr.cc (gfc_is_simply_contiguous): Determine characteristics of
154 NULL() from optional MOLD argument, otherwise treat as contiguous.
155 * primary.cc (gfc_variable_attr): Derive attributes of NULL(MOLD)
158 2023-12-10 Harald Anlauf <anlauf@gmx.de>
161 * resolve.cc (resolve_symbol): For a CLASS-valued function having a
162 RESULT clause, ensure that attr.class_ok is set for its symbol as
163 well as for its resolved result variable.
165 2023-12-08 Tobias Burnus <tobias@codesourcery.com>
167 * dump-parse-tree.cc (show_omp_node): Handle EXEC_OMP_ALLOCATE
168 and EXEC_OMP_ALLOCATORS.
169 * f95-lang.cc (ATTR_ALLOC_WARN_UNUSED_RESULT_SIZE_2_NOTHROW_LIST):
170 Add 'ECF_LEAF | ECF_MALLOC' to existing 'ECF_NOTHROW'.
171 (ATTR_ALLOC_WARN_UNUSED_RESULT_SIZE_2_NOTHROW_LEAF_LIST): Define.
172 * gfortran.h (gfc_omp_clauses): Add contained_in_target_construct.
173 * invoke.texi (-fopenacc, -fopenmp): Update based on C version.
174 (-fopenmp-simd): New, based on C version.
175 (-fopenmp-allocators): New.
176 * lang.opt (fopenmp-allocators): Add.
177 * openmp.cc (resolve_omp_clauses): For allocators/allocate directive,
178 add target and no dynamic_allocators diagnostic and more invalid
180 * parse.cc (decode_omp_directive): Set contains_teams_construct.
181 * trans-array.h (gfc_array_allocate): Update prototype.
182 (gfc_conv_descriptor_version): New prototype.
183 * trans-decl.cc (gfc_init_default_dt): Fix comment.
184 * trans-array.cc (gfc_conv_descriptor_version): New.
185 (gfc_array_allocate): Support GOMP_alloc allocation.
186 (gfc_alloc_allocatable_for_assignment, structure_alloc_comps):
187 Handle GOMP_free/omp_realloc as needed.
188 * trans-expr.cc (gfc_conv_procedure_call): Likewise.
189 (alloc_scalar_allocatable_for_assignment): Likewise.
190 * trans-intrinsic.cc (conv_intrinsic_move_alloc): Likewise.
191 * trans-openmp.cc (gfc_trans_omp_allocators,
192 gfc_trans_omp_directive): Handle allocators/allocate directive.
193 (gfc_omp_call_add_alloc, gfc_omp_call_is_alloc): New.
194 * trans-stmt.h (gfc_trans_allocate): Update prototype.
195 * trans-stmt.cc (gfc_trans_allocate): Support GOMP_alloc.
196 * trans-types.cc (gfc_get_dtype_rank_type): Set version field.
197 * trans.cc (gfc_allocate_using_malloc, gfc_allocate_allocatable):
198 Update to handle GOMP_alloc.
199 (gfc_deallocate_with_status, gfc_deallocate_scalar_with_status):
201 (trans_code): Update call.
202 * trans.h (gfc_allocate_allocatable, gfc_allocate_using_malloc):
204 (gfc_omp_call_add_alloc, gfc_omp_call_is_alloc): New prototype.
205 * types.def (BT_FN_PTR_PTR_SIZE_PTRMODE_PTRMODE): New.
207 2023-12-06 David Malcolm <dmalcolm@redhat.com>
209 * error.cc (gfc_diagnostic_starter): Make diagnostic_info param
211 (gfc_diagnostic_finalizer): Likewise.
213 2023-12-05 Harald Anlauf <anlauf@gmx.de>
214 Tobias Burnus <tobias@codesourcery.com>
217 * gfortran.h (IS_PROC_POINTER): New macro.
218 * trans-types.cc (gfc_sym_type): Use macro in determination if the
219 restrict qualifier can be used for a dummy variable. Fix logic to
220 allow the restrict qualifier also for optional arguments, and to
221 not apply it to pointer or proc_pointer arguments.
223 2023-12-05 Richard Sandiford <richard.sandiford@arm.com>
225 * f95-lang.cc (gfc_gnu_attribute_table): Add extra braces to work
226 around PR 16333 in older compilers.
228 2023-12-02 Harald Anlauf <anlauf@gmx.de>
232 * trans-array.cc (gfc_trans_deferred_array): Add presence check
233 for optional deferred-length character dummy arguments.
234 * trans-expr.cc (gfc_conv_missing_dummy): The character length for
235 deferred-length dummy arguments is passed by reference, so that
236 its value can be returned. Adjust handling for optional dummies.
238 2023-12-02 Richard Sandiford <richard.sandiford@arm.com>
240 * f95-lang.cc: Include attribs.h.
241 (gfc_attribute_table): Change to an array of scoped_attribute_specs
243 (gfc_gnu_attributes, gfc_gnu_attribute_table): ...these new globals.
245 2023-12-01 Harald Anlauf <anlauf@gmx.de>
248 * trans-expr.cc (gfc_conv_class_to_class): Make copy-out conditional
249 on the presence of an OPTIONAL CLASS argument passed to an OPTIONAL
252 2023-11-30 Harald Anlauf <anlauf@gmx.de>
255 * primary.cc (gfc_variable_attr): Set TARGET attribute of associating
256 entity dependent on TARGET or POINTER attribute of selector.
258 2023-11-28 Andrew Jenner <andrew@codesourcery.com>
259 Tobias Burnus <tobias@codesourcery.com>
262 * trans-expr.cc (trans_class_vptr_len_assignment): Add
263 from_vptrp parameter. Populate it. Don't check for DECL_P
264 when deciding whether to create temporary.
265 (trans_class_pointer_fcn, gfc_trans_pointer_assignment): Add
266 NULL argument to trans_class_vptr_len_assignment calls.
267 (trans_class_assignment): Get rhs_vptr from
268 trans_class_vptr_len_assignment and use it for determining size
269 for allocation/reallocation. Use return value from realloc.
271 2023-11-26 Harald Anlauf <anlauf@gmx.de>
274 * resolve.cc (resolve_common_vars): Do not call gfc_add_in_common
275 for symbols that are USE associated or used in a submodule.
277 2023-11-24 Tobias Burnus <tobias@codesourcery.com>
279 * lang.opt (Wopenmp): Add, enabled by dafault and documented in C.
280 * openmp.cc (gfc_match_omp_declare_target, resolve_positive_int_expr,
281 resolve_nonnegative_int_expr, resolve_omp_clauses,
282 gfc_resolve_omp_do_blocks): Use OPT_Wopenmp with gfc_warning{,_now}.
284 2023-11-24 Tobias Burnus <tobias@codesourcery.com>
286 * openmp.cc (gfc_match_omp_depobj): Accept optionally an argument
287 to the destroy clause.
289 2023-11-23 Harald Anlauf <anlauf@gmx.de>
292 * check.cc (gfc_check_system_clock): Add checks on integer arguments
293 to SYSTEM_CLOCK specific to F2023.
294 * error.cc (notify_std_msg): Adjust to handle new features added
296 * gfortran.texi (_gfortran_set_options): Document GFC_STD_F2023_DEL,
297 remove obsolete option GFC_STD_F2008_TS and fix enumeration values.
298 * libgfortran.h (GFC_STD_F2023_DEL): Add and use in GFC_STD_OPT_F23.
299 * options.cc (set_default_std_flags): Add GFC_STD_F2023_DEL.
301 2023-11-17 Tobias Burnus <tobias@codesourcery.com>
303 * gfortran.texi (_gfortran_set_options): Document GFC_STD_F2023.
304 * invoke.texi (std,pedantic,Wampersand,Wtabs): Add -std=2023.
305 * lang.opt (std=f2023): Add.
306 * libgfortran.h (GFC_STD_F2023, GFC_STD_OPT_F23): Add.
307 * options.cc (set_default_std_flags): Add GFC_STD_F2023.
308 (gfc_init_options): Set max_continue_free to 1,000,000.
309 (gfc_post_options): Set flag_free_line_length if unset.
310 (gfc_handle_option): Add OPT_std_f2023, set max_continue_free = 255
311 for -std=f2003, f2008 and f2018.
313 2023-11-14 David Malcolm <dmalcolm@redhat.com>
315 * error.cc (gfc_diagnostics_init): Use diagnostic_start_span.
317 2023-11-07 Joseph Myers <joseph@codesourcery.com>
319 * gfortran.h (gfc_real_info): Refer to C23 instead of C2X in
322 2023-11-06 Martin Jambor <mjambor@suse.cz>
324 * trans-decl.cc (gfc_build_builtin_function_decls): Fix fnspec of
327 2023-11-04 David Malcolm <dmalcolm@redhat.com>
329 * cpp.cc: Update for changes to diagnostic_context.
330 * error.cc: Likewise.
331 * options.cc: Likewise.
333 2023-11-03 Harald Anlauf <anlauf@gmx.de>
336 * match.cc (gfc_match_call): If a procedure pointer has already been
337 resolved, do not create a new symbol in a procedure reference of
338 the same name shadowing the first one if it is host-associated.
340 2023-11-03 Harald Anlauf <anlauf@gmx.de>
343 * trans-expr.cc (conv_cond_temp): Helper function for creation of a
344 conditional temporary.
345 (gfc_conv_procedure_call): Handle passing of allocatable or pointer
346 actual argument to dummy with OPTIONAL + VALUE attribute. Actual
347 arguments that are not allocated or associated are treated as not
350 2023-11-03 Paul Thomas <pault@gcc.gnu.org>
353 * interface.cc (upoly_ok): Defined operators using unlimited
354 polymorphic formal arguments must not override the intrinsic
357 2023-11-02 Paul Thomas <pault@gcc.gnu.org>
360 * parse.cc (parse_associate): Remove condition that caused this
363 2023-10-30 Paul Thomas <pault@gcc.gnu.org>
366 * resolve.cc (resolve_select_type): If the selector expression
367 has no class component references and the expression is a
368 derived type, copy the typespec of the symbol to that of the
371 2023-10-27 Harald Anlauf <anlauf@gmx.de>
372 Steven G. Kargl <kargl@gcc.gnu.org>
375 * decl.cc (gfc_match_formal_arglist): Handle conflicting declarations
376 of a MODULE PROCEDURE when one of the declarations is an alternate
379 2023-10-27 Paul Thomas <pault@gcc.gnu.org>
382 * expr.cc (gfc_check_vardef_context): Check that the target
383 does have a vector index before emitting the specific error.
384 * match.cc (copy_ts_from_selector_to_associate): Ensure that
385 class valued operator expressions set the selector rank and
386 use the rank to provide the associate variable with an
387 appropriate array spec.
388 * resolve.cc (resolve_operator): Reduce stacked parentheses to
390 (fixup_array_ref): Extract selector symbol from parentheses.
392 2023-10-26 Paul-Antoine Arras <pa@codesourcery.com>
393 Tobias Burnus <tobias@codesourcery.com>
395 * interface.cc (gfc_compare_types): Return true if one type is C_PTR
396 and the other is a compatible INTEGER(8).
397 * misc.cc (gfc_typename): Handle the case where an INTEGER(8) actually
400 2023-10-25 Thomas Schwinge <thomas@codesourcery.com>
402 * openmp.cc (omp_mask2): Split 'OMP_CLAUSE_HOST_SELF' into
403 'OMP_CLAUSE_SELF', 'OMP_CLAUSE_HOST'.
404 (gfc_match_omp_clauses, OACC_UPDATE_CLAUSES): Adjust.
406 2023-10-25 Chung-Lin Tang <cltang@codesourcery.com>
408 * gfortran.h (typedef struct gfc_omp_clauses): Add self_expr field.
409 * openmp.cc (enum omp_mask2): Add OMP_CLAUSE_SELF.
410 (gfc_match_omp_clauses): Add handling for OMP_CLAUSE_SELF.
411 (OACC_PARALLEL_CLAUSES): Add OMP_CLAUSE_SELF.
412 (OACC_KERNELS_CLAUSES): Likewise.
413 (OACC_SERIAL_CLAUSES): Likewise.
414 (resolve_omp_clauses): Add handling for omp_clauses->self_expr.
415 * trans-openmp.cc (gfc_trans_omp_clauses): Add handling of
416 clauses->self_expr and building of OMP_CLAUSE_SELF tree clause.
417 (gfc_split_omp_clauses): Add handling of self_expr field copy.
419 2023-10-25 Thomas Schwinge <thomas@codesourcery.com>
421 * dump-parse-tree.cc (show_omp_clauses): Group handling of 'if'
422 clause without and with modifier.
423 * frontend-passes.cc (gfc_code_walker): Likewise.
424 * gfortran.h (gfc_omp_clauses): Likewise.
425 * openmp.cc (gfc_free_omp_clauses): Likewise.
427 2023-10-18 Tobias Burnus <tobias@codesourcery.com>
429 * intrinsic.texi (signal): Add 'intrinsic :: signal, sleep' to
430 the example to make it safer.
432 2023-10-17 Harald Anlauf <anlauf@gmx.de>
435 * frontend-passes.cc (traverse_io_block): Dependency check of loop
436 nest shall be triangular, not banded.
438 2023-10-17 Tobias Burnus <tobias@codesourcery.com>
440 * intrinsic.texi (signal): Mention that the argument
441 passed to the signal handler procedure is passed by reference.
444 2023-10-15 Tobias Burnus <tobias@codesourcery.com>
446 * scanner.cc (skip_free_comments, skip_fixed_comments): Remove
447 leftover 'OpenACC' from comments about OpenMP's conditional
448 compilation sentinel.
450 2023-10-14 Tobias Burnus <tobias@codesourcery.com>
452 * gfortran.h (ext_attr_t): Add omp_allocate flag.
453 * match.cc (gfc_free_omp_namelist): Void deleting same
454 u2.allocator multiple times now that a sequence can use
456 * openmp.cc (gfc_match_omp_clauses, gfc_match_omp_allocate): Use
457 same allocator expr multiple times.
458 (is_predefined_allocator): Make static.
459 (gfc_resolve_omp_allocate): Update/extend restriction checks;
460 remove sorry message.
461 (resolve_omp_clauses): Reject corarrays in allocate/allocators
463 * parse.cc (check_omp_allocate_stmt): Permit procedure pointers
464 here (rejected later) for less misleading diagnostic.
465 * trans-array.cc (gfc_trans_auto_array_allocation): Propagate
466 size for GOMP_alloc and location to which it should be added to.
467 * trans-decl.cc (gfc_trans_deferred_vars): Handle 'omp allocate'
468 for stack variables; sorry for static variables/common blocks.
469 * trans-openmp.cc (gfc_trans_omp_clauses): Evaluate 'allocate'
470 clause's allocator only once; fix adding expressions to the
472 (gfc_trans_omp_single): Pass a block to gfc_trans_omp_clauses.
474 2023-10-13 Harald Anlauf <anlauf@gmx.de>
477 * decl.cc (get_proc_name): Extend name conflict detection between
478 internal procedure and previous declaration also to derived type.
480 2023-10-13 Harald Anlauf <anlauf@gmx.de>
483 * invoke.texi: Update documentation to reflect '-ffpe-trap=none'.
484 * options.cc (gfc_handle_fpe_option): Fix mixup up of error messages
485 for options -ffpe-trap and -ffpe-summary. Accept '-ffpe-trap=none'
486 to clear FPU traps previously set on command line.
488 2023-10-13 Richard Biener <rguenther@suse.de>
490 PR tree-optimization/111779
491 * trans-expr.cc (gfc_trans_assignment_1): Initialize
492 lhs_caf_attr and rhs_caf_attr codimension flag to avoid
493 false positive -Wuninitialized.
495 2023-10-12 Paul Thomas <pault@gcc.gnu.org>
498 * trans-expr.cc (gfc_trans_pointer_assignment): Set the hidden
499 string length component for pointer assignment to character
502 2023-10-08 Tobias Burnus <tobias@codesourcery.com>
504 * parse.cc (parse_omp_structured_block): Make the user code end
505 up inside of BLOCK construct for strictly structured blocks;
506 fix fallout for 'section' and 'teams'.
507 * openmp.cc (resolve_omp_target): Fix changed BLOCK handling
508 for teams in target checking.
510 2023-10-04 Paul Thomas <pault@gcc.gnu.org>
514 * trans-expr.cc (gfc_trans_scalar_assign): Finalize components
515 on deallocation if derived type is not finalizable.
517 2023-10-03 David Malcolm <dmalcolm@redhat.com>
519 * error.cc (gfc_format_decoder): Update for "m_" prefixes to
522 2023-10-02 David Malcolm <dmalcolm@redhat.com>
524 * error.cc (gfc_diagnostics_init): Update for change to start_span.
526 2023-10-02 David Malcolm <dmalcolm@redhat.com>
528 * error.cc (gfc_diagnostic_starter): Update for reorganization of
529 source-printing fields of diagnostic_context.
530 (gfc_diagnostics_init): Likewise.
531 (gfc_diagnostics_finish): Likewise.
533 2023-09-29 Andre Vehreschild <vehre@gcc.gnu.org>
536 * trans-array.cc (structure_alloc_comps): Deref coarray.
537 (gfc_trans_deferred_array): Add freeing of components after
538 check for allocated coarray.
540 2023-09-24 Paul Thomas <pault@gcc.gnu.org>
544 * decl.cc (fix_initializer_charlen): New function broken out of
545 add_init_expr_to_sym.
546 (add_init_expr_to_sym, build_struct): Call the new function.
547 * trans-expr.cc (gfc_conv_intrinsic_to_class): Remove repeated
550 2023-09-23 Harald Anlauf <anlauf@gmx.de>
553 * class.cc (gfc_build_class_symbol): Do not try to build class
554 container for invalid typespec.
555 * resolve.cc (resolve_fl_var_and_proc): Prevent NULL pointer
557 (resolve_symbol): Likewise.
559 2023-09-19 Harald Anlauf <anlauf@gmx.de>
562 * trans-array.cc (trans_array_constructor): In absence of a typespec,
563 use string length determined by get_array_ctor_strlen() to reasonably
564 initialize auxiliary variable for bounds-checking.
566 2023-09-15 Harald Anlauf <anlauf@gmx.de>
569 * trans-array.cc (trans_array_bound_check): Add optional argument
570 COMPNAME for explicit specification of array component name.
571 (array_bound_check_elemental): Helper function for generating
572 bounds-checking code for elemental dimensions.
573 (gfc_conv_expr_descriptor): Use bounds-checking also for elemental
574 dimensions, i.e. those not handled by the scalarizer.
576 2023-09-15 Mikael Morin <mikael@gcc.gnu.org>
579 * gfortran.h (gfc_symbol): Add comment documenting reference counting.
580 * parse.cc (parse_interface): Remove reference count incrementation.
582 2023-09-12 Mikael Morin <mikael@gcc.gnu.org>
585 * gfortran.h (gfc_release_symbol): Set return type to bool.
586 * symbol.cc (gfc_release_symbol): Ditto. Return whether symbol was
588 (delete_symbol_from_ns): New, outline code from...
589 (gfc_restore_last_undo_checkpoint): ... here. Delete new symbols
590 from two more namespaces.
592 2023-09-09 Mikael Morin <mikael@gcc.gnu.org>
594 * bbt.cc (delete_treap): Add argument REMOVED, set it to the removed
595 element from the tree. Change NULL to nullptr.
596 (gfc_delete_bbt): Return the removed element from the tree.
597 * gfortran.h (gfc_delete_symtree): Remove prototype.
598 (gfc_delete_bbt): Set return type to pointer.
599 * symbol.cc (gfc_delete_symtree): Make static. Get the element to be
600 freed from the result of gfc_delete_bbt. Remove the preliminary walk to
603 2023-09-01 Harald Anlauf <anlauf@gmx.de>
606 * trans-array.cc (gfc_conv_ss_startstride): For array bounds checking,
607 consider also array constructors in expressions, and use their shape.
609 2023-08-31 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
611 * gfortran.texi: Likewise.
613 2023-08-30 Mikael Morin <mikael@gcc.gnu.org>
616 * gfortran.h (gfc_drop_interface_elements_before): New prototype.
617 (gfc_current_interface_head): Return a reference to the pointer.
618 * interface.cc (gfc_current_interface_head): Ditto.
619 (free_interface_elements_until): New function, generalizing
621 (gfc_free_interface): Use free_interface_elements_until.
622 (gfc_drop_interface_elements_before): New function.
624 (current_interface_ptr, previous_interface_head): New static variables.
625 (current_interface_valid_p, get_current_interface_ptr): New functions.
626 (decode_statement): Initialize previous_interface_head.
627 (reject_statement): Restore current interface pointer to point to
628 previous_interface_head.
630 2023-08-26 Paul Thomas <pault@gcc.gnu.org>
633 * trans-expr.cc (gfc_trans_arrayfunc_assign): Supply a missing
634 dereference for the call to gfc_deallocate_alloc_comp_no_caf.
636 2023-08-25 Sandra Loosemore <sandra@codesourcery.com>
638 * gfortran.h (struct gfc_namespace): Add omp_structured_block bit.
639 * openmp.cc: Include omp-api.h.
640 (resolve_omp_clauses): Consolidate inscan reduction clause conflict
642 (find_nested_loop_in_chain): New.
643 (find_nested_loop_in_block): New.
644 (gfc_resolve_omp_do_blocks): Set omp_current_do_collapse properly.
645 Handle imperfectly-nested loops when looking for nested omp scan.
646 Refactor to move inscan reduction clause conflict checking to
648 (gfc_resolve_do_iterator): Handle imperfectly-nested loops.
649 (struct icode_error_state): New.
650 (icode_code_error_callback): New.
651 (icode_expr_error_callback): New.
652 (diagnose_intervening_code_errors_1): New.
653 (diagnose_intervening_code_errors): New.
654 (make_structured_block): New.
655 (restructure_intervening_code): New.
656 (is_outer_iteration_variable): Do not assume loops are perfectly
658 (check_nested_loop_in_chain): New.
659 (check_nested_loop_in_block_state): New.
660 (check_nested_loop_in_block_symbol): New.
661 (check_nested_loop_in_block): New.
662 (expr_uses_intervening_var): New.
663 (is_intervening_var): New.
664 (expr_is_invariant): Do not assume loops are perfectly nested.
665 (resolve_omp_do): Handle imperfectly-nested loops.
666 * trans-stmt.cc (gfc_trans_block_construct): Generate
667 OMP_STRUCTURED_BLOCK if magic bit is set on block namespace.
669 2023-08-25 Harald Anlauf <anlauf@gmx.de>
672 * data.cc (get_array_index): Add bounds-checking code and return error
673 status. Overindexing will be allowed as an extension for -std=legacy
674 and generate an error in standard-conforming mode.
675 (gfc_assign_data_value): Use error status from get_array_index for
676 graceful error recovery.
678 2023-08-25 Uros Bizjak <ubizjak@gmail.com>
680 * match.cc (gfc_match_equivalence): Rename TRUE/FALSE to true/false.
681 * module.cc (check_access): Ditto.
682 * primary.cc (match_real_constant): Ditto.
683 * trans-array.cc (gfc_trans_allocate_array_storage): Ditto.
684 (get_array_ctor_strlen): Ditto.
685 * trans-common.cc (find_equivalence): Ditto.
686 (add_equivalences): Ditto.
688 2023-08-23 Harald Anlauf <anlauf@gmx.de>
691 * resolve.cc (is_non_constant_shape_array): Add forward declaration.
692 (resolve_common_vars): Diagnose automatic array object in COMMON.
693 (resolve_symbol): Prevent confusing follow-on error.
695 2023-08-22 Tobias Burnus <tobias@codesourcery.com>
697 * gfortran.h (enum gfc_omp_defaultmap_category):
698 Add OMP_DEFAULTMAP_CAT_ALL.
699 * openmp.cc (gfc_match_omp_clauses): Parse
701 * trans-openmp.cc (gfc_trans_omp_clauses): Handle it.
703 2023-08-22 Harald Anlauf <anlauf@gmx.de>
706 * data.cc (gfc_advance_section): Derive next index set and next offset
707 into DATA variable also for array references using vector sections.
708 Use auxiliary array to keep track of offsets into indexing vectors.
709 (gfc_get_section_index): Set up initial indices also for DATA variables
710 with array references using vector sections.
711 * data.h (gfc_get_section_index): Adjust prototype.
712 (gfc_advance_section): Likewise.
713 * resolve.cc (check_data_variable): Pass vector offsets.
715 2023-08-16 Harald Anlauf <anlauf@gmx.de>
718 * trans-expr.cc (conv_scalar_char_value): Use gfc_replace_expr to
719 avoid leaking replaced gfc_expr.
721 2023-08-15 Martin Jambor <mjambor@suse.cz>
722 Harald Anlauf <anlauf@gmx.de>
725 * resolve.cc (resolve_structure_cons): Check comp->ts is character
726 type before accessing stuff through comp->ts.u.cl.
728 2023-08-15 Chung-Lin Tang <cltang@codesourcery.com>
729 Thomas Schwinge <thomas@codesourcery.com>
731 * openmp.cc (OACC_DATA_CLAUSES): Add OMP_CLAUSE_DEFAULT.
733 2023-08-14 Mikael Morin <mikael@gcc.gnu.org>
737 * trans-types.cc (gfc_sym_type): Use a bare character type for length
738 one value character dummy arguments.
739 * trans-expr.cc (gfc_conv_string_parameter): Handle single character
741 (gfc_conv_procedure_call): Don't exclude interoperable kinds
742 from single character handling. For single character dummy arguments,
743 extend the existing handling of non-constant expressions to constant
746 2023-08-14 Mikael Morin <mikael@gcc.gnu.org>
748 * gfortran.h (gfc_length_one_character_type_p): New inline
750 * check.cc (is_c_interoperable): Use
751 gfc_length_one_character_type_p.
752 * decl.cc (verify_bind_c_sym): Same.
753 * trans-expr.cc (gfc_conv_procedure_call): Same.
755 2023-08-09 Steve Kargl <sgk@troutmask.apl.washington.edu>
758 * resolve.cc (resolve_types): Exclude contained procedures with
759 the artificial attribute from test for pureness.
761 2023-07-31 Chung-Lin Tang <cltang@codesourcery.com>
763 * openmp.cc (resolve_omp_clauses): Add checking requiring
764 OpenACC host_data construct to have an use_device clause.
766 2023-07-28 Harald Anlauf <anlauf@gmx.de>
769 * gfortran.texi: Clarify argument passing convention.
770 * trans-expr.cc (gfc_conv_procedure_call): Do not pass the character
771 length as hidden argument when the declared dummy argument is
774 2023-07-27 Tobias Burnus <tobias@codesourcery.com>
776 * openmp.cc (resolve_omp_target): Minor cleanup.
777 * parse.cc (decode_omp_directive): Find TARGET statement
778 also higher in the stack.
780 2023-07-26 Harald Anlauf <anlauf@gmx.de>
783 * resolve.cc (check_data_variable): Do not accept strings with
784 deferred length or non-constant length in a DATA statement.
785 Reject also substrings of string variables of non-constant length.
787 2023-07-25 Tobias Burnus <tobias@codesourcery.com>
791 * gfortran.h (gfc_omp_clauses): Add target_first_st_is_teams.
792 * parse.cc (parse_omp_structured_block): Set it if the first
793 statement in the structured block of a TARGET is TEAMS or
794 a combined/composite starting with TEAMS.
795 * openmp.cc (resolve_omp_target): Also show an error for
796 contains_teams_construct without target_first_st_is_teams.
798 2023-07-24 Tobias Burnus <tobias@codesourcery.com>
802 * gfortran.h (gfc_omp_clauses): Add contains_teams_construct.
803 * openmp.cc (resolve_omp_target): New; check for teams nesting.
804 (gfc_resolve_omp_directive): Call it.
805 * parse.cc (decode_omp_directive): Set contains_teams_construct
806 on enclosing ST_OMP_TARGET.
808 2023-07-20 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
810 * trans-intrinsic.cc (conv_intrinsic_ieee_comparison): Only
813 2023-07-20 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
815 * f95-lang.cc (gfc_init_builtin_functions): Add __builtin_iseqsig.
816 * trans-intrinsic.cc (conv_intrinsic_ieee_comparison): New
818 (gfc_conv_ieee_arithmetic_function): Handle IEEE comparisons.
820 2023-07-19 Tobias Burnus <tobias@codesourcery.com>
823 * trans-openmp.cc (gfc_nonrect_loop_expr): Accept all
825 (gfc_trans_omp_do): Likewise; use sign to determine
828 2023-07-17 Harald Anlauf <anlauf@gmx.de>
832 * trans-expr.cc (gfc_conv_procedure_call): For intrinsic procedures
833 whose result characteristics depends on the first argument and which
834 can be of type character, the character length will not be deferred.
836 2023-07-17 Tobias Burnus <tobias@codesoucery.com>
837 Chung-Lin Tang <cltang@codesourcery.com>
839 * dump-parse-tree.cc (show_omp_namelist, show_omp_clauses): Dump
840 uses_allocators clause.
841 * gfortran.h (gfc_free_omp_namelist): Add memspace_sym to u union
842 and traits_sym to u2 union.
843 (OMP_LIST_USES_ALLOCATORS): New enum value.
844 (gfc_free_omp_namelist): Add 'bool free_mem_traits_space' arg.
845 * match.cc (gfc_free_omp_namelist): Likewise.
846 * openmp.cc (gfc_free_omp_clauses, gfc_match_omp_variable_list,
847 gfc_match_omp_to_link, gfc_match_omp_doacross_sink,
848 gfc_match_omp_clause_reduction, gfc_match_omp_allocate,
849 gfc_match_omp_flush): Update call.
850 (gfc_match_omp_clauses): Likewise. Parse uses_allocators clause.
851 (gfc_match_omp_clause_uses_allocators): New.
852 (enum omp_mask2): Add new OMP_CLAUSE_USES_ALLOCATORS.
853 (OMP_TARGET_CLAUSES): Accept it.
854 (resolve_omp_clauses): Resolve uses_allocators clause
855 * st.cc (gfc_free_statement): Update gfc_free_omp_namelist call.
856 * trans-openmp.cc (gfc_trans_omp_clauses): Handle
857 OMP_LIST_USES_ALLOCATORS; fail with sorry unless predefined allocator.
858 (gfc_split_omp_clauses): Handle uses_allocators.
860 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
863 * trans.h (gfc_deallocate_with_status): Add class container
865 (gfc_deallocate_scalar_with_status): Ditto.
866 * trans.cc (gfc_deallocate_with_status): Add class container
867 argument and pass it down to gfc_add_finalize_call.
868 (gfc_deallocate_scalar_with_status): Same.
869 * trans-array.cc (structure_alloc_comps): Update caller.
870 * trans-stmt.cc (gfc_trans_deallocate): Ditto.
871 * trans-expr.cc (gfc_conv_procedure_call): Ditto. Pass
872 pre-evaluated class container argument if it's available.
874 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
877 * trans.h (gfc_add_finalizer_call): Add class container argument.
878 * trans.cc (gfc_add_finalizer_call): Ditto. Pass down new
879 argument to get_final_proc_ref, get_elem_size, get_var_desc,
881 (get_elem_size): Add class container argument.
882 Use provided class container if it's available.
883 (get_var_descr): Same.
885 (get_final_proc_ref): Same. Add boolean telling the class
886 container argument is used. Set it. Don't try to use
887 final_wrapper if class container argument was used.
889 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
891 * trans.cc (get_var_descr): Factor scalar descriptor generation.
893 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
895 * trans.cc (get_vptr): New function.
896 (gfc_add_finalizer_call): Move virtual table pointer evaluation
899 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
901 * trans.cc (get_var_descr): Remove argument ts. Use var->ts
903 (gfc_add_finalizer_call): Update caller.
905 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
907 * trans.cc (gfc_add_finalizer_call): Inline definition of
908 variable has_finalizer. Merge nested conditions.
910 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
912 * trans.cc (gfc_add_finalizer_call): Remove local variable
913 final_expr. Pass down expr to get_final_proc_ref and move
914 final procedure expression generation down to its one usage
915 in get_final_proc_ref.
916 (get_final_proc_ref): Add argument expr. Remove argument
917 final_wrapper. Recreate final_wrapper from expr.
919 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
921 * trans.cc (gfc_add_finalizer_call): Remove local variable
922 elem_size. Pass expression to get_elem_size and move the
923 element size expression generation close to its usage there.
924 (get_elem_size): Add argument expr, remove class_size argument
925 and rebuild it from expr. Remove ts argument and use the
926 type of expr instead.
928 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
930 * trans.cc (gfc_add_finalizer_call): Move pre and post code for
931 the final procedure pointer expression to the outer block.
932 Reuse the previously evaluated final procedure pointer
935 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
937 * trans.cc (gfc_add_finalizer_call): Add post code for desc_se
938 after the finalizer call. Add post code for final_se and
941 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
943 * trans.cc (gfc_build_final_call): Inline...
944 (gfc_add_finalizer_call): ... to its one caller.
946 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
948 * trans.cc (get_var_descr): New function.
949 (gfc_build_final_call): Outline the data reference descriptor
950 evaluation code to get_var_descr.
952 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
954 * trans.cc (get_elem_size): New function.
955 (gfc_build_final_call): Outline the element size evaluation
958 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
960 * trans.cc (get_final_proc_ref): New function.
961 (gfc_build_final_call): Outline the pointer evaluation code
962 to get_final_proc_ref.
964 2023-07-17 Mikael Morin <mikael@gcc.gnu.org>
966 * trans.cc (gfc_build_final_call): Remove commented assertion.
968 2023-07-14 Mikael Morin <mikael@gcc.gnu.org>
971 * trans.h (gfc_reset_vptr): Add class_container argument.
972 * trans-expr.cc (gfc_reset_vptr): Ditto. If a valid vptr can
973 be obtained through class_container argument, bypass evaluation
975 (gfc_conv_procedure_call): Wrap the argument evaluation code
976 in a conditional if the associated dummy is optional. Evaluate
977 the data reference to a pointer now, and replace later
978 references with usage of the pointer.
980 2023-07-14 Mikael Morin <mikael@gcc.gnu.org>
983 * trans.h (struct gfc_se): New field class_container.
984 (struct gfc_ss_info): Ditto.
985 (gfc_evaluate_data_ref_now): New prototype.
986 * trans.cc (gfc_evaluate_data_ref_now): Implement it.
987 * trans-array.cc (gfc_conv_ss_descriptor): Copy class_container
988 field from gfc_se struct to gfc_ss_info struct.
989 (gfc_conv_expr_descriptor): Copy class_container field from
990 gfc_ss_info struct to gfc_se struct.
991 * trans-expr.cc (gfc_conv_class_to_class): Use class container
992 set in class_container field if available.
993 (gfc_conv_variable): Set class_container field on encountering
994 class variables or components, clear it on encountering
995 non-class components.
996 (gfc_conv_procedure_call): Evaluate data ref to a pointer now,
997 and replace later references by usage of the pointer.
999 2023-07-14 Mikael Morin <mikael@gcc.gnu.org>
1002 * trans-expr.cc (gfc_conv_procedure_call): Use a separate gfc_se
1003 struct, initalized from parmse, to generate the class wrapper.
1004 After the class wrapper code has been generated, copy it back
1005 depending on whether parameter deallocation code has been
1008 2023-07-13 Mikael Morin <mikael@gcc.gnu.org>
1011 * symbol.cc (gfc_restore_last_undo_checkpoint): Release symbols
1014 2023-07-12 Andre Vehreschild <vehre@gcc.gnu.org>
1017 * expr.cc (find_inquiry_ref): Replace len of pdt_string by
1019 (simplify_ref_chain): Ensure input to find_inquiry_ref is
1021 (gfc_match_init_expr): Prevent PDT analysis for function calls.
1022 (gfc_pdt_find_component_copy_initializer): Get the initializer
1023 value for given component.
1024 * gfortran.h (gfc_pdt_find_component_copy_initializer): New
1026 * simplify.cc (gfc_simplify_len): Replace len() of PDT with pdt
1027 component ref or constant.
1029 2023-07-11 Harald Anlauf <anlauf@gmx.de>
1032 * symbol.cc (gfc_copy_formal_args_intr): When deriving the formal
1033 argument attributes from the actual ones for intrinsic procedure
1034 calls, take special care of CHARACTER arguments that we do not
1035 wrongly treat them formally as deferred-length.
1037 2023-07-08 Steve Kargl <sgk@troutmask.apl.washington.edu>
1041 * match.cc (gfc_match_namelist): Check for host associated or
1042 defined types before applying default type.
1043 (gfc_match_select_rank): Apply default type to selector of
1044 unknown type if possible.
1045 * resolve.cc (resolve_fl_variable): Do not apply local default
1046 initialization to assumed rank entities.
1048 2023-07-08 Harald Anlauf <anlauf@gmx.de>
1049 Steven G. Kargl <kargl@gcc.gnu.org>
1052 * trans-expr.cc (gfc_conv_procedure_call): Check procedures for
1053 allocatable dummy arguments with INTENT(OUT) and move deallocation
1054 of actual arguments after evaluation of argument expressions before
1055 the procedure is executed.
1057 2023-07-08 Harald Anlauf <anlauf@gmx.de>
1060 * arith.cc (gfc_compare_expr): Handle equality comparison of constant
1061 complex gfc_expr arguments.
1063 2023-07-05 Robin Dapp <rdapp@ventanamicro.com>
1064 Juzhe-Zhong <juzhe.zhong@rivai.ai>
1066 * trans-types.cc (gfc_type_for_mode): Ditto.
1068 2023-06-28 Harald Anlauf <anlauf@gmx.de>
1071 * trans-expr.cc (gfc_conv_procedure_call): For non-constant string
1072 argument passed to CHARACTER(LEN=1),VALUE dummy, ensure proper
1073 dereferencing and truncation of string to length 1.
1075 2023-06-28 Paul Thomas <pault@gcc.gnu.org>
1078 * expr.cc (gfc_is_ptr_fcn): Remove reference to class_pointer.
1079 * resolve.cc (resolve_assoc_var): Call gfc_is_ptr_fcn to allow
1080 associate names with pointer function targets to be used in
1081 variable definition context.
1082 * trans-decl.cc (get_symbol_decl): Remove extraneous line.
1083 * trans-expr.cc (alloc_scalar_allocatable_subcomponent): Obtain
1084 size of intrinsic and character expressions.
1085 (gfc_trans_subcomponent_assign): Expand assignment to class
1086 components to include intrinsic and character expressions.
1088 2023-06-24 Harald Anlauf <anlauf@gmx.de>
1091 * trans-expr.cc (gfc_conv_procedure_call): Truncate constant string
1092 argument of length > 1 passed to scalar CHARACTER(1),VALUE dummy.
1094 2023-06-23 Harald Anlauf <anlauf@gmx.de>
1097 * trans-expr.cc (gfc_conv_procedure_call): Pass actual argument
1098 to scalar CHARACTER(1),VALUE dummy argument by value.
1100 2023-06-21 Paul Thomas <pault@gcc.gnu.org>
1107 * decl.cc (char_len_param_value): Fix memory leak.
1108 (resolve_block_construct): Remove unnecessary static decls.
1109 * expr.cc (gfc_is_ptr_fcn): New function.
1110 (gfc_check_vardef_context): Use it to permit pointer function
1111 result selectors to be used for associate names in variable
1113 * gfortran.h: Prototype for gfc_is_ptr_fcn.
1114 * match.cc (build_associate_name): New function.
1115 (gfc_match_select_type): Use the new function to replace inline
1116 version and to build a new associate name for the case where
1117 the supplied associate name is already used for that purpose.
1118 * resolve.cc (resolve_assoc_var): Call gfc_is_ptr_fcn to allow
1119 associate names with pointer function targets to be used in
1120 variable definition context.
1121 * trans-decl.cc (gfc_get_symbol_decl): Unlimited polymorphic
1122 variables need deferred initialisation of the vptr.
1123 (gfc_trans_deferred_vars): Do the vptr initialisation.
1124 * trans-stmt.cc (trans_associate_var): Ensure that a pointer
1125 associate name points to the target of the selector and not
1126 the selector itself.
1128 2023-06-21 Paul Thomas <pault@gcc.gnu.org>
1131 * trans-expr.cc (gfc_conv_procedure_call): The hidden string
1132 length must not be passed to a formal arg of type(cptr).
1134 2023-06-20 Tobias Burnus <tobias@codesourcery.com>
1136 * dump-parse-tree.cc (show_omp_namelist): Fix dump of the allocator
1137 modifier of OMP_LIST_ALLOCATE.
1139 2023-06-20 Tobias Burnus <tobias@codesourcery.com>
1141 * match.cc (gfc_match_char): Match with '%S' a symbol
1142 with host_assoc = 1.
1144 2023-06-19 Tobias Burnus <tobias@codesourcery.com>
1146 * intrinsic.texi (OpenMP Modules OMP_LIB and OMP_LIB_KINDS): Also
1147 add references to the OpenMP 5.1 and 5.2 spec; add omp_initial_device
1148 and omp_invalid_device named constants.
1150 2023-06-13 Harald Anlauf <anlauf@gmx.de>
1151 Mikael Morin <mikael@gcc.gnu.org>
1154 * trans-array.cc (gfc_trans_allocate_array_storage): When passing a
1155 zero-sized array with fixed (= non-dynamic) size, allocate temporary
1156 by the caller, not by the callee.
1158 2023-06-10 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1160 * f95-lang.cc (gfc_init_builtin_functions): Add fmax() and
1161 fmin() built-ins, and their variants.
1162 * mathbuiltins.def: Add FMAX and FMIN built-ins.
1163 * trans-intrinsic.cc (conv_intrinsic_ieee_minmax): New function.
1164 (gfc_conv_ieee_arithmetic_function): Handle IEEE_MIN_NUM and
1165 IEEE_MAX_NUM functions.
1167 2023-06-09 Jakub Jelinek <jakub@redhat.com>
1170 * primary.cc (gfc_convert_to_structure_constructor): Only do
1171 constant string ctor length verification and truncation/padding
1172 if constant length has INTEGER type.
1174 2023-06-08 Paul Thomas <pault@gcc.gnu.org>
1180 * decl.cc (char_len_param_value): Simplify a copy of the expr
1181 and replace the original if there is no error.
1182 * gfortran.h : Remove the redundant field 'rankguessed' from
1183 'gfc_association_list'.
1184 * resolve.cc (resolve_assoc_var): Remove refs to 'rankguessed'.
1185 (resolve_variable): Associate names with constant or structure
1186 constructor targets cannot have array refs.
1187 * trans-array.cc (gfc_conv_expr_descriptor): Guard expression
1188 character length backend decl before using it. Suppress the
1189 assignment if lhs equals rhs.
1190 * trans-io.cc (gfc_trans_transfer): Scalarize transfer of
1191 associate variables pointing to a variable. Add comment.
1192 * trans-stmt.cc (trans_associate_var): Remove requirement that
1193 the character length be deferred before assigning the value
1194 returned by gfc_conv_expr_descriptor. Also, guard the backend
1195 decl before testing with VAR_P.
1197 2023-06-06 Kwok Cheung Yeung <kcy@codesourcery.com>
1198 Tobias Burnus <tobias@codesourcery.com>
1200 * dump-parse-tree.cc (show_omp_namelist): Display 'present' map
1202 (show_omp_clauses): Display 'present' motion modifier for 'to'
1204 * gfortran.h (enum gfc_omp_map_op): Add entries with 'present'
1206 (struct gfc_omp_namelist): Add 'present_modifer'.
1207 * openmp.cc (gfc_match_motion_var_list): New, handles optional
1208 'present' modifier for to/from clauses.
1209 (gfc_match_omp_clauses): Call it for to/from clauses; parse 'present'
1210 in defaultmap and map clauses.
1211 (resolve_omp_clauses): Allow 'present' modifiers on 'target',
1212 'target data', 'target enter' and 'target exit' directives.
1213 * trans-openmp.cc (gfc_trans_omp_clauses): Apply 'present' modifiers
1214 to tree node for 'map', 'to' and 'from' clauses. Apply 'present' for
1217 2023-06-02 Steve Kargl <kargl@gcc.gnu.org>
1220 * resolve.cc (resolve_select_rank): Remove duplicate error.
1221 (resolve_fl_var_and_proc): Prevent NULL pointer dereference and
1222 suppress error message for temporary.
1224 2023-06-02 Paul Thomas <pault@gcc.gnu.org>
1227 * parse.cc (parse_associate): Replace the existing evaluation
1228 of the target rank with calls to gfc_resolve_ref and
1229 gfc_expression_rank. Identify untyped target function results
1230 with structure constructors by finding the appropriate derived
1232 * resolve.cc (resolve_symbol): Allow associate variables to be
1235 2023-06-01 Harald Anlauf <anlauf@gmx.de>
1238 * decl.cc (gfc_match_kind_spec): Use error path on missing right
1240 (gfc_match_decl_type_spec): Use error return when an error occurred
1241 during matching a KIND specifier.
1243 2023-06-01 Tobias Burnus <tobias@codesourcery.com>
1245 * parse.cc (decode_omp_directive): Accept all pure directives
1246 inside a PURE procedures; handle 'error at(execution).
1248 2023-05-26 Tobias Burnus <tobias@codesourcery.com>
1250 * dump-parse-tree.cc (show_omp_namelist): Update allocator, fix
1252 (show_omp_node, show_code_node): Handle EXEC_OMP_ALLOCATE.
1253 * gfortran.h (enum gfc_statement): Add ST_OMP_ALLOCATE and ..._EXEC.
1254 (enum gfc_exec_op): Add EXEC_OMP_ALLOCATE.
1255 (struct gfc_omp_namelist): Add 'allocator' to 'u2' union.
1256 (struct gfc_namespace): Add omp_allocate.
1257 (gfc_resolve_omp_allocate): New.
1258 * match.cc (gfc_free_omp_namelist): Free 'u2.allocator'.
1259 * match.h (gfc_match_omp_allocate, gfc_match_omp_allocators): New.
1260 * openmp.cc (gfc_omp_directives): Uncomment allocate/allocators.
1261 (gfc_match_omp_variable_list): Add bool arg for
1262 rejecting listening common-block vars separately.
1263 (gfc_match_omp_clauses): Update for u2.allocators.
1264 (OMP_ALLOCATORS_CLAUSES, gfc_match_omp_allocate,
1265 gfc_match_omp_allocators, is_predefined_allocator,
1266 gfc_resolve_omp_allocate): New.
1267 (resolve_omp_clauses): Update 'allocate' clause checks.
1268 (omp_code_to_statement, gfc_resolve_omp_directive): Handle
1269 OMP ALLOCATE/ALLOCATORS.
1270 * parse.cc (in_exec_part): New global var.
1271 (check_omp_allocate_stmt, parse_openmp_allocate_block): New.
1272 (decode_omp_directive, case_exec_markers, case_omp_decl,
1273 gfc_ascii_statement, parse_omp_structured_block): Handle
1274 OMP allocate/allocators.
1275 (verify_st_order, parse_executable): Set in_exec_part.
1276 * resolve.cc (gfc_resolve_blocks, resolve_codes): Handle
1277 allocate/allocators.
1278 * st.cc (gfc_free_statement): Likewise.
1279 * trans.cc (trans_code): Likewise.
1280 * trans-openmp.cc (gfc_trans_omp_directive): Likewise.
1281 (gfc_trans_omp_clauses, gfc_split_omp_clauses): Update for
1282 u2.allocator, fix for u.align.
1284 2023-05-24 Harald Anlauf <anlauf@gmx.de>
1287 * simplify.cc (simplify_size): Reject DIM argument of intrinsic SIZE
1288 with error when out of valid range.
1290 2023-05-24 Harald Anlauf <anlauf@gmx.de>
1293 * check.cc (gfc_check_reshape): Expand constant arguments SHAPE and
1294 ORDER before checking.
1295 * gfortran.h (gfc_is_constant_array_expr): Add prototype.
1296 * iresolve.cc (gfc_resolve_reshape): Expand constant argument SHAPE.
1297 * simplify.cc (is_constant_array_expr): If array is determined to be
1298 constant, expand small array constructors if needed.
1299 (gfc_is_constant_array_expr): Wrapper for is_constant_array_expr.
1300 (gfc_simplify_reshape): Fix check for insufficient elements in SOURCE
1301 when no padding specified.
1303 2023-05-23 Paul Thomas <pault@gcc.gnu.org>
1306 * resolve.cc (gfc_resolve_ref): Conversion of array_ref into an
1307 element should be done for all characters without a len expr,
1308 not just deferred lens, and for integer expressions.
1309 * trans-expr.cc (conv_inquiry): For len and kind inquiry refs,
1310 set the se string_length to NULL_TREE.
1312 2023-05-23 Paul Thomas <pault@gcc.gnu.org>
1313 Steven G. Kargl <kargl@gcc.gnu.org>
1316 * decl.cc (variable_decl): Clean up white space issues.
1317 (gfc_match_final_decl): Declaration of finalizable derived type
1318 is allowed in a submodule.
1320 2023-05-19 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1322 * expr.cc (gfc_get_corank): Use CLASS_DATA from gfortran.h.
1323 * resolve.cc (resolve_component): Same.
1324 (resolve_fl_derived0): Same.
1325 * simplify.cc (gfc_simplify_extends_type_of): Same.
1326 (simplify_cobound): Same.
1328 2023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1330 * trans-array.cc (is_pointer_array): Use _P() defines from tree.h.
1331 (gfc_conv_scalarized_array_ref): Ditto.
1332 (gfc_conv_array_ref): Ditto.
1333 * trans-decl.cc (gfc_finish_decl): Ditto.
1334 (gfc_get_symbol_decl): Ditto.
1335 * trans-expr.cc (gfc_trans_pointer_assignment): Ditto.
1336 (gfc_trans_arrayfunc_assign): Ditto.
1337 (gfc_trans_assignment_1): Ditto.
1338 * trans-intrinsic.cc (gfc_conv_intrinsic_minmax): Ditto.
1339 (conv_intrinsic_ieee_value): Ditto.
1340 * trans-io.cc (gfc_convert_array_to_string): Ditto.
1341 * trans-openmp.cc (gfc_omp_is_optional_argument): Ditto.
1342 (gfc_trans_omp_clauses): Ditto.
1343 * trans-stmt.cc (gfc_conv_label_variable): Ditto.
1344 * trans.cc (gfc_build_addr_expr): Ditto.
1345 (get_array_span): Ditto.
1347 2023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1350 * array.cc (compare_bounds): Use narrower return type.
1351 (gfc_compare_array_spec): Likewise.
1352 (is_constant_element): Likewise.
1353 (gfc_constant_ac): Likewise.
1354 * check.cc (dim_rank_check): Likewise.
1355 * cpp.cc (gfc_cpp_init_options): Likewise.
1356 (dump_macro): Likewise.
1357 * cpp.h (gfc_cpp_handle_option): Likewise.
1358 * dependency.cc (gfc_ref_needs_temporary_p): Likewise.
1359 (gfc_check_argument_dependency): Likewise.
1360 (gfc_check_fncall_dependency): Likewise.
1361 (ref_same_as_full_array): Likewise.
1362 * dependency.h (gfc_check_fncall_dependency): Likewise.
1363 (gfc_dep_resolver): Likewise.
1364 (gfc_are_equivalenced_arrays): Likewise.
1365 * expr.cc (gfc_copy_ref): Likewise.
1366 (gfc_kind_max): Likewise.
1367 (numeric_type): Likewise.
1368 * gfortran.h (gfc_at_end): Likewise.
1369 (gfc_at_eof): Likewise.
1370 (gfc_at_bol): Likewise.
1371 (gfc_at_eol): Likewise.
1372 (gfc_define_undef_line): Likewise.
1373 (gfc_wide_is_printable): Likewise.
1374 (gfc_wide_is_digit): Likewise.
1375 (gfc_wide_fits_in_byte): Likewise.
1376 (gfc_find_sym_tree): Likewise.
1377 (gfc_generic_intrinsic): Likewise.
1378 (gfc_specific_intrinsic): Likewise.
1379 (gfc_intrinsic_actual_ok): Likewise.
1380 (gfc_has_vector_index): Likewise.
1381 (gfc_numeric_ts): Likewise.
1382 (gfc_impure_variable): Likewise.
1383 (gfc_pure): Likewise.
1384 (gfc_implicit_pure): Likewise.
1385 (gfc_elemental): Likewise.
1386 (gfc_pure_function): Likewise.
1387 (gfc_implicit_pure_function): Likewise.
1388 (gfc_compare_array_spec): Likewise.
1389 (gfc_constant_ac): Likewise.
1390 (gfc_expanded_ac): Likewise.
1391 (gfc_check_digit): Likewise.
1392 * intrinsic.cc (gfc_find_subroutine): Likewise.
1393 (gfc_generic_intrinsic): Likewise.
1394 (gfc_specific_intrinsic): Likewise.
1395 * io.cc (compare_to_allowed_values): Likewise. And remove
1396 unneeded forward declaration.
1397 * parse.cc: Likewise.
1398 * parse.h (gfc_check_do_variable): Likewise.
1399 * primary.cc (gfc_check_digit): Likewise.
1400 * resolve.cc (resolve_structure_cons): Likewise.
1401 (pure_stmt_function): Likewise.
1402 (gfc_pure_function): Likewise.
1403 (impure_stmt_fcn): Likewise.
1404 (resolve_forall_iterators): Likewise.
1405 (resolve_data): Likewise.
1406 (gfc_impure_variable): Likewise.
1407 (gfc_pure): Likewise.
1408 (gfc_unset_implicit_pure): Likewise.
1409 * scanner.cc (wide_is_ascii): Likewise.
1410 (gfc_wide_toupper): Likewise.
1411 (gfc_open_included_file): Likewise.
1412 (gfc_at_end): Likewise.
1413 (gfc_at_eof): Likewise.
1414 (gfc_at_bol): Likewise.
1415 (skip_comment_line): Likewise.
1416 (gfc_gobble_whitespace): Likewise.
1417 * symbol.cc (gfc_find_symtree_in_proc): Likewise.
1418 * trans-array.cc: Likewise.
1419 * trans-decl.cc (gfc_set_decl_assembler_name): Likewise.
1420 * trans-types.cc (gfc_get_element_type): Likewise.
1421 (gfc_add_field_to_struct): Likewise.
1422 * trans-types.h (gfc_copy_dt_decls_ifequal): Likewise.
1423 (gfc_return_by_reference): Likewise.
1424 (gfc_is_nodesc_array): Likewise.
1425 * trans.h (gfc_can_put_var_on_stack): Likewise.
1427 2023-05-17 Harald Anlauf <anlauf@gmx.de>
1431 * decl.cc (add_init_expr_to_sym): Set shape of initializer also for
1432 zero-sized arrays, so that bounds violations can be detected later.
1434 2023-05-17 Tobias Burnus <tobias@codesourcery.com>
1436 * trans-decl.cc (gfc_get_symbol_decl): Add attributes
1437 such as 'declare target' also to hidden artificial
1438 variable for deferred-length character variables.
1439 * trans-openmp.cc (gfc_trans_omp_array_section,
1440 gfc_trans_omp_clauses, gfc_trans_omp_target_exit_data):
1441 Improve mapping of array descriptors and deferred-length
1444 2023-05-16 Paul Thomas <pault@gcc.gnu.org>
1452 * interface.cc (gfc_compare_actual_formal): Emit an error if an
1453 unlimited polymorphic actual is not matched either to an
1454 unlimited or assumed type formal argument.
1455 * resolve.cc (resolve_ordinary_assign): Emit an error if the
1456 var expression of an ordinary assignment is a proc pointer
1458 * trans-array.cc (gfc_walk_array_ref): Provide assumed shape
1459 arrays coming from interface mapping with a viable arrayspec.
1460 * trans-expr.cc (gfc_conv_intrinsic_to_class): Tidy up flagging
1461 of unlimited polymorphic 'class_ts'.
1462 (gfc_conv_gfc_desc_to_cfi_desc): Assumed type is unlimited
1463 polymorphic and should accept any actual type.
1464 (gfc_conv_procedure_call): Replace dreadful kludge with a call
1465 to gfc_finalize_tree_expr. Avoid dereferencing a void pointer
1466 by giving it the pointer type of the actual argument.
1467 (alloc_scalar_allocatable_subcomponent): Shorten the function
1468 name and replace the symbol argument with the se string length.
1469 If a deferred length character length is either not present or
1470 is not a variable, give the typespec a variable and assign the
1471 string length to that. Use gfc_deferred_strlen to find the
1472 hidden string length component.
1473 (gfc_trans_subcomponent_assign): Convert the expression before
1474 the call to alloc_scalar_allocatable_subcomponent so that a
1475 good string length is provided.
1476 (gfc_trans_structure_assign): Remove the unneeded derived type
1477 symbol from calls to gfc_trans_subcomponent_assign.
1479 2023-05-15 Harald Anlauf <anlauf@gmx.de>
1482 * expr.cc (gfc_check_vardef_context): Check appropriate pointer
1483 attribute for CLASS vs. non-CLASS function result in variable
1486 2023-05-11 Xi Ruoyao <xry111@xry111.site>
1488 * Make-lang.in: Use grep instead of fgrep.
1490 2023-05-10 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1492 * dump-parse-tree.cc (gfc_debug_expr): Remove forward declaration.
1493 (debug): Add DEBUG_FUNCTION.
1494 (show_code_node): Remove erroneous whitespace.
1496 2023-05-10 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1499 * dump-parse-tree.cc (debug): New function for gfc_namespace.
1500 (gfc_debug_code): Delete forward declaration.
1501 (show_attr): Make sure to print balanced braces.
1503 2023-05-08 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1505 * resolve.cc (resolve_select_type): Fix coding style.
1507 2023-05-08 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1509 * resolve.cc (resolve_select_type): Call free() unconditionally.
1511 2023-05-08 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
1514 * expr.cc (find_array_section): Fix mpz memory leak.
1515 * simplify.cc (gfc_simplify_reshape): Fix mpz memory leaks in
1518 2023-05-05 Harald Anlauf <anlauf@gmx.de>
1521 * arith.cc (eval_intrinsic): Check conformability of ranks of operands
1522 for intrinsic binary operators before performing type conversions.
1523 * gfortran.h (gfc_op_rank_conformable): Add prototype.
1524 * resolve.cc (resolve_operator): Check conformability of ranks of
1525 operands for intrinsic binary operators before performing type
1527 (gfc_op_rank_conformable): New helper function to compare ranks of
1528 operands of binary operator.
1530 2023-05-04 Julian Brown <julian@codesourcery.com>
1533 * openmp.cc (resolve_omp_clauses): Add diagnostic for
1534 non-pointer/non-allocatable attach/detach.
1535 * trans-openmp.cc (gfc_trans_omp_clauses): Remove dereference for
1536 pointer-to-scalar derived type component attach/detach. Fix
1537 attach/detach handling for descriptors.
1539 2023-04-28 Julian Brown <julian@codesourcery.com>
1542 * trans-openmp.cc (gfc_trans_omp_clauses): Attach/detach clause fixes.
1544 2023-04-28 Tobias Burnus <tobias@codesourcery.com>
1546 * gfortran.texi: Fix typos.
1547 * decl.cc: Fix typos in comments and in a variable name.
1548 * arith.cc: Fix comment typos.
1549 * check.cc: Likewise.
1550 * class.cc: Likewise.
1551 * dependency.cc: Likewise.
1552 * expr.cc: Likewise.
1553 * frontend-passes.cc: Likewise.
1554 * gfortran.h: Likewise.
1555 * intrinsic.cc: Likewise.
1556 * iresolve.cc: Likewise.
1557 * match.cc: Likewise.
1558 * module.cc: Likewise.
1559 * primary.cc: Likewise.
1560 * resolve.cc: Likewise.
1561 * simplify.cc: Likewise.
1562 * trans-array.cc: Likewise.
1563 * trans-decl.cc: Likewise.
1564 * trans-expr.cc: Likewise.
1565 * trans-intrinsic.cc: Likewise.
1566 * trans-openmp.cc: Likewise.
1567 * trans-stmt.cc: Likewise.
1569 2023-04-25 Tobias Burnus <tobias@codesourcery.com>
1571 * openmp.cc (gfc_resolve_omp_do_blocks): Handle zero
1572 or more than one exec statements before/after 'omp scan'.
1573 * trans-openmp.cc (gfc_trans_omp_do): Likewise.
1575 2023-04-22 Harald Anlauf <anlauf@gmx.de>
1576 Steven G. Kargl <kargl@gcc.gnu.org>
1579 * interface.cc (gfc_compare_actual_formal): Reject allocatable
1580 functions being used as actual argument for allocable dummy.
1582 2023-04-14 Harald Anlauf <anlauf@gmx.de>
1585 * simplify.cc (gfc_simplify_set_exponent): Fix implementation of
1586 compile-time simplification of intrinsic SET_EXPONENT for argument
1587 X < 1 and for I < 0.
1589 2023-04-14 Paul Thomas <pault@gcc.gnu.org>
1592 * gfortran.h : Add expr3_not_explicit bit field to gfc_code.
1593 * resolve.cc (resolve_allocate_expr): Set bit field when the
1594 default initializer is applied to expr3.
1595 * trans-stmt.cc (gfc_trans_allocate): If expr3_not_explicit is
1596 set, do not deallocate expr3.
1598 2023-04-13 Harald Anlauf <anlauf@gmx.de>
1601 * trans-expr.cc (gfc_conv_power_op): Use absu_hwi and
1602 unsigned HOST_WIDE_INT for portability.
1604 2023-04-12 Harald Anlauf <anlauf@gmx.de>
1607 * resolve.cc (resolve_entries): Handle functions with ENTRY and
1608 ALLOCATABLE results.
1609 * trans-expr.cc (gfc_conv_procedure_call): Functions with a result
1610 with the POINTER or ALLOCATABLE attribute shall not get any special
1611 treatment with -ff2c, as they cannot be written in Fortran 77.
1612 * trans-types.cc (gfc_return_by_reference): Likewise.
1613 (gfc_get_function_type): Likewise.
1615 2023-04-12 Harald Anlauf <anlauf@gmx.de>
1619 * interface.cc (compare_parameter): Enable type and rank checks for
1620 arguments of derived type from the intrinsic module ISO_C_BINDING.
1622 2023-04-08 Paul Thomas <pault@gcc.gnu.org>
1625 * iresolve.cc (gfc_resolve_adjustl, gfc_resolve_adjustr): if
1626 string length is deferred use the string typespec for result.
1627 * resolve.cc (resolve_assoc_var): Handle parentheses around the
1629 (resolve_block_construct): Remove unnecessary static decls.
1630 * trans-array.cc (gfc_conv_expr_descriptor): Guard string len
1631 expression in condition. Improve handling of string length and
1632 span, especially for substrings of the descriptor.
1633 (duplicate_allocatable): Make element type more explicit with
1635 * trans-decl.cc (gfc_get_symbol_decl): Emit a fatal error with
1636 appropriate message instead of ICE if symbol type is unknown.
1637 (gfc_generate_function_code): Set current locus to proc_sym
1639 * trans-expr.cc (gfc_get_expr_charlen): Retain last charlen in
1640 'previous' and use if end expression in substring reference is
1642 (gfc_conv_string_length): Use gfc_conv_expr_descriptor if
1643 'expr_flat' is an array. Add post block to catch deallocation
1645 (gfc_conv_procedure_call): Assign the parmse string length to
1646 the expression string length, if it is deferred.
1647 (gfc_trans_alloc_subarray_assign): If this is a deferred string
1648 length component, store the string length in the hidden comp.
1649 Update the typespec length accordingly. Generate a new type
1650 spec for the call to gfc_duplicate-allocatable in this case.
1651 * trans-io.cc (gfc_trans_transfer): Scalarize transfer of
1652 deferred character array components.
1654 2023-04-04 Harald Anlauf <anlauf@gmx.de>
1657 * expr.cc (check_restricted): Adjust check for valid variables in
1658 restricted expressions: make no exception for module variables.
1660 2023-04-01 Thomas Koenig <tkoenig@gcc.gnu.org>
1662 * dump-parse-tree.cc (get_c_type_name): Fix "long_long"
1663 type name to be "long long".
1665 2023-03-30 Andrew Pinski <apinski@marvell.com>
1667 * dump-parse-tree.cc (get_c_type_name): Fix "long_long"
1668 type name to be "long long". Add a comment on why adding
1671 2023-03-28 Jakub Jelinek <jakub@redhat.com>
1674 * openmp.cc (gfc_omp_absent_contains_clause): Fix typo in diagnostics
1675 - composit -> composite.
1677 2023-03-25 Harald Anlauf <anlauf@gmx.de>
1680 * trans-decl.cc (gfc_conv_cfi_to_gfc): Remove dead code.
1682 2023-03-24 Harald Anlauf <anlauf@gmx.de>
1684 * expr.cc (free_expr0): Free also BOZ strings as part of an expression.
1686 2023-03-24 Haochen Gui <guihaoc@gcc.gnu.org>
1687 Tobias Burnus <tobias@codesourcery.com>
1690 * target-memory.cc (gfc_interpret_float): Return FAIL when
1691 native_interpret_expr gets a NULL tree.
1692 * arith.cc (gfc_hollerith2real): Return NULL when
1693 gfc_interpret_float fails.
1694 * error.cc (gfc_buffered_p): Define.
1695 * gfortran.h (gfc_buffered_p): Declare.
1696 * intrinsic.cc: Add diagnostic.h to include list.
1697 (do_simplify): Save errorcount and check it at finish. Report a
1698 "Cannot simplify expression" error on a bad result if error count
1699 doesn't change and no other errors buffered.
1701 2023-03-22 Harald Anlauf <anlauf@gmx.de>
1702 Steven G. Kargl <kargl@gcc.gnu.org>
1705 * resolve.cc (gfc_resolve_finalizers): Argument of a FINAL subroutine
1706 cannot be an alternate return.
1708 2023-03-21 Harald Anlauf <anlauf@gmx.de>
1711 * decl.cc (gfc_match_modproc): Reject MODULE PROCEDURE if not in a
1712 generic module interface.
1714 2023-03-21 Arsen Arsenović <arsen@aarsen.me>
1716 * invoke.texi: Remove usages of @gol.
1717 * intrinsic.texi: Ditto.
1719 2023-03-21 Paul Thomas <pault@gcc.gnu.org>
1722 * trans-array.cc (gfc_trans_array_constructor_value): Correct
1723 incorrect setting of typespec.
1725 2023-03-21 Paul Thomas <pault@gcc.gnu.org>
1728 * resolve.cc (generate_component_assignments): Restore the
1729 exclusion of allocatable components from the loop.
1731 2023-03-20 Harald Anlauf <anlauf@gmx.de>
1734 * invoke.texi: Correct documentation of how underscores are appended
1737 2023-03-20 Harald Anlauf <anlauf@gmx.de>
1740 * simplify.cc (gfc_simplify_nearest): Fix off-by-one error in setting
1741 up real kind-specific maximum exponent for mpfr.
1743 2023-03-20 Paul Thomas <pault@gcc.gnu.org>
1746 * resolve.cc (check_host_association): If an external function
1747 is typed but not declared explicitly to be external, change the
1748 old symbol from a variable to an external function.
1750 2023-03-19 Harald Anlauf <anlauf@gmx.de>
1753 * resolve.cc (resolve_fl_procedure): Check for an explicit interface
1754 of procedures with the BIND(C) attribute (F2018:15.4.2.2).
1756 2023-03-19 Thomas Koenig <tkoenig@gcc.gnu.org>
1758 * gfortran.texi: Mention behavior on overflow.
1760 2023-03-18 Paul Thomas <pault@gcc.gnu.org>
1765 * class.cc (finalize_component): Include the missing arguments
1766 in the call to the component's finalizer wrapper.
1767 (has_finalizer_component): Do not return true for procedure
1769 (finalizer_insert_packed_call): Remove the redundant argument
1770 in the call to the final subroutine.
1771 (generate_finalization_wrapper): Add support for assumed rank
1773 (gfc_may_be_finalized): New helper function.
1774 * dump-parse-tree.cc (write_proc): Whitespace.
1775 * gfortran.h : Add prototype for gfc_may_be_finalized.
1776 * resolve.cc (resolve_function): Correct derived types that
1777 have an incomplete namespace.
1778 (resolve_where, gfc_resolve_where_code_in_forall,
1779 gfc_resolve_forall_body, gfc_resolve_code): Check that the op
1780 code is still EXEC_ASSIGN. If it is set lhs to must finalize.
1781 (is_finalizable_type): New function.
1782 (generate_component_assignments): Set must_finalize if needed.
1783 (gfc_resolve_finalizers): Error if assumed rank finalizer is
1784 not the only one. Warning on lack of scalar finalizer modified
1785 to account for assumed rank finalizers.
1786 (generate_final_call): New function.
1787 (generate_component_assignments): Enclose the outermost call in
1788 a block to capture automatic deallocation and final calls.
1789 Set must_finalize as required to satisfy the standards. Use an
1790 explicit pointer assignment for pointer components to capture
1791 finalization of the target. Likewise use explicit assignment
1792 for allocatable components. Do not use the temporary copy of
1793 the lhs in defined assignment if the component is allocatable.
1794 Put the temporary in the same namespace as the lhs symbol if
1795 the component may be finalized. Remove the leading assignment
1796 from the expansion of assignment of components that have their
1797 own defined assignment components. Suppress finalization of
1798 assignment of temporary components to the lhs. Make an explicit
1799 final call for the rhs function temporary if it exists.
1800 (gfc_resolve_code): Set must_finalize for assignments with an
1801 array constructor on the rhs.
1802 (gfc_resolve_finalizers): Ensure that an assumed rank finalizer
1803 is the only finalizer for that type and correct the surprising
1804 warning for the lack of a scalar finalizer.
1805 (check_defined_assignments): Handle allocatable components.
1806 (resolve_fl_derived): Set referenced the vtab for use
1808 (resolve_symbol): Set referenced an unreferenced symbol that
1810 * trans-array.cc (gfc_trans_array_constructor_value): Add code
1811 to finalize the constructor result. Warn that this feature was
1812 removed in F2018 and that it is suppressed by -std=2018.
1813 (trans_array_constructor): Add finalblock, pass to previous
1814 and apply to loop->post if filled.
1815 (gfc_add_loop_ss_code): Add se finalblock to outer loop post.
1816 (gfc_trans_array_cobounds, gfc_trans_array_bounds): Add any
1817 generated finalization code to the main block.
1818 (structure_alloc_comps): Add boolean argument to suppress
1819 finalization and use it for calls from
1820 gfc_deallocate_alloc_comp_no_caf. Otherwise it defaults to
1822 (gfc_copy_alloc_comp_no_fini): New wrapper for
1823 structure_alloc_comps.
1824 (gfc_alloc_allocatable_for_assignment): Suppress finalization
1825 by setting new arg in call to gfc_deallocate_alloc_comp_no_caf.
1826 (gfc_trans_deferred_array): Use gfc_may_be_finalized and do not
1827 deallocate the components of entities with a leading '_' in the
1828 name that are also marked as artificial.
1829 * trans-array.h : Add the new boolean argument to the prototype
1830 of gfc_deallocate_alloc_comp_no_caf with a default of false.
1831 Add prototype for gfc_copy_alloc_comp_no_fini.
1832 * trans-decl.cc(init_intent_out_dt): Tidy up the code.
1833 * trans-expr.cc (gfc_init_se): Initialize finalblock.
1834 (gfc_conv_procedure_call): Use gfc_finalize_tree_expr to
1835 finalize function results. Replace in-line block for class
1836 results with call to new function.
1837 (gfc_conv_expr): Finalize structure constructors for F2003 and
1838 F2008. Warn that this feature was deleted in F2018 and, unlike
1839 array constructors, is not default. Add array constructor
1840 finalblock to the post block.
1841 (gfc_trans_scalar_assign): Suppress finalization by setting new
1842 argument in call to gfc_deallocate_alloc_comp_no_caf. Add the
1843 finalization blocks to the main block.
1844 (gfc_trans_arrayfunc_assign): Use gfc_assignment_finalizer_call
1845 and ensure that finalization occurs after the evaluation of the
1846 rhs but using the initial value for the lhs. Finalize rhs
1847 function results using gfc_finalize_tree_expr.
1848 (trans_class_assignment, gfc_trans_assignment_1): As previous
1849 function, taking care to order evaluation, assignment and
1850 finalization correctly.
1851 * trans-io.cc (gfc_trans_transfer): Add the final block.
1852 * trans-stmt.cc (gfc_trans_call, gfc_trans_allocate): likewise.
1853 (trans_associate_var): Nullify derived allocatable components
1854 and finalize function targets with defined assignment
1855 components on leaving the block scope.
1856 (trans_allocate): Finalize source expressions, if required,
1857 and set init_expr artificial temporarily to suppress the
1858 finalization in gfc_trans_assignment.
1859 * trans.cc (gfc_add_finalizer_call): Do not finalize the
1860 temporaries generated in type assignment with defined
1861 assignment components.
1862 (gfc_assignment_finalizer_call): New function.
1863 (gfc_finalize_tree_expr): New function.
1864 * trans.h: Add finalblock to gfc_se. Add the prototypes for
1865 gfc_finalize_tree_expr and gfc_assignment_finalizer_call.
1867 2023-03-15 Harald Anlauf <anlauf@gmx.de>
1868 Tobias Burnus <tobias@codesourcery.com>
1871 * interface.cc (compare_parameter): Adjust check of array dummy
1872 arguments to handle the case of CLASS variables.
1874 2023-03-11 Harald Anlauf <anlauf@gmx.de>
1877 * trans-expr.cc (gfc_copy_class_to_class): Convert element counts in
1878 bounds check to common type for comparison.
1880 2023-03-10 Harald Anlauf <anlauf@gmx.de>
1883 * resolve.cc (resolve_symbol): Avoid NULL pointer dereference while
1884 checking a symbol with the BIND(C) attribute.
1886 2023-03-05 Harald Anlauf <anlauf@gmx.de>
1887 Tobias Burnus <tobias@codesourcery.com>
1890 * class.cc (gfc_build_class_symbol): Handle update of attributes of
1891 existing class container.
1892 (gfc_find_derived_vtab): Fix several memory leaks.
1893 (find_intrinsic_vtab): Ditto.
1894 * decl.cc (attr_decl1): Manage update of symbol attributes from
1896 * primary.cc (gfc_variable_attr): OPTIONAL shall not be taken or
1897 updated from the class container.
1898 * symbol.cc (free_old_symbol): Adjust management of symbol versions
1899 to not prematurely free array specs while working on the declation
1902 2023-03-01 Tobias Burnus <tobias@codesourcery.com>
1904 PR middle-end/108546
1905 * trans-openmp.cc (gfc_trans_omp_clauses): Fix mapping of
1906 type(C_ptr) variables.
1908 2023-02-27 Harald Anlauf <anlauf@gmx.de>
1911 * trans-intrinsic.cc (gfc_conv_intrinsic_ibits): Handle corner case
1912 LEN argument of IBITS equal to BITSIZE(I).
1914 2023-02-25 Mikael Morin <mikael@gcc.gnu.org>
1917 * intrinsic.cc (get_intrinsic_dummy_arg,
1918 set_intrinsic_dummy_arg): Rename the former to the latter.
1919 Remove the return value, add a reference to the lhs as argument,
1920 and do the pointer assignment inside the function. Don't do
1921 it if the pointer is already non-NULL.
1922 (sort_actual): Update caller.
1924 2023-02-25 Harald Anlauf <anlauf@gmx.de>
1926 * arith.cc (gfc_real2int): Clear mpfr variable after use.
1928 2023-02-25 Tobias Burnus <tobias@codesourcery.com>
1931 * trans-expr.cc (gfc_conv_gfc_desc_to_cfi_desc): Skip setting of
1932 bounds of CFI desc for 'pointer,intent(out)'.
1934 2023-02-24 Rimvydas Jasinskas <rimvydas.jas@gmail.com>
1936 * trans-decl.cc (gfc_finish_var_decl): Apply attribute.
1937 (generate_local_decl): Add diagnostic for dummy and local variables.
1939 2023-02-24 Mikael Morin <mikael@gcc.gnu.org>
1942 * expr.cc (gfc_free_actual_arglist): Free associated_dummy
1944 (gfc_copy_actual_arglist): Make a copy of the associated_dummy
1945 field if it is set in the original element.
1947 2023-02-24 Harald Anlauf <anlauf@gmx.de>
1950 * frontend-passes.cc (do_subscript): Clear used gmp variable.
1952 2023-02-23 Arsen Arsenović <arsen@aarsen.me>
1954 * invoke.texi: Reorder index entries around @items.
1956 2023-02-23 Arsen Arsenović <arsen@aarsen.me>
1958 * invoke.texi: Reorder @opindex commands to precede @items they
1961 2023-02-22 Harald Anlauf <anlauf@gmx.de>
1964 * resolve.cc (resolve_component): The type of a CHARACTER length
1965 expression must be INTEGER.
1967 2023-02-21 Harald Anlauf <anlauf@gmx.de>
1970 * parse.cc (check_function_result_typed): Improve type check of
1971 specification expression for character length and return status.
1972 (parse_spec): Use status from above.
1973 * resolve.cc (resolve_fntype): Prevent use of invalid specification
1974 expression for character length.
1976 2023-02-16 Patrick Palka <ppalka@redhat.com>
1978 * gfortran.h: Mechanically drop static from static inline
1979 functions via s/^static inline/inline/g.
1981 2023-02-15 Steve Kargl <kargl@gcc.gnu.org>
1984 * frontend-passes.cc (do_intent): Catch NULL pointer dereference on
1985 reference to invalid formal argument.
1987 2023-02-15 Steve Kargl <kargl@gcc.gnu.org>
1990 * resolve.cc (check_assumed_size_reference): Avoid NULL pointer
1993 2023-02-15 Tobias Burnus <tobias@codesourcery.com>
1996 * openmp.cc (gfc_resolve_omp_parallel_blocks): Handle combined 'loop'
1998 (gfc_resolve_do_iterator): Set a source location for added
1999 'private'-clause arguments.
2000 * resolve.cc (gfc_resolve_code): Call gfc_resolve_omp_do_blocks
2001 also for EXEC_OMP_LOOP and gfc_resolve_omp_parallel_blocks for
2002 combined directives with loop + '{masked,master} taskloop (simd)'.
2004 2023-02-13 Harald Anlauf <anlauf@gmx.de>
2007 * primary.cc (gfc_expr_attr): Avoid NULL pointer dereference for
2008 invalid use of CLASS variable.
2010 2023-02-13 Rimvydas Jasinskas <rimvydas.jas@gmail.com>
2012 * decl.cc: Add EXT_ATTR_NOINLINE, EXT_ATTR_NORETURN, EXT_ATTR_WEAK.
2013 * gfortran.h (ext_attr_id_t): Ditto.
2014 * gfortran.texi (GCC$ ATTRIBUTES): Document them.
2015 * trans-decl.cc (build_function_decl): Apply them.
2017 2023-02-09 Harald Anlauf <anlauf@gmx.de>
2018 Steven G. Kargl <kargl@gcc.gnu.org>
2022 * intrinsic.cc (gfc_convert_chartype): Recover on invalid character
2023 kind in conversion instead of generating an internal error.
2025 2023-02-09 Tobias Burnus <tobias@codesourcery.com>
2028 * trans-openmp.cc (struct dovar_init_d): Add 'sym' and
2029 'non_unit_incr' members.
2030 (gfc_nonrect_loop_expr): New.
2031 (gfc_trans_omp_do): Call it; use normal loop bounds
2032 for unit stride - and only create local loop var.
2034 2023-02-09 Tobias Burnus <tobias@codesourcery.com>
2036 * parse.cc (decode_omp_directive): Really ignore 'assumes' with
2039 2023-02-08 Steve Kargl <kargl@gcc.gnu.org>
2042 * resolve.cc (resolve_common_vars): Avoid NULL pointer dereference
2043 when a symbol's location is not set.
2045 2023-02-07 Harald Anlauf <anlauf@gmx.de>
2048 * trans-decl.cc (gfc_finish_var_decl): With -fno-automatic, do not
2049 make ASSOCIATE variables TREE_STATIC.
2051 2023-02-05 Harald Anlauf <anlauf@gmx.de>
2054 * arith.cc (gfc_arith_divide): Emit integer division truncation
2055 warnings using gfc_warning instead of gfc_warning_now to prevent
2058 2023-02-03 Jakub Jelinek <jakub@redhat.com>
2061 * trans-decl.cc (gfc_trans_use_stmts): Call clear_slot before
2064 2023-02-01 Harald Anlauf <anlauf@gmx.de>
2067 * expr.cc (find_array_section): Add check to prevent interpreting an
2068 mpz non-integer constant as an integer.
2070 2023-02-01 Tobias Burnus <tobias@codesourcery.com>
2072 * openmp.cc (resolve_omp_clauses): Check also for
2075 2023-01-29 Mikael Morin <mikael@gcc.gnu.org>
2078 * check.cc (gfc_check_minloc_maxloc): Explicitly set argument name.
2079 (gfc_check_findloc): Ditto.
2081 2023-01-29 Jerry DeLisle <jvdelisle@gcc.gnu.org>
2084 * parse.cc (parse_module): Remove use of a bool error value
2085 that prevented proper setting of the namespace pointer.
2087 2023-01-28 Harald Anlauf <anlauf@gmx.de>
2088 Steven G. Kargl <kargl@gcc.gnu.org>
2091 * resolve.cc (compare_bound_int): Expression to compare must be of
2093 (compare_bound_mpz_t): Likewise.
2094 (check_dimension): Fix comment on checks applied to array section
2095 and clean up associated logic.
2097 2023-01-28 Harald Anlauf <anlauf@gmx.de>
2100 * match.cc (gfc_match_common): A USE associated name shall not appear
2101 in a COMMON block (F2018:C8121).
2103 2023-01-27 Tobias Burnus <tobias@codesourcery.com>
2106 * trans-openmp.cc (gfc_split_omp_clauses): Handle has_device_addr.
2108 2023-01-26 Harald Anlauf <anlauf@gmx.de>
2111 * resolve.cc (check_host_association): Extend host association check
2112 so that it is not restricted to functions. Also prevent NULL pointer
2115 2023-01-25 Steve Kargl <kargl@gcc.gnu.org>
2118 * array.cc (compare_bounds): Return false instead of generating an
2119 internal error on an invalid argument type.
2121 2023-01-24 Harald Anlauf <anlauf@gmx.de>
2124 * simplify.cc (simplify_transformation): Do not try to simplify
2125 transformational intrinsic when the ARRAY argument has a NULL shape.
2127 2023-01-23 Harald Anlauf <anlauf@gmx.de>
2130 * dependency.cc (gfc_check_dependency): Prevent NULL pointer
2131 dereference while recursively checking expressions.
2133 2023-01-23 Harald Anlauf <anlauf@gmx.de>
2136 * interface.cc (get_expr_storage_size): Check array subscript triplets
2137 that we actually have integer values before trying to extract with
2140 2023-01-23 Harald Anlauf <anlauf@gmx.de>
2143 * iresolve.cc (check_charlen_present): Preserve character length if
2144 there is no array constructor.
2146 2023-01-21 Jerry DeLisle <jvdelisle@gcc.gnu.org>
2149 * data.cc (gfc_assign_data_value): Remove check for PARAMETER in DATA.
2150 * primary.cc (match_variable): Add check for PARAMETER in DATA.
2152 2023-01-19 Harald Anlauf <anlauf@gmx.de>
2155 * expr.cc (class_allocatable): Prevent NULL pointer dereference
2157 (class_pointer): Likewise.
2159 2023-01-17 Harald Anlauf <anlauf@gmx.de>
2162 * interface.cc (get_expr_storage_size): Check that we actually have
2163 an integer value before trying to extract it with mpz_get_si.
2165 2023-01-12 Tobias Burnus <tobias@codesourcery.com>
2168 * openmp.cc (gfc_resolve_omp_assumptions): Reject nonscalars.
2170 2023-01-11 Jakub Jelinek <jakub@redhat.com>
2173 * f95-lang.cc (gfc_init_builtin_function): Fix up function types
2174 for BUILT_IN_REALLOC and BUILT_IN_SINCOS{F,,L}. Formatting fixes.
2176 2023-01-10 Harald Anlauf <anlauf@gmx.de>
2179 * frontend-passes.cc (do_subscript): Clear used gmp variables.
2181 2023-01-02 Jakub Jelinek <jakub@redhat.com>
2183 * gfortranspec.cc (lang_specific_driver): Update copyright notice
2185 * gfc-internals.texi: Bump @copying's copyright year.
2186 * gfortran.texi: Ditto.
2187 * intrinsic.texi: Ditto.
2188 * invoke.texi: Ditto.
2191 Copyright (C) 2023 Free Software Foundation, Inc.
2193 Copying and distribution of this file, with or without modification,
2194 are permitted in any medium without royalty provided the copyright
2195 notice and this notice are preserved.