1 2006-10-16 Tobias Burnus <burnus@net-b.de>
3 * trans-stmt.c: Fix a typo
4 * invoke.texi: Fix typos
5 * resolve.c: Fix a comment typo
6 * trans-decl.c: Fix a comment typo
7 * primary.c: Fix a comment typo
9 2006-10-15 Steven G. Kargl <kargl@gcc.gnu.org>
12 * io.c (match_io): Check for a default-char-expr for PRINT format.
14 2006-10-15 Bernhard Fischer <aldot@gcc.gnu.org>
17 * lang.opt (Wunused-labels): Remove.
18 * options.c: Remove references to gfc_option.warn_unused_labels.
19 * gfortran.h: Remove variable warn_unused_labels.
20 * resolve.c (warn_unused_fortran_label) : Use warn_unused_label
21 instead of gfc_option.warn_unused_labels.
22 * invoke.texi: Remove documentation of -Wunused-labels.
24 2006-10-14 Tobias Burnus <burnus@net-b.de>
26 * gfortran.texi: Add link to GFortran apps
27 * intrinsic.texi: Updated documentation of ACCESS and CHMOD
29 2006-10-14 Jerry DeLisle <jvdelisle@gcc.gnu.org>
32 * scanner.c (load_line): Add checks for illegal use of '&' and issue
33 warnings. Issue errors with -pedantic.
35 2006-10-14 Paul Thomas <pault@gcc.gnu.org>
38 * trans-expr.c (gfc_trans_pointer_assignment): Add the expression
39 for the assignment of null to the data field to se->pre, rather
42 2006-10-14 Kazu Hirata <kazu@codesourcery.com>
44 * intrinsic.texi: Fix typos.
45 * trans-array.c: Fix a comment typo.
47 2006-10-13 Brooks Moses <bmoses@stanford.edu>
49 * intrinsic.texi (STAT): Reverted a format in example code to
50 octal; noted this in accompanying string.
52 2006-10-13 Paul Thomas <pault@gcc.gnu.org>
55 * decl.c (get_proc_name, gfc_match_function_decl): Add
56 attr.implicit_type to conditions that throw error for
57 existing explicit interface and that allow new type-
61 * resolve.c (resolve_fl_namelist): Do not check for
62 namelist/procedure conflict, if the symbol corresponds
63 to a good local variable declaration.
66 * decl.c (get_proc_name): Replace the detection of a declared
67 procedure by the presence of a formal argument list by the
68 attributes of the symbol and the presence of an explicit
72 * resolve.c (resolve_fl_variable): See if the host association
73 of a derived type is blocked by the presence of another type I
74 object in the current namespace.
77 * resolve.c (resolve_fl_derived): Check for the presence of
78 the derived type for a derived type component.
81 * module.c (gfc_use_module): Check that the first words in a
82 module file are 'GFORTRAN module'.
85 * resolve.c (resolve_transfer): Test functions for suitability
86 for IO, as well as variables.
89 * trans-expr.c (gfc_trans_scalar_assign): Remove nullify of
92 2006-10-13 Francois-Xavier Coudert <coudert@clipper.ens.fr>
95 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Generate correct
96 code for LBOUND and UBOUND intrinsics.
98 2006-10-13 Francois-Xavier Coudert <coudert@clipper.ens.fr>
101 * io.c (compare_to_allowed_values): New function.
102 (gfc_match_open): Add checks for constant values of specifiers.
103 (gfc_match_close): Add checks for constant values of the STATUS
106 2006-10-12 Brooks Moses <bmoses@stanford.edu>
108 * intrinsic.texi (STAT): Fixed a format typo in sample code.
110 2006-10-12 Brooks Moses <bmoses@stanford.edu>
112 * intrinsic.texi (STAT): Shortened lines in sample code.
114 2006-10-11 Tobias Schlueter <tobias.schlueter@physik.uni-muenchen.de>
116 * gfortran.h (gfc_show_actual_arglist, gfc_show_array_ref,
117 gfc_show_array_spec, gfc_show_attr, gfc_show_code,
118 gfc_show_components, gfc_show_constructor, gfc_show_equiv,
119 gfc_show_expr, gfc_show_namelist, gfc_show_ref, gfc_show_symbol,
120 gfc_show_typespec): Add prototypes.
121 * dump-parse-tree.c (gfc_show_actual_arglist, gfc_show_array_ref,
122 gfc_show_array_spec, gfc_show_attr, gfc_show_code,
123 gfc_show_components, gfc_show_constructor, gfc_show_equiv,
124 gfc_show_expr, gfc_show_namelist, gfc_show_ref, gfc_show_symbol,
125 gfc_show_typespec): Remove 'static' from declaration.
127 2006-10-10 Brooks Moses <bmoses@stanford.edu>
129 * invoke.texi, gfortran.texi: Corrected erronous dashes.
131 2006-10-10 Brooks Moses <bmoses@stanford.edu>
133 * Make-lang.in: Added "fortran.pdf", "gfortran.pdf" target
136 2006-10-10 Daniel Franke <franke.daniel@gmail.com>
138 * intrinsic.texi: added documentation for FSTAT, GETARG,GET_COMMAND,
139 GET_COMMAND_ARGUMENT, GETENV, GET_ENVIRONMENT_VARIABLE, IAND, IARGC,
140 LSTAT and STAT, removed the reference to PR19292 from ACCESS, CHMOD,
141 GMTIME, LSHIFT, LTIME, RSHIFT.
143 2006-10-10 Brooks Moses <bmoses@stanford.edu>
145 * gfortran.texi (Standards): Update to current status.
147 2006-10-09 Brooks Moses <bmoses@stanford.edu>
149 * Make-lang.in: Added intrinsic.texi to GFORTRAN_TEXI
152 2006-10-09 Brooks Moses <bmoses@stanford.edu>
154 * intrinsic.texi (MOVE_ALLOC): changed "Options" to "Standards".
156 2006-10-09 Steven G. Kargl <kargl@gcc.gnu.org>
158 * gfortran.h: Define GFC_MPFR_TOO_OLD via mpfr version info.
159 * arith.c (arctangent, gfc_check_real_range): Use it.
160 * simplify.c (gfc_simplify_atan2, gfc_simplify_exponent,
161 gfc_simplify_log, gfc_simplify_nearest): Use it.
165 * iresolve.c (gfc_resolve_rrspacing): Give rrspacing library
166 routine hidden precision argument.
167 (gfc_resolve_spacing): Give spacing library routine hidden
168 precision, emin - 1, and tiny(x) arguments.
169 * simplify.c (gfc_simplify_nearest): Remove explicit subnormalization.
170 (gfc_simplify_rrspacing): Implement formula from Fortran 95 standard.
171 (gfc_simplify_spacing): Implement formula from Fortran 2003 standard.
172 * trans-intrinsic.c (gfc_intrinsic_map_t) Declare rrspacing and
173 spacing via LIBF_FUNCTION
174 (prepare_arg_info, call_builtin_clz, gfc_conv_intrinsic_spacing,
175 gfc_conv_intrinsic_rrspacing): Remove functions.
176 (gfc_conv_intrinsic_function): Remove calls to
177 gfc_conv_intrinsic_spacing and gfc_conv_intrinsic_rrspacing.
178 * f95-lang.c (gfc_init_builtin_functions): Remove __builtin_clz,
179 __builtin_clzl and __builtin_clzll
181 2006-10-09 Richard Henderson <rth@redhat.com>
185 2006-10-09 Francois-Xavier Coudert <coudert@clipper.ens.fr>
187 * intrinsic.c (add_sym_0s, add_sym_1s, add_sym_2s, add_sym_3s,
188 add_sym_4s, add_sym_5s, add_functions): Use macro ACTUAL_NO,
189 ACTUAL_YES, NOT_ELEMENTAL and ELEMENTAL instead of constants
190 0 and 1 as second and third arguments to add_sym* functions.
192 2006-10-08 Erik Edelmann <edelmann@gcc.gnu.org>
193 Paul Thomas <pault@gcc.gnu.org>
196 * interface.c (gfc_compare_derived_types): Add comparison of
197 the allocatable field.
198 * intrinsic.c (add_subroutines): Add MOVE_ALLOC.
199 * trans-expr.c (gfc_conv_aliased_arg, gfc_trans_subarray_assign,
200 gfc_trans_subcomponent_assign, gfc_conv_string_parameter,
201 gfc_trans_scalar_assign): Add extra arguments l_is_temp
202 and r_is_var to references to latter function.
203 (gfc_conv_function_call): Add enum for types of argument and
204 an associated variable parm_kind. Deallocate components of
205 INTENT(OUT) and non-variable arrays.
206 (gfc_trans_subcomponent_assign): Add block to assign arrays
207 to allocatable components.
208 (gfc_trans_scalar_assign): Add block to handle assignments of
209 derived types with allocatable components, using the above new
210 arguments to control allocation/deallocation of memory and the
211 copying of allocated arrays.
212 * trans-array.c (gfc_array_allocate): Remove old identification
213 of pointer and replace with that of an allocatable array. Add
214 nullify of structures with allocatable components.
215 (gfc_conv_array_initializer): Treat EXPR_NULL.
216 (gfc_conv_array_parameter): Deallocate allocatable components
217 of non-variable structures.
218 (gfc_trans_dealloc_allocated): Use second argument of library
219 deallocate to inhibit, without error, freeing NULL pointers.
220 (get_full_array_size): New function to return the size of a
222 (gfc_duplicate_allocatable): New function to allocate and copy
224 (structure_alloc_comps): New recursive function to deallocate,
225 nullify or copy allocatable components.
226 (gfc_nullify_alloc_comp, gfc_deallocate_alloc_comp,
227 gfc_copy_alloc_comp): New interface functions to call previous.
228 (gfc_trans_deferred_array): Add the code to nullify allocatable
229 components, when entering scope, and to deallocate them on
230 leaving. Do not call gfc_trans_static_array_pointer and return
231 for structures with allocatable components and default
233 * symbol.c (gfc_set_component_attr): Set allocatable field.
234 (gfc_get_component_attr): Set the allocatable attribute.
235 * intrinsic.h : Prototype for gfc_check_move_alloc.
236 * decl.c (build_struct): Apply TR15581 constraints for
237 allocatable components.
238 (variable_decl): Default initializer is always NULL for
239 allocatable components.
240 (match_attr_spec): Allow, or not, allocatable components,
241 according to the standard in force.
242 * trans-array.h : Prototypes for gfc_nullify_alloc_comp,
243 gfc_deallocate_alloc_comp, gfc_copy_alloc_comp and
244 gfc_duplicate_allocatable.
245 * gfortran.texi : Add mention of TR15581 extensions.
246 * gfortran.h : Add attribute alloc_comp, add
247 gfc_components field allocatable and add the prototype
248 for gfc_expr_to_initialize.
249 * trans-stmt.c (generate_loop_for_temp_to_lhs,
250 generate_loop_for_rhs_to_temp, gfc_trans_where_assign,
251 gfc_trans_where_3): Add extra arguments to calls to
252 gfc_trans_scalar_assign and set appropriately.
253 (gfc_trans_allocate): Nullify allocatable components.
254 (gfc_trans_deallocate): Deallocate to ultimate allocatable
255 components but stop at ultimate pointer components.
256 * module.c (mio_symbol_attribute, mio_symbol_attribute,
257 mio_component): Add module support for allocatable
259 * trans-types.c (gfc_get_derived_type): Treat allocatable
261 * trans.h : Add two boolean arguments to
262 gfc_trans_scalar_assign.
263 * resolve.c (resolve_structure_cons): Check conformance of
264 constructor element and the component.
265 (resolve_allocate_expr): Add expression to nullify the
266 constructor expression for allocatable components.
267 (resolve_transfer): Inhibit I/O of derived types with
268 allocatable components.
269 (resolve_fl_derived): Skip check of bounds of allocatable
271 * trans-decl.c (gfc_get_symbol_decl): Add derived types
272 with allocatable components to deferred variable.
273 (gfc_trans_deferred_vars): Make calls for derived types
274 with allocatable components to gfc_trans_deferred_array.
275 (gfc_generate_function_code): Nullify allocatable
276 component function result on entry.
277 * parse.c (parse_derived): Set symbol attr.allocatable if
278 allocatable components are present.
279 * check.c (gfc_check_allocated): Enforce attr.allocatable
280 for intrinsic arguments.
281 (gfc_check_move_alloc): Check arguments of move_alloc.
282 * primary.c (gfc_variable_attr): Set allocatable attribute.
283 * intrinsic.texi : Add index entry and section for
286 2006-10-08 Paul Thomas <pault@gcc.gnu.org>
289 * resolve.c (resolve_structure_cons): It is an error if the
290 pointer component elements of a derived type constructor are
291 not pointer or target.
295 * trans-stmt.c (generate_loop_for_temp_to_lhs,
296 generate_loop_for_rhs_to_temp): Provide a string length for
297 the temporary by copying that of the other side of the scalar
300 2006-10-08 Tobias Burnus <burnus@net-b.de>
303 * intrinsic.c (add_functions): Add new_line Fortran 2003 intrinsic.
304 * intrinsic.h: Add gfc_simplify_new_line and gfc_check_new_line
306 * check.c (gfc_check_new_line): New function.
307 * simplify.c (gfc_simplify_new_line): New function.
308 * intrinsic.texi: Document new_line intrinsic.
310 2006-10-07 Francois-Xavier Coudert <coudert@clipper.ens.fr>
314 * gcc/fortran/intrinsic.c (add_sym): Define the actual_ok when a
315 gfc_intrinsic_sym structure is filled.
316 (gfc_intrinsic_actual_ok): New function.
317 (add_sym_0s, add_sym_1s, add_sym_2s, add_sym_3s, add_sym_4s,
318 add_sym_5s): Intrinsic subroutines are not allowed as actual
319 arguments, so we remove argument actual_ok.
320 (add_functions): Correct the values for actual_ok of all intrinsics.
321 Add comments for gfc_check_access_func and gfc_resolve_index_func.
322 (add_subroutines): Remove the actual_ok argument, which was never used.
323 * gcc/fortran/intrinsic.h (gfc_intrinsic_actual_ok): New prototype.
324 * gcc/fortran/gfortran.h (gfc_resolve_index_func): New prototype.
325 * gcc/fortran/resolve.c (resolve_actual_arglist): Check whether
326 an intrinsic used as an argument list is allowed there.
327 * gcc/fortran/iresolve.c (gfc_resolve_index_func): New function.
328 (gfc_resolve_len): Change intrinsic function name to agree with
330 * gcc/fortran/trans-decl.c (gfc_get_extern_function_decl): Add
331 new case, because some specific intrinsics take 3 arguments.
332 * gcc/fortran/intrinsic.texi: DIMAG is a GNU extension.
334 2006-10-06 Jakub Jelinek <jakub@redhat.com>
337 * trans-decl.c (gfc_finish_var_decl): With -fno-automatic, don't
338 make artificial variables or pointer to variable automatic array
341 * scanner.c (skip_free_comments): Return bool instead of void.
342 (gfc_next_char_literal): Don't return ' ' if & is missing after
343 !$omp or !$. Use skip_{free,fixed}_comments directly instead
344 of gfc_skip_comments.
346 2006-10-04 Brooks Moses <bmoses@stanford.edu>
348 * gfortran.texi: (Current Status): update and rewrite to reflect
349 actual status more accurately.
351 2006-10-04 Brooks Moses <bmoses@stanford.edu>
353 * gfortran.texi: Consistently refer to the compiler as "GNU
355 * intrinsic.texi: Ditto.
356 * invoke.texi: Ditto.
358 2006-10-04 Richard Henderson <rth@redhat.com>
359 Jakub Jelinek <jakub@redhat.com>
361 * f95-lang.c (gfc_init_builtin_functions): Add __emutls_get_address
362 and __emutls_register_common.
363 * openmp.c (gfc_match_omp_threadprivate): Don't error if !have_tls.
364 * trans-common.c (build_common_decl): Don't check have_tls.
365 * trans-decl.c (gfc_finish_var_decl): Likewise.
366 * types.def (BT_WORD, BT_FN_PTR_PTR): New.
367 (BT_FN_VOID_PTR_WORD_WORD_PTR): New.
369 2006-10-04 Paul Thomas <pault@gcc.gnu.org>
372 * resolve.c (resolve_allocate_expr): Exclude derived types from
373 search for dependences between allocated variables and the
374 specification expressions for other allocations in the same
377 2006-10-04 Paul Thomas <pault@gcc.gnu.org>
380 * resolve.c (resolve_structure_cons): Do not return FAILURE if
381 component expression is NULL.
383 2006-10-03 Paul Thomas <pault@gcc.gnu.org>
387 * resolve.c (find_sym_in_expr): New function that returns true
388 if a symbol is found in an expression.
389 (resolve_allocate_expr): Check whether the STAT variable is
390 itself allocated in the same statement. Use the call above to
391 check whether any of the allocated arrays are used in array
392 specifications in the same statement.
394 2006-10-03 Steven G. Kargl <kargl@gcc.gnu.org>
396 * arith.c (gfc_check_real_range): Use correct exponent range for
399 2006-10-03 Paul Thomas <pault@gcc.gnu.org>
404 * trans-expr.c (gfc_conv_function_call): Check the expression
405 and the formal symbol are present when testing the actual
410 * resolve.c (resolve_entries): It is an error if the entries
411 of an array-valued function do not have the same shape.
413 2006-10-03 Francois-Xavier Coudert <coudert@clipper.ens.fr>
416 * trans-decl.c (gfc_get_fake_result_decl): Mark var as
419 2006-10-02 Jerry DeLisle <jvdelisle@gcc.gnu.org>
422 * gfortran.h (gfc_option_t): Add max_continue_fixed and
424 * options.c (gfc_init_options): Initialize fixed form and free form
425 consecutive continuation line limits.
426 * scanner.c (gfc_scanner_init_1): Initialize continue_line
427 and continue_count. (gfc_next_char_literal): Count the number of
428 continuation lines in the current statement and warn if limit
431 2006-10-02 Jerry DeLisle <jvdelisle@gcc.gnu.org>
434 * scanner.c (gfc_next_char_literal): Add check for missing '&'
435 and warn if in_string, otherwise return ' '.
437 2006-10-02 Francois-Xavier Coudert <coudert@clipper.ens.fr>
440 * primary.c (match_sym_complex_part): Named constants as real or
441 imaginary part of complex a named constant are only allowed in
444 2006-10-01 Brooks Moses <bmoses@stanford.edu>
446 * gfortran.texi: Corrected references to MALLOC intrinsic.
447 * invoke.texi: Minor cleanup and clarification to the Dialect
450 2006-09-30 Brooks Moses <bmoses@stanford.edu>
452 * invoke.texi: Add mention of BOZ constants and integer
453 overflow to -fno-range-check.
454 * gfortran.texi: Add mention of -fno-range-check to
455 section on BOZ contants.
457 2006-09-30 Bernhard Fischer <aldot@gcc.gnu.org>
459 * resolve.c: Fix commentary typo. Fix whitespace.
461 2006-09-28 Steven G. Kargl <kargl@gcc.gnu.org>
464 * arith.c (gfc_check_integer_range): Disable range checking via
467 2006-09-28 Steven G. Kargl <kargl@gcc.gnu.org>
469 * arith.c: Change conditional test for inclusion of arctangent().
470 (gfc_check_real_range): Change conditional test for use of
472 * simplify.c (gfc_simplify_atan2): Fix conditional for use of
473 mpfr_atan2() instead of arctangent().
474 (gfc_simplify_exponent): Fix conditional for use of mpfr_get_exp().
475 (gfc_simplify_log): Fix conditional for use of mpfr_atan2() instead
477 (gfc_simplify_nearest): Fix conditional for use of mpfr_nextafter().
479 2006-09-27 Steven G. Kargl <kargl@gcc.gnu.org>
481 * arith.c: Conditionally include arctangent2().
482 (gfc_check_real_range): Use mpfr_subnormalize in preference to local
484 * trans-intrinsic.c (gfc_get_intrinsic_lib_fndecl): Append
485 l for long double functions.
486 * simplify.c: Wrap Copyright to new line.
487 (gfc_simplify_atan2): Use mpfr_atan2 in preference to arctangent2().
488 (gfc_simplify_log): Ditto.
492 * simplify.c (gfc_simplify_exponent): Use mpfr_get_exp in
493 preference to broken local hack.
496 * simplify.c (gfc_simplify_nearest): Use mpfr_nexttoward and
497 mpfr_subnormalize to handle numbers near zero in preference to broken
500 2006-09-26 Jakub Jelinek <jakub@redhat.com>
503 * scanner.c (include_line): Handle conditional include.
505 2006-09-25 Tobias Schluter <tobias.schlueter@physik.uni-muenchen.de>
508 * error.c (show_loci): No need to risk an ICE to output a
509 slightly nicer error message.
511 2006-09-19 Paul Thomas <pault@gcc.gnu.org>
512 Steven Bosscher <steven@gcc.gnu.org>
515 * trans-stmt.c (gfc_trans_character_select): Store the label
516 from select_string and then clean up any temporaries from the
517 conversion of the select expression, before branching to the
520 2006-09-18 Paul Thomas <pault@gcc.gnu.org>
523 * primary.c (match_variable): If the compiler is in a module
524 specification block, an interface block or a contains section,
525 reset host_flag to force the changed symbols mechanism.
528 * trans-stmt.c (gfc_trans_character_select): Add the post block
529 for the expression to the main block, after the call to
530 select_string and the last label.
532 2006-09-18 Paul Thomas <pault@gcc.gnu.org>
535 * iresolve.c (resolve_spread): Build shape for result if the
536 source shape is available and dim and ncopies are constants.
538 2006-09-18 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
542 * trans-decl.c (generate_local_decl): Change from 'warning' to
543 'gfc_warning' to have line numbers correctly reported.
545 2006-09-15 Paul Thomas <pault@gcc.gnu.org>
548 * decl.c (match_old_style_init): Set the 'where' field of the
549 gfc_data structure 'newdata'.
551 * match.c (match_case_eos): Add a comprehensible error message.
553 2006-09-13 Wolfgang Gellerich <gellerich@de.ibm.com>
555 * trans-expr.c (gfc_add_interface_mapping): For characters, dereference
556 pointer if necessary and then perform the cast.
558 2006-09-11 Steven G. Kargl <kargl@gcc.gnu.org>
560 * intrinsic.c: Update Copyright date.
561 * intrinsic.h: Ditto.
563 2006-09-11 Paul Thomas <pault@gcc.gnu.org>
566 * trans-expr.c (gfc_conv_function_call): Obtain the string length
567 of a dummy character(*) function from the symbol if it is not
568 already translated. For a call to a character(*) function, use
569 the passed, hidden string length argument, which is available
570 from the backend_decl of the formal argument.
571 * resolve.c (resolve_function): It is an error if a function call
572 to a character(*) function is other than a dummy procedure or
575 2006-09-10 Paul Thomas <pault@gcc.gnu.org>
578 * trans-types.c (gfc_get_derived_type): Use the parent namespace of
579 the procedure if the type's own namespace does not have a parent.
581 2006-09-10 Paul Thomas <pault@gcc.gnu.org>
584 * expr.c (find_array_section): Only use the array lower and upper
585 bounds for the start and end of the sections, where the expr is
588 2006-09-10 Paul Thomas <pault@gcc.gnu.org>
591 * trans-array.c (gfc_trans_array_constructor_value): Create a temporary
592 loop variable to hold the current loop variable in case it is modified
593 by the array constructor.
595 2006-09-07 Steven G. Kargl <kargls@comcast.net>
597 * gfortran.h (gfc_integer_info): Eliminate max_int.
598 * arith.c (gfc_arith_init_1): Remove initialization of max_int.
599 (gfc_arith_done_1): Remove clearing of max_int.
600 (gfc_check_integer_range): Fix range chekcing of overflow.
601 * simplify.c (gfc_simplify_not): Construct mask that was max_int.
603 2006-09-05 Paul Thomas <pault@gcc.gnu.org>
606 * gfortran.h : Restore the gfc_dt_list structure and reference
607 to it in gfc_namespace.
608 * resolve.c (resolve_fl_derived): Restore the building of the
609 list of derived types for the current namespace. Modify the
610 restored code so that a check is made to see if the symbol is
612 (resolve_fntype): Make sure that the specification block
613 version of the derived type is used for a module function that
615 * symbol.c (gfc_free_dt_list): Restore.
616 (gfc_free_namespace): Restore call to previous.
617 * trans-types.c (copy_dt_decls_ifequal): Restore.
618 (gfc_get_derived_type): Restore all the paraphenalia for
619 association of derived types, including calls to previous.
620 Modify the restored code such that all derived types are built
621 if their symbols are found in the parent namespace; not just
622 non-module types. Add backend_decls to like derived types in
623 sibling namespaces, as well as that of the derived type.
625 2006-08-30 Kazu Hirata <kazu@codesourcery.com>
627 * match.c: Fix a comment typo.
629 2006-08-30 Paul Thomas <pault@gcc.gnu.org>
632 * trans-expr.c (gfc_conv_aliased_arg): Ensure that the temp
633 declaration is retained for INTENT(OUT) arguments.
637 * resolve.c (resolve_generic_f): Make error message more
639 (resolve_generic_s): Restructure search for specific procedures
640 to be similar to resolve_generic_f and change to similar error
641 message. Ensure that symbol reference is refreshed, in case
642 the search produces a NULL.
643 (resolve_specific_s): Restructure search, as above and as
644 resolve_specific_f. Ensure that symbol reference is refreshed,
645 in case the search produces a NULL.
649 * interface.c (check_operator_interface): Throw error if the
650 interface assignment tries to change intrinsic type assigments
651 or has less than two arguments. Also, it is an error if an
652 interface operator contains an alternate return.
655 * parse.c (gfc_fixup_sibling_symbols): Do not modify the symbol
656 if it is a dummy in the contained namespace.
658 2006-08-29 Steven G. Kargl <kargls@comcast.net>
661 * match.c: Wrap copyright.
662 (gfc_match_assignment): Return MATCH_NO for failed lvalue. Remove
663 gotos. Move error handling of FL_PARAMETER to ...
664 * gfc_match_if: Deal with MATCH_NO from above.
665 * primary.c: Wrap copyright.
666 (match_variable): ... here. Improve error messages.
668 2006-08-29 Paul Thomas <pault@gcc.gnu.org>
671 * symbol.c (gfc_use_derived): Never eliminate the symbol,
672 following reassociation of use associated derived types.
674 2006-08-26 Steven G. Kargl <kargls@comcast.net>
676 * arith.h: Update Copyright dates. Fix whitespace.
677 * arith.c: Update Copyright dates. Fix whitespace. Fix comments.
678 (gfc_arith_done_1): Clean up pedantic_min_int and subnormal.
680 2006-08-26 Tobias Burnus <burnus@net-b.de>
682 * gfortran.texi: Note variable initialization causes SAVE attribute.
683 * intrinsic.texi: Clarify support for KIND=16 and KIND=10.
684 Mention -std=f2003. Cross reference INQUIRE from ACCESS intrinsic.
685 Add missing ) in ACOS.
687 2006-08-26 Daniel Franke <franke.daniel@gmail.com>
689 * intrinsic.texi: Update Copyright date. Added documentation
690 for ACOSH, AND, ASINH, ATANH, CHDIR, FGET, FGETC, FPUT, FPUTC,
691 GETCWD, OR and XOR intrinsics, removed inadvertently introduced
692 doc-stubs for EQV and NEQV, corrected some typographical errors.
694 2006-08-24 Daniel Franke <franke.daniel@gmail.com>,
695 Brooks Moses <bmoses@stanford.edu>
697 * intrinsic.texi: Added doc-stubs for undocumented intrinsics,
698 added a "See Also" section, renamed the "Options" section to
699 "Standard", improved the index, and made numerous minor
700 typo corrections and grammatical fixes.
702 2006-08-24 Paul Thomas <pault@gcc.gnu.org>
705 * symbol.c (shift_types): Shift the derived type references in
707 (gfc_use_derived): Return if the derived type symbol is already
708 in another namspace. Add searches for the derived type in
712 * decl.c (add_init_expr_to_sym): Restore the original but
713 restricted to parameter arrays to fix a regression.
715 2006-08-23 Steven G. Kargl <kargls@comcast.net>
717 * gfortran.texi: Fix last commit where a "no" was deleted and
718 a grammatical error was introduced.
720 2006-08-23 Steven G. Kargl <kargls@comcast.net>
722 * gfortran.texi: Spell check. Add a few contributors to
723 Chapter 9. Expand the description of BOZ constant handling.
725 2006-08-20 Janne Blomqvist <jb@gcc.gnu.org>
728 * gfortran.texi: Mention STREAM I/O among supported F2003
731 2006-08-20 Paul Thomas <pault@gcc.gnu.org>
735 * gfortran.h : Eliminate gfc_dt_list structure and reference
736 to it in gfc_namespace.
737 * resolve.c (resolve_fl_derived): Remove the building of the
738 list of derived types for the current namespace.
739 * symbol.c (find_renamed_type): New function to find renamed
740 derived types by symbol name rather than symtree name.
741 (gfc_use_derived): Search parent namespace for identical
742 derived type and use it, even if local version is complete,
743 except in interface bodies. Ensure that renamed derived types
744 are found by call to find_renamed_type. Recurse for derived
746 (gfc_free_dt_list): Remove.
747 (gfc_free_namespace): Remove call to previous.
748 * trans-types.c (copy_dt_decls_ifequal): Remove.
749 (gfc_get_derived_type): Remove all the paraphenalia for
750 association of derived types, including calls to previous.
751 * match.c (gfc_match_allocate): Call gfc_use_derived to
752 associate any derived types that are being allocated.
755 * resolve.c (resolve_actual_arglist): The passing of
756 a generic procedure name as an actual argument is an
760 * resolve.c (resolve_variable): Check for a symtree before
761 resolving references.
764 * primary.c (match_variable): Return MATCH_NO if the symbol
765 is that of the program.
768 * trans-expr.c (gfc_trans_subcomponent_assign): Translate
769 derived type component expressions other than another derived
773 * expr.c (find_array_section): Correct errors in
774 the handling of a missing start value for the
775 index triplet in an array reference.
778 * trans-decl.c (gfc_build_dummy_array_decl): Before resetting
779 reference to backend_decl, set it DECL_ARTIFICIAL.
780 (gfc_get_symbol_decl): Likewise for original dummy decl, when
781 a copy is made of an array.
782 (create_function_arglist): Likewise for the _entry paramter
784 (build_entry_thunks): Likewise for dummies in entry thunks.
787 * trans-decl.c (gfc_get_symbol_decl): Ensure that the
788 DECL_CONTEXT of the length of a character dummy is the
789 same as that of the symbol declaration.
792 * decl.c (add_init_expr_to_sym): Remove setting of charlen for
793 an initializer of an assumed charlen variable.
796 * trans-decl.c (generate_expr_decls): New function.
797 (generate_dependency_declarations): New function.
798 (generate_local_decl): Call previous if not either a dummy or
799 a declaration in an entry master.
801 2006-08-19 Erik Edelmann <eedelman@gcc.gnu.org>
804 * resolve.c (resolve_fl_variable): Set a default initializer for
805 derived types with INTENT(OUT) even if 'flag' is true.
806 * trans-expr.c (gfc_conv_function_call): Insert code to
807 reinitialize INTENT(OUT) arguments of derived type with default
810 2006-08-15 Jerry DeLisle <jvdelisle@gcc.gnu.org>
813 * gfortran.h: Add new pointer for stream position to st_inquire.
814 Rename gfc_large_io_int_kind to gfc_intio_kind.
815 * trans-types.c (gfc_init_kinds): use gfc_intio_kind.
816 * io.c: Add new IO tag for file position going in and another for out.
817 (match_dt_element): Match new tag_spos.
818 (gfc_resolve_dt): Resolve new tag_spos.
819 (gfc_free_inquire): Free inquire->strm_pos.
820 (match_inquire_element): Match new tag_strm_out.
821 (gfc_resolve_inquire): Resolve new tag_strm_out.
822 * trans-io.c: Rename IOPARM_type_large_io_int to IOPARM_type_intio.
823 (gfc_build_st_parameter): Same.
824 (gfc_build_io_library_fndecls) Same. and add build pointer type pintio.
825 (gfc_trans_inquire): Translate strm_pos for inquire.
826 * ioparm.def: Reorder flags to accomodate addition of new inquire
827 flag for strm_pos_out and add it in.
829 2006-08-06 Paul Thomas <pault@gcc.gnu.org>
832 * parse.c (parse_derived): Remove the test for sequence type
833 components of a sequence type.
834 * resolve.c (resolve_fl_derived): Put the test here so that
835 pointer components are tested.
837 2006-08-05 Steven G. Kargl <kargls@comcast.nt>
840 * resolve.c(resolve_elemental_actual): Add flags.h to use -pedantic
841 and exclude conversion functions in conditional. Change gfc_error
843 (warn_unused_label) Rename to ...
844 (warn_unused_fortran_label) avoid warn_unused_label in flags.h.
846 2006-07-30 Francois-Xavier Coudert <coudert@clipper.ens.fr>
848 * intrinsic.c (add_functions): Add ACCESS, CHMOD, RSHIFT, LSHIFT.
849 (add_subroutines): Add LTIME, GMTIME and CHMOD.
850 * intrinsic.h (gfc_check_access_func, gfc_check_chmod,
851 gfc_check_chmod_sub, gfc_check_ltime_gmtime, gfc_simplify_rshift,
852 gfc_simplify_lshift, gfc_resolve_access, gfc_resolve_chmod,
853 gfc_resolve_rshift, gfc_resolve_lshift, gfc_resolve_chmod_sub,
854 gfc_resolve_gmtime, gfc_resolve_ltime): Add prototypes.
855 * gfortran.h (gfc_generic_isym_id): Add GFC_ISYM_ACCESS,
856 GFC_ISYM_CHMOD, GFC_ISYM_LSHIFT, GFC_ISYM_RSHIFT.
857 * iresolve.c (gfc_resolve_access, gfc_resolve_chmod,
858 gfc_resolve_rshift, gfc_resolve_lshift, gfc_resolve_chmod_sub,
859 gfc_resolve_gmtime, gfc_resolve_ltime): New functions.
860 * check.c (gfc_check_access_func, gfc_check_chmod,
861 gfc_check_chmod_sub, gfc_check_ltime_gmtime): New functions.
862 * trans-intrinsic.c (gfc_conv_intrinsic_rlshift): New function.
863 (gfc_conv_intrinsic_function): Add cases for the new GFC_ISYM_*.
865 2006-07-28 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
867 * Make-lang.in: Use $(HEADER_H) instead of header.h in dependencies.
869 2006-07-26 Francois-Xavier Coudert <coudert@clipper.ens.fr>
871 * intrinsic.c (add_functions): Add INT2, SHORT, INT8, LONG,
872 LSTAT, MCLOCK and MCLOCK8 intrinsic functions.
873 (add_subroutines): Add LSTAT intrinsic subroutine.
874 * gfortran.h (gfc_generic_isym_id): Add GFC_ISYM_INT2,
875 GFC_ISYM_INT8, GFC_ISYM_LONG, GFC_ISYM_LSTAT, GFC_ISYM_MCLOCK
876 and GFC_ISYM_MCLOCK8.
877 * iresolve.c (gfc_resolve_int2, gfc_resolve_int8,
878 gfc_resolve_long, gfc_resolve_lstat, gfc_resolve_mclock,
879 gfc_resolve_mclock8, gfc_resolve_lstat_sub): New functions.
880 * check.c (gfc_check_intconv): New function.
881 * trans-intrinsic.c (gfc_conv_intrinsic_function): Add cases for
882 the added GFC_ISYM_*.
883 * simplify.c (gfc_simplify_intconv, gfc_simplify_int2,
884 gfc_simplify_int8, gfc_simplify_long): New functions.
885 * intrinsic.h (gfc_check_intconv, gfc_simplify_int2,
886 gfc_simplify_int8, gfc_simplify_long, gfc_resolve_int2,
887 gfc_resolve_int8, gfc_resolve_long, gfc_resolve_lstat,
888 gfc_resolve_mclock, gfc_resolve_mclock8, gfc_resolve_lstat_sub):
891 2006-07-24 Erik Edelmann <eedelman@gcc.gnu.org>
894 * trans-array.c (gfc_conv_array_parameter): Give special treatment for
895 ALLOCATABLEs if they are themselves dummy variables.
897 2006-07-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
900 * gfortran.h: Declare gfc_large_io_int_kind.
901 * trans-types.c (gfc_init_kinds): Set gfc_large_io_int_kind
903 * trans-io.c (enum iofield_type): Add large_io_int type.
904 (gfc_build_st_parameter): Same.
905 (gfc_build_io_library_fndecls): Same.
906 * ioparm_def: Use large_io_int to define rec.
908 2006-07-22 Steven Bosscher <steven@gcc.gnu.org>
911 * trans-stmt.c (gfc_trans_arithmetic_if): Evaluate the condition once.
913 2006-07-16 Jakub Jelinek <jakub@redhat.com>
916 * trans-openmp.c (gfc_trans_omp_do): Look for LASTPRIVATE in
917 code->exp.omp_clauses rather than in the 3rd function argument.
919 2006-07-16 Paul Thomas <pault@gcc.gnu.org>
922 * trans-common.c (translate_common): If common_segment is NULL
923 emit error that common block does not exist.
926 * io.c (check_io_constraints): It is an error if an ADVANCE
927 specifier appears without an explicit format.
930 * resolve.c (resolve_generic_s): For a use_associated function,
931 do not search for an alternative symbol in the parent name
935 * resolve.c (resolve_elemental_actual): New function t combine
936 all the checks of elemental procedure actual arguments. In
937 addition, check of array valued optional args(this PR) has
939 (resolve_function, resolve_call): Remove parts that treated
940 elemental procedure actual arguments and call the above.
942 2006-07-14 Steven G. Kargl <kargls@comcast.net>
944 * trans-expr.c (gfc_trans_string_copy): Evaluate the string lengths
946 006-07-13 Paul Thomas <pault@gcc.gnu.org>
949 * trans-expr.c (gfc_conv_aliased_arg): Missing formal arg means
950 that intent is INOUT (fixes regression).
953 * check.c (check_present): The only permitted reference is a
954 full array reference.
957 * decl.c (variable_decl): Add error if a derived type is not
958 from the current namespace if the namespace is an interface
961 2006-07-12 Francois-Xavier Coudert <coudert@clipper.ens.fr>
964 * trans-expr.c (gfc_trans_string_copy): Generate inline code
965 to perform string copying instead of calling a library function.
966 * trans-decl.c (gfc_build_intrinsic_function_decls): Don't build
967 decl for copy_string.
968 * trans.h (gfor_fndecl_copy_string): Remove prototype.
970 2006-07-11 Feng Wang <fengwang@nudt.edu.cn>
973 * trans-io.c (transfer_expr): Deal with Hollerith constants used in
976 2006-07-07 Kazu Hirata <kazu@codesourcery.com>
978 * intrinsic.texi: Fix typos.
980 2006-07-07 Paul Thomas <pault@gcc.gnu.org>
984 * io.c (resolve_tag): Any integer that is not an assigned
985 variable is an error.
987 2006-07-06 Francois-Xavier Coudert <coudert@clipper.ens.fr>
990 * trans-array.c (gfc_trans_array_bound_check): Add a locus
991 argument, and use it in the error messages.
992 (gfc_conv_array_index_offset): Donc perform bounds checking on
993 the last dimension of assumed-size arrays.
995 2006-07-06 Francois-Xavier Coudert <coudert@clipper.ens.fr>
998 * trans-stmt.c (compute_inner_temp_size): Don't perform bounds
999 checking when calculating the bounds of scalarization.
1001 2006-07-05 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1004 * interface.c (gfc_match_interface): Don't allow dummy procedures
1005 to have a generic interface.
1007 2006-07-04 Paul Thomas <pault@gcc.gnu.org>
1010 * trans-array.c (gfc_conv_expr_descriptor): When building temp,
1011 ensure that the substring reference uses a new charlen.
1012 * trans-expr.c (gfc_conv_aliased_arg): Add the formal intent to
1013 the argument list, lift the treatment of missing string lengths
1014 from the above and implement the use of the intent.
1015 (gfc_conv_function_call): Add the extra argument to the call to
1019 * trans-array.c (get_array_ctor_var_strlen): Treat a constant
1020 substring reference.
1021 * array.c (gfc_resolve_character_array_constructor): Remove
1022 static attribute and add the gfc_ prefix, make use of element
1023 charlens for the expression and pick up constant string lengths
1024 for expressions that are not themselves constant.
1025 * gfortran.h : resolve_character_array_constructor prototype
1027 * resolve.c (gfc_resolve_expr): Call resolve_character_array_
1028 constructor again after expanding the constructor, to ensure
1029 that the character length is passed to the expression.
1031 2006-07-04 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1032 Daniel Franke <franke.daniel@gmail.com>
1034 * intrinsic.c (add_subroutines): Add ITIME and IDATE.
1035 * intrinsic.h (gfc_check_itime_idate,gfc_resolve_idate,
1036 fc_resolve_itime): New protos.
1037 * iresolve.c (gfc_resolve_itime, gfc_resolve_idate): New functions.
1038 * check.c (gfc_check_itime_idate): New function.
1039 * intrinsic.texi: Document the new intrinsics.
1041 2006-07-03 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1043 * intrinsics/date_and_time.c (itime0,idate0,itime_i4,itime_i8,
1044 idate_i4,idate_i8): New functions.
1047 2006-07-03 Asher Langton <langton2@llnl.gov>
1049 * decl.c (match_old_style_init): Add data attribute to symbol.
1051 2006-07-03 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1053 * iresolve.c (gfc_resolve_cpu_time, gfc_resolve_random_number):
1054 Remove ATTRIBUTE_UNUSED for used argument.
1056 2006-07-03 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1058 * intrinsic.texi: Document new intrinsics.
1060 2006-07-01 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1063 * parse.c (next_free): Error out on line starting with semicolon.
1064 (next_fixed): Fix formatting. Error out on line starting with
1067 2006-06-30 Kazu Hirata <kazu@codesourcery.com>
1069 * check.c: Fix a comment typo.
1071 2006-06-25 Paul Thomas <pault@gcc.gnu.org>
1074 * interface.c (compare_actual_formal): Signal an error if the formal
1075 argument is a pure procedure and the actual is not pure.
1078 * resolve.c (resolve_actual_arglist): If the type of procedure
1079 passed as an actual argument is not already declared, see if it is
1083 * resolve.c (resolve_select): Use bits 1 and 2 of a new int to
1084 keep track of the appearance of constant logical case expressions.
1085 Signal an error is either value appears more than once.
1088 * resolve.c (resolve_fl_procedure): Signal an error if an elemental
1089 function is not scalar valued.
1092 * match.c (recursive_stmt_fcn): Perform implicit typing of variables.
1095 * match.c (match_forall_iterator): Mark new variables as
1096 FL_UNKNOWN if the match fails.
1099 * match.c (gfc_match_forall): Remove extraneous call to
1103 * resolve.c (resolve_code, resolve_function): Rework
1104 forall_flag scheme so that it is set and has a value of
1105 2, when the code->expr (ie. the forall mask) is resolved.
1106 This is used to change "block" to "mask" in the non-PURE
1109 2006-06-24 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1112 * resolve.c (resolve_substring): Don't issue out-of-bounds
1113 error messages when the range has zero size.
1115 2006-06-24 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1118 * lang-specs.h (f95-cpp-input): Pass -ffree-form to f951 unless
1119 -ffixed-form is explicitly specified.
1121 2006-06-24 Paul Thomas <pault@gcc.gnu.org>
1124 * trans-array.c (gfc_conv_expr_descriptor): When building temp,
1125 use the substring reference to calculate the length if the
1126 expression does not have a charlen.
1128 2006-06-24 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1131 * trans-intrinsic.c (gfc_conv_intrinsic_mod): Support cases where
1132 there is no integer kind equal to the resulting real kind.
1133 * intrinsic.c (add_functions): MODULO is not allowed as an actual
1136 2006-06-23 Steven G. Kargl <kargls@comcast.net>
1139 * match.c (gfc_match_if): Handle errors in assignment in simple if.
1141 2006-06-22 Asher Langton <langton2@llnl.gov>
1144 * primary.c (gfc_match_rvalue): Don't call match_substring for
1145 implicit non-character types.
1147 2006-06-22 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1150 * iresolve.c (gfc_resolve_reshape): Call reshape_r4 and
1151 reshape_r8 instead of reshape_4 and reshape_8.
1152 (gfc_resolve_transpose): Likewise for transpose.
1154 2006-06-21 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1156 * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_unary_op,
1157 gfc_conv_cst_int_power, gfc_conv_string_tmp,
1158 gfc_conv_function_call): Replace calls to convert on constant
1159 integer nodes by build_int_cst.
1160 * trans-stmt.c (gfc_trans_do): Likewise.
1161 * trans-io.c (set_internal_unit, transfer_namelist_element):
1163 * trans-decl.c (build_entry_thunks): Likewise.
1165 2006-06-20 Steven G. Kargl <kargls@comcast.net>
1167 * simplify.c (gfc_simplify_rrspacing): Initialize and clear mpfr_t
1170 2006-06-20 Paul Thomas <pault@gcc.gnu.org>
1174 * check.c (non_init_transformational): New function.
1175 (find_substring_ref): New function to signal use of disallowed
1176 transformational intrinsic in an initialization expression.
1177 (gfc_check_all_any): Call previous if initialization expr.
1178 (gfc_check_count): The same.
1179 (gfc_check_cshift): The same.
1180 (gfc_check_dot_product): The same.
1181 (gfc_check_eoshift): The same.
1182 (gfc_check_minloc_maxloc): The same.
1183 (gfc_check_minval_maxval): The same.
1184 (gfc_check_gfc_check_product_sum): The same.
1185 (gfc_check_pack): The same.
1186 (gfc_check_spread): The same.
1187 (gfc_check_transpose): The same.
1188 (gfc_check_unpack): The same.
1191 *intrinsic.c (add_functions): Add gfc_simplify_transfer.
1192 *intrinsic.h : Add prototype for gfc_simplify_transfer.
1193 *simplify.c (gfc_simplify_transfer) : New function to act as
1194 placeholder for eventual implementation. Emit error for now.
1197 * expr.c (find_array_element): Eliminate condition on length of
1198 offset. Add bounds checking. Rearrange exit. Return try and
1199 put gfc_constructor result as an argument.
1200 (find_array_section): New function.
1201 (find_substring_ref): New function.
1202 (simplify_const_ref): Add calls to previous.
1203 (simplify_parameter_variable): Return on NULL expr.
1204 (gfc_simplify_expr): Only call gfc_expand_constructor for full
1208 * match.c (gfc_match_forall): Add missing locus to gfc_code.
1210 2006-06-18 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1213 * trans-intrinsic.c (gfc_conv_associated): Use pre and post blocks
1214 of the scalarization expression.
1216 2006-06-18 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1220 * arith.c (gfc_range_check): Return ARITH_OK if -fno-range-check. Add
1221 return of ARITH_NAN, ARITH_UNDERFLOW, and ARITH_OVERFLOW.
1222 (gfc_arith_divide): If -fno-range-check allow mpfr to divide by zero.
1223 * gfortran.h (gfc_option_t): Add new flag.
1224 * invoke.texi: Document new flag.
1225 * lang.opt: Add option -frange-check.
1226 * options.c (gfc_init_options): Initialize new flag.
1227 (gfc_handle_options): Set flag if invoked.
1228 * simplify.c (range_check): Add error messages for
1229 overflow, underflow, and other errors.
1230 * trans-const.c (gfc_conv_mpfr_to_tree): Build NaN and Inf from mpfr
1233 2006-06-17 Karl Berry <karl@gnu.org>
1235 * gfortran.texi (@dircategory): Use "Software development"
1236 instead of "Programming", following the Free Software Directory.
1238 2006-06-16 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1241 * trans-array.c (gfc_conv_ss_startstride): Correct the runtime
1242 conditions for bounds-checking. Check for nonzero stride.
1243 Don't check the last dimension of assumed-size arrays. Fix the
1244 dimension displayed in the error message.
1246 2006-06-15 Thomas Koenig <Thomas.Koenig@online.de>
1248 * trans-array.h (gfc_trans_create_temp_array): Add bool
1250 * trans-arrray.c (gfc_trans_create_temp_array): Add extra
1251 argument "function" to show if we are translating a function.
1252 If we are translating a function, perform checks whether
1253 the size along any argument is negative. In that case,
1255 (gfc_trans_allocate_storage): Add function argument (as
1256 false) to gfc_trans_create_temp_array call.
1257 * trans-expr.c (gfc_conv_function_call): Add function
1258 argument (as true) to gfc_trans_create_temp_array call.
1259 * trans-stmt.c (gfc_conv_elemental_dependencies): Add
1260 function argument (as false) to gfc_trans_create_temp_array
1262 * trans-intrinsic.c: Likewise.
1264 2006-06-10 Paul Thomas <pault@gcc.gnu.org>
1269 * decl.c (get_proc_name): Add new argument to flag that a
1270 module function entry is being treated. If true, correct
1271 error condition, add symtree to module namespace and add
1273 (gfc_match_function_decl, gfc_match_entry,
1274 gfc_match_subroutine): Use the new argument in calls to
1276 * resolve.c (resolve_entries): ENTRY symbol reference to
1277 to master entry namespace if a module function.
1278 * trans-decl.c (gfc_create_module_variable): Return if
1279 the symbol is an entry.
1280 * trans-exp.c (gfc_conv_variable): Check that parent_decl
1283 2006-06-09 Jakub Jelinek <jakub@redhat.com>
1286 * trans-openmp.c (gfc_omp_clause_default_ctor): New function.
1287 * trans.h (gfc_omp_clause_default_ctor): New prototype.
1288 * f95-lang.c (LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR): Define.
1290 2006-06-08 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1293 * trans-expr.c (gfc_conv_substring): If the substring start is
1294 greater than its end, the length of the substring is zero, and
1296 (gfc_trans_string_copy): Don't generate a call to
1297 _gfortran_copy_string when destination length is zero.
1299 2006-06-08 Asher Langton <langton2@llnl.gov>
1302 * trans-array.c (gfc_conv_array_ref): Eliminate bounds checking
1303 for assumed-size Cray pointees.
1305 2006-06-08 Steven G. Kargl <kargls@comcat.net>
1307 * intrinsic.c (add_subroutine): Make make_noreturn() conditional on
1308 the appropriate symbol name.
1310 2006-06-07 Paul Thomas <pault@gcc.gnu.org>
1313 * resolve.c (resolve_fl_variable): Error if an automatic
1314 object has the SAVE attribute.
1317 * expr.c (simplify_intrinsic_op): Transfer the rank and
1318 the locus to the simplified expression.
1322 * gfortran.h : Add int entry_id to gfc_symbol.
1323 * resolve.c : Add static variables current_entry_id and
1325 (resolve_variable): During code resolution, check if a
1326 reference to a dummy variable in an executable expression
1327 is preceded by its appearance as a parameter in an entry.
1328 Likewise check its specification expressions.
1329 (resolve_code): Update current_entry_id on EXEC_ENTRY.
1330 (resolve_charlen, resolve_fl_variable): Set and reset
1332 (is_non_constant_shape_array): Do not return on detection
1333 of a variable but continue to resolve all the expressions.
1334 (resolve_codes): set current_entry_id to an out of range
1337 2006-06-06 Mike Stump <mrs@apple.com>
1339 * Make-lang.in: Rename to htmldir to build_htmldir to avoid
1340 installing during build.
1342 2006-06-06 Paul Thomas <pault@gcc.gnu.org>
1345 * match.c (gfc_match_common): Fix code typo. Remove
1346 sym->name, since sym is NULL, and replace with name.
1348 2006-06-05 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1351 * resolve.c (compute_last_value_for_triplet): New function.
1352 (check_dimension): Correctly handle zero-sized array sections.
1353 Add checking on last element of array sections.
1355 2006-06-05 Steven G. Kargl <kargls@comcast.net>
1357 * data.c (gfc_assign_data_value): Fix comment typo. Remove
1360 2006-06-05 Paul Thomas <pault@gcc.gnu.org>
1363 * data.c (create_character_intializer): Add warning message
1364 for truncated string.
1367 * symbol.c : Include flags.h.
1368 (gfc_add_type): If a procedure and types are the same do not
1369 throw an error unless standard is less than gnu or pedantic.
1372 * parse.c (parse_do_block): Error if named block do construct
1373 does not have a named enddo.
1376 * check.c (gfc_check_associated): Pick up EXPR_NULL for pointer
1377 as well as target and put error return at end of function.
1379 2006-06-03 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1381 * trans.c (gfc_msg_bounds, gfc_msg_fault, gfc_msg_wrong_return):
1382 Add strings for common runtime error messages.
1383 (gfc_trans_runtime_check): Add a locus argument, use a string
1384 and not a string tree for the message.
1385 * trans.h (gfc_trans_runtime_check): Change prototype accordingly.
1386 (gfc_msg_bounds, gfc_msg_fault, gfc_msg_wrong_return): Add proto.
1387 * trans-const.c (gfc_strconst_bounds, gfc_strconst_fault,
1388 gfc_strconst_wrong_return, gfc_strconst_current_filename): Remove.
1389 (gfc_init_constants): Likewise.
1390 * trans-const.h: Likewise.
1391 * trans-decl.c (gfc_build_builtin_function_decls): Call to
1392 _gfortran_runtime_error has only one argument, the message string.
1393 * trans-array.h (gfc_conv_array_ref): Add a symbol argument and a
1395 * trans-array.c (gfc_trans_array_bound_check): Build precise
1397 (gfc_conv_array_ref): Use the new symbol argument and the locus
1398 to build more precise error messages.
1399 (gfc_conv_ss_startstride): More precise error messages.
1400 * trans-expr.c (gfc_conv_variable): Give symbol reference and
1401 locus to gfc_conv_array_ref.
1402 (gfc_conv_function_call): Use the new prototype for
1403 gfc_trans_runtime_check.
1404 * trans-stmt.c (gfc_trans_goto): Build more precise error message.
1405 * trans-io.c (set_string): Likewise.
1406 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use new prototype
1407 for gfc_trans_runtime_check.
1409 2006-06-01 Thomas Koenig <Thomas.Koenig@online.de>
1412 * arith.c: Cast the characters from the strings to unsigned
1413 char to avoid values less than 0 for extended ASCII.
1415 2006-06-01 Per Bothner <bothner@bothner.com>
1417 * data.c (gfc_assign_data_value): Handle USE_MAPPED_LOCATION.
1418 * scanner.c (gfc_gobble_whitespace): Likewise.
1420 2006-06-01 Paul Thomas <pault@gcc.gnu.org>
1424 * interface.c (compare_parameter): Return 1 if the actual arg
1425 is external and the formal is a procedure.
1426 (compare_actual_formal): If the actual argument is a variable
1427 and the formal a procedure, this an error. If a gsymbol exists
1428 for a procedure of the same name, this is not yet resolved and
1429 the error is cleared.
1431 * trans-intrinsic.c (gfc_conv_associated): Make provision for
1432 zero array length or zero string length contingent on presence
1433 of target, for consistency with standard.
1435 2006-05-30 Asher Langton <langton2@llnl.gov>
1437 * symbol.c (check_conflict): Allow external, function, and
1438 subroutine attributes with Cray pointees.
1439 * trans-expr.c (gfc_conv_function_val): Translate Cray pointees
1440 that point to procedures.
1441 * gfortran.texi: Document new feature.
1443 2006-05-29 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1446 * io.c (check_format): Add error for missing period in format
1447 specifier unless -std=legacy.
1448 * gfortran.texi: Add description of expanded namelist read and
1449 missing period in format extensions.
1451 2006-05-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1454 * trans-array.c (gfc_conv_array_ref): Perform out-of-bounds
1455 checking for assumed-size arrrays for all but the last dimension.
1457 2006-05-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1459 * invoke.texi: Change -fpackderived into -fpack-derived.
1461 2006-05-29 Kazu Hirata <kazu@codesourcery.com>
1463 * options.c, primary.c, resolve.c, trans-common.c: Fix typos
1466 2006-05-28 Kazu Hirata <kazu@codesourcery.com>
1468 * check.c, expr.c, resolve.c, trans-common.c,
1469 trans-intrinsic.c, trans-stmt.c, trans-types.c: Fix comment typos.
1471 2006-05-27 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1474 * trans-array.c (gfc_conv_array_ref): Don't perform out-of-bounds
1475 checking for assumed-size arrrays.
1477 2006-05-27 Paul Thomas <pault@gcc.gnu.org>
1479 * trans-intrinsic.c (gfc_conv_associated): If pointer in first
1480 arguments has zero array length of zero string length, return
1483 2006-05-26 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1486 * trans-array.c (gfc_trans_dummy_array_bias): Don't use stride as
1487 a temporary variable when -fbounds-check is enabled, since its
1488 value will be needed later.
1490 2006-05-26 Thomas Koenig <Thomas.Koenig@online.de>
1493 * io.c (match_io): print (1,*) is an error.
1495 2006-05-26 Paul Thomas <pault@gcc.gnu.org>
1498 * resolve.c (find_array_spec): Add gfc_symbol, derived, and
1499 use to track repeated component references.
1503 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Use
1504 se->string_length throughout and use memcpy to populate the
1505 expression returned to the scalarizer.
1506 (gfc_size_in_bytes): New function.
1508 2006-05-21 Paul Thomas <pault@gcc.gnu.org>
1511 * primary.c (gfc_match_rvalue): Test if symbol represents a
1512 direct recursive function reference. Error if array valued,
1513 go to function0 otherwise.
1515 2006-05-21 Paul Thomas <pault@gcc.gnu.org>
1518 * interface.c (gfc_extend_assign): Use new EXEC_ASSIGN_CALL.
1519 * gfortran.h : Put EXEC_ASSIGN_CALL in enum.
1520 * trans-stmt.c (gfc_conv_elemental_dependencies): New function.
1521 (gfc_trans_call): Call it. Add new boolian argument to flag
1522 need for dependency checking. Assert intent OUT and IN for arg1
1524 (gfc_trans_forall_1): Use new code EXEC_ASSIGN_CALL.
1525 trans-stmt.h : Modify prototype of gfc_trans_call.
1526 trans.c (gfc_trans_code): Add call for EXEC_ASSIGN_CALL.
1527 st.c (gfc_free_statement): Free actual for EXEC_ASSIGN_CALL.
1528 * dependency.c (gfc_check_fncall_dependency): Don't check other
1532 * resolve.c : Remove resolving_index_expr.
1533 (entry_parameter): Remove.
1534 (gfc_resolve_expr, resolve_charlen, resolve_fl_variable): Lift
1535 calls to entry_parameter and references to resolving_index_expr.
1538 * check.c (gfc_check_associated): Replace NULL assert with an
1539 error message, since it is possible to generate bad code that
1540 has us fall through to here..
1543 * iresolve.c (maxloc, minloc): If DIM is not present, pass the
1544 rank of ARRAY as the shape of the result. Otherwise, pass the
1545 shape of ARRAY, less the dimension DIM.
1546 (maxval, minval): The same, when DIM is present, otherwise no
1549 2006-05-19 H.J. Lu <hongjiu.lu@intel.com>
1552 * trans-array.c (gfc_conv_expr_descriptor): Don't zero the
1553 first stride to indicate a temporary.
1554 * trans-expr.c (gfc_conv_function_call): Likewise.
1556 2006-05-18 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1557 Feng Wang <fengwang@nudt.edu.cn>
1560 * dump-parse-tree.c (gfc_show_expr): Deal with Hollerith constants.
1561 * data.c (create_character_intializer): Set from_H flag if character is
1562 initialized by Hollerith constant.
1564 2006-05-17 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1567 * resolve.c (resolve_call, resolve_function): Issue an error
1568 if a function or subroutine call is recursive but the function or
1569 subroutine wasn't declared as such.
1571 2006-05-07 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1574 * gfortran.dg/recursive_check_1.f: New test.
1577 2006-05-17 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1580 * dump-parse-tree.c (gfc_show_code_node): Try harder to find the
1581 called procedure name.
1583 2006-05-17 Jakub Jelinek <jakub@redhat.com>
1586 * trans-openmp.c (gfc_trans_omp_parallel_do,
1587 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare): Set
1588 OMP_PARALLEL_COMBINED flag.
1590 2006-05-16 H.J. Lu <hongjiu.lu@intel.com>
1593 * Make-lang.in (GFORTRAN_D_OBJS): Replace gcc.o with
1596 2006-05-15 Paul Thomas <pault@gcc.gnu.org>
1599 * resolve.c: Static resolving_index_expr initialized.
1600 (entry_parameter): New function to emit errors for variables
1601 that are not entry parameters.
1602 (gfc_resolve_expr): Call entry_parameter, when resolving
1603 variables, if the namespace has entries and resolving_index_expr
1605 (resolve_charlen): Set resolving_index_expr before the call to
1606 resolve_index_expr and reset it afterwards.
1607 (resolve_fl_variable): The same before and after the call to
1608 is_non_constant_shape_array, which ultimately makes a call to
1612 * resolve.c (resolve_code): Add error condition that the return
1613 expression must be scalar.
1616 * matchexp.c (gfc_get_parentheses): New function.
1617 (match_primary): Remove inline code and call above.
1618 * gfortran.h: Provide prototype for gfc_get_parentheses.
1619 * resolve.c (resolve_array_ref): Call the above, when start is a
1620 derived type variable array reference.
1622 2006-05-15 Jakub Jelinek <jakub@redhat.com>
1625 * trans-openmp.c (gfc_trans_omp_array_reduction): Ensure
1626 OMP_CLAUSE_REDUCTION_{INIT,MERGE} are set to BIND_EXPR.
1628 2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
1630 * Make-lang.in (fortran/options.o): Depend on $(TARGET_H).
1632 2006-05-11 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1635 * parse.c (next_free): Return instead of calling decode_statement
1638 2005-05-10 Thomas Koenig <Thomas.Koenig@online.de>
1641 * trans-array.c(gfc_array_allocate): If ref->next exists
1642 that is if there is a statement like ALLOCATE(foo%bar(2)),
1643 F95 rules require that bar should be a pointer.
1645 2006-05-10 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1648 * resolve.c (gfc_resolve_index): Make REAL array indices a
1649 GFC_STD_LEGACY feature.
1651 2006-05-10 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1654 * parse.c (reject_statement): Clear gfc_new_block.
1656 2006-05-09 Steven G. Kargl <kargls@comcast.net>
1658 * invoke.texi: Missed file in previous commit. Update
1659 description of -fall-intrinsics
1661 2006-05-07 Steven Boscher <steven@gcc.gnu.org>
1664 * parse.c (next_statement): Add check to avoid an ICE when
1665 gfc_current_locus.lb is not set.
1667 2006-05-07 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1670 * match.c (match_case_eos): Error out on garbage following
1673 2006-05-07 Paul Thomas <pault@gcc.gnu.org>
1676 * trans-array.c (get_array_ctor_strlen): Remove static attribute.
1677 * trans.h: Add prototype for get_array_ctor_strlen.
1678 * trans-intrinsic.c (gfc_conv_intrinsic_len): Switch on EXPR_ARRAY
1679 and call get_array_ctor_strlen.
1681 2006-05-05 Steven G. Kargl <kargls@comcast.net>
1683 * invoke.texi: Update description of -fall-intrinsics
1684 * options.c (gfc_post_options): Disable -Wnonstd-intrinsics if
1685 -fall-intrinsics is used.
1686 (gfc_handle_option): Permit -Wno-nonstd-intrinsics.
1688 2006-05-04 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1690 * simplify.c (ascii_table): Fix wrong entry.
1692 2006-05-02 Steven G. Kargl <kargls@comcast.net>
1695 * lang.opt: Fix -Wtab description
1698 * lang.opt: New flag -fall-intrinsics.
1699 * invoke.texi: Document option.
1700 * gfortran.h (options_t): New member flag_all_intrinsics.
1701 * options.c (gfc_init_options, gfc_handle_option): Set new option.
1702 sort nearby misplaced options.
1703 * intrinsic.c (add_sym, make_generic, make_alias): Use it.
1705 2006-05-02 Paul Thomas <pault@gcc.gnu.org>
1708 * module.c: Add static flag in_load_equiv.
1709 (mio_expr_ref): Return if no symtree and in_load_equiv.
1710 (load_equiv): If any of the equivalence members have no symtree, free
1711 the equivalence and the associated expressions.
1714 * trans-common.c (gfc_trans_common): Invert the order of calls to
1715 finish equivalences and gfc_commit_symbols.
1717 2006-04-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1720 * simplify.c (simplify_len): Character variables with constant
1721 length can be simplified.
1723 2006-04-29 H.J. Lu <hongjiu.lu@intel.com>
1726 * trans-array.c (gfc_conv_array_transpose): Move gcc_assert
1727 before gfc_conv_expr_descriptor.
1729 2006-04-23 Paul Thomas <pault@gcc.gnu.org>
1732 * resolve.c (resolve_call): Check conformity of elemental
1733 subroutine actual arguments.
1735 2006-04-22 Jakub Jelinek <jakub@redhat.com>
1738 * iresolve.c (gfc_resolve_reshape): Use reshape_r16 for real(16).
1739 (gfc_resolve_transpose): Use transpose_r16 for real(16).
1741 2006-04-21 Paul Thomas <pault@gcc.gnu.org>
1744 * resolve.c (resolve_function): Remove general restriction on auto
1745 character length function interfaces.
1746 (gfc_resolve_uops): Check restrictions on defined operator
1748 (resolve_types): Call the check for defined operators.
1751 * trans-array.c (gfc_trans_array_constructor_subarray): Remove
1752 redundant gfc_todo_error.
1753 (get_array_ctor_var_strlen): Remove typo in enum.
1755 2006-04-18 Bernhard Fischer <aldot@gcc.gnu.org>
1757 * parse.c (next_free): Use consistent error string between
1758 free-form and fixed-form for illegal statement label of zero.
1759 (next_fixed): Use consistent warning string between free-form
1760 and fixed-form for statement labels for empty statements.
1762 2006-04-18 Steve Ellcey <sje@cup.hp.com>
1764 * trans-io.c (gfc_build_io_library_fndecls): Align pad.
1766 2006-04-16 Thomas Koenig <Thomas.Koenig@online.de>
1769 * trans-array.c(gfc_array_init_size): Introduce or_expr
1770 which is true if the size along any dimension
1771 is negative. Create a temporary variable with base
1772 name size. If or_expr is true, set the temporary to 0,
1773 to the normal size otherwise.
1775 2006-04-16 Paul Thomas <pault@gcc.gnu.org>
1778 * intrinsic.c (add_functions): Mark LOGICAL as elemental.
1781 * expr.c (gfc_check_assign): Extend scope of error to include
1782 assignments to a procedure in the main program or, from a
1783 module or internal procedure that is not that represented by
1784 the lhs symbol. Use VARIABLE rather than l-value in message.
1787 * trans-array.c (gfc_trans_deferred_array): If the backend_decl
1788 is not a descriptor, dereference and then test and use the type.
1791 * trans-decl.c (gfc_trans_deferred_vars): Check if an array
1792 result, is also automatic character length. If so, process
1793 the character length.
1798 * trans_intrinsic.c (gfc_walk_intrinsic_bound): Set
1799 data.info.dimen for bound intrinsics.
1800 * trans_array.c (gfc_conv_ss_startstride): Pick out LBOUND and
1801 UBOUND intrinsics and supply their shape information to the ss
1805 * trans_expr.c (gfc_trans_function_call): Add a new block, post,
1806 in to which all the argument post blocks are put. Add this block
1807 to se->pre after a byref call or to se->post, otherwise.
1809 2006-04-14 Roger Sayle <roger@eyesopen.com>
1811 * trans-io.c (set_string): Use fold_build2 and build_int_cst instead
1812 of build2 and convert to construct "x < 0" rather than "x <= -1".
1814 2006-04-13 Richard Henderson <rth@redhat.com>
1816 * trans-openmp.c (gfc_trans_omp_sections): Adjust for changed
1817 number of operands to OMP_SECTIONS.
1819 2006-04-08 Kazu Hirata <kazu@codesourcery.com>
1821 * gfortran.texi: Fix typos. Follow spelling conventions.
1822 * resolve.c, trans-expr.c, trans-stmt.c: Fix comment typos.
1823 Follow spelling conventions.
1825 2006-04-05 Roger Sayle <roger@eyesopen.com>
1827 * dependency.c (get_no_elements): Delete function.
1828 (get_deps): Delete function.
1829 (transform_sections): Delete function.
1830 (gfc_check_section_vs_section): Significant rewrite.
1832 2006-04-04 H.J. Lu <hongjiu.lu@intel.com>
1835 * trans-array.c (gfc_conv_expr_descriptor): Only dereference
1836 character pointer when copying temporary.
1839 * trans-array.c (gfc_conv_expr_descriptor): Properly copy
1840 temporary character with non constant size.
1842 2006-04-03 Paul Thomas <pault@gcc.gnu.org>
1845 * trans.h: Prototype for gfc_conv_missing_dummy.
1846 * trans-expr (gfc_conv_missing_dummy): New function
1847 (gfc_conv_function_call): Call it and tidy up some of the code.
1848 * trans-intrinsic (gfc_conv_intrinsic_function_args): The same.
1851 * array.c (gfc_array_dimen_size): If available, return shape[dimen].
1852 * resolve.c (resolve_function): If available, use the argument
1853 shape for the function expression.
1854 * iresolve.c (gfc_resolve_transfer): Set shape[0] = size.
1856 2006-04-02 Erik Edelmann <eedelman@gcc.gnu.org>
1858 * trans-array.c (gfc_trans_dealloc_allocated): Take a
1859 tree representation of the array to be deallocated as argument
1860 instead of its gfc_symbol.
1861 (gfc_trans_deferred_array): Update call to
1862 gfc_trans_dealloc_allocated.
1863 * trans-array.h (gfc_trans_dealloc_allocated): Update
1865 * trans-expr.c (gfc_conv_function_call): Update call to
1866 gfc_trans_dealloc_allocated, get indirect reference to dummy
1869 2006-04-01 Roger Sayle <roger@eyesopen.com>
1872 * trans-array.c (gfc_trans_allocate_array_storage): In array index
1873 calculations use gfc_index_zero_node and gfc_index_one_node instead
1874 of integer_zero_node and integer_one_node respectively.
1875 (gfc_conv_array_transpose): Likewise.
1876 (gfc_conv_ss_startstride): Likewise.
1877 (gfc_trans_dummy_array_bias): Likewise.
1879 2006-04-01 Roger Sayle <roger@eyesopen.com>
1881 * dependency.c (gfc_is_inside_range): Delete.
1882 (gfc_check_element_vs_section): Significant rewrite.
1884 2006-04-01 Roger Sayle <roger@eyesopen.com>
1886 * dependency.c (gfc_dep_compare_expr): Strip parentheses and unary
1887 plus operators when comparing expressions. Handle comparisons of
1888 the form "X+C vs. X", "X vs. X+C", "X-C vs. X" and "X vs. X-C" where
1889 C is an integer constant. Handle comparisons of the form "P+Q vs.
1890 R+S" and "P-Q vs. R-S". Handle comparisons of integral extensions
1891 specially (increasing functions) so extend(A) > extend(B), when A>B.
1892 (gfc_check_element_vs_element): Move test later, so that we ignore
1893 the fact that "A < B" or "A > B" when A or B contains a forall index.
1895 2006-03-31 Asher Langton <langton2@llnl.gov>
1898 * expr.c (gfc_check_assign): Allow cray pointee to be assumes-size.
1900 2006-03-30 Paul Thomas <paulthomas2@wanadoo.fr>
1901 Bud Davis <bdavis9659@sbcglobal.net>
1904 * module.c (load_needed): Traverse entire tree before returning.
1906 2006-03-30 Roger Sayle <roger@eyesopen.com>
1909 * trans.c (gfc_trans_runtime_check): Promote the arguments of
1910 __builtin_expect to the correct types, and the result back to
1913 2006-03-29 Carlos O'Donell <carlos@codesourcery.com>
1915 * Make-lang.in: Rename docdir to gcc_docdir.
1917 2006-03-28 Steven G. Kargl <kargls@comcast.net>
1919 * intrinsic.texi: s/floor/float in previous commit.
1921 2006-03-28 Paul Thomas <pault@gcc.gnu.org>
1924 * resolve.c (resolve_fl_procedure): Do not check the access of
1925 derived types for internal procedures.
1927 2006-03-27 Jakub Jelinek <jakub@redhat.com>
1929 * io.c (check_io_constraints): Don't look at
1930 dt->advance->value.charater.string, unless it is a CHARACTER
1933 * f95-lang.c (gfc_get_alias_set): New function.
1934 (LANG_HOOKS_GET_ALIAS_SET): Define.
1936 2006-03-25 Steven G. Kargl <kargls@comcast.net>
1939 * intrinsic.c (add_functions): Allow FLOAT to accept all integer kinds.
1940 * intrinsic.texi: Document FLOAT.
1942 2006-03-25 Thomas Koenig <Thomas.Koenig@online.de>
1945 * iresolve.c (gfc_resolve_reshape): Remove doubling of
1946 kind for complex. For real(kind=10), call reshape_r10.
1947 (gfc_resolve_transpose): For real(kind=10), call
1950 2006-03-25 Roger Sayle <roger@eyesopen.com>
1952 * dependency.c (gfc_check_dependency): Improve handling of pointers;
1953 Two variables of different types can't have a dependency, and two
1954 variables with the same symbol are equal, even if pointers.
1956 2006-03-24 Roger Sayle <roger@eyesopen.com>
1958 * gfortran.h (gfc_symbol): Add a new "forall_index" bit field.
1959 * match.c (match_forall_iterator): Set forall_index field on
1960 the iteration variable's symbol.
1961 * dependency.c (contains_forall_index_p): New function to
1962 traverse a gfc_expr to check whether it contains a variable
1963 with forall_index set in it's symbol.
1964 (gfc_check_element_vs_element): Return GFC_DEP_EQUAL for scalar
1965 constant expressions that don't variables used as FORALL indices.
1967 2006-03-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
1970 * error.c (gfc_fatal_error): Return ICE_EXIT_CODE instead of 4.
1972 2006-03-22 Thomas Koenig <Thomas.Koenig@online.de>
1975 * gfortran.h (gfc_option_t): Add record_marker.
1976 * lang.opt: Add -frecord-marker=4 and -frecord-marker=8.
1977 * trans-decl.c: Add gfor_fndecl_set_record_marker.
1978 (gfc_build_builtin_function_decls): Set
1979 gfor_fndecl_set_record_marker.
1980 (gfc_generate_function_code): If we are in the main program
1981 and -frecord-marker was provided, call set_record_marker.
1982 * options.c (gfc_handle_option): Add handling for
1983 -frecord-marker=4 and -frecord-marker=8.
1984 * invoke.texi: Document -frecord-marker.
1986 2006-03-22 Paul Thomas <pault@gcc.gnu.org>
1989 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): New
1990 function to implement array valued TRANSFER intrinsic.
1991 (gfc_conv_intrinsic_function): Call the new function if TRANSFER
1992 and non-null se->ss.
1993 (gfc_walk_intrinsic_function): Treat TRANSFER as one of the
1994 special cases by calling gfc_walk_intrinsic_libfunc directly.
1996 2006-03-21 Toon Moene <toon@moene.indiv.nluug.nl>
1998 * options.c (gfc_init_options): Initialize
1999 flag_argument_noalias to 3.
2001 2006-03-20 Thomas Koenig <Thomas.Koenig@online.de>
2004 * iresolve.c (gfc_resolve_maxloc): If mask is scalar,
2005 prefix the function name with an "s". If the mask is scalar
2006 or if its kind is smaller than gfc_default_logical_kind,
2007 coerce it to default kind.
2008 (gfc_resolve_maxval): Likewise.
2009 (gfc_resolve_minloc): Likewise.
2010 (gfc_resolve_minval): Likewise.
2011 (gfc_resolve_product): Likewise.
2012 (gfc_resolve_sum): Likewise.
2014 2006-03-19 Paul Thomas <pault@gcc.gnu.org>
2017 *expr.c (external_spec_function): Permit elemental functions.
2020 *interface.c (compare_actual_formal): Detect call for procedure
2021 usage and require rank checking, in this case, for assumed shape
2022 and deferred shape arrays.
2023 (gfc_procedure_use): Revert to pre-PR25070 call to
2024 compare_actual_formal that does not require rank checking..
2026 2006-03-16 Roger Sayle <roger@eyesopen.com>
2028 * gfortran.h (gfc_equiv_info): Add length field.
2029 * trans-common.c (copy_equiv_list_to_ns): Set the length field.
2030 * dependency.c (gfc_are_equivalenced_arrays): Use both the offset
2031 and length fields to determine whether the two equivalenced symbols
2034 2006-03-14 Jerry DeLisle <jvdelisle@gcc.gnu.org>
2037 * gfortran.h: Add warn_ampersand.
2038 * invoke.texi: Add documentation for new option.
2039 * lang.opt: Add Wampersand.
2040 * options.c (gfc_init_options): Initialize warn_ampersand.
2041 (gfc_post_options): Set the warn if pedantic.
2042 (set_Wall): Set warn_ampersand.
2043 (gfc_handle_option: Add Wampersand for itself, -std=f95, and -std=f2003.
2044 * scanner.c (gfc_next_char_literal): Add test for missing '&' in
2045 continued character constant and give warning if missing.
2047 2006-03-14 Steven G. Kargl <kargls@comcast.net>
2050 * gfortran.h: Wrap Copyright line.
2051 (gfc_option_t): add warn_tabs member.
2052 * lang.opt: Update Coyright year. Add the Wtabs.
2053 * invoke.texi: Document -Wtabs.
2054 * scanner.c (gfc_gobble_whitespace): Use warn_tabs. Add linenum to
2055 suppress multiple warnings.
2056 (load_line): Use warn_tabs. Add linenum, current_line, seen_comment
2057 to suppress multiple warnings.
2058 * options.c (gfc_init_options): Initialize warn_tabs.
2059 (set_Wall): set warn_tabs for -Wall.
2060 (gfc_post_options): Adjust flag_tabs depending on -pedantic.
2061 (gfc_handle_option): Process command-line option -W[no-]tabs
2063 2006-03-13 Paul Thomas <pault@gcc.gnu.org>
2066 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Set the initial position to zero and
2067 modify the condition for updating it, to implement the F2003 requirement for all(mask)
2070 2006-03-13 Jakub Jelinek <jakub@redhat.com>
2072 * trans-openmp.c (gfc_trans_omp_variable): Handle references
2074 * trans-expr.c (gfc_conv_variable): Remove useless setting
2075 of parent_flag, formatting.
2077 * trans-decl.c (gfc_get_fake_result_decl): Re-add setting of
2078 GFC_DECL_RESULT flag.
2080 2003-03-11 Roger Sayle <roger@eyesopen.com>
2082 * dependency.c (gfc_dep_compare_expr) <EXPR_OP>: Allow unary and
2083 binary operators to compare equal if their operands are equal.
2084 <EXPR_FUNCTION>: Allow "constant" intrinsic conversion functions
2085 to compare equal, if their operands are equal.
2087 2006-03-11 Erik Edelmann <eedelman@gcc.gnu.org>
2089 * symbol.c (check_conflict): Allow allocatable function results,
2090 except for elemental functions.
2091 * trans-array.c (gfc_trans_allocate_temp_array): Rename to ...
2092 (gfc_trans_create_temp_array): ... this, and add new argument
2094 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call
2095 to gfc_trans_allocate_temp_array.
2096 * trans-array.h (gfc_trans_allocate_temp_array): Update prototype.
2097 * trans-expr.c (gfc_conv_function_call): Use new arg of
2098 gfc_trans_create_temp_array avoid pre-allocation of temporary
2099 result variables of pointer AND allocatable functions.
2100 (gfc_trans_arrayfunc_assign): Return NULL for allocatable
2102 * resolve.c (resolve_symbol): Copy value of 'allocatable' attribute
2103 from sym->result to sym.
2105 2006-03-09 Erik Edelmann <eedelman@gcc.gnu.org>
2107 * trans-expr.c (gfc_add_interface_mapping): Copy 'allocatable'
2108 attribute from sym to new_sym. Call build_fold_indirect_ref()
2109 for allocatable arguments.
2111 2006-03-09 Paul Thomas <pault@gcc.gnu.org>
2114 * trans-array.c (gfc_conv_expr_descriptor): Exclude calculation of
2115 the offset and data when se->data_not_needed is set.
2116 * trans.h: Include the data_not_need bit in gfc_se.
2117 * trans-intrinsic.c (gfc_conv_intrinsic_size): Set it for SIZE.
2119 2006-03-06 Paul Thomas <pault@gcc.gnu.org>
2120 Erik Edelmann <eedelman@gcc.gnu.org>
2122 * trans-array.c (gfc_trans_dealloc_allocated): New function.
2123 (gfc_trans_deferred_array): Use it, instead of inline code.
2124 * trans-array.h: Prototype for gfc_trans_dealloc_allocated().
2125 * trans-expr.c (gfc_conv_function_call): Deallocate allocated
2126 ALLOCATABLE, INTENT(OUT) arguments upon procedure entry.
2128 2006-03-06 Paul Thomas <pault@gcc.gnu.org>
2131 * resolve.c (resolve_function): Add name after test for pureness.
2134 * trans-expr.c (gfc_conv_variable): Detect reference to parent result,
2135 store current_function_decl, replace with parent, whilst calls are
2136 made to gfc_get_fake_result_decl, and restore afterwards. Signal this
2137 to gfc_get_fake_result_decl with a new argument, parent_flag.
2138 * trans-stmt.c (gfc_trans_return): gfc_get_fake_result_decl 2nd arg
2140 * trans.h: Add parent_flag to gfc_get_fake_result_decl prototype.
2141 * trans-decl.c (gfc_get_fake_result_decl): On parent_flag, being set,
2142 add decl to parent function. Replace refs to current_fake_result_decl
2143 with refs to this_result_decl.
2144 (gfc_generate_function_code): Null parent_fake_result_decl before the
2145 translation of code for contained procedures. Set parent_flag to zero
2146 in call to gfc_get_fake_result_decl.
2147 * trans-intrinsic.c (gfc_conv_intrinsic_len): The same.
2149 2006-03-05 Steven G. Kargl <kargls@comcast.net>
2151 * simplify.c (gfc_simplify_verify): Fix return when SET=''.
2153 2006-03-05 Erik Edelmann <eedelman@gcc.gnu.org>
2156 * symbol.c (conf_std): New macro.
2157 (check_conflict): Use it to allow ALLOCATABLE dummy
2158 arguments for F2003.
2159 * trans-expr.c (gfc_conv_function_call): Pass the
2160 address of the array descriptor when dummy argument is
2162 * interface.c (compare_allocatable): New function.
2163 (compare_actual_formal): Use it.
2164 * resolve.c (resolve_deallocate_expr,
2165 resolve_allocate_expr): Check that INTENT(IN) variables
2166 aren't (de)allocated.
2167 * gfortran.texi (Fortran 2003 status): List ALLOCATABLE
2168 dummy arguments as supported.
2170 2006-03-03 Roger Sayle <roger@eyesopen.com>
2172 * dependency.c (gfc_check_element_vs_element): Revert last change.
2174 2006-03-03 Roger Sayle <roger@eyesopen.com>
2176 * dependency.c (gfc_check_element_vs_element): Consider two
2177 unordered scalar subscripts as (potentially) equal.
2179 2006-03-03 Roger Sayle <roger@eyesopen.com>
2181 * dependency.c (gfc_check_dependency): Call gfc_dep_resolver to
2182 check whether two array references have a dependency.
2183 (gfc_check_element_vs_element): Assume lref and rref must be
2184 REF_ARRAYs. If gfc_dep_compare_expr returns -2, assume these
2185 references could potentially overlap.
2186 (gfc_dep_resolver): Whitespace and comment tweaks. Assume a
2187 dependency if the references have different depths. Rewrite
2188 final term to clarrify we only have a dependency for overlaps.
2190 2006-03-03 Thomas Koenig <Thomas.Koenig@online.de>
2193 * trans-array.h: Adjust gfc_array_allocate prototype.
2194 * trans-array.c (gfc_array_allocate): Change type of
2195 gfc_array_allocatate to bool. Function returns true if
2196 it operates on an array. Change second argument to gfc_expr.
2197 Find last reference in chain.
2198 If the function operates on an allocatable array, emit call to
2199 allocate_array() or allocate64_array().
2200 * trans-stmt.c (gfc_trans_allocate): Code to follow to last
2201 reference has been moved to gfc_array_allocate.
2202 * trans.h: Add declaration for gfor_fndecl_allocate_array and
2203 gfor_fndecl_allocate64_array.
2204 (gfc_build_builtin_function_decls): Add gfor_fndecl_allocate_array
2205 and gfor_fndecl_allocate64_array.
2207 2006-03-01 Roger Sayle <roger@eyesopen.com>
2209 * trans-stmt.c (generate_loop_for_temp_to_lhs): Add an additional
2210 INVERT argument to invert the sense of the WHEREMASK argument.
2211 Remove unneeded code to AND together a list of masks.
2212 (generate_loop_for_rhs_to_temp): Likewise.
2213 (gfc_trans_assign_need_temp): Likewise.
2214 (gfc_trans_forall_1): Likewise.
2215 (gfc_evaluate_where_mask): Likewise, add a new INVERT argument
2216 to specify the sense of the MASK argument.
2217 (gfc_trans_where_assign): Likewise.
2218 (gfc_trans_where_2): Likewise. Restructure code that decides
2219 whether we need to allocate zero, one or two temporary masks.
2220 If this is a top-level WHERE (i.e. the incoming MASK is NULL),
2221 we only need to allocate at most one temporary mask, and can
2222 invert it's sense to provide the complementary pending execution
2223 mask. Only calculate the size of the required temporary arrays
2225 (gfc_trans_where): Update call to gfc_trans_where_2.
2227 2006-03-01 Paul Thomas <pault@gcc.gnu.org>
2229 * iresolve.c (gfc_resolve_dot_product): Remove any difference in
2230 treatment of logical types.
2231 * trans-intrinsic.c (gfc_conv_intrinsic_dot_product): New function.
2234 * trans-decl.c (gfc_get_symbol_decl): Extend condition that symbols
2235 must be referenced to include unreferenced symbols in an interface
2239 * trans-array.c (gfc_conv_resolve_dependencies): Add call to
2240 gfc_are_equivalenced_arrays.
2241 * symbol.c (gfc_free_equiv_infos, gfc_free_equiv_lists): New
2242 functions. (gfc_free_namespace): Call them.
2243 * trans-common.c (copy_equiv_list_to_ns): New function.
2244 (add_equivalences): Call it.
2245 * gfortran.h: Add equiv_lists to gfc_namespace and define
2246 gfc_equiv_list and gfc_equiv_info.
2247 * dependency.c (gfc_are_equivalenced_arrays): New function.
2248 (gfc_check_dependency): Call it.
2249 * dependency.h: Prototype for gfc_are_equivalenced_arrays.
2251 2006-03-01 Roger Sayle <roger@eyesopen.com>
2253 * dependency.c (gfc_is_same_range): Compare the stride, lower and
2254 upper bounds when testing array reference ranges for equality.
2255 (gfc_check_dependency): Fix indentation whitespace.
2256 (gfc_check_element_vs_element): Likewise.
2257 (gfc_dep_resolver): Likewise.
2259 2006-02-28 Thomas Koenig <Thomas.Koenig@online.de>
2261 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc):
2262 If the mask expression exists and has rank 0, enclose the
2263 generated loop in an "if (mask)". Put the default
2264 initialization into the else branch.
2266 2006-02-25 Thomas Koenig <Thomas.Koenig@online.de>
2269 * trans-intrinsic.c (gfc_conv_intrinsic_arith): If the
2270 mask expression exists and has rank 0, enclose the generated
2271 loop in an "if (mask)".
2272 * (gfc_conv_intrinsic_minmaxloc): Likewise.
2274 2006-02-24 Paul Thomas <pault@gcc.gnu.org>
2277 * resolve.c (resolve_contained_functions, resolve_types,
2278 gfc_resolve): Revert patch of 2006-02-19.
2280 2006-02-24 Paul Thomas <pault@gcc.gnu.org>
2283 * dependency.c (gfc_is_same_range): Correct typo.
2284 (gfc_check_section_vs_section): Call gfc_is_same_range.
2287 * trans-common.c (add_equivalences): Add a new flag that is set when
2288 an equivalence is seen that prevents more from being reset until the
2289 start of a new traversal of the list, thus ensuring completion of
2290 all the equivalences.
2292 2006-02-23 Erik Edelmann <eedelman@gcc.gnu.org>
2294 * module.c (read_module): Remove redundant code lines.
2296 2006-02-20 Rafael
\81Ávila de Esp
\81índola <rafael.espindola@gmail.com>
2297 * Make-lang.in (FORTRAN): Remove
2298 (.PHONY): Remove F95 and f95. Add fortran
2300 2006-02-20 Roger Sayle <roger@eyesopen.com>
2302 * trans-stmt.c (gfc_trans_where_2): Avoid updating unused current
2303 execution mask for empty WHERE/ELSEWHERE clauses. Don't allocate
2304 temporary mask arrays if they won't be used.
2306 2006-02-20 Roger Sayle <roger@eyesopen.com>
2308 * trans-stmt.c (gfc_trans_where_assign): Remove code to handle
2309 traversing a linked list of MASKs. The MASK is now always a
2310 single element requiring no ANDing during the assignment.
2312 2006-02-19 Thomas Koenig <Thomas.Koenig@online.de>
2314 * gfortran.texi: Document environment variables which
2315 influence runtime behavior.
2317 2006-02-19 H.J. Lu <hongjiu.lu@intel.com>
2319 * resolve.c (resolve_contained_functions): Call resolve_entries
2321 (resolve_types): Remove calls to resolve_entries and
2322 resolve_contained_functions.
2323 (gfc_resolve): Call resolve_contained_functions.
2325 2006-02-19 Erik Edelmann <eedelman@gcc.gnu.org>
2328 * intrinsic.c (gfc_convert_type_warn): Call
2329 gfc_intrinsic_symbol() on the newly created symbol.
2331 2006-02-19 Paul Thomas <pault@gcc.gnu.org>
2334 * resolve.c (is_non_constant_shape_array): New function.
2335 (resolve_fl_variable): Remove code for the new function and call it.
2336 (resolve_fl_namelist): New function. Add test for namelist array
2337 with non-constant shape, using is_non_constant_shape_array.
2338 (resolve_symbol): Remove code for resolve_fl_namelist and call it.
2341 * match.c (match_namelist): Increment the refs field of an accepted
2342 namelist object symbol.
2343 * resolve.c (resolve_fl_namelist): Test namelist objects for a conflict
2344 with contained or module procedures.
2346 2006-02-18 Roger Sayle <roger@eyesopen.com>
2348 * trans-stmt.c (struct temporary_list): Delete.
2349 (gfc_trans_where_2): Major reorganization. Remove no longer needed
2350 TEMP argument. Allocate and deallocate the control mask and
2351 pending control mask locally.
2352 (gfc_trans_forall_1): Delete TEMP local variable, and update
2353 call to gfc_trans_where_2. No need to deallocate arrays after.
2354 (gfc_evaluate_where_mask): Major reorganization. Change return
2355 type to void. Pass in parent execution mask, MASK, and two
2356 already allocated mask arrays CMASK and PMASK. On return
2357 CMASK := MASK & COND, PMASK := MASK & !COND. MASK, CMASK and
2358 CMASK may all be NULL, or refer to the same temporary arrays.
2359 (gfc_trans_where): Update call to gfc_trans_where_2. We no
2360 longer need a TEMP variable or to deallocate temporary arrays
2361 allocated by gfc_trans_where_2.
2363 2006-02-18 Danny Smith <dannysmith@users.sourceforeg.net>
2365 * gfortran.h (gfc_add_attribute): Change uint to unsigned int.
2366 * symbol.c (gfc_add_attribute): Likewise for definition.
2367 * resolve.c (resolve_global_procedure): Likewise for variable 'type'.
2369 2006-02-17 Richard Sandiford <richard@codesourcery.com>
2371 * trans-common.c: Include rtl.h earlier.
2372 * trans-decl.c: Likewise.
2374 2006-02-16 Jakub Jelinek <jakub@redhat.com>
2377 * parse.c (parse_omp_do, parse_omp_structured_block): Call
2378 gfc_commit_symbols and gfc_warning_check.
2380 * openmp.c (resolve_omp_clauses): Add a dummy case label to workaround
2381 PR middle-end/26316.
2383 2006-02-16 Paul Thomas <pault@gcc.gnu.org>
2386 * trans-expr.c (gfc_add_interface_mapping): Use the actual argument
2387 for character(*) arrays, rather than casting to the type and kind
2388 parameters of the formal argument.
2390 2006-02-15 Toon Moene <toon@moene.indiv.nluug.nl>
2393 * options.c: Do not warn for Fortran 2003 features by default.
2395 2006-02-15 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
2397 * check.c: Update copyright years.
2399 * check.c (gfc_check_minloc_maxloc, check_reduction): Don't call
2400 dim_range_check on not-present optional dim argument.
2402 2006-02-15 Jakub Jelinek <jakub@redhat.com>
2406 * Make-lang.in (install-finclude-dir): New goal.
2407 (fortran.install-common): Depend on install-finclude-dir.
2408 * lang-specs.h: If not -nostdinc, add -I finclude.
2410 2006-02-14 Thomas Koenig <Thomas.Koenig@online.de>
2413 * check.c (dim_check): Perform all checks if dim is optional.
2414 (gfc_check_minloc_maxloc): Use dim_check and dim_rank_check
2415 to check dim argument.
2416 (check_reduction): Likewise.
2418 2006-02-14 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
2421 * io.c (match_ltag): Mark label as referenced.
2423 2006-02-14 Jakub Jelinek <jakub@redhat.com>
2424 Richard Henderson <rth@redhat.com>
2425 Diego Novillo <dnovillo@redhat.com>
2427 * invoke.texi: Document -fopenmp.
2428 * gfortran.texi (Extensions): Document OpenMP.
2430 Backport from gomp-20050608-branch
2431 * trans-openmp.c: Call build_omp_clause instead of
2432 make_node when creating OMP_CLAUSE_* trees.
2433 (gfc_trans_omp_reduction_list): Remove argument 'code'.
2436 * trans.h (build4_v): Define.
2437 * trans-openmp.c: Call build4_v to create OMP_PARALLEL nodes.
2438 Call build3_v to create OMP_SECTIONS nodes.
2441 * openmp.c (gfc_match_omp_variable_list): Call gfc_set_sym_referenced
2442 on all symbols added to the variable list.
2444 * openmp.c (gfc_match_omp_clauses): Fix check for non-INTRINSIC
2445 procedure symbol in REDUCTION.
2447 * trans-openmp.c (gfc_trans_omp_array_reduction): Use gfc_add
2448 for MINUS_EXPR OMP_CLAUSE_REDUCTION_CODE.
2450 * trans-openmp.c (gfc_trans_omp_do): Add PBLOCK argument. If PBLOCK
2451 is non-NULL, evaluate INIT/COND/INCR and chunk size expressions in
2452 that statement block.
2453 (gfc_trans_omp_parallel_do): Pass non-NULL PBLOCK to gfc_trans_omp_do
2454 for non-ordered non-static combined loops.
2455 (gfc_trans_omp_directive): Pass NULL PBLOCK to gfc_trans_omp_do.
2457 * openmp.c: Include target.h and toplev.h.
2458 (gfc_match_omp_threadprivate): Emit diagnostic if target does
2460 * Make-lang.in (fortran/openmp.o): Add dependencies on
2461 target.h and toplev.h.
2463 * trans-decl.c (gfc_get_fake_result_decl): Set GFC_DECL_RESULT.
2464 * trans-openmp.c (gfc_omp_privatize_by_reference): Make
2465 DECL_ARTIFICIAL vars predetermined shared except GFC_DECL_RESULT.
2466 (gfc_omp_disregard_value_expr): Handle GFC_DECL_RESULT.
2467 (gfc_trans_omp_variable): New function.
2468 (gfc_trans_omp_variable_list, gfc_trans_omp_reduction_list): Use it.
2469 * trans.h (GFC_DECL_RESULT): Define.
2471 * trans-openmp.c (gfc_omp_firstprivatize_type_sizes): New function.
2472 * f95-lang.c (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
2473 * trans.h (gfc_omp_firstprivatize_type_sizes): New prototype.
2475 * trans-openmp.c (gfc_omp_privatize_by_reference): Return
2476 true if a pointer has GFC_DECL_SAVED_DESCRIPTOR set.
2477 (gfc_trans_omp_array_reduction, gfc_trans_omp_reduction_list): New
2479 (gfc_trans_omp_clauses): Add WHERE argument. Call
2480 gfc_trans_omp_reduction_list rather than gfc_trans_omp_variable_list
2482 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
2483 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
2484 gfc_trans_omp_sections, gfc_trans_omp_single): Adjust
2485 gfc_trans_omp_clauses callers.
2487 * openmp.c (omp_current_do_code): New var.
2488 (gfc_resolve_omp_do_blocks): New function.
2489 (gfc_resolve_omp_parallel_blocks): Call it.
2490 (gfc_resolve_do_iterator): Add CODE argument. Don't propagate
2491 predetermination if argument is !$omp do or !$omp parallel do
2493 * resolve.c (resolve_code): Call gfc_resolve_omp_do_blocks
2494 for EXEC_OMP_DO. Adjust gfc_resolve_do_iterator caller.
2495 * fortran.h (gfc_resolve_omp_do_blocks): New prototype.
2496 (gfc_resolve_do_iterator): Add CODE argument.
2498 * trans.h (gfc_omp_predetermined_sharing,
2499 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
2501 (GFC_DECL_COMMON_OR_EQUIV, GFC_DECL_CRAY_POINTEE): Define.
2502 * trans-openmp.c (gfc_omp_predetermined_sharing,
2503 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
2505 * trans-common.c (build_equiv_decl, build_common_decl,
2506 create_common): Set GFC_DECL_COMMON_OR_EQUIV flag on the decls.
2507 * trans-decl.c (gfc_finish_cray_pointee): Set GFC_DECL_CRAY_POINTEE
2509 * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_SHARING,
2510 LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
2511 LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE): Define.
2513 * openmp.c (resolve_omp_clauses): Remove extraneous comma.
2515 * symbol.c (check_conflict): Add conflict between cray_pointee and
2517 * openmp.c (gfc_match_omp_threadprivate): Fail if
2518 gfc_add_threadprivate returned FAILURE.
2519 (resolve_omp_clauses): Diagnose Cray pointees in SHARED,
2520 {,FIRST,LAST}PRIVATE and REDUCTION clauses and Cray pointers in
2521 {FIRST,LAST}PRIVATE and REDUCTION clauses.
2523 * resolve.c (omp_workshare_flag): New variable.
2524 (resolve_function): Diagnose use of non-ELEMENTAL user defined
2525 function in WORKSHARE construct.
2526 (resolve_code): Cleanup forall_save use. Make sure omp_workshare_flag
2527 is set to correct value in different contexts.
2529 * openmp.c (resolve_omp_clauses): Replace %s with '%s' when printing
2531 (resolve_omp_atomic): Likewise.
2534 * scanner.c (skip_free_comments): Set at_bol at the beginning of the
2535 loop, not before it.
2536 (skip_fixed_comments): Handle ! comments in the middle of line here
2538 (gfc_skip_comments): Use skip_fixed_comments for FIXED_FORM even if
2540 (gfc_next_char_literal): Fix expected canonicalized *$omp string.
2542 * trans-openmp.c (gfc_trans_omp_do): Use make_node and explicit
2543 initialization to build OMP_FOR instead of build.
2545 * trans-decl.c (gfc_gimplify_function): Invoke
2546 diagnose_omp_structured_block_errors.
2548 * trans-openmp.c (gfc_trans_omp_master): Use OMP_MASTER.
2549 (gfc_trans_omp_ordered): Use OMP_ORDERED.
2551 * gfortran.h (gfc_resolve_do_iterator, gfc_resolve_blocks,
2552 gfc_resolve_omp_parallel_blocks): New prototypes.
2553 * resolve.c (resolve_blocks): Renamed to...
2554 (gfc_resolve_blocks): ... this. Remove static.
2555 (gfc_resolve_forall): Adjust caller.
2556 (resolve_code): Only call gfc_resolve_blocks if code->block != 0
2557 and not for EXEC_OMP_PARALLEL* directives. Call
2558 gfc_resolve_omp_parallel_blocks for EXEC_OMP_PARALLEL* directives.
2559 Call gfc_resolve_do_iterator if resolved successfully EXEC_DO
2561 * openmp.c: Include pointer-set.h.
2562 (omp_current_ctx): New variable.
2563 (gfc_resolve_omp_parallel_blocks, gfc_resolve_do_iterator): New
2565 * Make-lang.in (fortran/openmp.o): Depend on pointer-set.h.
2567 * openmp.c (gfc_match_omp_clauses): For max/min/iand/ior/ieor,
2568 look up symbol if it exists, use its name instead and, if it is not
2569 INTRINSIC, issue diagnostics.
2571 * parse.c (parse_omp_do): Handle implied end do properly.
2572 (parse_executable): If parse_omp_do returned ST_IMPLIED_ENDDO,
2573 return it instead of continuing.
2575 * trans-openmp.c (gfc_trans_omp_critical): Update for changed
2577 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
2578 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
2579 gfc_trans_omp_sections, gfc_trans_omp_single): Likewise.
2581 * trans.h (gfc_omp_privatize_by_reference): New prototype.
2582 * f95-lang.c (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE): Redefine
2583 to gfc_omp_privatize_by_reference.
2584 * trans-openmp.c (gfc_omp_privatize_by_reference): New function.
2586 * trans-stmt.h (gfc_trans_omp_directive): Add comment.
2588 * openmp.c (gfc_match_omp_variable_list): Add ALLOW_COMMON argument.
2589 Disallow COMMON matching if it is set.
2590 (gfc_match_omp_clauses, gfc_match_omp_flush): Adjust all callers.
2591 (resolve_omp_clauses): Show locus in error messages. Check that
2592 variable types in reduction clauses are appropriate for reduction
2595 * resolve.c (resolve_symbol): Don't error if a threadprivate module
2596 variable isn't SAVEd.
2598 * trans-openmp.c (gfc_trans_omp_do): Put count into BLOCK, not BODY.
2599 Fix typo in condition. Fix DOVAR initialization.
2601 * openmp.c (gfc_match_omp_clauses): Match min/iand/ior/ieor
2602 rather than .min. etc.
2604 * trans-openmpc.c (omp_not_yet): Remove.
2605 (gfc_trans_omp_parallel_do): Keep listprivate clause on parallel.
2606 Force creation of BIND_EXPR around the workshare construct.
2607 (gfc_trans_omp_parallel_sections): Likewise.
2608 (gfc_trans_omp_parallel_workshare): Likewise.
2610 * types.def (BT_I16, BT_FN_I16_VPTR_I16,
2611 BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
2613 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_DEFAULT.
2614 (gfc_trans_omp_code): New function.
2615 (gfc_trans_omp_do): Use it, remove omp_not_yet uses.
2616 (gfc_trans_omp_parallel, gfc_trans_omp_single): Likewise.
2617 (gfc_trans_omp_sections): Likewise. Only treat empty last section
2618 specially if lastprivate clause is present.
2619 * f95-lang.c (gfc_init_builtin_functions): Create BUILT_IN_TRAP
2622 * trans-openmp.c (gfc_trans_omp_variable_list): Update for
2623 OMP_CLAUSE_DECL name change.
2624 (gfc_trans_omp_do): Likewise.
2626 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_REDUCTION
2628 (gfc_trans_omp_atomic): Build OMP_ATOMIC instead of expanding
2629 sync builtins directly.
2630 (gfc_trans_omp_single): Build OMP_SINGLE statement.
2632 * trans-openmp.c (gfc_trans_add_clause): New.
2633 (gfc_trans_omp_variable_list): Take a tree code and build the clause
2634 node here. Link it to the head of a list.
2635 (gfc_trans_omp_clauses): Update to match.
2636 (gfc_trans_omp_do): Use gfc_trans_add_clause.
2638 * trans-openmp.c (gfc_trans_omp_clauses): Change second argument to
2639 gfc_omp_clauses *. Use gfc_evaluate_now instead of creating
2640 temporaries by hand.
2641 (gfc_trans_omp_atomic, gfc_trans_omp_critical): Use buildN_v macros.
2642 (gfc_trans_omp_do): New function.
2643 (gfc_trans_omp_master): Dont' check for gfc_trans_code returning NULL.
2644 (gfc_trans_omp_parallel): Adjust gfc_trans_omp_clauses caller.
2645 Use buildN_v macros.
2646 (gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_sections,
2647 gfc_trans_omp_parallel_workshare, gfc_trans_omp_sections,
2648 gfc_trans_omp_single, gfc_trans_omp_workshare): New functions.
2649 (gfc_trans_omp_directive): Use them.
2650 * parse.c (parse_omp_do): Allow new_st.op == EXEC_NOP.
2651 * openmp.c (resolve_omp_clauses): Check for list items present
2652 in multiple clauses.
2653 (resolve_omp_do): Check that iteration variable is not THREADPRIVATE
2654 and is not present in any clause variable lists other than PRIVATE
2657 * gfortran.h (symbol_attribute): Add threadprivate bit.
2658 (gfc_common_head): Add threadprivate member, change use_assoc
2659 and saved into char to save space.
2660 (gfc_add_threadprivate): New prototype.
2661 * symbol.c (check_conflict): Handle threadprivate.
2662 (gfc_add_threadprivate): New function.
2663 (gfc_copy_attr): Copy threadprivate.
2664 * trans-openmp.c (gfc_trans_omp_clauses): Avoid creating a temporary
2665 if IF or NUM_THREADS is constant. Create OMP_CLAUSE_SCHEDULE and
2667 * resolve.c (resolve_symbol): Complain if a THREADPRIVATE symbol
2668 outside a module and not in COMMON has is not SAVEd.
2669 (resolve_equivalence): Ensure THREADPRIVATE objects don't get
2671 * trans-common.c: Include target.h and rtl.h.
2672 (build_common_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
2673 * trans-decl.c: Include rtl.h.
2674 (gfc_finish_var_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
2675 * dump-parse-tree.c (gfc_show_attr): Handle THREADPRIVATE.
2676 * Make-lang.in (fortran/trans-decl.o): Depend on $(RTL_H).
2677 (fortran/trans-common.o): Depend on $(RTL_H) and $(TARGET_H).
2678 * openmp.c (gfc_match_omp_variable_list): Ensure COMMON block
2679 is from current namespace.
2680 (gfc_match_omp_threadprivate): Rewrite.
2681 (resolve_omp_clauses): Check some clause restrictions.
2682 * module.c (ab_attribute): Add AB_THREADPRIVATE.
2683 (attr_bits): Add THREADPRIVATE.
2684 (mio_symbol_attribute, mio_symbol_attribute): Handle threadprivate.
2685 (load_commons, write_common, write_blank_common): Adjust for type
2686 change of saved, store/load threadprivate bit from the integer
2689 * types.def (BT_FN_UINT_UINT): New.
2690 (BT_FN_VOID_UINT_UINT): Remove.
2692 * trans-openmp.c (gfc_trans_omp_clauses, gfc_trans_omp_barrier,
2693 gfc_trans_omp_critical, gfc_trans_omp_flush, gfc_trans_omp_master,
2694 gfc_trans_omp_ordered, gfc_trans_omp_parallel): New functions.
2695 (gfc_trans_omp_directive): Use them.
2697 * openmp.c (expr_references_sym): Add SE argument, don't look
2699 (is_conversion): New function.
2700 (resolve_omp_atomic): Adjust expr_references_sym callers. Handle
2701 promoted expressions.
2702 * trans-openmp.c (gfc_trans_omp_atomic): New function.
2703 (gfc_trans_omp_directive): Call it.
2705 * f95-lang.c (builtin_type_for_size): New function.
2706 (gfc_init_builtin_functions): Initialize synchronization and
2708 * types.def: New file.
2709 * Make-lang.in (f95-lang.o): Depend on $(BUILTINS_DEF) and
2712 * trans-openmp.c: Rename GOMP_* tree codes into OMP_*.
2714 * dump-parse-tree.c (show_symtree): Don't crash if ns->proc_name
2717 * dump-parse-tree.c (gfc_show_namelist, gfc_show_omp_node): New
2719 (gfc_show_code_node): Call gfc_show_omp_node for EXEC_OMP_* nodes.
2721 * parse.c (parse_omp_do): Call pop_state before next_statement.
2722 * openmp.c (expr_references_sym, resolve_omp_atomic, resolve_omp_do):
2724 (gfc_resolve_omp_directive): Call them.
2725 * match.c (match_exit_cycle): Issue error if EXIT or CYCLE statement
2726 leaves an OpenMP structured block or if EXIT terminates !$omp do
2729 * Make-lang.in (F95_PARSER_OBJS): Add fortran/openmp.o.
2730 (F95_OBJS): Add fortran/trans-openmp.o.
2731 (fortran/trans-openmp.o): Depend on $(GFORTRAN_TRANS_DEPS).
2732 * lang.opt: Add -fopenmp option.
2733 * options.c (gfc_init_options): Initialize it.
2734 (gfc_handle_option): Handle it.
2735 * gfortran.h (ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL,
2736 ST_OMP_END_CRITICAL, ST_OMP_END_DO, ST_OMP_END_MASTER,
2737 ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL, ST_OMP_END_PARALLEL_DO,
2738 ST_OMP_END_PARALLEL_SECTIONS, ST_OMP_END_PARALLEL_WORKSHARE,
2739 ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE, ST_OMP_END_WORKSHARE,
2740 ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
2741 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
2742 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION,
2743 ST_OMP_SINGLE, ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE): New
2745 (OMP_LIST_PRIVATE, OMP_LIST_FIRSTPRIVATE, OMP_LIST_LASTPRIVATE,
2746 OMP_LIST_COPYPRIVATE, OMP_LIST_SHARED, OMP_LIST_COPYIN,
2747 OMP_LIST_PLUS, OMP_LIST_REDUCTION_FIRST, OMP_LIST_MULT,
2748 OMP_LIST_SUB, OMP_LIST_AND, OMP_LIST_OR, OMP_LIST_EQV,
2749 OMP_LIST_NEQV, OMP_LIST_MAX, OMP_LIST_MIN, OMP_LIST_IAND,
2750 OMP_LIST_IOR, OMP_LIST_IEOR, OMP_LIST_REDUCTION_LAST, OMP_LIST_NUM):
2751 New OpenMP variable list types.
2752 (gfc_omp_clauses): New typedef.
2753 (gfc_get_omp_clauses): Define.
2754 (EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
2755 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
2756 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
2757 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
2758 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
2759 EXEC_OMP_END_SINGLE): New OpenMP gfc_exec_op codes.
2760 (struct gfc_code): Add omp_clauses, omp_name, omp_namelist
2761 and omp_bool fields to ext union.
2762 (flag_openmp): Declare.
2763 (gfc_free_omp_clauses, gfc_resolve_omp_directive): New prototypes.
2764 * scanner.c (openmp_flag, openmp_locus): New variables.
2765 (skip_free_comments, skip_fixed_comments, gfc_next_char_literal):
2766 Handle OpenMP directive lines and conditional compilation magic
2768 * parse.h (COMP_OMP_STRUCTURED_BLOCK): New compile state.
2769 * parse.c (decode_omp_directive, parse_omp_do, parse_omp_atomic,
2770 parse_omp_structured_block): New functions.
2771 (next_free, next_fixed): Parse OpenMP directives.
2772 (case_executable, case_exec_markers, case_decl): Add ST_OMP_*
2774 (gfc_ascii_statement): Handle ST_OMP_* codes.
2775 (parse_executable): Rearrange the loop slightly, so that
2776 parse_omp_do can return next_statement.
2777 * match.h (gfc_match_omp_eos, gfc_match_omp_atomic,
2778 gfc_match_omp_barrier, gfc_match_omp_critical, gfc_match_omp_do,
2779 gfc_match_omp_flush, gfc_match_omp_master, gfc_match_omp_ordered,
2780 gfc_match_omp_parallel, gfc_match_omp_parallel_do,
2781 gfc_match_omp_parallel_sections, gfc_match_omp_parallel_workshare,
2782 gfc_match_omp_sections, gfc_match_omp_single,
2783 gfc_match_omp_threadprivate, gfc_match_omp_workshare,
2784 gfc_match_omp_end_nowait, gfc_match_omp_end_single): New prototypes.
2785 * resolve.c (resolve_blocks): Ignore EXEC_OMP_* block directives.
2786 (resolve_code): Call gfc_resolve_omp_directive on EXEC_OMP_*
2788 * trans.c (gfc_trans_code): Call gfc_trans_omp_directive for
2789 EXEC_OMP_* directives.
2790 * st.c (gfc_free_statement): Handle EXEC_OMP_* statement freeing.
2791 * trans-stmt.h (gfc_trans_omp_directive): New prototype.
2792 * openmp.c: New file.
2793 * trans-openmp.c: New file.
2795 2006-02-13 Andrew Pinski <pinskia@physics.uc.edu>
2796 Jakub Jelinek <jakub@redhat.com>
2799 * trans-decl.c (gfc_get_symbol_decl, gfc_get_fake_result_decl): Use
2800 gfc_add_decl_to_function rather than gfc_finish_var_decl on length.
2802 2006-02-13 Paul Thomas <pault@gcc.gnu.org>
2806 * resolve.c (resolve_symbol): Extend the requirement that module
2807 arrays have constant bounds to those in the main program. At the
2808 same time simplify the array bounds, to avoiding trapping parameter
2809 array references, and exclude automatic character length from main
2810 and modules. Rearrange resolve_symbol and resolve_derived to put as
2811 each flavor together, as much as is possible and move all specific
2812 code for flavors FL_VARIABLE, FL_PROCEDURE and FL_PARAMETER into new
2814 (resolve_fl_var_and_proc, resolve_fl_variable, resolve_fl_procedure):
2815 New functions to do work of resolve_symbol.
2816 (resolve_index_expr): New function that is called from resolved_symbol
2817 and is extracted from resolve_charlen.
2818 (resolve_charlen): Call this new function.
2819 (resolve_fl_derived): Renamed resolve_derived to be consistent with
2820 the naming of the new functions for the other flavours. Change the
2821 charlen checking so that the style is consistent with other similar
2822 checks. Add the generation of the gfc_dt_list, removed from resolve_
2826 * resolve.c (resolve_actual_arglist): Prevent internal procedures
2827 from being dummy arguments.
2830 * resolve.c (resolve_actual_arglist): Prevent pure but non-intrinsic
2831 procedures from being dummy arguments.
2834 * resolve.c (check_data_variable): Add test that data variable is in
2838 * resolve.c (resolve_call): Add test that the subroutine does not
2841 2006-02-12 Erik Edelmann <eedelman@gcc.gnu.org>
2844 * trans-array.c (gfc_trans_allocate_array_storage): New argument
2845 dealloc; free the temporary only if dealloc is true.
2846 (gfc_trans_allocate_temp_array): New argument bool dealloc, to be
2847 passed onwards to gfc_trans_allocate_array_storage.
2848 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call to
2849 gfc_trans_allocate_temp_array.
2850 * trans-array.h (gfc_trans_allocate_temp_array): Update function
2852 * trans-expr.c (gfc_conv_function_call): Set new argument 'dealloc'
2853 to gfc_trans_allocate_temp_array to false in case of functions
2855 (gfc_trans_arrayfunc_assign): Return NULL for functions returning
2858 2006-02-10 Steven G. Kargl <kargls@comcast.net>
2861 *decl.c (variable_decl): Improve error message. Remove initialization
2862 typespec. Wrap long line.
2863 *expr.c (gfc_check_pointer_assign): Permit checking of type, kind type,
2865 *simplify.c (gfc_simplify_null): Ensure type, kind type, and rank
2869 2006-02-10 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
2872 * arith.c (eval_intrinsic): Accept INTRINSIC_PARENTHESES.
2873 * expr.c (check_intrinsic_op): Likewise.
2874 * module.c (mio_expr): Likewise.
2876 2006-02-09 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
2878 * dump-parse-tree.c: Update copyright years.
2879 * matchexp.c: Likewise.
2880 * module.c: Likewise.
2883 * gfortran.h (gfc_intrinsic_op): Add INTRINSIC_PARENTHESES.
2884 * dump-parse-tree (gfc_show_expr): Handle INTRINSIC_PARENTHESES.
2885 * expr.c (simplify_intrinsic_op): Treat INTRINSIC_PARENTHESES as
2886 if it were INTRINSIC_UPLUS.
2887 * resolve.c (resolve_operator): Handle INTRINSIC_PARENTHESES.
2888 * match.c (intrinsic_operators): Add INTRINSIC_PARENTHESES.
2889 * matchexp.c (match_primary): Record parentheses surrounding
2890 numeric expressions.
2891 * module.c (intrinsics): Add INTRINSIC_PARENTHESES for module
2893 * trans-expr.c (gfc_conv_expr_op): Handle INTRINSIC_PARENTHESES.
2895 2006-02-09 Paul Thomas <pault@gcc.gnu.org>
2898 * trans-stmt.c (gfc_trans_allocate): Provide assumed character length
2899 scalar with missing backend_decl for the hidden dummy charlen.
2902 * interface.c (gfc_extend_assign): Remove detection of non-PURE
2903 subroutine in assignment interface, with gfc_error, and put it in
2904 * resolve.c (resolve_code).
2907 * interface.c (gfc_procedure_use): Flag rank checking for non-
2908 elemental, contained or interface procedures in call to
2909 (compare_actual_formal), where ranks are checked for assumed
2912 2006-02-08 Francois-Xavier Coudert <coudert@clipper.ens.fr>
2915 * trans-decl.c (gfc_generate_function_code): Add new argument,
2916 pedantic, to set_std call.
2918 2006-02-06 Thomas Koenig <Thomas.Koenig@online.de>
2921 * gfortran.texi: Document the GFORTRAN_CONVERT_UNIT environment
2923 * invoke.texi: Mention the "Runtime" chapter.
2924 Document the -fconvert= option.
2925 * gfortran.h: Add options_convert.
2926 * lang.opt: Add fconvert=little-endian, fconvert=big-endian,
2927 fconvert=native and fconvert=swap.
2928 * trans-decl.c (top level): Add gfor_fndecl_set_convert.
2929 (gfc_build_builtin_function_decls): Set gfor_fndecl_set_convert.
2930 (gfc_generate_function_code): If -fconvert was specified,
2931 and this is the main program, add a call to set_convert().
2932 * options.c: Handle the -fconvert options.
2934 2006-02-06 Roger Sayle <roger@eyesopen.com>
2936 * trans-stmt.c (gfc_evaluate_where_mask): Allow the NMASK argument
2937 to be NULL to indicate that the not mask isn't required.
2938 (gfc_trans_where_2): Remove PMASK argument. Avoid calculating the
2939 pending mask for the last clause of a WHERE chain. Update recursive
2941 (gfc_trans_forall_1): Update call to gfc_trans_where_2.
2942 (gfc_trans_where): Likewise.
2944 2006-02-06 Jakub Jelinek <jakub@redhat.com>
2946 Backport from gomp-20050608-branch
2947 * trans-decl.c (create_function_arglist): Handle dummy functions.
2949 * trans-decl.c (gfc_get_symbol_decl): Revert explicit setting of
2951 (gfc_trans_vla_type_sizes): Also "gimplify"
2952 GFC_TYPE_ARRAY_DATAPTR_TYPE for GFC_DESCRIPTOR_TYPE_P types.
2953 * trans-array.c (gfc_trans_deferred_array): Call
2954 gfc_trans_vla_type_sizes.
2956 * trans-decl.c (saved_function_decls, saved_parent_function_decls):
2957 Remove unnecessary initialization.
2958 (create_function_arglist): Make sure __result has complete type.
2959 (gfc_get_fake_result_decl): Change current_fake_result_decl into
2960 a tree chain. For entry master, create a separate variable
2961 for each result name. For BT_CHARACTER results, call
2962 gfc_finish_var_decl on length even if it has been already created,
2963 but not pushdecl'ed.
2964 (gfc_trans_vla_type_sizes): For function/entry result, adjust
2965 result value type, not the FUNCTION_TYPE.
2966 (gfc_generate_function_code): Adjust for current_fake_result_decl
2968 (gfc_trans_deferred_vars): Likewise. Call gfc_trans_vla_type_sizes
2969 even on result if it is assumed-length character.
2971 * trans-decl.c (gfc_trans_dummy_character): Add SYM argument.
2972 Call gfc_trans_vla_type_sizes.
2973 (gfc_trans_auto_character_variable): Call gfc_trans_vla_type_sizes.
2974 (gfc_trans_vla_one_sizepos, gfc_trans_vla_type_sizes_1,
2975 gfc_trans_vla_type_sizes): New functions.
2976 (gfc_trans_deferred_vars): Adjust gfc_trans_dummy_character
2977 callers. Call gfc_trans_vla_type_sizes on assumed-length
2978 character parameters.
2979 * trans-array.c (gfc_trans_array_bounds,
2980 gfc_trans_auto_array_allocation, gfc_trans_dummy_array_bias): Call
2981 gfc_trans_vla_type_sizes.
2982 * trans.h (gfc_trans_vla_type_sizes): New prototype.
2984 * trans-decl.c (gfc_build_qualified_array): For non-assumed-size
2985 arrays without constant size, create also an index var for
2986 GFC_TYPE_ARRAY_SIZE (type). If the type is incomplete, complete
2988 (gfc_create_string_length): Don't call gfc_defer_symbol_init
2989 if just creating DECL_ARGUMENTS.
2990 (gfc_get_symbol_decl): Call gfc_finish_var_decl and
2991 gfc_defer_symbol_init even if ts.cl->backend_decl is already
2992 set to a VAR_DECL that doesn't have DECL_CONTEXT yet.
2993 (create_function_arglist): Rework, so that hidden length
2994 arguments for CHARACTER parameters are created together with
2995 the parameters. Resolve ts.cl->backend_decl for CHARACTER
2996 parameters. If the argument is a non-constant length array
2997 or CHARACTER, ensure PARM_DECL has different type than
2999 (generate_local_decl): Call gfc_get_symbol_decl even
3000 for non-referenced non-constant length CHARACTER parameters
3001 after optionally issuing warnings.
3002 * trans-array.c (gfc_trans_array_bounds): Set last stride
3003 to GFC_TYPE_ARRAY_SIZE (type) to initialize it as well.
3004 (gfc_trans_dummy_array_bias): Initialize GFC_TYPE_ARRAY_SIZE (type)
3007 * trans-expr.c (gfc_conv_expr_val): Fix comment typo.
3009 * trans-stmt.c (gfc_trans_simple_do): Fix comment.
3011 2006-02-04 Roger Sayle <roger@eyesopen.com>
3013 * dependency.c (gfc_check_dependency): Remove unused vars and nvars
3014 arguments. Replace with an "identical" argument. A full array
3015 reference to the same symbol is a dependency if identical is true.
3016 * dependency.h (gfc_check_dependency): Update prototype.
3017 * trans-array.h (gfc_check_dependency): Delete duplicate prototype.
3018 * trans-stmt.c: #include dependency.h for gfc_check_dependency.
3019 (gfc_trans_forall_1): Update calls to gfc_check_dependency.
3020 (gfc_trans_where_2): Likewise. Remove unneeded variables.
3021 (gfc_trans_where_3): New function for simple non-dependent WHEREs.
3022 (gfc_trans_where): Call gfc_trans_where_3 to translate simple
3023 F90-style WHERE statements without internal dependencies.
3024 * Make-lang.in (trans-stmt.o): Depend upon dependency.h.
3026 2006-02-05 H.J. Lu <hongjiu.lu@intel.com>
3030 * resolve.c (resolve_types): New function.
3031 (resolve_codes): Likewise.
3032 (gfc_resolve): Use them.
3034 2006-02-05 Roger Sayle <roger@eyesopen.com>
3036 * trans-stmt.c (gfc_evaluate_where_mask): Use LOGICAL*1 for WHERE
3037 masks instead of LOGICAL*4.
3039 2006-02-05 Jakub Jelinek <jakub@redhat.com>
3041 * resolve.c (resolve_symbol): Initialize constructor_expr to NULL.
3043 2006-02-04 Thomas Koenig <Thomas.Koenig@online.de>
3046 check.c (identical_dimen_shape): New function.
3047 (check_dot_product): Use identical_dimen_shape() to check sizes
3049 (gfc_check_matmul): Likewise.
3050 (gfc_check_merge): Check conformance between tsource and fsource
3051 and between tsource and mask.
3052 (gfc_check_pack): Check conformance between array and mask.
3054 2006-02-03 Steven G. Kargl <kargls@comcast>
3055 Paul Thomas <pault@gcc.gnu.org>
3058 * resolve.c (resolve_symbol): Default initialization of derived type
3059 component reguires the SAVE attribute.
3061 2006-02-02 Steven G. Kargl <kargls@comcast>
3064 match.c (gfc_match_nullify): Free the list from head not tail.
3067 * match.c (match_forall_header): Fix internal error caused by bogus
3071 2006-01-31 Thomas Koenig <Thomas.Koenig@online.de>
3074 expr.c (gfc_check_conformance): Reorder error message
3076 check.c(gfc_check_minloc_maxloc): Call gfc_check_conformance
3077 for checking arguments array and mask.
3078 (check_reduction): Likewise.
3080 2006-01-30 Erik Edelmann <eedelman@gcc.gnu.org>
3083 * trans-io.c (set_internal_unit): Check the rank of the
3084 expression node itself instead of its symbol.
3086 2006-01-29 Paul Thomas <pault@gcc.gnu.org>
3092 * interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT)
3093 if actual argument is not a variable.
3095 2006-01-28 Paul Thomas <pault@gcc.gnu.org>
3098 * expr.c (gfc_check_assign, gfc_check_pointer_assign): Emit error if
3099 the lvalue is a use associated procedure.
3103 * expr.c (gfc_check_pointer_assign): Emit error if lvalue and rvalue
3104 character lengths are not the same. Use gfc_dep_compare_expr for the
3106 * gfortran.h: Add prototype for gfc_dep_compare_expr.
3107 * dependency.h: Remove prototype for gfc_dep_compare_expr.
3109 2006-01-27 Paul Thomas <pault@gcc.gnu.org>
3112 * resolve.c (resolve_function): Add GFC_ISYM_LOC to the list of
3113 generic_ids exempted from assumed size checking.
3115 2006-01-27 Jakub Jelinek <jakub@redhat.com>
3118 * Make-lang.in (fortran/scanner.o): Depend on toplev.h.
3119 * lang.opt (fpreprocessed): New option.
3120 * scanner.c: Include toplev.h.
3121 (gfc_src_file, gfc_src_preprocessor_lines): New variables.
3122 (preprocessor_line): Unescape filename if there were any
3124 (load_file): If initial and gfc_src_file is not NULL,
3125 use it rather than opening the file. If gfc_src_preprocessor_lines
3126 has non-NULL elements, pass it to preprocessor_line.
3127 (unescape_filename, gfc_read_orig_filename): New functions.
3128 * gfortran.h (gfc_option_t): Add flag_preprocessed.
3129 (gfc_read_orig_filename): New prototype.
3130 * options.c (gfc_init_options): Clear flag_preprocessed.
3131 (gfc_post_options): If flag_preprocessed, call
3132 gfc_read_orig_filename.
3133 (gfc_handle_option): Handle OPT_fpreprocessed.
3134 * lang-specs.h: Pass -fpreprocessed to f951 if preprocessing
3137 2006-01-27 Erik Edelmann <eedelman@gcc.gnu.org>
3139 * symbol.c (free_old_symbol): Fix confusing comment, and add code
3140 to free old_symbol->formal.
3142 2006-01-26 Paul Thomas <pault@gcc.gnu.org>
3145 * resolve.c (resolve_function): Exclude statement functions from
3146 global reference checking.
3152 * resolve.c (resolve_function): Declare a gfc_symbol to replace the
3153 references through the symtree to the symbol associated with the
3154 function expresion. Give error on reference to an assumed character
3155 length function is defined in an interface or an external function
3156 that is not a dummy argument.
3157 (resolve_symbol): Give error if an assumed character length function
3158 is array-valued, pointer-valued, pure or recursive. Emit warning
3159 that character(*) value functions are obsolescent in F95.
3162 * trans-expr.c (gfc_conv_function_call): The above patch to resolve.c
3163 prevents any assumed character length function call from getting here
3164 except intrinsics such as SPREAD. In this case, ensure that no
3165 segfault occurs from referencing non-existent charlen->length->
3166 expr_type and provide a backend_decl for the charlen from the charlen
3167 of the first actual argument.
3169 Cure temp name confusion.
3170 * trans-expr.c (gfc_get_interface_mapping_array): Change name of
3171 temporary from "parm" to "ifm" to avoid clash with temp coming from
3174 2006-01-25 Erik Edelmann <eedelman@gcc.gnu.org>
3177 * symbol.c (free_old_symbol): New function.
3178 (gfc_commit_symbols): Use it.
3179 (gfc_commit_symbol): New function.
3180 (gfc_use_derived): Use it.
3181 * gfortran.h: Add prototype for gfc_commit_symbol.
3182 * intrinsic.c (gfc_find_function): Search in 'conversion'
3183 if not found in 'functions'.
3184 (gfc_convert_type_warn): Add a symtree to the new
3185 expression node, and commit the new symtree->n.sym.
3186 * resolve.c (gfc_resolve_index): Make sure typespec is
3187 properly initialized.
3189 2006-01-23 Paul Thomas <pault@gcc.gnu.org>
3192 * decl.c (get_proc_name): Replace subroutine and function attributes
3193 in "already defined" test by the formal arglist pointer being non-NULL.
3195 Fix regression in testing of admissability of attributes.
3196 * symbol.c (gfc_add_attribute): If the current_attr has non-zero
3197 intent, do not do the check for a dummy being used.
3198 * decl.c (attr_decl1): Add current_attr.intent as the third argument
3199 in the call to gfc_add_attribute.
3200 * gfortran.h: Add the third argument to the prototype for
3203 2006-01-21 Joseph S. Myers <joseph@codesourcery.com>
3205 * gfortranspec.c (lang_specific_driver): Update copyright notice
3208 2006-01-21 Paul Thomas <pault@gcc.gnu.org>
3212 * decl.c (get_proc_name): If there is an existing
3213 symbol in the encompassing namespace, call errors
3214 if it is a procedure of the same name or the kind
3215 field is set, indicating a type declaration.
3221 * decl.c (add_global_entry): New function to check
3222 for existing global symbol with this name and to
3223 create new one if none exists.
3224 (gfc_match_entry): Call add_global_entry before
3225 matching argument lists for subroutine and function
3227 * gfortran.h: Prototype for existing function,
3229 * resolve.c (resolve_global_procedure): New function
3230 to check global symbols for procedures.
3231 (resolve_call, resolve_function): Calls to this
3232 new function for non-contained and non-module
3234 * match.c (match_common): Add check for existing
3235 global symbol, creat one if none exists and emit
3236 error if there is a clash.
3237 * parse.c (global_used): Remove static and use the
3238 gsymbol name rather than the new_block name, so that
3239 the function can be called from resolve.c.
3240 (parse_block_data, parse_module, add_global_procedure):
3241 Improve checks for existing gsymbols. Emit error if
3242 already defined or if references were to another type.
3246 * trans-expr.c (gfc_conv_aliased_arg): New function called by
3247 gfc_conv_function_call that coverts an expression for an aliased
3248 component reference to a derived type array into a temporary array
3249 of the same type as the component. The temporary is passed as an
3250 actual argument for the procedure call and is copied back to the
3251 derived type after the call.
3252 (is_aliased_array): New function that detects an array reference
3253 that is followed by a component reference.
3254 (gfc_conv_function_call): Detect an aliased actual argument with
3255 is_aliased_array and convert it to a temporary and back again
3256 using gfc_conv_aliased_arg.
3258 2006-01-19 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
3260 * gfortranspec.c: Update copyright years.
3261 * trans.c: Likewise.
3262 * trans-array.c: Likewise.
3263 * trans-array.h: Likewise.
3264 * trans-decl.c: Likewise.
3265 * trans-stmt.c: Likewise.
3266 * trans-stmt.h: Likewise.
3267 * trans-types.c: Likewise.
3269 2006-01-18 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
3273 * gfortran.h (BBT_HEADER): Move definition up.
3274 (gfc_st_label): Add BBT_HEADER, remove 'prev' and 'next'.
3275 * io.c (format_asterisk): Adapt initializer.
3276 * resolve.c (resolve_branch): Allow FORTRAN 66 cross-block GOTOs
3278 (warn_unused_label): Take gfc_st_label label as argument, adapt to
3280 (gfc_resolve): Adapt call to warn_unused_label.
3281 * symbol.c (compare_st_labels): New function.
3282 (gfc_free_st_label, free_st_labels, gfc_get_st_label): Convert to
3283 using balanced binary tree.
3284 * decl.c (match_char_length, gfc_match_old_kind_spec): Do away
3286 (warn_unused_label): Adapt to binary tree.
3287 * match.c (gfc_match_small_literal_int): Only set cnt if non-NULL.
3288 * primary.c (match_kind_param): Do away with cnt.
3290 2006-01-18 Paul Thomas <pault@gcc.gnu.org>
3295 * symbol.c (check_conflict): Add pointer valued elemental
3296 functions and internal procedures with the external attribute
3297 to the list of conflicts.
3298 (gfc_add_attribute): New catch-all function to perform the
3299 checking of symbol attributes for attribute declaration
3301 * decl.c (attr_decl1): Call gfc_add_attribute for each of -
3302 (gfc_match_external, gfc_match_intent, gfc_match_intrinsic,
3303 gfc_match_pointer, gfc_match_dimension, gfc_match_target):
3304 Remove spurious calls to checks in symbol.c. Set the
3305 attribute directly and use the call to attr_decl() for
3307 * gfortran.h: Add prototype for gfc_add_attribute.
3310 * resolve.c (resolve_function): Exclude PRESENT from assumed size
3311 argument checking. Replace strcmp's with comparisons with generic
3314 2006-01-16 Rafael
\81Ávila de Esp
\81índola <rafael.espindola@gmail.com>
3316 * gfortranspec.c (lang_specific_spec_functions): Remove.
3318 2006-01-16 Richard Guenther <rguenther@suse.de>
3320 * trans-stmt.c (gfc_trans_if_1): Use fold_buildN and build_int_cst.
3321 (gfc_trans_arithmetic_if): Likewise.
3322 (gfc_trans_simple_do): Likewise.
3323 (gfc_trans_do): Likewise.
3324 (gfc_trans_do_while): Likewise.
3325 (gfc_trans_logical_select): Likewise.
3326 (gfc_trans_forall_loop): Likewise.
3327 (generate_loop_for_temp_to_lhs): Likewise.
3328 (generate_loop_for_rhs_to_temp): Likewise.
3329 (gfc_trans_allocate): Likewise.
3330 * trans.c (gfc_add_expr_to_block): Do not fold expr again.
3332 2006-01-16 Richard Guenther <rguenther@suse.de>
3334 * trans-expr.c (gfc_conv_function_call): Use fold_build2.
3335 * trans-stmt.c (gfc_trans_goto): Likewise. Use build_int_cst.
3336 * trans.c (gfc_trans_runtime_check): Don't fold the condition
3339 2006-01-13 Steven G. Kargl <kargls@comcast.net>
3342 * symbol.c (gfc_free_st_label): Give variable meaningful name. Remove
3343 unneeded parenthesis. Fix-up the head of the list (2 lines gleaned
3346 2006-01-13 Diego Novillo <dnovillo@redhat.com>
3348 * trans.c (gfc_add_expr_to_block): Do not fold tcc_statement
3351 2006-01-11 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
3353 * parse.c (next_fixed): Remove superfluous string concatenation.
3355 2006-01-11 Bernhard Fischer <rep.nop@aon.at>
3358 * scanner.c (load_line): use maxlen to determine the line-length used
3359 for padding lines in fixed form.
3361 2006-01-11 Paul Thomas <pault@gcc.gnu.org>
3364 * trans-types.c (copy_dt_decls_ifequal): Copy backend decl for
3367 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
3370 * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Use fold_convert
3371 to avoid type mismatch.
3373 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
3376 * trans-decl.c (gfc_generate_function_code): Move the NULLing of
3377 current_fake_result_decl down to below generate_local_vars.
3379 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
3382 * trans-expr.c (gfc_to_single_character): New function that converts
3383 string to single character if its length is 1.
3384 (gfc_build_compare_string):New function that compare string and handle
3385 single character specially.
3386 (gfc_conv_expr_op): Use gfc_build_compare_string.
3387 (gfc_trans_string_copy): Use gfc_to_single_character.
3388 * trans-intrinsic.c (gfc_conv_intrinsic_strcmp): Use
3389 gfc_build_compare_string.
3390 * trans.h (gfc_build_compare_string): Add prototype.
3392 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
3394 * simplify.c (gfc_simplify_char): Use UCHAR_MAX instead of literal
3396 (gfc_simplify_ichar): Get the result from unsinged char and in the
3397 range 0 to UCHAR_MAX instead of CHAR_MIN to CHAR_MAX.
3399 2006-01-08 Erik Edelmann <eedelman@gcc.gnu.org>
3402 * resolve.c (resolve_fntype): Check that PUBLIC functions
3403 aren't of PRIVATE type.
3405 2006-01-07 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
3407 * decl.c (gfc_match_function_decl): Correctly error out in case of
3408 omitted function argument list.
3410 2006-01-07 Paul Thomas <pault@gcc.gnu.org>
3413 * trans-array.c (gfc_reverse_ss): Remove static attribute.
3414 (gfc_walk_elemental_function_args): Replace gfc_expr * argument for
3415 the function call with the corresponding gfc_actual_arglist*. Change
3417 (gfc_walk_function_expr): Call to gfc_walk_elemental_function_args
3418 now requires the actual argument list instead of the expression for
3420 * trans-array.h: Modify the prototype for gfc_walk_elemental_function_args
3421 and provide a prototype for gfc_reverse_ss.
3422 * trans-stmt.h (gfc_trans_call): Add the scalarization code for the case
3423 where an elemental subroutine has array valued actual arguments.
3429 * resolve.c (check_assumed_size_reference): New function to check for upper
3430 bound in assumed size array references.
3431 (resolve_assumed_size_actual): New function to do a very restricted scan
3432 of actual argument expressions of those procedures for which incomplete
3433 assumed size array references are not allowed.
3434 (resolve_function, resolve_call): Switch off assumed size checking of
3435 actual arguments, except for elemental procedures and intrinsic
3436 inquiry functions, in some circumstances.
3437 (resolve_variable): Call check_assumed_size_reference.
3439 2006-01-05 Jerry DeLisle <jvdelisle@gcc.gnu.org>
3442 * io.c (next_char_not_space): New function that returns the next
3443 character that is not white space.
3444 (format_lex): Use the new function to skip whitespace within
3447 2006-01-05 Erik Edelmann <eedelman@gcc.gnu.org>
3450 * expr.c (gfc_expr_set_symbols_referenced): New function.
3451 * gfortran.h: Add a function prototype for it.
3452 * resolve.c (resolve_function): Use it for
3453 use associated character functions lengths.
3454 * expr.c, gfortran.h, resolve.c: Updated copyright years.
3456 2006-01-03 Steven G. Kargl <kargls@comcast.net>
3459 * resolve.c (resolve_forall_iterators): Check for scalar variables;
3460 Check stride is nonzero.
3462 2006-01-02 Steven G. Kargl <kargls@comcast.net>
3465 * parse.c (next_free): Check for whitespace after the label.
3466 * match.c (gfc_match_small_literal_int): Initialize cnt variable.
3468 2006-01-01 Steven G. Kargl <kargls@comcast.net>
3470 * ChangeLog: Split previous years into ...
3471 * ChangeLog-2002: here.
3472 * ChangeLog-2003: here.
3473 * ChangeLog-2004: here.
3474 * ChangeLog-2005: here.