1 2017-10-28 Thomas Koenig <tkoenig@gcc.gnu.org>
4 * gfortran.h (gfc_isym_id): Add GFC_ISYM_FINDLOC.
5 (gfc_check_f): Add f6fl field.
6 (gfc_simplify_f): Add f6 field.
7 (gfc_resolve_f): Likewise.
8 (gfc_type_letter): Add optional logical_equas_int flag.
9 * check.c (intrinsic_type_check): New function.
10 (gfc_check_findloc): New function.
11 * intrinsics.c (gfc_type_letter): If logical_equals_int is
13 (add_sym_5ml): Reformat comment.
14 (add_sym_6fl): New function.
15 (add_functions): Add findloc.
16 (check_arglist): Add sixth argument, handle it.
17 (resolve_intrinsic): Likewise.
18 (check_specific): Handle findloc.
19 * intrinsic.h (gfc_check_findloc): Add prototype.
20 (gfc_simplify_findloc): Likewise.
21 (gfc_resolve_findloc): Likewise.
22 (MAX_INTRINSIC_ARGS): Adjust.
23 * iresolve.c (gfc_resolve_findloc): New function.
24 * simplify.c (gfc_simplify_minmaxloc): Make static.
25 (simplify_findloc_to_scalar): New function.
26 (simplify_findloc_nodim): New function.
27 (simplify_findloc_to_array): New function.
28 (gfc_simplify_findloc): New function.
29 (gfc_conv_intrinsic_findloc): New function.
30 (gfc_conv_intrinsic_function): Handle GFC_ISYM_FINDLOC.
31 (gfc_is_intrinsic_libcall): Likewise.
33 2018-10-27 Thomas Koenig <tkoenig@gcc.gnu.org>
36 * frontend-passes.c (check_locus_code): Add information that
37 warning about missing location information points to an
38 inconsisten internal state.
39 (check_locus_expr): Likewise.
41 2018-10-25 Jakub Jelinek <jakub@redhat.com>
44 * openmp.c (gfc_match_omp_clauses): Parse simd, monotonic and
45 nonmonotonic modifiers regardless of if they have been parsed
46 already or if the opposite one has. Fix up check whether
47 comma after modifier should be parsed.
48 (resolve_omp_clauses): Diagnose schedule modifier restrictions.
50 2018-10-23 Paul Thomas <pault@gcc.gnu.org>
53 * frontend-passes.c (get_len_call): New function to generate a
54 call to intrinsic LEN.
55 (create_var): Use this to make length expressions for variable
57 Clean up some white space issues.
59 2018-10-21 Paul Thomas <pault@gcc.gnu.org>
62 * trans-expr.c (gfc_trans_pointer_assignment): Set the string
63 length for array valued deferred length lhs.
65 2018-10-18 Tobias Burnus <burnus@net-b.de>
68 * trans-array.c (gfc_is_reallocatable_lhs): Detect allocatable
71 2018-10-18 Paul Thomas <pault@gcc.gnu.org>
74 * trans-stmt.c (trans_associate_var): All strings that return
75 as pointer types can be assigned directly to the associate
76 name so remove 'attr' and the condition that uses it.
78 2018-10-18 Paul Thomas <pault@gcc.gnu.org>
81 * trans-decl.c (gfc_get_symbol_decl): Deal correctly with the
82 initialization with NULL() of a deferred length pointer.
84 2018-10-17 Tobias Burnus <burnus@net-b.de>
87 * resolve.c (resolve_select_type): Use correct variable.
89 2018-10-17 David Malcolm <dmalcolm@redhat.com>
91 * Make-lang.in (selftest-fortran): New.
93 2018-10-17 Paul Thomas <pault@gcc.gnu.org>
100 * resolve.c (resolve_variable): Fix up expressions with array
101 associate names, where the parser did not detect that this is
102 array and there was no array part_ref in the expression.
104 2018-10-16 Tobias Burnus <burnus@net-b.de>
107 * trans-array.c (gfc_array_init_size, gfc_array_allocate):
108 Rename argument e3_is_array_constr to e3_has_nodescriptor
110 * trans-stmt.c (gfc_trans_allocate): Also fix lower bound
111 to 1 for nonalloc/nonpointer func results/vars besides
114 2018-10-16 Tobias Burnus <burnus@net-b.de>
117 * trans-stmt.c (form_team, change_team, sync_team):
118 Don't ignore argse.pre/argse.post.
120 2018-10-15 Paul Thomas <pault@gcc.gnu.org>
121 Tobias Burnus <burnus@gcc.gnu.org>
124 * resolve.c (resolve_assoc_var): Add missing array spec for
125 class associate names.
126 (resolve_select_type): Handle case where last typed component
127 of the selector has a different type to the expression.
128 * trans-expr.c (gfc_find_and_cut_at_last_class_ref): Replace
129 call to gfc_expr_to_initialize with call to gfc_copy_expr.
130 (gfc_conv_class_to_class): Guard assignment to 'len' field
131 against case where zero constant is supplied.
133 2018-10-12 Tobias Burnus <burnus@net-b.de>
136 * expr.c (gfc_simplify_expr): Avoid simplifying
137 the 'array' argument to lbound/ubound/lcobound/
140 2018-10-12 Tobias Burnus <burnus@net-b.de>
143 * decl.c (get_proc_name): Return with error before
146 2018-10-11 Tobias Burnus <burnus@net-b.de>
149 2018-10-09 Tobias Burnus <burnus@net-b.de>
152 * resolve.c (resolve_ref): Reject nonscalar
153 substring references.
155 2018-10-09 David Malcolm <dmalcolm@redhat.com>
157 * cpp.c (gfc_cpp_init_0): Update for renamings.
158 (cb_cpp_error): Rename to...
159 (cb_cpp_diagnostic): ...this, converting level and reason to
162 2018-10-09 Tobias Burnus <burnus@net-b.de>
165 * resolve.c (resolve_ref): Reject nonscalar
166 substring references.
168 2018-10-09 Paul Thomas <pault@gcc.gnu.org>
171 * trans-array.c (gfc_get_array_span): Deal with deferred char
172 array components having a TYPE_MAX_VALUE of zero.
173 (gfc_array_init_size): Use the hidden string length component
174 to build the descriptor dtype.
175 (gfc_array_allocate): Remove the erroneous replacement of the
176 charlen backend decl with a temporary.
177 (gfc_conv_expr_descriptor): Use the ss_info string length in
178 the case of deferred character components.
179 (gfc_alloc_allocatable_for_assignment): Actually compare the
180 string lengths for deferred characters. Make sure that kind > 1
181 is handled correctly. Set the span field of the descriptor.
182 * trans-intrinsic.c (gfc_conv_intrinsic_len): Remove the stupid
186 * trans-array.c (gfc_array_allocate): Set the span field for
187 variable length character arrays.
189 2018-10-08 Cesar Philippidis <cesar@codesourcery.com>
191 * expr.c (gfc_check_pointer_assign): Demote "Assignment to
192 contiguous pointer from non-contiguous target" to a warning.
194 2018-10-08 Paul Thomas <pault@gcc.gnu.org>
197 * trans-stmt.c (trans_associate_var): Character associate names
198 with variable string length do not have to be deferred length
199 for the string length to be set, if variable.
201 2018-10-06 Thomas Koenig <tkoenig@gcc.gnu.org>
204 * gfortran.h (enum arith): Add ARITH_WRONGCONCAT.
205 * arith.h (gfc_arith_error): Issue error for ARITH_WRONGCONCAT.
206 (gfc_arith_concat): If the types of op1 and op2 are not
207 character of if their kinds do not match, issue ARITH_WRONGCONCAT.
209 2018-10-06 Paul Thomas <pault@gcc.gnu.org>
212 * resolve.c (resolve_fl_procedure): Include class functions in
213 the test that elemental function results be scalar.
215 2018-10-06 Thomas Koenig <tkoenig@gcc.gnu.org>
218 * simplify.c (gfc_simplify_cshift): Extend size of hs_ex and ss_ex
219 by one. Set extents one past the array boundaries to zero to avoid
220 warning with instrumented compiler.
221 (gfc_simplify_eoshift): Likewise, only for ss_ex.
223 2018-10-05 Paul Thomas <pault@gcc.gnu.org>
226 * trans-decl.c (gfc_get_symbol_decl): Make sure that deferred
227 character length pointer initializer has the right type to fix
228 problem with deferred_character_24.f90 on big endian.
230 2018-10-03 Jeff Law <law@redhat.comg>
232 * trans-types.c (get_typenode_from_name): Moved into gcc/tree.c.
234 2018-10-01 Paul Thomas <pault@gcc.gnu.org>
237 * trans-expr.c (gfc_trans_assignment_1): Set the 'identical'
238 flag in the call to gfc_check_dependency.
240 2018-09-30 Paul Thomas <pault@gcc.gnu.org>
243 * trans-array.c (gfc_is_reallocatable_lhs): Correct the problem
244 introduced by r264358, which prevented components of associate
245 names from being reallocated on assignment.
247 2018-09-30 Paul Thomas <pault@gcc.gnu.org>
251 * trans-array.c (gfc_conv_scalarized_array_ref): If this is a
252 deferred type and the info->descriptor is present, use the
254 (gfc_conv_array_ref): Is the se expr is a descriptor type, pass
255 it as 'decl' rather than the symbol backend_decl.
256 (gfc_array_allocate): If the se string_length is a component
257 reference, fix it and use it for the expression string length
258 if the latter is not a variable type. If it is a variable do
259 an assignment. Make use of component ref string lengths to set
260 the descriptor 'span'.
261 (gfc_conv_expr_descriptor): For pointer assignment, do not set
262 the span field if gfc_get_array_span returns zero.
263 * trans.c (get_array_span): If the upper bound a character type
264 is zero, use the descriptor span if available.
266 2018-09-30 Paul Thomas <pault@gcc.gnu.org>
269 * trans-decl.c (gfc_get_symbol_decl): A deferred character
270 length pointer that is initialized needs the string length to
271 be initialized as well.
273 2018-09-29 Paul Thomas <pault@gcc.gnu.org>
276 * trans-expr.c (gfc_trans_assignment_1): If there is dependency
277 fix the rse stringlength.
279 2018-09-25 Martin Liska <mliska@suse.cz>
282 * decl.c (add_hidden_procptr_result): Simplify condition
283 as we are in branch witch 'case1 || case2'.
285 2018-09-25 Martin Liska <mliska@suse.cz>
287 * trans.c (remove_suffix): Remove
290 2018-09-24 Thomas Koenig <tkoenig@gcc.gnu.org>
293 * gfc_conv_procedure_call: Do not add clobber on INTENT(OUT)
294 for variables in an associate statement.
296 2018-09-24 Bernhard Reuther-Fischer <aldot@gcc.gnu.org>
297 Cesar Philippidis <cesar@codesourcery.com>
299 * openmp.c (resolve_oacc_loop_blocks):
301 2018-09-23 Thomas Koenig <tkoenig@gcc.gnu.org>
304 * gfc_conv_procedure_call: Do not add clobber on INTENT(OUT)
305 for variables having the dimension attribute.
307 2018-09-23 Janne Blomqvist <jb@gcc.gnu.org>
309 * trans-expr.c (gfc_caf_get_image_index): Do array index
310 calculations in gfc_array_index_type.
311 * trans-intrinsic.c (conv_intrinsic_event_query): Likewise.
312 * trans-stmt.c (gfc_trans_lock_unlock): Likewise.
313 (gfc_trans_event_post_wait): Likewise.
315 2018-09-23 Thomas Koenig <tkoenig@gcc.gnu.org>
318 * gfc_conv_procedure_call: Reformat comments slightly. Do not add
319 clobber on INTENT(OUT) for saved variables.
321 2018-09-22 Thomas Koenig <tkoenig@gcc.gnu.org>
324 * trans.h (gfc_conv_expr_reference): Add optional argument
325 add_clobber to prototype.
326 (gfc_conv_procedure_call): Set add_clobber argument to
327 gfc_conv_procedure_reference to true for scalar, INTENT(OUT),
328 non-pointer, non-allocatable, non-dummy variables whose type
329 is neither BT_CHARACTER, BT_DERIVED or BT_CLASS, but only if
330 the procedure is not elemental.
331 * trans-expr.c (gfc_conv_procedure_reference): Add clobber
332 statement before call if add_clobber is set.
334 2018-09-22 Paul Thomas <pault@gcc.gnu.org>
337 * trans-array.c (gfc_alloc_allocatable_for_assignment): Test
338 the charlen backend_decl before using the VAR_P macro.
340 2018-09-21 Paul Thomas <pault@gcc.gnu.org>
343 * trans-array.c (gfc_alloc_allocatable_for_assignment): If the
344 rhs has a charlen expression, convert that and use it.
345 * trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
346 assignment of deferred character array vars to a realocatable
347 lhs should not be added to the exterior block since vector
348 indices, for example, generate temporaries indexed within the
351 2018-09-21 Paul Thomas <pault@gcc.gnu.org>
354 * trans-stmt.c (gfc_trans_allocate): Don't deallocate alloc
355 components if must_finalize is set for expr3.
357 2018-09-21 Andrew Stubbs <ams@codesourcery.com>
358 Kwok Cheung Yeung <kcy@codesourcery.com>
360 * trans-expr.c (gfc_trans_structure_assign): Ensure that the first
361 argument of a call to _gfortran_caf_register is of size_type_node.
362 * trans-intrinsic.c (conv_intrinsic_event_query): Convert computed
363 index to a size_type_node type.
364 * trans-stmt.c (gfc_trans_event_post_wait): Likewise.
366 2018-09-20 Allan Sandfeld Jensen <allan.jensen@qt.io>
368 * gfortranspec.c (lang_specific_driver): Handle -r like -nostdlib.
370 2018-09-20 Janus Weil <janus@gcc.gnu.org>
372 * gfortran.h (gfc_str_startswith): New macro.
373 * decl.c (variable_decl, gfc_match_end): Use it.
374 * iresolve.c (is_trig_resolved): Ditto.
375 * module.c (load_omp_udrs, read_module): Ditto.
376 * options.c (gfc_handle_runtime_check_option): Ditto.
377 * primary.c (match_arg_list_function): Ditto.
378 * trans-decl.c (gfc_get_symbol_decl): Ditto.
379 * trans-expr.c (gfc_conv_procedure_call): Ditto.
380 * interface.c (dtio_op): Replace strncmp by strcmp.
381 * resolve.c (resolve_actual_arglist, resolve_function): Ditto.
382 * trans-expr.c (conv_arglist_function): Ditto.
383 * trans-intrinsic.c (gfc_conv_ieee_arithmetic_function): Replace macro
384 STARTS_WITH by gfc_str_startswith.
386 2018-09-20 Cesar Philippidis <cesar@codesourcery.com>
388 * dump-parse-tree.c (show_omp_clauses): Add missing omp list_types
389 and reorder the switch cases to match the enum in gfortran.h.
391 2018-09-19 Paul Thomas <pault@gcc.gnu.org>
394 * trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
395 assignment of deferred character intrinsic elemental function
396 results to a realocatable lhs must not be added to the exterior
397 block if they are array valued but must go to the loop body.
399 2018-09-18 Thomas Koenig <tkoenig@gcc.gnu.org>
402 * gfortran.h (gfc_expr): Add external_blas flag.
403 * frontend-passes.c (matrix_case): Add case A2TB2T.
404 (optimize_namespace): Handle flag_external_blas by
405 calling call_external_blas.
406 (get_array_inq_function): Add argument okind. If
407 it is nonzero, use it as the kind of argument
409 (inline_limit_check): Remove m_case argument, add
410 limit argument instead. Remove assert about m_case.
411 Set the limit for inlining from the limit argument.
412 (matmul_lhs_realloc): Handle case A2TB2T.
413 (inline_matmul_assign): Handle inline limit for other cases with
414 two rank-two matrices. Remove no-op calls to inline_limit_check.
415 (call_external_blas): New function.
416 * trans-intrinsic.c (gfc_conv_intrinsic_funcall): Do not add
417 argument to external BLAS if external_blas is already set.
419 2018-09-18 Paul Thomas <pault@gcc.gnu.org>
422 * trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
423 assignment of deferred character elemental function results to
424 a realocatable lhs must not be added to the exterior block but
425 must go to the loop body.
427 2018-09-18 Paul Thomas <pault@gcc.gnu.org>
430 * trans-array.c (gfc_get_array_span): Try to get the element
431 length of incomplete types. Return NULL_TREE otherwise.
432 (gfc_conv_expr_descriptor): Only set the 'span' field if the
433 above does not return NULL_TREE. Set 'span' field if possible
434 for all new descriptors.
436 2018-09-17 Paul Thomas <pault@gcc.gnu.org>
439 * trans-decl.c (gfc_get_symbol_decl): Flag allocatable, scalar
440 characters with a variable length expression for deferred init.
441 (gfc_trans_deferred_vars): Perform the assignment for these
442 symbols by calling gfc_conv_string_length.
444 2018-09-17 Paul Thomas <pault@gcc.gnu.org>
447 * resolve.c (resolve_assoc_var): If the target expression is a
448 deferred charlen dummy and the associate name shares the
449 charlen, generate a new one. Make sure that new charlens are in
450 the namespace list so that they get cleaned up.
451 * trans-array.c (gfc_is_reallocatable_lhs): Associate names are
453 * trans-decl.c (gfc_get_symbol_decl): Put deferred character
454 length dummy and result arrays on the deferred initialization
455 list so that the variable length arrays can be correctly dealt
457 * trans-expr.c (gfc_conv_string_length): Return if 'expr' is
458 NULL rather than ICEing..
460 2018-09-16 Janus Weil <janus@gcc.gnu.org>
464 * match.c (gfc_match_assignment): For a polymorphic assignment,
465 make sure that the vtab for the rhs type is generated.
467 2018-09-16 Thomas Koenig <tkoenig@gcc.gnu.org>
470 * frontend-passes.c (B_ERROR): New macro for matmul bounds
471 checking error messages.
473 (inline_matmul_assign): Reorganize bounds checking, use B_ERROR
476 2018-09-13 Bernd Edlinger <bernd.edlinger@hotmail.de>
478 * trans-array.c (gfc_conv_array_initializer): Remove excess precision
479 from overlength string initializers.
481 2018-09-12 Paul Thomas <pault@gcc.gnu.org>
484 * trans-expr.c (gfc_trans_class_init_assign): Access to
485 to array elements of the dynamic type requires that the array
486 reference be added to the class expression and not the _data
487 component, unlike scalar expressions.
489 2018-09-11 Janus Weil <janus@gcc.gnu.org>
492 * resolve.c (resolve_fl_derived): If a type has the 'use_assoc'
493 attribute, then it was declared in another module, so there should be
494 no error that it has not been declared.
496 2018-09-11 Paul Thomas <pault@gcc.gnu.org>
499 * expr.c (is_subref_array): Add the check of dimensionality for
500 class, dummy, pointer arrays.
502 2018-09-11 Janus Weil <janus@gcc.gnu.org>
505 * expr.c (gfc_is_simply_contiguous): Handle type-bound procedure calls
506 with non-polymorphic objects.
508 2018-09-10 Janus Weil <janus@gcc.gnu.org>
511 * decl.c (match_binding_attributes): Use correct default accessibility
512 for procedure pointer components.
514 2018-09-03 Jerry DeLisle <jvdelisle@gcc.gnu.org>
516 * simplify.c (gfc_simplify_modulo): Re-arrange code to test whether
517 'P' is zero and issue an error if it is.
519 2018-08-31 Paul Thomas <pault@gcc.gnu.org>
523 * trans-array.c (gfc_conv_scalarized_array_ref): Do not fix
524 info->descriptor but pass it directly to gfc_build_array_ref.
525 (gfc_conv_array_ref): Likewise for se->expr.
526 * trans.c (gfc_build_array_ref): If 'decl' is a COMPONENT_REF
527 obtain the span field directly from it.
529 2017-08-28 Paul Thomas <pault@gcc.gnu.org>
532 * trans-expr.c (gfc_conv_procedure_call): Allocatable class
533 scalar results being passed to a derived type formal argument
534 are finalized if possible. Otherwise, rely on existing code for
535 deallocation. Make the deallocation of allocatable result
536 components conditional on finalization not taking place. Make
537 the freeing of data components after finalization conditional
538 on the data being NULL.
539 (gfc_trans_arrayfunc_assign): Change the gcc_assert to a
540 condition to return NULL_TREE.
541 (gfc_trans_assignment_1): If the assignment is class to class
542 and the rhs expression must be finalized but the assignment
543 is not marked as a polymorphic assignment, use the vptr copy
544 function instead of gfc_trans_scalar_assign.
547 * trans-expr.c (gfc_conv_expr_reference): Do not add the post
548 block to the pre block if the expression is to be finalized.
549 * trans-stmt.c (gfc_trans_allocate): If the expr3 must be
550 finalized, load the post block into a finalization block and
551 add it right at the end of the allocation block.
553 2018-08-27 David Malcolm <dmalcolm@redhat.com>
556 * error.c (gfc_format_decoder): Update for conversion of
557 show_caret_p to a tri-state.
559 2018-08-25 Janus Weil <janus@gcc.gnu.org>
562 * resolve.c (resolve_transfer): Correctly determine typespec for
563 generic function calls, in order to throw a proper error.
565 2018-08-24 Thomas Koenig <tkoenig@gcc.gnu.org>
568 * frontend-passes.c (var_in_expr_callback): New function.
569 (var_in_expr): New function.
570 (traverse_io_block): Use var_in_expr instead of
571 gfc_check_dependency for checking if the variable depends on the
574 2018-08-23 Janne Blomqvist <blomqvist.janne@gmail.com>
576 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxval): Delete
577 HONOR_SIGNED_ZEROS checks.
579 2018-08-23 Paul Thomas <pault@gcc.gnu.org>
582 * resolve.c (resolve_typebound_call): If the TBP is not marked
583 as a subroutine, check the specific symbol.
585 2018-08-22 Thomas Koenig <tkoenig@gcc.gnu.org>
587 * gfortran.texi: Mention that asynchronous I/O does
588 not work on systems which lack condition variables, such
591 2018-08-22 Janus Weil <janus@gcc.gnu.org>
594 * match.c (gfc_match_associate): Improve diagnostics for the ASSOCIATE
597 2018-08-22 Andrew Benson <abensonca@gmail.com>
599 * module.c (load_generic_interfaces): Move call to find_symbol()
600 so that only occurs if actually needed.
602 2018-08-22 Janus Weil <janus@gcc.gnu.org>
605 * decl.c (gfc_match_data_decl): Allow allocatable components of
606 indirectly recursive type.
607 * resolve.c (resolve_component): Remove two errors messages ...
608 (resolve_fl_derived): ... and replace them by a new one.
610 2018-08-21 Janne Blomqvist <jb@gcc.gnu.org>
612 * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Use
613 MAX_EXPR/MIN_EXPR unconditionally for real arguments.
614 * gfortran.texi (Compiler Characteristics): Document MAX/MIN
617 2018-08-21 Nicolas Koenig <koenigni@gcc.gnu.org>
618 Thomas Koenig <tkoenig@gcc.gnu.org>
621 * gfortran.texi: Add description of asynchronous I/O.
622 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
624 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
625 st_wait_async and change argument spec from ".X" to ".w".
626 (gfc_trans_wait): Pass ID argument via reference.
628 2018-08-16 Nathan Sidwell <nathan@acm.org>
630 * cpp.c (dump_macro): Use cpp_user_macro_p.
632 2018-08-14 Janus Weil <janus@gcc.gnu.org>
635 * interface.c (compare_type): Remove a CLASS/TYPE check.
636 (compare_type_characteristics): New function that behaves like the old
638 (gfc_check_dummy_characteristics, gfc_check_result_characteristics):
639 Call 'compare_type_characteristics' instead of 'compare_type'.
641 2018-08-12 Paul Thomas <pault@gcc.gnu.org>
644 * trans-intrinsic.c (gfc_conv_intrinsic_transfer): Class array
645 elements are returned as references to the data element. Get
646 the class expression by stripping back the references. Use this
647 for the element size.
649 2018-08-12 Paul Thomas <pault@gcc.gnu.org>
652 * resolve.c (resolve_fl_variable_derived): Check if the derived
653 type is use associated before checking for the host association
656 2018-08-10 Janus Weil <janus@gcc.gnu.org>
659 * invoke.texi (frontend-optimize): Mention short-circuiting.
660 * options.c (gfc_post_options): Disable -ffrontend-optimize with -Og.
661 * resolve.c (resolve_operator): Warn about short-circuiting only with
663 * trans-expr.c (gfc_conv_expr_op): Use short-circuiting operators only
664 with -ffrontend-optimize. Without that flag, make sure that both
665 operands are evaluated.
667 2018-08-08 Nathan Sidwell <nathan@acm.org>
669 * cpp.c (cb_file_change): Use linemap_included_from.
671 2018-08-07 Cesar Philippidis <cesar@codesourcery.com>
673 * trans-stmt.h: Remove stale reference to trans-openacc.c.
675 2018-08-04 Janus Weil <janus@gcc.gnu.org>
678 * interface.c (gfc_compare_interfaces): Apply additional
679 distinguishability criteria of F08 to operator interfaces.
681 2018-07-31 Andre Vieira <andre.simoesdiasvieira@arm.com>
683 Revert 'AsyncI/O patch committed'
684 2018-07-25 Nicolas Koenig <koenigni@gcc.gnu.org>
685 Thomas Koenig <tkoenig@gcc.gnu.org>
688 * gfortran.texi: Add description of asynchronous I/O.
689 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
691 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
692 st_wait_async and change argument spec from ".X" to ".w".
693 (gfc_trans_wait): Pass ID argument via reference.
695 2018-07-25 Nicolas Koenig <koenigni@gcc.gnu.org>
696 Thomas Koenig <tkoenig@gcc.gnu.org>
699 * gfortran.texi: Add description of asynchronous I/O.
700 * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
702 * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
703 st_wait_async and change argument spec from ".X" to ".w".
704 (gfc_trans_wait): Pass ID argument via reference.
706 2018-07-20 Martin Sebor <msebor@redhat.com>
709 * gfortran.h (gfc_handle_option): Change function argument
711 * options.c (gfc_handle_option): Same.
713 2018-07-20 Andrew Benson <abenson@carnegiescience.edu>
715 * gfortran.h (gfc_symbol): Add pointer to next derived type.
716 (gfc_dt_list, gfc_get_dt_list): Remove.
717 (gfc_namespace): Replace gfc_dt_list with gfc_symbol.
718 * parse.c (resolve_all_program_units): Replace gfc_free_dt_list() with
719 simple nullification of gfc_derived_types.
720 * resolve.c (resolve_global_procedure): Replace gfc_dt_list with
722 (add_dt_to_dt_list): Change derived type linked list insertion to
723 utilize dt_next pointers in gfc_symbol.
724 * symbol.c (gfc_new_symbol, gfc_free_dt_list, gfc_symbol_done2)
725 (get_iso_c_binding_dt, generate_isocbinding_symbol): Remove
726 gfc_free_dt_list as gfc_dt_list is obsoleted. Change derived type
727 linked list search/insertion to utilize dt_next pointers in gfc_symbol.
728 * trans-types.c (gfc_get_derived_type): Change derived type linked
729 list search to utilize dt_next pointers in gfc_symbol.
731 2018-07-19 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
733 * trans-intrinsic.c: (gfc_conv_intrinsic_minmax): Emit MIN_MAX_EXPR
734 or IFN_FMIN/FMAX sequence to calculate the min/max when possible.
736 2018-07-18 Janus Weil <janus@gcc.gnu.org>
737 Thomas Koenig <tkoenig@gcc.gnu.org>
740 * dump-parse-tree.c (show_attr): Add handling of implicit_pure.
741 * frontend-passes.c (do_warn_function_elimination): Do not warn for
743 * gfortran.h: Add prototypes for gfc_pure_function and
744 gfc_implicit_pure_function.
745 * gfortran.texi: Add chapter on evaluation of logical expressions.
746 * invoke.texi: Mention that -Wfunction-elimination is implied
748 * lang.opt: Make -Wextra imply -Wfunction-elimination.
749 * resolve.c (pure_function): Rename to gfc_pure_function.
750 (gfc_implicit_pure_function): New function.
751 (check_pure_function): Use it here.
752 (impure_function_callback): New function.
753 (resolve_operator): Call it via gfc_expr_walker.
755 2018-07-16 Fritz Reese <fritzoreese@gmail.com>
758 * decl.c (match_old_style_init): Initialize locus of variable expr when
759 creating a data variable.
760 (match_clist_expr): Verify array is explicit shape/size before
761 attempting to allocate constant array constructor.
763 2018-07-16 Fritz Reese <fritzoreese@gmail.com>
766 * module.c (mio_component): Set component->loc when loading from module.
768 2018-07-10 Jakub Jelinek <jakub@redhat.com>
771 * module.c (omp_declare_simd_clauses): Add LINEAR with _REF, _VAL and
773 (mio_omp_declare_simd): Save and restore ref, val and uval modifiers
774 on linear clauses. Initialize n->where to gfc_current_locus.
776 2018-07-05 Paul Thomas <pault@gcc.gnu.org>
779 * resolve.c.c (resolve_contained_fntype): Reference to C418 is
780 in F2008 and not F2003.
781 (resolve_function): Ditto in error message. Also, exclude
782 deferred character length results from the error.
784 2018-07-05 Fritz Reese <fritzoreese@gmail.com>
788 * expr.c (class_allocatable, class_pointer, comp_allocatable,
789 comp_pointer): New helpers.
790 (component_initializer): Generate EXPR_NULL for allocatable or pointer
791 components. Do not generate initializers for components within BT_CLASS.
792 Do not assign to comp->initializer.
793 (gfc_generate_initializer): Use new helpers; move code to generate
794 EXPR_NULL for class allocatable components into component_initializer().
796 2018-07-04 Jerry DeLisle <jvdelisle@gcc.gnu.org>
799 * trans-decl.c (gfc_process_block_locals): Delete assert and set
800 saved_local_decls = NULL_TREE.
802 2018-07-02 Richard Biener <rguenther@suse.de>
805 * trans-types.c (gfc_get_array_type_bounds): Unshare TYPE_FIELDs
806 for the distinct type copy.
808 2018-07-02 Paul Thomas <pault@gcc.gnu.org>
812 * trans-array.c (structure_alloc_comps): Do not explicitly copy
813 procedure pointer components.
815 2018-07-02 Paul Thomas <pault@gcc.gnu.org>
818 * expr.c : Add a prototype for scalarize_intrinsic_call.
819 (gfc_simplify_expr): Use scalarize_intrinsic_call for elemental
820 intrinsic function calls.
821 (scalarize_intrinsic_call): Add 'init_flag' argument. Check if
822 the expression or any of the actual argument expressions are
823 NULL. Before calling gfc_check_init_expr, check 'init_flag'.
824 Only simplify the scalarized expressions if there are no errors
826 (gfc_check_init_expr): Set 'init_flag' true in the call to
827 scalarize_intrinsic_call.
829 2018-06-28 Fritz Reese <fritzoreese@gmail.com>
832 * decl.c (gfc_match_type): Refactor and check for PDT declarations.
834 2018-06-28 Martin Liska <mliska@suse.cz>
836 * gfortranspec.c: Include opt-suggestions.h.
838 2018-06-25 Fritz Reese <fritzoreese@gmail.com>
843 * expr.c (component_initializer): Assign init expr to c->initializer.
844 (generate_isocbinding_initializer): New.
845 (gfc_generate_initializer): Call generate_isocbinding_initializer to
846 generate initializers for c_ptr and c_funptr with -finit-derived.
848 2018-06-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
851 * interface.c (check_dtio_interface1): Delete assert.
853 2018-06-22 Paul Thomas <pault@gcc.gnu.org>
854 Rainer Orth <ro@gcc.gnu.org>
857 * resolve.c (resolve_contained_fntype): Check for the charlen
858 before testing the length.
860 2018-06-21 Paul Thomas <pault@gcc.gnu.org>
863 * resolve.c (resolve_contained_fntype): Change standard ref.
864 from F95 to F2003: C418. Correct a spelling error in a comment.
865 It is an error for an abstract interface to have an assumed
866 character length result.
867 * trans-expr.c (gfc_conv_procedure_call): Likewise change the
870 2018-06-21 Paul Thomas <pault@gcc.gnu.org>
873 * resolve.c (resolve_ordinary_assign): Force the creation of a
874 vtable for assignment of non-polymorphic expressions to an
875 unlimited polymorphic object.
876 * trans-array.c (gfc_alloc_allocatable_for_assignment): Use the
877 size of the rhs type for such assignments. Set the dtype, _len
878 and vptrs appropriately.
879 * trans-expr.c (gfc_trans_assignment): Force the use of the
880 _copy function for these assignments.
882 2018-06-20 Chung-Lin Tang <cltang@codesourcery.com>
883 Thomas Schwinge <thomas@codesourcery.com>
884 Cesar Philippidis <cesar@codesourcery.com>
886 * gfortran.h (gfc_omp_clauses): Add unsigned if_present, finalize
888 * openmp.c (enum omp_mask2): Remove OMP_CLAUSE_PRESENT_OR_*. Add
889 OMP_CLAUSE_{IF_PRESENT,FINALIZE}.
890 (gfc_match_omp_clauses): Update handling of copy, copyin, copyout,
891 create, deviceptr, present_of_*. Add support for finalize and
893 (OACC_PARALLEL_CLAUSES): Remove PRESENT_OR_* clauses.
894 (OACC_KERNELS_CLAUSES): Likewise.
895 (OACC_DATA_CLAUSES): Likewise.
896 (OACC_DECLARE_CLAUSES): Likewise.
897 (OACC_UPDATE_CLAUSES): Add IF_PRESENT clause.
898 (OACC_ENTER_DATA_CLAUSES): Remove PRESENT_OR_* clauses.
899 (OACC_EXIT_DATA_CLAUSES): Add FINALIZE clause.
900 (gfc_match_oacc_declare): Update to OpenACC 2.5 semantics.
901 * trans-openmp.c (gfc_trans_omp_clauses): Add support for IF_PRESENT
904 2018-06-18 Eric Botcazou <ebotcazou@adacore.com>
906 * trans-decl.c (gfc_get_fake_result_decl): Revert latest change.
908 2018-06-17 Eric Botcazou <ebotcazou@adacore.com>
910 * trans-decl.c (nonlocal_dummy_decl_pset): Delete.
911 (nonlocal_dummy_decls): Likewise.
912 (gfc_nonlocal_dummy_array_decl): Likewise.
913 (gfc_get_symbol_decl): Do not call gfc_nonlocal_dummy_array_decl.
914 (gfc_get_fake_result_decl): Do not generate a new DECL if simply
915 reusing the result of a recursive call.
916 (gfc_generate_function_code): Do not create, insert and destroy
917 nonlocal_dummy_decls.
919 2018-06-13 Steven G. Kargl <kargl@gcc.gnu.org>
922 * array.c (gfc_resolve_character_array_constructor): Avoid NULL
925 2018-06-13 Cesar Philippidis <cesar@codesourcery.com>
928 * parse.c (decode_oacc_directive): Set gfc_matching_function
930 (decode_omp_directive): Likewise.
932 2018-06-13 Cesar Philippidis <cesar@codesourcery.com>
935 * openmp.c (gfc_match_oacc_wait): Use %C to report error location.
937 2018-06-12 David Malcolm <dmalcolm@redhat.com>
940 * misc.c (gfc_closest_fuzzy_match): Update for renaming of
941 levenshtein_distance to get_edit_distance.
943 2018-06-12 Steven G. Kargl <kargl@gcc.gnu.org>
946 * expr.c (gfc_check_assign): Select non-NULL locus.
948 2018-06-11 Janus Weil <janus@gcc.gnu.org>
951 * interface.c (compare_ptr_alloc): New function.
952 (generic_correspondence): Call it.
954 2018-06-10 Thomas Koenig <tkoenig@gcc.gnu.org>
956 * gfortran.h (gfc_expr): Add no_bounds_check field.
957 * frontend-passes.c (get_array_inq_function): Set no_bounds_check
958 on function and function argument.
959 (inline_matmul_assign): Set no_bounds_check on zero expression
960 and on lhs of zero expression.
961 Also handle A1B2 case if realloc on assigment is active.
962 * trans-array.c (gfc_conv_array_ref): Don't do range checking
963 if expr has no_bounds_check set.
964 (gfc_conv_expr_descriptor): Set no_bounds_check on ss if expr
966 * trans-expr.c (gfc_trans_assignment_1): Set no_bounds_check
967 on lss and lss if the corresponding expressions have it set.
969 2018-06-10 Dominique d'Humieres <dominiq@gcc.gnu.org>
972 * trans-const.c: Remove include "diagnostic-core.h".
973 (gfc_conv_constant_to_tree): Replace fatal_error with gcc_unreachable.
975 2018-06-10 Janus Weil <janus@gcc.gnu.org>
978 * decl.c (match_attr_spec): Synchronize the DECL_* enum values with the
979 INTENT_* values from the enum 'sym_intent'. Call 'match_intent_spec'
980 and remove a TODO note.
981 * gfortran.h: Add a comment to sym_intent.
983 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
986 * resolve.c (resolve_operator): Provide better error message for
987 derived type entity used in an binary intrinsic numeric operator.
989 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
994 * decl.c (gfc_match_char_spec): Use private namespace in attempt to
995 reduce a charlen to a constant.
997 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
1000 * data.c (gfc_assign_data_value): Re-arrange code to allow for
1001 an error for double initialization of CHARACTER entities.
1003 2018-06-09 Steven G. Kargl <kargl@gcc.gnu.org>
1006 * symbol.c (gfc_add_volatile): Enforce F2008:C1282 and F2018:C1588.
1008 2018-06-08 Thomas Koenig <tkoenig@gcc.gnu.org>
1011 * trans.h (gfc_ss): Add field no_bounds_check.
1012 * trans-array.c (gfc_conv_ss_startstride): If flag_realloc_lhs and
1013 ss->no_bounds_check is set, do not use runtime checks.
1014 * trans-expr.c (gfc_trans_assignment_1): Set lss->no_bounds_check
1015 for reallocatable lhs.
1017 2018-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
1020 * array.c (match_array_cons_element): NULL() cannot be in an
1023 2018-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
1026 * data.c (create_character_initializer): Return early if type is
1027 incompatible with CHARACTER.
1029 2018-06-07 Steven G. Kargl <kargl@gcc.gnu.org>
1032 * simplify.c (gfc_simplify_mod): Re-arrange code to test whether
1033 'P' is zero and issue an error if it is.
1035 2018-06-06 Thomas Koenig <tkoenig@gcc.gnu.org>
1038 * frontend-passes.c (is_fe_temp): Add prototype.
1039 (realloc_string_callback): Early return for frontend-generated
1042 2018-06-05 Cesar Philippidis <cesar@codesourcery.com>
1046 * openmp.c (gfc_resolve_oacc_declare): Error on functions and
1047 subroutine data clause arguments.
1049 2018-06-04 Steven G. Kargl <kargl@gcc.gnu.org>
1052 * resolve.c (resolve_allocate_deallocate): Check errmsg is default
1055 2018-06-03 Paul Thomas <pault@gcc.gnu.org>
1058 * decl.c (variable_decl): Use gfc_add_type for cray pointees.
1060 2018-06-01 Steven G. Kargl <kargl@gcc.gnu.org>
1063 * check.c (gfc_check_random_init): New function. Check arguments of
1065 * gfortran.h (GFC_ISYM_RANDOM_INIT): New enum token.
1066 * intrinsic.c (add_subroutines): Add RANDOM_INIT to list of
1068 (gfc_check_intrinsic_standard): Introduce Fortran 2018 check.
1069 * intrinsic.h: Add prototypes for gfc_check_random_init and
1070 gfc_resolve_random_init
1071 * intrinsic.texi: Document new intrinsic subprogram.
1072 * iresolve.c (gfc_resolve_random_init): Resolve routine name.
1073 * trans-decl.c: Declare gfor_fndecl_random_init
1074 * trans-intrinsic.c (conv_intrinsic_random_init): New function.
1075 Translate call to RANDOM_INIT.
1076 (gfc_conv_intrinsic_subroutine): Call it.
1077 * trans.h: Declare gfor_fndecl_random_init
1079 2018-05-27 Steven G. Kargl <kargl@gcc.gnu.org>
1081 * decl.c (match_data_constant): Fortran 2018 allows pointer
1082 initialization in a data statement.
1084 2018-05-25 Janus Weil <janus@gcc.gnu.org>
1087 * match.c (gfc_match_block_data): Call gfc_notify_std to warn about
1088 an obsolescent feature in Fortran 2018.
1089 (gfc_match_equivalence): Ditto.
1090 * resolve.c (resolve_common_blocks): Ditto.
1091 (gfc_resolve_forall): Ditto.
1092 * symbol.c (gfc_define_st_label): Ditto.
1094 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
1097 * resolve.c (update_current_proc_array_outer_dependency): Avoid NULL
1098 pointer dereference.
1100 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
1103 * resolve.c (resolve_fl_procedure): Avoid NULL dereference.
1105 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
1108 * decl.c (gfc_match_derived_decl): Fix NULL point dereference.
1110 2018-05-24 Steven G. Kargl <kargl@gcc.gnu.org>
1113 * resolve.c (resolve_sync): Resolve expression before checking for
1116 2018-05-22 Janus Weil <janus@gcc.gnu.org>
1119 * libgfortran.h: Remove the macros GFC_STD_F2008_TS and
1121 * error.c (notify_std_msg): Remove GFC_STD_F2008_TS.
1122 * options.c (set_default_std_flags): Ditto.
1123 (gfc_handle_option): Make -std=f2008ts an alias for -std=f2018.
1124 * array.c (gfc_match_array_spec): Replace GFC_STD_F2008_TS by
1126 * check.c (gfc_check_atomic, gfc_check_event_query,
1127 gfc_check_c_f_pointer, gfc_check_c_f_procpointer, gfc_check_c_funloc,
1128 gfc_check_c_loc, gfc_check_num_images, gfc_check_this_image): Ditto.
1129 * decl.c (gfc_verify_c_interop_param, gfc_match_decl_type_spec): Ditto.
1130 * intrinsic.c (add_functions, add_subroutines,
1131 gfc_check_intrinsic_standard): Ditto.
1132 * iso-c-binding.def: Ditto.
1133 * iso-fortran-env.def: Ditto.
1134 * match.c (gfc_match_event_post, gfc_match_event_wait,
1135 gfc_match_fail_image, gfc_match_form_team, gfc_match_change_team,
1136 gfc_match_end_team, gfc_match_sync_team): Ditto.
1137 * gfortran.texi: Remove mention of -std=f2008ts.
1138 Move TSs into F2018 section.
1139 * invoke.texi: Update documentation of -std=f2008ts.
1141 2018-05-21 Janus Weil <janus@gcc.gnu.org>
1144 * libgfortran.h: New macros GFC_STD_OPT_*.
1145 * error.c (notify_std_msg): New function.
1146 (gfc_notify_std): Adjust such that it can handle combinations of
1147 GFC_STD_* flags in the 'std' argument, not just a single one.
1148 * match.c (match_arithmetic_if, gfc_match_if): Reject arithmetic if
1150 (gfc_match_stopcode): Use GFC_STD_OPT_* macros.
1151 * options.c (set_default_std_flags): Warn for F2018 deleted features
1153 (gfc_handle_option): F2018 deleted features are allowed in earlier
1155 * symbol.c (gfc_define_st_label, gfc_reference_st_label): Reject
1156 nonblock do constructs in Fortran 2018.
1158 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
1161 * resolve.c (flag_fn_result_spec): Use the 'sym' argument to
1162 test for self refs to the function result in the character len
1163 expression. If a self reference is found, emit an error and
1165 (resolve_fntype): Use the function symbol in the calls to the
1168 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
1171 * trans-array.c (gfc_get_array_span): Renamed from
1173 (gfc_conv_expr_descriptor): Change references to above.
1174 * trans-array.h : Add prototype for 'gfc_get_array_span'.
1175 * trans-intrinsic.c (gfc_conv_associated): Add pre and post
1177 * trans-stmt.c (trans_associate_var): If the associate name is
1178 a subref array pointer, use gfc_get_array_span for the span.
1180 2018-05-20 Paul Thomas <pault@gcc.gnu.org>
1183 * match.c (gfc_match_type_spec): Go through the array ref and
1184 decrement 'rank' for every dimension that is an element.
1186 2018-05-19 Paul Thomas <pault@gcc.gnu.org>
1191 * trans-array.c (gfc_alloc_allocatable_for_assignment): Set the
1192 charlen backend_decl of the rhs expr to ss->info->string_length
1193 so that the value in the current scope is used.
1195 2018-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
1198 * gfortran.texi: Clarify documentation for Cray pointer and
1199 assumed-sized array.
1201 2018-05-13 Paul Thomas <pault@gcc.gnu.org>
1204 * trans-types.c (gfc_get_dtype_rank_type): Reorder evaluation
1205 of 'size'. If the element type is a pointer use the size of the
1206 TREE_TYPE of the type, unless it is VOID_TYPE. In this latter
1207 case, set the size to zero.
1209 2018-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
1211 * gfortran.h: Remove prototype.
1212 * symbol.c (gfc_new_undo_checkpoint): Remove unused function.
1214 2018-05-11 Steven G. Kargl <kargl@gcc.gnu.org>
1217 * expr.c (check_inquiry): Avoid NULL pointer dereference.
1219 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
1222 * check.c (gfc_check_rank): Check that the argument is a data object.
1224 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
1227 * array.c (gfc_resolve_character_array_constructor): Substrings
1228 with upper bound smaller than lower bound are zero length strings.
1230 2018-05-10 Steven G. Kargl <kargl@gcc.gnu.org>
1233 * data.c (gfc_assign_data_value): Check that a data object does
1234 not also have default initialization.
1236 2018-05-10 Marek Polacek <polacek@redhat.com>
1239 * options.c (gfc_post_options): Set main_input_filename.
1241 2018-05-10 Thomas Koenig <tkoenig@gcc.gnu.org>
1244 * intrinsic.texi: Document BACK for MINLOC and MAXLOC.
1246 2018-05-10 Paul Thomas <pault@gcc.gnu.org>
1250 * resolve.c (get_temp_from_expr): The temporary must not have
1251 dummy or intent attributes.
1253 2018-05-08 Thomas Koenig <tkoenig@gcc.gnu.org>
1256 * check.c (gfc_check_minmaxloc): Remove error for BACK not being
1257 implemented. Use gfc_logical_4_kind for BACK.
1258 * simplify.c (min_max_choose): Add optional argument back_val.
1260 (simplify_minmaxloc_to_scalar): Add argument back_val. Pass
1261 back_val to min_max_choose.
1262 (simplify_minmaxloc_to_nodim): Likewise.
1263 (simplify_minmaxloc_to_array): Likewise.
1264 (gfc_simplify_minmaxloc): Add argument back, handle it.
1265 Pass back_val to specific simplification functions.
1266 (gfc_simplify_minloc): Remove ATTRIBUTE_UNUSED from argument back,
1267 pass it on to gfc_simplify_minmaxloc.
1268 (gfc_simplify_maxloc): Likewise.
1269 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Adjust
1270 comment. If BACK is true, use greater or equal (or lesser or
1271 equal) insteal of greater (or lesser). Mark the condition of
1272 having found a value which exceeds the limit as unlikely.
1274 2018-05-07 Jeff Law <law@redhat.comg>
1276 * scanner.c (preprocessor_line): Call linemap_add after a line
1277 directive that changes the current filename.
1279 2018-05-06 Andre Vehreschild <vehre@gcc.gnu.org>
1282 * dependency.c (gfc_dep_resolver): Revert looking at coarray dimension
1283 introduced by r259385.
1284 * trans-intrinsic.c (conv_caf_send): Always report a dependency for
1285 same variables in coarray assignments.
1287 2018-05-02 Tom de Vries <tom@codesourcery.com>
1290 * f95-lang.c (DEF_GOACC_BUILTIN_ONLY): Define.
1292 2018-04-24 Steven G. Kargl <kargl@gcc.gnu.org>
1295 * decl.c (gfc_match_char_spec): Check for negative length and set to 0.
1297 2018-04-14 Andre Vehreschild <vehre@gcc.gnu.org>
1301 * dependency.c (gfc_dep_resolver): Coarray indexes are to be ignored
1302 during dependency computation. They define no data dependency.
1303 * trans-array.c (conv_array_index_offset): The stride can not be set
1305 * trans-intrinsic.c (conv_caf_send): Add creation of temporary array
1306 for caf_get's result and copying to the array with vectorial
1309 2018-04-14 Thomas Koenig <tkoenig@gcc.gnu.org>
1312 * frontend-passes.c (traverse_io_block): Check for start, end or
1313 stride being defined by an outer implied DO loop.
1315 2018-04-12 Thomas Koenig <tkoenig@gcc.gnu.org>
1319 * trans-stmt.c (gfc_trans_forall_loop): Use annot_expr_ivdep_kind
1320 for annotation and remove dependence on -ftree-parallelize-loops.
1322 2018-04-10 Jakub Jelinek <jakub@redhat.com>
1325 * openmp.c (resolve_omp_do): Remove bogus if (j < i) break;.
1326 (resolve_oacc_nested_loops): Likewise. Formatting fix.
1328 2018-04-09 Thomas Koenig <tkoenig@gcc.gnu.org>
1331 * trans-stmt.c (gfc_trans_forall_loop): Remove annotation for
1332 parallell processing of DO CONCURRENT -ftree-parallelize-loops
1335 2018-04-09 Thomas Koenig <tkoenig@gcc.gnu.org>
1338 * resolve.c (resolve_variable): Simplify cases where access to a
1339 parameter array results in a single constant.
1341 2018-04-02 Thomas Koenig <tkoenig@gcc.gnu.org>
1344 * decl.c (variable_decl): If upper or lower bounds simplify
1345 to a constant, use that.
1347 2018-03-30 Paul Thomas <pault@gcc.gnu.org>
1350 * simplify.c (gfc_convert_constant): Handle case of array
1351 constructors within an array that has no iterator and improve
1352 the conciseness of this section of code.
1354 2017-03-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1357 * array.c (gfc_resolve_character_array_constructor): Early
1358 exit for zero-size arrays.
1359 * simplify.c (simplify_transformation_to_array): Exit early
1360 if the result size is zero.
1361 (simplify_minmaxloc_to_array): Likewise.
1363 2018-03-28 Mikael Morin <mikael@gcc.gnu.org>
1366 * symbol.c (gfc_symbol_done_2): Start freeing namespaces
1368 (gfc_free_namespace): Restore assert (revert r258839).
1370 2018-03-28 Jakub Jelinek <jakub@redhat.com>
1372 * gfortran.h (gfc_dt): Rename default_exp field to dec_ext.
1373 * ioparm.def (IOPARM_dt_default_exp): Rename to ...
1374 (IOPARM_dt_dec_ext): ... this.
1375 * trans-io.c (build_dt): Adjust for default_exp renaming to
1376 dec_ext and IOPARM_dt_default_exp renaming to IOPARM_dt_dec_ext.
1377 * io.c (match_io): Likewise.
1379 2018-03-27 Thomas Koenig <tkoenig@gcc.gnu.org>
1382 * frontend-passes.c (gfc_run_passes): Do not run front-end
1383 optimizations if a previous error occurred.
1385 2018-03-27 Thomas Koenig <tkoenig@gcc.gnu.org>
1386 Harald Anlauf <anlauf@gmx.de>
1389 * primary.c (gfc_convert_to_structure_constructor): Check
1390 conformance of argument types in structure constructor.
1392 2018-03-26 Thomas Koenig <tkoenig@gcc.gnu.org>
1395 * io.c: Include constructor.h.
1396 (resolve_tag_format): For a constant character array, concatenate
1397 into a single character expression.
1399 2018-03-25 Seth Johnson <johnsonsr@ornl.gov>
1400 Dominique d'Humieres <dominiq@gcc.gnu.org>
1403 * check.c (gfc_check_c_f_pointer): Allow scalar noninteroperable
1404 scalar derived type with -std=f2003 and -std=f2008.
1406 2018-03-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1407 Dominique d'Humieres <dominiq@gcc.gnu.org>
1410 * symbol.c (gfc_free_namespace): Delete the assert and only if
1411 refs count is equals zero, free the namespace. Otherwise,
1412 something is halfway and other errors will resound.
1414 2018-03-24 Thomas Koenig <tkoenig@gcc.gnu.org>
1417 * expr.c (find_substring_ref): Change types of start, end
1418 and length variables to gfc_charlen_t. Set length to zero
1419 for empty substring.
1421 2018-03-24 Steven G. Kargl <kargl@gcc.gnu.org>
1424 * decl.c (check_function_name): Improved error message
1425 (gfc_match_volatile, gfc_match_asynchronous) Use check_function_name.
1427 2018-03-22 Steven G. Kargl <kargl@gcc.gnu.org>
1430 * decl.c (get_proc_name): If the MODULE prefix appears in interface
1431 body, then it must appear on the contained subroutine or function.
1432 While here, fix nearby mis-indented code.
1434 2018-03-21 Thomas Koenig <tkoenig@gcc.gnu.org>
1435 Harald Anlauf <anlauf@gmx.de>
1438 * trans-types.c (gfc_sym_type): Do not dereference NULL pointer.
1440 2018-03-21 Janne Blomqvist <jb@gcc.gnu.org>
1443 * trans-expr.c (gfc_conv_procedure_call): Convert charlen to
1444 gfc_charlen_type_node when calling procedure.
1446 2018-03-20 Steven G. Kargl <kargl@gcc.gnu.org>
1449 * interface.c (symbol_rank): Remove bogus null pointer check that
1450 crept in when translating a ternary operator into an if-else
1453 2018-03-19 Thomas Koenig <tkoenig@gcc.gnu.org>
1456 * simplify.c (gfc_convert_constant): Correctly handle iterators
1457 for type conversion.
1459 2018-03-18 Steven G. Kargl <kargl@gcc.gnu.org>
1462 * decl.c (get_proc_name): Check for a subroutine re-defined in
1463 the contain portion of a subroutine. Change language of existing
1464 error message to better describe the issue. While here fix whitespace
1467 2018-03-18 Steven G. Kargl <kargl@gcc.gnu.org>
1470 * decl.c (get_proc_name): Catch clash between a procedure statement
1471 and a contained subprogram
1473 2018-03-16 Steven G. Kargl <kargl@gcc.gnu.org>
1476 * decl.c (merge_array_spec): Correct the error condition.
1478 2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
1481 * decl.c (get_proc_name): Check for clash of entry name with
1484 2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
1487 * decl.c (merge_array_spec): Limit the merging to maximum allowed
1488 dimensions, and issue error message if limit is exceeded.
1490 2018-03-13 Steven G. Kargl <kargl@gcc.gnu.org>
1492 * check.c (gfc_check_kill_sub): Remove check for INTEGER(4) or (8).
1493 * intrinsic.c (add_functions): Remove reference to gfc_resolve_kill.
1494 (add_subroutines): Remove reference to gfc_resolve_kill_sub.
1495 * intrinsic.texi: Update documentation.
1496 * iresolve.c (gfc_resolve_kill, gfc_resolve_kill_sub): Remove.
1497 * trans-decl.c (gfc_build_intrinsic_function_decls): Add
1498 gfor_fndecl_kill and gfor_fndecl_kill_sub
1499 * trans-intrinsic.c (conv_intrinsic_kill, conv_intrinsic_kill_sub): new
1501 (gfc_conv_intrinsic_function): Use conv_intrinsic_kill.
1502 (gfc_conv_intrinsic_subroutine): Use conv_intrinsic_kill_sub.
1503 * trans.h: Declare gfor_fndecl_kill and gfor_fndecl_kill_sub.
1505 2018-03-11 Paul Thomas <pault@gcc.gnu.org>
1508 * trans-array.c (structure_alloc_comps): Make sure that the
1509 vptr is copied and that the unlimited polymorphic _len is used
1510 to compute the size to be allocated.
1511 * trans-expr.c (gfc_get_class_array_ref): If unlimited, use the
1512 unlimited polymorphic _len for the offset to the element.
1513 (gfc_copy_class_to_class): Set the new 'unlimited' argument.
1514 * trans.h : Add the boolean 'unlimited' to the prototype.
1516 2018-03-11 Steven G. Kargl <kargl@gcc.gnu.org>
1519 * resolve.c (resolve_fl_procedure): Enforce F2018:C15100.
1521 2018-03-11 Steven G. Kargl <kargls@gcc.gnu.org>
1523 * check.c (gfc_check_kill): Check pid and sig are scalar.
1524 (gfc_check_kill_sub): Restrict kind to 4 and 8.
1525 * intrinsic.c (add_function): Sort keyword list. Add pid and sig
1526 keywords for KILL. Remove redundant *back="back" in favor of the
1527 original *bck="back".
1528 (add_subroutines): Sort keyword list. Add pid and sig keywords
1530 * intrinsic.texi: Fix documentation to consistently use pid and sig.
1531 * iresolve.c (gfc_resolve_kill): Kind can only be 4 or 8. Choose the
1533 (gfc_resolve_rename_sub): Add comment.
1535 2018-03-11 Thomas Koenig <tkoenig@gcc.gnu.org>
1538 * simplify.c (simplify_transformation): Return default result for
1539 empty array argument.
1540 (gfc_simplify_all): Remove special-case handling for zerosize.
1541 (gfc_simplify_any): Likewise.
1542 (gfc_simplify_count): Likewise.
1543 (gfc_simplify_iall): Likewise.
1544 (gfc_simplify_iany): Likewise.
1545 (gfc_simplify_iparity): Likewise.
1546 (gfc_simplify_minval): Likewise.
1547 (gfc_simplify_maxval): Likewise.
1548 (gfc_simplify_norm2): Likewise.
1549 (gfc_simplify_product): Likewise.
1550 (gfc_simplify_sum): Likewise.
1552 2018-03-10 Steven G. Kargl <kargl@gcc.gnu.org>
1555 * arith.c (check_result, eval_intrinsic): If result overflows, pass
1556 the expression up the chain instead of a NULL pointer.
1558 2018-03-07 Steven G. Kargl <kargl@gcc.gnu.org>
1562 * decl.c (gfc_match_char_spec): Try to reduce a charlen to a constant.
1564 2017-03-06 Thomas Koenig <tkoenig@gcc.gnu.org>
1568 * expr.c (simplify_parameter_variable): If p is a size zero array
1569 and not an ARRAY_EXPR insert an empty array constructor and
1571 * gfortran.h: Add prototype for gfc_is_size_zero_array.
1572 * simplify.c (is_size_zero_array): Make non-static and rename into
1573 (gfc_is_size_zero_array): Check for parameter arrays of zero
1574 size by comparing shape and absence of constructor.
1575 (gfc_simplify_all): Use gfc_is_size_zero_array instead of
1577 (gfc_simplify_count): Likewise.
1578 (gfc_simplify_iall): Likewise.
1579 (gfc_simplify_iany): Likewise.
1580 (gfc_simplify_iparity): Likewise.
1581 (gfc_simplify_minval): Likewise.
1582 (gfc_simplify_maxval): Likewise.
1583 (gfc_simplify_product): Likewise.
1584 (gfc_simplify_sum): Likewise.
1586 2018-03-06 Steven G. Kargl <kargl@gcc.gnu.org>
1589 * primary.c (match_sym_complex_part): Give the matcher for an implied
1590 do-loop a chance to run.
1592 2018-03-03 Harald Anlauf <anlauf@gmx.de>
1595 * trans-expr.c (gfc_apply_interface_mapping_to_expr): Do not
1596 dereference NULL pointer.
1598 2018-03-03 Steven G. Kargl <kargl@gcc.gnu.org>
1601 * simplify.c (is_size_zero_array): New function to check for size
1603 (gfc_simplify_all, gfc_simplify_any, gfc_simplify_count,
1604 gfc_simplify_iall, gfc_simplify_iany, gfc_simplify_iparity,
1605 gfc_simplify_minval, gfc_simplify_maxval, gfc_simplify_norm2,
1606 gfc_simplify_product, gfc_simplify_sum): Use it, and implement
1607 requirements from F2018.
1609 2018-03-03 Steven G. Kargl <kargl@gcc.gnu.org>
1612 * simplify.c (gfc_simplify_transfer): Resolve mold.
1614 2018-03-03 Paul Thomas <pault@gcc.gnu.org>
1617 * resolve.c (build_loc_call): Change symtree name from 'loc' to
1620 2018-03-01 Paul Thomas <pault@gcc.gnu.org>
1623 * target-memory.c (gfc_interpret_derived): Assert that BT_VOID
1624 components are caf tokens.
1625 (gfc_target_interpret_expr): Treat BT_VOID expressions as
1628 2018-03-01 Paul Thomas <pault@gcc.gnu.org>
1631 * class.c (class_array_ref_detected): Remove the condition that
1632 there be no reference after the array reference.
1633 (find_intrinsic_vtab): Remove excess whitespace.
1634 * trans-array.c (gfc_conv_scalarized_array_ref): Rename 'tmp'
1635 as 'base and call build_class_array_ref earlier.
1637 2018-02-28 Paul Thomas <pault@gcc.gnu.org>
1640 * trans-stmt.c (trans_associate_var): Make sure that the se
1641 expression is a pointer type before converting it to the symbol
1644 2018-02-25 Steven G. Kargl <kargl@gcc.gnu.org>
1647 * decl.c (variable_decl): Check that an explicit-shape-array with
1648 nonconstant bounds is allowed.
1650 2018-02-25 Paul Thomas <pault@gcc.gnu.org>
1653 * trans-intrinsic.c (gfc_conv_allocated): If the argument se
1654 has a pre block, add it to the expression pre block.
1656 2018-02-25 Thomas Koenig <tkoenig@gcc.gnu.org>
1659 * gfortran.h (gfc_integer_4_kind): Define.
1660 * resolve.c (resolve_select_type): Make sure that the
1661 kind of c->high is gfc_integer_4_kind.
1663 2018-02-24 Steven G. Kargl <kargl@gcc.gnu.org>
1666 * decl.c (gfc_match_data): Check for invalid substring in
1669 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1671 * intrinsic.texi: Arguments to MATMUL cannot both be rank one.
1673 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1676 * trans-io.c (transfer_expr): Deal with C_LOC in transfer statement.
1678 2018-02-23 Steven G. Kargl <kargl@gcc.gnu.org>
1681 * interface.c (compare_actual_formal): Issue error if keyword is
1682 used in a statement function.
1684 2018-02-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1687 * trans-io.c (set_parameter_value_inquire): Adjust range check of
1688 negative unit values for kind=8 units to the kind=4 negative limit.
1690 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1693 * trans-types.c (gfc_sym_type): Test sym->ns->proc_name before
1694 accessing its components.
1696 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1699 * trans-decl.c (gfc_finish_var_decl): Test sym->ns->proc_name
1700 before accessing its components.
1702 2018-02-23 Paul Thomas <pault@gcc.gnu.org>
1705 * trans-const.c : Clean up some whitespace issues.
1706 * trans-expr.c (gfc_conv_initializer): If an iso_c_binding
1707 derived type has a kind value of zero, set it to the default
1710 2018-02-23 Janne Blomqvist <jb@gcc.gnu.org>
1713 * trans-decl.c (gfc_build_builtin_function_decls): Add bool
1714 argument to stop and error stop decls.
1715 * trans-stmt.c (gfc_trans_stop): Add false value to argument
1718 2018-02-22 Janne Blomqvist <jb@gcc.gnu.org>
1722 * trans-decl.c (gfc_build_builtin_function_decls): Pass
1723 gfc_int8_type node to pause_numeric, size_type_node to
1725 * trans-stmt.c (gfc_trans_pause): Likewise.
1727 2018-02-22 Janne Blomqvist <jb@gcc.gnu.org>
1729 * gfortran.texi: Update Coarray API description.
1730 * trans-decl.c (gfc_build_builtin_function_decls): Use size_t for
1731 character lengths, int for exit codes.
1732 (generate_coarray_sym_init): Use size_t for character length.
1733 * trans-intrinsic.c (conv_co_collective): Likewise.
1734 * trans-stmt.c (gfc_trans_lock_unlock): Likewise.
1735 (gfc_trans_event_post_wait): Likewise.
1736 (gfc_trans_sync): Likewise.
1737 (gfc_trans_stop): Use size_t for character lengths, int for exit
1740 2018-02-20 Thomas Koenig <tkoenig@gcc.gnu.org>
1744 * primary.c (gfc_convert_to_structure_constructor):
1745 For a constant string constructor, make sure the length
1748 2018-02-19 Paul Thomas <pault@gcc.gnu.org>
1752 * resolve.c (resolve_assoc_var): Rearrange the logic for the
1753 determination of the character length of associate names. If
1754 the associate name is missing a length expression or the length
1755 expression is not a constant and the target is not a variable,
1756 make the associate name allocatable and deferred length.
1757 * trans-decl.c (gfc_get_symbol_decl): Null the character length
1758 backend_decl for deferred length associate names that are not
1759 variables. Set 'length' to gfc_index_zero_node for character
1760 associate names, whose character length is a PARM_DECL.
1762 2018-02-19 Thomas Koenig <tkoenig@gcc.gnu.org>
1765 * frontend-passes.c (traverse_io_block): Remove workaround for
1768 2018-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
1770 * gfortran.texi: Document additional src/dst_type. Fix some typos.
1771 * trans-decl.c (gfc_build_builtin_function_decls): Declare the new
1772 argument of _caf_*_by_ref () with * e { get, send, sendget }.
1773 * trans-intrinsic.c (gfc_conv_intrinsic_caf_get): Add the type of the
1774 data referenced when generating a call to caf_get_by_ref ().
1775 (conv_caf_send): Same but for caf_send_by_ref () and
1776 caf_sendget_by_ref ().
1778 2018-02-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1781 * io.c (check_format): Allow FMT_COLON.
1783 2018-02-18 Paul Thomas <pault@gcc.gnu.org>
1786 * trans-array.c (gfc_conv_expr_descriptor): Set parmtype from
1787 the typenode in the case of deferred length characters.
1789 2018-02-17 Thomas Koenig <tkoenig@gcc.gnu.org>
1792 * frontend-passes (scalarized_expr): If the expression
1793 is an assumed size array, leave in the last reference
1794 and pass AR_SECTION instead of AR_FULL to gfc_resolve
1795 in order to avoid an error.
1797 2018-02-17 Paul Thomas <pault@gcc.gnu.org>
1800 * resolve.c (resolve_assoc_var): If a non-constant target expr.
1801 has no string length expression, make the associate variable
1802 into a deferred length, allocatable symbol.
1803 * trans-decl.c (gfc_is_reallocatable_lhs): Add and use a ptr to
1805 * trans-stmt.c (trans_associate_var): Null and free scalar
1806 associate names that are allocatable. After assignment, remove
1807 the allocatable attribute to prevent reallocation.
1809 2018-02-16 Jakub Jelinek <jakub@redhat.com>
1812 * trans-openmp.c (gfc_trans_omp_clauses): For OMP_CLAUSE_LINEAR_REF
1813 kind set OMP_CLAUSE_LINEAR_STEP to TYPE_SIZE_UNIT times last_step.
1815 2018-02-16 Dominique d'Humieres <dominiq@gcc.gnu.org>
1818 * decl.c (gfc_get_pdt_instance): Replace '%qs' with %qs.
1820 2018-02-15 Janus Weil <janus@gcc.gnu.org>
1823 * interface.c (check_dtio_arg_TKR_intent): Add a check for character
1826 2018-02-14 Janus Weil <janus@gcc.gnu.org>
1829 * match.c (gfc_match_select_type): Fix check for selector in
1830 SELECT TYPE statement.
1832 2018-02-13 Janus Weil <janus@gcc.gnu.org>
1835 * symbol.c (check_conflict): Reject procedure pointers in common blocks.
1837 2018-02-13 Alastair McKinstry <alastair.mckinstry@sceal.ie>
1838 Janne Blomqvist <jb@gcc.gnu.org>
1840 * module.c (dump_module): Use lbasename to ensure that module
1841 files are reproducible.
1843 2018-02-12 Janus Weil <janus@gcc.gnu.org>
1846 * resolve.c (resolve_component): Fix checks of passed argument in
1847 procedure-pointer components.
1849 2018-02-11 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1852 * resolve.c (resolve_formal_arglist): Update error message.
1854 2018-02-11 Andre Vehreschild <vehre@gcc.gnu.org>
1856 * gfortran.texi: Fix typos in documentation of caf_register ().
1857 * trans-array.c (structure_alloc_comps): Only register a component of
1858 a derived typed corray, not of an ultimate component coarray.
1860 2018-02-11 Steven G. Kargl <kargl@gcc.gnu.org>
1864 * interface.c (compare_actual_formal): Add in_statement_function
1865 bool parameter. Skip check of INTENT attribute for statement
1866 functions. Arguments to a statement function cannot be optional,
1867 issue error for missing argument.
1868 (gfc_procedure_use, gfc_ppc_use, gfc_arglist_matches_symbol): Use
1869 in_statement_function.
1871 2018-02-11 Paul Thomas <pault@gcc.gnu.org>
1874 * trans-expr.c (gfc_conv_derived_to_class): Set the use_offset
1875 flag. If the is a vector subscript or the expression is not a
1876 variable, make the descriptor one-based.
1878 2018-02-10 Paul Thomas <pault@gcc.gnu.org>
1882 * trans-array.c (gfc_array_init_size): Revert the change made
1883 in revision 257356 setting the dtype.
1884 * trans-types.c (gfc_get_dtype): Do not use the cached dtype.
1885 Call gfc_get_dtype_rank_type every time.
1888 * trans-array.c (gfc_conv_expr_descriptor): If the source array
1889 is a descriptor type, use its offset, removing the condition
1890 that is be a class expression.
1892 2018-02-07 Steven G. Kargl <kargl@gcc.gnu.org>
1895 * match.c (gfc_match_deallocate): Check for NULL pointer.
1897 2018-02-07 Thomas Koenig <tkoenig@gcc.gnu.org>
1900 * trans-intrinsic.c (gfc_conv_intrinsic_shape): New function.
1901 (gfc_conv_intrinsic_function): Call it.
1903 2018-02-07 Steven G. Kargl <kargl@gcc.gnu.org>
1906 * match.c (gfc_match_type_spec): If the charlen is non-NULL, then
1907 try to resolve it. While here return early if possible.
1909 2018-02-04 Paul Thomas <pault@gcc.gnu.org>
1912 * trans-decl.c (gfc_get_symbol_decl): Do not finish the decl of
1913 'length' if the symbol charlen backend_decl is an indirect ref.
1915 2018-02-03 Paul Thomas <pault@gcc.gnu.org>
1919 * trans-array.c (gfc_array_init_size): Instead of gfc_get_dtype
1920 use gfc_get_dtype_rank_type.
1922 2018-02-01 Janne Blomqvist <jb@gcc.gnu.org>
1926 * resolve.c (resolve_assoc_var): Generate an error if
1927 target length unknown.
1929 2018-02-01 Janne Blomqvist <jb@gcc.gnu.org>
1932 * simplify.c (gfc_simplify_repeat): Increase limit for deferring
1933 to runtime, print a warning message.
1935 2018-01-31 Jakub Jelinek <jakub@redhat.com>
1938 * openmp.c (gfc_match_omp_clauses): If all the linear
1939 gfc_match_omp_variable_list calls failed, don't gfc_free_omp_namelist
1940 nor set *head = NULL. Formatting fixes.
1942 2018-01-31 Paul Thomas <pault@gcc.gnu.org>
1945 * trans-expr.c (gfc_conv_procedure_call): If the parm expr is
1946 an address expression passed to an assumed rank dummy, convert
1947 to an indirect reference.
1949 2018-01-31 Thomas Koenig <tkoenig@gcc.gnu.org>
1951 * dump-parse-tree.c (write_proc): Use sym_name (which may
1952 be sym->binding_label) instead of sym->name.
1954 2018-01-31 Janne Blomqvist <jb@gcc.gnu.org>
1956 * trans-const.c (gfc_conv_string_init): Use gfc_charlen_t instead
1959 2018-01-31 Janne Blomqvist <jb@gcc.gnu.org>
1962 * trans-expr.c (fill_with_spaces): Use memset instead of
1964 (gfc_trans_string_copy): Improve opportunity to use builtins with
1967 2018-01-30 Jakub Jelinek <jakub@redhat.com>
1970 * trans-array.c (gfc_get_descriptor_offsets_for_info): Set *data_off
1971 to DATA_FIELD's offset rather than OFFSET_FIELD's offset.
1973 2018-01-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1976 * array.c (gfc_ref_dimen_size): Whitespace fixes. If stride is
1979 2018-01-30 Thomas Koenig <tkoenig@gcc.gnu.org>
1982 * frontend-passes (matmul_to_var_expr): Return early if
1983 in association list.
1984 (inline_matmul_assign): Likewise.
1986 2017-01-29 Thomas Koenig <tkoenig@gcc.gnu.org>
1989 * resolve.c (resolve_component): Ensure BIND(C) character
1990 components have length one.
1991 (resolve_symbol): Likewise for variables.
1993 2018-01-27 Jakub Jelinek <jakub@redhat.com>
1996 * decl.c (add_init_expr_to_sym): Ignore initializers for too large
1999 2018-01-26 Damian Rouson <damian@sourceryinstitute.org>
2000 Alessandro Fanfarillo <fanfarillo.gcc@gmail.com>
2001 Soren Rasmussen <s.c.rasmussen@gmail.com>
2003 Partial support for Fortran 2018 teams features.
2005 * array.c (gfc_match_array_ref): add team attribute in coarray
2007 * check.c (gfc_check_get_team, gfc_check_team_number): add new
2008 functions for get_team and team_number.
2009 * dump-parse-tree.c (show_code_node): add new statements: form team,
2010 change team, end team, and sync team.
2011 * expr.c (gfc_find_team_co): add new function.
2012 * gfortran.h: add new statements.
2013 * intrinsic.c (add_functions): add get_team and team_number functions.
2014 * intrinsic.h: add get_team and team_number prototypes for check,
2015 simplify, and resolve.
2016 * iresolve.c (gfc_resolve_get_team, gfc_resolve_team_number): add new
2018 * iso-fortran-env.def: add the team_type derived type.
2019 * match.c (gfc_match_if, gfc_match_form_team, gfc_match_team_number)
2020 (gfc_match_end_team, gfc_match_sync_team, gfc_match_change_team):
2021 add change team, end team, form team, sync team match and functions.
2022 * match.h: add new prototypes for change team, end team, form team,
2024 * parse.c (decode_statement): add cases for change team, end team,
2025 form team, and sync team.
2026 * resolve.c: add cases for exec form team, change team, end team, and
2028 * simplify.c (gfc_simplify_get_team): add new function for get team.
2029 * st.c (gfc_free_statement): add cases exec for change team, end team,
2030 form team, sync team.
2031 * trans-decl.c (gfor_fndecl_caf_form_team)
2032 (gfor_fndecl_caf_change_team, gfor_fndecl_caf_end_team)
2033 (gfor_fndecl_caf_sync_team, gfor_fndecl_caf_get_team)
2034 (gfor_fndecl_caf_team_number): add functions and definitions.
2035 * trans-intrinsic.c (conv_caf_send, conv_intrinsic_team_number): add
2036 new function and team_type argument support.
2037 * trans-stmt.c (gfc_trans_form_team, gfc_trans_change_team)
2038 (gfc_trans_end_team, gfc_trans_sync_team): add new functions.
2039 * trans-stmt.h: add new prototypes.
2040 * trans-types.c (gfc_get_derived_type): check condition for team_type.
2041 * trans.c (trans_code): new exec cases for form team, change team, end
2042 team, and sync team.
2043 * trans.h: add new prototypes.
2045 2018-01-26 Steven G. Kargl <kargl@gcc.gnu.org>
2048 * simplify.c (compute_dot_product): Initialize result to INTEGER(1) 0
2049 or .false. The summation does the correct type conversion.
2050 (gfc_simplify_dot_product): Special case zero-sized arrays.
2052 2018-25-01 Paul Thomas <pault@gcc.gnu.org>
2055 * array.c (gfc_match_array_ref): If standard earlier than F2008
2056 it is an error if the reference dimension is greater than 7.
2057 libgfortran.h : Increase GFC_MAX_DIMENSIONS to 15. Change the
2058 dtype masks and shifts accordingly.
2059 * trans-array.c (gfc_conv_descriptor_dtype): Use the dtype
2060 type node to check the field.
2061 (gfc_conv_descriptor_dtype): Access the rank field of dtype.
2062 (duplicate_allocatable_coarray): Access the rank field of the
2063 dtype descriptor rather than the dtype itself.
2064 * trans-expr.c (get_scalar_to_descriptor_type): Store the type
2065 of 'scalar' on entry and use its TREE_TYPE if it is ARRAY_TYPE
2067 (gfc_conv_procedure_call): Pass TREE_OPERAND (tmp,0) to
2068 get_scalar_to_descriptor_type if the actual expression is a
2070 (gfc_trans_structure_assign): Assign the rank directly to the
2072 * trans-intrinsic.c (gfc_conv_intrinsic_rank): Cast the result
2073 to default integer kind.
2074 (gfc_conv_intrinsic_sizeof): Obtain the element size from the
2075 'elem_len' field of the dtype.
2076 * trans-io.c (gfc_build_io_library_fndecls): Replace
2077 gfc_int4_type_node with dtype_type_node where necessary.
2078 (transfer_namelist_element): Use gfc_get_dtype_rank_type for
2080 * trans-types.c : Provide 'get_dtype_type_node' to acces the
2081 dtype_type_node and, if necessary, build it.
2082 The maximum size of an array element is now determined by the
2083 maximum value of size_t.
2084 Update the description of the array descriptor, including the
2085 type def for the dtype_type.
2086 (gfc_get_dtype_rank_type): Build a constructor for the dtype.
2087 Distinguish RECORD_TYPEs that are BT_DERIVED or BT_CLASS.
2088 (gfc_get_array_descriptor_base): Change the type of the dtype
2089 field to dtype_type_node.
2090 (gfc_get_array_descr_info): Get the offset to the rank field of
2092 * trans-types.h : Add a prototype for 'get_dtype_type_node ()'.
2093 * trans.h : Define the indices of the dtype fields.
2095 2018-23-01 Paul Thomas <pault@gcc.gnu.org>
2098 * decl.c (gfc_match_derived_decl): If eos not matched, recover
2099 and emit error about garbage after declaration.
2101 2018-23-01 Paul Thomas <pault@gcc.gnu.org>
2104 * trans-stmt.c (trans_associate_var): Do not set cst_array_ctor
2107 2018-01-22 Janne Blomqvist <jb@gcc.gnu.org>
2111 * arith.c (gfc_arith_concat): Use size_t for string length.
2112 (gfc_compare_string): Likewise.
2113 (gfc_compare_with_Cstring): Likewise.
2114 * array.c (gfc_resolve_character_array_constructor): Use
2115 HOST_WIDE_INT, gfc_mpz_get_hwi.
2116 * check.c (gfc_check_fe_runtime_error): Use size_t.
2117 * data.c (create_character_initializer): Use HOST_WIDE_INT,
2119 * decl.c (gfc_set_constant_character_len): Use gfc_charlen_t.
2120 (add_init_expr_to_sym): Use HOST_WIDE_INT.
2121 * expr.c (gfc_build_init_expr): Use HOST_WIDE_INT,
2123 (gfc_apply_init): Likewise.
2124 * match.h (gfc_set_constant_character_len): Update prototype.
2125 * primary.c (match_string_constant): Use size_t.
2126 * resolve.c (resolve_ordinary_assign): Use HOST_WIDE_INT,
2128 * simplify.c (init_result_expr): Likewise.
2129 (gfc_simplify_len_trim): Use size_t.
2130 * target-memory.c (gfc_encode_character): Use size_t.
2131 (gfc_target_encode_expr): Use HOST_WIDE_INT, gfc_mpz_get_hwi.
2132 (interpret_array): Use size_t.
2133 (gfc_interpret_character): Likewise.
2134 * target-memory.h (gfc_encode_character): Update prototype.
2135 (gfc_interpret_character): Likewise.
2136 (gfc_target_interpret_expr): Likewise.
2137 * trans-const.c (gfc_build_string_const): Use size_t for length
2139 (gfc_build_wide_string_const): Likewise.
2140 * trans-const.h (gfc_build_string_const): Likewise.
2141 (gfc_build_wide_string_const): Likewise.
2143 2018-01-20 Steven G. Kargl <kargl@gcc.gnu.org>
2146 * simplify.c (gfc_simplify_matmul): Set return type correctly.
2148 2018-01-19 Steven G. Kargl <kargl@gcc.gnu.org>
2151 * simplify.c (gfc_simplify_matmul): Delete bogus assertion.
2153 2018-01-17 Harald Anlauf <anlauf@gmx.de>
2156 * expr.c (add_init_expr_to_sym): Do not dereference NULL pointer.
2158 2018-01-17 Harald Anlauf <anlauf@gmx.de>
2161 * decl.c (add_init_expr_to_sym): Do not dereference NULL pointer.
2163 2018-01-15 Louis Krupp <louis.krupp@zoho.com>
2166 * interface.c (compare_rank): Don't try to retrieve CLASS_DATA
2167 from symbol marked unlimited polymorphic.
2168 * resolve.c (resolve_structure_cons): Likewise.
2169 * misc.c (gfc_typename): Don't dereference derived->components
2172 2018-01-15 Thomas Koenig <tkoenig@gcc.gnu.org>
2175 * gfortran.h (gfc_check_f): Rename f4ml to f5ml.
2176 (gfc_logical_4_kind): New macro
2177 * intrinsic.h (gfc_simplify_minloc): Add a gfc_expr *argument.
2178 (gfc_simplify_maxloc): Likewise.
2179 (gfc_resolve_maxloc): Likewise.
2180 (gfc_resolve_minloc): Likewise.
2181 * check.c (gfc_check_minloc_maxloc): Add checking for "back"
2182 argument; also raise error if it is used (for now). Add it
2183 if it isn't present.
2184 * intrinsic.c (add_sym_4ml): Rename to
2185 (add_sym_5ml), adjust for extra argument.
2186 (add_functions): Add "back" constant. Adjust maxloc and minloc
2188 * iresolve.c (gfc_resolve_maxloc): Add back argument. If back is
2189 not of gfc_logical_4_kind, convert.
2190 (gfc_resolve_minloc): Likewise.
2191 * simplify.c (gfc_simplify_minloc): Add back argument.
2192 (gfc_simplify_maxloc): Likewise.
2193 * trans-intinsic.c (gfc_conv_intrinsic_minmaxloc): Rename last
2194 argument to %VAL to ensure passing by value.
2195 (gfc_conv_intrinsic_function): Call gfc_conv_intrinsic_minmaxloc
2196 also for library calls.
2198 2018-01-13 Jerry DeLisle <jvdelisle@gcc.gnu.org>
2201 * resolve.c (resolve_transfer): Delete code looking for 'DT'
2202 format specifiers in format strings. Set formatted to true if a
2203 format string or format label is present.
2204 * trans-io.c (get_dtio_proc): Likewise. (transfer_expr): Fix
2207 2018-01-13 Thomas Koenig <tkoenig@gcc.gnu.org>
2210 * dump-parse-tree.c (get_c_type_name): Remove extra line.
2211 Change for loop to use declaration in for loop. Handle BT_LOGICAL
2213 (write_decl): Add where argument. Fix indentation. Replace
2214 assert with error message. Add typename to warning
2216 (write_type): Adjust locus to call of write_decl.
2217 (write_variable): Likewise.
2218 (write_proc): Likewise. Replace assert with error message.
2220 2018-01-13 Paul Thomas <pault@gcc.gnu.org>
2223 * trans-expr.c (gfc_trans_scalar_assign): Flag is_alloc_lhs if
2224 the rhs expression is neither an elemental nor a conversion
2228 * trans-array.c (is_pointer_array): Remove unconditional return
2229 of false for -fopenmp.
2231 2018-01-13 Thomas Koenig <tkoenig@gcc.gnu.org>
2235 * dump-parse-tree.c (write_proc): Always emit closing parenthesis
2238 2018-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
2241 * resolve.c (resolve_allocate_expr): Check for NULL pointer.
2243 2018-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
2246 * resolve.c (resolve_charlen): Check the type of cl->length
2249 2018-01-10 Janne Blomqvist <jb@gcc.gnu.org>
2252 * trans-array.c (gfc_trans_array_ctor_element): Fix formatting.
2254 2018-01-10 Janne Blomqvist <jb@gcc.gnu.org>
2257 * trans-array.c (gfc_trans_array_ctor_element): Convert RHS to the
2258 LHS type when assigning.
2260 2018-01-09 Steven G. Kargl <kargl@gcc.gnu.org>
2263 * expr.c (gfc_is_simply_contiguous): Check for NULL pointer.
2265 2018-01-08 Steven G. Kargl <kargl@gcc.gnu.org>
2267 * match.c (gfc_match_allocate): Check for NULL pointer.
2269 2018-01-08 Steven G. Kargl <kargl@gcc.gnu.org>
2271 * expr.c (gfc_check_pointer_assign): Fix typo in comment.
2273 2018-01-08 Paul Thomas <pault@gcc.gnu.org>
2276 * decl.c (gfc_get_pdt_instance): If parameterized arrays have
2277 an initializer, convert the kind parameters and add to the
2278 component if the instance.
2279 * trans-array.c (structure_alloc_comps): Add 'is_pdt_type' and
2280 use it with case COPY_ALLOC_COMP. Call 'duplicate_allocatable'
2281 for parameterized arrays. Clean up typos in comments. Convert
2282 parameterized array initializers and copy into the array.
2283 * trans-expr.c (gfc_trans_scalar_assign): Do a deep copy for
2284 parameterized types.
2285 *trans-stmt.c (trans_associate_var): Deallocate associate vars
2286 as necessary, when they are PDT function results for example.
2289 * trans-array.c (structure_alloc_comps): Only compare len parms
2290 when they are declared explicitly.
2292 2018-01-06 Janne Blomqvist <jb@gcc.gnu.org>
2295 * trans-expr.c (gfc_trans_pointer_assignment): fold_convert rhs to
2298 2018-01-05 Janne Blomqvist <jb@gcc.gnu.org>
2302 * array.c (got_charlen): Use gfc_charlen_int_kind.
2303 * class.c (gfc_find_derived_vtab): Use gfc_size_kind instead of
2305 (find_intrinsic_vtab): Likewise.
2306 * decl.c (match_char_length): Use gfc_charlen_int_kind.
2307 (add_init_expr_to_sym): Use gfc_charlen_t and gfc_charlen_int_kind.
2308 (gfc_match_implicit): Use gfc_charlen_int_kind.
2309 * dump-parse-tree.c (show_char_const): Use gfc_charlen_t and size_t.
2310 (show_expr): Use HOST_WIDE_INT_PRINT_DEC.
2311 * expr.c (gfc_get_character_expr): Length parameter of type
2313 (gfc_get_int_expr): Value argument of type HOST_WIDE_INT.
2314 (gfc_extract_hwi): New function.
2315 (simplify_const_ref): Make string_len of type gfc_charlen_t.
2316 (gfc_simplify_expr): Use HOST_WIDE_INT for substring refs.
2317 * frontend-passes.c (optimize_trim): Use gfc_charlen_int_kind.
2318 * gfortran.h (gfc_mpz_get_hwi): New prototype.
2319 (gfc_mpz_set_hwi): Likewise.
2320 (gfc_charlen_t): New typedef.
2321 (gfc_expr): Use gfc_charlen_t for character lengths.
2322 (gfc_size_kind): New extern variable.
2323 (gfc_extract_hwi): New prototype.
2324 (gfc_get_character_expr): Use gfc_charlen_t for character length.
2325 (gfc_get_int_expr): Use HOST_WIDE_INT type for value argument.
2326 * gfortran.texi: Update description of hidden string length argument.
2327 * iresolve.c (check_charlen_present): Use gfc_charlen_int_kind.
2328 (gfc_resolve_char_achar): Likewise.
2329 (gfc_resolve_repeat): Pass string length directly without
2330 temporary, use gfc_charlen_int_kind.
2331 (gfc_resolve_transfer): Use gfc_charlen_int_kind.
2332 * match.c (select_intrinsic_set_tmp): Use HOST_WIDE_INT for charlen.
2333 * misc.c (gfc_mpz_get_hwi): New function.
2334 (gfc_mpz_set_hwi): New function.
2335 * module.c (atom_int): Change type from int to HOST_WIDE_INT.
2336 (parse_integer): Don't complain about large integers.
2337 (write_atom): Use HOST_WIDE_INT for integers.
2338 (mio_integer): Handle integer type mismatch.
2339 (mio_hwi): New function.
2340 (mio_intrinsic_op): Use HOST_WIDE_INT.
2341 (mio_array_ref): Likewise.
2342 (mio_expr): Likewise.
2343 * primary.c (match_substring): Use gfc_charlen_int_kind.
2344 * resolve.c (resolve_substring_charlen): Use gfc_charlen_int_kind.
2345 (resolve_character_operator): Likewise.
2346 (resolve_assoc_var): Likewise.
2347 (resolve_select_type): Use HOST_WIDE_INT for charlen, use snprintf.
2348 (resolve_charlen): Use mpz_sgn to determine sign.
2349 * simplify.c (gfc_simplify_repeat): Use HOST_WIDE_INT/gfc_charlen_t
2351 * symbol.c (generate_isocbinding_symbol): Use gfc_charlen_int_kind.
2352 * target-memory.c (size_character): Length argument of type
2354 (gfc_encode_character): Likewise.
2355 (gfc_interpret_character): Use gfc_charlen_t.
2356 * target-memory.h (gfc_encode_character): Modify prototype.
2357 * trans-array.c (gfc_trans_array_ctor_element): Use existing type.
2358 (get_array_ctor_var_strlen): Use gfc_conv_mpz_to_tree_type.
2359 (trans_array_constructor): Use existing type.
2360 (get_array_charlen): Likewise.
2361 * trans-const.c (gfc_conv_mpz_to_tree_type): New function.
2362 * trans-const.h (gfc_conv_mpz_to_tree_type): New prototype.
2363 * trans-decl.c (gfc_trans_deferred_vars): Use existing type.
2364 (add_argument_checking): Likewise.
2365 * trans-expr.c (gfc_class_len_or_zero_get): Build const of type
2366 gfc_charlen_type_node.
2367 (gfc_conv_intrinsic_to_class): Use gfc_charlen_int_kind instead of
2368 4, fold_convert to correct type.
2369 (gfc_conv_class_to_class): Build const of type size_type_node for
2371 (gfc_copy_class_to_class): Likewise.
2372 (gfc_conv_string_length): Use same type in expression.
2373 (gfc_conv_substring): Likewise, use HOST_WIDE_INT for charlen.
2374 (gfc_conv_string_tmp): Make sure len is of the right type.
2375 (gfc_conv_concat_op): Use same type in expression.
2376 (gfc_conv_procedure_call): Likewise.
2377 (fill_with_spaces): Comment out memset() block due to spurious
2378 -Wstringop-overflow warnings.
2379 (gfc_trans_string_copy): Use gfc_charlen_type_node.
2380 (alloc_scalar_allocatable_for_subcomponent_assignment):
2381 fold_convert to right type.
2382 (gfc_trans_subcomponent_assign): Likewise.
2383 (trans_class_vptr_len_assignment): Build const of correct type.
2384 (gfc_trans_pointer_assignment): Likewise.
2385 (alloc_scalar_allocatable_for_assignment): fold_convert to right
2387 (trans_class_assignment): Build const of correct type.
2388 * trans-intrinsic.c (gfc_conv_associated): Likewise.
2389 (gfc_conv_intrinsic_repeat): Do calculation in sizetype.
2390 * trans-io.c (gfc_build_io_library_fndecls): Use
2391 gfc_charlen_type_node for character lengths.
2392 (set_string): Convert to right type in assignment.
2393 * trans-stmt.c (gfc_trans_label_assign): Build const of
2394 gfc_charlen_type_node.
2395 (trans_associate_var): Likewise.
2396 (gfc_trans_character_select): Likewise.
2397 (gfc_trans_allocate): Likewise, don't typecast strlen result.
2398 (gfc_trans_deallocate): Don't typecast strlen result.
2399 * trans-types.c (gfc_size_kind): New variable.
2400 (gfc_init_types): Determine gfc_charlen_int_kind and gfc_size_kind
2401 from size_type_node.
2402 * trans-types.h: Fix comment.
2404 2018-01-04 Thomas Koenig <tkoenig@gcc.gnu.org>
2408 * check.c (gfc_check_eoshift): Check for string length and
2409 for conformance of boundary.
2410 * intrinsic.c (add_functions): Add gfc_simplify_eoshift.
2411 * intrinsic.h: Add prototype for gfc_simplify_eoshift.
2412 * simplify.c (gfc_simplify_eoshift): New function.
2414 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
2415 Alan Hayward <alan.hayward@arm.com>
2416 David Sherwood <david.sherwood@arm.com>
2418 * trans-types.c (gfc_type_for_mode): Handle MODE_VECTOR_BOOL.
2420 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
2421 Alan Hayward <alan.hayward@arm.com>
2422 David Sherwood <david.sherwood@arm.com>
2424 * trans-types.c (gfc_type_for_mode): Check valid_vector_subparts_p.
2426 2018-01-03 Thomas Koenig <tkoenig@gcc.gnu.org>
2429 * check.c (gfc_check_eoshift): Error for missing boundary if array
2430 is not one of the standard types.
2432 2018-01-03 Jakub Jelinek <jakub@redhat.com>
2434 Update copyright years.
2436 * gfortranspec.c (lang_specific_driver): Update copyright notice
2438 * gfc-internals.texi: Bump @copying's copyright year.
2439 * gfortran.texi: Ditto.
2440 * intrinsic.texi: Ditto.
2441 * invoke.texi: Ditto.
2443 2017-01-02 Thomas Koenig <tkoenig@gcc.gnu.org>
2446 * intrinsic.c (add_function): Add gfc_simplify_maxloc and
2447 gfc_simplify_minloc to maxloc and minloc, respectively.
2448 * intrinsic.h: Add prototypes for gfc_simplify_minloc
2449 and gfc_simplify_maxloc.
2450 * simplify.c (min_max_chose): Adjust prototype. Modify function
2451 to have a return value which indicates if the extremum was found.
2452 (is_constant_array_expr): Fix typo in comment.
2453 (simplify_minmaxloc_to_scalar): New function.
2454 (simplify_minmaxloc_nodim): New function.
2455 (new_array): New function.
2456 (simplify_minmaxloc_to_array): New function.
2457 (gfc_simplify_minmaxloc): New function.
2458 (simplify_minloc): New function.
2459 (simplify_maxloc): New function.
2461 2018-01-02 Thomas Koenig <tkoenig@gcc.gnu.org>
2465 * simplify.c (gfc_simplify_cshift): Re-implement to allow full
2468 2018-01-01 Paul Thomas <pault@gcc.gnu.org>
2471 * resolve.c (resolve_fl_derived0): Add caf_token fields for
2472 allocatable and pointer scalars, when -fcoarray selected.
2473 * trans-types.c (gfc_copy_dt_decls_ifequal): Copy the token
2474 field as well as the backend_decl.
2475 (gfc_get_derived_type): Flag GFC_FCOARRAY_LIB for module
2476 derived types that are not vtypes. Components with caf_token
2477 attribute are pvoid types. For a component requiring it, find
2478 the caf_token field and have the component token field point to
2482 *trans-types.c (gfc_get_array_descriptor_base): Add the token
2483 field to the descriptor even when codimen not set.
2485 Copyright (C) 2018 Free Software Foundation, Inc.
2487 Copying and distribution of this file, with or without modification,
2488 are permitted in any medium without royalty provided the copyright
2489 notice and this notice are preserved.