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