gcc/fortran/ChangeLog

   1 2018-08-04  Janus Weil  <janus@gcc.gnu.org>
   2
   3         PR fortran/45521
   4         * interface.c (gfc_compare_interfaces): Apply additional
   5         distinguishability criteria of F08 to operator interfaces.
   6
   7 2018-07-31  Andre Vieira  <andre.simoesdiasvieira@arm.com>
   8
   9         Revert 'AsyncI/O patch committed'
  10         2018-07-25  Nicolas Koenig  <koenigni@gcc.gnu.org>
  11                 Thomas Koenig <tkoenig@gcc.gnu.org>
  12
  13         PR fortran/25829
  14         * gfortran.texi: Add description of asynchronous I/O.
  15         * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
  16         as volatile.
  17         * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
  18         st_wait_async and change argument spec from ".X" to ".w".
  19         (gfc_trans_wait): Pass ID argument via reference.
  20
  21 2018-07-25  Nicolas Koenig  <koenigni@gcc.gnu.org>
  22         Thomas Koenig <tkoenig@gcc.gnu.org>
  23
  24         PR fortran/25829
  25         * gfortran.texi: Add description of asynchronous I/O.
  26         * trans-decl.c (gfc_finish_var_decl): Treat asynchronous variables
  27         as volatile.
  28         * trans-io.c (gfc_build_io_library_fndecls): Rename st_wait to
  29         st_wait_async and change argument spec from ".X" to ".w".
  30         (gfc_trans_wait): Pass ID argument via reference.
  31
  32 2018-07-20  Martin Sebor  <msebor@redhat.com>
  33
  34         PR middle-end/82063
  35         * gfortran.h (gfc_handle_option): Change function argument
  36         to HOST_WIDE_INT.
  37         * options.c (gfc_handle_option): Same.
  38
  39 2018-07-20  Andrew Benson  <abenson@carnegiescience.edu>
  40
  41         * gfortran.h (gfc_symbol): Add pointer to next derived type.
  42         (gfc_dt_list, gfc_get_dt_list): Remove.
  43         (gfc_namespace): Replace gfc_dt_list with gfc_symbol.
  44         * parse.c (resolve_all_program_units): Replace gfc_free_dt_list() with
  45         simple nullification of gfc_derived_types.
  46         * resolve.c (resolve_global_procedure): Replace gfc_dt_list with
  47         gfc_symbol.
  48         (add_dt_to_dt_list): Change derived type linked list insertion to
  49         utilize dt_next pointers in gfc_symbol.
  50         * symbol.c (gfc_new_symbol, gfc_free_dt_list, gfc_symbol_done2)
  51         (get_iso_c_binding_dt, generate_isocbinding_symbol): Remove
  52         gfc_free_dt_list as gfc_dt_list is obsoleted. Change derived type
  53         linked list search/insertion to utilize dt_next pointers in gfc_symbol.
  54         * trans-types.c (gfc_get_derived_type): Change derived type linked
  55         list search to utilize dt_next pointers in gfc_symbol.
  56
  57 2018-07-19  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
  58
  59         * trans-intrinsic.c: (gfc_conv_intrinsic_minmax): Emit MIN_MAX_EXPR
  60         or IFN_FMIN/FMAX sequence to calculate the min/max when possible.
  61
  62 2018-07-18  Janus Weil  <janus@gcc.gnu.org>
  63             Thomas Koenig  <tkoenig@gcc.gnu.org>
  64
  65         PR fortran/85599
  66         * dump-parse-tree.c (show_attr): Add handling of implicit_pure.
  67         * frontend-passes.c (do_warn_function_elimination): Do not warn for
  68         pure functions.
  69         * gfortran.h: Add prototypes for gfc_pure_function and
  70         gfc_implicit_pure_function.
  71         * gfortran.texi: Add chapter on evaluation of logical expressions.
  72         * invoke.texi: Mention that -Wfunction-elimination is implied
  73         by -Wextra.
  74         * lang.opt: Make -Wextra imply -Wfunction-elimination.
  75         * resolve.c (pure_function): Rename to gfc_pure_function.
  76         (gfc_implicit_pure_function): New function.
  77         (check_pure_function): Use it here.
  78         (impure_function_callback): New function.
  79         (resolve_operator): Call it via gfc_expr_walker.
  80
  81 2018-07-16  Fritz Reese  <fritzoreese@gmail.com>
  82
  83         PR fortran/83184
  84         * decl.c (match_old_style_init): Initialize locus of variable expr when
  85         creating a data variable.
  86         (match_clist_expr): Verify array is explicit shape/size before
  87         attempting to allocate constant array constructor.
  88
  89 2018-07-16  Fritz Reese  <fritzoreese@gmail.com>
  90
  91         PR fortran/86417
  92         * module.c (mio_component): Set component->loc when loading from module.
  93
  94 2018-07-10  Jakub Jelinek  <jakub@redhat.com>
  95
  96         PR fortran/86421
  97         * module.c (omp_declare_simd_clauses): Add LINEAR with _REF, _VAL and
  98         _UVAL suffixes.
  99         (mio_omp_declare_simd): Save and restore ref, val and uval modifiers
 100         on linear clauses.  Initialize n->where to gfc_current_locus.
 101
 102 2018-07-05  Paul Thomas  <pault@gcc.gnu.org>
 103
 104         PR fortran/86408
 105         * resolve.c.c (resolve_contained_fntype): Reference to C418 is
 106         in F2008 and not F2003.
 107         (resolve_function): Ditto in error message. Also, exclude
 108         deferred character length results from the error.
 109
 110 2018-07-05  Fritz Reese  <fritzoreese@gmail.com>
 111
 112         PR fortran/83183
 113         PR fortran/86325
 114         * expr.c (class_allocatable, class_pointer, comp_allocatable,
 115         comp_pointer): New helpers.
 116         (component_initializer): Generate EXPR_NULL for allocatable or pointer
 117         components. Do not generate initializers for components within BT_CLASS.
 118         Do not assign to comp->initializer.
 119         (gfc_generate_initializer): Use new helpers; move code to generate
 120         EXPR_NULL for class allocatable components into component_initializer().
 121
 122 2018-07-04  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 123
 124         PR fortran/82009
 125         * trans-decl.c (gfc_process_block_locals): Delete assert and set
 126         saved_local_decls = NULL_TREE.
 127
 128 2018-07-02  Richard Biener  <rguenther@suse.de>
 129
 130         PR lto/86321
 131         * trans-types.c (gfc_get_array_type_bounds): Unshare TYPE_FIELDs
 132         for the distinct type copy.
 133
 134 2018-07-02  Paul Thomas  <pault@gcc.gnu.org>
 135
 136         PR fortran/82969
 137         PR fortran/86242
 138         * trans-array.c (structure_alloc_comps): Do not explicitly copy
 139         procedure pointer components.
 140
 141 2018-07-02  Paul Thomas  <pault@gcc.gnu.org>
 142
 143         PR fortran/45305
 144         * expr.c : Add a prototype for scalarize_intrinsic_call.
 145         (gfc_simplify_expr): Use scalarize_intrinsic_call for elemental
 146         intrinsic function calls.
 147         (scalarize_intrinsic_call): Add 'init_flag' argument. Check if
 148         the expression or any of the actual argument expressions are
 149         NULL. Before calling gfc_check_init_expr, check 'init_flag'.
 150         Only simplify the scalarized expressions if there are no errors
 151         on the stack.
 152         (gfc_check_init_expr): Set 'init_flag' true in the call to
 153         scalarize_intrinsic_call.
 154
 155 2018-06-28  Fritz Reese  <fritzoreese@gmail.com>
 156
 157         PR fortran/82865
 158         * decl.c (gfc_match_type): Refactor and check for PDT declarations.
 159
 160 2018-06-28  Martin Liska  <mliska@suse.cz>
 161
 162         * gfortranspec.c: Include opt-suggestions.h.
 163
 164 2018-06-25  Fritz Reese  <fritzoreese@gmail.com>
 165
 166         PR fortran/82972
 167         PR fortran/83088
 168         PR fortran/85851
 169         * expr.c (component_initializer): Assign init expr to c->initializer.
 170         (generate_isocbinding_initializer): New.
 171         (gfc_generate_initializer): Call generate_isocbinding_initializer to
 172         generate initializers for c_ptr and c_funptr with -finit-derived.
 173
 174 2018-06-23  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 175
 176         PR fortran/85983
 177         * interface.c (check_dtio_interface1): Delete assert.
 178
 179 2018-06-22  Paul Thomas  <pault@gcc.gnu.org>
 180             Rainer Orth  <ro@gcc.gnu.org>
 181
 182         PR fortran/86281
 183         * resolve.c (resolve_contained_fntype): Check for the charlen
 184         before testing the length.
 185
 186 2018-06-21  Paul Thomas  <pault@gcc.gnu.org>
 187
 188         PR fortran/49630
 189         * resolve.c (resolve_contained_fntype): Change standard ref.
 190         from F95 to F2003: C418. Correct a spelling error in a comment.
 191         It is an error for an abstract interface to have an assumed
 192         character length result.
 193         * trans-expr.c (gfc_conv_procedure_call): Likewise change the
 194         standard reference.
 195
 196 2018-06-21  Paul Thomas  <pault@gcc.gnu.org>
 197
 198         PR fortran/83118
 199         * resolve.c (resolve_ordinary_assign): Force the creation of a
 200         vtable for assignment of non-polymorphic expressions to an
 201         unlimited polymorphic object.
 202         * trans-array.c (gfc_alloc_allocatable_for_assignment): Use the
 203         size of the rhs type for such assignments. Set the dtype, _len
 204         and vptrs appropriately.
 205         * trans-expr.c (gfc_trans_assignment): Force the use of the
 206         _copy function for these assignments.
 207
 208 2018-06-20  Chung-Lin Tang <cltang@codesourcery.com>
 209             Thomas Schwinge <thomas@codesourcery.com>
 210             Cesar Philippidis  <cesar@codesourcery.com>
 211
 212         * gfortran.h (gfc_omp_clauses): Add unsigned if_present, finalize
 213         bitfields.
 214         * openmp.c (enum omp_mask2): Remove OMP_CLAUSE_PRESENT_OR_*. Add
 215         OMP_CLAUSE_{IF_PRESENT,FINALIZE}.
 216         (gfc_match_omp_clauses): Update handling of copy, copyin, copyout,
 217         create, deviceptr, present_of_*. Add support for finalize and
 218         if_present.
 219         (OACC_PARALLEL_CLAUSES): Remove PRESENT_OR_* clauses.
 220         (OACC_KERNELS_CLAUSES): Likewise.
 221         (OACC_DATA_CLAUSES): Likewise.
 222         (OACC_DECLARE_CLAUSES): Likewise.
 223         (OACC_UPDATE_CLAUSES): Add IF_PRESENT clause.
 224         (OACC_ENTER_DATA_CLAUSES): Remove PRESENT_OR_* clauses.
 225         (OACC_EXIT_DATA_CLAUSES): Add FINALIZE clause.
 226         (gfc_match_oacc_declare): Update to OpenACC 2.5 semantics.
 227         * trans-openmp.c (gfc_trans_omp_clauses): Add support for IF_PRESENT
 228         and FINALIZE.
 229
 230 2018-06-18  Eric Botcazou  <ebotcazou@adacore.com>
 231
 232         * trans-decl.c (gfc_get_fake_result_decl): Revert latest change.
 233
 234 2018-06-17  Eric Botcazou  <ebotcazou@adacore.com>
 235
 236         * trans-decl.c (nonlocal_dummy_decl_pset): Delete.
 237         (nonlocal_dummy_decls): Likewise.
 238         (gfc_nonlocal_dummy_array_decl): Likewise.
 239         (gfc_get_symbol_decl): Do not call gfc_nonlocal_dummy_array_decl.
 240         (gfc_get_fake_result_decl): Do not generate a new DECL if simply
 241         reusing the result of a recursive call.
 242         (gfc_generate_function_code): Do not create, insert and destroy
 243         nonlocal_dummy_decls.
 244
 245 2018-06-13  Steven G. Kargl  <kargl@gcc.gnu.org>
 246
 247         PR fortran/86110
 248         * array.c (gfc_resolve_character_array_constructor): Avoid NULL
 249         pointer dereference.
 250
 251 2018-06-13  Cesar Philippidis  <cesar@codesourcery.com>
 252
 253         PR fortran/85703
 254         * parse.c (decode_oacc_directive): Set gfc_matching_function
 255         to false.
 256         (decode_omp_directive): Likewise.
 257
 258 2018-06-13  Cesar Philippidis  <cesar@codesourcery.com>
 259
 260         PR fortran/85702
 261         * openmp.c (gfc_match_oacc_wait): Use %C to report error location.
 262
 263 2018-06-12  David Malcolm  <dmalcolm@redhat.com>
 264
 265         PR other/69968
 266         * misc.c (gfc_closest_fuzzy_match): Update for renaming of
 267         levenshtein_distance to get_edit_distance.
 268
 269 2018-06-12  Steven G. Kargl  <kargl@gcc.gnu.org>
 270
 271         PR fortran/44491
 272         * expr.c (gfc_check_assign): Select non-NULL locus.
 273
 274 2018-06-11  Janus Weil  <janus@gcc.gnu.org>
 275
 276         PR fortran/45521
 277         * interface.c (compare_ptr_alloc): New function.
 278         (generic_correspondence): Call it.
 279
 280 2018-06-10  Thomas Koenig  <tkoenig@gcc.gnu.org>
 281
 282         * gfortran.h (gfc_expr): Add no_bounds_check field.
 283         * frontend-passes.c (get_array_inq_function): Set no_bounds_check
 284         on function and function argument.
 285         (inline_matmul_assign): Set no_bounds_check on zero expression
 286         and on lhs of zero expression.
 287         Also handle A1B2 case if realloc on assigment is active.
 288         * trans-array.c (gfc_conv_array_ref): Don't do range checking
 289         if expr has no_bounds_check set.
 290         (gfc_conv_expr_descriptor): Set no_bounds_check on ss if expr
 291         has it set.
 292         * trans-expr.c (gfc_trans_assignment_1): Set no_bounds_check
 293         on lss and lss if the corresponding expressions have it set.
 294
 295 2018-06-10  Dominique d'Humieres  <dominiq@gcc.gnu.org>
 296
 297         PR fortran/79854
 298         * trans-const.c: Remove include "diagnostic-core.h".
 299         (gfc_conv_constant_to_tree): Replace fatal_error with gcc_unreachable.
 300
 301 2018-06-10  Janus Weil  <janus@gcc.gnu.org>
 302
 303         PR fortran/85088
 304         * decl.c (match_attr_spec): Synchronize the DECL_* enum values with the
 305         INTENT_* values from the enum 'sym_intent'. Call 'match_intent_spec'
 306         and remove a TODO note.
 307         * gfortran.h: Add a comment to sym_intent.
 308
 309 2018-06-09  Steven G. Kargl  <kargl@gcc.gnu.org>
 310
 311         PR fortran/38351
 312         * resolve.c (resolve_operator): Provide better error message for
 313         derived type entity used in an binary intrinsic numeric operator.
 314
 315 2018-06-09  Steven G. Kargl  <kargl@gcc.gnu.org>
 316
 317         PR fortran/85138
 318         PR fortran/85996
 319         PR fortran/86051
 320         * decl.c (gfc_match_char_spec): Use private namespace in attempt to
 321         reduce a charlen to a constant.
 322
 323 2018-06-09  Steven G. Kargl  <kargl@gcc.gnu.org>
 324
 325         PR fortran/78278
 326         * data.c (gfc_assign_data_value): Re-arrange code to allow for
 327         an error for double initialization of CHARACTER entities.
 328
 329 2018-06-09  Steven G. Kargl  <kargl@gcc.gnu.org>
 330
 331         PR fortran/63514
 332         * symbol.c (gfc_add_volatile): Enforce F2008:C1282 and F2018:C1588.
 333
 334 2018-06-08  Thomas Koenig  <tkoenig@gcc.gnu.org>
 335
 336         PR fortran/85631
 337         * trans.h (gfc_ss): Add field no_bounds_check.
 338         * trans-array.c (gfc_conv_ss_startstride): If flag_realloc_lhs and
 339         ss->no_bounds_check is set, do not use runtime checks.
 340         * trans-expr.c (gfc_trans_assignment_1): Set lss->no_bounds_check
 341         for reallocatable lhs.
 342
 343 2018-06-08  Steven G. Kargl  <kargl@gcc.gnu.org>
 344
 345         PR fortran/86059
 346         * array.c (match_array_cons_element): NULL() cannot be in an
 347         array constructor.
 348
 349 2018-06-08  Steven G. Kargl  <kargl@gcc.gnu.org>
 350
 351         PR fortran/78571
 352         * data.c (create_character_initializer): Return early if type is
 353         incompatible with CHARACTER.
 354
 355 2018-06-07  Steven G. Kargl  <kargl@gcc.gnu.org>
 356
 357         PR fortran/86045
 358         * simplify.c (gfc_simplify_mod): Re-arrange code to test whether
 359         'P' is zero and issue an error if it is.
 360
 361 2018-06-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
 362
 363         PR fortran/85641
 364         * frontend-passes.c (is_fe_temp): Add prototype.
 365         (realloc_string_callback): Early return for frontend-generated
 366         temporary.
 367
 368 2018-06-05  Cesar Philippidis  <cesar@codesourcery.com>
 369
 370         PR fortran/85701
 371
 372         * openmp.c (gfc_resolve_oacc_declare): Error on functions and
 373         subroutine data clause arguments.
 374
 375 2018-06-04  Steven G. Kargl  <kargl@gcc.gnu.org>
 376
 377         PR fortran/85981
 378         * resolve.c (resolve_allocate_deallocate): Check errmsg is default
 379         character kind.
 380
 381 2018-06-03  Paul Thomas  <pault@gcc.gnu.org>
 382
 383         PR fortran/36497
 384         * decl.c (variable_decl): Use gfc_add_type for cray pointees.
 385
 386 2018-06-01  Steven G. Kargl  <kargl@gcc.gnu.org>
 387
 388         PR fortran/63570
 389         * check.c (gfc_check_random_init): New function. Check arguments of
 390         RANDOM_INIT.
 391         * gfortran.h (GFC_ISYM_RANDOM_INIT): New enum token.
 392         * intrinsic.c (add_subroutines): Add RANDOM_INIT to list of
 393         subroutines.
 394         (gfc_check_intrinsic_standard): Introduce Fortran 2018 check.
 395         * intrinsic.h: Add prototypes for gfc_check_random_init and
 396         gfc_resolve_random_init
 397         * intrinsic.texi: Document new intrinsic subprogram.
 398         * iresolve.c (gfc_resolve_random_init): Resolve routine name.
 399         * trans-decl.c: Declare gfor_fndecl_random_init
 400         * trans-intrinsic.c (conv_intrinsic_random_init): New function.
 401         Translate call to RANDOM_INIT.
 402         (gfc_conv_intrinsic_subroutine): Call it.
 403         * trans.h: Declare gfor_fndecl_random_init
 404
 405 2018-05-27  Steven G. Kargl  <kargl@gcc.gnu.org>
 406
 407         * decl.c (match_data_constant):  Fortran 2018 allows pointer
 408         initialization in a data statement.
 409
 410 2018-05-25  Janus Weil  <janus@gcc.gnu.org>
 411
 412         PR fortran/85839
 413         * match.c (gfc_match_block_data): Call gfc_notify_std to warn about
 414         an obsolescent feature in Fortran 2018.
 415         (gfc_match_equivalence): Ditto.
 416         * resolve.c (resolve_common_blocks): Ditto.
 417         (gfc_resolve_forall): Ditto.
 418         * symbol.c (gfc_define_st_label): Ditto.
 419
 420 2018-05-24  Steven G. Kargl  <kargl@gcc.gnu.org>
 421
 422         PR fortran/85543
 423         * resolve.c (update_current_proc_array_outer_dependency): Avoid NULL
 424         pointer dereference.
 425
 426 2018-05-24  Steven G. Kargl  <kargl@gcc.gnu.org>
 427
 428         PR fortran/85780
 429         * resolve.c (resolve_fl_procedure): Avoid NULL dereference.
 430
 431 2018-05-24  Steven G. Kargl  <kargl@gcc.gnu.org>
 432
 433         PR fortran/85779
 434         * decl.c (gfc_match_derived_decl): Fix NULL point dereference.
 435
 436 2018-05-24  Steven G. Kargl  <kargl@gcc.gnu.org>
 437
 438         PR fortran/85895
 439         * resolve.c (resolve_sync): Resolve expression before checking for
 440         an error.
 441
 442 2018-05-22  Janus Weil  <janus@gcc.gnu.org>
 443
 444         PR fortran/85841
 445         * libgfortran.h: Remove the macros GFC_STD_F2008_TS and
 446         GFC_STD_OPT_F08TS.
 447         * error.c (notify_std_msg): Remove GFC_STD_F2008_TS.
 448         * options.c (set_default_std_flags): Ditto.
 449         (gfc_handle_option): Make -std=f2008ts an alias for -std=f2018.
 450         * array.c (gfc_match_array_spec): Replace GFC_STD_F2008_TS by
 451         GFC_STD_F2018.
 452         * check.c (gfc_check_atomic, gfc_check_event_query,
 453         gfc_check_c_f_pointer, gfc_check_c_f_procpointer, gfc_check_c_funloc,
 454         gfc_check_c_loc, gfc_check_num_images, gfc_check_this_image): Ditto.
 455         * decl.c (gfc_verify_c_interop_param, gfc_match_decl_type_spec): Ditto.
 456         * intrinsic.c (add_functions, add_subroutines,
 457         gfc_check_intrinsic_standard): Ditto.
 458         * iso-c-binding.def: Ditto.
 459         * iso-fortran-env.def: Ditto.
 460         * match.c (gfc_match_event_post, gfc_match_event_wait,
 461         gfc_match_fail_image, gfc_match_form_team, gfc_match_change_team,
 462         gfc_match_end_team, gfc_match_sync_team): Ditto.
 463         * gfortran.texi: Remove mention of -std=f2008ts.
 464         Move TSs into F2018 section.
 465         * invoke.texi: Update documentation of -std=f2008ts.
 466
 467 2018-05-21  Janus Weil  <janus@gcc.gnu.org>
 468
 469         PR fortran/85841
 470         * libgfortran.h: New macros GFC_STD_OPT_*.
 471         * error.c (notify_std_msg): New function.
 472         (gfc_notify_std): Adjust such that it can handle combinations of
 473         GFC_STD_* flags in the 'std' argument, not just a single one.
 474         * match.c (match_arithmetic_if, gfc_match_if): Reject arithmetic if
 475         in Fortran 2018.
 476         (gfc_match_stopcode): Use GFC_STD_OPT_* macros.
 477         * options.c (set_default_std_flags): Warn for F2018 deleted features
 478         by default.
 479         (gfc_handle_option): F2018 deleted features are allowed in earlier
 480         standards.
 481         * symbol.c (gfc_define_st_label, gfc_reference_st_label): Reject
 482         nonblock do constructs in Fortran 2018.
 483
 484 2018-05-20  Paul Thomas  <pault@gcc.gnu.org>
 485
 486         PR fortran/80657
 487         * resolve.c (flag_fn_result_spec): Use the 'sym' argument to
 488         test for self refs to the function result in the character len
 489         expression. If a self reference is found, emit an error and
 490         return true.
 491         (resolve_fntype): Use the function symbol in the calls to the
 492         above.
 493
 494 2018-05-20  Paul Thomas  <pault@gcc.gnu.org>
 495
 496         PR fortran/49636
 497         * trans-array.c (gfc_get_array_span): Renamed from
 498         'get_array_span'.
 499         (gfc_conv_expr_descriptor): Change references to above.
 500         * trans-array.h : Add prototype for 'gfc_get_array_span'.
 501         * trans-intrinsic.c (gfc_conv_associated): Add pre and post
 502         blocks for 'arg1'.
 503         * trans-stmt.c (trans_associate_var): If the associate name is
 504         a subref array pointer, use gfc_get_array_span for the span.
 505
 506 2018-05-20  Paul Thomas  <pault@gcc.gnu.org>
 507
 508         PR fortran/82275
 509         * match.c (gfc_match_type_spec): Go through the array ref and
 510         decrement 'rank' for every dimension that is an element.
 511
 512 2018-05-19  Paul Thomas  <pault@gcc.gnu.org>
 513
 514         PR fortran/82923
 515         PR fortran/66694
 516         PR fortran/82617
 517         * trans-array.c (gfc_alloc_allocatable_for_assignment): Set the
 518         charlen backend_decl of the rhs expr to ss->info->string_length
 519         so that the value in the current scope is used.
 520
 521 2018-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
 522
 523         PR fortran/63529
 524         * gfortran.texi: Clarify documentation for Cray pointer and
 525         assumed-sized array.
 526
 527 2018-05-13  Paul Thomas  <pault@gcc.gnu.org>
 528
 529         PR fortran/85742
 530         * trans-types.c (gfc_get_dtype_rank_type): Reorder evaluation
 531         of 'size'. If the element type is a pointer use the size of the
 532         TREE_TYPE of the type, unless it is VOID_TYPE. In this latter
 533         case, set the size to zero.
 534
 535 2018-05-13  Steven G. Kargl  <kargl@gcc.gnu.org>
 536
 537         * gfortran.h: Remove prototype.
 538         * symbol.c (gfc_new_undo_checkpoint): Remove unused function.
 539
 540 2018-05-11  Steven G. Kargl  <kargl@gcc.gnu.org>
 541
 542         PR fortran/85542
 543         * expr.c (check_inquiry): Avoid NULL pointer dereference.
 544
 545 2018-05-10  Steven G. Kargl  <kargl@gcc.gnu.org>
 546
 547         PR fortran/85687
 548         * check.c (gfc_check_rank): Check that the argument is a data object.
 549
 550 2018-05-10  Steven G. Kargl  <kargl@gcc.gnu.org>
 551
 552         PR fortran/85521
 553         * array.c (gfc_resolve_character_array_constructor): Substrings
 554         with upper bound smaller than lower bound are zero length strings.
 555
 556 2018-05-10  Steven G. Kargl  <kargl@gcc.gnu.org>
 557
 558         PR fortran/70870
 559         * data.c (gfc_assign_data_value): Check that a data object does
 560         not also have default initialization.
 561
 562 2018-05-10  Marek Polacek  <polacek@redhat.com>
 563
 564         PR fortran/85735
 565         * options.c (gfc_post_options): Set main_input_filename.
 566
 567 2018-05-10  Thomas Koenig  <tkoenig@gcc.gnu.org>
 568
 569         PR fortran/54613
 570         * intrinsic.texi: Document BACK for MINLOC and MAXLOC.
 571
 572 2018-05-10  Paul Thomas  <pault@gcc.gnu.org>
 573
 574         PR fortran/68846
 575         PR fortran/70864
 576         * resolve.c (get_temp_from_expr): The temporary must not have
 577         dummy or intent attributes.
 578
 579 2018-05-08  Thomas Koenig  <tkoenig@gcc.gnu.org>
 580
 581         PR fortran/54613
 582         * check.c (gfc_check_minmaxloc): Remove error for BACK not being
 583         implemented.  Use gfc_logical_4_kind for BACK.
 584         * simplify.c (min_max_choose): Add optional argument back_val.
 585         Handle it.
 586         (simplify_minmaxloc_to_scalar): Add argument back_val. Pass
 587         back_val to min_max_choose.
 588         (simplify_minmaxloc_to_nodim): Likewise.
 589         (simplify_minmaxloc_to_array): Likewise.
 590         (gfc_simplify_minmaxloc): Add argument back, handle it.
 591         Pass back_val to specific simplification functions.
 592         (gfc_simplify_minloc): Remove ATTRIBUTE_UNUSED from argument back,
 593         pass it on to gfc_simplify_minmaxloc.
 594         (gfc_simplify_maxloc): Likewise.
 595         * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Adjust
 596         comment. If BACK is true, use greater or equal (or lesser or
 597         equal) insteal of greater (or lesser). Mark the condition of
 598         having found a value which exceeds the limit as unlikely.
 599
 600 2018-05-07  Jeff Law  <law@redhat.comg>
 601
 602         * scanner.c (preprocessor_line): Call linemap_add after a line
 603         directive that changes the current filename.
 604
 605 2018-05-06  Andre Vehreschild  <vehre@gcc.gnu.org>
 606
 607         PR fortran/85507
 608         * dependency.c (gfc_dep_resolver): Revert looking at coarray dimension
 609         introduced by r259385.
 610         * trans-intrinsic.c (conv_caf_send): Always report a dependency for
 611         same variables in coarray assignments.
 612
 613 2018-05-02  Tom de Vries  <tom@codesourcery.com>
 614
 615         PR libgomp/82428
 616         * f95-lang.c (DEF_GOACC_BUILTIN_ONLY): Define.
 617
 618 2018-04-24  Steven G. Kargl  <kargl@gcc.gnu.org>
 619
 620         PR fortran/85520
 621         * decl.c (gfc_match_char_spec): Check for negative length and set to 0.
 622
 623 2018-04-14  Andre Vehreschild  <vehre@gcc.gnu.org>
 624
 625         PR fortran/81773
 626         PR fortran/83606
 627         * dependency.c (gfc_dep_resolver): Coarray indexes are to be ignored
 628         during dependency computation.  They define no data dependency.
 629         * trans-array.c (conv_array_index_offset): The stride can not be set
 630         here, prevent fail.
 631         * trans-intrinsic.c (conv_caf_send): Add creation of temporary array
 632         for caf_get's result and copying to the array with vectorial
 633         indexing.
 634
 635 2018-04-14  Thomas Koenig  <tkoenig@gcc.gnu.org>
 636
 637         PR fortran/85387
 638         * frontend-passes.c (traverse_io_block): Check for start, end or
 639         stride being defined by an outer implied DO loop.
 640
 641 2018-04-12  Thomas Koenig  <tkoenig@gcc.gnu.org>
 642
 643         PR fortran/83064
 644         PR testsuite/85346
 645         * trans-stmt.c (gfc_trans_forall_loop): Use annot_expr_ivdep_kind
 646         for annotation and remove dependence on -ftree-parallelize-loops.
 647
 648 2018-04-10  Jakub Jelinek  <jakub@redhat.com>
 649
 650         PR fortran/85313
 651         * openmp.c (resolve_omp_do): Remove bogus if (j < i) break;.
 652         (resolve_oacc_nested_loops): Likewise.  Formatting fix.
 653
 654 2018-04-09  Thomas Koenig  <tkoenig@gcc.gnu.org>
 655
 656         PR fortran/83064
 657         * trans-stmt.c (gfc_trans_forall_loop): Remove annotation for
 658         parallell processing of DO CONCURRENT -ftree-parallelize-loops
 659         is set.
 660
 661 2018-04-09  Thomas Koenig  <tkoenig@gcc.gnu.org>
 662
 663         PR fortran/51260
 664         * resolve.c (resolve_variable): Simplify cases where access to a
 665         parameter array results in a single constant.
 666
 667 2018-04-02  Thomas Koenig  <tkoenig@gcc.gnu.org>
 668
 669         PR fortran/85102
 670         * decl.c (variable_decl): If upper or lower bounds simplify
 671         to a constant, use that.
 672
 673 2018-03-30  Paul Thomas  <pault@gcc.gnu.org>
 674
 675         PR fortran/84931
 676         * simplify.c (gfc_convert_constant): Handle case of array
 677         constructors within an array that has no iterator and improve
 678         the conciseness of this section of code.
 679
 680 2017-03-30  Thomas Koenig  <tkoenig@gcc.gnu.org>
 681
 682         PR fortran/85111
 683         * array.c (gfc_resolve_character_array_constructor): Early
 684         exit for zero-size arrays.
 685         * simplify.c (simplify_transformation_to_array): Exit early
 686         if the result size is zero.
 687         (simplify_minmaxloc_to_array): Likewise.
 688
 689 2018-03-28  Mikael Morin  <mikael@gcc.gnu.org>
 690
 691         PR fortran/69497
 692         * symbol.c (gfc_symbol_done_2): Start freeing namespaces
 693         from the root.
 694         (gfc_free_namespace): Restore assert (revert r258839).
 695
 696 2018-03-28  Jakub Jelinek  <jakub@redhat.com>
 697
 698         * gfortran.h (gfc_dt): Rename default_exp field to dec_ext.
 699         * ioparm.def (IOPARM_dt_default_exp): Rename to ...
 700         (IOPARM_dt_dec_ext): ... this.
 701         * trans-io.c (build_dt): Adjust for default_exp renaming to
 702         dec_ext and IOPARM_dt_default_exp renaming to IOPARM_dt_dec_ext.
 703         * io.c (match_io): Likewise.
 704
 705 2018-03-27  Thomas Koenig  <tkoenig@gcc.gnu.org>
 706
 707         PR fortran/85084
 708         * frontend-passes.c (gfc_run_passes): Do not run front-end
 709         optimizations if a previous error occurred.
 710
 711 2018-03-27  Thomas Koenig  <tkoenig@gcc.gnu.org>
 712         Harald Anlauf  <anlauf@gmx.de>
 713
 714         PR fortran/85083
 715         * primary.c (gfc_convert_to_structure_constructor): Check
 716         conformance of argument types in structure constructor.
 717
 718 2018-03-26  Thomas Koenig  <tkoenig@gcc.gnu.org>
 719
 720         PR fortran/66709
 721         * io.c: Include constructor.h.
 722         (resolve_tag_format): For a constant character array, concatenate
 723         into a single character expression.
 724
 725 2018-03-25  Seth Johnson <johnsonsr@ornl.gov>
 726         Dominique d'Humieres  <dominiq@gcc.gnu.org>
 727
 728         PR fortran/84924
 729         * check.c (gfc_check_c_f_pointer): Allow scalar noninteroperable
 730         scalar derived type with -std=f2003 and -std=f2008.
 731
 732 2018-03-24  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 733             Dominique d'Humieres  <dominiq@gcc.gnu.org>
 734
 735         PR fortran/69497
 736         * symbol.c (gfc_free_namespace): Delete the assert and only if
 737         refs count is equals zero, free the namespace. Otherwise,
 738         something is halfway and other errors will resound.
 739
 740 2018-03-24  Thomas Koenig  <tkoenig@gcc.gnu.org>
 741
 742         PR fortran/70068
 743         * expr.c (find_substring_ref): Change types of start, end
 744         and length variables to gfc_charlen_t. Set length to zero
 745         for empty substring.
 746
 747 2018-03-24  Steven G. Kargl  <kargl@gcc.gnu.org>
 748
 749         PR fortran/42651
 750         * decl.c (check_function_name): Improved error message
 751         (gfc_match_volatile, gfc_match_asynchronous) Use check_function_name.
 752
 753 2018-03-22  Steven G. Kargl  <kargl@gcc.gnu.org>
 754
 755         PR fortran/84922
 756         * decl.c (get_proc_name): If the MODULE prefix appears in interface
 757         body, then it must appear on the contained subroutine or function.
 758         While here, fix nearby mis-indented code.
 759
 760 2018-03-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
 761         Harald Anlauf  <anlauf@gmx.de>
 762
 763         PR fortran/84957
 764         * trans-types.c (gfc_sym_type): Do not dereference NULL pointer.
 765
 766 2018-03-21  Janne Blomqvist  <jb@gcc.gnu.org>
 767
 768         PR fortran/84615
 769         * trans-expr.c (gfc_conv_procedure_call): Convert charlen to
 770         gfc_charlen_type_node when calling procedure.
 771
 772 2018-03-20  Steven G. Kargl  <kargl@gcc.gnu.org>
 773
 774         PR fortran/85001
 775         * interface.c (symbol_rank): Remove bogus null pointer check that
 776         crept in when translating a ternary operator into an if-else
 777         constructor.
 778
 779 2018-03-19  Thomas Koenig  <tkoenig@gcc.gnu.org>
 780
 781         PR fortran/84931
 782         * simplify.c (gfc_convert_constant): Correctly handle iterators
 783         for type conversion.
 784
 785 2018-03-18  Steven G. Kargl  <kargl@gcc.gnu.org>
 786
 787         PR fortran/77414
 788         * decl.c (get_proc_name):  Check for a subroutine re-defined in
 789         the contain portion of a subroutine.  Change language of existing
 790         error message to better describe the issue. While here fix whitespace
 791         issues.
 792
 793 2018-03-18  Steven G. Kargl  <kargl@gcc.gnu.org>
 794
 795         PR fortran/65453
 796         * decl.c (get_proc_name): Catch clash between a procedure statement
 797         and a contained subprogram
 798
 799 2018-03-16  Steven G. Kargl  <kargl@gcc.gnu.org>
 800
 801         PR fortran/69395
 802         * decl.c (merge_array_spec): Correct the error condition.
 803
 804 2018-03-15  Steven G. Kargl  <kargl@gcc.gnu.org>
 805
 806         PR fortran/78741
 807         * decl.c (get_proc_name):  Check for clash of entry name with
 808         subroutine name.
 809
 810 2018-03-15  Steven G. Kargl  <kargl@gcc.gnu.org>
 811
 812         PR fortran/69395
 813         * decl.c (merge_array_spec): Limit the merging to maximum allowed
 814         dimensions, and issue error message if limit is exceeded.
 815
 816 2018-03-13  Steven G. Kargl  <kargl@gcc.gnu.org>
 817
 818         * check.c (gfc_check_kill_sub):  Remove check for INTEGER(4) or (8).
 819         * intrinsic.c (add_functions): Remove reference to gfc_resolve_kill.
 820         (add_subroutines): Remove reference to gfc_resolve_kill_sub.
 821         * intrinsic.texi: Update documentation.
 822         * iresolve.c (gfc_resolve_kill, gfc_resolve_kill_sub): Remove.
 823         * trans-decl.c (gfc_build_intrinsic_function_decls):  Add
 824         gfor_fndecl_kill and gfor_fndecl_kill_sub
 825         * trans-intrinsic.c (conv_intrinsic_kill, conv_intrinsic_kill_sub): new
 826         functions.
 827         (gfc_conv_intrinsic_function): Use conv_intrinsic_kill.
 828         (gfc_conv_intrinsic_subroutine): Use conv_intrinsic_kill_sub.
 829         * trans.h: Declare gfor_fndecl_kill and gfor_fndecl_kill_sub.
 830
 831 2018-03-11  Paul Thomas  <pault@gcc.gnu.org>
 832
 833         PR fortran/84546
 834         * trans-array.c (structure_alloc_comps): Make sure that the
 835         vptr is copied and that the unlimited polymorphic _len is used
 836         to compute the size to be allocated.
 837         * trans-expr.c (gfc_get_class_array_ref): If unlimited, use the
 838         unlimited polymorphic _len for the offset to the element.
 839         (gfc_copy_class_to_class): Set the new 'unlimited' argument.
 840         * trans.h : Add the boolean 'unlimited' to the prototype.
 841
 842 2018-03-11  Steven G. Kargl  <kargl@gcc.gnu.org>
 843
 844         PR fortran/83939
 845         * resolve.c (resolve_fl_procedure): Enforce F2018:C15100.
 846
 847 2018-03-11  Steven G. Kargl  <kargls@gcc.gnu.org>
 848
 849         * check.c (gfc_check_kill):  Check pid and sig are scalar.
 850         (gfc_check_kill_sub): Restrict kind to 4 and 8.
 851         * intrinsic.c (add_function): Sort keyword list.  Add pid and sig
 852         keywords for KILL.  Remove redundant *back="back" in favor of the
 853         original *bck="back".
 854         (add_subroutines): Sort keyword list.  Add pid and sig keywords
 855         for KILL.
 856         * intrinsic.texi: Fix documentation to consistently use pid and sig.
 857         * iresolve.c (gfc_resolve_kill): Kind can only be 4 or 8.  Choose the
 858         correct function.
 859         (gfc_resolve_rename_sub): Add comment.
 860
 861 2018-03-11  Thomas Koenig  <tkoenig@gcc.gnu.org>
 862
 863         PR fortran/66128
 864         * simplify.c (simplify_transformation): Return default result for
 865         empty array argument.
 866         (gfc_simplify_all): Remove special-case handling for zerosize.
 867         (gfc_simplify_any): Likewise.
 868         (gfc_simplify_count): Likewise.
 869         (gfc_simplify_iall): Likewise.
 870         (gfc_simplify_iany): Likewise.
 871         (gfc_simplify_iparity): Likewise.
 872         (gfc_simplify_minval): Likewise.
 873         (gfc_simplify_maxval): Likewise.
 874         (gfc_simplify_norm2): Likewise.
 875         (gfc_simplify_product): Likewise.
 876         (gfc_simplify_sum): Likewise.
 877
 878 2018-03-10  Steven G. Kargl  <kargl@gcc.gnu.org>
 879
 880         PR fortran/84734
 881         * arith.c (check_result, eval_intrinsic):  If result overflows, pass
 882         the expression up the chain instead of a NULL pointer.
 883
 884 2018-03-07  Steven G. Kargl  <kargl@gcc.gnu.org>
 885
 886         PR fortran/64124
 887         PR fortran/70409
 888         * decl.c (gfc_match_char_spec): Try to reduce a charlen to a constant.
 889
 890 2017-03-06  Thomas Koenig  <tkoenig@gcc.gnu.org>
 891
 892         PR fortran/84697
 893         PR fortran/66128
 894         * expr.c (simplify_parameter_variable): If p is a size zero array
 895         and not an ARRAY_EXPR insert an empty array constructor and
 896         return.
 897         * gfortran.h: Add prototype for gfc_is_size_zero_array.
 898         * simplify.c (is_size_zero_array): Make non-static and rename into
 899         (gfc_is_size_zero_array):  Check for parameter arrays of zero
 900         size by comparing shape and absence of constructor.
 901         (gfc_simplify_all): Use gfc_is_size_zero_array instead of
 902         is_size_zero_array.
 903         (gfc_simplify_count): Likewise.
 904         (gfc_simplify_iall): Likewise.
 905         (gfc_simplify_iany): Likewise.
 906         (gfc_simplify_iparity): Likewise.
 907         (gfc_simplify_minval): Likewise.
 908         (gfc_simplify_maxval): Likewise.
 909         (gfc_simplify_product): Likewise.
 910         (gfc_simplify_sum): Likewise.
 911
 912 2018-03-06  Steven G. Kargl  <kargl@gcc.gnu.org>
 913
 914         PR fortran/56667
 915         * primary.c (match_sym_complex_part): Give the matcher for an implied
 916         do-loop a chance to run.
 917
 918 2018-03-03  Harald Anlauf  <anlauf@gmx.de>
 919
 920         PR fortran/71085
 921         * trans-expr.c (gfc_apply_interface_mapping_to_expr): Do not
 922         dereference NULL pointer.
 923
 924 2018-03-03  Steven G. Kargl  <kargl@gcc.gnu.org>
 925
 926         PR fortran/66128
 927         * simplify.c (is_size_zero_array): New function to check for size
 928         zero array.
 929         (gfc_simplify_all, gfc_simplify_any, gfc_simplify_count,
 930          gfc_simplify_iall, gfc_simplify_iany, gfc_simplify_iparity,
 931          gfc_simplify_minval, gfc_simplify_maxval, gfc_simplify_norm2,
 932          gfc_simplify_product, gfc_simplify_sum): Use it, and implement
 933         requirements from F2018.
 934
 935 2018-03-03  Steven G. Kargl  <kargl@gcc.gnu.org>
 936
 937         PR fortran/51434
 938         * simplify.c (gfc_simplify_transfer): Resolve mold.
 939
 940 2018-03-03  Paul Thomas  <pault@gcc.gnu.org>
 941
 942         PR fortran/80965
 943         * resolve.c (build_loc_call): Change symtree name from 'loc' to
 944         '_loc'.
 945
 946 2018-03-01  Paul Thomas  <pault@gcc.gnu.org>
 947
 948         PR fortran/84219
 949         * target-memory.c (gfc_interpret_derived): Assert that BT_VOID
 950         components are caf tokens.
 951         (gfc_target_interpret_expr): Treat BT_VOID expressions as
 952         integers.
 953
 954 2018-03-01  Paul Thomas  <pault@gcc.gnu.org>
 955
 956         PR fortran/84538
 957         * class.c (class_array_ref_detected): Remove the condition that
 958         there be no reference after the array reference.
 959         (find_intrinsic_vtab): Remove excess whitespace.
 960         * trans-array.c (gfc_conv_scalarized_array_ref): Rename 'tmp'
 961         as 'base and call build_class_array_ref earlier.
 962
 963 2018-02-28  Paul Thomas  <pault@gcc.gnu.org>
 964
 965         PR fortran/83901
 966         * trans-stmt.c (trans_associate_var): Make sure that the se
 967         expression is a pointer type before converting it to the symbol
 968         backend_decl type.
 969
 970 2018-02-25  Steven G. Kargl  <kargl@gcc.gnu.org>
 971
 972         PR fortran/83633
 973         * decl.c (variable_decl): Check that an explicit-shape-array with
 974         nonconstant bounds is allowed.
 975
 976 2018-02-25  Paul Thomas  <pault@gcc.gnu.org>
 977
 978         PR fortran/84523
 979         * trans-intrinsic.c (gfc_conv_allocated): If the argument se
 980         has a pre block, add it to the expression pre block.
 981
 982 2018-02-25  Thomas Koenig  <tkoenig@gcc.gnu.org>
 983
 984         PR fortran/78238
 985         * gfortran.h (gfc_integer_4_kind): Define.
 986         * resolve.c (resolve_select_type): Make sure that the
 987         kind of c->high is gfc_integer_4_kind.
 988
 989 2018-02-24  Steven G. Kargl <kargl@gcc.gnu.org>
 990
 991         PR fortran/30792
 992         * decl.c (gfc_match_data): Check for invalid substring in
 993         data-implied-do
 994
 995 2018-02-23  Steven G. Kargl  <kargl@gcc.gnu.org>
 996
 997         * intrinsic.texi: Arguments to MATMUL cannot both be rank one.
 998
 999 2018-02-23  Steven G. Kargl  <kargl@gcc.gnu.org>
