2018-02-20 Thomas Koenig <tkoenig@gcc.gnu.org>
[official-gcc.git] / gcc / fortran / ChangeLog
blobd6d66c5e3f3cef850e41dbb4e53382db57380159
1 2018-02-20  Thomas Koenig  <tkoenig@gcc.gnu.org>
3         PR fortran/48890
4         PR fortran/83823
5         * primary.c (gfc_convert_to_structure_constructor):
6         For a constant string constructor, make sure the length
7         is correct.
9 2018-02-19  Paul Thomas  <pault@gcc.gnu.org>
11         PR fortran/83344
12         PR fortran/83975
13         * resolve.c (resolve_assoc_var): Rearrange the logic for the
14         determination of the character length of associate names. If
15         the associate name is missing a length expression or the length
16         expression is not a constant and the target is not a variable,
17         make the associate name allocatable and deferred length.
18         * trans-decl.c (gfc_get_symbol_decl): Null the character length
19         backend_decl for deferred length associate names that are not
20         variables. Set 'length' to gfc_index_zero_node for character
21         associate names, whose character length is a PARM_DECL.
23 2018-02-19  Thomas Koenig  <tkoenig@gcc.gnu.org>
25         PR fortran/35339
26         * frontend-passes.c (traverse_io_block): Remove workaround for
27         PR 80945.
29 2018-02-19  Andre Vehreschild  <vehre@gcc.gnu.org>
31         * gfortran.texi: Document additional src/dst_type.  Fix some typos.
32         * trans-decl.c (gfc_build_builtin_function_decls): Declare the new
33         argument of _caf_*_by_ref () with * e { get, send, sendget }.
34         * trans-intrinsic.c (gfc_conv_intrinsic_caf_get): Add the type of the
35         data referenced when generating a call to caf_get_by_ref ().
36         (conv_caf_send): Same but for caf_send_by_ref () and
37         caf_sendget_by_ref ().
39 2018-02-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
41         PR fortran/84389
42         * io.c (check_format): Allow FMT_COLON.
44 2018-02-18  Paul Thomas  <pault@gcc.gnu.org>
46         PR fortran/80945
47         * trans-array.c (gfc_conv_expr_descriptor): Set parmtype from
48         the typenode in the case of deferred length characters.
50 2018-02-17  Thomas Koenig  <tkoenig@gcc.gnu.org>
52         PR fortran/84270
53         * frontend-passes (scalarized_expr):  If the expression
54         is an assumed size array, leave in the last reference
55         and pass AR_SECTION instead of AR_FULL to gfc_resolve
56         in order to avoid an error.
58 2018-02-17  Paul Thomas  <pault@gcc.gnu.org>
60         PR fortran/84115
61         * resolve.c (resolve_assoc_var): If a non-constant target expr.
62         has no string length expression, make the associate variable
63         into a deferred length, allocatable symbol.
64         * trans-decl.c (gfc_is_reallocatable_lhs): Add and use a ptr to
65         the symbol.
66         * trans-stmt.c (trans_associate_var): Null and free scalar
67         associate names that are allocatable. After assignment, remove
68         the allocatable attribute to prevent reallocation.
70 2018-02-16  Jakub Jelinek  <jakub@redhat.com>
72         PR fortran/84418
73         * trans-openmp.c (gfc_trans_omp_clauses): For OMP_CLAUSE_LINEAR_REF
74         kind set OMP_CLAUSE_LINEAR_STEP to TYPE_SIZE_UNIT times last_step.
76 2018-02-16  Dominique d'Humieres  <dominiq@gcc.gnu.org>
78         PR fortran/84354
79         * decl.c (gfc_get_pdt_instance): Replace '%qs' with %qs.
81 2018-02-15  Janus Weil  <janus@gcc.gnu.org>
83         PR fortran/84409
84         * interface.c (check_dtio_arg_TKR_intent): Add a check for character
85         length.
87 2018-02-14  Janus Weil  <janus@gcc.gnu.org>
89         PR fortran/84385
90         * match.c (gfc_match_select_type): Fix check for selector in
91         SELECT TYPE statement.
93 2018-02-13  Janus Weil  <janus@gcc.gnu.org>
95         PR fortran/84313
96         * symbol.c (check_conflict): Reject procedure pointers in common blocks.
98 2018-02-13  Alastair McKinstry  <alastair.mckinstry@sceal.ie>
99             Janne Blomqvist  <jb@gcc.gnu.org>
101         * module.c (dump_module): Use lbasename to ensure that module
102         files are reproducible.
104 2018-02-12  Janus Weil  <janus@gcc.gnu.org>
106         PR fortran/84273
107         * resolve.c (resolve_component): Fix checks of passed argument in
108         procedure-pointer components.
110 2018-02-11  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
112         PR fortran/35299
113         * resolve.c (resolve_formal_arglist): Update error message.
115 2018-02-11  Andre Vehreschild  <vehre@gcc.gnu.org>
117         * gfortran.texi: Fix typos in documentation of caf_register ().
118         * trans-array.c (structure_alloc_comps): Only register a component of
119         a derived typed corray, not of an ultimate component coarray.
121 2018-02-11  Steven G. Kargl  <kargl@gcc.gnu.org>
123         PR fortran/54223
124         PR fortran/84276
125         * interface.c (compare_actual_formal): Add in_statement_function
126         bool parameter.  Skip check of INTENT attribute for statement
127         functions.  Arguments to a statement function cannot be optional,
128         issue error for missing argument.
129         (gfc_procedure_use, gfc_ppc_use, gfc_arglist_matches_symbol): Use
130          in_statement_function.
132 2018-02-11  Paul Thomas  <pault@gcc.gnu.org>
134         PR fortran/84074
135         * trans-expr.c (gfc_conv_derived_to_class): Set the use_offset
136         flag. If the is a vector subscript or the expression is not a
137         variable, make the descriptor one-based.
139 2018-02-10  Paul Thomas  <pault@gcc.gnu.org>
141         PR fortran/84141
142         PR fortran/84155
143         * trans-array.c (gfc_array_init_size): Revert the change made
144         in revision 257356 setting the dtype.
145         * trans-types.c (gfc_get_dtype): Do not use the cached dtype.
146         Call gfc_get_dtype_rank_type every time.
148         PR fortran/56691
149         * trans-array.c (gfc_conv_expr_descriptor): If the source array
150         is a descriptor type, use its offset, removing the condition
151         that is be a class expression.
153 2018-02-07  Steven G. Kargl  <kargl@gcc.gnu.org>
155         PR fortran/82994
156         * match.c (gfc_match_deallocate): Check for NULL pointer.
158 2018-02-07  Thomas Koenig  <tkoenig@gcc.gnu.org>
160         PR fortran/68560
161         * trans-intrinsic.c (gfc_conv_intrinsic_shape): New function.
162         (gfc_conv_intrinsic_function): Call it.
164 2018-02-07  Steven G. Kargl  <kargl@gcc.gnu.org>
166         PR fortran/82049
167         * match.c (gfc_match_type_spec): If the charlen is non-NULL, then
168         try to resolve it.  While here return early if possible.
170 2018-02-04  Paul Thomas  <pault@gcc.gnu.org>
172         PR fortran/84115
173         * trans-decl.c (gfc_get_symbol_decl): Do not finish the decl of
174         'length' if the symbol charlen backend_decl is an indirect ref.
176 2018-02-03  Paul Thomas  <pault@gcc.gnu.org>
178         PR fortran/84141
179         PR fortran/84155
180         * trans-array.c (gfc_array_init_size): Instead of gfc_get_dtype
181         use gfc_get_dtype_rank_type.
183 2018-02-01  Janne Blomqvist  <jb@gcc.gnu.org>
185         PR 83975
186         PR 83344
187         * resolve.c (resolve_assoc_var): Generate an error if
188         target length unknown.
190 2018-02-01  Janne Blomqvist  <jb@gcc.gnu.org>
192         PR fortran/83705
193         * simplify.c (gfc_simplify_repeat): Increase limit for deferring
194         to runtime, print a warning message.
196 2018-01-31  Jakub Jelinek  <jakub@redhat.com>
198         PR fortran/84116
199         * openmp.c (gfc_match_omp_clauses): If all the linear
200         gfc_match_omp_variable_list calls failed, don't gfc_free_omp_namelist
201         nor set *head = NULL.  Formatting fixes.
203 2018-01-31  Paul Thomas  <pault@gcc.gnu.org>
205         PR fortran/84088
206         * trans-expr.c (gfc_conv_procedure_call): If the parm expr is
207         an address expression passed to an assumed rank dummy, convert
208         to an indirect reference.
210 2018-01-31  Thomas Koenig  <tkoenig@gcc.gnu.org>
212         * dump-parse-tree.c (write_proc): Use sym_name (which may
213         be sym->binding_label) instead of sym->name.
215 2018-01-31  Janne Blomqvist  <jb@gcc.gnu.org>
217         * trans-const.c (gfc_conv_string_init): Use gfc_charlen_t instead
218         of int for slen.
220 2018-01-31  Janne Blomqvist  <jb@gcc.gnu.org>
222         PR fortran/78534
223         * trans-expr.c (fill_with_spaces): Use memset instead of
224         generating loop.
225         (gfc_trans_string_copy): Improve opportunity to use builtins with
226         constant lengths.
228 2018-01-30  Jakub Jelinek  <jakub@redhat.com>
230         PR debug/84131
231         * trans-array.c (gfc_get_descriptor_offsets_for_info): Set *data_off
232         to DATA_FIELD's offset rather than OFFSET_FIELD's offset.
234 2018-01-30  Thomas Koenig  <tkoenig@gcc.gnu.org>
236         PR fortran/84134
237         * array.c (gfc_ref_dimen_size): Whitespace fixes.  If stride is
238         zero, return false.
240 2018-01-30  Thomas Koenig  <tkoenig@gcc.gnu.org>
242         PR fortran/84133
243         * frontend-passes (matmul_to_var_expr): Return early if
244         in association list.
245         (inline_matmul_assign): Likewise.
247 2017-01-29  Thomas Koenig  <tkoenig@gcc.gnu.org>
249         PR fortran/84073
250         * resolve.c (resolve_component): Ensure BIND(C) character
251         components have length one.
252         (resolve_symbol): Likewise for variables.
254 2018-01-27  Jakub Jelinek  <jakub@redhat.com>
256         PR fortran/84065
257         * decl.c (add_init_expr_to_sym): Ignore initializers for too large
258         lengths.
260 2018-01-26  Damian Rouson  <damian@sourceryinstitute.org>
261             Alessandro Fanfarillo  <fanfarillo.gcc@gmail.com>
262             Soren Rasmussen  <s.c.rasmussen@gmail.com>
264         Partial support for Fortran 2018 teams features.
266         * array.c (gfc_match_array_ref): add team attribute in coarray
267         transfers.
268         * check.c (gfc_check_get_team, gfc_check_team_number): add new
269         functions for get_team and team_number.
270         * dump-parse-tree.c (show_code_node): add new statements: form team,
271         change team, end team, and sync team.
272         * expr.c (gfc_find_team_co): add new function.
273         * gfortran.h: add new statements.
274         * intrinsic.c (add_functions): add get_team and team_number functions.
275         * intrinsic.h: add get_team and team_number prototypes for check,
276         simplify, and resolve.
277         * iresolve.c (gfc_resolve_get_team, gfc_resolve_team_number): add new
278         functions.
279         * iso-fortran-env.def: add the team_type derived type.
280         * match.c (gfc_match_if, gfc_match_form_team, gfc_match_team_number)
281         (gfc_match_end_team, gfc_match_sync_team, gfc_match_change_team):
282         add change team, end team, form team, sync team match and functions.
283         * match.h: add new prototypes for change team, end team, form team,
284         and sync team.
285         * parse.c (decode_statement): add cases for change team, end team,
286         form team, and sync team.
287         * resolve.c: add cases for exec form team, change team, end team, and
288         sync team.
289         * simplify.c (gfc_simplify_get_team): add new function for get team.
290         * st.c (gfc_free_statement): add cases exec for change team, end team,
291         form team, sync team.
292         * trans-decl.c (gfor_fndecl_caf_form_team)
293         (gfor_fndecl_caf_change_team, gfor_fndecl_caf_end_team)
294         (gfor_fndecl_caf_sync_team, gfor_fndecl_caf_get_team)
295         (gfor_fndecl_caf_team_number): add functions and definitions.
296         * trans-intrinsic.c (conv_caf_send, conv_intrinsic_team_number): add
297         new function and team_type argument support.
298         * trans-stmt.c (gfc_trans_form_team, gfc_trans_change_team)
299         (gfc_trans_end_team, gfc_trans_sync_team): add new functions.
300         * trans-stmt.h: add new prototypes.
301         * trans-types.c (gfc_get_derived_type): check condition for team_type.
302         * trans.c (trans_code): new exec cases for form team, change team, end
303         team, and sync team.
304         * trans.h: add new prototypes.
306 2018-01-26  Steven G. Kargl  <kargl@gcc.gnu.org>
308         PR fortran/83998
309         * simplify.c (compute_dot_product):  Initialize result to INTEGER(1) 0
310         or .false.  The summation does the correct type conversion.
311         (gfc_simplify_dot_product): Special case zero-sized arrays.
313 2018-25-01  Paul Thomas  <pault@gcc.gnu.org>
315         PR fortran/37577
316         * array.c (gfc_match_array_ref): If standard earlier than F2008
317         it is an error if the reference dimension is greater than 7.
318         libgfortran.h : Increase GFC_MAX_DIMENSIONS to 15. Change the
319         dtype masks and shifts accordingly.
320         * trans-array.c (gfc_conv_descriptor_dtype): Use the dtype
321         type node to check the field.
322         (gfc_conv_descriptor_dtype): Access the rank field of dtype.
323         (duplicate_allocatable_coarray): Access the rank field of the
324         dtype descriptor rather than the dtype itself.
325         * trans-expr.c (get_scalar_to_descriptor_type): Store the type
326         of 'scalar' on entry and use its TREE_TYPE if it is ARRAY_TYPE
327         (ie. a character).
328         (gfc_conv_procedure_call): Pass TREE_OPERAND (tmp,0) to
329         get_scalar_to_descriptor_type if the actual expression is a
330         constant.
331         (gfc_trans_structure_assign): Assign the rank directly to the
332         dtype rank field.
333         * trans-intrinsic.c (gfc_conv_intrinsic_rank): Cast the result
334         to default integer kind.
335         (gfc_conv_intrinsic_sizeof): Obtain the element size from the
336         'elem_len' field of the dtype.
337         * trans-io.c (gfc_build_io_library_fndecls): Replace
338         gfc_int4_type_node with dtype_type_node where necessary.
339         (transfer_namelist_element): Use gfc_get_dtype_rank_type for
340         scalars.
341         * trans-types.c : Provide 'get_dtype_type_node' to acces the
342         dtype_type_node and, if necessary, build it.
343         The maximum size of an array element is now determined by the
344         maximum value of size_t.
345         Update the description of the array descriptor, including the
346         type def for the dtype_type.
347         (gfc_get_dtype_rank_type): Build a constructor for the dtype.
348         Distinguish RECORD_TYPEs that are BT_DERIVED or BT_CLASS.
349         (gfc_get_array_descriptor_base): Change the type of the dtype
350         field to dtype_type_node.
351         (gfc_get_array_descr_info): Get the offset to the rank field of
352         the dtype.
353         * trans-types.h : Add a prototype for 'get_dtype_type_node ()'.
354         * trans.h : Define the indices of the dtype fields.
356 2018-23-01  Paul Thomas  <pault@gcc.gnu.org>
358         PR fortran/83866
359         * decl.c (gfc_match_derived_decl): If eos not matched, recover
360         and emit error about garbage after declaration.
362 2018-23-01  Paul Thomas  <pault@gcc.gnu.org>
364         PR fortran/83898
365         * trans-stmt.c (trans_associate_var): Do not set cst_array_ctor
366         for characters.
368 2018-01-22  Janne Blomqvist  <jb@gcc.gnu.org>
370         PR 78534
371         PR 83704
372         * arith.c (gfc_arith_concat): Use size_t for string length.
373         (gfc_compare_string): Likewise.
374         (gfc_compare_with_Cstring): Likewise.
375         * array.c (gfc_resolve_character_array_constructor): Use
376         HOST_WIDE_INT, gfc_mpz_get_hwi.
377         * check.c (gfc_check_fe_runtime_error): Use size_t.
378         * data.c (create_character_initializer): Use HOST_WIDE_INT,
379         gfc_extract_hwi.
380         * decl.c (gfc_set_constant_character_len): Use gfc_charlen_t.
381         (add_init_expr_to_sym): Use HOST_WIDE_INT.
382         * expr.c (gfc_build_init_expr): Use HOST_WIDE_INT,
383         gfc_extract_hwi.
384         (gfc_apply_init): Likewise.
385         * match.h (gfc_set_constant_character_len): Update prototype.
386         * primary.c (match_string_constant): Use size_t.
387         * resolve.c (resolve_ordinary_assign): Use HOST_WIDE_INT,
388         gfc_mpz_get_hwi.
389         * simplify.c (init_result_expr): Likewise.
390         (gfc_simplify_len_trim): Use size_t.
391         * target-memory.c (gfc_encode_character): Use size_t.
392         (gfc_target_encode_expr): Use HOST_WIDE_INT, gfc_mpz_get_hwi.
393         (interpret_array): Use size_t.
394         (gfc_interpret_character): Likewise.
395         * target-memory.h (gfc_encode_character): Update prototype.
396         (gfc_interpret_character): Likewise.
397         (gfc_target_interpret_expr): Likewise.
398         * trans-const.c (gfc_build_string_const): Use size_t for length
399         argument.
400         (gfc_build_wide_string_const): Likewise.
401         * trans-const.h (gfc_build_string_const): Likewise.
402         (gfc_build_wide_string_const): Likewise.
404 2018-01-20  Steven G. Kargl  <kargl@gcc.gnu.org>
406         PR fortran/83900
407     * simplify.c (gfc_simplify_matmul): Set return type correctly.
409 2018-01-19  Steven G. Kargl  <kargl@gcc.gnu.org>
411         PR fortran/83900
412         * simplify.c (gfc_simplify_matmul): Delete bogus assertion.
414 2018-01-17  Harald Anlauf  <anlauf@gmx.de>
416         PR fortran/83864
417         * expr.c (add_init_expr_to_sym): Do not dereference NULL pointer.
419 2018-01-17  Harald Anlauf  <anlauf@gmx.de>
421         PR fortran/83874
422         * decl.c (add_init_expr_to_sym): Do not dereference NULL pointer.
424 2018-01-15  Louis Krupp  <louis.krupp@zoho.com>
426         PR fortran/82257
427         * interface.c (compare_rank): Don't try to retrieve CLASS_DATA
428         from symbol marked unlimited polymorphic.
429         * resolve.c (resolve_structure_cons): Likewise.
430         * misc.c (gfc_typename): Don't dereference derived->components
431         if it's NULL.
433 2018-01-15  Thomas Koenig  <tkoenig@gcc.gnu.org>
435         PR fortran/54613
436         * gfortran.h (gfc_check_f): Rename f4ml to f5ml.
437         (gfc_logical_4_kind): New macro
438         * intrinsic.h (gfc_simplify_minloc): Add a gfc_expr *argument.
439         (gfc_simplify_maxloc): Likewise.
440         (gfc_resolve_maxloc): Likewise.
441         (gfc_resolve_minloc): Likewise.
442         * check.c (gfc_check_minloc_maxloc): Add checking for "back"
443         argument; also raise error if it is used (for now). Add it
444         if it isn't present.
445         * intrinsic.c (add_sym_4ml): Rename to
446         (add_sym_5ml), adjust for extra argument.
447         (add_functions): Add "back" constant. Adjust maxloc and minloc
448         for back argument.
449         * iresolve.c (gfc_resolve_maxloc): Add back argument. If back is
450         not of gfc_logical_4_kind, convert.
451         (gfc_resolve_minloc): Likewise.
452         * simplify.c (gfc_simplify_minloc): Add back argument.
453         (gfc_simplify_maxloc): Likewise.
454         * trans-intinsic.c (gfc_conv_intrinsic_minmaxloc): Rename last
455         argument to %VAL to ensure passing by value.
456         (gfc_conv_intrinsic_function): Call gfc_conv_intrinsic_minmaxloc
457         also for library calls.
459 2018-01-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
461         PR fortran/82007
462         * resolve.c (resolve_transfer): Delete code looking for 'DT'
463         format specifiers in format strings. Set formatted to true if a
464         format string or format label is present.
465         * trans-io.c (get_dtio_proc): Likewise. (transfer_expr): Fix
466         whitespace.
468 2018-01-13  Thomas Koenig  <tkoenig@gcc.gnu.org>
470         PR fortran/83744
471         * dump-parse-tree.c (get_c_type_name): Remove extra line.
472         Change for loop to use declaration in for loop. Handle BT_LOGICAL
473         and BT_CHARACTER.
474         (write_decl): Add where argument. Fix indentation. Replace
475         assert with error message. Add typename to warning
476         in comment.
477         (write_type): Adjust locus to call of write_decl.
478         (write_variable): Likewise.
479         (write_proc): Likewise. Replace assert with error message.
481 2018-01-13  Paul Thomas  <pault@gcc.gnu.org>
483         PR fortran/52162
484         * trans-expr.c (gfc_trans_scalar_assign): Flag is_alloc_lhs if
485         the rhs expression is neither an elemental nor a conversion
486         function.
488         PR fortran/83622
489         * trans-array.c (is_pointer_array): Remove unconditional return
490         of false for -fopenmp.
492 2018-01-13  Thomas Koenig  <tkoenig@gcc.gnu.org>
493         <emsr@gcc.gnu.org>
495         PR fortran/83803
496         * dump-parse-tree.c (write_proc): Always emit closing parenthesis
497         for functions.
499 2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>
501         PR fortran/82367
502         * resolve.c (resolve_allocate_expr): Check for NULL pointer.
504 2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>
506         PR fortran/83093
507         * resolve.c (resolve_charlen): Check the type of cl->length
508         after resolution.
510 2018-01-10  Janne Blomqvist  <jb@gcc.gnu.org>
512         PR fortran/83740
513         * trans-array.c (gfc_trans_array_ctor_element): Fix formatting.
515 2018-01-10  Janne Blomqvist  <jb@gcc.gnu.org>
517         PR fortran/83740
518         * trans-array.c (gfc_trans_array_ctor_element): Convert RHS to the
519         LHS type when assigning.
521 2018-01-09  Steven G. Kargl  <kargl@gcc.gnu.org>
523         PR fortran/83742
524         * expr.c (gfc_is_simply_contiguous): Check for NULL pointer.
526 2018-01-08  Steven G. Kargl  <kargl@gcc.gnu.org>
528         * match.c (gfc_match_allocate): Check for NULL pointer.
530 2018-01-08  Steven G. Kargl  <kargl@gcc.gnu.org>
532         * expr.c (gfc_check_pointer_assign): Fix typo in comment.
534 2018-01-08  Paul Thomas  <pault@gcc.gnu.org>
536         PR fortran/83611
537         * decl.c (gfc_get_pdt_instance): If parameterized arrays have
538         an initializer, convert the kind parameters and add to the
539         component if the instance.
540         * trans-array.c (structure_alloc_comps): Add 'is_pdt_type' and
541         use it with case COPY_ALLOC_COMP. Call 'duplicate_allocatable'
542         for parameterized arrays. Clean up typos in comments. Convert
543         parameterized array initializers and copy into the array.
544         * trans-expr.c (gfc_trans_scalar_assign): Do a deep copy for
545         parameterized types.
546         *trans-stmt.c (trans_associate_var): Deallocate associate vars
547         as necessary, when they are PDT function results for example.
549         PR fortran/83731
550         * trans-array.c (structure_alloc_comps): Only compare len parms
551         when they are declared explicitly.
553 2018-01-06  Janne Blomqvist  <jb@gcc.gnu.org>
555         PR fortran/50892
556         * trans-expr.c (gfc_trans_pointer_assignment): fold_convert rhs to
557         lhs type.
559 2018-01-05  Janne Blomqvist  <jb@gcc.gnu.org>
561         PR fortran/78534
562         PR fortran/66310
563         * array.c (got_charlen): Use gfc_charlen_int_kind.
564         * class.c (gfc_find_derived_vtab): Use gfc_size_kind instead of
565         hardcoded kind.
566         (find_intrinsic_vtab): Likewise.
567         * decl.c (match_char_length): Use gfc_charlen_int_kind.
568         (add_init_expr_to_sym): Use gfc_charlen_t and gfc_charlen_int_kind.
569         (gfc_match_implicit): Use gfc_charlen_int_kind.
570         * dump-parse-tree.c (show_char_const): Use gfc_charlen_t and size_t.
571         (show_expr): Use HOST_WIDE_INT_PRINT_DEC.
572         * expr.c (gfc_get_character_expr): Length parameter of type
573         gfc_charlen_t.
574         (gfc_get_int_expr): Value argument of type HOST_WIDE_INT.
575         (gfc_extract_hwi): New function.
576         (simplify_const_ref): Make string_len of type gfc_charlen_t.
577         (gfc_simplify_expr): Use HOST_WIDE_INT for substring refs.
578         * frontend-passes.c (optimize_trim): Use gfc_charlen_int_kind.
579         * gfortran.h (gfc_mpz_get_hwi): New prototype.
580         (gfc_mpz_set_hwi): Likewise.
581         (gfc_charlen_t): New typedef.
582         (gfc_expr): Use gfc_charlen_t for character lengths.
583         (gfc_size_kind): New extern variable.
584         (gfc_extract_hwi): New prototype.
585         (gfc_get_character_expr): Use gfc_charlen_t for character length.
586         (gfc_get_int_expr): Use HOST_WIDE_INT type for value argument.
587         * gfortran.texi: Update description of hidden string length argument.
588         * iresolve.c (check_charlen_present): Use gfc_charlen_int_kind.
589         (gfc_resolve_char_achar): Likewise.
590         (gfc_resolve_repeat): Pass string length directly without
591         temporary, use gfc_charlen_int_kind.
592         (gfc_resolve_transfer): Use gfc_charlen_int_kind.
593         * match.c (select_intrinsic_set_tmp): Use HOST_WIDE_INT for charlen.
594         * misc.c (gfc_mpz_get_hwi): New function.
595         (gfc_mpz_set_hwi): New function.
596         * module.c (atom_int): Change type from int to HOST_WIDE_INT.
597         (parse_integer): Don't complain about large integers.
598         (write_atom): Use HOST_WIDE_INT for integers.
599         (mio_integer): Handle integer type mismatch.
600         (mio_hwi): New function.
601         (mio_intrinsic_op): Use HOST_WIDE_INT.
602         (mio_array_ref): Likewise.
603         (mio_expr): Likewise.
604         * primary.c (match_substring): Use gfc_charlen_int_kind.
605         * resolve.c (resolve_substring_charlen): Use gfc_charlen_int_kind.
606         (resolve_character_operator): Likewise.
607         (resolve_assoc_var): Likewise.
608         (resolve_select_type): Use HOST_WIDE_INT for charlen, use snprintf.
609         (resolve_charlen): Use mpz_sgn to determine sign.
610         * simplify.c (gfc_simplify_repeat): Use HOST_WIDE_INT/gfc_charlen_t
611         instead of long.
612         * symbol.c (generate_isocbinding_symbol): Use gfc_charlen_int_kind.
613         * target-memory.c (size_character): Length argument of type
614         gfc_charlen_t.
615         (gfc_encode_character): Likewise.
616         (gfc_interpret_character): Use gfc_charlen_t.
617         * target-memory.h (gfc_encode_character): Modify prototype.
618         * trans-array.c (gfc_trans_array_ctor_element): Use existing type.
619         (get_array_ctor_var_strlen): Use gfc_conv_mpz_to_tree_type.
620         (trans_array_constructor): Use existing type.
621         (get_array_charlen): Likewise.
622         * trans-const.c (gfc_conv_mpz_to_tree_type): New function.
623         * trans-const.h (gfc_conv_mpz_to_tree_type): New prototype.
624         * trans-decl.c (gfc_trans_deferred_vars): Use existing type.
625         (add_argument_checking): Likewise.
626         * trans-expr.c (gfc_class_len_or_zero_get): Build const of type
627         gfc_charlen_type_node.
628         (gfc_conv_intrinsic_to_class): Use gfc_charlen_int_kind instead of
629         4, fold_convert to correct type.
630         (gfc_conv_class_to_class): Build const of type size_type_node for
631         size.
632         (gfc_copy_class_to_class): Likewise.
633         (gfc_conv_string_length): Use same type in expression.
634         (gfc_conv_substring): Likewise, use HOST_WIDE_INT for charlen.
635         (gfc_conv_string_tmp): Make sure len is of the right type.
636         (gfc_conv_concat_op): Use same type in expression.
637         (gfc_conv_procedure_call): Likewise.
638         (fill_with_spaces): Comment out memset() block due to spurious
639         -Wstringop-overflow warnings.
640         (gfc_trans_string_copy): Use gfc_charlen_type_node.
641         (alloc_scalar_allocatable_for_subcomponent_assignment):
642         fold_convert to right type.
643         (gfc_trans_subcomponent_assign): Likewise.
644         (trans_class_vptr_len_assignment): Build const of correct type.
645         (gfc_trans_pointer_assignment): Likewise.
646         (alloc_scalar_allocatable_for_assignment): fold_convert to right
647         type in expr.
648         (trans_class_assignment): Build const of correct type.
649         * trans-intrinsic.c (gfc_conv_associated): Likewise.
650         (gfc_conv_intrinsic_repeat): Do calculation in sizetype.
651         * trans-io.c (gfc_build_io_library_fndecls): Use
652         gfc_charlen_type_node for character lengths.
653         (set_string): Convert to right type in assignment.
654         * trans-stmt.c (gfc_trans_label_assign): Build const of
655         gfc_charlen_type_node.
656         (trans_associate_var): Likewise.
657         (gfc_trans_character_select): Likewise.
658         (gfc_trans_allocate): Likewise, don't typecast strlen result.
659         (gfc_trans_deallocate): Don't typecast strlen result.
660         * trans-types.c (gfc_size_kind): New variable.
661         (gfc_init_types): Determine gfc_charlen_int_kind and gfc_size_kind
662         from size_type_node.
663         * trans-types.h: Fix comment.
665 2018-01-04  Thomas Koenig  <tkoenig@gcc.gnu.org>
667         PR fortran/83683
668         PR fortran/45689
669         * check.c (gfc_check_eoshift): Check for string length and
670         for conformance of boundary.
671         * intrinsic.c (add_functions): Add gfc_simplify_eoshift.
672         * intrinsic.h: Add prototype for gfc_simplify_eoshift.
673         * simplify.c (gfc_simplify_eoshift): New function.
675 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
676             Alan Hayward  <alan.hayward@arm.com>
677             David Sherwood  <david.sherwood@arm.com>
679         * trans-types.c (gfc_type_for_mode): Handle MODE_VECTOR_BOOL.
681 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
682             Alan Hayward  <alan.hayward@arm.com>
683             David Sherwood  <david.sherwood@arm.com>
685         * trans-types.c (gfc_type_for_mode): Check valid_vector_subparts_p.
687 2018-01-03  Thomas Koenig  <tkoenig@gcc.gnu.org>
689         PR fortran/83664
690         * check.c (gfc_check_eoshift): Error for missing boundary if array
691         is not one of the standard types.
693 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
695         Update copyright years.
697         * gfortranspec.c (lang_specific_driver): Update copyright notice
698         dates.
699         * gfc-internals.texi: Bump @copying's copyright year.
700         * gfortran.texi: Ditto.
701         * intrinsic.texi: Ditto.
702         * invoke.texi: Ditto.
704 2017-01-02  Thomas Koenig  <tkoenig@gcc.gnu.org>
706         PR fortran/45689
707         * intrinsic.c (add_function): Add gfc_simplify_maxloc and
708         gfc_simplify_minloc to maxloc and minloc, respectively.
709         * intrinsic.h: Add prototypes for gfc_simplify_minloc
710         and gfc_simplify_maxloc.
711         * simplify.c (min_max_chose): Adjust prototype.  Modify function
712         to have a return value which indicates if the extremum was found.
713         (is_constant_array_expr): Fix typo in comment.
714         (simplify_minmaxloc_to_scalar): New function.
715         (simplify_minmaxloc_nodim): New function.
716         (new_array): New function.
717         (simplify_minmaxloc_to_array): New function.
718         (gfc_simplify_minmaxloc): New function.
719         (simplify_minloc): New function.
720         (simplify_maxloc): New function.
722 2018-01-02  Thomas Koenig  <tkoenig@gcc.gnu.org>
724         PR fortran/45689
725         PR fortran/83650
726         * simplify.c (gfc_simplify_cshift): Re-implement to allow full
727         range of arguments.
729 2018-01-01  Paul Thomas  <pault@gcc.gnu.org>
731         PR fortran/83076
732         * resolve.c (resolve_fl_derived0): Add caf_token fields for
733         allocatable and pointer scalars, when -fcoarray selected.
734         * trans-types.c (gfc_copy_dt_decls_ifequal): Copy the token
735         field as well as the backend_decl.
736         (gfc_get_derived_type): Flag GFC_FCOARRAY_LIB for module
737         derived types that are not vtypes. Components with caf_token
738         attribute are pvoid types. For a component requiring it, find
739         the caf_token field and have the component token field point to
740         its backend_decl.
742         PR fortran/83319
743         *trans-types.c (gfc_get_array_descriptor_base): Add the token
744         field to the descriptor even when codimen not set.
746 Copyright (C) 2018 Free Software Foundation, Inc.
748 Copying and distribution of this file, with or without modification,
749 are permitted in any medium without royalty provided the copyright
750 notice and this notice are preserved.