1 2017-11-05 Paul Thomas <pault@gcc.gnu.org>
5 * resolve.c (resolve_component): There is no need to resolve
6 the components of a use associated vtype.
7 (resolve_fl_derived): Unconditionally generate a vtable for any
8 module derived type, as long as the standard is F2003 or later
9 and it is not a vtype or a PDT template.
11 2017-11-05 Tom de Vries <tom@codesourcery.com>
14 * parse.c (match, matcha, matchs, matcho, matchds, matchdo): Remove
15 semicolon after "do {} while (0)".
17 2017-11-04 Andre Vehreschild <vehre@gcc.gnu.org>
19 * trans-expr.c (gfc_trans_assignment_1): Character kind conversion may
20 create a loop variant temporary, too.
21 * trans-intrinsic.c (conv_caf_send): Treat char arrays as arrays and
23 * trans.c (get_array_span): Take the character kind into account when
24 doing pointer arithmetic.
26 2017-11-04 Thomas Koenig <tkoenig@gcc.gnu.org>
29 * gfortran.h (gfc_check_f): Replace fm3l with fm4l.
30 * intrinsic.h (gfc_resolve_maxloc): Add gfc_expr * to argument
32 (gfc_resolve_minloc): Likewise.
33 * check.c (gfc_check_minloc_maxloc): Handle kind argument.
34 * intrinsic.c (add_sym_3_ml): Rename to
35 (add_sym_4_ml): and handle kind argument.
36 (add_function): Replace add_sym_3ml with add_sym_4ml and add
37 extra arguments for maxloc and minloc.
38 (check_specific): Change use of check.f3ml with check.f4ml.
39 * iresolve.c (gfc_resolve_maxloc): Handle kind argument. If
40 the kind is smaller than the smallest library version available,
41 use gfc_default_integer_kind and convert afterwards.
42 (gfc_resolve_minloc): Likewise.
44 2017-11-04 Paul Thomas <pault@gcc.gnu.org>
47 * trans-decl.c (gfc_trans_deferred_vars): Do a better job of a
48 case where 'tmp' was used unititialized and remove TODO.
50 2017-11-03 Steven G. Kargl <kargl@gcc.gnu.org>
53 * resolve.c (resolve_equivalence): An entity in a common block within
54 a module cannot appear in an equivalence statement if the entity is
55 with a pure procedure.
57 2017-10-31 Jim Wilson <wilson@tuliptree.org>
59 * parse.c (unexpected_eof): Call gcc_unreachable before return.
61 2017-10-30 Paul Thomas <pault@gcc.gnu.org>
64 * trans_expr.c (gfc_conv_procedure_call): When passing a class
65 argument to an unlimited polymorphic dummy, it is wrong to cast
66 the passed expression as unlimited, unless it is unlimited. The
67 correct way is to assign to each of the fields and set the _len
70 2017-10-30 Steven G. Kargl <kargl@gcc.gnu.org>
72 * resolve.c (resolve_transfer): Set derived to correct symbol for
75 2017-10-29 Jim Wilson <wilson@tuliptree.org>
77 * invoke.texi: Delete adb and sdb references.
79 2017-10-28 Andre Vehreschild <vehre@gcc.gnu.org>
81 * check.c (gfc_check_co_reduce): Clarify error message.
83 2017-10-28 Paul Thomas <pault@gcc.gnu.org>
86 * trans-expr.c (trans_class_vptr_len_assignment): 'vptr_expr'
87 must only be set if the right hand side expression is of type
90 2017-10-27 Steven G. Kargl <kargl@gcc.gnu.org>
93 * match.c (gfc_match_allocate): Exit early on syntax error.
95 2017-10-27 Thomas Koenig <tkoenig@gcc.gnu.org>
98 * simplify.c (is_constant_array_expr): If the expression is
99 a parameter array, call gfc_simplify_expr.
101 2017-10-25 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
103 * match.c (gfc_match_type_is): Fix typo in error message.
105 2017-10-21 Paul Thomas <pault@gcc.gnu.org>
108 * decl.c (gfc_get_pdt_instance): Remove the error message that
109 the parameter does not have a corresponding component since
110 this is now taken care of when the derived type is resolved. Go
111 straight to error return instead.
112 (gfc_match_formal_arglist): Make the PDT relevant errors
113 immediate so that parsing of the derived type can continue.
114 (gfc_match_derived_decl): Do not check the match status on
115 return from gfc_match_formal_arglist for the same reason.
116 * resolve.c (resolve_fl_derived0): Check that each type
117 parameter has a corresponding component.
120 * resolve.c (resolve_generic_f): Check that the derived type
121 can be used before resolving the struture constructor.
124 * symbol.c (check_conflict): Add the conflicts involving PDT
125 KIND and LEN attributes.
127 2017-10-19 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
129 * interface.c (check_sym_interfaces, check_uop_interfaces,
130 gfc_check_interfaces): Base interface_name buffer off
133 2017-10-19 Jakub Jelinek <jakub@redhat.com>
136 * gfortran.h (gfc_resolve_do_iterator): Add a bool arg.
137 (gfc_resolve_omp_local_vars): New declaration.
138 * openmp.c (omp_current_ctx): Make static.
139 (gfc_resolve_omp_parallel_blocks): Handle EXEC_OMP_TASKLOOP
140 and EXEC_OMP_TASKLOOP_SIMD.
141 (gfc_resolve_do_iterator): Add ADD_CLAUSE argument, if false,
142 don't actually add any clause. Move omp_current_ctx test
144 (handle_local_var, gfc_resolve_omp_local_vars): New functions.
145 * resolve.c (gfc_resolve_code): Call gfc_resolve_omp_parallel_blocks
146 instead of just gfc_resolve_omp_do_blocks for EXEC_OMP_TASKLOOP
147 and EXEC_OMP_TASKLOOP_SIMD.
148 (gfc_resolve_code): Adjust gfc_resolve_do_iterator caller.
149 (resolve_codes): Call gfc_resolve_omp_local_vars.
151 2017-10-19 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
153 * gfortran.h (gfc_lookup_function_fuzzy): New declaration.
154 (gfc_closest_fuzzy_match): New declaration.
155 (vec_push): New definition.
156 * misc.c (gfc_closest_fuzzy_match): New definition.
157 * resolve.c: Include spellcheck.h.
158 (lookup_function_fuzzy_find_candidates): New static function.
159 (lookup_uop_fuzzy_find_candidates): Likewise.
160 (lookup_uop_fuzzy): Likewise.
161 (resolve_operator) <INTRINSIC_USER>: Call lookup_uop_fuzzy.
162 (gfc_lookup_function_fuzzy): New definition.
163 (resolve_unknown_f): Call gfc_lookup_function_fuzzy.
164 * interface.c (check_interface0): Likewise.
165 (lookup_arg_fuzzy_find_candidates): New static function.
166 (lookup_arg_fuzzy ): Likewise.
167 (compare_actual_formal): Call lookup_arg_fuzzy.
168 * symbol.c: Include spellcheck.h.
169 (lookup_symbol_fuzzy_find_candidates): New static function.
170 (lookup_symbol_fuzzy): Likewise.
171 (gfc_set_default_type): Call lookup_symbol_fuzzy.
172 (lookup_component_fuzzy_find_candidates): New static function.
173 (lookup_component_fuzzy): Likewise.
174 (gfc_find_component): Call lookup_component_fuzzy.
176 2017-10-18 Thomas Koenig <tkoenig@gcc.gnu.org>
179 * frontend-passes.c (combine_array_constructor): If an array
180 constructor is all constants and has more elements than a small
181 constant, don't convert a*[b,c] to [a*b,a*c] to reduce compilation
184 2017-10-18 Thomas Koenig <tkoenig@gcc.gnu.org>
187 * resolve.c (resovle_symbol): Change gcc_assert to
188 sensible error message.
190 2017-10-18 Paul Thomas <pault@gcc.gnu.org>
193 * trans_decl.c (gfc_get_symbol_decl): Procedure symbols that
194 have the 'used_in_submodule' attribute should be processed by
195 'gfc_get_extern_function_decl'.
197 2017-10-16 Fritz Reese <fritzoreese@gmail.com>
200 * trans-io.c (transfer_expr): Treat BT_UNION as BT_DERIVED.
202 2017-10-15 Thomas Koenig <tkoenig@gcc.gnu.org>
205 * fortran/scanner.c (last_error_char): New global variable.
206 (gfc_scanner_init_1): Set last_error_char to NULL.
207 (gfc_gobble_whitespace): If a character not printable or
208 not newline, issue an error.
210 2017-10-13 Paul Thomas <pault@gcc.gnu.org>
213 * resolve.c (resolve_symbol): Ensure that derived type array
214 results get default initialization.
216 2017-10-11 Nathan Sidwell <nathan@acm.org>
218 * cpp.c (gfc_cpp_add_include_path): Update incpath_e names.
219 (gfc_cpp_add_include_path_after): Likewise.
221 2017-10-10 Richard Sandiford <richard.sandiford@linaro.org>
223 * target-memory.c (gfc_interpret_logical): Use wi::to_wide when
224 operating on trees as wide_ints.
225 * trans-const.c (gfc_conv_tree_to_mpz): Likewise.
226 * trans-expr.c (gfc_conv_cst_int_power): Likewise.
227 * trans-intrinsic.c (trans_this_image): Likewise.
228 (gfc_conv_intrinsic_bound): Likewise.
229 (conv_intrinsic_cobound): Likewise.
231 2017-10-08 Steven G. Kargl <kargl@gcc.gnu.org>
233 * check.c (gfc_check_x): Remove function.
234 * intrinsic.c (add_functions): Use gfc_check_fn_r.
236 2017-10-08 Paul Thomas <pault@gcc.gnu.org>
239 * module.c : Bump up MOD_VERSION to 15.
240 (mio_component): Edit comment about PDT specification list.
241 (mio_expr, mio_symbol): Include the expression and symbol PDT
242 specification lists in the same way as in mio_component.
244 2017-10-08 Thomas Koenig <tkoenig@gcc.gnu.org>
246 * dump_prase_tree (show_symbol): Output list of variables in
248 (show_code_node): Add new line for ELSE and END DO for DO
250 * invoke.texi: Document that the output of
251 -fdump-fortran-original, -fdump-fortran-optimized and
252 -fdump-parse-tree is unsable and may lead to ICEs.
254 2017-10-07 Paul Thomas <pault@gcc.gnu.org>
257 * class.c (gfc_find_derived_vtab): Return NULL for a passed
258 pdt template to prevent bad procedures from being written.
259 * decl.c (gfc_get_pdt_instance): Do not use the default
260 initializer for pointer and allocatable pdt type components. If
261 the component is allocatbale, set the 'alloc_comp' attribute of
263 * module.c : Add a prototype for 'mio_actual_arglist'. Add a
264 boolean argument 'pdt'.
265 (mio_component): Call it for the parameter list of pdt type
266 components with 'pdt' set to true.
267 (mio_actual_arg): Add the boolean 'pdt' and, if it is set, call
268 mio_integer for the 'spec_type'.
269 (mio_actual_arglist): Add the boolean 'pdt' and use it in the
270 call to mio_actual_arg.
271 (mio_expr, mio_omp_udr_expr): Call mio_actual_arglist with
273 * resolve.c (get_pdt_spec_expr): Add the parameter name to the
274 KIND parameter error.
275 (get_pdt_constructor): Check that cons->expr is non-null.
276 * trans-array.c (structure_alloc_comps): For deallocation of
277 allocatable components, ensure that parameterized components
278 are deallocated first. Likewise, when parameterized components
279 are allocated, nullify allocatable components first. Do not
280 recurse into pointer or allocatable pdt components while
281 allocating or deallocating parameterized components. Test that
282 parameterized arrays or strings are allocated before freeing
284 (gfc_trans_pointer_assignment): Call the new function. Tidy up
285 a minor whitespace issue.
286 trans-decl.c (gfc_trans_deferred_vars): Set 'tmp' to NULL_TREE
287 to prevent the expression from being used a second time.
289 2017-10-07 Thomas Koenig <tkoenig@gcc.gnu.org>
292 * expr.c (gfc_check_pointer_assign): Error
293 for non-contiguous rhs.
295 2017-10-07 Thomas Koenig <tkoenig@gcc.gnu.org>
297 * gfortran.h (async_io_dt): Add external reference.
298 * io.c (async_io_dt): Add variable.
299 (compare_to_allowed_values): Add prototyte. Add optional argument
300 num. If present, set it to the number of the entry that was
302 (check_io_constraints): If this is for an asynchronous I/O
303 statement, set async_io_dt and set the asynchronous flag for
305 * resolve.c (resolve_transfer): If async_io_dt is set, set
306 the asynchronous flag on the variable.
307 (resolve_fl_namelist): If async_io_dt is set, set the asynchronous
308 flag on all elements of the namelist.
310 2017-10-04 Paul Thomas <pault@gcc.gnu.org>
314 * resolve.c (resolve_assoc_var): Deferred character type
315 associate names must not receive an integer conatant length.
316 * symbol.c (gfc_is_associate_pointer): Deferred character
317 length functions also require an associate pointer.
318 * trans-decl.c (gfc_get_symbol_decl): Deferred character
319 length functions or derived type components require the assoc
320 name to have variable string length.
321 * trans-stmt.c (trans_associate_var): Set the string length of
322 deferred string length associate names. The address expression
323 is not needed for allocatable, pointer or dummy targets. Change
324 the comment about defered string length targets.
326 2017-10-03 Thomas Koenig <tkoenig@gcc.gnu.org>
328 * io.c (match_wait_element): Correctly match END and EOR tags.
329 * dump-parse-tree.c (show_code_node): Handle EXEC_WAIT.
331 2017-10-02 Paul Thomas <pault@gcc.gnu.org>
334 * resolve.c (gfc_resolve_code): Simplify condition for class
335 pointer assignments becoming regular assignments by asserting
336 that only class valued targets are permitted.
337 * trans-expr.c (trans_class_pointer_fcn): New function using a
338 block of code from gfc_trans_pointer_assignment.
339 (gfc_trans_pointer_assignment): Call the new function. Tidy up
340 a minor whitespace issue.
342 2017-10-01 Dominique d'Humieres <dominiq@lps.ens.fr>
345 * parse.c (gfc_global_used): Replace the gfc_internal_error
348 2017-09-29 Dominique d'Humieres <dominiq@lps.ens.fr>
351 * interface.c (compare_actual_formal): Change warnings to errors
352 when "Actual argument contains too few elements for dummy
353 argument", unless -std=legacy is used.
355 2017-09-27 Thomas Schwinge <thomas@codesourcery.com>
357 * lang.opt <Wdo-subscript>: End help text with a period.
359 2017-09-26 Thomas Koenig <tkoenig@gcc.gnu.org>
361 * frontend-passes.c (do_subscript): Don't do anything
362 if inside an associate list.
364 2017-09-25 Thomas Koenig <tkoenig@gcc.gnu.org>
366 * lang.opt: Add -Wdo-subscript.
367 * frontend-passes.c (do_t): New type.
368 (doloop_list): Use variable of do_type.
369 (if_level): Variable to track if levels.
370 (select_level): Variable to track select levels.
371 (gfc_run_passes): Initialize i_level and select_level.
372 (doloop_code): Record current level of if + select
373 level in doloop_list. Add seen_goto if there could
374 be a branch outside the loop. Use different type for
376 (doloop_function): Call do_intent and do_subscript; move
377 functionality of checking INTENT to do_intent.
378 (insert_index_t): New type, for callback_insert_index.
379 (callback_insert_index): New function.
380 (insert_index): New function.
381 (do_subscript): New function.
382 (do_intent): New function.
383 (gfc_code_walker): Keep track of if_level and select_level.
384 * invoke.texi: Document -Wdo-subscript.
386 2017-09-25 Janne Blomqvist <jb@gcc.gnu.org>
388 * trans.c (gfc_unlikely): Remove unnecessary fold_convert.
389 (gfc_likely): Likewise.
391 2017-09-24 Thomas Koenig <tkoenig@gcc.gnu.org>
392 Steven G. Kargl <kargl@gcc.gnu.org>
395 * expr.c (gfc_get_full_arrayspec_from_expr): If there is
396 no symtree, set array spec to NULL.
398 2017-09-23 Janus Weil <janus@gcc.gnu.org>
401 * lang.opt: Add the options -fdefault-real-10 and -fdefault-real-16.
402 Rename flag_default_real to flag_default_real_8.
403 * invoke.texi: Add documentation.
404 * module.c (use_iso_fortran_env_module): flag_default_real is renamed.
405 * trans-types.c (gfc_init_kinds): Implement the flags
406 -fdefault-real-10 and -fdefault-real-16. Make -fdefault-double-8 work
407 without -fdefault-real-8.
409 2017-09-21 Paul Thomas <pault@gcc.gnu.org>
412 * match.c (gfc_match_associate): Before failing the association
413 try again, allowing a proc pointer selector.
418 * primary.c (gfc_match_varspec): Introduce 'tgt_expr', which
419 points to the associate selector, if any. Go through selector
420 references, after resolution for variables, to catch any full
421 or section array references. If a class associate name does
422 not have the same declared type as the selector, resolve the
423 selector and copy the declared type to the associate name.
424 Before throwing a no implicit type error, resolve all allowed
425 selector expressions, and copy the resulting typespec.
428 * resolve.c (resolve_assoc_var): Selector must cannot be the
429 NULL expression and it must have a type.
432 * resolve.c (resolve_symbol): Allow associate names to be
435 2017-09-21 Cesar Philippidis <cesar@codesourcery.com>
437 * openmp.c (gfc_match_oacc_wait): Don't restrict wait directive
438 arguments to constant integers.
440 2017-09-17 Paul Thomas <pault@gcc.gnu.org>
443 * decl.c (gfc_get_pdt_instance): Use the component initializer
444 expression for the default, rather than the parameter value.
445 * resolve.c (resolve_pdt): New function.
446 (resolve_symbol): Call it. Remove false error, prohibiting
447 deferred type parameters for dummy arguments.
450 * primary.c (gfc_match_varspec): If the type of an associate
451 name is unknown and yet there is a match, try resolving the
452 target expression and using its type.
454 2017-09-15 Paul Thomas <pault@gcc.gnu.org>
457 trans-decl.c (gfc_trans_deferred_vars): Do not null the 'span'
458 field if the symbol is either implicitly or explicitly saved.
460 2017-09-13 Paul Thomas <pault@gcc.gnu.org>
463 * decl.c (match_char_kind): If the kind expression is
464 parameterized, save it in saved_kind_expr and set kind = 0.
465 (gfc_get_pdt_instance): Resolve and simplify before emitting
466 error on expression kind. Insert a missing simplification after
467 insertion of kind expressions.
469 2017-09-12 Paul Thomas <pault@gcc.gnu.org>
473 * decl.c (variable_decl): Check pdt template components for
474 appearance of KIND/LEN components in the type parameter name
475 list, that components corresponding to type parameters have
476 either KIND or LEN attributes and that KIND or LEN components
477 are scalar. Copy the initializer to the parameter value.
478 (gfc_get_pdt_instance): Add a label 'error_return' and follow
479 it with repeated code, while replacing this code with a jump.
480 Check if a parameter appears as a component in the template.
481 Make sure that the parameter expressions are integer. Validate
483 (gfc_match_decl_type_spec): Search for pdt_types in the parent
484 namespace since they are instantiated in the template ns.
485 * expr.c (gfc_extract_int): Use a KIND parameter if it
486 appears as a component expression.
487 (gfc_check_init_expr): Allow expressions with the pdt_kind
489 *primary.c (gfc_match_actual_arglist): Make sure that the first
490 keyword argument is recognised when 'pdt' is set.
492 2017-09-10 Paul Thomas <pault@gcc.gnu.org>
500 * expr.c (is_subref_array): Add class pointer array dummies
501 to the list of expressions that return true.
502 * trans-array.c: Add SPAN_FIELD and update indices for
504 (gfc_conv_descriptor_span, gfc_conv_descriptor_span_get,
505 gfc_conv_descriptor_span_set, is_pointer_array,
506 get_array_span): New functions.
507 (gfc_get_descriptor_offsets_for_info): New function to preserve
508 API for access to descriptor fields for trans-types.c.
509 (gfc_conv_scalarized_array_ref): If the expression is a subref
510 array, make sure that info->descriptor is a descriptor type.
511 Otherwise, if info->descriptor is a pointer array, set 'decl'
512 and fix it if it is a component reference.
513 (build_array_ref): Simplify handling of class array refs by
514 passing the vptr to gfc_build_array_ref rather than generating
515 the pointer arithmetic in this function.
516 (gfc_conv_array_ref): As in gfc_conv_scalarized_array_ref, set
518 (gfc_array_allocate): Set the span field if this is a pointer
519 array. Use the expr3 element size if it is available, so that
520 the dynamic type element size is used.
521 (gfc_conv_expr_descriptor): Set the span field for pointer
523 * trans-array.h: Prototypes for gfc_conv_descriptor_span_get
524 gfc_conv_descriptor_span_set and
525 gfc_get_descriptor_offsets_for_info added.
526 trans-decl.c (gfc_get_symbol_decl): If a non-class pointer
527 array, mark the declaration as a GFC_DECL_PTR_ARRAY_P. Remove
528 the setting of GFC_DECL_SPAN.
529 (gfc_trans_deferred_vars): Set the span field to zero in thge
531 * trans-expr.c (gfc_conv_procedure_call): Do not use copy-in/
532 copy-out to pass subref expressions to a pointer dummy.
533 (gfc_trans_pointer_assignment): Remove code for setting of
534 GFC_DECL_SPAN. Set the 'span' field for non-class pointers to
535 class function results. Likewise for rank remap. In the case
536 that the target is not a whole array, use the target array ref
537 for remap and, since the 'start' indices are missing, set the
538 lbounds to one, as required by the standard.
539 * trans-intrinsic.c (conv_expr_ref_to_caf_ref): Pick up the
540 'token' offset from the field decl in the descriptor.
541 (conv_isocbinding_subroutine): Set the 'span' field.
542 * trans-io.c (gfc_trans_transfer): Always scalarize pointer
544 * trans-stmt.c (trans_associate_var): Set the 'span' field.
545 * trans-types.c (gfc_get_array_descriptor_base): Add the 'span'
546 field to the array descriptor.
547 (gfc_get_derived_type): Pointer array components are marked as
548 GFC_DECL_PTR_ARRAY_P.
549 (gfc_get_array_descr_info): Replaced API breaking code for
550 descriptor offset calling gfc_get_descriptor_offsets_for_info.
551 * trans.c (get_array_span): New function.
552 (gfc_build_array_ref): Simplify by calling get_array_span and
553 obtain 'span' if 'decl' or 'vptr' present.
554 * trans.h : Rename DECL_LANG_FLAG_6, GFC_DECL_SUBREF_ARRAY_P,
555 as GFC_DECL_PTR_ARRAY_P.
557 2017-09-09 Paul Thomas <pault@gcc.gnu.org>
559 * decl.c : Add decl_type_param_list, type_param_spec_list as
560 static variables to hold PDT spec lists.
561 (build_sym): Copy 'type_param_spec_list' to symbol spec_list.
562 (build_struct): Copy the 'saved_kind_expr' to the component
563 'kind_expr'. Check that KIND or LEN components appear in the
564 decl_type_param_list. These should appear as symbols in the
565 f2k_derived namespace. If the component is itself a PDT type,
566 copy the decl_type_param_list to the component param_list.
567 (gfc_match_kind_spec): If the KIND expression is parameterized
568 set KIND to zero and store the expression in 'saved_kind_expr'.
569 (insert_parameter_exprs): New function.
570 (gfc_insert_kind_parameter_exprs): New function.
571 (gfc_insert_parameter_exprs): New function.
572 (gfc_get_pdt_instance): New function.
573 (gfc_match_decl_type_spec): Match the decl_type_spec_list if it
574 is present. If it is, call 'gfc_get_pdt_instance' to obtain the
575 specific instance of the PDT.
576 (match_attr_spec): Match KIND and LEN attributes. Check for the
577 standard and for type/kind of the parameter. They are also not
578 allowed outside a derived type definition.
579 (gfc_match_data_decl): Null the decl_type_param_list and the
580 type_param_spec_list on entry and free them on exit.
581 (gfc_match_formal_arglist): If 'typeparam' is true, add the
582 formal symbol to the f2k_derived namespace.
583 (gfc_match_derived_decl): Register the decl_type_param_list
584 if this is a PDT. If this is a type extension, gather up all
585 the type parameters and put them in the right order.
586 *dump-parse-tree.c (show_attr): Signal PDT templates and the
587 parameter attributes.
588 (show_components): Output parameter atrributes and component
590 (show_symbol): Show variable parameter lists.
591 * expr.c (expr.c): Copy the expression parameter list.
592 (gfc_is_constant_expr): Pass on symbols representing PDT
594 (gfc_check_init_expr): Break on PDT KIND parameters and
595 PDT parameter expressions.
596 (gfc_check_assign): Assigning to KIND or LEN components is an
598 (derived_parameter_expr): New function.
599 (gfc_derived_parameter_expr): New function.
600 (gfc_spec_list_type): New function.
601 * gfortran.h : Add enum gfc_param_spec_type. Add the PDT attrs
602 to the structure symbol_attr. Add the 'kind_expr' and
603 'param_list' field to the gfc_component structure. Comment on
604 the reuse of the gfc_actual_arglist structure as storage for
605 type parameter spec lists. Add the new field 'spec_type' to
606 this structure. Add 'param_list' fields to gfc_symbol and
607 gfc_expr. Add prototypes for gfc_insert_kind_parameter_exprs,
608 gfc_insert_parameter_exprs, gfc_add_kind, gfc_add_len,
609 gfc_derived_parameter_expr and gfc_spec_list_type.
610 * interface.c (gfc_compare_derived_types): Treat PDTs in the
611 same way as sequence types.
612 * match.c : Add variable 'type_param_spec_list'.
613 (gfc_op2string, gfc_match_member_sep, gfc_match_label): Remove
615 (match_derived_type_spec): Match PDTs and find specific
617 (gfc_match_type_spec): Remove more trailing whitespace.
618 (gfc_match_allocate): Assumed or deferred parameters cannot
619 appear here. Copy the type parameter spec list to the expr for
620 the allocatable entity. Free 'type_param_spec_list'.
621 (gfc_match_common, gfc_match_namelist, gfc_match_module): Still
622 more trailing whitespace to remove.
623 (gfc_match_type_is): Allow PDT typespecs.
624 * match.h : Modify prototypes for gfc_match_formal_arglist and
625 gfc_match_actual_arglist.
626 * module.c (ab_attribute, mstring attr_bits): PDT attributes
628 (mio_symbol_attribute): PDT attributes handled.
629 (mio_component): Deal with 'kind_expr' field.
630 (mio_full_f2k_derived): For PDT templates, transfer the formal
631 namespace symroot to the f2k_derived namespace.
632 *primary.c (match_keyword_arg, gfc_match_actual_arglist): Add
633 modifications to handle PDT spec lists. These are flagged in
634 both cases by new boolean arguments, whose prototype defaults
636 (gfc_match_structure_constructor, match_variable): Remove yet
637 more trailing whitespace.
638 * resolve.c (get_pdt_spec_expr, get_pdt_constructor): New
640 (resolve_structure_cons): If the constructor is a PDT template,
641 call get_pdt_constructor to build it using the parameter lists
642 and then get the specific instance of the PDT.
643 (resolve_component): PDT strings need a hidden string length
644 component like deferred characters.
645 (resolve_symbol): Dummy PDTs cannot have deferred parameters.
646 * symbol.c (gfc_add_kind, gfc_add_len): New functions.
647 (free_components): Free 'kind_expr' and 'param_list' fields.
648 (gfc_free_symbol): Free the 'param_list' field.
649 (gfc_find_sym_tree): If the current state is a PDT template,
650 look for the symtree in the f2k_derived namspaces.
651 trans-array.c (structure_alloc_comps): Allocate and deallocate
652 PDTs. Check dummy arguments for compliance of LEN parameters.
653 Add the new functions to the preceeding enum.
654 (gfc_allocate_pdt_comp, gfc_deallocate_pdt_comp and
655 gfc_check_pdt_dummy): New functions calling above.
656 * trans-array.h : Add prototypes for these functions.
657 trans-decl.c (gfc_get_symbol_decl): Call gfc_defer_symbol_init
658 as appropriate for PDT symbols.
659 (gfc_trans_deferred_vars): Allocate/deallocate PDT entities as
660 they come into and out of scope. Exclude pdt_types from being
662 (gfc_trans_subcomponent_assign): PDT array components must be
663 handles as if they are allocatable.
664 * trans-stmt.c (gfc_trans_allocate): Handle initialization of
666 (gfc_trans_deallocate): Likewise.
667 * trans-types.c (gfc_get_derived_type): PDT templates must not
668 arrive here. PDT string components are handles as if deferred.
669 Similarly, PDT arrays are treated as if allocatable. PDT
670 strings are pointer types.
671 * trans.c (gfc_deferred_strlen): Handle PDT strings in the same
672 way as deferred characters.
674 2017-09-01 Jakub Jelinek <jakub@redhat.com>
677 * parse.c (decode_omp_directive): Use matchs instead of matcho for
678 end ordered and ordered directives, except for ordered depend. For
679 -fopenmp-simd and ordered depend, reject the stmt.
680 * trans-openmp.c (gfc_trans_omp_ordered): For -fopenmp-simd ignore
681 threads clause and if simd clause isn't present, just translate the
684 2017-08-30 Richard Sandiford <richard.sandiford@linaro.org>
685 Alan Hayward <alan.hayward@arm.com>
686 David Sherwood <david.sherwood@arm.com>
688 * trans-types.c (gfc_init_kinds): Use opt_scalar_int_mode for
691 2017-08-30 Richard Sandiford <richard.sandiford@linaro.org>
692 Alan Hayward <alan.hayward@arm.com>
693 David Sherwood <david.sherwood@arm.com>
695 * target-memory.c (size_integer): Use SCALAR_INT_TYPE_MODE.
696 (size_logical): Likewise.
698 2017-08-30 Richard Sandiford <richard.sandiford@linaro.org>
699 Alan Hayward <alan.hayward@arm.com>
700 David Sherwood <david.sherwood@arm.com>
702 * trans-types.c (gfc_type_for_mode): Use is_a <scalar_int_mode>.
704 2017-08-30 Richard Sandiford <richard.sandiford@linaro.org>
705 Alan Hayward <alan.hayward@arm.com>
706 David Sherwood <david.sherwood@arm.com>
708 * trans-types.c (gfc_init_kinds): Use opt_scalar_float_mode
709 and FOR_EACH_MODE_IN_CLASS.
711 2017-08-30 Richard Sandiford <richard.sandiford@linaro.org>
712 Alan Hayward <alan.hayward@arm.com>
713 David Sherwood <david.sherwood@arm.com>
715 * target-memory.c (size_float): Use SCALAR_FLOAT_TYPE_MODE
716 instead of TYPE_MODE.
718 2017-08-30 Richard Sandiford <richard.sandiford@linaro.org>
719 Alan Hayward <alan.hayward@arm.com>
720 David Sherwood <david.sherwood@arm.com>
722 * trans-types.c (gfc_init_kinds): Use machine_mode instead of int
725 2017-08-28 Janus Weil <janus@gcc.gnu.org>
728 * expr.c (gfc_check_pointer_assign): Improve the check whether pointer
729 may outlive pointer target.
731 2017-08-27 Thomas Koenig <tkoenig@gcc.gnu.org>
734 * frontend-passes (inline_matumul_assign): Explicity
735 set typespec for call to CONJG.
737 2017-08-21 Jerry DeLisle <jvdelisle@gcc.gnu.org>
740 * trans-io.c (get_dtio_proc): Add check for format label and set
741 formatted flag accordingly. Reorganize the code a little.
743 2017-08-16 Thomas Koenig <tkoenig@gcc.gnu.org>
746 * frontend-passes.c (realloc_string_callback): If expression is a
747 concatenation, also check for dependency.
748 (constant_string_length): Check for presence of symtree.
750 2017-08-13 Thomas Koenig <tkoenig@gcc.gnu.org>
752 * gfortran.texi: Document format of unformatted sequential files.
754 2017-08-11 Thomas Koenig <tkoenig@gcc.gnu.org>
756 * invoke.texi: Actually commit change about -Ofast.
758 2017-08-11 Thomas Koenig <tkoenig@gcc.gnu.org>
761 * resolve.c (resolve_symbol): Adjust (and reformat)
762 comment. Perform check if a BIND(C) is declared
763 at module level regardless of whether it is typed
766 2017-08-10 Fritz Reese <fritzoreese@gmail.com>
768 * options.c (set_dec_flags): Only set legacy standards when value
771 2017-08-10 Fritz Reese <fritzoreese@gmail.com>
773 * options.c (set_dec_flags, gfc_post_options): Only set flag_d_lines
774 with -fdec when not set by user.
776 2017-08-10 Fritz Reese <fritzoreese@gmail.com>
778 * decl.c (attr_seen): New static variable.
779 * decl.c (variable_decl): Match %FILL in STRUCTURE body.
780 * gfortran.texi: Update documentation.
782 2017-08-08 Martin Liska <mliska@suse.cz>
784 * trans-types.c: Include header files.
786 2017-08-07 Thomas Koenig <tkoenig@gcc.gnu.org>
790 * options.c: Make -Ofast honor -fmax-stack-var-size.
791 * invoke.texi: Document change.
793 2017-08-01 Thomas König <tkoenig@gcc.gnu.org>
796 * intrisic.c (gfc_convert_type_warn): Only set typespec for
797 empty array constructors which don't have it already.
799 2017-08-01 Thomas Koenig <tkoenig@gcc.gnu.org>
802 * lang.opt (fc-prototypes): Add option.
803 * gfortran.h (gfc_typespec): Add interop_kind to struct.
804 (gfc_dump_c_prototypes): Add prototype.
805 * decl.c (gfc_match_kind_spec): Copy symbol used for kind to typespec.
806 * parse.c (gfc_parse_file): Call gfc_dump_prototypes.
807 * dump-parse-tree.c (gfc_dump_c_prototypes): New function.
808 (type_return): New enum.
809 (get_c_type_name): New function.
810 (write_decl): New function.
811 (write_type): New function.
812 (write_variable): New function.
813 (write_proc): New function.
814 (write_interop_decl): New function.
815 * invoke.texi: Document -fc-prototypes.
817 2017-08-01 Dominique d'Humieres <dominiq@lps.ens.fr>
820 * expr.c (gfc_check_init_expr): Use the renamed name.
822 2017-07-31 Jakub Jelinek <jakub@redhat.com>
824 * check.c (gfc_check_num_images): Fix a pasto.
826 2017-07-29 Jakub Jelinek <jakub@redhat.com>
828 * trans-decl.c (gfc_trans_use_stmts): Pass false as new argument to
829 the imported_module_or_decl debug hook.
831 2017-07-28 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
833 * resolve.c (find_reachable_labels): Adjust.
835 2017-07-25 Jakub Jelinek <jakub@redhat.com>
837 * ioparm.def: Use 1U << 31 instead of 1 << 31 as flags2 mask.
839 2017-07-24 Thomas Koenig <tkoenig@gcc.gnu.org>
841 * dump-parse-tree.c (show_symbol): Show binding label if present.
843 2017-07-24 Thomas Koenig <tkoenig@gcc.gnu.org>
844 Mikael Morin <mikael@gcc.gnu.org>
847 * fortran/trans-array.c (gfc_conv_resolve_dependencies):
848 Break if dependency has been found.
850 2017-07-23 Alexander Monakov <amonakov@ispras.ru>
852 * interface.c (pair_cmp): Fix gfc_symbol comparison. Adjust comment.
854 2017-07-18 Nathan Sidwell <nathan@acm.org>
856 * trans.c (gfc_build_array_ref): Use TYPE_MAX_VALUE.
858 2017-07-09 Dominique d'Humieres <dominiq@lps.ens.fr>
861 * class.c (class_array_ref_detected): Remove a redundant
864 2017-07-06 Harald Anlauf <anlauf@gmx.de>
867 * array.c (gfc_ref_dimen_size): Handle bad subscript triplets.
869 2017-07-03 Dominique d'Humieres <dominiq@lps.ens.fr>
872 * resolve.c (resolve_symbol): Fix typo.
874 2017-07-03 Dominique d'Humieres <dominiq@lps.ens.fr>
877 * symbol.c (check_conflict): Add missing "conflicts".
879 2017-06-29 Cesar Philippidis <cesar@codesourcery.com>
882 * openmp.c (gfc_match_oacc_routine): Check if proc_name exist before
883 comparing the routine name against it.
885 2017-06-27 Jerry DeLisle <jvdelisle@gcc.gnu.org>
888 * trans-stmt.c (gfc_trans_call): If no code expr, use code->loc
889 as warning/error locus.
891 2017-06-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
894 * arith.c (wprecision_int_real): Set return value before
895 mpz_clear and then return after it.
897 2017-06-15 Janus Weil <janus@gcc.gnu.org>
900 * trans-expr.c (gfc_conv_procedure_call): Deallocate the result of
901 scalar allocatable procedure-pointer components.
903 2017-06-10 Thomas Koenig <tkoenig@gcc.gnu.org>
906 * frontend-passes.c (traverse_io_block): Also
907 check for variables occurring as indices multiple
908 time in a single implied DO loop.
910 2017-06-05 Janus Weil <janus@gcc.gnu.org>
913 * trans-expr.c (gfc_conv_procedure_call): Fix detection of allocatable
916 2017-06-05 Nicolas Koenig <koenigni@student.ethz.ch>
919 * frontend-passes.c (traverse_io_block): New function.
920 (simplify_io_impl_do): New function.
921 (optimize_namespace): Invoke gfc_code_walker with
924 2017-06-02 Jakub Jelinek <jakub@redhat.com>
927 * openmp.c (resolve_omp_clauses): Fix a typo.
929 2017-05-30 David Malcolm <dmalcolm@redhat.com>
931 * error.c (gfc_format_decoder): Update for new bool and
932 const char ** params.
934 2017-05-29 Thomas Koenig <tkoenig@gcc.gnu.org>
937 * frontend-passes.c (check_conjg_transpose_variable):
939 (has_dimen_vector_ref): Likewise
940 (matmul_temp_args): New function. Add prototype.
941 (optimize_namespace): Call matmul_temp_args.
943 2017-05-28 Thomas Koenig <tkoenig@gcc.gnu.org>
945 * frontend-passes.c (matmul_lhs_realloc): Correct
946 allocation size for case A1B2.
948 2017-05-25 Thomas Koenig <tkoenig@gcc.gnu.org>
950 * dump-parse-tree.c (show_expr): Also replace
951 with dumpfile for showing values for forgotten
954 2017-05-24 Thomas Koenig <tkoenig@gcc.gnu.org>
956 * dump-parse-tree.c (show_expr): Replace stdout
957 with dumpfile for showing values.
959 2017-05-24 Thomas Koenig <tkoenig@gcc.gnu.org>
962 * frontend-passes.c (matrix_case): Add A2TB2.
963 (inline_limit_check): Handle MATMUL(TRANSPOSE(A),B)
964 (inline_matmul_assign): Likewise.
966 2017-05-23 Thomas Schwinge <thomas@codesourcery.com>
968 * openmp.c (OACC_KERNELS_CLAUSES): Add "OMP_CLAUSE_NUM_GANGS",
969 "OMP_CLAUSE_NUM_WORKERS", "OMP_CLAUSE_VECTOR_LENGTH".
971 2017-05-22 Janus Weil <janus@gcc.gnu.org>
974 * resolve.c (resolve_fl_derived): Make sure that vtype symbols are
977 2017-05-19 Paul Thomas <pault@gcc.gnu.org>
980 * trans-io.c (nml_get_addr_expr): If we are dealing with class
981 type data set tmp tree to get that address.
982 (transfer_namelist_element): Set the array spec to point to the
985 2017-05-19 David Malcolm <dmalcolm@redhat.com>
988 * bbt.c (insert): Remove trailing exclamation mark from message.
989 * decl.c (gfc_match_final_decl): Likewise.
990 * dump-parse-tree.c (show_expr): Likewise.
991 * module.c (gfc_use_module): Likewise.
992 * primary.c (build_actual_constructor): Likewise.
993 (gfc_convert_to_structure_constructor): Likewise.
995 2017-05-19 Thomas Schwinge <thomas@codesourcery.com>
997 * gfortran.h (enum gfc_omp_default_sharing): Add
998 "OMP_DEFAULT_PRESENT".
999 * dump-parse-tree.c (show_omp_clauses): Handle it.
1000 * openmp.c (gfc_match_omp_clauses): Likewise.
1001 * trans-openmp.c (gfc_trans_omp_clauses): Likewise.
1003 2017-05-18 Fritz Reese <fritzoreese@gmail.com>
1006 * decl.c (match_attr_spec, gfc_match_automatic,
1007 gfc_match_static, gfc_match_structure_decl): Unify diagnostic
1008 errors regarding -fdec options.
1009 * io.c (match_dec_etag, match_dec_vtag, match_dec_ftag): Ditto.
1011 2017-05-17 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1014 * trans-io.c (transfer_namelist_element): Change check from
1015 NULL_TREE to null_pointer_node.
1017 2017-05-17 Fritz Reese <fritzoreese@gmail.com>
1020 * expr.c (component_initializer): Don't generate initializers for
1022 * invoke.texi (-finit-derived): Document.
1024 2017-05-16 Paul Thomas <pault@gcc.gnu.org>
1027 * decl.c (build_sym): In a submodule allow overriding of host
1028 associated symbols from the ancestor module with a new
1031 2017-05-15 Steven G. Kargl <kargl@gcc.gnu.org>
1034 * trans-stmt.c (gfc_trans_integer_select): Remove redundant condition.
1036 2017-05-15 Steven G. Kargl <kargl@gcc.gnu.org>
1039 * expr.c (gfc_generate_initializer): If type conversion fails,
1040 check for error and return NULL.
1042 2017-05-14 Nicolas Koenig <koenigni@student.ethz.ch>
1045 * array.c (gfc_ref_dimen_size): Simplify stride
1047 * data.c (gfc_advance_section): Simplify start,
1048 end and stride expressions
1049 (gfc_advance_section): Simplify start and end
1051 (gfc_get_section_index): Simplify start expression
1053 2017-05-13 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1055 * io.c (gfc_resolve_dt): Fix returns to bool type.
1057 2017-05-11 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1060 * io.c (dtio_procs_present): Add new function to check for DTIO
1061 procedures relative to I/O statement READ or WRITE.
1062 (gfc_resolve_dt): Add namelist checks using the new function.
1063 * resolve.c (dtio_procs_present): Remove function and related
1064 namelist checks. (resolve_fl_namelist): Add check specific to
1065 Fortran 95 restriction on namelist objects.
1067 2017-05-11 Nathan Sidwell <nathan@acm.org>
1069 * trans-decl.c: Include dumpfile.h not tree-dump.h,
1071 2017-05-09 Janus Weil <janus@gcc.gnu.org>
1074 * resolve.c (gfc_resolve_finalizers): Ensure that derived-type
1075 components have a their finalizers resolved, also if the superordinate
1076 type itself has a finalizer.
1078 2017-05-08 Thomas Koenig <tkoenig@gcc.gnu.org>
1081 * frontend-passes.c (matmul_to_var_expr): New function,
1083 (matmul_to_var_code): Likewise.
1084 (optimize_namespace): Use them from gfc_code_walker.
1086 2017-05-05 David Malcolm <dmalcolm@redhat.com>
1088 * cpp.c (cb_cpp_error): Replace report_diagnostic
1089 with diagnostic_report_diagnostic.
1090 * error.c (gfc_warning): Likewise.
1091 (gfc_warning_now_at): Likewise.
1092 (gfc_warning_now): Likewise.
1093 (gfc_warning_internal): Likewise.
1094 (gfc_error_now): Likewise.
1095 (gfc_fatal_error): Likewise.
1096 (gfc_error_opt): Likewise.
1097 (gfc_internal_error): Likewise.
1099 2017-05-01 Thomas Koenig <tkoenig@gcc.gnu.org>
1102 * frontend-passes.c (inline_matmul_assign): Also check bounds
1103 for allocatable lhs and matrix-vector-multiplication.
1105 2017-04-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1108 * io.c (format_lex): Check for '/' and set token to FMT_SLASH.
1109 (check_format): Move FMT_DT checking code to data_desc section.
1110 * module.c (gfc_match_use): Include the case of INTERFACE_DTIO.
1112 2017-04-22 Janus Weil <janus@gcc.gnu.org>
1115 * trans-types.c (gfc_conv_procedure_call): Deallocate the components
1116 of allocatable intent(out) arguments.
1118 2017-04-21 Janus Weil <janus@gcc.gnu.org>
1121 * trans-types.c (gfc_get_derived_type): Prevent an infinite loop when
1122 building a derived type that includes a procedure pointer component
1123 with a polymorphic result.
1125 2017-04-17 Paul Thomas <pault@gcc.gnu.org>
1128 * module.c (find_symtree_for_symbol): Delete.
1129 (read_module): Remove the call to the above.
1131 2017-04-14 Janus Weil <janus@gcc.gnu.org>
1134 * class.c (generate_finalization_wrapper): Give the finalization wrapper
1135 the recursive attribute.
1137 2017-04-10 Nicolas Koenig <koenigni@student.ethz.ch>
1138 Paul Thomas <pault@gcc.gnu.org>
1141 * module.c (gfc_match_submodule): Add error
1142 if function is called in the wrong state.
1144 2017-04-10 Janus Weil <janus@gcc.gnu.org>
1147 * expr.c (gfc_check_pointer_assign): Check if procedure pointer
1148 components in a pointer assignment need an explicit interface.
1150 2017-03-18 Nicolas Koenig <koenigni@student.ethz.ch>
1153 * symbol.c (gfc_delete_symtree): If there is a period in the name, ignore
1154 everything before it.
1156 2017-03-28 Janus Weil <janus@gcc.gnu.org>
1159 * trans-io.c (transfer_namelist_element): Perform a polymorphic call
1160 to a DTIO procedure if necessary.
1162 2017-03-25 Paul Thomas <pault@gcc.gnu.org>
1166 * decl.c (access_attr_decl): Remove the error for an absent
1167 generic DTIO interface and ensure that symbol has the flavor
1170 2017-03-22 Dominique d'Humieres <dominiq@lps.ens.fr>
1173 * module.c: Remove trailing period.
1175 2017-03-22 Dominique d'Humieres <dominiq@lps.ens.fr>
1178 * decl.c: Replace '%s' with %qs.
1180 * interface.c: Likewise.
1181 * match.c: Likewise.
1182 * primary.c: Likewise.
1183 * resolve.c: Likewise.
1187 * io.c: Remove trailing spaces.
1188 * match.c: Likewise.
1189 * openmp.c: Likewise.
1190 * resolve.c: Likewise.
1191 * trans-intrinsic.c: Likewise.
1194 * expr.c: Remove a double spaces.
1197 * primary.c: Remove spurious quotes around %qs.
1199 2017-03-22 Thomas Koenig <tkoenig@gcc.gnu.org>
1202 * frontend-passes.c (combine_array_constructor): Take
1203 location of new expression from constructor expression instead
1206 2017-03-20 Nicolas Koenig <koenigni@student.ethz.ch>
1209 * symbol.c (check_conflict): Report an error if an EQUIVALENCE
1212 2017-03-18 Nicolas Koenig <koenigni@student.ethz.ch>
1215 * decl.c (add_hidden_procptr_result): Fixed Refs count of the
1216 created "ppr@" symbol.
1218 2017-03-18 Paul Thomas <pault@gcc.gnu.org>
1221 * module.c (mio_symbol_attribute): Remove reset of the flag
1222 'no_module_procedures'.
1223 (check_for_module_procedures): New function. Move declaration
1224 of 'no_module_procedures' to above it.
1225 (gfc_dump_module): Traverse namespace calling new function.
1227 2017-03-18 Paul Thomas <pault@gcc.gnu.org>
1230 * symbol.c (check_conflict): A dummy procedure in a submodule,
1231 module procedure is not an error.
1232 (gfc_add_flavor): Ditto.
1234 2017-03-17 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1237 * openmp.c (check_symbol_not_pointer): Adjust diagnostics.
1239 2017-03-16 Jakub Jelinek <jakub@redhat.com>
1242 * parse.c (gfc_ascii_statement): Use !$ACC for ST_OACC_ATOMIC
1243 and ST_OACC_END_ATOMIC, instead of !ACC.
1244 * trans-decl.c (finish_oacc_declare): Use !$ACC instead of $!ACC.
1245 * openmp.c (gfc_match_oacc_declare, gfc_match_oacc_wait,
1246 gfc_resolve_oacc_declare): Likewise.
1249 * error.c (gfc_format_decoder): Rename plus argument to set_locus,
1250 remove ATTRIBUTE_UNUSED from all arguments, call default_tree_printer
1251 if not a Fortran specific spec.
1252 * trans-io.c: Include options.h.
1253 (gfc_build_st_parameter): Temporarily disable -Wpadded around layout
1254 of artificial IO data structures.
1256 2017-03-15 David Malcolm <dmalcolm@redhat.com>
1259 * resolve.c (resolve_contained_fntype): Make error messages more
1260 amenable to translation.
1262 2017-03-06 Richard Biener <rguenther@suse.de>
1265 * trans.c (gfc_add_modify_loc): Weaken assert.
1267 2017-03-05 Andre Vehreschild <vehre@gcc.gnu.org>,
1268 Alessandro Fanfarillo <fanfarillo.gcc@gmail.com>
1270 * check.c (positive_check): Add new function checking constant for
1271 being greater then zero.
1272 (gfc_check_image_status): Add checking of image_status arguments.
1273 (gfc_check_failed_or_stopped_images): Same but for failed_- and
1274 stopped_images function.
1275 * dump-parse-tree.c (show_code_node): Added output of FAIL IMAGE.
1276 * gfortran.h (enum gfc_statement): Added FAIL_IMAGE_ST.
1277 (enum gfc_isym_id): Added new intrinsic symbols.
1278 (enum gfc_exec_op): Added EXEC_FAIL_IMAGE.
1279 * gfortran.texi: Added description for the new API functions. Updated
1280 coverage of gfortran of TS18508.
1281 * intrinsic.c (add_functions): Added symbols to resolve new intrinsic
1283 * intrinsic.h: Added prototypes.
1284 * iresolve.c (gfc_resolve_failed_images): Resolve the failed_images
1286 (gfc_resolve_image_status): Same for image_status.
1287 (gfc_resolve_stopped_images): Same for stopped_images.
1288 * libgfortran.h: Added prototypes.
1289 * match.c (gfc_match_if): Added matching of FAIL IMAGE statement.
1290 (gfc_match_fail_image): Match a FAIL IMAGE statement.
1291 * match.h: Added prototype.
1292 * parse.c (decode_statement): Added matching for FAIL IMAGE.
1293 (next_statement): Same.
1294 (gfc_ascii_statement): Same.
1296 * simplify.c (gfc_simplify_failed_or_stopped_images): For COARRAY=
1297 single a constant result can be returne.d
1298 (gfc_simplify_image_status): For COARRAY=single the result is constant.
1299 * st.c (gfc_free_statement): Added FAIL_IMAGE handling.
1300 * trans-decl.c (gfc_build_builtin_function_decls): Added decls of the
1302 * trans-expr.c (gfc_conv_procedure_call): This is first time all
1303 arguments of a function are optional, which is now handled here
1305 * trans-intrinsic.c (conv_intrinsic_image_status): Translate
1307 (gfc_conv_intrinsic_function): Add support for image_status.
1308 (gfc_is_intrinsic_libcall): Add support for the remaining new
1310 * trans-stmt.c (gfc_trans_fail_image): Trans a fail image.
1311 * trans-stmt.h: Add the prototype for the above.
1312 * trans.c (trans_code): Dispatch for fail_image.
1313 * trans.h: Add the trees for the new intrinsics.
1315 2017-03-03 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1318 * openmp.c (check_symbol_not_pointer): Adjust diagnostic.
1320 2017-02-28 Paul Thomas <pault@gcc.gnu.org>
1323 * resolve.c (resolve_fl_procedure): Deal with the case where
1324 'submodule_name' is NULL so that gfc_error does not ICE.
1325 Reformat the error message to make it more consistent.
1327 2017-02-28 Jakub Jelinek <jakub@redhat.com>
1329 * parse.c (parse_critical_block): Use cond ? G_("...") : G_("...")
1330 instead of just cond ? "..." : "...".
1331 * scanner.c (gfc_next_char_literal): Likewise.
1332 * match.c (match_exit_cycle): Likewise.
1334 2017-02-26 Thomas Koenig <tkoenig@gcc.gnu.org>
1337 * options.c (gfc_post_options): Set default limit for matmul
1339 * invoke.texi: Document change.
1341 2017-02-25 Dominique d'Humieres <dominiq@lps.ens.fr>
1344 * interface.c (check_dtio_arg_TKR_intent): Change 'intent'
1347 2017-02-25 Dominique d'Humieres <dominiq@lps.ens.fr>
1350 * interface.c (gfc_match_end_interface): Remove spurious comma
1351 and space, replace 'got %s' with 'got %qs'.
1353 2017-02-20 Paul Thomas <pault@gcc.gnu.org>
1356 * interface.c (check_dtio_arg_TKR_intent): Supply 'must'
1357 missing from error message.
1359 2017-02-20 Paul Thomas <pault@gcc.gnu.org>
1362 * interface.c (gfc_find_typebound_dtio_proc): Guard test for
1363 flavor attribute by checking that symbol is resolved.
1365 2017-02-16 Paul Thomas <pault@gcc.gnu.org>
1368 * decl.c (access_attr_decl): Test for presence of generic DTIO
1369 interface and emit error if not present.
1371 2017-02-20 Paul Thomas <pault@gcc.gnu.org>
1374 * parse.c (check_component, parse_union): Whitespace.
1375 (set_syms_host_assoc): For a derived type, check if the module
1376 in which it was declared is one of the submodule ancestors. If
1377 it is, make the components public. Otherwise, reset attribute
1378 'host_assoc' and set 'use-assoc' so that encapsulation is
1381 2017-02-19 Paul Thomas <pault@gcc.gnu.org>
1384 * decl.c (gfc_set_constant_character_len): Whitespace.
1385 (gfc_match_end): Catch case where a procedure is contained in
1386 a module procedure and ensure that 'end procedure' is the
1387 correct termination.
1389 2017-02-19 Paul Thomas <pault@gcc.gnu.org>
1392 * resolve.c (fixup_unique_dummy): New function.
1393 (gfc_resolve_expr): Call it for dummy variables with a unique
1396 2017-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
1399 * trans-expr.c (gfc_trans_assignment_1): Deref indirect refs when
1400 compiling with -fcheck=mem to check the pointer and not the data.
1402 2017-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
1405 * trans-array.c (duplicate_allocatable_coarray): Ensure attributes
1406 passed are properly initialized.
1407 (structure_alloc_comps): Same.
1408 * trans-expr.c (gfc_trans_structure_assign): Same.
1410 2017-02-13 Jakub Jelinek <jakub@redhat.com>
1412 * trans-expr.c (gfc_conv_substring): Add missing space in diagnostics.
1414 2017-02-12 Thomas Koenig <tkoenig@gcc.gnu.org>
1417 * intrinsic.c (gfc_intrinsic_func_interface): Return an error
1418 for -std=f95 for disallowed transformational functions in
1419 initialization expressions.
1421 2017-02-09 Cesar Philippidis <cesar@codesourcery.com>
1422 Joseph Myers <joseph@codesourcery.com>
1424 * openmp.c (resolve_omp_clauses): Error on directives
1425 containing both tile and collapse clauses.
1426 (resolve_oacc_loop_blocks): Represent '*' tile arguments as zero.
1427 * trans-openmp.c (gfc_trans_omp_do): Lower tiled loops like
1430 2017-02-07 Steven G. Kargl <kargl@gcc.gnu.org>
1432 * trans-types.c (gfc_get_int_kind_from_width_isofortranen): Choose
1433 REAL type with the widest precision if two (or more) have the same
1436 2017-02-05 Andre Vehreschild <vehre@gcc.gnu.org>
1439 * trans-stmt.c (gfc_trans_allocate): Only deallocate the components of
1440 the temporary, when a new object was created for the temporary. Not
1441 when it is just an alias to an existing object.
1443 2017-02-05 Andre Vehreschild <vehre@gcc.gnu.org>
1446 * trans-decl.c (generate_coarray_sym_init): Retrieve the symbol's
1447 attributes before using them.
1449 2017-02-05 Andre Vehreschild <vehre@gcc.gnu.org>
1452 * trans-stmt.c (gfc_trans_allocate): Add the multiplying the _len
1453 component of unlimited polymorphic objects when source-allocating.
1455 2017-02-05 Andre Vehreschild <vehre@gcc.gnu.org>
1458 * trans-array.c (structure_alloc_comps): Ignore pointer components when
1461 2017-01-25 Maxim Ostapenko <m.ostapenko@samsung.com>
1464 * f95-lang.c (gfc_create_decls): Include stringpool.h.
1465 Pass main_input_filename to build_translation_unit_decl.
1467 2017-01-23 Thomas Koenig <tkoenig@netcologne.de>
1469 * arith.c (arith_power): If simplifying integer power expression
1470 to zero, warn if -Winteger-division is given.
1472 2017-01-22 Jakub Jelinek <jakub@redhat.com>
1475 * parse.c (matchs, matcho, matchds, matchdo): Replace return st;
1476 with { ret = st; goto finish; }.
1477 (decode_omp_directive): Allow declare simd, declare target and
1478 simd directives in PURE/ELEMENTAL procedures. Only call
1479 gfc_unset_implicit_pure on successful match of other procedures.
1481 2017-01-21 Gerald Pfeifer <gerald@pfeifer.com>
1483 * gfc-internals.texi (Symbol Versioning): Change references
1484 to www.akkadia.org to https.
1486 2017-01-21 Jakub Jelinek <jakub@redhat.com>
1488 * gfortran.h (gfc_extract_int): Change return type to bool. Add
1489 int argument with = 0.
1490 * decl.c (gfc_match_kind_spec): Adjust gfc_extract_int caller, pass
1491 1 as new last argument to it, don't emit gfc_error.
1492 (match_char_kind): Likewise.
1493 (gfc_match_decl_type_spec): Use gfc_get_string ("%s", x) instead of
1495 (gfc_match_derived_decl, match_binding_attributes): Likewise.
1496 (gfc_match_structure_decl): Don't sprintf back to name, call
1497 get_struct_decl directly with gfc_dt_upper_string (name) result.
1498 * trans-stmt.c (gfc_trans_allocate): Use gfc_get_string ("%s", x)
1499 instead of gfc_get_string (x).
1500 * module.c (gfc_dt_lower_string, gfc_dt_upper_string,
1501 gfc_match_use, gfc_match_submodule, find_true_name, mio_pool_string,
1502 mio_symtree_ref, mio_expr, mio_omp_udr_expr, load_generic_interfaces,
1503 load_omp_udrs, load_needed, read_module, dump_module,
1504 create_intrinsic_function, import_iso_c_binding_module,
1505 create_int_parameter, create_int_parameter_array, create_derived_type,
1506 use_iso_fortran_env_module): Likewise.
1507 * error.c (gfc_diagnostic_starter, gfc_diagnostic_start_span): Use
1508 pp_verbatim (context->printer, "%s", x) instead of
1509 pp_verbatim (context->printer, x).
1510 * match.c (gfc_match_small_int): Adjust gfc_extract_int caller, pass
1511 1 as new last argument to it, don't emit gfc_error.
1512 (gfc_match_small_int_expr): Likewise.
1513 * iresolve.c (gfc_get_string): Optimize format "%s" case.
1514 (resolve_bound): Use gfc_get_string ("%s", x) instead of
1516 (resolve_transformational): Formatting fix.
1517 (gfc_resolve_char_achar): Change name argument to bool is_achar,
1518 use a single format string and if is_achar add "a" before "char".
1519 (gfc_resolve_achar, gfc_resolve_char): Adjust callers.
1520 * expr.c (gfc_extract_int): Change return type to bool, return true
1521 if some error occurred. Add REPORT_ERROR argument, if non-zero
1522 call either gfc_error or gfc_error_now depending on its sign.
1523 * arith.c (arith_power): Adjust gfc_extract_int caller.
1524 * symbol.c (gfc_add_component): Use gfc_get_string ("%s", x) instead
1525 of gfc_get_string (x).
1526 (gfc_new_symtree, gfc_delete_symtree, gfc_get_uop, gfc_new_symbol,
1527 gfc_get_gsymbol, generate_isocbinding_symbol): Likewise.
1528 * openmp.c (gfc_match_omp_clauses): Adjust gfc_extract_int caller, pass
1529 -1 as new last argument to it, don't emit gfc_error_now.
1530 (gfc_match_omp_declare_reduction): Use gfc_get_string ("%s", x)
1531 instead of gfc_get_string (x).
1532 * check.c (kind_check): Adjust gfc_extract_int caller.
1533 * intrinsic.c (add_sym, find_sym, make_alias): Use
1534 gfc_get_string ("%s", x) instead of gfc_get_string (x).
1535 * simplify.c (get_kind, gfc_simplify_btest, gfc_simplify_maskr,
1536 gfc_simplify_maskl, gfc_simplify_poppar, gfc_simplify_repeat,
1537 gfc_simplify_selected_int_kind, gfc_simplify_selected_real_kind):
1538 Adjust gfc_extract_int callers.
1539 * trans-decl.c (gfc_find_module): Use gfc_get_string ("%s", x)
1540 instead of gfc_get_string (x).
1541 * matchexp.c (expression_syntax): Add const.
1542 * primary.c (match_kind_param, match_hollerith_constant,
1543 match_string_constant): Adjust gfc_extract_int callers.
1544 (match_keyword_arg): Use gfc_get_string ("%s", x) instead of
1546 * frontend-passes.c (optimize_minmaxloc): Likewise.
1548 2017-01-19 Andre Vehreschild <vehre@gcc.gnu.org>
1551 * trans-decl.c (gfc_build_qualified_array): Add static decl to parent
1552 function only, when the decl-context is not the translation unit.
1554 2017-01-18 Louis Krupp <louis.krupp@zoho.com>
1558 * trans-expr.c (gfc_conv_variable): Don't treat temporary variables
1559 as function arguments.
1560 * trans-stmt.c (forall_make_variable_temp,
1561 generate_loop_for_temp_to_lhs, gfc_trans_assign_need_temp,
1562 gfc_trans_forall_1): Don't adjust offset of forall temporary
1563 for array sections, make forall temporaries work for substring
1564 expressions, improve test coverage by adding -ftest-forall-temp
1565 option to request usage of temporary array in forall code.
1566 * lang.opt: Add -ftest-forall-temp option.
1567 * invoke.texi: Add -ftest-forall-temp option.
1569 2017-01-18 Andre Vehreschild <vehre@gcc.gnu.org>
1571 * primary.c (caf_variable_attr): Improve figuring whether the current
1572 component is the last one refed.
1573 * trans-stmt.c (gfc_trans_allocate): Do not generate sync_all calls
1574 when allocating pointer or allocatable components.
1576 2017-01-18 Andre Vehreschild <vehre@gcc.gnu.org>
1578 * gfortran.texi: Add missing parameters to caf-API functions. Correct
1579 typos and clarify some descriptions.
1581 2017-01-18 Andre Vehreschild <vehre@gcc.gnu.org>
1584 Missed some cases, here they are:
1585 * trans-decl.c (gfc_build_qualified_array): Add static tokens to the
1586 parent function's scope.
1587 * trans-expr.c (gfc_get_tree_for_caf_expr): Shorten code. Remove
1590 2017-01-13 Andre Vehreschild <vehre@gcc.gnu.org>
1593 * resolve.c (resolve_lock_unlock_event): Resolve the expression for
1594 event's until_count.
1596 2017-01-13 Andre Vehreschild <vehre@gcc.gnu.org>
1599 * trans-expr.c (gfc_get_tree_for_caf_expr): Ensure the backend_decl
1600 is valid before accessing it.
1602 2017-01-09 Jakub Jelinek <jakub@redhat.com>
1604 PR translation/79019
1605 PR translation/79020
1606 * decl.c (attr_decl1): Fix spelling in translatable string.
1607 * intrinsic.texi: Fix spelling - invokation -> invocation.
1608 * lang.opt (faggressive-function-elimination, gfc_convert): Fix
1609 typos in descriptions.
1610 * openmp.c (resolve_omp_clauses): Add missing whitespace to
1611 translatable strings.
1613 2017-01-08 Martin Sebor <msebor@redhat.com>
1615 PR tree-optimization/78913
1617 * trans-common.c (build_equiv_decl): Increase buffer size to avoid
1618 truncation for any argument.
1619 * trans-types.c (gfc_build_logical_type): Same.
1621 2017-01-07 Andre Vehreschild <vehre@gcc.gnu.org>
1625 * expr.c (gfc_check_pointer_assign): Return the same error message for
1626 rewritten coarray pointer assignments like for plain ones.
1627 * gfortran.h: Change prototype.
1628 * primary.c (caf_variable_attr): Set attributes used ones only only
1629 ones. Add setting of pointer_comp attribute.
1630 (gfc_caf_attr): Add setting of pointer_comp attribute.
1631 * trans-array.c (gfc_array_allocate): Add flag that the component to
1632 allocate is not an ultimate coarray component. Add allocation of
1634 (structure_alloc_comps): Extend nullify to treat pointer components in
1635 coarrays correctly. Restructure nullify to remove redundant code.
1636 (gfc_nullify_alloc_comp): Allow setting caf_mode flags.
1637 * trans-array.h: Change prototype of gfc_nullify_alloc_comp ().
1638 * trans-decl.c (generate_coarray_sym_init): Call nullify_alloc_comp for
1639 derived type coarrays with pointer components.
1640 * trans-expr.c (gfc_trans_structure_assign): Also treat pointer
1642 (trans_caf_token_assign): Handle assignment of token of scalar pointer
1644 (gfc_trans_pointer_assignment): Call above routine.
1645 * trans-intrinsic.c (conv_expr_ref_to_caf_ref): Add treating pointer
1647 (gfc_conv_intrinsic_caf_get): Likewise.
1648 (conv_caf_send): Likewise.
1649 * trans-stmt.c (gfc_trans_allocate): After allocating a derived type in
1650 a coarray pre-register the tokens.
1651 (gfc_trans_deallocate): Simply determining the coarray type (scalar or
1652 array) and deregistering it correctly.
1653 * trans-types.c (gfc_typenode_for_spec): Replace in_coarray flag by the
1654 actual codim to allow lookup of array types in the cache.
1655 (gfc_build_array_type): Likewise.
1656 (gfc_get_array_descriptor_base): Likewise.
1657 (gfc_get_array_type_bounds): Likewise.
1658 (gfc_get_derived_type): Likewise.
1659 * trans-types.h: Likewise.
1660 * trans.c (gfc_deallocate_with_status): Enable deregistering of all kind
1661 of coarray components.
1662 (gfc_deallocate_scalar_with_status): Use free() in fcoarray_single mode
1663 instead of caf_deregister.
1665 2017-01-06 Jakub Jelinek <jakub@redhat.com>
1667 * simplify.c (simplify_transformation_to_array): Use
1668 GCC_DIAGNOSTIC_PUSH_IGNORED and GCC_DIAGNOSTIC_POP instead of
1669 #pragma GCC diagnostic {push,ignored,pop}.
1671 2017-01-06 Alexandre Oliva <aoliva@redhat.com>
1673 * simplify.c (simplify_transformation_to_array): Silence
1674 array bounds warning. Fix whitespace.
1676 2017-01-04 Alexandre Oliva <aoliva@redhat.com>
1678 * module.c (load_omp_udrs): Initialize name.
1680 2017-01-02 Janne Blomqvist <jb@gcc.gnu.org>
1683 * trans-expr.c (gfc_trans_string_copy): Rework string copy
1684 algorithm to avoid -Wstringop-overflow warning.
1686 2017-01-01 Jakub Jelinek <jakub@redhat.com>
1688 Update copyright years.
1690 * gfortranspec.c (lang_specific_driver): Update copyright notice
1692 * gfc-internals.texi: Bump @copying's copyright year.
1693 * gfortran.texi: Ditto.
1694 * intrinsic.texi: Ditto.
1695 * invoke.texi: Ditto.
1697 Copyright (C) 2017 Free Software Foundation, Inc.
1699 Copying and distribution of this file, with or without modification,
1700 are permitted in any medium without royalty provided the copyright
1701 notice and this notice are preserved.