gcc/fortran/ChangeLog

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