1 2018-09-24 Bernhard Reuther-Fischer <aldot@gcc.gnu.org>
2 Cesar Philippidis <cesar@codesourcery.com>
4 * openmp.c (resolve_oacc_loop_blocks):
6 2018-09-23 Thomas Koenig <tkoenig@gcc.gnu.org>
9 * gfc_conv_procedure_call: Do not add clobber on INTENT(OUT)
10 for variables having the dimension attribute.
12 2018-09-23 Janne Blomqvist <jb@gcc.gnu.org>
14 * trans-expr.c (gfc_caf_get_image_index): Do array index
15 calculations in gfc_array_index_type.
16 * trans-intrinsic.c (conv_intrinsic_event_query): Likewise.
17 * trans-stmt.c (gfc_trans_lock_unlock): Likewise.
18 (gfc_trans_event_post_wait): Likewise.
20 2018-09-23 Thomas Koenig <tkoenig@gcc.gnu.org>
23 * gfc_conv_procedure_call: Reformat comments slightly. Do not add
24 clobber on INTENT(OUT) for saved variables.
26 2018-09-22 Thomas Koenig <tkoenig@gcc.gnu.org>
29 * trans.h (gfc_conv_expr_reference): Add optional argument
30 add_clobber to prototype.
31 (gfc_conv_procedure_call): Set add_clobber argument to
32 gfc_conv_procedure_reference to true for scalar, INTENT(OUT),
33 non-pointer, non-allocatable, non-dummy variables whose type
34 is neither BT_CHARACTER, BT_DERIVED or BT_CLASS, but only if
35 the procedure is not elemental.
36 * trans-expr.c (gfc_conv_procedure_reference): Add clobber
37 statement before call if add_clobber is set.
39 2018-09-22 Paul Thomas <pault@gcc.gnu.org>
42 * trans-array.c (gfc_alloc_allocatable_for_assignment): Test
43 the charlen backend_decl before using the VAR_P macro.
45 2018-09-21 Paul Thomas <pault@gcc.gnu.org>
48 * trans-array.c (gfc_alloc_allocatable_for_assignment): If the
49 rhs has a charlen expression, convert that and use it.
50 * trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
51 assignment of deferred character array vars to a realocatable
52 lhs should not be added to the exterior block since vector
53 indices, for example, generate temporaries indexed within the
56 2018-09-21 Paul Thomas <pault@gcc.gnu.org>
59 * trans-stmt.c (gfc_trans_allocate): Don't deallocate alloc
60 components if must_finalize is set for expr3.
62 2018-09-21 Andrew Stubbs <ams@codesourcery.com>
63 Kwok Cheung Yeung <kcy@codesourcery.com>
65 * trans-expr.c (gfc_trans_structure_assign): Ensure that the first
66 argument of a call to _gfortran_caf_register is of size_type_node.
67 * trans-intrinsic.c (conv_intrinsic_event_query): Convert computed
68 index to a size_type_node type.
69 * trans-stmt.c (gfc_trans_event_post_wait): Likewise.
71 2018-09-20 Allan Sandfeld Jensen <allan.jensen@qt.io>
73 * gfortranspec.c (lang_specific_driver): Handle -r like -nostdlib.
75 2018-09-20 Janus Weil <janus@gcc.gnu.org>
77 * gfortran.h (gfc_str_startswith): New macro.
78 * decl.c (variable_decl, gfc_match_end): Use it.
79 * iresolve.c (is_trig_resolved): Ditto.
80 * module.c (load_omp_udrs, read_module): Ditto.
81 * options.c (gfc_handle_runtime_check_option): Ditto.
82 * primary.c (match_arg_list_function): Ditto.
83 * trans-decl.c (gfc_get_symbol_decl): Ditto.
84 * trans-expr.c (gfc_conv_procedure_call): Ditto.
85 * interface.c (dtio_op): Replace strncmp by strcmp.
86 * resolve.c (resolve_actual_arglist, resolve_function): Ditto.
87 * trans-expr.c (conv_arglist_function): Ditto.
88 * trans-intrinsic.c (gfc_conv_ieee_arithmetic_function): Replace macro
89 STARTS_WITH by gfc_str_startswith.
91 2018-09-20 Cesar Philippidis <cesar@codesourcery.com>
93 * dump-parse-tree.c (show_omp_clauses): Add missing omp list_types
94 and reorder the switch cases to match the enum in gfortran.h.
96 2018-09-19 Paul Thomas <pault@gcc.gnu.org>
99 * trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
100 assignment of deferred character intrinsic elemental function
101 results to a realocatable lhs must not be added to the exterior
102 block if they are array valued but must go to the loop body.
104 2018-09-18 Thomas Koenig <tkoenig@gcc.gnu.org>
107 * gfortran.h (gfc_expr): Add external_blas flag.
108 * frontend-passes.c (matrix_case): Add case A2TB2T.
109 (optimize_namespace): Handle flag_external_blas by
110 calling call_external_blas.
111 (get_array_inq_function): Add argument okind. If
112 it is nonzero, use it as the kind of argument
114 (inline_limit_check): Remove m_case argument, add
115 limit argument instead. Remove assert about m_case.
116 Set the limit for inlining from the limit argument.
117 (matmul_lhs_realloc): Handle case A2TB2T.
118 (inline_matmul_assign): Handle inline limit for other cases with
119 two rank-two matrices. Remove no-op calls to inline_limit_check.
120 (call_external_blas): New function.
121 * trans-intrinsic.c (gfc_conv_intrinsic_funcall): Do not add
122 argument to external BLAS if external_blas is already set.
124 2018-09-18 Paul Thomas <pault@gcc.gnu.org>
127 * trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
128 assignment of deferred character elemental function results to
129 a realocatable lhs must not be added to the exterior block but
130 must go to the loop body.
132 2018-09-18 Paul Thomas <pault@gcc.gnu.org>
135 * trans-array.c (gfc_get_array_span): Try to get the element
136 length of incomplete types. Return NULL_TREE otherwise.
137 (gfc_conv_expr_descriptor): Only set the 'span' field if the
138 above does not return NULL_TREE. Set 'span' field if possible
139 for all new descriptors.
141 2018-09-17 Paul Thomas <pault@gcc.gnu.org>
144 * trans-decl.c (gfc_get_symbol_decl): Flag allocatable, scalar
145 characters with a variable length expression for deferred init.
146 (gfc_trans_deferred_vars): Perform the assignment for these
147 symbols by calling gfc_conv_string_length.
149 2018-09-17 Paul Thomas <pault@gcc.gnu.org>
152 * resolve.c (resolve_assoc_var): If the target expression is a
153 deferred charlen dummy and the associate name shares the
154 charlen, generate a new one. Make sure that new charlens are in
155 the namespace list so that they get cleaned up.
156 * trans-array.c (gfc_is_reallocatable_lhs): Associate names are
158 * trans-decl.c (gfc_get_symbol_decl): Put deferred character
159 length dummy and result arrays on the deferred initialization
160 list so that the variable length arrays can be correctly dealt
162 * trans-expr.c (gfc_conv_string_length): Return if 'expr' is
163 NULL rather than ICEing..
165 2018-09-16 Janus Weil <janus@gcc.gnu.org>
169 * match.c (gfc_match_assignment): For a polymorphic assignment,
170 make sure that the vtab for the rhs type is generated.
172 2018-09-16 Thomas Koenig <tkoenig@gcc.gnu.org>
175 * frontend-passes.c (B_ERROR): New macro for matmul bounds
176 checking error messages.
178 (inline_matmul_assign): Reorganize bounds checking, use B_ERROR
181 2018-09-13 Bernd Edlinger <bernd.edlinger@hotmail.de>
183 * trans-array.c (gfc_conv_array_initializer): Remove excess precision
184 from overlength string initializers.
186 2018-09-12 Paul Thomas <pault@gcc.gnu.org>
189 * trans-expr.c (gfc_trans_class_init_assign): Access to
190 to array elements of the dynamic type requires that the array
191 reference be added to the class expression and not the _data
192 component, unlike scalar expressions.
194 2018-09-11 Janus Weil <janus@gcc.gnu.org>
197 * resolve.c (resolve_fl_derived): If a type has the 'use_assoc'
198 attribute, then it was declared in another module, so there should be
199 no error that it has not been declared.
201 2018-09-11 Paul Thomas <pault@gcc.gnu.org>
204 * expr.c (is_subref_array): Add the check of dimensionality for
205 class, dummy, pointer arrays.
207 2018-09-11 Janus Weil <janus@gcc.gnu.org>
210 * expr.c (gfc_is_simply_contiguous): Handle type-bound procedure calls
211 with non-polymorphic objects.
213 2018-09-10 Janus Weil <janus@gcc.gnu.org>
216 * decl.c (match_binding_attributes): Use correct default accessibility
217 for procedure pointer components.
219 2018-09-03 Jerry DeLisle <jvdelisle@gcc.gnu.org>
221 * simplify.c (gfc_simplify_modulo): Re-arrange code to test whether
222 'P' is zero and issue an error if it is.
224 2018-08-31 Paul Thomas <pault@gcc.gnu.org>
228 * trans-array.c (gfc_conv_scalarized_array_ref): Do not fix
229 info->descriptor but pass it directly to gfc_build_array_ref.
230 (gfc_conv_array_ref): Likewise for se->expr.
231 * trans.c (gfc_build_array_ref): If 'decl' is a COMPONENT_REF
232 obtain the span field directly from it.
234 2017-08-28 Paul Thomas <pault@gcc.gnu.org>
237 * trans-expr.c (gfc_conv_procedure_call): Allocatable class
238 scalar results being passed to a derived type formal argument
239 are finalized if possible. Otherwise, rely on existing code for
240 deallocation. Make the deallocation of allocatable result
241 components conditional on finalization not taking place. Make
242 the freeing of data components after finalization conditional
243 on the data being NULL.
244 (gfc_trans_arrayfunc_assign): Change the gcc_assert to a
245 condition to return NULL_TREE.
246 (gfc_trans_assignment_1): If the assignment is class to class
247 and the rhs expression must be finalized but the assignment
248 is not marked as a polymorphic assignment, use the vptr copy
249 function instead of gfc_trans_scalar_assign.
252 * trans-expr.c (gfc_conv_expr_reference): Do not add the post
253 block to the pre block if the expression is to be finalized.
254 * trans-stmt.c (gfc_trans_allocate): If the expr3 must be
255 finalized, load the post block into a finalization block and
256 add it right at the end of the allocation block.
258 2018-08-27 David Malcolm <dmalcolm@redhat.com>
261 * error.c (gfc_format_decoder): Update for conversion of
262 show_caret_p to a tri-state.
264 2018-08-25 Janus Weil <janus@gcc.gnu.org>
267 * resolve.c (resolve_transfer): Correctly determine typespec for
268 generic function calls, in order to throw a proper error.
270 2018-08-24 Thomas Koenig <tkoenig@gcc.gnu.org>
273 * frontend-passes.c (var_in_expr_callback): New function.
274 (var_in_expr): New function.
275 (traverse_io_block): Use var_in_expr instead of
276 gfc_check_dependency for checking if the variable depends on the
279 2018-08-23 Janne Blomqvist <blomqvist.janne@gmail.com>
281 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxval): Delete
282 HONOR_SIGNED_ZEROS checks.
284 2018-08-23 Paul Thomas <pault@gcc.gnu.org>
287 * resolve.c (resolve_typebound_call): If the TBP is not marked
288 as a subroutine, check the specific symbol.
290 2018-08-22 Thomas Koenig <tkoenig@gcc.gnu.org>
292 * gfortran.texi: Mention that asynchronous I/O does
293 not work on systems which lack condition variables, such
296 2018-08-22 Janus Weil <janus@gcc.gnu.org>
299 * match.c (gfc_match_associate): Improve diagnostics for the ASSOCIATE
302 2018-08-22 Andrew Benson <abensonca@gmail.com>
304 * module.c (load_generic_interfaces): Move call to find_symbol()
305 so that only occurs if actually needed.
307 2018-08-22 Janus Weil <janus@gcc.gnu.org>
310 * decl.c (gfc_match_data_decl): Allow allocatable components of
311 indirectly recursive type.
312 * resolve.c (resolve_component): Remove two errors messages ...
313 (resolve_fl_derived): ... and replace them by a new one.
315 2018-08-21 Janne Blomqvist <jb@gcc.gnu.org>
317 * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Use
318 MAX_EXPR/MIN_EXPR unconditionally for real arguments.
319 * gfortran.texi (Compiler Characteristics): Document MAX/MIN
322 2018-08-21 Nicolas Koenig <koenigni@gcc.gnu.org>
323 Thomas Koenig <tkoenig@gcc.gnu.org>
326 * gfortran.texi: Add description of asynchronous I/O.
327 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
329 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
330 st_wait_async and change argument spec from ".X" to ".w".
331 (gfc_trans_wait): Pass ID argument via reference.
333 2018-08-16 Nathan Sidwell <nathan@acm.org>
335 * cpp.c (dump_macro): Use cpp_user_macro_p.
337 2018-08-14 Janus Weil <janus@gcc.gnu.org>
340 * interface.c (compare_type): Remove a CLASS/TYPE check.
341 (compare_type_characteristics): New function that behaves like the old
343 (gfc_check_dummy_characteristics, gfc_check_result_characteristics):
344 Call 'compare_type_characteristics' instead of 'compare_type'.
346 2018-08-12 Paul Thomas <pault@gcc.gnu.org>
349 * trans-intrinsic.c (gfc_conv_intrinsic_transfer): Class array
350 elements are returned as references to the data element. Get
351 the class expression by stripping back the references. Use this
352 for the element size.
354 2018-08-12 Paul Thomas <pault@gcc.gnu.org>
357 * resolve.c (resolve_fl_variable_derived): Check if the derived
358 type is use associated before checking for the host association
361 2018-08-10 Janus Weil <janus@gcc.gnu.org>
364 * invoke.texi (frontend-optimize): Mention short-circuiting.
365 * options.c (gfc_post_options): Disable -ffrontend-optimize with -Og.
366 * resolve.c (resolve_operator): Warn about short-circuiting only with
368 * trans-expr.c (gfc_conv_expr_op): Use short-circuiting operators only
369 with -ffrontend-optimize. Without that flag, make sure that both
370 operands are evaluated.
372 2018-08-08 Nathan Sidwell <nathan@acm.org>
374 * cpp.c (cb_file_change): Use linemap_included_from.
376 2018-08-07 Cesar Philippidis <cesar@codesourcery.com>
378 * trans-stmt.h: Remove stale reference to trans-openacc.c.
380 2018-08-04 Janus Weil <janus@gcc.gnu.org>
383 * interface.c (gfc_compare_interfaces): Apply additional
384 distinguishability criteria of F08 to operator interfaces.
386 2018-07-31 Andre Vieira <andre.simoesdiasvieira@arm.com>
388 Revert 'AsyncI/O patch committed'
389 2018-07-25 Nicolas Koenig <koenigni@gcc.gnu.org>
390 Thomas Koenig <tkoenig@gcc.gnu.org>
393 * gfortran.texi: Add description of asynchronous I/O.
394 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
396 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
397 st_wait_async and change argument spec from ".X" to ".w".
398 (gfc_trans_wait): Pass ID argument via reference.
400 2018-07-25 Nicolas Koenig <koenigni@gcc.gnu.org>
401 Thomas Koenig <tkoenig@gcc.gnu.org>
404 * gfortran.texi: Add description of asynchronous I/O.
405 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
407 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
408 st_wait_async and change argument spec from ".X" to ".w".
409 (gfc_trans_wait): Pass ID argument via reference.
411 2018-07-20 Martin Sebor <msebor@redhat.com>
414 * gfortran.h (gfc_handle_option): Change function argument
416 * options.c (gfc_handle_option): Same.
418 2018-07-20 Andrew Benson <abenson@carnegiescience.edu>
420 * gfortran.h (gfc_symbol): Add pointer to next derived type.
421 (gfc_dt_list, gfc_get_dt_list): Remove.
422 (gfc_namespace): Replace gfc_dt_list with gfc_symbol.
423 * parse.c (resolve_all_program_units): Replace gfc_free_dt_list() with
424 simple nullification of gfc_derived_types.
425 * resolve.c (resolve_global_procedure): Replace gfc_dt_list with
427 (add_dt_to_dt_list): Change derived type linked list insertion to
428 utilize dt_next pointers in gfc_symbol.
429 * symbol.c (gfc_new_symbol, gfc_free_dt_list, gfc_symbol_done2)
430 (get_iso_c_binding_dt, generate_isocbinding_symbol): Remove
431 gfc_free_dt_list as gfc_dt_list is obsoleted. Change derived type
432 linked list search/insertion to utilize dt_next pointers in gfc_symbol.
433 * trans-types.c (gfc_get_derived_type): Change derived type linked
434 list search to utilize dt_next pointers in gfc_symbol.
436 2018-07-19 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
438 * trans-intrinsic.c: (gfc_conv_intrinsic_minmax): Emit MIN_MAX_EXPR
439 or IFN_FMIN/FMAX sequence to calculate the min/max when possible.
441 2018-07-18 Janus Weil <janus@gcc.gnu.org>
442 Thomas Koenig <tkoenig@gcc.gnu.org>
445 * dump-parse-tree.c (show_attr): Add handling of implicit_pure.
446 * frontend-passes.c (do_warn_function_elimination): Do not warn for
448 * gfortran.h: Add prototypes for gfc_pure_function and
449 gfc_implicit_pure_function.
450 * gfortran.texi: Add chapter on evaluation of logical expressions.
451 * invoke.texi: Mention that -Wfunction-elimination is implied
453 * lang.opt: Make -Wextra imply -Wfunction-elimination.
454 * resolve.c (pure_function): Rename to gfc_pure_function.
455 (gfc_implicit_pure_function): New function.
456 (check_pure_function): Use it here.
457 (impure_function_callback): New function.
458 (resolve_operator): Call it via gfc_expr_walker.
460 2018-07-16 Fritz Reese <fritzoreese@gmail.com>
463 * decl.c (match_old_style_init): Initialize locus of variable expr when
464 creating a data variable.
465 (match_clist_expr): Verify array is explicit shape/size before
466 attempting to allocate constant array constructor.
468 2018-07-16 Fritz Reese <fritzoreese@gmail.com>
471 * module.c (mio_component): Set component->loc when loading from module.
473 2018-07-10 Jakub Jelinek <jakub@redhat.com>
476 * module.c (omp_declare_simd_clauses): Add LINEAR with _REF, _VAL and
478 (mio_omp_declare_simd): Save and restore ref, val and uval modifiers
479 on linear clauses. Initialize n->where to gfc_current_locus.
481 2018-07-05 Paul Thomas <pault@gcc.gnu.org>
484 * resolve.c.c (resolve_contained_fntype): Reference to C418 is
485 in F2008 and not F2003.
486 (resolve_function): Ditto in error message. Also, exclude
487 deferred character length results from the error.
489 2018-07-05 Fritz Reese <fritzoreese@gmail.com>
493 * expr.c (class_allocatable, class_pointer, comp_allocatable,
494 comp_pointer): New helpers.
495 (component_initializer): Generate EXPR_NULL for allocatable or pointer
496 components. Do not generate initializers for components within BT_CLASS.
497 Do not assign to comp->initializer.
498 (gfc_generate_initializer): Use new helpers; move code to generate
499 EXPR_NULL for class allocatable components into component_initializer().
501 2018-07-04 Jerry DeLisle <jvdelisle@gcc.gnu.org>
504 * trans-decl.c (gfc_process_block_locals): Delete assert and set
505 saved_local_decls = NULL_TREE.
507 2018-07-02 Richard Biener <rguenther@suse.de>
510 * trans-types.c (gfc_get_array_type_bounds): Unshare TYPE_FIELDs
511 for the distinct type copy.
513 2018-07-02 Paul Thomas <pault@gcc.gnu.org>
517 * trans-array.c (structure_alloc_comps): Do not explicitly copy
518 procedure pointer components.
520 2018-07-02 Paul Thomas <pault@gcc.gnu.org>
523 * expr.c : Add a prototype for scalarize_intrinsic_call.
524 (gfc_simplify_expr): Use scalarize_intrinsic_call for elemental
525 intrinsic function calls.
526 (scalarize_intrinsic_call): Add 'init_flag' argument. Check if
527 the expression or any of the actual argument expressions are
528 NULL. Before calling gfc_check_init_expr, check 'init_flag'.
529 Only simplify the scalarized expressions if there are no errors
531 (gfc_check_init_expr): Set 'init_flag' true in the call to
532 scalarize_intrinsic_call.
534 2018-06-28 Fritz Reese <fritzoreese@gmail.com>
537 * decl.c (gfc_match_type): Refactor and check for PDT declarations.
539 2018-06-28 Martin Liska <mliska@suse.cz>
541 * gfortranspec.c: Include opt-suggestions.h.
543 2018-06-25 Fritz Reese <fritzoreese@gmail.com>
548 * expr.c (component_initializer): Assign init expr to c->initializer.
549 (generate_isocbinding_initializer): New.
550 (gfc_generate_initializer): Call generate_isocbinding_initializer to
551 generate initializers for c_ptr and c_funptr with -finit-derived.
553 2018-06-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
556 * interface.c (check_dtio_interface1): Delete assert.
558 2018-06-22 Paul Thomas <pault@gcc.gnu.org>
559 Rainer Orth <ro@gcc.gnu.org>
562 * resolve.c (resolve_contained_fntype): Check for the charlen
563 before testing the length.
565 2018-06-21 Paul Thomas <pault@gcc.gnu.org>
568 * resolve.c (resolve_contained_fntype): Change standard ref.
569 from F95 to F2003: C418. Correct a spelling error in a comment.
570 It is an error for an abstract interface to have an assumed
571 character length result.
572 * trans-expr.c (gfc_conv_procedure_call): Likewise change the
575 2018-06-21 Paul Thomas <pault@gcc.gnu.org>
578 * resolve.c (resolve_ordinary_assign): Force the creation of a
579 vtable for assignment of non-polymorphic expressions to an
580 unlimited polymorphic object.
581 * trans-array.c (gfc_alloc_allocatable_for_assignment): Use the
582 size of the rhs type for such assignments. Set the dtype, _len
583 and vptrs appropriately.
584 * trans-expr.c (gfc_trans_assignment): Force the use of the
585 _copy function for these assignments.
587 2018-06-20 Chung-Lin Tang <cltang@codesourcery.com>
588 Thomas Schwinge <thomas@codesourcery.com>
589 Cesar Philippidis <cesar@codesourcery.com>
591 * gfortran.h (gfc_omp_clauses): Add unsigned if_present, finalize
593 * openmp.c (enum omp_mask2): Remove OMP_CLAUSE_PRESENT_OR_*. Add
594 OMP_CLAUSE_{IF_PRESENT,FINALIZE}.
595 (gfc_match_omp_clauses): Update handling of copy, copyin, copyout,
596 create, deviceptr, present_of_*. Add support for finalize and
598 (OACC_PARALLEL_CLAUSES): Remove PRESENT_OR_* clauses.
599 (OACC_KERNELS_CLAUSES): Likewise.
600 (OACC_DATA_CLAUSES): Likewise.
601 (OACC_DECLARE_CLAUSES): Likewise.
602 (OACC_UPDATE_CLAUSES): Add IF_PRESENT clause.
603 (OACC_ENTER_DATA_CLAUSES): Remove PRESENT_OR_* clauses.
604 (OACC_EXIT_DATA_CLAUSES): Add FINALIZE clause.
605 (gfc_match_oacc_declare): Update to OpenACC 2.5 semantics.
606 * trans-openmp.c (gfc_trans_omp_clauses): Add support for IF_PRESENT
609 2018-06-18 Eric Botcazou <ebotcazou@adacore.com>
611 * trans-decl.c (gfc_get_fake_result_decl): Revert latest change.
613 2018-06-17 Eric Botcazou <ebotcazou@adacore.com>
615 * trans-decl.c (nonlocal_dummy_decl_pset): Delete.
616 (nonlocal_dummy_decls): Likewise.
617 (gfc_nonlocal_dummy_array_decl): Likewise.
618 (gfc_get_symbol_decl): Do not call gfc_nonlocal_dummy_array_decl.
619 (gfc_get_fake_result_decl): Do not generate a new DECL if simply
620 reusing the result of a recursive call.
621 (gfc_generate_function_code): Do not create, insert and destroy
622 nonlocal_dummy_decls.
624 2018-06-13 Steven G. Kargl <kargl@gcc.gnu.org>
627 * array.c (gfc_resolve_character_array_constructor): Avoid NULL
630 2018-06-13 Cesar Philippidis <cesar@codesourcery.com>
633 * parse.c (decode_oacc_directive): Set gfc_matching_function
635 (decode_omp_directive): Likewise.
637 2018-06-13 Cesar Philippidis <cesar@codesourcery.com>
640 * openmp.c (gfc_match_oacc_wait): Use %C to report error location.
642 2018-06-12 David Malcolm <dmalcolm@redhat.com>
645 * misc.c (gfc_closest_fuzzy_match): Update for renaming of
646 levenshtein_distance to get_edit_distance.
648 2018-06-12 Steven G. Kargl <kargl@gcc.gnu.org>
651 * expr.c (gfc_check_assign): Select non-NULL locus.
653 2018-06-11 Janus Weil <janus@gcc.gnu.org>
656 * interface.c (compare_ptr_alloc): New function.
657 (generic_correspondence): Call it.
659 2018-06-10 Thomas Koenig <tkoenig@gcc.gnu.org>
661 * gfortran.h (gfc_expr): Add no_bounds_check field.
662 * frontend-passes.c (get_array_inq_function): Set no_bounds_check
663 on function and function argument.
664 (inline_matmul_assign): Set no_bounds_check on zero expression
665 and on lhs of zero expression.
666 Also handle A1B2 case if realloc on assigment is active.
667 * trans-array.c (gfc_conv_array_ref): Don't do range checking
668 if expr has no_bounds_check set.
669 (gfc_conv_expr_descriptor): Set no_bounds_check on ss if expr
671 * trans-expr.c (gfc_trans_assignment_1): Set no_bounds_check
672 on lss and lss if the corresponding expressions have it set.
674 2018-06-10 Dominique d'Humieres <dominiq@gcc.gnu.org>
677 * trans-const.c: Remove include "diagnostic-core.h".
678 (gfc_conv_constant_to_tree): Replace fatal_error with gcc_unreachable.
680 2018-06-10 Janus Weil <janus@gcc.gnu.org>
683 * decl.c (match_attr_spec): Synchronize the DECL_* enum values with the
684 INTENT_* values from the enum 'sym_intent'. Call 'match_intent_spec'
685 and remove a TODO note.
686 * gfortran.h: Add a comment to sym_intent.
688 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
691 * resolve.c (resolve_operator): Provide better error message for
692 derived type entity used in an binary intrinsic numeric operator.
694 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
699 * decl.c (gfc_match_char_spec): Use private namespace in attempt to
700 reduce a charlen to a constant.
702 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
705 * data.c (gfc_assign_data_value): Re-arrange code to allow for
706 an error for double initialization of CHARACTER entities.
708 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
711 * symbol.c (gfc_add_volatile): Enforce F2008:C1282 and F2018:C1588.
713 2018-06-08 Thomas Koenig <tkoenig@gcc.gnu.org>
716 * trans.h (gfc_ss): Add field no_bounds_check.
717 * trans-array.c (gfc_conv_ss_startstride): If flag_realloc_lhs and
718 ss->no_bounds_check is set, do not use runtime checks.
719 * trans-expr.c (gfc_trans_assignment_1): Set lss->no_bounds_check
720 for reallocatable lhs.
722 2018-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
725 * array.c (match_array_cons_element): NULL() cannot be in an
728 2018-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
731 * data.c (create_character_initializer): Return early if type is
732 incompatible with CHARACTER.
734 2018-06-07 Steven G. Kargl <kargl@gcc.gnu.org>
737 * simplify.c (gfc_simplify_mod): Re-arrange code to test whether
738 'P' is zero and issue an error if it is.
740 2018-06-06 Thomas Koenig <tkoenig@gcc.gnu.org>
743 * frontend-passes.c (is_fe_temp): Add prototype.
744 (realloc_string_callback): Early return for frontend-generated
747 2018-06-05 Cesar Philippidis <cesar@codesourcery.com>
751 * openmp.c (gfc_resolve_oacc_declare): Error on functions and
752 subroutine data clause arguments.
754 2018-06-04 Steven G. Kargl <kargl@gcc.gnu.org>
757 * resolve.c (resolve_allocate_deallocate): Check errmsg is default
760 2018-06-03 Paul Thomas <pault@gcc.gnu.org>
763 * decl.c (variable_decl): Use gfc_add_type for cray pointees.
765 2018-06-01 Steven G. Kargl <kargl@gcc.gnu.org>
768 * check.c (gfc_check_random_init): New function. Check arguments of
770 * gfortran.h (GFC_ISYM_RANDOM_INIT): New enum token.
771 * intrinsic.c (add_subroutines): Add RANDOM_INIT to list of
773 (gfc_check_intrinsic_standard): Introduce Fortran 2018 check.
774 * intrinsic.h: Add prototypes for gfc_check_random_init and
775 gfc_resolve_random_init
776 * intrinsic.texi: Document new intrinsic subprogram.
777 * iresolve.c (gfc_resolve_random_init): Resolve routine name.
778 * trans-decl.c: Declare gfor_fndecl_random_init
779 * trans-intrinsic.c (conv_intrinsic_random_init): New function.
780 Translate call to RANDOM_INIT.
781 (gfc_conv_intrinsic_subroutine): Call it.
782 * trans.h: Declare gfor_fndecl_random_init
784 2018-05-27 Steven G. Kargl <kargl@gcc.gnu.org>
786 * decl.c (match_data_constant): Fortran 2018 allows pointer
787 initialization in a data statement.
789 2018-05-25 Janus Weil <janus@gcc.gnu.org>
792 * match.c (gfc_match_block_data): Call gfc_notify_std to warn about
793 an obsolescent feature in Fortran 2018.
794 (gfc_match_equivalence): Ditto.
795 * resolve.c (resolve_common_blocks): Ditto.
796 (gfc_resolve_forall): Ditto.
797 * symbol.c (gfc_define_st_label): Ditto.
799 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
802 * resolve.c (update_current_proc_array_outer_dependency): Avoid NULL
805 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
808 * resolve.c (resolve_fl_procedure): Avoid NULL dereference.
810 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
813 * decl.c (gfc_match_derived_decl): Fix NULL point dereference.
815 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
818 * resolve.c (resolve_sync): Resolve expression before checking for
821 2018-05-22 Janus Weil <janus@gcc.gnu.org>
824 * libgfortran.h: Remove the macros GFC_STD_F2008_TS and
826 * error.c (notify_std_msg): Remove GFC_STD_F2008_TS.
827 * options.c (set_default_std_flags): Ditto.
828 (gfc_handle_option): Make -std=f2008ts an alias for -std=f2018.
829 * array.c (gfc_match_array_spec): Replace GFC_STD_F2008_TS by
831 * check.c (gfc_check_atomic, gfc_check_event_query,
832 gfc_check_c_f_pointer, gfc_check_c_f_procpointer, gfc_check_c_funloc,
833 gfc_check_c_loc, gfc_check_num_images, gfc_check_this_image): Ditto.
834 * decl.c (gfc_verify_c_interop_param, gfc_match_decl_type_spec): Ditto.
835 * intrinsic.c (add_functions, add_subroutines,
836 gfc_check_intrinsic_standard): Ditto.
837 * iso-c-binding.def: Ditto.
838 * iso-fortran-env.def: Ditto.
839 * match.c (gfc_match_event_post, gfc_match_event_wait,
840 gfc_match_fail_image, gfc_match_form_team, gfc_match_change_team,
841 gfc_match_end_team, gfc_match_sync_team): Ditto.
842 * gfortran.texi: Remove mention of -std=f2008ts.
843 Move TSs into F2018 section.
844 * invoke.texi: Update documentation of -std=f2008ts.
846 2018-05-21 Janus Weil <janus@gcc.gnu.org>
849 * libgfortran.h: New macros GFC_STD_OPT_*.
850 * error.c (notify_std_msg): New function.
851 (gfc_notify_std): Adjust such that it can handle combinations of
852 GFC_STD_* flags in the 'std' argument, not just a single one.
853 * match.c (match_arithmetic_if, gfc_match_if): Reject arithmetic if
855 (gfc_match_stopcode): Use GFC_STD_OPT_* macros.
856 * options.c (set_default_std_flags): Warn for F2018 deleted features
858 (gfc_handle_option): F2018 deleted features are allowed in earlier
860 * symbol.c (gfc_define_st_label, gfc_reference_st_label): Reject
861 nonblock do constructs in Fortran 2018.
863 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
866 * resolve.c (flag_fn_result_spec): Use the 'sym' argument to
867 test for self refs to the function result in the character len
868 expression. If a self reference is found, emit an error and
870 (resolve_fntype): Use the function symbol in the calls to the
873 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
876 * trans-array.c (gfc_get_array_span): Renamed from
878 (gfc_conv_expr_descriptor): Change references to above.
879 * trans-array.h : Add prototype for 'gfc_get_array_span'.
880 * trans-intrinsic.c (gfc_conv_associated): Add pre and post
882 * trans-stmt.c (trans_associate_var): If the associate name is
883 a subref array pointer, use gfc_get_array_span for the span.
885 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
888 * match.c (gfc_match_type_spec): Go through the array ref and
889 decrement 'rank' for every dimension that is an element.
891 2018-05-19 Paul Thomas <pault@gcc.gnu.org>
896 * trans-array.c (gfc_alloc_allocatable_for_assignment): Set the
897 charlen backend_decl of the rhs expr to ss->info->string_length
898 so that the value in the current scope is used.
900 2018-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
903 * gfortran.texi: Clarify documentation for Cray pointer and
906 2018-05-13 Paul Thomas <pault@gcc.gnu.org>
909 * trans-types.c (gfc_get_dtype_rank_type): Reorder evaluation
910 of 'size'. If the element type is a pointer use the size of the
911 TREE_TYPE of the type, unless it is VOID_TYPE. In this latter
912 case, set the size to zero.
914 2018-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
916 * gfortran.h: Remove prototype.
917 * symbol.c (gfc_new_undo_checkpoint): Remove unused function.
919 2018-05-11 Steven G. Kargl <kargl@gcc.gnu.org>
922 * expr.c (check_inquiry): Avoid NULL pointer dereference.
924 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
927 * check.c (gfc_check_rank): Check that the argument is a data object.
929 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
932 * array.c (gfc_resolve_character_array_constructor): Substrings
933 with upper bound smaller than lower bound are zero length strings.
935 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
938 * data.c (gfc_assign_data_value): Check that a data object does
939 not also have default initialization.
941 2018-05-10 Marek Polacek <polacek@redhat.com>
944 * options.c (gfc_post_options): Set main_input_filename.
946 2018-05-10 Thomas Koenig <tkoenig@gcc.gnu.org>
949 * intrinsic.texi: Document BACK for MINLOC and MAXLOC.
951 2018-05-10 Paul Thomas <pault@gcc.gnu.org>
955 * resolve.c (get_temp_from_expr): The temporary must not have
956 dummy or intent attributes.
958 2018-05-08 Thomas Koenig <tkoenig@gcc.gnu.org>
961 * check.c (gfc_check_minmaxloc): Remove error for BACK not being
962 implemented. Use gfc_logical_4_kind for BACK.
963 * simplify.c (min_max_choose): Add optional argument back_val.
965 (simplify_minmaxloc_to_scalar): Add argument back_val. Pass
966 back_val to min_max_choose.
967 (simplify_minmaxloc_to_nodim): Likewise.
968 (simplify_minmaxloc_to_array): Likewise.
969 (gfc_simplify_minmaxloc): Add argument back, handle it.
970 Pass back_val to specific simplification functions.
971 (gfc_simplify_minloc): Remove ATTRIBUTE_UNUSED from argument back,
972 pass it on to gfc_simplify_minmaxloc.
973 (gfc_simplify_maxloc): Likewise.
974 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Adjust
975 comment. If BACK is true, use greater or equal (or lesser or
976 equal) insteal of greater (or lesser). Mark the condition of
977 having found a value which exceeds the limit as unlikely.
979 2018-05-07 Jeff Law <law@redhat.comg>
981 * scanner.c (preprocessor_line): Call linemap_add after a line
982 directive that changes the current filename.
984 2018-05-06 Andre Vehreschild <vehre@gcc.gnu.org>
987 * dependency.c (gfc_dep_resolver): Revert looking at coarray dimension
988 introduced by r259385.
989 * trans-intrinsic.c (conv_caf_send): Always report a dependency for
990 same variables in coarray assignments.
992 2018-05-02 Tom de Vries <tom@codesourcery.com>
995 * f95-lang.c (DEF_GOACC_BUILTIN_ONLY): Define.
997 2018-04-24 Steven G. Kargl <kargl@gcc.gnu.org>
1000 * decl.c (gfc_match_char_spec): Check for negative length and set to 0.
1002 2018-04-14 Andre Vehreschild <vehre@gcc.gnu.org>
1006 * dependency.c (gfc_dep_resolver): Coarray indexes are to be ignored
1007 during dependency computation. They define no data dependency.
1008 * trans-array.c (conv_array_index_offset): The stride can not be set
1010 * trans-intrinsic.c (conv_caf_send): Add creation of temporary array
1011 for caf_get's result and copying to the array with vectorial
1014 2018-04-14 Thomas Koenig <tkoenig@gcc.gnu.org>
1017 * frontend-passes.c (traverse_io_block): Check for start, end or
1018 stride being defined by an outer implied DO loop.
1020 2018-04-12 Thomas Koenig <tkoenig@gcc.gnu.org>
1024 * trans-stmt.c (gfc_trans_forall_loop): Use annot_expr_ivdep_kind
1025 for annotation and remove dependence on -ftree-parallelize-loops.
1027 2018-04-10 Jakub Jelinek <jakub@redhat.com>
1030 * openmp.c (resolve_omp_do): Remove bogus if (j < i) break;.
1031 (resolve_oacc_nested_loops): Likewise. Formatting fix.
1033 2018-04-09 Thomas Koenig <tkoenig@gcc.gnu.org>
1036 * trans-stmt.c (gfc_trans_forall_loop): Remove annotation for
1037 parallell processing of DO CONCURRENT -ftree-parallelize-loops
1040 2018-04-09 Thomas Koenig <tkoenig@gcc.gnu.org>
1043 * resolve.c (resolve_variable): Simplify cases where access to a
1044 parameter array results in a single constant.
1046 2018-04-02 Thomas Koenig <tkoenig@gcc.gnu.org>
1049 * decl.c (variable_decl): If upper or lower bounds simplify
1050 to a constant, use that.
1052 2018-03-30 Paul Thomas <pault@gcc.gnu.org>
1055 * simplify.c (gfc_convert_constant): Handle case of array
1056 constructors within an array that has no iterator and improve
1057 the conciseness of this section of code.
1059 2017-03-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1062 * array.c (gfc_resolve_character_array_constructor): Early
1063 exit for zero-size arrays.
1064 * simplify.c (simplify_transformation_to_array): Exit early
1065 if the result size is zero.
1066 (simplify_minmaxloc_to_array): Likewise.
1068 2018-03-28 Mikael Morin <mikael@gcc.gnu.org>
1071 * symbol.c (gfc_symbol_done_2): Start freeing namespaces
1073 (gfc_free_namespace): Restore assert (revert r258839).
1075 2018-03-28 Jakub Jelinek <jakub@redhat.com>
1077 * gfortran.h (gfc_dt): Rename default_exp field to dec_ext.
1078 * ioparm.def (IOPARM_dt_default_exp): Rename to ...
1079 (IOPARM_dt_dec_ext): ... this.
1080 * trans-io.c (build_dt): Adjust for default_exp renaming to
1081 dec_ext and IOPARM_dt_default_exp renaming to IOPARM_dt_dec_ext.
1082 * io.c (match_io): Likewise.
1084 2018-03-27 Thomas Koenig <tkoenig@gcc.gnu.org>
1087 * frontend-passes.c (gfc_run_passes): Do not run front-end
1088 optimizations if a previous error occurred.
1090 2018-03-27 Thomas Koenig <tkoenig@gcc.gnu.org>
1091 Harald Anlauf <anlauf@gmx.de>
1094 * primary.c (gfc_convert_to_structure_constructor): Check
1095 conformance of argument types in structure constructor.
1097 2018-03-26 Thomas Koenig <tkoenig@gcc.gnu.org>
1100 * io.c: Include constructor.h.
1101 (resolve_tag_format): For a constant character array, concatenate
1102 into a single character expression.
1104 2018-03-25 Seth Johnson <johnsonsr@ornl.gov>
1105 Dominique d'Humieres <dominiq@gcc.gnu.org>
1108 * check.c (gfc_check_c_f_pointer): Allow scalar noninteroperable
1109 scalar derived type with -std=f2003 and -std=f2008.
1111 2018-03-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1112 Dominique d'Humieres <dominiq@gcc.gnu.org>
1115 * symbol.c (gfc_free_namespace): Delete the assert and only if
1116 refs count is equals zero, free the namespace. Otherwise,
1117 something is halfway and other errors will resound.
1119 2018-03-24 Thomas Koenig <tkoenig@gcc.gnu.org>
1122 * expr.c (find_substring_ref): Change types of start, end
1123 and length variables to gfc_charlen_t. Set length to zero
1124 for empty substring.
1126 2018-03-24 Steven G. Kargl <kargl@gcc.gnu.org>
1129 * decl.c (check_function_name): Improved error message
1130 (gfc_match_volatile, gfc_match_asynchronous) Use check_function_name.
1132 2018-03-22 Steven G. Kargl <kargl@gcc.gnu.org>
1135 * decl.c (get_proc_name): If the MODULE prefix appears in interface
1136 body, then it must appear on the contained subroutine or function.
1137 While here, fix nearby mis-indented code.
1139 2018-03-21 Thomas Koenig <tkoenig@gcc.gnu.org>
1140 Harald Anlauf <anlauf@gmx.de>
1143 * trans-types.c (gfc_sym_type): Do not dereference NULL pointer.
1145 2018-03-21 Janne Blomqvist <jb@gcc.gnu.org>
1148 * trans-expr.c (gfc_conv_procedure_call): Convert charlen to
1149 gfc_charlen_type_node when calling procedure.
1151 2018-03-20 Steven G. Kargl <kargl@gcc.gnu.org>
1154 * interface.c (symbol_rank): Remove bogus null pointer check that
1155 crept in when translating a ternary operator into an if-else
1158 2018-03-19 Thomas Koenig <tkoenig@gcc.gnu.org>
1161 * simplify.c (gfc_convert_constant): Correctly handle iterators
1162 for type conversion.
1164 2018-03-18 Steven G. Kargl <kargl@gcc.gnu.org>
1167 * decl.c (get_proc_name): Check for a subroutine re-defined in
1168 the contain portion of a subroutine. Change language of existing
1169 error message to better describe the issue. While here fix whitespace
1172 2018-03-18 Steven G. Kargl <kargl@gcc.gnu.org>
1175 * decl.c (get_proc_name): Catch clash between a procedure statement
1176 and a contained subprogram
1178 2018-03-16 Steven G. Kargl <kargl@gcc.gnu.org>
1181 * decl.c (merge_array_spec): Correct the error condition.
1183 2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
1186 * decl.c (get_proc_name): Check for clash of entry name with
1189 2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
1192 * decl.c (merge_array_spec): Limit the merging to maximum allowed
1193 dimensions, and issue error message if limit is exceeded.
1195 2018-03-13 Steven G. Kargl <kargl@gcc.gnu.org>
1197 * check.c (gfc_check_kill_sub): Remove check for INTEGER(4) or (8).
1198 * intrinsic.c (add_functions): Remove reference to gfc_resolve_kill.
1199 (add_subroutines): Remove reference to gfc_resolve_kill_sub.
1200 * intrinsic.texi: Update documentation.
1201 * iresolve.c (gfc_resolve_kill, gfc_resolve_kill_sub): Remove.
1202 * trans-decl.c (gfc_build_intrinsic_function_decls): Add
1203 gfor_fndecl_kill and gfor_fndecl_kill_sub
1204 * trans-intrinsic.c (conv_intrinsic_kill, conv_intrinsic_kill_sub): new
1206 (gfc_conv_intrinsic_function): Use conv_intrinsic_kill.
1207 (gfc_conv_intrinsic_subroutine): Use conv_intrinsic_kill_sub.
1208 * trans.h: Declare gfor_fndecl_kill and gfor_fndecl_kill_sub.
1210 2018-03-11 Paul Thomas <pault@gcc.gnu.org>
1213 * trans-array.c (structure_alloc_comps): Make sure that the
1214 vptr is copied and that the unlimited polymorphic _len is used
1215 to compute the size to be allocated.
1216 * trans-expr.c (gfc_get_class_array_ref): If unlimited, use the
1217 unlimited polymorphic _len for the offset to the element.
1218 (gfc_copy_class_to_class): Set the new 'unlimited' argument.
1219 * trans.h : Add the boolean 'unlimited' to the prototype.
1221 2018-03-11 Steven G. Kargl <kargl@gcc.gnu.org>
1224 * resolve.c (resolve_fl_procedure): Enforce F2018:C15100.
1226 2018-03-11 Steven G. Kargl <kargls@gcc.gnu.org>
1228 * check.c (gfc_check_kill): Check pid and sig are scalar.
1229 (gfc_check_kill_sub): Restrict kind to 4 and 8.
1230 * intrinsic.c (add_function): Sort keyword list. Add pid and sig
1231 keywords for KILL. Remove redundant *back="back" in favor of the
1232 original *bck="back".
1233 (add_subroutines): Sort keyword list. Add pid and sig keywords
1235 * intrinsic.texi: Fix documentation to consistently use pid and sig.
1236 * iresolve.c (gfc_resolve_kill): Kind can only be 4 or 8. Choose the
1238 (gfc_resolve_rename_sub): Add comment.
1240 2018-03-11 Thomas Koenig <tkoenig@gcc.gnu.org>
1243 * simplify.c (simplify_transformation): Return default result for
1244 empty array argument.
1245 (gfc_simplify_all): Remove special-case handling for zerosize.
1246 (gfc_simplify_any): Likewise.
1247 (gfc_simplify_count): Likewise.
1248 (gfc_simplify_iall): Likewise.
1249 (gfc_simplify_iany): Likewise.
1250 (gfc_simplify_iparity): Likewise.
1251 (gfc_simplify_minval): Likewise.
1252 (gfc_simplify_maxval): Likewise.
1253 (gfc_simplify_norm2): Likewise.
1254 (gfc_simplify_product): Likewise.
1255 (gfc_simplify_sum): Likewise.
1257 2018-03-10 Steven G. Kargl <kargl@gcc.gnu.org>
1260 * arith.c (check_result, eval_intrinsic): If result overflows, pass
1261 the expression up the chain instead of a NULL pointer.
1263 2018-03-07 Steven G. Kargl <kargl@gcc.gnu.org>
1267 * decl.c (gfc_match_char_spec): Try to reduce a charlen to a constant.
1269 2017-03-06 Thomas Koenig <tkoenig@gcc.gnu.org>
1273 * expr.c (simplify_parameter_variable): If p is a size zero array
1274 and not an ARRAY_EXPR insert an empty array constructor and
1276 * gfortran.h: Add prototype for gfc_is_size_zero_array.
1277 * simplify.c (is_size_zero_array): Make non-static and rename into
1278 (gfc_is_size_zero_array): Check for parameter arrays of zero
1279 size by comparing shape and absence of constructor.
1280 (gfc_simplify_all): Use gfc_is_size_zero_array instead of
1282 (gfc_simplify_count): Likewise.
1283 (gfc_simplify_iall): Likewise.
1284 (gfc_simplify_iany): Likewise.
1285 (gfc_simplify_iparity): Likewise.
1286 (gfc_simplify_minval): Likewise.
1287 (gfc_simplify_maxval): Likewise.
1288 (gfc_simplify_product): Likewise.
1289 (gfc_simplify_sum): Likewise.
1291 2018-03-06 Steven G. Kargl <kargl@gcc.gnu.org>
1294 * primary.c (match_sym_complex_part): Give the matcher for an implied
1295 do-loop a chance to run.
1297 2018-03-03 Harald Anlauf <anlauf@gmx.de>
1300 * trans-expr.c (gfc_apply_interface_mapping_to_expr): Do not
1301 dereference NULL pointer.
1303 2018-03-03 Steven G. Kargl <kargl@gcc.gnu.org>
1306 * simplify.c (is_size_zero_array): New function to check for size
1308 (gfc_simplify_all, gfc_simplify_any, gfc_simplify_count,
1309 gfc_simplify_iall, gfc_simplify_iany, gfc_simplify_iparity,
1310 gfc_simplify_minval, gfc_simplify_maxval, gfc_simplify_norm2,
1311 gfc_simplify_product, gfc_simplify_sum): Use it, and implement
1312 requirements from F2018.
1314 2018-03-03 Steven G. Kargl <kargl@gcc.gnu.org>
1317 * simplify.c (gfc_simplify_transfer): Resolve mold.
1319 2018-03-03 Paul Thomas <pault@gcc.gnu.org>
1322 * resolve.c (build_loc_call): Change symtree name from 'loc' to
1325 2018-03-01 Paul Thomas <pault@gcc.gnu.org>
1328 * target-memory.c (gfc_interpret_derived): Assert that BT_VOID
1329 components are caf tokens.
1330 (gfc_target_interpret_expr): Treat BT_VOID expressions as
1333 2018-03-01 Paul Thomas <pault@gcc.gnu.org>
1336 * class.c (class_array_ref_detected): Remove the condition that
1337 there be no reference after the array reference.
1338 (find_intrinsic_vtab): Remove excess whitespace.
1339 * trans-array.c (gfc_conv_scalarized_array_ref): Rename 'tmp'
1340 as 'base and call build_class_array_ref earlier.
1342 2018-02-28 Paul Thomas <pault@gcc.gnu.org>
1345 * trans-stmt.c (trans_associate_var): Make sure that the se
1346 expression is a pointer type before converting it to the symbol
1349 2018-02-25 Steven G. Kargl <kargl@gcc.gnu.org>
1352 * decl.c (variable_decl): Check that an explicit-shape-array with
1353 nonconstant bounds is allowed.
1355 2018-02-25 Paul Thomas <pault@gcc.gnu.org>
1358 * trans-intrinsic.c (gfc_conv_allocated): If the argument se
1359 has a pre block, add it to the expression pre block.
1361 2018-02-25 Thomas Koenig <tkoenig@gcc.gnu.org>
1364 * gfortran.h (gfc_integer_4_kind): Define.
1365 * resolve.c (resolve_select_type): Make sure that the
1366 kind of c->high is gfc_integer_4_kind.
1368 2018-02-24 Steven G. Kargl <kargl@gcc.gnu.org>
1371 * decl.c (gfc_match_data): Check for invalid substring in
1374 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1376 * intrinsic.texi: Arguments to MATMUL cannot both be rank one.
1378 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1381 * trans-io.c (transfer_expr): Deal with C_LOC in transfer statement.
1383 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1386 * interface.c (compare_actual_formal): Issue error if keyword is
1387 used in a statement function.
1389 2018-02-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1392 * trans-io.c (set_parameter_value_inquire): Adjust range check of
1393 negative unit values for kind=8 units to the kind=4 negative limit.
1395 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1398 * trans-types.c (gfc_sym_type): Test sym->ns->proc_name before
1399 accessing its components.
1401 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1404 * trans-decl.c (gfc_finish_var_decl): Test sym->ns->proc_name
1405 before accessing its components.
1407 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1410 * trans-const.c : Clean up some whitespace issues.
1411 * trans-expr.c (gfc_conv_initializer): If an iso_c_binding
1412 derived type has a kind value of zero, set it to the default
1415 2018-02-23 Janne Blomqvist <jb@gcc.gnu.org>
1418 * trans-decl.c (gfc_build_builtin_function_decls): Add bool
1419 argument to stop and error stop decls.
1420 * trans-stmt.c (gfc_trans_stop): Add false value to argument
1423 2018-02-22 Janne Blomqvist <jb@gcc.gnu.org>
1427 * trans-decl.c (gfc_build_builtin_function_decls): Pass
1428 gfc_int8_type node to pause_numeric, size_type_node to
1430 * trans-stmt.c (gfc_trans_pause): Likewise.
1432 2018-02-22 Janne Blomqvist <jb@gcc.gnu.org>
1434 * gfortran.texi: Update Coarray API description.
1435 * trans-decl.c (gfc_build_builtin_function_decls): Use size_t for
1436 character lengths, int for exit codes.
1437 (generate_coarray_sym_init): Use size_t for character length.
1438 * trans-intrinsic.c (conv_co_collective): Likewise.
1439 * trans-stmt.c (gfc_trans_lock_unlock): Likewise.
1440 (gfc_trans_event_post_wait): Likewise.
1441 (gfc_trans_sync): Likewise.
1442 (gfc_trans_stop): Use size_t for character lengths, int for exit
1445 2018-02-20 Thomas Koenig <tkoenig@gcc.gnu.org>
1449 * primary.c (gfc_convert_to_structure_constructor):
1450 For a constant string constructor, make sure the length
1453 2018-02-19 Paul Thomas <pault@gcc.gnu.org>
1457 * resolve.c (resolve_assoc_var): Rearrange the logic for the
1458 determination of the character length of associate names. If
1459 the associate name is missing a length expression or the length
1460 expression is not a constant and the target is not a variable,
1461 make the associate name allocatable and deferred length.
1462 * trans-decl.c (gfc_get_symbol_decl): Null the character length
1463 backend_decl for deferred length associate names that are not
1464 variables. Set 'length' to gfc_index_zero_node for character
1465 associate names, whose character length is a PARM_DECL.
1467 2018-02-19 Thomas Koenig <tkoenig@gcc.gnu.org>
1470 * frontend-passes.c (traverse_io_block): Remove workaround for
1473 2018-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
1475 * gfortran.texi: Document additional src/dst_type. Fix some typos.
1476 * trans-decl.c (gfc_build_builtin_function_decls): Declare the new
1477 argument of _caf_*_by_ref () with * e { get, send, sendget }.
1478 * trans-intrinsic.c (gfc_conv_intrinsic_caf_get): Add the type of the
1479 data referenced when generating a call to caf_get_by_ref ().
1480 (conv_caf_send): Same but for caf_send_by_ref () and
1481 caf_sendget_by_ref ().
1483 2018-02-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1486 * io.c (check_format): Allow FMT_COLON.
1488 2018-02-18 Paul Thomas <pault@gcc.gnu.org>
1491 * trans-array.c (gfc_conv_expr_descriptor): Set parmtype from
1492 the typenode in the case of deferred length characters.
1494 2018-02-17 Thomas Koenig <tkoenig@gcc.gnu.org>
1497 * frontend-passes (scalarized_expr): If the expression
1498 is an assumed size array, leave in the last reference
1499 and pass AR_SECTION instead of AR_FULL to gfc_resolve
1500 in order to avoid an error.
1502 2018-02-17 Paul Thomas <pault@gcc.gnu.org>
1505 * resolve.c (resolve_assoc_var): If a non-constant target expr.
1506 has no string length expression, make the associate variable
1507 into a deferred length, allocatable symbol.
1508 * trans-decl.c (gfc_is_reallocatable_lhs): Add and use a ptr to
1510 * trans-stmt.c (trans_associate_var): Null and free scalar
1511 associate names that are allocatable. After assignment, remove
1512 the allocatable attribute to prevent reallocation.
1514 2018-02-16 Jakub Jelinek <jakub@redhat.com>
1517 * trans-openmp.c (gfc_trans_omp_clauses): For OMP_CLAUSE_LINEAR_REF
1518 kind set OMP_CLAUSE_LINEAR_STEP to TYPE_SIZE_UNIT times last_step.
1520 2018-02-16 Dominique d'Humieres <dominiq@gcc.gnu.org>
1523 * decl.c (gfc_get_pdt_instance): Replace '%qs' with %qs.
1525 2018-02-15 Janus Weil <janus@gcc.gnu.org>
1528 * interface.c (check_dtio_arg_TKR_intent): Add a check for character
1531 2018-02-14 Janus Weil <janus@gcc.gnu.org>
1534 * match.c (gfc_match_select_type): Fix check for selector in
1535 SELECT TYPE statement.
1537 2018-02-13 Janus Weil <janus@gcc.gnu.org>
1540 * symbol.c (check_conflict): Reject procedure pointers in common blocks.
1542 2018-02-13 Alastair McKinstry <alastair.mckinstry@sceal.ie>
1543 Janne Blomqvist <jb@gcc.gnu.org>
1545 * module.c (dump_module): Use lbasename to ensure that module
1546 files are reproducible.
1548 2018-02-12 Janus Weil <janus@gcc.gnu.org>
1551 * resolve.c (resolve_component): Fix checks of passed argument in
1552 procedure-pointer components.
1554 2018-02-11 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1557 * resolve.c (resolve_formal_arglist): Update error message.
1559 2018-02-11 Andre Vehreschild <vehre@gcc.gnu.org>
1561 * gfortran.texi: Fix typos in documentation of caf_register ().
1562 * trans-array.c (structure_alloc_comps): Only register a component of
1563 a derived typed corray, not of an ultimate component coarray.
1565 2018-02-11 Steven G. Kargl <kargl@gcc.gnu.org>
1569 * interface.c (compare_actual_formal): Add in_statement_function
1570 bool parameter. Skip check of INTENT attribute for statement
1571 functions. Arguments to a statement function cannot be optional,
1572 issue error for missing argument.
1573 (gfc_procedure_use, gfc_ppc_use, gfc_arglist_matches_symbol): Use
1574 in_statement_function.
1576 2018-02-11 Paul Thomas <pault@gcc.gnu.org>
1579 * trans-expr.c (gfc_conv_derived_to_class): Set the use_offset
1580 flag. If the is a vector subscript or the expression is not a
1581 variable, make the descriptor one-based.
1583 2018-02-10 Paul Thomas <pault@gcc.gnu.org>
1587 * trans-array.c (gfc_array_init_size): Revert the change made
1588 in revision 257356 setting the dtype.
1589 * trans-types.c (gfc_get_dtype): Do not use the cached dtype.
1590 Call gfc_get_dtype_rank_type every time.
1593 * trans-array.c (gfc_conv_expr_descriptor): If the source array
1594 is a descriptor type, use its offset, removing the condition
1595 that is be a class expression.
1597 2018-02-07 Steven G. Kargl <kargl@gcc.gnu.org>
1600 * match.c (gfc_match_deallocate): Check for NULL pointer.
1602 2018-02-07 Thomas Koenig <tkoenig@gcc.gnu.org>
1605 * trans-intrinsic.c (gfc_conv_intrinsic_shape): New function.
1606 (gfc_conv_intrinsic_function): Call it.
1608 2018-02-07 Steven G. Kargl <kargl@gcc.gnu.org>
1611 * match.c (gfc_match_type_spec): If the charlen is non-NULL, then
1612 try to resolve it. While here return early if possible.
1614 2018-02-04 Paul Thomas <pault@gcc.gnu.org>
1617 * trans-decl.c (gfc_get_symbol_decl): Do not finish the decl of
1618 'length' if the symbol charlen backend_decl is an indirect ref.
1620 2018-02-03 Paul Thomas <pault@gcc.gnu.org>
1624 * trans-array.c (gfc_array_init_size): Instead of gfc_get_dtype
1625 use gfc_get_dtype_rank_type.
1627 2018-02-01 Janne Blomqvist <jb@gcc.gnu.org>
1631 * resolve.c (resolve_assoc_var): Generate an error if
1632 target length unknown.
1634 2018-02-01 Janne Blomqvist <jb@gcc.gnu.org>
1637 * simplify.c (gfc_simplify_repeat): Increase limit for deferring
1638 to runtime, print a warning message.
1640 2018-01-31 Jakub Jelinek <jakub@redhat.com>
1643 * openmp.c (gfc_match_omp_clauses): If all the linear
1644 gfc_match_omp_variable_list calls failed, don't gfc_free_omp_namelist
1645 nor set *head = NULL. Formatting fixes.
1647 2018-01-31 Paul Thomas <pault@gcc.gnu.org>
1650 * trans-expr.c (gfc_conv_procedure_call): If the parm expr is
1651 an address expression passed to an assumed rank dummy, convert
1652 to an indirect reference.
1654 2018-01-31 Thomas Koenig <tkoenig@gcc.gnu.org>
1656 * dump-parse-tree.c (write_proc): Use sym_name (which may
1657 be sym->binding_label) instead of sym->name.
1659 2018-01-31 Janne Blomqvist <jb@gcc.gnu.org>
1661 * trans-const.c (gfc_conv_string_init): Use gfc_charlen_t instead
1664 2018-01-31 Janne Blomqvist <jb@gcc.gnu.org>
1667 * trans-expr.c (fill_with_spaces): Use memset instead of
1669 (gfc_trans_string_copy): Improve opportunity to use builtins with
1672 2018-01-30 Jakub Jelinek <jakub@redhat.com>
1675 * trans-array.c (gfc_get_descriptor_offsets_for_info): Set *data_off
1676 to DATA_FIELD's offset rather than OFFSET_FIELD's offset.
1678 2018-01-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1681 * array.c (gfc_ref_dimen_size): Whitespace fixes. If stride is
1684 2018-01-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1687 * frontend-passes (matmul_to_var_expr): Return early if
1688 in association list.
1689 (inline_matmul_assign): Likewise.
1691 2017-01-29 Thomas Koenig <tkoenig@gcc.gnu.org>
1694 * resolve.c (resolve_component): Ensure BIND(C) character
1695 components have length one.
1696 (resolve_symbol): Likewise for variables.
1698 2018-01-27 Jakub Jelinek <jakub@redhat.com>
1701 * decl.c (add_init_expr_to_sym): Ignore initializers for too large
1704 2018-01-26 Damian Rouson <damian@sourceryinstitute.org>
1705 Alessandro Fanfarillo <fanfarillo.gcc@gmail.com>
1706 Soren Rasmussen <s.c.rasmussen@gmail.com>
1708 Partial support for Fortran 2018 teams features.
1710 * array.c (gfc_match_array_ref): add team attribute in coarray
1712 * check.c (gfc_check_get_team, gfc_check_team_number): add new
1713 functions for get_team and team_number.
1714 * dump-parse-tree.c (show_code_node): add new statements: form team,
1715 change team, end team, and sync team.
1716 * expr.c (gfc_find_team_co): add new function.
1717 * gfortran.h: add new statements.
1718 * intrinsic.c (add_functions): add get_team and team_number functions.
1719 * intrinsic.h: add get_team and team_number prototypes for check,
1720 simplify, and resolve.
1721 * iresolve.c (gfc_resolve_get_team, gfc_resolve_team_number): add new
1723 * iso-fortran-env.def: add the team_type derived type.
1724 * match.c (gfc_match_if, gfc_match_form_team, gfc_match_team_number)
1725 (gfc_match_end_team, gfc_match_sync_team, gfc_match_change_team):
1726 add change team, end team, form team, sync team match and functions.
1727 * match.h: add new prototypes for change team, end team, form team,
1729 * parse.c (decode_statement): add cases for change team, end team,
1730 form team, and sync team.
1731 * resolve.c: add cases for exec form team, change team, end team, and
1733 * simplify.c (gfc_simplify_get_team): add new function for get team.
1734 * st.c (gfc_free_statement): add cases exec for change team, end team,
1735 form team, sync team.
1736 * trans-decl.c (gfor_fndecl_caf_form_team)
1737 (gfor_fndecl_caf_change_team, gfor_fndecl_caf_end_team)
1738 (gfor_fndecl_caf_sync_team, gfor_fndecl_caf_get_team)
1739 (gfor_fndecl_caf_team_number): add functions and definitions.
1740 * trans-intrinsic.c (conv_caf_send, conv_intrinsic_team_number): add
1741 new function and team_type argument support.
1742 * trans-stmt.c (gfc_trans_form_team, gfc_trans_change_team)
1743 (gfc_trans_end_team, gfc_trans_sync_team): add new functions.
1744 * trans-stmt.h: add new prototypes.
1745 * trans-types.c (gfc_get_derived_type): check condition for team_type.
1746 * trans.c (trans_code): new exec cases for form team, change team, end
1747 team, and sync team.
1748 * trans.h: add new prototypes.
1750 2018-01-26 Steven G. Kargl <kargl@gcc.gnu.org>
1753 * simplify.c (compute_dot_product): Initialize result to INTEGER(1) 0
1754 or .false. The summation does the correct type conversion.
1755 (gfc_simplify_dot_product): Special case zero-sized arrays.
1757 2018-25-01 Paul Thomas <pault@gcc.gnu.org>
1760 * array.c (gfc_match_array_ref): If standard earlier than F2008
1761 it is an error if the reference dimension is greater than 7.
1762 libgfortran.h : Increase GFC_MAX_DIMENSIONS to 15. Change the
1763 dtype masks and shifts accordingly.
1764 * trans-array.c (gfc_conv_descriptor_dtype): Use the dtype
1765 type node to check the field.
1766 (gfc_conv_descriptor_dtype): Access the rank field of dtype.
1767 (duplicate_allocatable_coarray): Access the rank field of the
1768 dtype descriptor rather than the dtype itself.
1769 * trans-expr.c (get_scalar_to_descriptor_type): Store the type
1770 of 'scalar' on entry and use its TREE_TYPE if it is ARRAY_TYPE
1772 (gfc_conv_procedure_call): Pass TREE_OPERAND (tmp,0) to
1773 get_scalar_to_descriptor_type if the actual expression is a
1775 (gfc_trans_structure_assign): Assign the rank directly to the
1777 * trans-intrinsic.c (gfc_conv_intrinsic_rank): Cast the result
1778 to default integer kind.
1779 (gfc_conv_intrinsic_sizeof): Obtain the element size from the
1780 'elem_len' field of the dtype.
1781 * trans-io.c (gfc_build_io_library_fndecls): Replace
1782 gfc_int4_type_node with dtype_type_node where necessary.
1783 (transfer_namelist_element): Use gfc_get_dtype_rank_type for
1785 * trans-types.c : Provide 'get_dtype_type_node' to acces the
1786 dtype_type_node and, if necessary, build it.
1787 The maximum size of an array element is now determined by the
1788 maximum value of size_t.
1789 Update the description of the array descriptor, including the
1790 type def for the dtype_type.
1791 (gfc_get_dtype_rank_type): Build a constructor for the dtype.
1792 Distinguish RECORD_TYPEs that are BT_DERIVED or BT_CLASS.
1793 (gfc_get_array_descriptor_base): Change the type of the dtype
1794 field to dtype_type_node.
1795 (gfc_get_array_descr_info): Get the offset to the rank field of
1797 * trans-types.h : Add a prototype for 'get_dtype_type_node ()'.
1798 * trans.h : Define the indices of the dtype fields.
1800 2018-23-01 Paul Thomas <pault@gcc.gnu.org>
1803 * decl.c (gfc_match_derived_decl): If eos not matched, recover
1804 and emit error about garbage after declaration.
1806 2018-23-01 Paul Thomas <pault@gcc.gnu.org>
1809 * trans-stmt.c (trans_associate_var): Do not set cst_array_ctor
1812 2018-01-22 Janne Blomqvist <jb@gcc.gnu.org>
1816 * arith.c (gfc_arith_concat): Use size_t for string length.
1817 (gfc_compare_string): Likewise.
1818 (gfc_compare_with_Cstring): Likewise.
1819 * array.c (gfc_resolve_character_array_constructor): Use
1820 HOST_WIDE_INT, gfc_mpz_get_hwi.
1821 * check.c (gfc_check_fe_runtime_error): Use size_t.
1822 * data.c (create_character_initializer): Use HOST_WIDE_INT,
1824 * decl.c (gfc_set_constant_character_len): Use gfc_charlen_t.
1825 (add_init_expr_to_sym): Use HOST_WIDE_INT.
1826 * expr.c (gfc_build_init_expr): Use HOST_WIDE_INT,
1828 (gfc_apply_init): Likewise.
1829 * match.h (gfc_set_constant_character_len): Update prototype.
1830 * primary.c (match_string_constant): Use size_t.
1831 * resolve.c (resolve_ordinary_assign): Use HOST_WIDE_INT,
1833 * simplify.c (init_result_expr): Likewise.
1834 (gfc_simplify_len_trim): Use size_t.
1835 * target-memory.c (gfc_encode_character): Use size_t.
1836 (gfc_target_encode_expr): Use HOST_WIDE_INT, gfc_mpz_get_hwi.
1837 (interpret_array): Use size_t.
1838 (gfc_interpret_character): Likewise.
1839 * target-memory.h (gfc_encode_character): Update prototype.
1840 (gfc_interpret_character): Likewise.
1841 (gfc_target_interpret_expr): Likewise.
1842 * trans-const.c (gfc_build_string_const): Use size_t for length
1844 (gfc_build_wide_string_const): Likewise.
1845 * trans-const.h (gfc_build_string_const): Likewise.
1846 (gfc_build_wide_string_const): Likewise.
1848 2018-01-20 Steven G. Kargl <kargl@gcc.gnu.org>
1851 * simplify.c (gfc_simplify_matmul): Set return type correctly.
1853 2018-01-19 Steven G. Kargl <kargl@gcc.gnu.org>
1856 * simplify.c (gfc_simplify_matmul): Delete bogus assertion.
1858 2018-01-17 Harald Anlauf <anlauf@gmx.de>
1861 * expr.c (add_init_expr_to_sym): Do not dereference NULL pointer.
1863 2018-01-17 Harald Anlauf <anlauf@gmx.de>
1866 * decl.c (add_init_expr_to_sym): Do not dereference NULL pointer.
1868 2018-01-15 Louis Krupp <louis.krupp@zoho.com>
1871 * interface.c (compare_rank): Don't try to retrieve CLASS_DATA
1872 from symbol marked unlimited polymorphic.
1873 * resolve.c (resolve_structure_cons): Likewise.
1874 * misc.c (gfc_typename): Don't dereference derived->components
1877 2018-01-15 Thomas Koenig <tkoenig@gcc.gnu.org>
1880 * gfortran.h (gfc_check_f): Rename f4ml to f5ml.
1881 (gfc_logical_4_kind): New macro
1882 * intrinsic.h (gfc_simplify_minloc): Add a gfc_expr *argument.
1883 (gfc_simplify_maxloc): Likewise.
1884 (gfc_resolve_maxloc): Likewise.
1885 (gfc_resolve_minloc): Likewise.
1886 * check.c (gfc_check_minloc_maxloc): Add checking for "back"
1887 argument; also raise error if it is used (for now). Add it
1888 if it isn't present.
1889 * intrinsic.c (add_sym_4ml): Rename to
1890 (add_sym_5ml), adjust for extra argument.
1891 (add_functions): Add "back" constant. Adjust maxloc and minloc
1893 * iresolve.c (gfc_resolve_maxloc): Add back argument. If back is
1894 not of gfc_logical_4_kind, convert.
1895 (gfc_resolve_minloc): Likewise.
1896 * simplify.c (gfc_simplify_minloc): Add back argument.
1897 (gfc_simplify_maxloc): Likewise.
1898 * trans-intinsic.c (gfc_conv_intrinsic_minmaxloc): Rename last
1899 argument to %VAL to ensure passing by value.
1900 (gfc_conv_intrinsic_function): Call gfc_conv_intrinsic_minmaxloc
1901 also for library calls.
1903 2018-01-13 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1906 * resolve.c (resolve_transfer): Delete code looking for 'DT'
1907 format specifiers in format strings. Set formatted to true if a
1908 format string or format label is present.
1909 * trans-io.c (get_dtio_proc): Likewise. (transfer_expr): Fix
1912 2018-01-13 Thomas Koenig <tkoenig@gcc.gnu.org>
1915 * dump-parse-tree.c (get_c_type_name): Remove extra line.
1916 Change for loop to use declaration in for loop. Handle BT_LOGICAL
1918 (write_decl): Add where argument. Fix indentation. Replace
1919 assert with error message. Add typename to warning
1921 (write_type): Adjust locus to call of write_decl.
1922 (write_variable): Likewise.
1923 (write_proc): Likewise. Replace assert with error message.
1925 2018-01-13 Paul Thomas <pault@gcc.gnu.org>
1928 * trans-expr.c (gfc_trans_scalar_assign): Flag is_alloc_lhs if
1929 the rhs expression is neither an elemental nor a conversion
1933 * trans-array.c (is_pointer_array): Remove unconditional return
1934 of false for -fopenmp.
1936 2018-01-13 Thomas Koenig <tkoenig@gcc.gnu.org>
1940 * dump-parse-tree.c (write_proc): Always emit closing parenthesis
1943 2018-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
1946 * resolve.c (resolve_allocate_expr): Check for NULL pointer.
1948 2018-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
1951 * resolve.c (resolve_charlen): Check the type of cl->length
1954 2018-01-10 Janne Blomqvist <jb@gcc.gnu.org>
1957 * trans-array.c (gfc_trans_array_ctor_element): Fix formatting.
1959 2018-01-10 Janne Blomqvist <jb@gcc.gnu.org>
1962 * trans-array.c (gfc_trans_array_ctor_element): Convert RHS to the
1963 LHS type when assigning.
1965 2018-01-09 Steven G. Kargl <kargl@gcc.gnu.org>
1968 * expr.c (gfc_is_simply_contiguous): Check for NULL pointer.
1970 2018-01-08 Steven G. Kargl <kargl@gcc.gnu.org>
1972 * match.c (gfc_match_allocate): Check for NULL pointer.
1974 2018-01-08 Steven G. Kargl <kargl@gcc.gnu.org>
1976 * expr.c (gfc_check_pointer_assign): Fix typo in comment.
1978 2018-01-08 Paul Thomas <pault@gcc.gnu.org>
1981 * decl.c (gfc_get_pdt_instance): If parameterized arrays have
1982 an initializer, convert the kind parameters and add to the
1983 component if the instance.
1984 * trans-array.c (structure_alloc_comps): Add 'is_pdt_type' and
1985 use it with case COPY_ALLOC_COMP. Call 'duplicate_allocatable'
1986 for parameterized arrays. Clean up typos in comments. Convert
1987 parameterized array initializers and copy into the array.
1988 * trans-expr.c (gfc_trans_scalar_assign): Do a deep copy for
1989 parameterized types.
1990 *trans-stmt.c (trans_associate_var): Deallocate associate vars
1991 as necessary, when they are PDT function results for example.
1994 * trans-array.c (structure_alloc_comps): Only compare len parms
1995 when they are declared explicitly.
1997 2018-01-06 Janne Blomqvist <jb@gcc.gnu.org>
2000 * trans-expr.c (gfc_trans_pointer_assignment): fold_convert rhs to
2003 2018-01-05 Janne Blomqvist <jb@gcc.gnu.org>
2007 * array.c (got_charlen): Use gfc_charlen_int_kind.
2008 * class.c (gfc_find_derived_vtab): Use gfc_size_kind instead of
2010 (find_intrinsic_vtab): Likewise.
2011 * decl.c (match_char_length): Use gfc_charlen_int_kind.
2012 (add_init_expr_to_sym): Use gfc_charlen_t and gfc_charlen_int_kind.
2013 (gfc_match_implicit): Use gfc_charlen_int_kind.
2014 * dump-parse-tree.c (show_char_const): Use gfc_charlen_t and size_t.
2015 (show_expr): Use HOST_WIDE_INT_PRINT_DEC.
2016 * expr.c (gfc_get_character_expr): Length parameter of type
2018 (gfc_get_int_expr): Value argument of type HOST_WIDE_INT.
2019 (gfc_extract_hwi): New function.
2020 (simplify_const_ref): Make string_len of type gfc_charlen_t.
2021 (gfc_simplify_expr): Use HOST_WIDE_INT for substring refs.
2022 * frontend-passes.c (optimize_trim): Use gfc_charlen_int_kind.
2023 * gfortran.h (gfc_mpz_get_hwi): New prototype.
2024 (gfc_mpz_set_hwi): Likewise.
2025 (gfc_charlen_t): New typedef.
2026 (gfc_expr): Use gfc_charlen_t for character lengths.
2027 (gfc_size_kind): New extern variable.
2028 (gfc_extract_hwi): New prototype.
2029 (gfc_get_character_expr): Use gfc_charlen_t for character length.
2030 (gfc_get_int_expr): Use HOST_WIDE_INT type for value argument.
2031 * gfortran.texi: Update description of hidden string length argument.
2032 * iresolve.c (check_charlen_present): Use gfc_charlen_int_kind.
2033 (gfc_resolve_char_achar): Likewise.
2034 (gfc_resolve_repeat): Pass string length directly without
2035 temporary, use gfc_charlen_int_kind.
2036 (gfc_resolve_transfer): Use gfc_charlen_int_kind.
2037 * match.c (select_intrinsic_set_tmp): Use HOST_WIDE_INT for charlen.
2038 * misc.c (gfc_mpz_get_hwi): New function.
2039 (gfc_mpz_set_hwi): New function.
2040 * module.c (atom_int): Change type from int to HOST_WIDE_INT.
2041 (parse_integer): Don't complain about large integers.
2042 (write_atom): Use HOST_WIDE_INT for integers.
2043 (mio_integer): Handle integer type mismatch.
2044 (mio_hwi): New function.
2045 (mio_intrinsic_op): Use HOST_WIDE_INT.
2046 (mio_array_ref): Likewise.
2047 (mio_expr): Likewise.
2048 * primary.c (match_substring): Use gfc_charlen_int_kind.
2049 * resolve.c (resolve_substring_charlen): Use gfc_charlen_int_kind.
2050 (resolve_character_operator): Likewise.
2051 (resolve_assoc_var): Likewise.
2052 (resolve_select_type): Use HOST_WIDE_INT for charlen, use snprintf.
2053 (resolve_charlen): Use mpz_sgn to determine sign.
2054 * simplify.c (gfc_simplify_repeat): Use HOST_WIDE_INT/gfc_charlen_t
2056 * symbol.c (generate_isocbinding_symbol): Use gfc_charlen_int_kind.
2057 * target-memory.c (size_character): Length argument of type
2059 (gfc_encode_character): Likewise.
2060 (gfc_interpret_character): Use gfc_charlen_t.
2061 * target-memory.h (gfc_encode_character): Modify prototype.
2062 * trans-array.c (gfc_trans_array_ctor_element): Use existing type.
2063 (get_array_ctor_var_strlen): Use gfc_conv_mpz_to_tree_type.
2064 (trans_array_constructor): Use existing type.
2065 (get_array_charlen): Likewise.
2066 * trans-const.c (gfc_conv_mpz_to_tree_type): New function.
2067 * trans-const.h (gfc_conv_mpz_to_tree_type): New prototype.
2068 * trans-decl.c (gfc_trans_deferred_vars): Use existing type.
2069 (add_argument_checking): Likewise.
2070 * trans-expr.c (gfc_class_len_or_zero_get): Build const of type
2071 gfc_charlen_type_node.
2072 (gfc_conv_intrinsic_to_class): Use gfc_charlen_int_kind instead of
2073 4, fold_convert to correct type.
2074 (gfc_conv_class_to_class): Build const of type size_type_node for
2076 (gfc_copy_class_to_class): Likewise.
2077 (gfc_conv_string_length): Use same type in expression.
2078 (gfc_conv_substring): Likewise, use HOST_WIDE_INT for charlen.
2079 (gfc_conv_string_tmp): Make sure len is of the right type.
2080 (gfc_conv_concat_op): Use same type in expression.
2081 (gfc_conv_procedure_call): Likewise.
2082 (fill_with_spaces): Comment out memset() block due to spurious
2083 -Wstringop-overflow warnings.
2084 (gfc_trans_string_copy): Use gfc_charlen_type_node.
2085 (alloc_scalar_allocatable_for_subcomponent_assignment):
2086 fold_convert to right type.
2087 (gfc_trans_subcomponent_assign): Likewise.
2088 (trans_class_vptr_len_assignment): Build const of correct type.
2089 (gfc_trans_pointer_assignment): Likewise.
2090 (alloc_scalar_allocatable_for_assignment): fold_convert to right
2092 (trans_class_assignment): Build const of correct type.
2093 * trans-intrinsic.c (gfc_conv_associated): Likewise.
2094 (gfc_conv_intrinsic_repeat): Do calculation in sizetype.
2095 * trans-io.c (gfc_build_io_library_fndecls): Use
2096 gfc_charlen_type_node for character lengths.
2097 (set_string): Convert to right type in assignment.
2098 * trans-stmt.c (gfc_trans_label_assign): Build const of
2099 gfc_charlen_type_node.
2100 (trans_associate_var): Likewise.
2101 (gfc_trans_character_select): Likewise.
2102 (gfc_trans_allocate): Likewise, don't typecast strlen result.
2103 (gfc_trans_deallocate): Don't typecast strlen result.
2104 * trans-types.c (gfc_size_kind): New variable.
2105 (gfc_init_types): Determine gfc_charlen_int_kind and gfc_size_kind
2106 from size_type_node.
2107 * trans-types.h: Fix comment.
2109 2018-01-04 Thomas Koenig <tkoenig@gcc.gnu.org>
2113 * check.c (gfc_check_eoshift): Check for string length and
2114 for conformance of boundary.
2115 * intrinsic.c (add_functions): Add gfc_simplify_eoshift.
2116 * intrinsic.h: Add prototype for gfc_simplify_eoshift.
2117 * simplify.c (gfc_simplify_eoshift): New function.
2119 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
2120 Alan Hayward <alan.hayward@arm.com>
2121 David Sherwood <david.sherwood@arm.com>
2123 * trans-types.c (gfc_type_for_mode): Handle MODE_VECTOR_BOOL.
2125 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
2126 Alan Hayward <alan.hayward@arm.com>
2127 David Sherwood <david.sherwood@arm.com>
2129 * trans-types.c (gfc_type_for_mode): Check valid_vector_subparts_p.
2131 2018-01-03 Thomas Koenig <tkoenig@gcc.gnu.org>
2134 * check.c (gfc_check_eoshift): Error for missing boundary if array
2135 is not one of the standard types.
2137 2018-01-03 Jakub Jelinek <jakub@redhat.com>
2139 Update copyright years.
2141 * gfortranspec.c (lang_specific_driver): Update copyright notice
2143 * gfc-internals.texi: Bump @copying's copyright year.
2144 * gfortran.texi: Ditto.
2145 * intrinsic.texi: Ditto.
2146 * invoke.texi: Ditto.
2148 2017-01-02 Thomas Koenig <tkoenig@gcc.gnu.org>
2151 * intrinsic.c (add_function): Add gfc_simplify_maxloc and
2152 gfc_simplify_minloc to maxloc and minloc, respectively.
2153 * intrinsic.h: Add prototypes for gfc_simplify_minloc
2154 and gfc_simplify_maxloc.
2155 * simplify.c (min_max_chose): Adjust prototype. Modify function
2156 to have a return value which indicates if the extremum was found.
2157 (is_constant_array_expr): Fix typo in comment.
2158 (simplify_minmaxloc_to_scalar): New function.
2159 (simplify_minmaxloc_nodim): New function.
2160 (new_array): New function.
2161 (simplify_minmaxloc_to_array): New function.
2162 (gfc_simplify_minmaxloc): New function.
2163 (simplify_minloc): New function.
2164 (simplify_maxloc): New function.
2166 2018-01-02 Thomas Koenig <tkoenig@gcc.gnu.org>
2170 * simplify.c (gfc_simplify_cshift): Re-implement to allow full
2173 2018-01-01 Paul Thomas <pault@gcc.gnu.org>
2176 * resolve.c (resolve_fl_derived0): Add caf_token fields for
2177 allocatable and pointer scalars, when -fcoarray selected.
2178 * trans-types.c (gfc_copy_dt_decls_ifequal): Copy the token
2179 field as well as the backend_decl.
2180 (gfc_get_derived_type): Flag GFC_FCOARRAY_LIB for module
2181 derived types that are not vtypes. Components with caf_token
2182 attribute are pvoid types. For a component requiring it, find
2183 the caf_token field and have the component token field point to
2187 *trans-types.c (gfc_get_array_descriptor_base): Add the token
2188 field to the descriptor even when codimen not set.
2190 Copyright (C) 2018 Free Software Foundation, Inc.
2192 Copying and distribution of this file, with or without modification,
2193 are permitted in any medium without royalty provided the copyright
2194 notice and this notice are preserved.