1000
1001         PR fortran/84511
1002         * trans-io.c (transfer_expr): Deal with C_LOC in transfer statement.
1003
1004 2018-02-23  Steven G. Kargl  <kargl@gcc.gnu.org>
1005
1006         PR fortran/84346
1007         * interface.c (compare_actual_formal): Issue error if keyword is
1008         used in a statement function.
1009
1010 2018-02-23  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
1011
1012         PR fortran/84506
1013         * trans-io.c (set_parameter_value_inquire): Adjust range check of
1014         negative unit values for kind=8 units to the kind=4 negative limit.
1015
1016 2018-02-23  Paul Thomas  <pault@gcc.gnu.org>
1017
1018         PR fortran/83149
1019         * trans-types.c (gfc_sym_type): Test sym->ns->proc_name before
1020         accessing its components.
1021
1022 2018-02-23  Paul Thomas  <pault@gcc.gnu.org>
1023
1024         PR fortran/83149
1025         * trans-decl.c (gfc_finish_var_decl): Test sym->ns->proc_name
1026         before accessing its components.
1027
1028 2018-02-23  Paul Thomas  <pault@gcc.gnu.org>
1029
1030         PR fortran/83148
1031         * trans-const.c : Clean up some whitespace issues.
1032         * trans-expr.c (gfc_conv_initializer): If an iso_c_binding
1033         derived type has a kind value of zero, set it to the default
1034         integer kind.
1035
1036 2018-02-23  Janne Blomqvist  <jb@gcc.gnu.org>
1037
1038         PR fortran/84519
1039         * trans-decl.c (gfc_build_builtin_function_decls): Add bool
1040         argument to stop and error stop decls.
1041         * trans-stmt.c (gfc_trans_stop): Add false value to argument
1042         lists.
1043
1044 2018-02-22  Janne Blomqvist  <jb@gcc.gnu.org>
1045
1046         PR 78534
1047         PR 84509
1048         * trans-decl.c (gfc_build_builtin_function_decls): Pass
1049         gfc_int8_type node to pause_numeric, size_type_node to
1050         pause_string.
1051         * trans-stmt.c (gfc_trans_pause): Likewise.
1052
1053 2018-02-22  Janne Blomqvist  <jb@gcc.gnu.org>
1054
1055         * gfortran.texi: Update Coarray API description.
1056         * trans-decl.c (gfc_build_builtin_function_decls): Use size_t for
1057         character lengths, int for exit codes.
1058         (generate_coarray_sym_init): Use size_t for character length.
1059         * trans-intrinsic.c (conv_co_collective): Likewise.
1060         * trans-stmt.c (gfc_trans_lock_unlock): Likewise.
1061         (gfc_trans_event_post_wait): Likewise.
1062         (gfc_trans_sync): Likewise.
1063         (gfc_trans_stop): Use size_t for character lengths, int for exit
1064         codes.
1065
1066 2018-02-20  Thomas Koenig  <tkoenig@gcc.gnu.org>
1067
1068         PR fortran/48890
1069         PR fortran/83823
1070         * primary.c (gfc_convert_to_structure_constructor):
1071         For a constant string constructor, make sure the length
1072         is correct.
1073
1074 2018-02-19  Paul Thomas  <pault@gcc.gnu.org>
1075
1076         PR fortran/83344
1077         PR fortran/83975
1078         * resolve.c (resolve_assoc_var): Rearrange the logic for the
1079         determination of the character length of associate names. If
1080         the associate name is missing a length expression or the length
1081         expression is not a constant and the target is not a variable,
1082         make the associate name allocatable and deferred length.
1083         * trans-decl.c (gfc_get_symbol_decl): Null the character length
1084         backend_decl for deferred length associate names that are not
1085         variables. Set 'length' to gfc_index_zero_node for character
1086         associate names, whose character length is a PARM_DECL.
1087
1088 2018-02-19  Thomas Koenig  <tkoenig@gcc.gnu.org>
1089
1090         PR fortran/35339
1091         * frontend-passes.c (traverse_io_block): Remove workaround for
1092         PR 80945.
1093
1094 2018-02-19  Andre Vehreschild  <vehre@gcc.gnu.org>
1095
1096         * gfortran.texi: Document additional src/dst_type.  Fix some typos.
1097         * trans-decl.c (gfc_build_builtin_function_decls): Declare the new
1098         argument of _caf_*_by_ref () with * e { get, send, sendget }.
1099         * trans-intrinsic.c (gfc_conv_intrinsic_caf_get): Add the type of the
1100         data referenced when generating a call to caf_get_by_ref ().
1101         (conv_caf_send): Same but for caf_send_by_ref () and
1102         caf_sendget_by_ref ().
1103
1104 2018-02-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
1105
1106         PR fortran/84389
1107         * io.c (check_format): Allow FMT_COLON.
1108
1109 2018-02-18  Paul Thomas  <pault@gcc.gnu.org>
1110
1111         PR fortran/80945
1112         * trans-array.c (gfc_conv_expr_descriptor): Set parmtype from
1113         the typenode in the case of deferred length characters.
1114
1115 2018-02-17  Thomas Koenig  <tkoenig@gcc.gnu.org>
1116
1117         PR fortran/84270
1118         * frontend-passes (scalarized_expr):  If the expression
1119         is an assumed size array, leave in the last reference
1120         and pass AR_SECTION instead of AR_FULL to gfc_resolve
1121         in order to avoid an error.
1122
1123 2018-02-17  Paul Thomas  <pault@gcc.gnu.org>
1124
1125         PR fortran/84115
1126         * resolve.c (resolve_assoc_var): If a non-constant target expr.
1127         has no string length expression, make the associate variable
1128         into a deferred length, allocatable symbol.
1129         * trans-decl.c (gfc_is_reallocatable_lhs): Add and use a ptr to
1130         the symbol.
1131         * trans-stmt.c (trans_associate_var): Null and free scalar
1132         associate names that are allocatable. After assignment, remove
1133         the allocatable attribute to prevent reallocation.
1134
1135 2018-02-16  Jakub Jelinek  <jakub@redhat.com>
1136
1137         PR fortran/84418
1138         * trans-openmp.c (gfc_trans_omp_clauses): For OMP_CLAUSE_LINEAR_REF
1139         kind set OMP_CLAUSE_LINEAR_STEP to TYPE_SIZE_UNIT times last_step.
1140
1141 2018-02-16  Dominique d'Humieres  <dominiq@gcc.gnu.org>
1142
1143         PR fortran/84354
1144         * decl.c (gfc_get_pdt_instance): Replace '%qs' with %qs.
1145
1146 2018-02-15  Janus Weil  <janus@gcc.gnu.org>
1147
1148         PR fortran/84409
1149         * interface.c (check_dtio_arg_TKR_intent): Add a check for character
1150         length.
1151
1152 2018-02-14  Janus Weil  <janus@gcc.gnu.org>
1153
1154         PR fortran/84385
1155         * match.c (gfc_match_select_type): Fix check for selector in
1156         SELECT TYPE statement.
1157
1158 2018-02-13  Janus Weil  <janus@gcc.gnu.org>
1159
1160         PR fortran/84313
1161         * symbol.c (check_conflict): Reject procedure pointers in common blocks.
1162
1163 2018-02-13  Alastair McKinstry  <alastair.mckinstry@sceal.ie>
1164             Janne Blomqvist  <jb@gcc.gnu.org>
1165
1166         * module.c (dump_module): Use lbasename to ensure that module
1167         files are reproducible.
1168
1169 2018-02-12  Janus Weil  <janus@gcc.gnu.org>
1170
1171         PR fortran/84273
1172         * resolve.c (resolve_component): Fix checks of passed argument in
1173         procedure-pointer components.
1174
1175 2018-02-11  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
1176
1177         PR fortran/35299
1178         * resolve.c (resolve_formal_arglist): Update error message.
1179
1180 2018-02-11  Andre Vehreschild  <vehre@gcc.gnu.org>
1181
1182         * gfortran.texi: Fix typos in documentation of caf_register ().
1183         * trans-array.c (structure_alloc_comps): Only register a component of
1184         a derived typed corray, not of an ultimate component coarray.
1185
1186 2018-02-11  Steven G. Kargl  <kargl@gcc.gnu.org>
1187
1188         PR fortran/54223
1189         PR fortran/84276
1190         * interface.c (compare_actual_formal): Add in_statement_function
1191         bool parameter.  Skip check of INTENT attribute for statement
1192         functions.  Arguments to a statement function cannot be optional,
1193         issue error for missing argument.
1194         (gfc_procedure_use, gfc_ppc_use, gfc_arglist_matches_symbol): Use
1195          in_statement_function.
1196
1197 2018-02-11  Paul Thomas  <pault@gcc.gnu.org>
1198
1199         PR fortran/84074
1200         * trans-expr.c (gfc_conv_derived_to_class): Set the use_offset
1201         flag. If the is a vector subscript or the expression is not a
1202         variable, make the descriptor one-based.
1203
1204 2018-02-10  Paul Thomas  <pault@gcc.gnu.org>
1205
1206         PR fortran/84141
1207         PR fortran/84155
1208         * trans-array.c (gfc_array_init_size): Revert the change made
1209         in revision 257356 setting the dtype.
1210         * trans-types.c (gfc_get_dtype): Do not use the cached dtype.
1211         Call gfc_get_dtype_rank_type every time.
1212
1213         PR fortran/56691
1214         * trans-array.c (gfc_conv_expr_descriptor): If the source array
1215         is a descriptor type, use its offset, removing the condition
1216         that is be a class expression.
1217
1218 2018-02-07  Steven G. Kargl  <kargl@gcc.gnu.org>
1219
1220         PR fortran/82994
1221         * match.c (gfc_match_deallocate): Check for NULL pointer.
1222
1223 2018-02-07  Thomas Koenig  <tkoenig@gcc.gnu.org>
1224
1225         PR fortran/68560
1226         * trans-intrinsic.c (gfc_conv_intrinsic_shape): New function.
1227         (gfc_conv_intrinsic_function): Call it.
1228
1229 2018-02-07  Steven G. Kargl  <kargl@gcc.gnu.org>
1230
1231         PR fortran/82049
1232         * match.c (gfc_match_type_spec): If the charlen is non-NULL, then
1233         try to resolve it.  While here return early if possible.
1234
1235 2018-02-04  Paul Thomas  <pault@gcc.gnu.org>
1236
1237         PR fortran/84115
1238         * trans-decl.c (gfc_get_symbol_decl): Do not finish the decl of
1239         'length' if the symbol charlen backend_decl is an indirect ref.
1240
1241 2018-02-03  Paul Thomas  <pault@gcc.gnu.org>
1242
1243         PR fortran/84141
1244         PR fortran/84155
1245         * trans-array.c (gfc_array_init_size): Instead of gfc_get_dtype
1246         use gfc_get_dtype_rank_type.
1247
1248 2018-02-01  Janne Blomqvist  <jb@gcc.gnu.org>
1249
1250         PR 83975
1251         PR 83344
1252         * resolve.c (resolve_assoc_var): Generate an error if
1253         target length unknown.
1254
1255 2018-02-01  Janne Blomqvist  <jb@gcc.gnu.org>
1256
1257         PR fortran/83705
1258         * simplify.c (gfc_simplify_repeat): Increase limit for deferring
1259         to runtime, print a warning message.
1260
1261 2018-01-31  Jakub Jelinek  <jakub@redhat.com>
1262
1263         PR fortran/84116
1264         * openmp.c (gfc_match_omp_clauses): If all the linear
1265         gfc_match_omp_variable_list calls failed, don't gfc_free_omp_namelist
1266         nor set *head = NULL.  Formatting fixes.
1267
1268 2018-01-31  Paul Thomas  <pault@gcc.gnu.org>
1269
1270         PR fortran/84088
1271         * trans-expr.c (gfc_conv_procedure_call): If the parm expr is
1272         an address expression passed to an assumed rank dummy, convert
1273         to an indirect reference.
1274
1275 2018-01-31  Thomas Koenig  <tkoenig@gcc.gnu.org>
1276
1277         * dump-parse-tree.c (write_proc): Use sym_name (which may
1278         be sym->binding_label) instead of sym->name.
1279
1280 2018-01-31  Janne Blomqvist  <jb@gcc.gnu.org>
1281
1282         * trans-const.c (gfc_conv_string_init): Use gfc_charlen_t instead
1283         of int for slen.
1284
1285 2018-01-31  Janne Blomqvist  <jb@gcc.gnu.org>
1286
1287         PR fortran/78534
1288         * trans-expr.c (fill_with_spaces): Use memset instead of
1289         generating loop.
1290         (gfc_trans_string_copy): Improve opportunity to use builtins with
1291         constant lengths.
1292
1293 2018-01-30  Jakub Jelinek  <jakub@redhat.com>
1294
1295         PR debug/84131
1296         * trans-array.c (gfc_get_descriptor_offsets_for_info): Set *data_off
1297         to DATA_FIELD's offset rather than OFFSET_FIELD's offset.
1298
1299 2018-01-30  Thomas Koenig  <tkoenig@gcc.gnu.org>
1300
1301         PR fortran/84134
1302         * array.c (gfc_ref_dimen_size): Whitespace fixes.  If stride is
1303         zero, return false.
1304
1305 2018-01-30  Thomas Koenig  <tkoenig@gcc.gnu.org>
1306
1307         PR fortran/84133
1308         * frontend-passes (matmul_to_var_expr): Return early if
1309         in association list.
1310         (inline_matmul_assign): Likewise.
1311
1312 2017-01-29  Thomas Koenig  <tkoenig@gcc.gnu.org>
1313
1314         PR fortran/84073
1315         * resolve.c (resolve_component): Ensure BIND(C) character
1316         components have length one.
1317         (resolve_symbol): Likewise for variables.
1318
1319 2018-01-27  Jakub Jelinek  <jakub@redhat.com>
1320
1321         PR fortran/84065
1322         * decl.c (add_init_expr_to_sym): Ignore initializers for too large
1323         lengths.
1324
1325 2018-01-26  Damian Rouson  <damian@sourceryinstitute.org>
1326             Alessandro Fanfarillo  <fanfarillo.gcc@gmail.com>
1327             Soren Rasmussen  <s.c.rasmussen@gmail.com>
1328
1329         Partial support for Fortran 2018 teams features.
1330
1331         * array.c (gfc_match_array_ref): add team attribute in coarray
1332         transfers.
1333         * check.c (gfc_check_get_team, gfc_check_team_number): add new
1334         functions for get_team and team_number.
1335         * dump-parse-tree.c (show_code_node): add new statements: form team,
1336         change team, end team, and sync team.
1337         * expr.c (gfc_find_team_co): add new function.
1338         * gfortran.h: add new statements.
1339         * intrinsic.c (add_functions): add get_team and team_number functions.
1340         * intrinsic.h: add get_team and team_number prototypes for check,
1341         simplify, and resolve.
1342         * iresolve.c (gfc_resolve_get_team, gfc_resolve_team_number): add new
1343         functions.
1344         * iso-fortran-env.def: add the team_type derived type.
1345         * match.c (gfc_match_if, gfc_match_form_team, gfc_match_team_number)
1346         (gfc_match_end_team, gfc_match_sync_team, gfc_match_change_team):
1347         add change team, end team, form team, sync team match and functions.
1348         * match.h: add new prototypes for change team, end team, form team,
1349         and sync team.
1350         * parse.c (decode_statement): add cases for change team, end team,
1351         form team, and sync team.
1352         * resolve.c: add cases for exec form team, change team, end team, and
1353         sync team.
1354         * simplify.c (gfc_simplify_get_team): add new function for get team.
1355         * st.c (gfc_free_statement): add cases exec for change team, end team,
1356         form team, sync team.
1357         * trans-decl.c (gfor_fndecl_caf_form_team)
1358         (gfor_fndecl_caf_change_team, gfor_fndecl_caf_end_team)
1359         (gfor_fndecl_caf_sync_team, gfor_fndecl_caf_get_team)
1360         (gfor_fndecl_caf_team_number): add functions and definitions.
1361         * trans-intrinsic.c (conv_caf_send, conv_intrinsic_team_number): add
1362         new function and team_type argument support.
1363         * trans-stmt.c (gfc_trans_form_team, gfc_trans_change_team)
1364         (gfc_trans_end_team, gfc_trans_sync_team): add new functions.
1365         * trans-stmt.h: add new prototypes.
1366         * trans-types.c (gfc_get_derived_type): check condition for team_type.
1367         * trans.c (trans_code): new exec cases for form team, change team, end
1368         team, and sync team.
1369         * trans.h: add new prototypes.
1370
1371 2018-01-26  Steven G. Kargl  <kargl@gcc.gnu.org>
1372
1373         PR fortran/83998
1374         * simplify.c (compute_dot_product):  Initialize result to INTEGER(1) 0
1375         or .false.  The summation does the correct type conversion.
1376         (gfc_simplify_dot_product): Special case zero-sized arrays.
1377
1378 2018-25-01  Paul Thomas  <pault@gcc.gnu.org>
1379
1380         PR fortran/37577
1381         * array.c (gfc_match_array_ref): If standard earlier than F2008
1382         it is an error if the reference dimension is greater than 7.
1383         libgfortran.h : Increase GFC_MAX_DIMENSIONS to 15. Change the
1384         dtype masks and shifts accordingly.
1385         * trans-array.c (gfc_conv_descriptor_dtype): Use the dtype
1386         type node to check the field.
1387         (gfc_conv_descriptor_dtype): Access the rank field of dtype.
1388         (duplicate_allocatable_coarray): Access the rank field of the
1389         dtype descriptor rather than the dtype itself.
1390         * trans-expr.c (get_scalar_to_descriptor_type): Store the type
1391         of 'scalar' on entry and use its TREE_TYPE if it is ARRAY_TYPE
1392         (ie. a character).
1393         (gfc_conv_procedure_call): Pass TREE_OPERAND (tmp,0) to
1394         get_scalar_to_descriptor_type if the actual expression is a
1395         constant.
1396         (gfc_trans_structure_assign): Assign the rank directly to the
1397         dtype rank field.
1398         * trans-intrinsic.c (gfc_conv_intrinsic_rank): Cast the result
1399         to default integer kind.
1400         (gfc_conv_intrinsic_sizeof): Obtain the element size from the
1401         'elem_len' field of the dtype.
1402         * trans-io.c (gfc_build_io_library_fndecls): Replace
1403         gfc_int4_type_node with dtype_type_node where necessary.
1404         (transfer_namelist_element): Use gfc_get_dtype_rank_type for
1405         scalars.
1406         * trans-types.c : Provide 'get_dtype_type_node' to acces the
1407         dtype_type_node and, if necessary, build it.
1408         The maximum size of an array element is now determined by the
1409         maximum value of size_t.
1410         Update the description of the array descriptor, including the
1411         type def for the dtype_type.
1412         (gfc_get_dtype_rank_type): Build a constructor for the dtype.
1413         Distinguish RECORD_TYPEs that are BT_DERIVED or BT_CLASS.
1414         (gfc_get_array_descriptor_base): Change the type of the dtype
1415         field to dtype_type_node.
1416         (gfc_get_array_descr_info): Get the offset to the rank field of
1417         the dtype.
1418         * trans-types.h : Add a prototype for 'get_dtype_type_node ()'.
1419         * trans.h : Define the indices of the dtype fields.
1420
1421 2018-23-01  Paul Thomas  <pault@gcc.gnu.org>
1422
1423         PR fortran/83866
1424         * decl.c (gfc_match_derived_decl): If eos not matched, recover
1425         and emit error about garbage after declaration.
1426
1427 2018-23-01  Paul Thomas  <pault@gcc.gnu.org>
1428
1429         PR fortran/83898
1430         * trans-stmt.c (trans_associate_var): Do not set cst_array_ctor
1431         for characters.
1432
1433 2018-01-22  Janne Blomqvist  <jb@gcc.gnu.org>
1434
1435         PR 78534
1436         PR 83704
1437         * arith.c (gfc_arith_concat): Use size_t for string length.
1438         (gfc_compare_string): Likewise.
1439         (gfc_compare_with_Cstring): Likewise.
1440         * array.c (gfc_resolve_character_array_constructor): Use
1441         HOST_WIDE_INT, gfc_mpz_get_hwi.
1442         * check.c (gfc_check_fe_runtime_error): Use size_t.
1443         * data.c (create_character_initializer): Use HOST_WIDE_INT,
1444         gfc_extract_hwi.
1445         * decl.c (gfc_set_constant_character_len): Use gfc_charlen_t.
1446         (add_init_expr_to_sym): Use HOST_WIDE_INT.
1447         * expr.c (gfc_build_init_expr): Use HOST_WIDE_INT,
1448         gfc_extract_hwi.
1449         (gfc_apply_init): Likewise.
1450         * match.h (gfc_set_constant_character_len): Update prototype.
1451         * primary.c (match_string_constant): Use size_t.
1452         * resolve.c (resolve_ordinary_assign): Use HOST_WIDE_INT,
1453         gfc_mpz_get_hwi.
1454         * simplify.c (init_result_expr): Likewise.
1455         (gfc_simplify_len_trim): Use size_t.
1456         * target-memory.c (gfc_encode_character): Use size_t.
1457         (gfc_target_encode_expr): Use HOST_WIDE_INT, gfc_mpz_get_hwi.
1458         (interpret_array): Use size_t.
1459         (gfc_interpret_character): Likewise.
1460         * target-memory.h (gfc_encode_character): Update prototype.
1461         (gfc_interpret_character): Likewise.
1462         (gfc_target_interpret_expr): Likewise.
1463         * trans-const.c (gfc_build_string_const): Use size_t for length
1464         argument.
1465         (gfc_build_wide_string_const): Likewise.
1466         * trans-const.h (gfc_build_string_const): Likewise.
1467         (gfc_build_wide_string_const): Likewise.
1468
1469 2018-01-20  Steven G. Kargl  <kargl@gcc.gnu.org>
1470
1471         PR fortran/83900
1472     * simplify.c (gfc_simplify_matmul): Set return type correctly.
1473
1474 2018-01-19  Steven G. Kargl  <kargl@gcc.gnu.org>
1475
1476         PR fortran/83900
1477         * simplify.c (gfc_simplify_matmul): Delete bogus assertion.
1478
1479 2018-01-17  Harald Anlauf  <anlauf@gmx.de>
1480
1481         PR fortran/83864
1482         * expr.c (add_init_expr_to_sym): Do not dereference NULL pointer.
1483
1484 2018-01-17  Harald Anlauf  <anlauf@gmx.de>
1485
1486         PR fortran/83874
1487         * decl.c (add_init_expr_to_sym): Do not dereference NULL pointer.
1488
1489 2018-01-15  Louis Krupp  <louis.krupp@zoho.com>
1490
1491         PR fortran/82257
1492         * interface.c (compare_rank): Don't try to retrieve CLASS_DATA
1493         from symbol marked unlimited polymorphic.
1494         * resolve.c (resolve_structure_cons): Likewise.
1495         * misc.c (gfc_typename): Don't dereference derived->components
1496         if it's NULL.
1497
1498 2018-01-15  Thomas Koenig  <tkoenig@gcc.gnu.org>
1499
1500         PR fortran/54613
1501         * gfortran.h (gfc_check_f): Rename f4ml to f5ml.
1502         (gfc_logical_4_kind): New macro
1503         * intrinsic.h (gfc_simplify_minloc): Add a gfc_expr *argument.
1504         (gfc_simplify_maxloc): Likewise.
1505         (gfc_resolve_maxloc): Likewise.
1506         (gfc_resolve_minloc): Likewise.
1507         * check.c (gfc_check_minloc_maxloc): Add checking for "back"
1508         argument; also raise error if it is used (for now). Add it
1509         if it isn't present.
1510         * intrinsic.c (add_sym_4ml): Rename to
1511         (add_sym_5ml), adjust for extra argument.
1512         (add_functions): Add "back" constant. Adjust maxloc and minloc
1513         for back argument.
1514         * iresolve.c (gfc_resolve_maxloc): Add back argument. If back is
1515         not of gfc_logical_4_kind, convert.
1516         (gfc_resolve_minloc): Likewise.
1517         * simplify.c (gfc_simplify_minloc): Add back argument.
1518         (gfc_simplify_maxloc): Likewise.
1519         * trans-intinsic.c (gfc_conv_intrinsic_minmaxloc): Rename last
1520         argument to %VAL to ensure passing by value.
1521         (gfc_conv_intrinsic_function): Call gfc_conv_intrinsic_minmaxloc
1522         also for library calls.
1523
1524 2018-01-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
1525
1526         PR fortran/82007
1527         * resolve.c (resolve_transfer): Delete code looking for 'DT'
1528         format specifiers in format strings. Set formatted to true if a
1529         format string or format label is present.
1530         * trans-io.c (get_dtio_proc): Likewise. (transfer_expr): Fix
1531         whitespace.
1532
1533 2018-01-13  Thomas Koenig  <tkoenig@gcc.gnu.org>
1534
1535         PR fortran/83744
1536         * dump-parse-tree.c (get_c_type_name): Remove extra line.
1537         Change for loop to use declaration in for loop. Handle BT_LOGICAL
1538         and BT_CHARACTER.
1539         (write_decl): Add where argument. Fix indentation. Replace
1540         assert with error message. Add typename to warning
1541         in comment.
1542         (write_type): Adjust locus to call of write_decl.
1543         (write_variable): Likewise.
1544         (write_proc): Likewise. Replace assert with error message.
1545
1546 2018-01-13  Paul Thomas  <pault@gcc.gnu.org>
1547
1548         PR fortran/52162
1549         * trans-expr.c (gfc_trans_scalar_assign): Flag is_alloc_lhs if
1550         the rhs expression is neither an elemental nor a conversion
1551         function.
1552
1553         PR fortran/83622
1554         * trans-array.c (is_pointer_array): Remove unconditional return
1555         of false for -fopenmp.
1556
1557 2018-01-13  Thomas Koenig  <tkoenig@gcc.gnu.org>
1558         <emsr@gcc.gnu.org>
1559
1560         PR fortran/83803
1561         * dump-parse-tree.c (write_proc): Always emit closing parenthesis
1562         for functions.
1563
1564 2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>
1565
1566         PR fortran/82367
1567         * resolve.c (resolve_allocate_expr): Check for NULL pointer.
1568
1569 2018-01-10  Steven G. Kargl  <kargl@gcc.gnu.org>
1570
1571         PR fortran/83093
1572         * resolve.c (resolve_charlen): Check the type of cl->length
1573         after resolution.
1574
1575 2018-01-10  Janne Blomqvist  <jb@gcc.gnu.org>
1576
1577         PR fortran/83740
1578         * trans-array.c (gfc_trans_array_ctor_element): Fix formatting.
1579
1580 2018-01-10  Janne Blomqvist  <jb@gcc.gnu.org>
1581
1582         PR fortran/83740
1583         * trans-array.c (gfc_trans_array_ctor_element): Convert RHS to the
1584         LHS type when assigning.
1585
1586 2018-01-09  Steven G. Kargl  <kargl@gcc.gnu.org>
1587
1588         PR fortran/83742
1589         * expr.c (gfc_is_simply_contiguous): Check for NULL pointer.
1590
1591 2018-01-08  Steven G. Kargl  <kargl@gcc.gnu.org>
1592
1593         * match.c (gfc_match_allocate): Check for NULL pointer.
1594
1595 2018-01-08  Steven G. Kargl  <kargl@gcc.gnu.org>
1596
1597         * expr.c (gfc_check_pointer_assign): Fix typo in comment.
1598
1599 2018-01-08  Paul Thomas  <pault@gcc.gnu.org>
1600
1601         PR fortran/83611
1602         * decl.c (gfc_get_pdt_instance): If parameterized arrays have
1603         an initializer, convert the kind parameters and add to the
1604         component if the instance.
1605         * trans-array.c (structure_alloc_comps): Add 'is_pdt_type' and
1606         use it with case COPY_ALLOC_COMP. Call 'duplicate_allocatable'
1607         for parameterized arrays. Clean up typos in comments. Convert
1608         parameterized array initializers and copy into the array.
1609         * trans-expr.c (gfc_trans_scalar_assign): Do a deep copy for
1610         parameterized types.
1611         *trans-stmt.c (trans_associate_var): Deallocate associate vars
1612         as necessary, when they are PDT function results for example.
1613
1614         PR fortran/83731
1615         * trans-array.c (structure_alloc_comps): Only compare len parms
1616         when they are declared explicitly.
1617
1618 2018-01-06  Janne Blomqvist  <jb@gcc.gnu.org>
1619
1620         PR fortran/50892
1621         * trans-expr.c (gfc_trans_pointer_assignment): fold_convert rhs to
1622         lhs type.
1623
1624 2018-01-05  Janne Blomqvist  <jb@gcc.gnu.org>
1625
1626         PR fortran/78534
1627         PR fortran/66310
1628         * array.c (got_charlen): Use gfc_charlen_int_kind.
1629         * class.c (gfc_find_derived_vtab): Use gfc_size_kind instead of
1630         hardcoded kind.
1631         (find_intrinsic_vtab): Likewise.
1632         * decl.c (match_char_length): Use gfc_charlen_int_kind.
1633         (add_init_expr_to_sym): Use gfc_charlen_t and gfc_charlen_int_kind.
1634         (gfc_match_implicit): Use gfc_charlen_int_kind.
1635         * dump-parse-tree.c (show_char_const): Use gfc_charlen_t and size_t.
1636         (show_expr): Use HOST_WIDE_INT_PRINT_DEC.
1637         * expr.c (gfc_get_character_expr): Length parameter of type
1638         gfc_charlen_t.
1639         (gfc_get_int_expr): Value argument of type HOST_WIDE_INT.
1640         (gfc_extract_hwi): New function.
1641         (simplify_const_ref): Make string_len of type gfc_charlen_t.
1642         (gfc_simplify_expr): Use HOST_WIDE_INT for substring refs.
1643         * frontend-passes.c (optimize_trim): Use gfc_charlen_int_kind.
1644         * gfortran.h (gfc_mpz_get_hwi): New prototype.
1645         (gfc_mpz_set_hwi): Likewise.
1646         (gfc_charlen_t): New typedef.
1647         (gfc_expr): Use gfc_charlen_t for character lengths.
1648         (gfc_size_kind): New extern variable.
1649         (gfc_extract_hwi): New prototype.
1650         (gfc_get_character_expr): Use gfc_charlen_t for character length.
1651         (gfc_get_int_expr): Use HOST_WIDE_INT type for value argument.
1652         * gfortran.texi: Update description of hidden string length argument.
1653         * iresolve.c (check_charlen_present): Use gfc_charlen_int_kind.
1654         (gfc_resolve_char_achar): Likewise.
1655         (gfc_resolve_repeat): Pass string length directly without
1656         temporary, use gfc_charlen_int_kind.
1657         (gfc_resolve_transfer): Use gfc_charlen_int_kind.
1658         * match.c (select_intrinsic_set_tmp): Use HOST_WIDE_INT for charlen.
1659         * misc.c (gfc_mpz_get_hwi): New function.
1660         (gfc_mpz_set_hwi): New function.
1661         * module.c (atom_int): Change type from int to HOST_WIDE_INT.
1662         (parse_integer): Don't complain about large integers.
1663         (write_atom): Use HOST_WIDE_INT for integers.
1664         (mio_integer): Handle integer type mismatch.
1665         (mio_hwi): New function.
1666         (mio_intrinsic_op): Use HOST_WIDE_INT.
1667         (mio_array_ref): Likewise.
1668         (mio_expr): Likewise.
1669         * primary.c (match_substring): Use gfc_charlen_int_kind.
1670         * resolve.c (resolve_substring_charlen): Use gfc_charlen_int_kind.
1671         (resolve_character_operator): Likewise.
1672         (resolve_assoc_var): Likewise.
1673         (resolve_select_type): Use HOST_WIDE_INT for charlen, use snprintf.
1674         (resolve_charlen): Use mpz_sgn to determine sign.
1675         * simplify.c (gfc_simplify_repeat): Use HOST_WIDE_INT/gfc_charlen_t
1676         instead of long.
1677         * symbol.c (generate_isocbinding_symbol): Use gfc_charlen_int_kind.
1678         * target-memory.c (size_character): Length argument of type
1679         gfc_charlen_t.
1680         (gfc_encode_character): Likewise.
1681         (gfc_interpret_character): Use gfc_charlen_t.
1682         * target-memory.h (gfc_encode_character): Modify prototype.
1683         * trans-array.c (gfc_trans_array_ctor_element): Use existing type.
1684         (get_array_ctor_var_strlen): Use gfc_conv_mpz_to_tree_type.
1685         (trans_array_constructor): Use existing type.
1686         (get_array_charlen): Likewise.
1687         * trans-const.c (gfc_conv_mpz_to_tree_type): New function.
1688         * trans-const.h (gfc_conv_mpz_to_tree_type): New prototype.
1689         * trans-decl.c (gfc_trans_deferred_vars): Use existing type.
1690         (add_argument_checking): Likewise.
1691         * trans-expr.c (gfc_class_len_or_zero_get): Build const of type
1692         gfc_charlen_type_node.
1693         (gfc_conv_intrinsic_to_class): Use gfc_charlen_int_kind instead of
1694         4, fold_convert to correct type.
1695         (gfc_conv_class_to_class): Build const of type size_type_node for
1696         size.
1697         (gfc_copy_class_to_class): Likewise.
1698         (gfc_conv_string_length): Use same type in expression.
1699         (gfc_conv_substring): Likewise, use HOST_WIDE_INT for charlen.
1700         (gfc_conv_string_tmp): Make sure len is of the right type.
1701         (gfc_conv_concat_op): Use same type in expression.
1702         (gfc_conv_procedure_call): Likewise.
1703         (fill_with_spaces): Comment out memset() block due to spurious
1704         -Wstringop-overflow warnings.
1705         (gfc_trans_string_copy): Use gfc_charlen_type_node.
1706         (alloc_scalar_allocatable_for_subcomponent_assignment):
1707         fold_convert to right type.
1708         (gfc_trans_subcomponent_assign): Likewise.
1709         (trans_class_vptr_len_assignment): Build const of correct type.
1710         (gfc_trans_pointer_assignment): Likewise.
1711         (alloc_scalar_allocatable_for_assignment): fold_convert to right
1712         type in expr.
1713         (trans_class_assignment): Build const of correct type.
1714         * trans-intrinsic.c (gfc_conv_associated): Likewise.
1715         (gfc_conv_intrinsic_repeat): Do calculation in sizetype.
1716         * trans-io.c (gfc_build_io_library_fndecls): Use
1717         gfc_charlen_type_node for character lengths.
1718         (set_string): Convert to right type in assignment.
1719         * trans-stmt.c (gfc_trans_label_assign): Build const of
1720         gfc_charlen_type_node.
1721         (trans_associate_var): Likewise.
1722         (gfc_trans_character_select): Likewise.
1723         (gfc_trans_allocate): Likewise, don't typecast strlen result.
1724         (gfc_trans_deallocate): Don't typecast strlen result.
1725         * trans-types.c (gfc_size_kind): New variable.
1726         (gfc_init_types): Determine gfc_charlen_int_kind and gfc_size_kind
1727         from size_type_node.
1728         * trans-types.h: Fix comment.
1729
1730 2018-01-04  Thomas Koenig  <tkoenig@gcc.gnu.org>
1731
1732         PR fortran/83683
1733         PR fortran/45689
1734         * check.c (gfc_check_eoshift): Check for string length and
1735         for conformance of boundary.
1736         * intrinsic.c (add_functions): Add gfc_simplify_eoshift.
1737         * intrinsic.h: Add prototype for gfc_simplify_eoshift.
1738         * simplify.c (gfc_simplify_eoshift): New function.
1739
1740 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
1741             Alan Hayward  <alan.hayward@arm.com>
1742             David Sherwood  <david.sherwood@arm.com>
1743
1744         * trans-types.c (gfc_type_for_mode): Handle MODE_VECTOR_BOOL.
1745
1746 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
1747             Alan Hayward  <alan.hayward@arm.com>
1748             David Sherwood  <david.sherwood@arm.com>
1749
1750         * trans-types.c (gfc_type_for_mode): Check valid_vector_subparts_p.
1751
1752 2018-01-03  Thomas Koenig  <tkoenig@gcc.gnu.org>
1753
1754         PR fortran/83664
1755         * check.c (gfc_check_eoshift): Error for missing boundary if array
1756         is not one of the standard types.
1757
1758 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
1759
1760         Update copyright years.
1761
1762         * gfortranspec.c (lang_specific_driver): Update copyright notice
1763         dates.
1764         * gfc-internals.texi: Bump @copying's copyright year.
1765         * gfortran.texi: Ditto.
1766         * intrinsic.texi: Ditto.
1767         * invoke.texi: Ditto.
1768
1769 2017-01-02  Thomas Koenig  <tkoenig@gcc.gnu.org>
1770
1771         PR fortran/45689
1772         * intrinsic.c (add_function): Add gfc_simplify_maxloc and
1773         gfc_simplify_minloc to maxloc and minloc, respectively.
1774         * intrinsic.h: Add prototypes for gfc_simplify_minloc
1775         and gfc_simplify_maxloc.
1776         * simplify.c (min_max_chose): Adjust prototype.  Modify function
1777         to have a return value which indicates if the extremum was found.
1778         (is_constant_array_expr): Fix typo in comment.
1779         (simplify_minmaxloc_to_scalar): New function.
1780         (simplify_minmaxloc_nodim): New function.
1781         (new_array): New function.
1782         (simplify_minmaxloc_to_array): New function.
1783         (gfc_simplify_minmaxloc): New function.
1784         (simplify_minloc): New function.
1785         (simplify_maxloc): New function.
1786
1787 2018-01-02  Thomas Koenig  <tkoenig@gcc.gnu.org>
1788
1789         PR fortran/45689
1790         PR fortran/83650
1791         * simplify.c (gfc_simplify_cshift): Re-implement to allow full
1792         range of arguments.
1793
1794 2018-01-01  Paul Thomas  <pault@gcc.gnu.org>
1795
1796         PR fortran/83076
1797         * resolve.c (resolve_fl_derived0): Add caf_token fields for
1798         allocatable and pointer scalars, when -fcoarray selected.
1799         * trans-types.c (gfc_copy_dt_decls_ifequal): Copy the token
1800         field as well as the backend_decl.
1801         (gfc_get_derived_type): Flag GFC_FCOARRAY_LIB for module
1802         derived types that are not vtypes. Components with caf_token
1803         attribute are pvoid types. For a component requiring it, find
1804         the caf_token field and have the component token field point to
1805         its backend_decl.
1806
1807         PR fortran/83319
1808         *trans-types.c (gfc_get_array_descriptor_base): Add the token
1809         field to the descriptor even when codimen not set.
1810 \f
1811 Copyright (C) 2018 Free Software Foundation, Inc.
1812
1813 Copying and distribution of this file, with or without modification,
1814 are permitted in any medium without royalty provided the copyright
1815 notice and this notice are preserved.