1 2018-08-14 Janus Weil <janus@gcc.gnu.org>
4 * interface.c (compare_type): Remove a CLASS/TYPE check.
5 (compare_type_characteristics): New function that behaves like the old
7 (gfc_check_dummy_characteristics, gfc_check_result_characteristics):
8 Call 'compare_type_characteristics' instead of 'compare_type'.
10 2018-08-12 Paul Thomas <pault@gcc.gnu.org>
13 * trans-intrinsic.c (gfc_conv_intrinsic_transfer): Class array
14 elements are returned as references to the data element. Get
15 the class expression by stripping back the references. Use this
18 2018-08-12 Paul Thomas <pault@gcc.gnu.org>
21 * resolve.c (resolve_fl_variable_derived): Check if the derived
22 type is use associated before checking for the host association
25 2018-08-10 Janus Weil <janus@gcc.gnu.org>
28 * invoke.texi (frontend-optimize): Mention short-circuiting.
29 * options.c (gfc_post_options): Disable -ffrontend-optimize with -Og.
30 * resolve.c (resolve_operator): Warn about short-circuiting only with
32 * trans-expr.c (gfc_conv_expr_op): Use short-circuiting operators only
33 with -ffrontend-optimize. Without that flag, make sure that both
34 operands are evaluated.
36 2018-08-08 Nathan Sidwell <nathan@acm.org>
38 * cpp.c (cb_file_change): Use linemap_included_from.
40 2018-08-07 Cesar Philippidis <cesar@codesourcery.com>
42 * trans-stmt.h: Remove stale reference to trans-openacc.c.
44 2018-08-04 Janus Weil <janus@gcc.gnu.org>
47 * interface.c (gfc_compare_interfaces): Apply additional
48 distinguishability criteria of F08 to operator interfaces.
50 2018-07-31 Andre Vieira <andre.simoesdiasvieira@arm.com>
52 Revert 'AsyncI/O patch committed'
53 2018-07-25 Nicolas Koenig <koenigni@gcc.gnu.org>
54 Thomas Koenig <tkoenig@gcc.gnu.org>
57 * gfortran.texi: Add description of asynchronous I/O.
58 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
60 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
61 st_wait_async and change argument spec from ".X" to ".w".
62 (gfc_trans_wait): Pass ID argument via reference.
64 2018-07-25 Nicolas Koenig <koenigni@gcc.gnu.org>
65 Thomas Koenig <tkoenig@gcc.gnu.org>
68 * gfortran.texi: Add description of asynchronous I/O.
69 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
71 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
72 st_wait_async and change argument spec from ".X" to ".w".
73 (gfc_trans_wait): Pass ID argument via reference.
75 2018-07-20 Martin Sebor <msebor@redhat.com>
78 * gfortran.h (gfc_handle_option): Change function argument
80 * options.c (gfc_handle_option): Same.
82 2018-07-20 Andrew Benson <abenson@carnegiescience.edu>
84 * gfortran.h (gfc_symbol): Add pointer to next derived type.
85 (gfc_dt_list, gfc_get_dt_list): Remove.
86 (gfc_namespace): Replace gfc_dt_list with gfc_symbol.
87 * parse.c (resolve_all_program_units): Replace gfc_free_dt_list() with
88 simple nullification of gfc_derived_types.
89 * resolve.c (resolve_global_procedure): Replace gfc_dt_list with
91 (add_dt_to_dt_list): Change derived type linked list insertion to
92 utilize dt_next pointers in gfc_symbol.
93 * symbol.c (gfc_new_symbol, gfc_free_dt_list, gfc_symbol_done2)
94 (get_iso_c_binding_dt, generate_isocbinding_symbol): Remove
95 gfc_free_dt_list as gfc_dt_list is obsoleted. Change derived type
96 linked list search/insertion to utilize dt_next pointers in gfc_symbol.
97 * trans-types.c (gfc_get_derived_type): Change derived type linked
98 list search to utilize dt_next pointers in gfc_symbol.
100 2018-07-19 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
102 * trans-intrinsic.c: (gfc_conv_intrinsic_minmax): Emit MIN_MAX_EXPR
103 or IFN_FMIN/FMAX sequence to calculate the min/max when possible.
105 2018-07-18 Janus Weil <janus@gcc.gnu.org>
106 Thomas Koenig <tkoenig@gcc.gnu.org>
109 * dump-parse-tree.c (show_attr): Add handling of implicit_pure.
110 * frontend-passes.c (do_warn_function_elimination): Do not warn for
112 * gfortran.h: Add prototypes for gfc_pure_function and
113 gfc_implicit_pure_function.
114 * gfortran.texi: Add chapter on evaluation of logical expressions.
115 * invoke.texi: Mention that -Wfunction-elimination is implied
117 * lang.opt: Make -Wextra imply -Wfunction-elimination.
118 * resolve.c (pure_function): Rename to gfc_pure_function.
119 (gfc_implicit_pure_function): New function.
120 (check_pure_function): Use it here.
121 (impure_function_callback): New function.
122 (resolve_operator): Call it via gfc_expr_walker.
124 2018-07-16 Fritz Reese <fritzoreese@gmail.com>
127 * decl.c (match_old_style_init): Initialize locus of variable expr when
128 creating a data variable.
129 (match_clist_expr): Verify array is explicit shape/size before
130 attempting to allocate constant array constructor.
132 2018-07-16 Fritz Reese <fritzoreese@gmail.com>
135 * module.c (mio_component): Set component->loc when loading from module.
137 2018-07-10 Jakub Jelinek <jakub@redhat.com>
140 * module.c (omp_declare_simd_clauses): Add LINEAR with _REF, _VAL and
142 (mio_omp_declare_simd): Save and restore ref, val and uval modifiers
143 on linear clauses. Initialize n->where to gfc_current_locus.
145 2018-07-05 Paul Thomas <pault@gcc.gnu.org>
148 * resolve.c.c (resolve_contained_fntype): Reference to C418 is
149 in F2008 and not F2003.
150 (resolve_function): Ditto in error message. Also, exclude
151 deferred character length results from the error.
153 2018-07-05 Fritz Reese <fritzoreese@gmail.com>
157 * expr.c (class_allocatable, class_pointer, comp_allocatable,
158 comp_pointer): New helpers.
159 (component_initializer): Generate EXPR_NULL for allocatable or pointer
160 components. Do not generate initializers for components within BT_CLASS.
161 Do not assign to comp->initializer.
162 (gfc_generate_initializer): Use new helpers; move code to generate
163 EXPR_NULL for class allocatable components into component_initializer().
165 2018-07-04 Jerry DeLisle <jvdelisle@gcc.gnu.org>
168 * trans-decl.c (gfc_process_block_locals): Delete assert and set
169 saved_local_decls = NULL_TREE.
171 2018-07-02 Richard Biener <rguenther@suse.de>
174 * trans-types.c (gfc_get_array_type_bounds): Unshare TYPE_FIELDs
175 for the distinct type copy.
177 2018-07-02 Paul Thomas <pault@gcc.gnu.org>
181 * trans-array.c (structure_alloc_comps): Do not explicitly copy
182 procedure pointer components.
184 2018-07-02 Paul Thomas <pault@gcc.gnu.org>
187 * expr.c : Add a prototype for scalarize_intrinsic_call.
188 (gfc_simplify_expr): Use scalarize_intrinsic_call for elemental
189 intrinsic function calls.
190 (scalarize_intrinsic_call): Add 'init_flag' argument. Check if
191 the expression or any of the actual argument expressions are
192 NULL. Before calling gfc_check_init_expr, check 'init_flag'.
193 Only simplify the scalarized expressions if there are no errors
195 (gfc_check_init_expr): Set 'init_flag' true in the call to
196 scalarize_intrinsic_call.
198 2018-06-28 Fritz Reese <fritzoreese@gmail.com>
201 * decl.c (gfc_match_type): Refactor and check for PDT declarations.
203 2018-06-28 Martin Liska <mliska@suse.cz>
205 * gfortranspec.c: Include opt-suggestions.h.
207 2018-06-25 Fritz Reese <fritzoreese@gmail.com>
212 * expr.c (component_initializer): Assign init expr to c->initializer.
213 (generate_isocbinding_initializer): New.
214 (gfc_generate_initializer): Call generate_isocbinding_initializer to
215 generate initializers for c_ptr and c_funptr with -finit-derived.
217 2018-06-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
220 * interface.c (check_dtio_interface1): Delete assert.
222 2018-06-22 Paul Thomas <pault@gcc.gnu.org>
223 Rainer Orth <ro@gcc.gnu.org>
226 * resolve.c (resolve_contained_fntype): Check for the charlen
227 before testing the length.
229 2018-06-21 Paul Thomas <pault@gcc.gnu.org>
232 * resolve.c (resolve_contained_fntype): Change standard ref.
233 from F95 to F2003: C418. Correct a spelling error in a comment.
234 It is an error for an abstract interface to have an assumed
235 character length result.
236 * trans-expr.c (gfc_conv_procedure_call): Likewise change the
239 2018-06-21 Paul Thomas <pault@gcc.gnu.org>
242 * resolve.c (resolve_ordinary_assign): Force the creation of a
243 vtable for assignment of non-polymorphic expressions to an
244 unlimited polymorphic object.
245 * trans-array.c (gfc_alloc_allocatable_for_assignment): Use the
246 size of the rhs type for such assignments. Set the dtype, _len
247 and vptrs appropriately.
248 * trans-expr.c (gfc_trans_assignment): Force the use of the
249 _copy function for these assignments.
251 2018-06-20 Chung-Lin Tang <cltang@codesourcery.com>
252 Thomas Schwinge <thomas@codesourcery.com>
253 Cesar Philippidis <cesar@codesourcery.com>
255 * gfortran.h (gfc_omp_clauses): Add unsigned if_present, finalize
257 * openmp.c (enum omp_mask2): Remove OMP_CLAUSE_PRESENT_OR_*. Add
258 OMP_CLAUSE_{IF_PRESENT,FINALIZE}.
259 (gfc_match_omp_clauses): Update handling of copy, copyin, copyout,
260 create, deviceptr, present_of_*. Add support for finalize and
262 (OACC_PARALLEL_CLAUSES): Remove PRESENT_OR_* clauses.
263 (OACC_KERNELS_CLAUSES): Likewise.
264 (OACC_DATA_CLAUSES): Likewise.
265 (OACC_DECLARE_CLAUSES): Likewise.
266 (OACC_UPDATE_CLAUSES): Add IF_PRESENT clause.
267 (OACC_ENTER_DATA_CLAUSES): Remove PRESENT_OR_* clauses.
268 (OACC_EXIT_DATA_CLAUSES): Add FINALIZE clause.
269 (gfc_match_oacc_declare): Update to OpenACC 2.5 semantics.
270 * trans-openmp.c (gfc_trans_omp_clauses): Add support for IF_PRESENT
273 2018-06-18 Eric Botcazou <ebotcazou@adacore.com>
275 * trans-decl.c (gfc_get_fake_result_decl): Revert latest change.
277 2018-06-17 Eric Botcazou <ebotcazou@adacore.com>
279 * trans-decl.c (nonlocal_dummy_decl_pset): Delete.
280 (nonlocal_dummy_decls): Likewise.
281 (gfc_nonlocal_dummy_array_decl): Likewise.
282 (gfc_get_symbol_decl): Do not call gfc_nonlocal_dummy_array_decl.
283 (gfc_get_fake_result_decl): Do not generate a new DECL if simply
284 reusing the result of a recursive call.
285 (gfc_generate_function_code): Do not create, insert and destroy
286 nonlocal_dummy_decls.
288 2018-06-13 Steven G. Kargl <kargl@gcc.gnu.org>
291 * array.c (gfc_resolve_character_array_constructor): Avoid NULL
294 2018-06-13 Cesar Philippidis <cesar@codesourcery.com>
297 * parse.c (decode_oacc_directive): Set gfc_matching_function
299 (decode_omp_directive): Likewise.
301 2018-06-13 Cesar Philippidis <cesar@codesourcery.com>
304 * openmp.c (gfc_match_oacc_wait): Use %C to report error location.
306 2018-06-12 David Malcolm <dmalcolm@redhat.com>
309 * misc.c (gfc_closest_fuzzy_match): Update for renaming of
310 levenshtein_distance to get_edit_distance.
312 2018-06-12 Steven G. Kargl <kargl@gcc.gnu.org>
315 * expr.c (gfc_check_assign): Select non-NULL locus.
317 2018-06-11 Janus Weil <janus@gcc.gnu.org>
320 * interface.c (compare_ptr_alloc): New function.
321 (generic_correspondence): Call it.
323 2018-06-10 Thomas Koenig <tkoenig@gcc.gnu.org>
325 * gfortran.h (gfc_expr): Add no_bounds_check field.
326 * frontend-passes.c (get_array_inq_function): Set no_bounds_check
327 on function and function argument.
328 (inline_matmul_assign): Set no_bounds_check on zero expression
329 and on lhs of zero expression.
330 Also handle A1B2 case if realloc on assigment is active.
331 * trans-array.c (gfc_conv_array_ref): Don't do range checking
332 if expr has no_bounds_check set.
333 (gfc_conv_expr_descriptor): Set no_bounds_check on ss if expr
335 * trans-expr.c (gfc_trans_assignment_1): Set no_bounds_check
336 on lss and lss if the corresponding expressions have it set.
338 2018-06-10 Dominique d'Humieres <dominiq@gcc.gnu.org>
341 * trans-const.c: Remove include "diagnostic-core.h".
342 (gfc_conv_constant_to_tree): Replace fatal_error with gcc_unreachable.
344 2018-06-10 Janus Weil <janus@gcc.gnu.org>
347 * decl.c (match_attr_spec): Synchronize the DECL_* enum values with the
348 INTENT_* values from the enum 'sym_intent'. Call 'match_intent_spec'
349 and remove a TODO note.
350 * gfortran.h: Add a comment to sym_intent.
352 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
355 * resolve.c (resolve_operator): Provide better error message for
356 derived type entity used in an binary intrinsic numeric operator.
358 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
363 * decl.c (gfc_match_char_spec): Use private namespace in attempt to
364 reduce a charlen to a constant.
366 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
369 * data.c (gfc_assign_data_value): Re-arrange code to allow for
370 an error for double initialization of CHARACTER entities.
372 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
375 * symbol.c (gfc_add_volatile): Enforce F2008:C1282 and F2018:C1588.
377 2018-06-08 Thomas Koenig <tkoenig@gcc.gnu.org>
380 * trans.h (gfc_ss): Add field no_bounds_check.
381 * trans-array.c (gfc_conv_ss_startstride): If flag_realloc_lhs and
382 ss->no_bounds_check is set, do not use runtime checks.
383 * trans-expr.c (gfc_trans_assignment_1): Set lss->no_bounds_check
384 for reallocatable lhs.
386 2018-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
389 * array.c (match_array_cons_element): NULL() cannot be in an
392 2018-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
395 * data.c (create_character_initializer): Return early if type is
396 incompatible with CHARACTER.
398 2018-06-07 Steven G. Kargl <kargl@gcc.gnu.org>
401 * simplify.c (gfc_simplify_mod): Re-arrange code to test whether
402 'P' is zero and issue an error if it is.
404 2018-06-06 Thomas Koenig <tkoenig@gcc.gnu.org>
407 * frontend-passes.c (is_fe_temp): Add prototype.
408 (realloc_string_callback): Early return for frontend-generated
411 2018-06-05 Cesar Philippidis <cesar@codesourcery.com>
415 * openmp.c (gfc_resolve_oacc_declare): Error on functions and
416 subroutine data clause arguments.
418 2018-06-04 Steven G. Kargl <kargl@gcc.gnu.org>
421 * resolve.c (resolve_allocate_deallocate): Check errmsg is default
424 2018-06-03 Paul Thomas <pault@gcc.gnu.org>
427 * decl.c (variable_decl): Use gfc_add_type for cray pointees.
429 2018-06-01 Steven G. Kargl <kargl@gcc.gnu.org>
432 * check.c (gfc_check_random_init): New function. Check arguments of
434 * gfortran.h (GFC_ISYM_RANDOM_INIT): New enum token.
435 * intrinsic.c (add_subroutines): Add RANDOM_INIT to list of
437 (gfc_check_intrinsic_standard): Introduce Fortran 2018 check.
438 * intrinsic.h: Add prototypes for gfc_check_random_init and
439 gfc_resolve_random_init
440 * intrinsic.texi: Document new intrinsic subprogram.
441 * iresolve.c (gfc_resolve_random_init): Resolve routine name.
442 * trans-decl.c: Declare gfor_fndecl_random_init
443 * trans-intrinsic.c (conv_intrinsic_random_init): New function.
444 Translate call to RANDOM_INIT.
445 (gfc_conv_intrinsic_subroutine): Call it.
446 * trans.h: Declare gfor_fndecl_random_init
448 2018-05-27 Steven G. Kargl <kargl@gcc.gnu.org>
450 * decl.c (match_data_constant): Fortran 2018 allows pointer
451 initialization in a data statement.
453 2018-05-25 Janus Weil <janus@gcc.gnu.org>
456 * match.c (gfc_match_block_data): Call gfc_notify_std to warn about
457 an obsolescent feature in Fortran 2018.
458 (gfc_match_equivalence): Ditto.
459 * resolve.c (resolve_common_blocks): Ditto.
460 (gfc_resolve_forall): Ditto.
461 * symbol.c (gfc_define_st_label): Ditto.
463 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
466 * resolve.c (update_current_proc_array_outer_dependency): Avoid NULL
469 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
472 * resolve.c (resolve_fl_procedure): Avoid NULL dereference.
474 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
477 * decl.c (gfc_match_derived_decl): Fix NULL point dereference.
479 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
482 * resolve.c (resolve_sync): Resolve expression before checking for
485 2018-05-22 Janus Weil <janus@gcc.gnu.org>
488 * libgfortran.h: Remove the macros GFC_STD_F2008_TS and
490 * error.c (notify_std_msg): Remove GFC_STD_F2008_TS.
491 * options.c (set_default_std_flags): Ditto.
492 (gfc_handle_option): Make -std=f2008ts an alias for -std=f2018.
493 * array.c (gfc_match_array_spec): Replace GFC_STD_F2008_TS by
495 * check.c (gfc_check_atomic, gfc_check_event_query,
496 gfc_check_c_f_pointer, gfc_check_c_f_procpointer, gfc_check_c_funloc,
497 gfc_check_c_loc, gfc_check_num_images, gfc_check_this_image): Ditto.
498 * decl.c (gfc_verify_c_interop_param, gfc_match_decl_type_spec): Ditto.
499 * intrinsic.c (add_functions, add_subroutines,
500 gfc_check_intrinsic_standard): Ditto.
501 * iso-c-binding.def: Ditto.
502 * iso-fortran-env.def: Ditto.
503 * match.c (gfc_match_event_post, gfc_match_event_wait,
504 gfc_match_fail_image, gfc_match_form_team, gfc_match_change_team,
505 gfc_match_end_team, gfc_match_sync_team): Ditto.
506 * gfortran.texi: Remove mention of -std=f2008ts.
507 Move TSs into F2018 section.
508 * invoke.texi: Update documentation of -std=f2008ts.
510 2018-05-21 Janus Weil <janus@gcc.gnu.org>
513 * libgfortran.h: New macros GFC_STD_OPT_*.
514 * error.c (notify_std_msg): New function.
515 (gfc_notify_std): Adjust such that it can handle combinations of
516 GFC_STD_* flags in the 'std' argument, not just a single one.
517 * match.c (match_arithmetic_if, gfc_match_if): Reject arithmetic if
519 (gfc_match_stopcode): Use GFC_STD_OPT_* macros.
520 * options.c (set_default_std_flags): Warn for F2018 deleted features
522 (gfc_handle_option): F2018 deleted features are allowed in earlier
524 * symbol.c (gfc_define_st_label, gfc_reference_st_label): Reject
525 nonblock do constructs in Fortran 2018.
527 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
530 * resolve.c (flag_fn_result_spec): Use the 'sym' argument to
531 test for self refs to the function result in the character len
532 expression. If a self reference is found, emit an error and
534 (resolve_fntype): Use the function symbol in the calls to the
537 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
540 * trans-array.c (gfc_get_array_span): Renamed from
542 (gfc_conv_expr_descriptor): Change references to above.
543 * trans-array.h : Add prototype for 'gfc_get_array_span'.
544 * trans-intrinsic.c (gfc_conv_associated): Add pre and post
546 * trans-stmt.c (trans_associate_var): If the associate name is
547 a subref array pointer, use gfc_get_array_span for the span.
549 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
552 * match.c (gfc_match_type_spec): Go through the array ref and
553 decrement 'rank' for every dimension that is an element.
555 2018-05-19 Paul Thomas <pault@gcc.gnu.org>
560 * trans-array.c (gfc_alloc_allocatable_for_assignment): Set the
561 charlen backend_decl of the rhs expr to ss->info->string_length
562 so that the value in the current scope is used.
564 2018-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
567 * gfortran.texi: Clarify documentation for Cray pointer and
570 2018-05-13 Paul Thomas <pault@gcc.gnu.org>
573 * trans-types.c (gfc_get_dtype_rank_type): Reorder evaluation
574 of 'size'. If the element type is a pointer use the size of the
575 TREE_TYPE of the type, unless it is VOID_TYPE. In this latter
576 case, set the size to zero.
578 2018-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
580 * gfortran.h: Remove prototype.
581 * symbol.c (gfc_new_undo_checkpoint): Remove unused function.
583 2018-05-11 Steven G. Kargl <kargl@gcc.gnu.org>
586 * expr.c (check_inquiry): Avoid NULL pointer dereference.
588 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
591 * check.c (gfc_check_rank): Check that the argument is a data object.
593 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
596 * array.c (gfc_resolve_character_array_constructor): Substrings
597 with upper bound smaller than lower bound are zero length strings.
599 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
602 * data.c (gfc_assign_data_value): Check that a data object does
603 not also have default initialization.
605 2018-05-10 Marek Polacek <polacek@redhat.com>
608 * options.c (gfc_post_options): Set main_input_filename.
610 2018-05-10 Thomas Koenig <tkoenig@gcc.gnu.org>
613 * intrinsic.texi: Document BACK for MINLOC and MAXLOC.
615 2018-05-10 Paul Thomas <pault@gcc.gnu.org>
619 * resolve.c (get_temp_from_expr): The temporary must not have
620 dummy or intent attributes.
622 2018-05-08 Thomas Koenig <tkoenig@gcc.gnu.org>
625 * check.c (gfc_check_minmaxloc): Remove error for BACK not being
626 implemented. Use gfc_logical_4_kind for BACK.
627 * simplify.c (min_max_choose): Add optional argument back_val.
629 (simplify_minmaxloc_to_scalar): Add argument back_val. Pass
630 back_val to min_max_choose.
631 (simplify_minmaxloc_to_nodim): Likewise.
632 (simplify_minmaxloc_to_array): Likewise.
633 (gfc_simplify_minmaxloc): Add argument back, handle it.
634 Pass back_val to specific simplification functions.
635 (gfc_simplify_minloc): Remove ATTRIBUTE_UNUSED from argument back,
636 pass it on to gfc_simplify_minmaxloc.
637 (gfc_simplify_maxloc): Likewise.
638 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Adjust
639 comment. If BACK is true, use greater or equal (or lesser or
640 equal) insteal of greater (or lesser). Mark the condition of
641 having found a value which exceeds the limit as unlikely.
643 2018-05-07 Jeff Law <law@redhat.comg>
645 * scanner.c (preprocessor_line): Call linemap_add after a line
646 directive that changes the current filename.
648 2018-05-06 Andre Vehreschild <vehre@gcc.gnu.org>
651 * dependency.c (gfc_dep_resolver): Revert looking at coarray dimension
652 introduced by r259385.
653 * trans-intrinsic.c (conv_caf_send): Always report a dependency for
654 same variables in coarray assignments.
656 2018-05-02 Tom de Vries <tom@codesourcery.com>
659 * f95-lang.c (DEF_GOACC_BUILTIN_ONLY): Define.
661 2018-04-24 Steven G. Kargl <kargl@gcc.gnu.org>
664 * decl.c (gfc_match_char_spec): Check for negative length and set to 0.
666 2018-04-14 Andre Vehreschild <vehre@gcc.gnu.org>
670 * dependency.c (gfc_dep_resolver): Coarray indexes are to be ignored
671 during dependency computation. They define no data dependency.
672 * trans-array.c (conv_array_index_offset): The stride can not be set
674 * trans-intrinsic.c (conv_caf_send): Add creation of temporary array
675 for caf_get's result and copying to the array with vectorial
678 2018-04-14 Thomas Koenig <tkoenig@gcc.gnu.org>
681 * frontend-passes.c (traverse_io_block): Check for start, end or
682 stride being defined by an outer implied DO loop.
684 2018-04-12 Thomas Koenig <tkoenig@gcc.gnu.org>
688 * trans-stmt.c (gfc_trans_forall_loop): Use annot_expr_ivdep_kind
689 for annotation and remove dependence on -ftree-parallelize-loops.
691 2018-04-10 Jakub Jelinek <jakub@redhat.com>
694 * openmp.c (resolve_omp_do): Remove bogus if (j < i) break;.
695 (resolve_oacc_nested_loops): Likewise. Formatting fix.
697 2018-04-09 Thomas Koenig <tkoenig@gcc.gnu.org>
700 * trans-stmt.c (gfc_trans_forall_loop): Remove annotation for
701 parallell processing of DO CONCURRENT -ftree-parallelize-loops
704 2018-04-09 Thomas Koenig <tkoenig@gcc.gnu.org>
707 * resolve.c (resolve_variable): Simplify cases where access to a
708 parameter array results in a single constant.
710 2018-04-02 Thomas Koenig <tkoenig@gcc.gnu.org>
713 * decl.c (variable_decl): If upper or lower bounds simplify
714 to a constant, use that.
716 2018-03-30 Paul Thomas <pault@gcc.gnu.org>
719 * simplify.c (gfc_convert_constant): Handle case of array
720 constructors within an array that has no iterator and improve
721 the conciseness of this section of code.
723 2017-03-30 Thomas Koenig <tkoenig@gcc.gnu.org>
726 * array.c (gfc_resolve_character_array_constructor): Early
727 exit for zero-size arrays.
728 * simplify.c (simplify_transformation_to_array): Exit early
729 if the result size is zero.
730 (simplify_minmaxloc_to_array): Likewise.
732 2018-03-28 Mikael Morin <mikael@gcc.gnu.org>
735 * symbol.c (gfc_symbol_done_2): Start freeing namespaces
737 (gfc_free_namespace): Restore assert (revert r258839).
739 2018-03-28 Jakub Jelinek <jakub@redhat.com>
741 * gfortran.h (gfc_dt): Rename default_exp field to dec_ext.
742 * ioparm.def (IOPARM_dt_default_exp): Rename to ...
743 (IOPARM_dt_dec_ext): ... this.
744 * trans-io.c (build_dt): Adjust for default_exp renaming to
745 dec_ext and IOPARM_dt_default_exp renaming to IOPARM_dt_dec_ext.
746 * io.c (match_io): Likewise.
748 2018-03-27 Thomas Koenig <tkoenig@gcc.gnu.org>
751 * frontend-passes.c (gfc_run_passes): Do not run front-end
752 optimizations if a previous error occurred.
754 2018-03-27 Thomas Koenig <tkoenig@gcc.gnu.org>
755 Harald Anlauf <anlauf@gmx.de>
758 * primary.c (gfc_convert_to_structure_constructor): Check
759 conformance of argument types in structure constructor.
761 2018-03-26 Thomas Koenig <tkoenig@gcc.gnu.org>
764 * io.c: Include constructor.h.
765 (resolve_tag_format): For a constant character array, concatenate
766 into a single character expression.
768 2018-03-25 Seth Johnson <johnsonsr@ornl.gov>
769 Dominique d'Humieres <dominiq@gcc.gnu.org>
772 * check.c (gfc_check_c_f_pointer): Allow scalar noninteroperable
773 scalar derived type with -std=f2003 and -std=f2008.
775 2018-03-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
776 Dominique d'Humieres <dominiq@gcc.gnu.org>
779 * symbol.c (gfc_free_namespace): Delete the assert and only if
780 refs count is equals zero, free the namespace. Otherwise,
781 something is halfway and other errors will resound.
783 2018-03-24 Thomas Koenig <tkoenig@gcc.gnu.org>
786 * expr.c (find_substring_ref): Change types of start, end
787 and length variables to gfc_charlen_t. Set length to zero
790 2018-03-24 Steven G. Kargl <kargl@gcc.gnu.org>
793 * decl.c (check_function_name): Improved error message
794 (gfc_match_volatile, gfc_match_asynchronous) Use check_function_name.
796 2018-03-22 Steven G. Kargl <kargl@gcc.gnu.org>
799 * decl.c (get_proc_name): If the MODULE prefix appears in interface
800 body, then it must appear on the contained subroutine or function.
801 While here, fix nearby mis-indented code.
803 2018-03-21 Thomas Koenig <tkoenig@gcc.gnu.org>
804 Harald Anlauf <anlauf@gmx.de>
807 * trans-types.c (gfc_sym_type): Do not dereference NULL pointer.
809 2018-03-21 Janne Blomqvist <jb@gcc.gnu.org>
812 * trans-expr.c (gfc_conv_procedure_call): Convert charlen to
813 gfc_charlen_type_node when calling procedure.
815 2018-03-20 Steven G. Kargl <kargl@gcc.gnu.org>
818 * interface.c (symbol_rank): Remove bogus null pointer check that
819 crept in when translating a ternary operator into an if-else
822 2018-03-19 Thomas Koenig <tkoenig@gcc.gnu.org>
825 * simplify.c (gfc_convert_constant): Correctly handle iterators
828 2018-03-18 Steven G. Kargl <kargl@gcc.gnu.org>
831 * decl.c (get_proc_name): Check for a subroutine re-defined in
832 the contain portion of a subroutine. Change language of existing
833 error message to better describe the issue. While here fix whitespace
836 2018-03-18 Steven G. Kargl <kargl@gcc.gnu.org>
839 * decl.c (get_proc_name): Catch clash between a procedure statement
840 and a contained subprogram
842 2018-03-16 Steven G. Kargl <kargl@gcc.gnu.org>
845 * decl.c (merge_array_spec): Correct the error condition.
847 2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
850 * decl.c (get_proc_name): Check for clash of entry name with
853 2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
856 * decl.c (merge_array_spec): Limit the merging to maximum allowed
857 dimensions, and issue error message if limit is exceeded.
859 2018-03-13 Steven G. Kargl <kargl@gcc.gnu.org>
861 * check.c (gfc_check_kill_sub): Remove check for INTEGER(4) or (8).
862 * intrinsic.c (add_functions): Remove reference to gfc_resolve_kill.
863 (add_subroutines): Remove reference to gfc_resolve_kill_sub.
864 * intrinsic.texi: Update documentation.
865 * iresolve.c (gfc_resolve_kill, gfc_resolve_kill_sub): Remove.
866 * trans-decl.c (gfc_build_intrinsic_function_decls): Add
867 gfor_fndecl_kill and gfor_fndecl_kill_sub
868 * trans-intrinsic.c (conv_intrinsic_kill, conv_intrinsic_kill_sub): new
870 (gfc_conv_intrinsic_function): Use conv_intrinsic_kill.
871 (gfc_conv_intrinsic_subroutine): Use conv_intrinsic_kill_sub.
872 * trans.h: Declare gfor_fndecl_kill and gfor_fndecl_kill_sub.
874 2018-03-11 Paul Thomas <pault@gcc.gnu.org>
877 * trans-array.c (structure_alloc_comps): Make sure that the
878 vptr is copied and that the unlimited polymorphic _len is used
879 to compute the size to be allocated.
880 * trans-expr.c (gfc_get_class_array_ref): If unlimited, use the
881 unlimited polymorphic _len for the offset to the element.
882 (gfc_copy_class_to_class): Set the new 'unlimited' argument.
883 * trans.h : Add the boolean 'unlimited' to the prototype.
885 2018-03-11 Steven G. Kargl <kargl@gcc.gnu.org>
888 * resolve.c (resolve_fl_procedure): Enforce F2018:C15100.
890 2018-03-11 Steven G. Kargl <kargls@gcc.gnu.org>
892 * check.c (gfc_check_kill): Check pid and sig are scalar.
893 (gfc_check_kill_sub): Restrict kind to 4 and 8.
894 * intrinsic.c (add_function): Sort keyword list. Add pid and sig
895 keywords for KILL. Remove redundant *back="back" in favor of the
896 original *bck="back".
897 (add_subroutines): Sort keyword list. Add pid and sig keywords
899 * intrinsic.texi: Fix documentation to consistently use pid and sig.
900 * iresolve.c (gfc_resolve_kill): Kind can only be 4 or 8. Choose the
902 (gfc_resolve_rename_sub): Add comment.
904 2018-03-11 Thomas Koenig <tkoenig@gcc.gnu.org>
907 * simplify.c (simplify_transformation): Return default result for
908 empty array argument.
909 (gfc_simplify_all): Remove special-case handling for zerosize.
910 (gfc_simplify_any): Likewise.
911 (gfc_simplify_count): Likewise.
912 (gfc_simplify_iall): Likewise.
913 (gfc_simplify_iany): Likewise.
914 (gfc_simplify_iparity): Likewise.
915 (gfc_simplify_minval): Likewise.
916 (gfc_simplify_maxval): Likewise.
917 (gfc_simplify_norm2): Likewise.
918 (gfc_simplify_product): Likewise.
919 (gfc_simplify_sum): Likewise.
921 2018-03-10 Steven G. Kargl <kargl@gcc.gnu.org>
924 * arith.c (check_result, eval_intrinsic): If result overflows, pass
925 the expression up the chain instead of a NULL pointer.
927 2018-03-07 Steven G. Kargl <kargl@gcc.gnu.org>
931 * decl.c (gfc_match_char_spec): Try to reduce a charlen to a constant.
933 2017-03-06 Thomas Koenig <tkoenig@gcc.gnu.org>
937 * expr.c (simplify_parameter_variable): If p is a size zero array
938 and not an ARRAY_EXPR insert an empty array constructor and
940 * gfortran.h: Add prototype for gfc_is_size_zero_array.
941 * simplify.c (is_size_zero_array): Make non-static and rename into
942 (gfc_is_size_zero_array): Check for parameter arrays of zero
943 size by comparing shape and absence of constructor.
944 (gfc_simplify_all): Use gfc_is_size_zero_array instead of
946 (gfc_simplify_count): Likewise.
947 (gfc_simplify_iall): Likewise.
948 (gfc_simplify_iany): Likewise.
949 (gfc_simplify_iparity): Likewise.
950 (gfc_simplify_minval): Likewise.
951 (gfc_simplify_maxval): Likewise.
952 (gfc_simplify_product): Likewise.
953 (gfc_simplify_sum): Likewise.
955 2018-03-06 Steven G. Kargl <kargl@gcc.gnu.org>
958 * primary.c (match_sym_complex_part): Give the matcher for an implied
959 do-loop a chance to run.
961 2018-03-03 Harald Anlauf <anlauf@gmx.de>
964 * trans-expr.c (gfc_apply_interface_mapping_to_expr): Do not
965 dereference NULL pointer.
967 2018-03-03 Steven G. Kargl <kargl@gcc.gnu.org>
970 * simplify.c (is_size_zero_array): New function to check for size
972 (gfc_simplify_all, gfc_simplify_any, gfc_simplify_count,
973 gfc_simplify_iall, gfc_simplify_iany, gfc_simplify_iparity,
974 gfc_simplify_minval, gfc_simplify_maxval, gfc_simplify_norm2,
975 gfc_simplify_product, gfc_simplify_sum): Use it, and implement
976 requirements from F2018.
978 2018-03-03 Steven G. Kargl <kargl@gcc.gnu.org>
981 * simplify.c (gfc_simplify_transfer): Resolve mold.
983 2018-03-03 Paul Thomas <pault@gcc.gnu.org>
986 * resolve.c (build_loc_call): Change symtree name from 'loc' to
989 2018-03-01 Paul Thomas <pault@gcc.gnu.org>
992 * target-memory.c (gfc_interpret_derived): Assert that BT_VOID
993 components are caf tokens.
994 (gfc_target_interpret_expr): Treat BT_VOID expressions as
997 2018-03-01 Paul Thomas <pault@gcc.gnu.org>
1000 * class.c (class_array_ref_detected): Remove the condition that
1001 there be no reference after the array reference.
1002 (find_intrinsic_vtab): Remove excess whitespace.
1003 * trans-array.c (gfc_conv_scalarized_array_ref): Rename 'tmp'
1004 as 'base and call build_class_array_ref earlier.
1006 2018-02-28 Paul Thomas <pault@gcc.gnu.org>
1009 * trans-stmt.c (trans_associate_var): Make sure that the se
1010 expression is a pointer type before converting it to the symbol
1013 2018-02-25 Steven G. Kargl <kargl@gcc.gnu.org>
1016 * decl.c (variable_decl): Check that an explicit-shape-array with
1017 nonconstant bounds is allowed.
1019 2018-02-25 Paul Thomas <pault@gcc.gnu.org>
1022 * trans-intrinsic.c (gfc_conv_allocated): If the argument se
1023 has a pre block, add it to the expression pre block.
1025 2018-02-25 Thomas Koenig <tkoenig@gcc.gnu.org>
1028 * gfortran.h (gfc_integer_4_kind): Define.
1029 * resolve.c (resolve_select_type): Make sure that the
1030 kind of c->high is gfc_integer_4_kind.
1032 2018-02-24 Steven G. Kargl <kargl@gcc.gnu.org>
1035 * decl.c (gfc_match_data): Check for invalid substring in
1038 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1040 * intrinsic.texi: Arguments to MATMUL cannot both be rank one.
1042 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1045 * trans-io.c (transfer_expr): Deal with C_LOC in transfer statement.
1047 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1050 * interface.c (compare_actual_formal): Issue error if keyword is
1051 used in a statement function.
1053 2018-02-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1056 * trans-io.c (set_parameter_value_inquire): Adjust range check of
1057 negative unit values for kind=8 units to the kind=4 negative limit.
1059 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1062 * trans-types.c (gfc_sym_type): Test sym->ns->proc_name before
1063 accessing its components.
1065 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1068 * trans-decl.c (gfc_finish_var_decl): Test sym->ns->proc_name
1069 before accessing its components.
1071 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1074 * trans-const.c : Clean up some whitespace issues.
1075 * trans-expr.c (gfc_conv_initializer): If an iso_c_binding
1076 derived type has a kind value of zero, set it to the default
1079 2018-02-23 Janne Blomqvist <jb@gcc.gnu.org>
1082 * trans-decl.c (gfc_build_builtin_function_decls): Add bool
1083 argument to stop and error stop decls.
1084 * trans-stmt.c (gfc_trans_stop): Add false value to argument
1087 2018-02-22 Janne Blomqvist <jb@gcc.gnu.org>
1091 * trans-decl.c (gfc_build_builtin_function_decls): Pass
1092 gfc_int8_type node to pause_numeric, size_type_node to
1094 * trans-stmt.c (gfc_trans_pause): Likewise.
1096 2018-02-22 Janne Blomqvist <jb@gcc.gnu.org>
1098 * gfortran.texi: Update Coarray API description.
1099 * trans-decl.c (gfc_build_builtin_function_decls): Use size_t for
1100 character lengths, int for exit codes.
1101 (generate_coarray_sym_init): Use size_t for character length.
1102 * trans-intrinsic.c (conv_co_collective): Likewise.
1103 * trans-stmt.c (gfc_trans_lock_unlock): Likewise.
1104 (gfc_trans_event_post_wait): Likewise.
1105 (gfc_trans_sync): Likewise.
1106 (gfc_trans_stop): Use size_t for character lengths, int for exit
1109 2018-02-20 Thomas Koenig <tkoenig@gcc.gnu.org>
1113 * primary.c (gfc_convert_to_structure_constructor):
1114 For a constant string constructor, make sure the length
1117 2018-02-19 Paul Thomas <pault@gcc.gnu.org>
1121 * resolve.c (resolve_assoc_var): Rearrange the logic for the
1122 determination of the character length of associate names. If
1123 the associate name is missing a length expression or the length
1124 expression is not a constant and the target is not a variable,
1125 make the associate name allocatable and deferred length.
1126 * trans-decl.c (gfc_get_symbol_decl): Null the character length
1127 backend_decl for deferred length associate names that are not
1128 variables. Set 'length' to gfc_index_zero_node for character
1129 associate names, whose character length is a PARM_DECL.
1131 2018-02-19 Thomas Koenig <tkoenig@gcc.gnu.org>
1134 * frontend-passes.c (traverse_io_block): Remove workaround for
1137 2018-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
1139 * gfortran.texi: Document additional src/dst_type. Fix some typos.
1140 * trans-decl.c (gfc_build_builtin_function_decls): Declare the new
1141 argument of _caf_*_by_ref () with * e { get, send, sendget }.
1142 * trans-intrinsic.c (gfc_conv_intrinsic_caf_get): Add the type of the
1143 data referenced when generating a call to caf_get_by_ref ().
1144 (conv_caf_send): Same but for caf_send_by_ref () and
1145 caf_sendget_by_ref ().
1147 2018-02-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1150 * io.c (check_format): Allow FMT_COLON.
1152 2018-02-18 Paul Thomas <pault@gcc.gnu.org>
1155 * trans-array.c (gfc_conv_expr_descriptor): Set parmtype from
1156 the typenode in the case of deferred length characters.
1158 2018-02-17 Thomas Koenig <tkoenig@gcc.gnu.org>
1161 * frontend-passes (scalarized_expr): If the expression
1162 is an assumed size array, leave in the last reference
1163 and pass AR_SECTION instead of AR_FULL to gfc_resolve
1164 in order to avoid an error.
1166 2018-02-17 Paul Thomas <pault@gcc.gnu.org>
1169 * resolve.c (resolve_assoc_var): If a non-constant target expr.
1170 has no string length expression, make the associate variable
1171 into a deferred length, allocatable symbol.
1172 * trans-decl.c (gfc_is_reallocatable_lhs): Add and use a ptr to
1174 * trans-stmt.c (trans_associate_var): Null and free scalar
1175 associate names that are allocatable. After assignment, remove
1176 the allocatable attribute to prevent reallocation.
1178 2018-02-16 Jakub Jelinek <jakub@redhat.com>
1181 * trans-openmp.c (gfc_trans_omp_clauses): For OMP_CLAUSE_LINEAR_REF
1182 kind set OMP_CLAUSE_LINEAR_STEP to TYPE_SIZE_UNIT times last_step.
1184 2018-02-16 Dominique d'Humieres <dominiq@gcc.gnu.org>
1187 * decl.c (gfc_get_pdt_instance): Replace '%qs' with %qs.
1189 2018-02-15 Janus Weil <janus@gcc.gnu.org>
1192 * interface.c (check_dtio_arg_TKR_intent): Add a check for character
1195 2018-02-14 Janus Weil <janus@gcc.gnu.org>
1198 * match.c (gfc_match_select_type): Fix check for selector in
1199 SELECT TYPE statement.
1201 2018-02-13 Janus Weil <janus@gcc.gnu.org>
1204 * symbol.c (check_conflict): Reject procedure pointers in common blocks.
1206 2018-02-13 Alastair McKinstry <alastair.mckinstry@sceal.ie>
1207 Janne Blomqvist <jb@gcc.gnu.org>
1209 * module.c (dump_module): Use lbasename to ensure that module
1210 files are reproducible.
1212 2018-02-12 Janus Weil <janus@gcc.gnu.org>
1215 * resolve.c (resolve_component): Fix checks of passed argument in
1216 procedure-pointer components.
1218 2018-02-11 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1221 * resolve.c (resolve_formal_arglist): Update error message.
1223 2018-02-11 Andre Vehreschild <vehre@gcc.gnu.org>
1225 * gfortran.texi: Fix typos in documentation of caf_register ().
1226 * trans-array.c (structure_alloc_comps): Only register a component of
1227 a derived typed corray, not of an ultimate component coarray.
1229 2018-02-11 Steven G. Kargl <kargl@gcc.gnu.org>
1233 * interface.c (compare_actual_formal): Add in_statement_function
1234 bool parameter. Skip check of INTENT attribute for statement
1235 functions. Arguments to a statement function cannot be optional,
1236 issue error for missing argument.
1237 (gfc_procedure_use, gfc_ppc_use, gfc_arglist_matches_symbol): Use
1238 in_statement_function.
1240 2018-02-11 Paul Thomas <pault@gcc.gnu.org>
1243 * trans-expr.c (gfc_conv_derived_to_class): Set the use_offset
1244 flag. If the is a vector subscript or the expression is not a
1245 variable, make the descriptor one-based.
1247 2018-02-10 Paul Thomas <pault@gcc.gnu.org>
1251 * trans-array.c (gfc_array_init_size): Revert the change made
1252 in revision 257356 setting the dtype.
1253 * trans-types.c (gfc_get_dtype): Do not use the cached dtype.
1254 Call gfc_get_dtype_rank_type every time.
1257 * trans-array.c (gfc_conv_expr_descriptor): If the source array
1258 is a descriptor type, use its offset, removing the condition
1259 that is be a class expression.
1261 2018-02-07 Steven G. Kargl <kargl@gcc.gnu.org>
1264 * match.c (gfc_match_deallocate): Check for NULL pointer.
1266 2018-02-07 Thomas Koenig <tkoenig@gcc.gnu.org>
1269 * trans-intrinsic.c (gfc_conv_intrinsic_shape): New function.
1270 (gfc_conv_intrinsic_function): Call it.
1272 2018-02-07 Steven G. Kargl <kargl@gcc.gnu.org>
1275 * match.c (gfc_match_type_spec): If the charlen is non-NULL, then
1276 try to resolve it. While here return early if possible.
1278 2018-02-04 Paul Thomas <pault@gcc.gnu.org>
1281 * trans-decl.c (gfc_get_symbol_decl): Do not finish the decl of
1282 'length' if the symbol charlen backend_decl is an indirect ref.
1284 2018-02-03 Paul Thomas <pault@gcc.gnu.org>
1288 * trans-array.c (gfc_array_init_size): Instead of gfc_get_dtype
1289 use gfc_get_dtype_rank_type.
1291 2018-02-01 Janne Blomqvist <jb@gcc.gnu.org>
1295 * resolve.c (resolve_assoc_var): Generate an error if
1296 target length unknown.
1298 2018-02-01 Janne Blomqvist <jb@gcc.gnu.org>
1301 * simplify.c (gfc_simplify_repeat): Increase limit for deferring
1302 to runtime, print a warning message.
1304 2018-01-31 Jakub Jelinek <jakub@redhat.com>
1307 * openmp.c (gfc_match_omp_clauses): If all the linear
1308 gfc_match_omp_variable_list calls failed, don't gfc_free_omp_namelist
1309 nor set *head = NULL. Formatting fixes.
1311 2018-01-31 Paul Thomas <pault@gcc.gnu.org>
1314 * trans-expr.c (gfc_conv_procedure_call): If the parm expr is
1315 an address expression passed to an assumed rank dummy, convert
1316 to an indirect reference.
1318 2018-01-31 Thomas Koenig <tkoenig@gcc.gnu.org>
1320 * dump-parse-tree.c (write_proc): Use sym_name (which may
1321 be sym->binding_label) instead of sym->name.
1323 2018-01-31 Janne Blomqvist <jb@gcc.gnu.org>
1325 * trans-const.c (gfc_conv_string_init): Use gfc_charlen_t instead
1328 2018-01-31 Janne Blomqvist <jb@gcc.gnu.org>
1331 * trans-expr.c (fill_with_spaces): Use memset instead of
1333 (gfc_trans_string_copy): Improve opportunity to use builtins with
1336 2018-01-30 Jakub Jelinek <jakub@redhat.com>
1339 * trans-array.c (gfc_get_descriptor_offsets_for_info): Set *data_off
1340 to DATA_FIELD's offset rather than OFFSET_FIELD's offset.
1342 2018-01-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1345 * array.c (gfc_ref_dimen_size): Whitespace fixes. If stride is
1348 2018-01-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1351 * frontend-passes (matmul_to_var_expr): Return early if
1352 in association list.
1353 (inline_matmul_assign): Likewise.
1355 2017-01-29 Thomas Koenig <tkoenig@gcc.gnu.org>
1358 * resolve.c (resolve_component): Ensure BIND(C) character
1359 components have length one.
1360 (resolve_symbol): Likewise for variables.
1362 2018-01-27 Jakub Jelinek <jakub@redhat.com>
1365 * decl.c (add_init_expr_to_sym): Ignore initializers for too large
1368 2018-01-26 Damian Rouson <damian@sourceryinstitute.org>
1369 Alessandro Fanfarillo <fanfarillo.gcc@gmail.com>
1370 Soren Rasmussen <s.c.rasmussen@gmail.com>
1372 Partial support for Fortran 2018 teams features.
1374 * array.c (gfc_match_array_ref): add team attribute in coarray
1376 * check.c (gfc_check_get_team, gfc_check_team_number): add new
1377 functions for get_team and team_number.
1378 * dump-parse-tree.c (show_code_node): add new statements: form team,
1379 change team, end team, and sync team.
1380 * expr.c (gfc_find_team_co): add new function.
1381 * gfortran.h: add new statements.
1382 * intrinsic.c (add_functions): add get_team and team_number functions.
1383 * intrinsic.h: add get_team and team_number prototypes for check,
1384 simplify, and resolve.
1385 * iresolve.c (gfc_resolve_get_team, gfc_resolve_team_number): add new
1387 * iso-fortran-env.def: add the team_type derived type.
1388 * match.c (gfc_match_if, gfc_match_form_team, gfc_match_team_number)
1389 (gfc_match_end_team, gfc_match_sync_team, gfc_match_change_team):
1390 add change team, end team, form team, sync team match and functions.
1391 * match.h: add new prototypes for change team, end team, form team,
1393 * parse.c (decode_statement): add cases for change team, end team,
1394 form team, and sync team.
1395 * resolve.c: add cases for exec form team, change team, end team, and
1397 * simplify.c (gfc_simplify_get_team): add new function for get team.
1398 * st.c (gfc_free_statement): add cases exec for change team, end team,
1399 form team, sync team.
1400 * trans-decl.c (gfor_fndecl_caf_form_team)
1401 (gfor_fndecl_caf_change_team, gfor_fndecl_caf_end_team)
1402 (gfor_fndecl_caf_sync_team, gfor_fndecl_caf_get_team)
1403 (gfor_fndecl_caf_team_number): add functions and definitions.
1404 * trans-intrinsic.c (conv_caf_send, conv_intrinsic_team_number): add
1405 new function and team_type argument support.
1406 * trans-stmt.c (gfc_trans_form_team, gfc_trans_change_team)
1407 (gfc_trans_end_team, gfc_trans_sync_team): add new functions.
1408 * trans-stmt.h: add new prototypes.
1409 * trans-types.c (gfc_get_derived_type): check condition for team_type.
1410 * trans.c (trans_code): new exec cases for form team, change team, end
1411 team, and sync team.
1412 * trans.h: add new prototypes.
1414 2018-01-26 Steven G. Kargl <kargl@gcc.gnu.org>
1417 * simplify.c (compute_dot_product): Initialize result to INTEGER(1) 0
1418 or .false. The summation does the correct type conversion.
1419 (gfc_simplify_dot_product): Special case zero-sized arrays.
1421 2018-25-01 Paul Thomas <pault@gcc.gnu.org>
1424 * array.c (gfc_match_array_ref): If standard earlier than F2008
1425 it is an error if the reference dimension is greater than 7.
1426 libgfortran.h : Increase GFC_MAX_DIMENSIONS to 15. Change the
1427 dtype masks and shifts accordingly.
1428 * trans-array.c (gfc_conv_descriptor_dtype): Use the dtype
1429 type node to check the field.
1430 (gfc_conv_descriptor_dtype): Access the rank field of dtype.
1431 (duplicate_allocatable_coarray): Access the rank field of the
1432 dtype descriptor rather than the dtype itself.
1433 * trans-expr.c (get_scalar_to_descriptor_type): Store the type
1434 of 'scalar' on entry and use its TREE_TYPE if it is ARRAY_TYPE
1436 (gfc_conv_procedure_call): Pass TREE_OPERAND (tmp,0) to
1437 get_scalar_to_descriptor_type if the actual expression is a
1439 (gfc_trans_structure_assign): Assign the rank directly to the
1441 * trans-intrinsic.c (gfc_conv_intrinsic_rank): Cast the result
1442 to default integer kind.
1443 (gfc_conv_intrinsic_sizeof): Obtain the element size from the
1444 'elem_len' field of the dtype.
1445 * trans-io.c (gfc_build_io_library_fndecls): Replace
1446 gfc_int4_type_node with dtype_type_node where necessary.
1447 (transfer_namelist_element): Use gfc_get_dtype_rank_type for
1449 * trans-types.c : Provide 'get_dtype_type_node' to acces the
1450 dtype_type_node and, if necessary, build it.
1451 The maximum size of an array element is now determined by the
1452 maximum value of size_t.
1453 Update the description of the array descriptor, including the
1454 type def for the dtype_type.
1455 (gfc_get_dtype_rank_type): Build a constructor for the dtype.
1456 Distinguish RECORD_TYPEs that are BT_DERIVED or BT_CLASS.
1457 (gfc_get_array_descriptor_base): Change the type of the dtype
1458 field to dtype_type_node.
1459 (gfc_get_array_descr_info): Get the offset to the rank field of
1461 * trans-types.h : Add a prototype for 'get_dtype_type_node ()'.
1462 * trans.h : Define the indices of the dtype fields.
1464 2018-23-01 Paul Thomas <pault@gcc.gnu.org>
1467 * decl.c (gfc_match_derived_decl): If eos not matched, recover
1468 and emit error about garbage after declaration.
1470 2018-23-01 Paul Thomas <pault@gcc.gnu.org>
1473 * trans-stmt.c (trans_associate_var): Do not set cst_array_ctor
1476 2018-01-22 Janne Blomqvist <jb@gcc.gnu.org>
1480 * arith.c (gfc_arith_concat): Use size_t for string length.
1481 (gfc_compare_string): Likewise.
1482 (gfc_compare_with_Cstring): Likewise.
1483 * array.c (gfc_resolve_character_array_constructor): Use
1484 HOST_WIDE_INT, gfc_mpz_get_hwi.
1485 * check.c (gfc_check_fe_runtime_error): Use size_t.
1486 * data.c (create_character_initializer): Use HOST_WIDE_INT,
1488 * decl.c (gfc_set_constant_character_len): Use gfc_charlen_t.
1489 (add_init_expr_to_sym): Use HOST_WIDE_INT.
1490 * expr.c (gfc_build_init_expr): Use HOST_WIDE_INT,
1492 (gfc_apply_init): Likewise.
1493 * match.h (gfc_set_constant_character_len): Update prototype.
1494 * primary.c (match_string_constant): Use size_t.
1495 * resolve.c (resolve_ordinary_assign): Use HOST_WIDE_INT,
1497 * simplify.c (init_result_expr): Likewise.
1498 (gfc_simplify_len_trim): Use size_t.
1499 * target-memory.c (gfc_encode_character): Use size_t.
1500 (gfc_target_encode_expr): Use HOST_WIDE_INT, gfc_mpz_get_hwi.
1501 (interpret_array): Use size_t.
1502 (gfc_interpret_character): Likewise.
1503 * target-memory.h (gfc_encode_character): Update prototype.
1504 (gfc_interpret_character): Likewise.
1505 (gfc_target_interpret_expr): Likewise.
1506 * trans-const.c (gfc_build_string_const): Use size_t for length
1508 (gfc_build_wide_string_const): Likewise.
1509 * trans-const.h (gfc_build_string_const): Likewise.
1510 (gfc_build_wide_string_const): Likewise.
1512 2018-01-20 Steven G. Kargl <kargl@gcc.gnu.org>
1515 * simplify.c (gfc_simplify_matmul): Set return type correctly.
1517 2018-01-19 Steven G. Kargl <kargl@gcc.gnu.org>
1520 * simplify.c (gfc_simplify_matmul): Delete bogus assertion.
1522 2018-01-17 Harald Anlauf <anlauf@gmx.de>
1525 * expr.c (add_init_expr_to_sym): Do not dereference NULL pointer.
1527 2018-01-17 Harald Anlauf <anlauf@gmx.de>
1530 * decl.c (add_init_expr_to_sym): Do not dereference NULL pointer.
1532 2018-01-15 Louis Krupp <louis.krupp@zoho.com>
1535 * interface.c (compare_rank): Don't try to retrieve CLASS_DATA
1536 from symbol marked unlimited polymorphic.
1537 * resolve.c (resolve_structure_cons): Likewise.
1538 * misc.c (gfc_typename): Don't dereference derived->components
1541 2018-01-15 Thomas Koenig <tkoenig@gcc.gnu.org>
1544 * gfortran.h (gfc_check_f): Rename f4ml to f5ml.
1545 (gfc_logical_4_kind): New macro
1546 * intrinsic.h (gfc_simplify_minloc): Add a gfc_expr *argument.
1547 (gfc_simplify_maxloc): Likewise.
1548 (gfc_resolve_maxloc): Likewise.
1549 (gfc_resolve_minloc): Likewise.
1550 * check.c (gfc_check_minloc_maxloc): Add checking for "back"
1551 argument; also raise error if it is used (for now). Add it
1552 if it isn't present.
1553 * intrinsic.c (add_sym_4ml): Rename to
1554 (add_sym_5ml), adjust for extra argument.
1555 (add_functions): Add "back" constant. Adjust maxloc and minloc
1557 * iresolve.c (gfc_resolve_maxloc): Add back argument. If back is
1558 not of gfc_logical_4_kind, convert.
1559 (gfc_resolve_minloc): Likewise.
1560 * simplify.c (gfc_simplify_minloc): Add back argument.
1561 (gfc_simplify_maxloc): Likewise.
1562 * trans-intinsic.c (gfc_conv_intrinsic_minmaxloc): Rename last
1563 argument to %VAL to ensure passing by value.
1564 (gfc_conv_intrinsic_function): Call gfc_conv_intrinsic_minmaxloc
1565 also for library calls.
1567 2018-01-13 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1570 * resolve.c (resolve_transfer): Delete code looking for 'DT'
1571 format specifiers in format strings. Set formatted to true if a
1572 format string or format label is present.
1573 * trans-io.c (get_dtio_proc): Likewise. (transfer_expr): Fix
1576 2018-01-13 Thomas Koenig <tkoenig@gcc.gnu.org>
1579 * dump-parse-tree.c (get_c_type_name): Remove extra line.
1580 Change for loop to use declaration in for loop. Handle BT_LOGICAL
1582 (write_decl): Add where argument. Fix indentation. Replace
1583 assert with error message. Add typename to warning
1585 (write_type): Adjust locus to call of write_decl.
1586 (write_variable): Likewise.
1587 (write_proc): Likewise. Replace assert with error message.
1589 2018-01-13 Paul Thomas <pault@gcc.gnu.org>
1592 * trans-expr.c (gfc_trans_scalar_assign): Flag is_alloc_lhs if
1593 the rhs expression is neither an elemental nor a conversion
1597 * trans-array.c (is_pointer_array): Remove unconditional return
1598 of false for -fopenmp.
1600 2018-01-13 Thomas Koenig <tkoenig@gcc.gnu.org>
1604 * dump-parse-tree.c (write_proc): Always emit closing parenthesis
1607 2018-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
1610 * resolve.c (resolve_allocate_expr): Check for NULL pointer.
1612 2018-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
1615 * resolve.c (resolve_charlen): Check the type of cl->length
1618 2018-01-10 Janne Blomqvist <jb@gcc.gnu.org>
1621 * trans-array.c (gfc_trans_array_ctor_element): Fix formatting.
1623 2018-01-10 Janne Blomqvist <jb@gcc.gnu.org>
1626 * trans-array.c (gfc_trans_array_ctor_element): Convert RHS to the
1627 LHS type when assigning.
1629 2018-01-09 Steven G. Kargl <kargl@gcc.gnu.org>
1632 * expr.c (gfc_is_simply_contiguous): Check for NULL pointer.
1634 2018-01-08 Steven G. Kargl <kargl@gcc.gnu.org>
1636 * match.c (gfc_match_allocate): Check for NULL pointer.
1638 2018-01-08 Steven G. Kargl <kargl@gcc.gnu.org>
1640 * expr.c (gfc_check_pointer_assign): Fix typo in comment.
1642 2018-01-08 Paul Thomas <pault@gcc.gnu.org>
1645 * decl.c (gfc_get_pdt_instance): If parameterized arrays have
1646 an initializer, convert the kind parameters and add to the
1647 component if the instance.
1648 * trans-array.c (structure_alloc_comps): Add 'is_pdt_type' and
1649 use it with case COPY_ALLOC_COMP. Call 'duplicate_allocatable'
1650 for parameterized arrays. Clean up typos in comments. Convert
1651 parameterized array initializers and copy into the array.
1652 * trans-expr.c (gfc_trans_scalar_assign): Do a deep copy for
1653 parameterized types.
1654 *trans-stmt.c (trans_associate_var): Deallocate associate vars
1655 as necessary, when they are PDT function results for example.
1658 * trans-array.c (structure_alloc_comps): Only compare len parms
1659 when they are declared explicitly.
1661 2018-01-06 Janne Blomqvist <jb@gcc.gnu.org>
1664 * trans-expr.c (gfc_trans_pointer_assignment): fold_convert rhs to
1667 2018-01-05 Janne Blomqvist <jb@gcc.gnu.org>
1671 * array.c (got_charlen): Use gfc_charlen_int_kind.
1672 * class.c (gfc_find_derived_vtab): Use gfc_size_kind instead of
1674 (find_intrinsic_vtab): Likewise.
1675 * decl.c (match_char_length): Use gfc_charlen_int_kind.
1676 (add_init_expr_to_sym): Use gfc_charlen_t and gfc_charlen_int_kind.
1677 (gfc_match_implicit): Use gfc_charlen_int_kind.
1678 * dump-parse-tree.c (show_char_const): Use gfc_charlen_t and size_t.
1679 (show_expr): Use HOST_WIDE_INT_PRINT_DEC.
1680 * expr.c (gfc_get_character_expr): Length parameter of type
1682 (gfc_get_int_expr): Value argument of type HOST_WIDE_INT.
1683 (gfc_extract_hwi): New function.
1684 (simplify_const_ref): Make string_len of type gfc_charlen_t.
1685 (gfc_simplify_expr): Use HOST_WIDE_INT for substring refs.
1686 * frontend-passes.c (optimize_trim): Use gfc_charlen_int_kind.
1687 * gfortran.h (gfc_mpz_get_hwi): New prototype.
1688 (gfc_mpz_set_hwi): Likewise.
1689 (gfc_charlen_t): New typedef.
1690 (gfc_expr): Use gfc_charlen_t for character lengths.
1691 (gfc_size_kind): New extern variable.
1692 (gfc_extract_hwi): New prototype.
1693 (gfc_get_character_expr): Use gfc_charlen_t for character length.
1694 (gfc_get_int_expr): Use HOST_WIDE_INT type for value argument.
1695 * gfortran.texi: Update description of hidden string length argument.
1696 * iresolve.c (check_charlen_present): Use gfc_charlen_int_kind.
1697 (gfc_resolve_char_achar): Likewise.
1698 (gfc_resolve_repeat): Pass string length directly without
1699 temporary, use gfc_charlen_int_kind.
1700 (gfc_resolve_transfer): Use gfc_charlen_int_kind.
1701 * match.c (select_intrinsic_set_tmp): Use HOST_WIDE_INT for charlen.
1702 * misc.c (gfc_mpz_get_hwi): New function.
1703 (gfc_mpz_set_hwi): New function.
1704 * module.c (atom_int): Change type from int to HOST_WIDE_INT.
1705 (parse_integer): Don't complain about large integers.
1706 (write_atom): Use HOST_WIDE_INT for integers.
1707 (mio_integer): Handle integer type mismatch.
1708 (mio_hwi): New function.
1709 (mio_intrinsic_op): Use HOST_WIDE_INT.
1710 (mio_array_ref): Likewise.
1711 (mio_expr): Likewise.
1712 * primary.c (match_substring): Use gfc_charlen_int_kind.
1713 * resolve.c (resolve_substring_charlen): Use gfc_charlen_int_kind.
1714 (resolve_character_operator): Likewise.
1715 (resolve_assoc_var): Likewise.
1716 (resolve_select_type): Use HOST_WIDE_INT for charlen, use snprintf.
1717 (resolve_charlen): Use mpz_sgn to determine sign.
1718 * simplify.c (gfc_simplify_repeat): Use HOST_WIDE_INT/gfc_charlen_t
1720 * symbol.c (generate_isocbinding_symbol): Use gfc_charlen_int_kind.
1721 * target-memory.c (size_character): Length argument of type
1723 (gfc_encode_character): Likewise.
1724 (gfc_interpret_character): Use gfc_charlen_t.
1725 * target-memory.h (gfc_encode_character): Modify prototype.
1726 * trans-array.c (gfc_trans_array_ctor_element): Use existing type.
1727 (get_array_ctor_var_strlen): Use gfc_conv_mpz_to_tree_type.
1728 (trans_array_constructor): Use existing type.
1729 (get_array_charlen): Likewise.
1730 * trans-const.c (gfc_conv_mpz_to_tree_type): New function.
1731 * trans-const.h (gfc_conv_mpz_to_tree_type): New prototype.
1732 * trans-decl.c (gfc_trans_deferred_vars): Use existing type.
1733 (add_argument_checking): Likewise.
1734 * trans-expr.c (gfc_class_len_or_zero_get): Build const of type
1735 gfc_charlen_type_node.
1736 (gfc_conv_intrinsic_to_class): Use gfc_charlen_int_kind instead of
1737 4, fold_convert to correct type.
1738 (gfc_conv_class_to_class): Build const of type size_type_node for
1740 (gfc_copy_class_to_class): Likewise.
1741 (gfc_conv_string_length): Use same type in expression.
1742 (gfc_conv_substring): Likewise, use HOST_WIDE_INT for charlen.
1743 (gfc_conv_string_tmp): Make sure len is of the right type.
1744 (gfc_conv_concat_op): Use same type in expression.
1745 (gfc_conv_procedure_call): Likewise.
1746 (fill_with_spaces): Comment out memset() block due to spurious
1747 -Wstringop-overflow warnings.
1748 (gfc_trans_string_copy): Use gfc_charlen_type_node.
1749 (alloc_scalar_allocatable_for_subcomponent_assignment):
1750 fold_convert to right type.
1751 (gfc_trans_subcomponent_assign): Likewise.
1752 (trans_class_vptr_len_assignment): Build const of correct type.
1753 (gfc_trans_pointer_assignment): Likewise.
1754 (alloc_scalar_allocatable_for_assignment): fold_convert to right
1756 (trans_class_assignment): Build const of correct type.
1757 * trans-intrinsic.c (gfc_conv_associated): Likewise.
1758 (gfc_conv_intrinsic_repeat): Do calculation in sizetype.
1759 * trans-io.c (gfc_build_io_library_fndecls): Use
1760 gfc_charlen_type_node for character lengths.
1761 (set_string): Convert to right type in assignment.
1762 * trans-stmt.c (gfc_trans_label_assign): Build const of
1763 gfc_charlen_type_node.
1764 (trans_associate_var): Likewise.
1765 (gfc_trans_character_select): Likewise.
1766 (gfc_trans_allocate): Likewise, don't typecast strlen result.
1767 (gfc_trans_deallocate): Don't typecast strlen result.
1768 * trans-types.c (gfc_size_kind): New variable.
1769 (gfc_init_types): Determine gfc_charlen_int_kind and gfc_size_kind
1770 from size_type_node.
1771 * trans-types.h: Fix comment.
1773 2018-01-04 Thomas Koenig <tkoenig@gcc.gnu.org>
1777 * check.c (gfc_check_eoshift): Check for string length and
1778 for conformance of boundary.
1779 * intrinsic.c (add_functions): Add gfc_simplify_eoshift.
1780 * intrinsic.h: Add prototype for gfc_simplify_eoshift.
1781 * simplify.c (gfc_simplify_eoshift): New function.
1783 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
1784 Alan Hayward <alan.hayward@arm.com>
1785 David Sherwood <david.sherwood@arm.com>
1787 * trans-types.c (gfc_type_for_mode): Handle MODE_VECTOR_BOOL.
1789 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
1790 Alan Hayward <alan.hayward@arm.com>
1791 David Sherwood <david.sherwood@arm.com>
1793 * trans-types.c (gfc_type_for_mode): Check valid_vector_subparts_p.
1795 2018-01-03 Thomas Koenig <tkoenig@gcc.gnu.org>
1798 * check.c (gfc_check_eoshift): Error for missing boundary if array
1799 is not one of the standard types.
1801 2018-01-03 Jakub Jelinek <jakub@redhat.com>
1803 Update copyright years.
1805 * gfortranspec.c (lang_specific_driver): Update copyright notice
1807 * gfc-internals.texi: Bump @copying's copyright year.
1808 * gfortran.texi: Ditto.
1809 * intrinsic.texi: Ditto.
1810 * invoke.texi: Ditto.
1812 2017-01-02 Thomas Koenig <tkoenig@gcc.gnu.org>
1815 * intrinsic.c (add_function): Add gfc_simplify_maxloc and
1816 gfc_simplify_minloc to maxloc and minloc, respectively.
1817 * intrinsic.h: Add prototypes for gfc_simplify_minloc
1818 and gfc_simplify_maxloc.
1819 * simplify.c (min_max_chose): Adjust prototype. Modify function
1820 to have a return value which indicates if the extremum was found.
1821 (is_constant_array_expr): Fix typo in comment.
1822 (simplify_minmaxloc_to_scalar): New function.
1823 (simplify_minmaxloc_nodim): New function.
1824 (new_array): New function.
1825 (simplify_minmaxloc_to_array): New function.
1826 (gfc_simplify_minmaxloc): New function.
1827 (simplify_minloc): New function.
1828 (simplify_maxloc): New function.
1830 2018-01-02 Thomas Koenig <tkoenig@gcc.gnu.org>
1834 * simplify.c (gfc_simplify_cshift): Re-implement to allow full
1837 2018-01-01 Paul Thomas <pault@gcc.gnu.org>
1840 * resolve.c (resolve_fl_derived0): Add caf_token fields for
1841 allocatable and pointer scalars, when -fcoarray selected.
1842 * trans-types.c (gfc_copy_dt_decls_ifequal): Copy the token
1843 field as well as the backend_decl.
1844 (gfc_get_derived_type): Flag GFC_FCOARRAY_LIB for module
1845 derived types that are not vtypes. Components with caf_token
1846 attribute are pvoid types. For a component requiring it, find
1847 the caf_token field and have the component token field point to
1851 *trans-types.c (gfc_get_array_descriptor_base): Add the token
1852 field to the descriptor even when codimen not set.
1854 Copyright (C) 2018 Free Software Foundation, Inc.
1856 Copying and distribution of this file, with or without modification,
1857 are permitted in any medium without royalty provided the copyright
1858 notice and this notice are preserved.