1 2006-06-05 Steven G. Kargl <kargls@comcast.net>
3 * data.c (gfc_assign_data_value): Fix comment typo. Remove
6 2006-06-05 Paul Thomas <pault@gcc.gnu.org>
9 * data.c (create_character_intializer): Add warning message
13 * symbol.c : Include flags.h.
14 (gfc_add_type): If a procedure and types are the same do not
15 throw an error unless standard is less than gnu or pedantic.
18 * parse.c (parse_do_block): Error if named block do construct
19 does not have a named enddo.
22 * check.c (gfc_check_associated): Pick up EXPR_NULL for pointer
23 as well as target and put error return at end of function.
25 2006-06-03 Francois-Xavier Coudert <coudert@clipper.ens.fr>
27 * trans.c (gfc_msg_bounds, gfc_msg_fault, gfc_msg_wrong_return):
28 Add strings for common runtime error messages.
29 (gfc_trans_runtime_check): Add a locus argument, use a string
30 and not a string tree for the message.
31 * trans.h (gfc_trans_runtime_check): Change prototype accordingly.
32 (gfc_msg_bounds, gfc_msg_fault, gfc_msg_wrong_return): Add proto.
33 * trans-const.c (gfc_strconst_bounds, gfc_strconst_fault,
34 gfc_strconst_wrong_return, gfc_strconst_current_filename): Remove.
35 (gfc_init_constants): Likewise.
36 * trans-const.h: Likewise.
37 * trans-decl.c (gfc_build_builtin_function_decls): Call to
38 _gfortran_runtime_error has only one argument, the message string.
39 * trans-array.h (gfc_conv_array_ref): Add a symbol argument and a
41 * trans-array.c (gfc_trans_array_bound_check): Build precise
43 (gfc_conv_array_ref): Use the new symbol argument and the locus
44 to build more precise error messages.
45 (gfc_conv_ss_startstride): More precise error messages.
46 * trans-expr.c (gfc_conv_variable): Give symbol reference and
47 locus to gfc_conv_array_ref.
48 (gfc_conv_function_call): Use the new prototype for
49 gfc_trans_runtime_check.
50 * trans-stmt.c (gfc_trans_goto): Build more precise error message.
51 * trans-io.c (set_string): Likewise.
52 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use new prototype
53 for gfc_trans_runtime_check.
55 2006-06-01 Thomas Koenig <Thomas.Koenig@online.de>
58 * arith.c: Cast the characters from the strings to unsigned
59 char to avoid values less than 0 for extended ASCII.
61 2006-06-01 Per Bothner <bothner@bothner.com>
63 * data.c (gfc_assign_data_value): Handle USE_MAPPED_LOCATION.
64 * scanner.c (gfc_gobble_whitespace): Likewise.
66 2006-06-01 Paul Thomas <pault@gcc.gnu.org>
70 * interface.c (compare_parameter): Return 1 if the actual arg
71 is external and the formal is a procedure.
72 (compare_actual_formal): If the actual argument is a variable
73 and the formal a procedure, this an error. If a gsymbol exists
74 for a procedure of the same name, this is not yet resolved and
77 * trans-intrinsic.c (gfc_conv_associated): Make provision for
78 zero array length or zero string length contingent on presence
79 of target, for consistency with standard.
81 2006-05-30 Asher Langton <langton2@llnl.gov>
83 * symbol.c (check_conflict): Allow external, function, and
84 subroutine attributes with Cray pointees.
85 * trans-expr.c (gfc_conv_function_val): Translate Cray pointees
86 that point to procedures.
87 * gfortran.texi: Document new feature.
89 2006-05-29 Jerry DeLisle <jvdelisle@gcc.gnu.org>
92 * io.c (check_format): Add error for missing period in format
93 specifier unless -std=legacy.
94 * gfortran.texi: Add description of expanded namelist read and
95 missing period in format extensions.
97 2006-05-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
100 * trans-array.c (gfc_conv_array_ref): Perform out-of-bounds
101 checking for assumed-size arrrays for all but the last dimension.
103 2006-05-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
105 * invoke.texi: Change -fpackderived into -fpack-derived.
107 2006-05-29 Kazu Hirata <kazu@codesourcery.com>
109 * options.c, primary.c, resolve.c, trans-common.c: Fix typos
112 2006-05-28 Kazu Hirata <kazu@codesourcery.com>
114 * check.c, expr.c, resolve.c, trans-common.c,
115 trans-intrinsic.c, trans-stmt.c, trans-types.c: Fix comment typos.
117 2006-05-27 Francois-Xavier Coudert <coudert@clipper.ens.fr>
120 * trans-array.c (gfc_conv_array_ref): Don't perform out-of-bounds
121 checking for assumed-size arrrays.
123 2006-05-27 Paul Thomas <pault@gcc.gnu.org>
125 * trans-intrinsic.c (gfc_conv_associated): If pointer in first
126 arguments has zero array length of zero string length, return
129 2006-05-26 Francois-Xavier Coudert <coudert@clipper.ens.fr>
132 * trans-array.c (gfc_trans_dummy_array_bias): Don't use stride as
133 a temporary variable when -fbounds-check is enabled, since its
134 value will be needed later.
136 2006-05-26 Thomas Koenig <Thomas.Koenig@online.de>
139 * io.c (match_io): print (1,*) is an error.
141 2006-05-26 Paul Thomas <pault@gcc.gnu.org>
144 * resolve.c (find_array_spec): Add gfc_symbol, derived, and
145 use to track repeated component references.
149 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Use
150 se->string_length throughout and use memcpy to populate the
151 expression returned to the scalarizer.
152 (gfc_size_in_bytes): New function.
154 2006-05-21 Paul Thomas <pault@gcc.gnu.org>
157 * primary.c (gfc_match_rvalue): Test if symbol represents a
158 direct recursive function reference. Error if array valued,
159 go to function0 otherwise.
161 2006-05-21 Paul Thomas <pault@gcc.gnu.org>
164 * interface.c (gfc_extend_assign): Use new EXEC_ASSIGN_CALL.
165 * gfortran.h : Put EXEC_ASSIGN_CALL in enum.
166 * trans-stmt.c (gfc_conv_elemental_dependencies): New function.
167 (gfc_trans_call): Call it. Add new boolian argument to flag
168 need for dependency checking. Assert intent OUT and IN for arg1
170 (gfc_trans_forall_1): Use new code EXEC_ASSIGN_CALL.
171 trans-stmt.h : Modify prototype of gfc_trans_call.
172 trans.c (gfc_trans_code): Add call for EXEC_ASSIGN_CALL.
173 st.c (gfc_free_statement): Free actual for EXEC_ASSIGN_CALL.
174 * dependency.c (gfc_check_fncall_dependency): Don't check other
178 * resolve.c : Remove resolving_index_expr.
179 (entry_parameter): Remove.
180 (gfc_resolve_expr, resolve_charlen, resolve_fl_variable): Lift
181 calls to entry_parameter and references to resolving_index_expr.
184 * check.c (gfc_check_associated): Replace NULL assert with an
185 error message, since it is possible to generate bad code that
186 has us fall through to here..
189 * iresolve.c (maxloc, minloc): If DIM is not present, pass the
190 rank of ARRAY as the shape of the result. Otherwise, pass the
191 shape of ARRAY, less the dimension DIM.
192 (maxval, minval): The same, when DIM is present, otherwise no
195 2006-05-19 H.J. Lu <hongjiu.lu@intel.com>
198 * trans-array.c (gfc_conv_expr_descriptor): Don't zero the
199 first stride to indicate a temporary.
200 * trans-expr.c (gfc_conv_function_call): Likewise.
202 2006-05-18 Francois-Xavier Coudert <coudert@clipper.ens.fr>
203 Feng Wang <fengwang@nudt.edu.cn>
206 * dump-parse-tree.c (gfc_show_expr): Deal with Hollerith constants.
207 * data.c (create_character_intializer): Set from_H flag if character is
208 initialized by Hollerith constant.
210 2006-05-17 Francois-Xavier Coudert <coudert@clipper.ens.fr>
213 * resolve.c (resolve_call, resolve_function): Issue an error
214 if a function or subroutine call is recursive but the function or
215 subroutine wasn't declared as such.
217 2006-05-07 Francois-Xavier Coudert <coudert@clipper.ens.fr>
220 * gfortran.dg/recursive_check_1.f: New test.
223 2006-05-17 Francois-Xavier Coudert <coudert@clipper.ens.fr>
226 * dump-parse-tree.c (gfc_show_code_node): Try harder to find the
227 called procedure name.
229 2006-05-17 Jakub Jelinek <jakub@redhat.com>
232 * trans-openmp.c (gfc_trans_omp_parallel_do,
233 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare): Set
234 OMP_PARALLEL_COMBINED flag.
236 2006-05-16 H.J. Lu <hongjiu.lu@intel.com>
239 * Make-lang.in (GFORTRAN_D_OBJS): Replace gcc.o with
242 2006-05-15 Paul Thomas <pault@gcc.gnu.org>
245 * resolve.c: Static resolving_index_expr initialized.
246 (entry_parameter): New function to emit errors for variables
247 that are not entry parameters.
248 (gfc_resolve_expr): Call entry_parameter, when resolving
249 variables, if the namespace has entries and resolving_index_expr
251 (resolve_charlen): Set resolving_index_expr before the call to
252 resolve_index_expr and reset it afterwards.
253 (resolve_fl_variable): The same before and after the call to
254 is_non_constant_shape_array, which ultimately makes a call to
258 * resolve.c (resolve_code): Add error condition that the return
259 expression must be scalar.
262 * matchexp.c (gfc_get_parentheses): New function.
263 (match_primary): Remove inline code and call above.
264 * gfortran.h: Provide prototype for gfc_get_parentheses.
265 * resolve.c (resolve_array_ref): Call the above, when start is a
266 derived type variable array reference.
268 2006-05-15 Jakub Jelinek <jakub@redhat.com>
271 * trans-openmp.c (gfc_trans_omp_array_reduction): Ensure
272 OMP_CLAUSE_REDUCTION_{INIT,MERGE} are set to BIND_EXPR.
274 2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
276 * Make-lang.in (fortran/options.o): Depend on $(TARGET_H).
278 2006-05-11 Francois-Xavier Coudert <coudert@clipper.ens.fr>
281 * parse.c (next_free): Return instead of calling decode_statement
284 2005-05-10 Thomas Koenig <Thomas.Koenig@online.de>
287 * trans-array.c(gfc_array_allocate): If ref->next exists
288 that is if there is a statement like ALLOCATE(foo%bar(2)),
289 F95 rules require that bar should be a pointer.
291 2006-05-10 Francois-Xavier Coudert <coudert@clipper.ens.fr>
294 * resolve.c (gfc_resolve_index): Make REAL array indices a
295 GFC_STD_LEGACY feature.
297 2006-05-10 Francois-Xavier Coudert <coudert@clipper.ens.fr>
300 * parse.c (reject_statement): Clear gfc_new_block.
302 2006-05-09 Steven G. Kargl <kargls@comcast.net>
304 * invoke.texi: Missed file in previous commit. Update
305 description of -fall-intrinsics
307 2006-05-07 Steven Boscher <steven@gcc.gnu.org>
310 * parse.c (next_statement): Add check to avoid an ICE when
311 gfc_current_locus.lb is not set.
313 2006-05-07 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
316 * match.c (match_case_eos): Error out on garbage following
319 2006-05-07 Paul Thomas <pault@gcc.gnu.org>
322 * trans-array.c (get_array_ctor_strlen): Remove static attribute.
323 * trans.h: Add prototype for get_array_ctor_strlen.
324 * trans-intrinsic.c (gfc_conv_intrinsic_len): Switch on EXPR_ARRAY
325 and call get_array_ctor_strlen.
327 2006-05-05 Steven G. Kargl <kargls@comcast.net>
329 * invoke.texi: Update description of -fall-intrinsics
330 * options.c (gfc_post_options): Disable -Wnonstd-intrinsics if
331 -fall-intrinsics is used.
332 (gfc_handle_option): Permit -Wno-nonstd-intrinsics.
334 2006-05-04 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
336 * simplify.c (ascii_table): Fix wrong entry.
338 2006-05-02 Steven G. Kargl <kargls@comcast.net>
341 * lang.opt: Fix -Wtab description
344 * lang.opt: New flag -fall-intrinsics.
345 * invoke.texi: Document option.
346 * gfortran.h (options_t): New member flag_all_intrinsics.
347 * options.c (gfc_init_options, gfc_handle_option): Set new option.
348 sort nearby misplaced options.
349 * intrinsic.c (add_sym, make_generic, make_alias): Use it.
351 2006-05-02 Paul Thomas <pault@gcc.gnu.org>
354 * module.c: Add static flag in_load_equiv.
355 (mio_expr_ref): Return if no symtree and in_load_equiv.
356 (load_equiv): If any of the equivalence members have no symtree, free
357 the equivalence and the associated expressions.
360 * trans-common.c (gfc_trans_common): Invert the order of calls to
361 finish equivalences and gfc_commit_symbols.
363 2006-04-29 Francois-Xavier Coudert <coudert@clipper.ens.fr>
366 * simplify.c (simplify_len): Character variables with constant
367 length can be simplified.
369 2006-04-29 H.J. Lu <hongjiu.lu@intel.com>
372 * trans-array.c (gfc_conv_array_transpose): Move gcc_assert
373 before gfc_conv_expr_descriptor.
375 2006-04-23 Paul Thomas <pault@gcc.gnu.org>
378 * resolve.c (resolve_call): Check conformity of elemental
379 subroutine actual arguments.
381 2006-04-22 Jakub Jelinek <jakub@redhat.com>
384 * iresolve.c (gfc_resolve_reshape): Use reshape_r16 for real(16).
385 (gfc_resolve_transpose): Use transpose_r16 for real(16).
387 2006-04-21 Paul Thomas <pault@gcc.gnu.org>
390 * resolve.c (resolve_function): Remove general restriction on auto
391 character length function interfaces.
392 (gfc_resolve_uops): Check restrictions on defined operator
394 (resolve_types): Call the check for defined operators.
397 * trans-array.c (gfc_trans_array_constructor_subarray): Remove
398 redundant gfc_todo_error.
399 (get_array_ctor_var_strlen): Remove typo in enum.
401 2006-04-18 Bernhard Fischer <aldot@gcc.gnu.org>
403 * parse.c (next_free): Use consistent error string between
404 free-form and fixed-form for illegal statement label of zero.
405 (next_fixed): Use consistent warning string between free-form
406 and fixed-form for statement labels for empty statements.
408 2006-04-18 Steve Ellcey <sje@cup.hp.com>
410 * trans-io.c (gfc_build_io_library_fndecls): Align pad.
412 2006-04-16 Thomas Koenig <Thomas.Koenig@online.de>
415 * trans-array.c(gfc_array_init_size): Introduce or_expr
416 which is true if the size along any dimension
417 is negative. Create a temporary variable with base
418 name size. If or_expr is true, set the temporary to 0,
419 to the normal size otherwise.
421 2006-04-16 Paul Thomas <pault@gcc.gnu.org>
424 * intrinsic.c (add_functions): Mark LOGICAL as elemental.
427 * expr.c (gfc_check_assign): Extend scope of error to include
428 assignments to a procedure in the main program or, from a
429 module or internal procedure that is not that represented by
430 the lhs symbol. Use VARIABLE rather than l-value in message.
433 * trans-array.c (gfc_trans_deferred_array): If the backend_decl
434 is not a descriptor, dereference and then test and use the type.
437 * trans-decl.c (gfc_trans_deferred_vars): Check if an array
438 result, is also automatic character length. If so, process
439 the character length.
444 * trans_intrinsic.c (gfc_walk_intrinsic_bound): Set
445 data.info.dimen for bound intrinsics.
446 * trans_array.c (gfc_conv_ss_startstride): Pick out LBOUND and
447 UBOUND intrinsics and supply their shape information to the ss
451 * trans_expr.c (gfc_trans_function_call): Add a new block, post,
452 in to which all the argument post blocks are put. Add this block
453 to se->pre after a byref call or to se->post, otherwise.
455 2006-04-14 Roger Sayle <roger@eyesopen.com>
457 * trans-io.c (set_string): Use fold_build2 and build_int_cst instead
458 of build2 and convert to construct "x < 0" rather than "x <= -1".
460 2006-04-13 Richard Henderson <rth@redhat.com>
462 * trans-openmp.c (gfc_trans_omp_sections): Adjust for changed
463 number of operands to OMP_SECTIONS.
465 2006-04-08 Kazu Hirata <kazu@codesourcery.com>
467 * gfortran.texi: Fix typos. Follow spelling conventions.
468 * resolve.c, trans-expr.c, trans-stmt.c: Fix comment typos.
469 Follow spelling conventions.
471 2006-04-05 Roger Sayle <roger@eyesopen.com>
473 * dependency.c (get_no_elements): Delete function.
474 (get_deps): Delete function.
475 (transform_sections): Delete function.
476 (gfc_check_section_vs_section): Significant rewrite.
478 2006-04-04 H.J. Lu <hongjiu.lu@intel.com>
481 * trans-array.c (gfc_conv_expr_descriptor): Only dereference
482 character pointer when copying temporary.
485 * trans-array.c (gfc_conv_expr_descriptor): Properly copy
486 temporary character with non constant size.
488 2006-04-03 Paul Thomas <pault@gcc.gnu.org>
491 * trans.h: Prototype for gfc_conv_missing_dummy.
492 * trans-expr (gfc_conv_missing_dummy): New function
493 (gfc_conv_function_call): Call it and tidy up some of the code.
494 * trans-intrinsic (gfc_conv_intrinsic_function_args): The same.
497 * array.c (gfc_array_dimen_size): If available, return shape[dimen].
498 * resolve.c (resolve_function): If available, use the argument
499 shape for the function expression.
500 * iresolve.c (gfc_resolve_transfer): Set shape[0] = size.
502 2006-04-02 Erik Edelmann <eedelman@gcc.gnu.org>
504 * trans-array.c (gfc_trans_dealloc_allocated): Take a
505 tree representation of the array to be deallocated as argument
506 instead of its gfc_symbol.
507 (gfc_trans_deferred_array): Update call to
508 gfc_trans_dealloc_allocated.
509 * trans-array.h (gfc_trans_dealloc_allocated): Update
511 * trans-expr.c (gfc_conv_function_call): Update call to
512 gfc_trans_dealloc_allocated, get indirect reference to dummy
515 2006-04-01 Roger Sayle <roger@eyesopen.com>
518 * trans-array.c (gfc_trans_allocate_array_storage): In array index
519 calculations use gfc_index_zero_node and gfc_index_one_node instead
520 of integer_zero_node and integer_one_node respectively.
521 (gfc_conv_array_transpose): Likewise.
522 (gfc_conv_ss_startstride): Likewise.
523 (gfc_trans_dummy_array_bias): Likewise.
525 2006-04-01 Roger Sayle <roger@eyesopen.com>
527 * dependency.c (gfc_is_inside_range): Delete.
528 (gfc_check_element_vs_section): Significant rewrite.
530 2006-04-01 Roger Sayle <roger@eyesopen.com>
532 * dependency.c (gfc_dep_compare_expr): Strip parentheses and unary
533 plus operators when comparing expressions. Handle comparisons of
534 the form "X+C vs. X", "X vs. X+C", "X-C vs. X" and "X vs. X-C" where
535 C is an integer constant. Handle comparisons of the form "P+Q vs.
536 R+S" and "P-Q vs. R-S". Handle comparisons of integral extensions
537 specially (increasing functions) so extend(A) > extend(B), when A>B.
538 (gfc_check_element_vs_element): Move test later, so that we ignore
539 the fact that "A < B" or "A > B" when A or B contains a forall index.
541 2006-03-31 Asher Langton <langton2@llnl.gov>
544 * expr.c (gfc_check_assign): Allow cray pointee to be assumes-size.
546 2006-03-30 Paul Thomas <paulthomas2@wanadoo.fr>
547 Bud Davis <bdavis9659@sbcglobal.net>
550 * module.c (load_needed): Traverse entire tree before returning.
552 2006-03-30 Roger Sayle <roger@eyesopen.com>
555 * trans.c (gfc_trans_runtime_check): Promote the arguments of
556 __builtin_expect to the correct types, and the result back to
559 2006-03-29 Carlos O'Donell <carlos@codesourcery.com>
561 * Make-lang.in: Rename docdir to gcc_docdir.
563 2006-03-28 Steven G. Kargl <kargls@comcast.net>
565 * intrinsic.texi: s/floor/float in previous commit.
567 2006-03-28 Paul Thomas <pault@gcc.gnu.org>
570 * resolve.c (resolve_fl_procedure): Do not check the access of
571 derived types for internal procedures.
573 2006-03-27 Jakub Jelinek <jakub@redhat.com>
575 * io.c (check_io_constraints): Don't look at
576 dt->advance->value.charater.string, unless it is a CHARACTER
579 * f95-lang.c (gfc_get_alias_set): New function.
580 (LANG_HOOKS_GET_ALIAS_SET): Define.
582 2006-03-25 Steven G. Kargl <kargls@comcast.net>
585 * intrinsic.c (add_functions): Allow FLOAT to accept all integer kinds.
586 * intrinsic.texi: Document FLOAT.
588 2006-03-25 Thomas Koenig <Thomas.Koenig@online.de>
591 * iresolve.c (gfc_resolve_reshape): Remove doubling of
592 kind for complex. For real(kind=10), call reshape_r10.
593 (gfc_resolve_transpose): For real(kind=10), call
596 2006-03-25 Roger Sayle <roger@eyesopen.com>
598 * dependency.c (gfc_check_dependency): Improve handling of pointers;
599 Two variables of different types can't have a dependency, and two
600 variables with the same symbol are equal, even if pointers.
602 2006-03-24 Roger Sayle <roger@eyesopen.com>
604 * gfortran.h (gfc_symbol): Add a new "forall_index" bit field.
605 * match.c (match_forall_iterator): Set forall_index field on
606 the iteration variable's symbol.
607 * dependency.c (contains_forall_index_p): New function to
608 traverse a gfc_expr to check whether it contains a variable
609 with forall_index set in it's symbol.
610 (gfc_check_element_vs_element): Return GFC_DEP_EQUAL for scalar
611 constant expressions that don't variables used as FORALL indices.
613 2006-03-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
616 * error.c (gfc_fatal_error): Return ICE_EXIT_CODE instead of 4.
618 2006-03-22 Thomas Koenig <Thomas.Koenig@online.de>
621 * gfortran.h (gfc_option_t): Add record_marker.
622 * lang.opt: Add -frecord-marker=4 and -frecord-marker=8.
623 * trans-decl.c: Add gfor_fndecl_set_record_marker.
624 (gfc_build_builtin_function_decls): Set
625 gfor_fndecl_set_record_marker.
626 (gfc_generate_function_code): If we are in the main program
627 and -frecord-marker was provided, call set_record_marker.
628 * options.c (gfc_handle_option): Add handling for
629 -frecord-marker=4 and -frecord-marker=8.
630 * invoke.texi: Document -frecord-marker.
632 2006-03-22 Paul Thomas <pault@gcc.gnu.org>
635 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): New
636 function to implement array valued TRANSFER intrinsic.
637 (gfc_conv_intrinsic_function): Call the new function if TRANSFER
639 (gfc_walk_intrinsic_function): Treat TRANSFER as one of the
640 special cases by calling gfc_walk_intrinsic_libfunc directly.
642 2006-03-21 Toon Moene <toon@moene.indiv.nluug.nl>
644 * options.c (gfc_init_options): Initialize
645 flag_argument_noalias to 3.
647 2006-03-20 Thomas Koenig <Thomas.Koenig@online.de>
650 * iresolve.c (gfc_resolve_maxloc): If mask is scalar,
651 prefix the function name with an "s". If the mask is scalar
652 or if its kind is smaller than gfc_default_logical_kind,
653 coerce it to default kind.
654 (gfc_resolve_maxval): Likewise.
655 (gfc_resolve_minloc): Likewise.
656 (gfc_resolve_minval): Likewise.
657 (gfc_resolve_product): Likewise.
658 (gfc_resolve_sum): Likewise.
660 2006-03-19 Paul Thomas <pault@gcc.gnu.org>
663 *expr.c (external_spec_function): Permit elemental functions.
666 *interface.c (compare_actual_formal): Detect call for procedure
667 usage and require rank checking, in this case, for assumed shape
668 and deferred shape arrays.
669 (gfc_procedure_use): Revert to pre-PR25070 call to
670 compare_actual_formal that does not require rank checking..
672 2006-03-16 Roger Sayle <roger@eyesopen.com>
674 * gfortran.h (gfc_equiv_info): Add length field.
675 * trans-common.c (copy_equiv_list_to_ns): Set the length field.
676 * dependency.c (gfc_are_equivalenced_arrays): Use both the offset
677 and length fields to determine whether the two equivalenced symbols
680 2006-03-14 Jerry DeLisle <jvdelisle@gcc.gnu.org>
683 * gfortran.h: Add warn_ampersand.
684 * invoke.texi: Add documentation for new option.
685 * lang.opt: Add Wampersand.
686 * options.c (gfc_init_options): Initialize warn_ampersand.
687 (gfc_post_options): Set the warn if pedantic.
688 (set_Wall): Set warn_ampersand.
689 (gfc_handle_option: Add Wampersand for itself, -std=f95, and -std=f2003.
690 * scanner.c (gfc_next_char_literal): Add test for missing '&' in
691 continued character constant and give warning if missing.
693 2006-03-14 Steven G. Kargl <kargls@comcast.net>
696 * gfortran.h: Wrap Copyright line.
697 (gfc_option_t): add warn_tabs member.
698 * lang.opt: Update Coyright year. Add the Wtabs.
699 * invoke.texi: Document -Wtabs.
700 * scanner.c (gfc_gobble_whitespace): Use warn_tabs. Add linenum to
701 suppress multiple warnings.
702 (load_line): Use warn_tabs. Add linenum, current_line, seen_comment
703 to suppress multiple warnings.
704 * options.c (gfc_init_options): Initialize warn_tabs.
705 (set_Wall): set warn_tabs for -Wall.
706 (gfc_post_options): Adjust flag_tabs depending on -pedantic.
707 (gfc_handle_option): Process command-line option -W[no-]tabs
709 2006-03-13 Paul Thomas <pault@gcc.gnu.org>
712 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Set the initial position to zero and
713 modify the condition for updating it, to implement the F2003 requirement for all(mask)
716 2006-03-13 Jakub Jelinek <jakub@redhat.com>
718 * trans-openmp.c (gfc_trans_omp_variable): Handle references
720 * trans-expr.c (gfc_conv_variable): Remove useless setting
721 of parent_flag, formatting.
723 * trans-decl.c (gfc_get_fake_result_decl): Re-add setting of
724 GFC_DECL_RESULT flag.
726 2003-03-11 Roger Sayle <roger@eyesopen.com>
728 * dependency.c (gfc_dep_compare_expr) <EXPR_OP>: Allow unary and
729 binary operators to compare equal if their operands are equal.
730 <EXPR_FUNCTION>: Allow "constant" intrinsic conversion functions
731 to compare equal, if their operands are equal.
733 2006-03-11 Erik Edelmann <eedelman@gcc.gnu.org>
735 * symbol.c (check_conflict): Allow allocatable function results,
736 except for elemental functions.
737 * trans-array.c (gfc_trans_allocate_temp_array): Rename to ...
738 (gfc_trans_create_temp_array): ... this, and add new argument
740 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call
741 to gfc_trans_allocate_temp_array.
742 * trans-array.h (gfc_trans_allocate_temp_array): Update prototype.
743 * trans-expr.c (gfc_conv_function_call): Use new arg of
744 gfc_trans_create_temp_array avoid pre-allocation of temporary
745 result variables of pointer AND allocatable functions.
746 (gfc_trans_arrayfunc_assign): Return NULL for allocatable
748 * resolve.c (resolve_symbol): Copy value of 'allocatable' attribute
749 from sym->result to sym.
751 2006-03-09 Erik Edelmann <eedelman@gcc.gnu.org>
753 * trans-expr.c (gfc_add_interface_mapping): Copy 'allocatable'
754 attribute from sym to new_sym. Call build_fold_indirect_ref()
755 for allocatable arguments.
757 2006-03-09 Paul Thomas <pault@gcc.gnu.org>
760 * trans-array.c (gfc_conv_expr_descriptor): Exclude calculation of
761 the offset and data when se->data_not_needed is set.
762 * trans.h: Include the data_not_need bit in gfc_se.
763 * trans-intrinsic.c (gfc_conv_intrinsic_size): Set it for SIZE.
765 2006-03-06 Paul Thomas <pault@gcc.gnu.org>
766 Erik Edelmann <eedelman@gcc.gnu.org>
768 * trans-array.c (gfc_trans_dealloc_allocated): New function.
769 (gfc_trans_deferred_array): Use it, instead of inline code.
770 * trans-array.h: Prototype for gfc_trans_dealloc_allocated().
771 * trans-expr.c (gfc_conv_function_call): Deallocate allocated
772 ALLOCATABLE, INTENT(OUT) arguments upon procedure entry.
774 2006-03-06 Paul Thomas <pault@gcc.gnu.org>
777 * resolve.c (resolve_function): Add name after test for pureness.
780 * trans-expr.c (gfc_conv_variable): Detect reference to parent result,
781 store current_function_decl, replace with parent, whilst calls are
782 made to gfc_get_fake_result_decl, and restore afterwards. Signal this
783 to gfc_get_fake_result_decl with a new argument, parent_flag.
784 * trans-stmt.c (gfc_trans_return): gfc_get_fake_result_decl 2nd arg
786 * trans.h: Add parent_flag to gfc_get_fake_result_decl prototype.
787 * trans-decl.c (gfc_get_fake_result_decl): On parent_flag, being set,
788 add decl to parent function. Replace refs to current_fake_result_decl
789 with refs to this_result_decl.
790 (gfc_generate_function_code): Null parent_fake_result_decl before the
791 translation of code for contained procedures. Set parent_flag to zero
792 in call to gfc_get_fake_result_decl.
793 * trans-intrinsic.c (gfc_conv_intrinsic_len): The same.
795 2006-03-05 Steven G. Kargl <kargls@comcast.net>
797 * simplify.c (gfc_simplify_verify): Fix return when SET=''.
799 2006-03-05 Erik Edelmann <eedelman@gcc.gnu.org>
802 * symbol.c (conf_std): New macro.
803 (check_conflict): Use it to allow ALLOCATABLE dummy
805 * trans-expr.c (gfc_conv_function_call): Pass the
806 address of the array descriptor when dummy argument is
808 * interface.c (compare_allocatable): New function.
809 (compare_actual_formal): Use it.
810 * resolve.c (resolve_deallocate_expr,
811 resolve_allocate_expr): Check that INTENT(IN) variables
812 aren't (de)allocated.
813 * gfortran.texi (Fortran 2003 status): List ALLOCATABLE
814 dummy arguments as supported.
816 2006-03-03 Roger Sayle <roger@eyesopen.com>
818 * dependency.c (gfc_check_element_vs_element): Revert last change.
820 2006-03-03 Roger Sayle <roger@eyesopen.com>
822 * dependency.c (gfc_check_element_vs_element): Consider two
823 unordered scalar subscripts as (potentially) equal.
825 2006-03-03 Roger Sayle <roger@eyesopen.com>
827 * dependency.c (gfc_check_dependency): Call gfc_dep_resolver to
828 check whether two array references have a dependency.
829 (gfc_check_element_vs_element): Assume lref and rref must be
830 REF_ARRAYs. If gfc_dep_compare_expr returns -2, assume these
831 references could potentially overlap.
832 (gfc_dep_resolver): Whitespace and comment tweaks. Assume a
833 dependency if the references have different depths. Rewrite
834 final term to clarrify we only have a dependency for overlaps.
836 2006-03-03 Thomas Koenig <Thomas.Koenig@online.de>
839 * trans-array.h: Adjust gfc_array_allocate prototype.
840 * trans-array.c (gfc_array_allocate): Change type of
841 gfc_array_allocatate to bool. Function returns true if
842 it operates on an array. Change second argument to gfc_expr.
843 Find last reference in chain.
844 If the function operates on an allocatable array, emit call to
845 allocate_array() or allocate64_array().
846 * trans-stmt.c (gfc_trans_allocate): Code to follow to last
847 reference has been moved to gfc_array_allocate.
848 * trans.h: Add declaration for gfor_fndecl_allocate_array and
849 gfor_fndecl_allocate64_array.
850 (gfc_build_builtin_function_decls): Add gfor_fndecl_allocate_array
851 and gfor_fndecl_allocate64_array.
853 2006-03-01 Roger Sayle <roger@eyesopen.com>
855 * trans-stmt.c (generate_loop_for_temp_to_lhs): Add an additional
856 INVERT argument to invert the sense of the WHEREMASK argument.
857 Remove unneeded code to AND together a list of masks.
858 (generate_loop_for_rhs_to_temp): Likewise.
859 (gfc_trans_assign_need_temp): Likewise.
860 (gfc_trans_forall_1): Likewise.
861 (gfc_evaluate_where_mask): Likewise, add a new INVERT argument
862 to specify the sense of the MASK argument.
863 (gfc_trans_where_assign): Likewise.
864 (gfc_trans_where_2): Likewise. Restructure code that decides
865 whether we need to allocate zero, one or two temporary masks.
866 If this is a top-level WHERE (i.e. the incoming MASK is NULL),
867 we only need to allocate at most one temporary mask, and can
868 invert it's sense to provide the complementary pending execution
869 mask. Only calculate the size of the required temporary arrays
871 (gfc_trans_where): Update call to gfc_trans_where_2.
873 2006-03-01 Paul Thomas <pault@gcc.gnu.org>
875 * iresolve.c (gfc_resolve_dot_product): Remove any difference in
876 treatment of logical types.
877 * trans-intrinsic.c (gfc_conv_intrinsic_dot_product): New function.
880 * trans-decl.c (gfc_get_symbol_decl): Extend condition that symbols
881 must be referenced to include unreferenced symbols in an interface
885 * trans-array.c (gfc_conv_resolve_dependencies): Add call to
886 gfc_are_equivalenced_arrays.
887 * symbol.c (gfc_free_equiv_infos, gfc_free_equiv_lists): New
888 functions. (gfc_free_namespace): Call them.
889 * trans-common.c (copy_equiv_list_to_ns): New function.
890 (add_equivalences): Call it.
891 * gfortran.h: Add equiv_lists to gfc_namespace and define
892 gfc_equiv_list and gfc_equiv_info.
893 * dependency.c (gfc_are_equivalenced_arrays): New function.
894 (gfc_check_dependency): Call it.
895 * dependency.h: Prototype for gfc_are_equivalenced_arrays.
897 2006-03-01 Roger Sayle <roger@eyesopen.com>
899 * dependency.c (gfc_is_same_range): Compare the stride, lower and
900 upper bounds when testing array reference ranges for equality.
901 (gfc_check_dependency): Fix indentation whitespace.
902 (gfc_check_element_vs_element): Likewise.
903 (gfc_dep_resolver): Likewise.
905 2006-02-28 Thomas Koenig <Thomas.Koenig@online.de>
907 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc):
908 If the mask expression exists and has rank 0, enclose the
909 generated loop in an "if (mask)". Put the default
910 initialization into the else branch.
912 2006-02-25 Thomas Koenig <Thomas.Koenig@online.de>
915 * trans-intrinsic.c (gfc_conv_intrinsic_arith): If the
916 mask expression exists and has rank 0, enclose the generated
917 loop in an "if (mask)".
918 * (gfc_conv_intrinsic_minmaxloc): Likewise.
920 2006-02-24 Paul Thomas <pault@gcc.gnu.org>
923 * resolve.c (resolve_contained_functions, resolve_types,
924 gfc_resolve): Revert patch of 2006-02-19.
926 2006-02-24 Paul Thomas <pault@gcc.gnu.org>
929 * dependency.c (gfc_is_same_range): Correct typo.
930 (gfc_check_section_vs_section): Call gfc_is_same_range.
933 * trans-common.c (add_equivalences): Add a new flag that is set when
934 an equivalence is seen that prevents more from being reset until the
935 start of a new traversal of the list, thus ensuring completion of
936 all the equivalences.
938 2006-02-23 Erik Edelmann <eedelman@gcc.gnu.org>
940 * module.c (read_module): Remove redundant code lines.
942 2006-02-20 Rafael
\81Ávila de Esp
\81índola <rafael.espindola@gmail.com>
943 * Make-lang.in (FORTRAN): Remove
944 (.PHONY): Remove F95 and f95. Add fortran
946 2006-02-20 Roger Sayle <roger@eyesopen.com>
948 * trans-stmt.c (gfc_trans_where_2): Avoid updating unused current
949 execution mask for empty WHERE/ELSEWHERE clauses. Don't allocate
950 temporary mask arrays if they won't be used.
952 2006-02-20 Roger Sayle <roger@eyesopen.com>
954 * trans-stmt.c (gfc_trans_where_assign): Remove code to handle
955 traversing a linked list of MASKs. The MASK is now always a
956 single element requiring no ANDing during the assignment.
958 2006-02-19 Thomas Koenig <Thomas.Koenig@online.de>
960 * gfortran.texi: Document environment variables which
961 influence runtime behavior.
963 2006-02-19 H.J. Lu <hongjiu.lu@intel.com>
965 * resolve.c (resolve_contained_functions): Call resolve_entries
967 (resolve_types): Remove calls to resolve_entries and
968 resolve_contained_functions.
969 (gfc_resolve): Call resolve_contained_functions.
971 2006-02-19 Erik Edelmann <eedelman@gcc.gnu.org>
974 * intrinsic.c (gfc_convert_type_warn): Call
975 gfc_intrinsic_symbol() on the newly created symbol.
977 2006-02-19 Paul Thomas <pault@gcc.gnu.org>
980 * resolve.c (is_non_constant_shape_array): New function.
981 (resolve_fl_variable): Remove code for the new function and call it.
982 (resolve_fl_namelist): New function. Add test for namelist array
983 with non-constant shape, using is_non_constant_shape_array.
984 (resolve_symbol): Remove code for resolve_fl_namelist and call it.
987 * match.c (match_namelist): Increment the refs field of an accepted
988 namelist object symbol.
989 * resolve.c (resolve_fl_namelist): Test namelist objects for a conflict
990 with contained or module procedures.
992 2006-02-18 Roger Sayle <roger@eyesopen.com>
994 * trans-stmt.c (struct temporary_list): Delete.
995 (gfc_trans_where_2): Major reorganization. Remove no longer needed
996 TEMP argument. Allocate and deallocate the control mask and
997 pending control mask locally.
998 (gfc_trans_forall_1): Delete TEMP local variable, and update
999 call to gfc_trans_where_2. No need to deallocate arrays after.
1000 (gfc_evaluate_where_mask): Major reorganization. Change return
1001 type to void. Pass in parent execution mask, MASK, and two
1002 already allocated mask arrays CMASK and PMASK. On return
1003 CMASK := MASK & COND, PMASK := MASK & !COND. MASK, CMASK and
1004 CMASK may all be NULL, or refer to the same temporary arrays.
1005 (gfc_trans_where): Update call to gfc_trans_where_2. We no
1006 longer need a TEMP variable or to deallocate temporary arrays
1007 allocated by gfc_trans_where_2.
1009 2006-02-18 Danny Smith <dannysmith@users.sourceforeg.net>
1011 * gfortran.h (gfc_add_attribute): Change uint to unsigned int.
1012 * symbol.c (gfc_add_attribute): Likewise for definition.
1013 * resolve.c (resolve_global_procedure): Likewise for variable 'type'.
1015 2006-02-17 Richard Sandiford <richard@codesourcery.com>
1017 * trans-common.c: Include rtl.h earlier.
1018 * trans-decl.c: Likewise.
1020 2006-02-16 Jakub Jelinek <jakub@redhat.com>
1023 * parse.c (parse_omp_do, parse_omp_structured_block): Call
1024 gfc_commit_symbols and gfc_warning_check.
1026 * openmp.c (resolve_omp_clauses): Add a dummy case label to workaround
1027 PR middle-end/26316.
1029 2006-02-16 Paul Thomas <pault@gcc.gnu.org>
1032 * trans-expr.c (gfc_add_interface_mapping): Use the actual argument
1033 for character(*) arrays, rather than casting to the type and kind
1034 parameters of the formal argument.
1036 2006-02-15 Toon Moene <toon@moene.indiv.nluug.nl>
1039 * options.c: Do not warn for Fortran 2003 features by default.
1041 2006-02-15 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1043 * check.c: Update copyright years.
1045 * check.c (gfc_check_minloc_maxloc, check_reduction): Don't call
1046 dim_range_check on not-present optional dim argument.
1048 2006-02-15 Jakub Jelinek <jakub@redhat.com>
1052 * Make-lang.in (install-finclude-dir): New goal.
1053 (fortran.install-common): Depend on install-finclude-dir.
1054 * lang-specs.h: If not -nostdinc, add -I finclude.
1056 2006-02-14 Thomas Koenig <Thomas.Koenig@online.de>
1059 * check.c (dim_check): Perform all checks if dim is optional.
1060 (gfc_check_minloc_maxloc): Use dim_check and dim_rank_check
1061 to check dim argument.
1062 (check_reduction): Likewise.
1064 2006-02-14 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1067 * io.c (match_ltag): Mark label as referenced.
1069 2006-02-14 Jakub Jelinek <jakub@redhat.com>
1070 Richard Henderson <rth@redhat.com>
1071 Diego Novillo <dnovillo@redhat.com>
1073 * invoke.texi: Document -fopenmp.
1074 * gfortran.texi (Extensions): Document OpenMP.
1076 Backport from gomp-20050608-branch
1077 * trans-openmp.c: Call build_omp_clause instead of
1078 make_node when creating OMP_CLAUSE_* trees.
1079 (gfc_trans_omp_reduction_list): Remove argument 'code'.
1082 * trans.h (build4_v): Define.
1083 * trans-openmp.c: Call build4_v to create OMP_PARALLEL nodes.
1084 Call build3_v to create OMP_SECTIONS nodes.
1087 * openmp.c (gfc_match_omp_variable_list): Call gfc_set_sym_referenced
1088 on all symbols added to the variable list.
1090 * openmp.c (gfc_match_omp_clauses): Fix check for non-INTRINSIC
1091 procedure symbol in REDUCTION.
1093 * trans-openmp.c (gfc_trans_omp_array_reduction): Use gfc_add
1094 for MINUS_EXPR OMP_CLAUSE_REDUCTION_CODE.
1096 * trans-openmp.c (gfc_trans_omp_do): Add PBLOCK argument. If PBLOCK
1097 is non-NULL, evaluate INIT/COND/INCR and chunk size expressions in
1098 that statement block.
1099 (gfc_trans_omp_parallel_do): Pass non-NULL PBLOCK to gfc_trans_omp_do
1100 for non-ordered non-static combined loops.
1101 (gfc_trans_omp_directive): Pass NULL PBLOCK to gfc_trans_omp_do.
1103 * openmp.c: Include target.h and toplev.h.
1104 (gfc_match_omp_threadprivate): Emit diagnostic if target does
1106 * Make-lang.in (fortran/openmp.o): Add dependencies on
1107 target.h and toplev.h.
1109 * trans-decl.c (gfc_get_fake_result_decl): Set GFC_DECL_RESULT.
1110 * trans-openmp.c (gfc_omp_privatize_by_reference): Make
1111 DECL_ARTIFICIAL vars predetermined shared except GFC_DECL_RESULT.
1112 (gfc_omp_disregard_value_expr): Handle GFC_DECL_RESULT.
1113 (gfc_trans_omp_variable): New function.
1114 (gfc_trans_omp_variable_list, gfc_trans_omp_reduction_list): Use it.
1115 * trans.h (GFC_DECL_RESULT): Define.
1117 * trans-openmp.c (gfc_omp_firstprivatize_type_sizes): New function.
1118 * f95-lang.c (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
1119 * trans.h (gfc_omp_firstprivatize_type_sizes): New prototype.
1121 * trans-openmp.c (gfc_omp_privatize_by_reference): Return
1122 true if a pointer has GFC_DECL_SAVED_DESCRIPTOR set.
1123 (gfc_trans_omp_array_reduction, gfc_trans_omp_reduction_list): New
1125 (gfc_trans_omp_clauses): Add WHERE argument. Call
1126 gfc_trans_omp_reduction_list rather than gfc_trans_omp_variable_list
1128 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
1129 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
1130 gfc_trans_omp_sections, gfc_trans_omp_single): Adjust
1131 gfc_trans_omp_clauses callers.
1133 * openmp.c (omp_current_do_code): New var.
1134 (gfc_resolve_omp_do_blocks): New function.
1135 (gfc_resolve_omp_parallel_blocks): Call it.
1136 (gfc_resolve_do_iterator): Add CODE argument. Don't propagate
1137 predetermination if argument is !$omp do or !$omp parallel do
1139 * resolve.c (resolve_code): Call gfc_resolve_omp_do_blocks
1140 for EXEC_OMP_DO. Adjust gfc_resolve_do_iterator caller.
1141 * fortran.h (gfc_resolve_omp_do_blocks): New prototype.
1142 (gfc_resolve_do_iterator): Add CODE argument.
1144 * trans.h (gfc_omp_predetermined_sharing,
1145 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
1147 (GFC_DECL_COMMON_OR_EQUIV, GFC_DECL_CRAY_POINTEE): Define.
1148 * trans-openmp.c (gfc_omp_predetermined_sharing,
1149 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
1151 * trans-common.c (build_equiv_decl, build_common_decl,
1152 create_common): Set GFC_DECL_COMMON_OR_EQUIV flag on the decls.
1153 * trans-decl.c (gfc_finish_cray_pointee): Set GFC_DECL_CRAY_POINTEE
1155 * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_SHARING,
1156 LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
1157 LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE): Define.
1159 * openmp.c (resolve_omp_clauses): Remove extraneous comma.
1161 * symbol.c (check_conflict): Add conflict between cray_pointee and
1163 * openmp.c (gfc_match_omp_threadprivate): Fail if
1164 gfc_add_threadprivate returned FAILURE.
1165 (resolve_omp_clauses): Diagnose Cray pointees in SHARED,
1166 {,FIRST,LAST}PRIVATE and REDUCTION clauses and Cray pointers in
1167 {FIRST,LAST}PRIVATE and REDUCTION clauses.
1169 * resolve.c (omp_workshare_flag): New variable.
1170 (resolve_function): Diagnose use of non-ELEMENTAL user defined
1171 function in WORKSHARE construct.
1172 (resolve_code): Cleanup forall_save use. Make sure omp_workshare_flag
1173 is set to correct value in different contexts.
1175 * openmp.c (resolve_omp_clauses): Replace %s with '%s' when printing
1177 (resolve_omp_atomic): Likewise.
1180 * scanner.c (skip_free_comments): Set at_bol at the beginning of the
1181 loop, not before it.
1182 (skip_fixed_comments): Handle ! comments in the middle of line here
1184 (gfc_skip_comments): Use skip_fixed_comments for FIXED_FORM even if
1186 (gfc_next_char_literal): Fix expected canonicalized *$omp string.
1188 * trans-openmp.c (gfc_trans_omp_do): Use make_node and explicit
1189 initialization to build OMP_FOR instead of build.
1191 * trans-decl.c (gfc_gimplify_function): Invoke
1192 diagnose_omp_structured_block_errors.
1194 * trans-openmp.c (gfc_trans_omp_master): Use OMP_MASTER.
1195 (gfc_trans_omp_ordered): Use OMP_ORDERED.
1197 * gfortran.h (gfc_resolve_do_iterator, gfc_resolve_blocks,
1198 gfc_resolve_omp_parallel_blocks): New prototypes.
1199 * resolve.c (resolve_blocks): Renamed to...
1200 (gfc_resolve_blocks): ... this. Remove static.
1201 (gfc_resolve_forall): Adjust caller.
1202 (resolve_code): Only call gfc_resolve_blocks if code->block != 0
1203 and not for EXEC_OMP_PARALLEL* directives. Call
1204 gfc_resolve_omp_parallel_blocks for EXEC_OMP_PARALLEL* directives.
1205 Call gfc_resolve_do_iterator if resolved successfully EXEC_DO
1207 * openmp.c: Include pointer-set.h.
1208 (omp_current_ctx): New variable.
1209 (gfc_resolve_omp_parallel_blocks, gfc_resolve_do_iterator): New
1211 * Make-lang.in (fortran/openmp.o): Depend on pointer-set.h.
1213 * openmp.c (gfc_match_omp_clauses): For max/min/iand/ior/ieor,
1214 look up symbol if it exists, use its name instead and, if it is not
1215 INTRINSIC, issue diagnostics.
1217 * parse.c (parse_omp_do): Handle implied end do properly.
1218 (parse_executable): If parse_omp_do returned ST_IMPLIED_ENDDO,
1219 return it instead of continuing.
1221 * trans-openmp.c (gfc_trans_omp_critical): Update for changed
1223 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
1224 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
1225 gfc_trans_omp_sections, gfc_trans_omp_single): Likewise.
1227 * trans.h (gfc_omp_privatize_by_reference): New prototype.
1228 * f95-lang.c (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE): Redefine
1229 to gfc_omp_privatize_by_reference.
1230 * trans-openmp.c (gfc_omp_privatize_by_reference): New function.
1232 * trans-stmt.h (gfc_trans_omp_directive): Add comment.
1234 * openmp.c (gfc_match_omp_variable_list): Add ALLOW_COMMON argument.
1235 Disallow COMMON matching if it is set.
1236 (gfc_match_omp_clauses, gfc_match_omp_flush): Adjust all callers.
1237 (resolve_omp_clauses): Show locus in error messages. Check that
1238 variable types in reduction clauses are appropriate for reduction
1241 * resolve.c (resolve_symbol): Don't error if a threadprivate module
1242 variable isn't SAVEd.
1244 * trans-openmp.c (gfc_trans_omp_do): Put count into BLOCK, not BODY.
1245 Fix typo in condition. Fix DOVAR initialization.
1247 * openmp.c (gfc_match_omp_clauses): Match min/iand/ior/ieor
1248 rather than .min. etc.
1250 * trans-openmpc.c (omp_not_yet): Remove.
1251 (gfc_trans_omp_parallel_do): Keep listprivate clause on parallel.
1252 Force creation of BIND_EXPR around the workshare construct.
1253 (gfc_trans_omp_parallel_sections): Likewise.
1254 (gfc_trans_omp_parallel_workshare): Likewise.
1256 * types.def (BT_I16, BT_FN_I16_VPTR_I16,
1257 BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
1259 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_DEFAULT.
1260 (gfc_trans_omp_code): New function.
1261 (gfc_trans_omp_do): Use it, remove omp_not_yet uses.
1262 (gfc_trans_omp_parallel, gfc_trans_omp_single): Likewise.
1263 (gfc_trans_omp_sections): Likewise. Only treat empty last section
1264 specially if lastprivate clause is present.
1265 * f95-lang.c (gfc_init_builtin_functions): Create BUILT_IN_TRAP
1268 * trans-openmp.c (gfc_trans_omp_variable_list): Update for
1269 OMP_CLAUSE_DECL name change.
1270 (gfc_trans_omp_do): Likewise.
1272 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_REDUCTION
1274 (gfc_trans_omp_atomic): Build OMP_ATOMIC instead of expanding
1275 sync builtins directly.
1276 (gfc_trans_omp_single): Build OMP_SINGLE statement.
1278 * trans-openmp.c (gfc_trans_add_clause): New.
1279 (gfc_trans_omp_variable_list): Take a tree code and build the clause
1280 node here. Link it to the head of a list.
1281 (gfc_trans_omp_clauses): Update to match.
1282 (gfc_trans_omp_do): Use gfc_trans_add_clause.
1284 * trans-openmp.c (gfc_trans_omp_clauses): Change second argument to
1285 gfc_omp_clauses *. Use gfc_evaluate_now instead of creating
1286 temporaries by hand.
1287 (gfc_trans_omp_atomic, gfc_trans_omp_critical): Use buildN_v macros.
1288 (gfc_trans_omp_do): New function.
1289 (gfc_trans_omp_master): Dont' check for gfc_trans_code returning NULL.
1290 (gfc_trans_omp_parallel): Adjust gfc_trans_omp_clauses caller.
1291 Use buildN_v macros.
1292 (gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_sections,
1293 gfc_trans_omp_parallel_workshare, gfc_trans_omp_sections,
1294 gfc_trans_omp_single, gfc_trans_omp_workshare): New functions.
1295 (gfc_trans_omp_directive): Use them.
1296 * parse.c (parse_omp_do): Allow new_st.op == EXEC_NOP.
1297 * openmp.c (resolve_omp_clauses): Check for list items present
1298 in multiple clauses.
1299 (resolve_omp_do): Check that iteration variable is not THREADPRIVATE
1300 and is not present in any clause variable lists other than PRIVATE
1303 * gfortran.h (symbol_attribute): Add threadprivate bit.
1304 (gfc_common_head): Add threadprivate member, change use_assoc
1305 and saved into char to save space.
1306 (gfc_add_threadprivate): New prototype.
1307 * symbol.c (check_conflict): Handle threadprivate.
1308 (gfc_add_threadprivate): New function.
1309 (gfc_copy_attr): Copy threadprivate.
1310 * trans-openmp.c (gfc_trans_omp_clauses): Avoid creating a temporary
1311 if IF or NUM_THREADS is constant. Create OMP_CLAUSE_SCHEDULE and
1313 * resolve.c (resolve_symbol): Complain if a THREADPRIVATE symbol
1314 outside a module and not in COMMON has is not SAVEd.
1315 (resolve_equivalence): Ensure THREADPRIVATE objects don't get
1317 * trans-common.c: Include target.h and rtl.h.
1318 (build_common_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
1319 * trans-decl.c: Include rtl.h.
1320 (gfc_finish_var_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
1321 * dump-parse-tree.c (gfc_show_attr): Handle THREADPRIVATE.
1322 * Make-lang.in (fortran/trans-decl.o): Depend on $(RTL_H).
1323 (fortran/trans-common.o): Depend on $(RTL_H) and $(TARGET_H).
1324 * openmp.c (gfc_match_omp_variable_list): Ensure COMMON block
1325 is from current namespace.
1326 (gfc_match_omp_threadprivate): Rewrite.
1327 (resolve_omp_clauses): Check some clause restrictions.
1328 * module.c (ab_attribute): Add AB_THREADPRIVATE.
1329 (attr_bits): Add THREADPRIVATE.
1330 (mio_symbol_attribute, mio_symbol_attribute): Handle threadprivate.
1331 (load_commons, write_common, write_blank_common): Adjust for type
1332 change of saved, store/load threadprivate bit from the integer
1335 * types.def (BT_FN_UINT_UINT): New.
1336 (BT_FN_VOID_UINT_UINT): Remove.
1338 * trans-openmp.c (gfc_trans_omp_clauses, gfc_trans_omp_barrier,
1339 gfc_trans_omp_critical, gfc_trans_omp_flush, gfc_trans_omp_master,
1340 gfc_trans_omp_ordered, gfc_trans_omp_parallel): New functions.
1341 (gfc_trans_omp_directive): Use them.
1343 * openmp.c (expr_references_sym): Add SE argument, don't look
1345 (is_conversion): New function.
1346 (resolve_omp_atomic): Adjust expr_references_sym callers. Handle
1347 promoted expressions.
1348 * trans-openmp.c (gfc_trans_omp_atomic): New function.
1349 (gfc_trans_omp_directive): Call it.
1351 * f95-lang.c (builtin_type_for_size): New function.
1352 (gfc_init_builtin_functions): Initialize synchronization and
1354 * types.def: New file.
1355 * Make-lang.in (f95-lang.o): Depend on $(BUILTINS_DEF) and
1358 * trans-openmp.c: Rename GOMP_* tree codes into OMP_*.
1360 * dump-parse-tree.c (show_symtree): Don't crash if ns->proc_name
1363 * dump-parse-tree.c (gfc_show_namelist, gfc_show_omp_node): New
1365 (gfc_show_code_node): Call gfc_show_omp_node for EXEC_OMP_* nodes.
1367 * parse.c (parse_omp_do): Call pop_state before next_statement.
1368 * openmp.c (expr_references_sym, resolve_omp_atomic, resolve_omp_do):
1370 (gfc_resolve_omp_directive): Call them.
1371 * match.c (match_exit_cycle): Issue error if EXIT or CYCLE statement
1372 leaves an OpenMP structured block or if EXIT terminates !$omp do
1375 * Make-lang.in (F95_PARSER_OBJS): Add fortran/openmp.o.
1376 (F95_OBJS): Add fortran/trans-openmp.o.
1377 (fortran/trans-openmp.o): Depend on $(GFORTRAN_TRANS_DEPS).
1378 * lang.opt: Add -fopenmp option.
1379 * options.c (gfc_init_options): Initialize it.
1380 (gfc_handle_option): Handle it.
1381 * gfortran.h (ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL,
1382 ST_OMP_END_CRITICAL, ST_OMP_END_DO, ST_OMP_END_MASTER,
1383 ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL, ST_OMP_END_PARALLEL_DO,
1384 ST_OMP_END_PARALLEL_SECTIONS, ST_OMP_END_PARALLEL_WORKSHARE,
1385 ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE, ST_OMP_END_WORKSHARE,
1386 ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
1387 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
1388 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION,
1389 ST_OMP_SINGLE, ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE): New
1391 (OMP_LIST_PRIVATE, OMP_LIST_FIRSTPRIVATE, OMP_LIST_LASTPRIVATE,
1392 OMP_LIST_COPYPRIVATE, OMP_LIST_SHARED, OMP_LIST_COPYIN,
1393 OMP_LIST_PLUS, OMP_LIST_REDUCTION_FIRST, OMP_LIST_MULT,
1394 OMP_LIST_SUB, OMP_LIST_AND, OMP_LIST_OR, OMP_LIST_EQV,
1395 OMP_LIST_NEQV, OMP_LIST_MAX, OMP_LIST_MIN, OMP_LIST_IAND,
1396 OMP_LIST_IOR, OMP_LIST_IEOR, OMP_LIST_REDUCTION_LAST, OMP_LIST_NUM):
1397 New OpenMP variable list types.
1398 (gfc_omp_clauses): New typedef.
1399 (gfc_get_omp_clauses): Define.
1400 (EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
1401 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
1402 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
1403 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
1404 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
1405 EXEC_OMP_END_SINGLE): New OpenMP gfc_exec_op codes.
1406 (struct gfc_code): Add omp_clauses, omp_name, omp_namelist
1407 and omp_bool fields to ext union.
1408 (flag_openmp): Declare.
1409 (gfc_free_omp_clauses, gfc_resolve_omp_directive): New prototypes.
1410 * scanner.c (openmp_flag, openmp_locus): New variables.
1411 (skip_free_comments, skip_fixed_comments, gfc_next_char_literal):
1412 Handle OpenMP directive lines and conditional compilation magic
1414 * parse.h (COMP_OMP_STRUCTURED_BLOCK): New compile state.
1415 * parse.c (decode_omp_directive, parse_omp_do, parse_omp_atomic,
1416 parse_omp_structured_block): New functions.
1417 (next_free, next_fixed): Parse OpenMP directives.
1418 (case_executable, case_exec_markers, case_decl): Add ST_OMP_*
1420 (gfc_ascii_statement): Handle ST_OMP_* codes.
1421 (parse_executable): Rearrange the loop slightly, so that
1422 parse_omp_do can return next_statement.
1423 * match.h (gfc_match_omp_eos, gfc_match_omp_atomic,
1424 gfc_match_omp_barrier, gfc_match_omp_critical, gfc_match_omp_do,
1425 gfc_match_omp_flush, gfc_match_omp_master, gfc_match_omp_ordered,
1426 gfc_match_omp_parallel, gfc_match_omp_parallel_do,
1427 gfc_match_omp_parallel_sections, gfc_match_omp_parallel_workshare,
1428 gfc_match_omp_sections, gfc_match_omp_single,
1429 gfc_match_omp_threadprivate, gfc_match_omp_workshare,
1430 gfc_match_omp_end_nowait, gfc_match_omp_end_single): New prototypes.
1431 * resolve.c (resolve_blocks): Ignore EXEC_OMP_* block directives.
1432 (resolve_code): Call gfc_resolve_omp_directive on EXEC_OMP_*
1434 * trans.c (gfc_trans_code): Call gfc_trans_omp_directive for
1435 EXEC_OMP_* directives.
1436 * st.c (gfc_free_statement): Handle EXEC_OMP_* statement freeing.
1437 * trans-stmt.h (gfc_trans_omp_directive): New prototype.
1438 * openmp.c: New file.
1439 * trans-openmp.c: New file.
1441 2006-02-13 Andrew Pinski <pinskia@physics.uc.edu>
1442 Jakub Jelinek <jakub@redhat.com>
1445 * trans-decl.c (gfc_get_symbol_decl, gfc_get_fake_result_decl): Use
1446 gfc_add_decl_to_function rather than gfc_finish_var_decl on length.
1448 2006-02-13 Paul Thomas <pault@gcc.gnu.org>
1452 * resolve.c (resolve_symbol): Extend the requirement that module
1453 arrays have constant bounds to those in the main program. At the
1454 same time simplify the array bounds, to avoiding trapping parameter
1455 array references, and exclude automatic character length from main
1456 and modules. Rearrange resolve_symbol and resolve_derived to put as
1457 each flavor together, as much as is possible and move all specific
1458 code for flavors FL_VARIABLE, FL_PROCEDURE and FL_PARAMETER into new
1460 (resolve_fl_var_and_proc, resolve_fl_variable, resolve_fl_procedure):
1461 New functions to do work of resolve_symbol.
1462 (resolve_index_expr): New function that is called from resolved_symbol
1463 and is extracted from resolve_charlen.
1464 (resolve_charlen): Call this new function.
1465 (resolve_fl_derived): Renamed resolve_derived to be consistent with
1466 the naming of the new functions for the other flavours. Change the
1467 charlen checking so that the style is consistent with other similar
1468 checks. Add the generation of the gfc_dt_list, removed from resolve_
1472 * resolve.c (resolve_actual_arglist): Prevent internal procedures
1473 from being dummy arguments.
1476 * resolve.c (resolve_actual_arglist): Prevent pure but non-intrinsic
1477 procedures from being dummy arguments.
1480 * resolve.c (check_data_variable): Add test that data variable is in
1484 * resolve.c (resolve_call): Add test that the subroutine does not
1487 2006-02-12 Erik Edelmann <eedelman@gcc.gnu.org>
1490 * trans-array.c (gfc_trans_allocate_array_storage): New argument
1491 dealloc; free the temporary only if dealloc is true.
1492 (gfc_trans_allocate_temp_array): New argument bool dealloc, to be
1493 passed onwards to gfc_trans_allocate_array_storage.
1494 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call to
1495 gfc_trans_allocate_temp_array.
1496 * trans-array.h (gfc_trans_allocate_temp_array): Update function
1498 * trans-expr.c (gfc_conv_function_call): Set new argument 'dealloc'
1499 to gfc_trans_allocate_temp_array to false in case of functions
1501 (gfc_trans_arrayfunc_assign): Return NULL for functions returning
1504 2006-02-10 Steven G. Kargl <kargls@comcast.net>
1507 *decl.c (variable_decl): Improve error message. Remove initialization
1508 typespec. Wrap long line.
1509 *expr.c (gfc_check_pointer_assign): Permit checking of type, kind type,
1511 *simplify.c (gfc_simplify_null): Ensure type, kind type, and rank
1515 2006-02-10 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1518 * arith.c (eval_intrinsic): Accept INTRINSIC_PARENTHESES.
1519 * expr.c (check_intrinsic_op): Likewise.
1520 * module.c (mio_expr): Likewise.
1522 2006-02-09 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1524 * dump-parse-tree.c: Update copyright years.
1525 * matchexp.c: Likewise.
1526 * module.c: Likewise.
1529 * gfortran.h (gfc_intrinsic_op): Add INTRINSIC_PARENTHESES.
1530 * dump-parse-tree (gfc_show_expr): Handle INTRINSIC_PARENTHESES.
1531 * expr.c (simplify_intrinsic_op): Treat INTRINSIC_PARENTHESES as
1532 if it were INTRINSIC_UPLUS.
1533 * resolve.c (resolve_operator): Handle INTRINSIC_PARENTHESES.
1534 * match.c (intrinsic_operators): Add INTRINSIC_PARENTHESES.
1535 * matchexp.c (match_primary): Record parentheses surrounding
1536 numeric expressions.
1537 * module.c (intrinsics): Add INTRINSIC_PARENTHESES for module
1539 * trans-expr.c (gfc_conv_expr_op): Handle INTRINSIC_PARENTHESES.
1541 2006-02-09 Paul Thomas <pault@gcc.gnu.org>
1544 * trans-stmt.c (gfc_trans_allocate): Provide assumed character length
1545 scalar with missing backend_decl for the hidden dummy charlen.
1548 * interface.c (gfc_extend_assign): Remove detection of non-PURE
1549 subroutine in assignment interface, with gfc_error, and put it in
1550 * resolve.c (resolve_code).
1553 * interface.c (gfc_procedure_use): Flag rank checking for non-
1554 elemental, contained or interface procedures in call to
1555 (compare_actual_formal), where ranks are checked for assumed
1558 2006-02-08 Francois-Xavier Coudert <coudert@clipper.ens.fr>
1561 * trans-decl.c (gfc_generate_function_code): Add new argument,
1562 pedantic, to set_std call.
1564 2006-02-06 Thomas Koenig <Thomas.Koenig@online.de>
1567 * gfortran.texi: Document the GFORTRAN_CONVERT_UNIT environment
1569 * invoke.texi: Mention the "Runtime" chapter.
1570 Document the -fconvert= option.
1571 * gfortran.h: Add options_convert.
1572 * lang.opt: Add fconvert=little-endian, fconvert=big-endian,
1573 fconvert=native and fconvert=swap.
1574 * trans-decl.c (top level): Add gfor_fndecl_set_convert.
1575 (gfc_build_builtin_function_decls): Set gfor_fndecl_set_convert.
1576 (gfc_generate_function_code): If -fconvert was specified,
1577 and this is the main program, add a call to set_convert().
1578 * options.c: Handle the -fconvert options.
1580 2006-02-06 Roger Sayle <roger@eyesopen.com>
1582 * trans-stmt.c (gfc_evaluate_where_mask): Allow the NMASK argument
1583 to be NULL to indicate that the not mask isn't required.
1584 (gfc_trans_where_2): Remove PMASK argument. Avoid calculating the
1585 pending mask for the last clause of a WHERE chain. Update recursive
1587 (gfc_trans_forall_1): Update call to gfc_trans_where_2.
1588 (gfc_trans_where): Likewise.
1590 2006-02-06 Jakub Jelinek <jakub@redhat.com>
1592 Backport from gomp-20050608-branch
1593 * trans-decl.c (create_function_arglist): Handle dummy functions.
1595 * trans-decl.c (gfc_get_symbol_decl): Revert explicit setting of
1597 (gfc_trans_vla_type_sizes): Also "gimplify"
1598 GFC_TYPE_ARRAY_DATAPTR_TYPE for GFC_DESCRIPTOR_TYPE_P types.
1599 * trans-array.c (gfc_trans_deferred_array): Call
1600 gfc_trans_vla_type_sizes.
1602 * trans-decl.c (saved_function_decls, saved_parent_function_decls):
1603 Remove unnecessary initialization.
1604 (create_function_arglist): Make sure __result has complete type.
1605 (gfc_get_fake_result_decl): Change current_fake_result_decl into
1606 a tree chain. For entry master, create a separate variable
1607 for each result name. For BT_CHARACTER results, call
1608 gfc_finish_var_decl on length even if it has been already created,
1609 but not pushdecl'ed.
1610 (gfc_trans_vla_type_sizes): For function/entry result, adjust
1611 result value type, not the FUNCTION_TYPE.
1612 (gfc_generate_function_code): Adjust for current_fake_result_decl
1614 (gfc_trans_deferred_vars): Likewise. Call gfc_trans_vla_type_sizes
1615 even on result if it is assumed-length character.
1617 * trans-decl.c (gfc_trans_dummy_character): Add SYM argument.
1618 Call gfc_trans_vla_type_sizes.
1619 (gfc_trans_auto_character_variable): Call gfc_trans_vla_type_sizes.
1620 (gfc_trans_vla_one_sizepos, gfc_trans_vla_type_sizes_1,
1621 gfc_trans_vla_type_sizes): New functions.
1622 (gfc_trans_deferred_vars): Adjust gfc_trans_dummy_character
1623 callers. Call gfc_trans_vla_type_sizes on assumed-length
1624 character parameters.
1625 * trans-array.c (gfc_trans_array_bounds,
1626 gfc_trans_auto_array_allocation, gfc_trans_dummy_array_bias): Call
1627 gfc_trans_vla_type_sizes.
1628 * trans.h (gfc_trans_vla_type_sizes): New prototype.
1630 * trans-decl.c (gfc_build_qualified_array): For non-assumed-size
1631 arrays without constant size, create also an index var for
1632 GFC_TYPE_ARRAY_SIZE (type). If the type is incomplete, complete
1634 (gfc_create_string_length): Don't call gfc_defer_symbol_init
1635 if just creating DECL_ARGUMENTS.
1636 (gfc_get_symbol_decl): Call gfc_finish_var_decl and
1637 gfc_defer_symbol_init even if ts.cl->backend_decl is already
1638 set to a VAR_DECL that doesn't have DECL_CONTEXT yet.
1639 (create_function_arglist): Rework, so that hidden length
1640 arguments for CHARACTER parameters are created together with
1641 the parameters. Resolve ts.cl->backend_decl for CHARACTER
1642 parameters. If the argument is a non-constant length array
1643 or CHARACTER, ensure PARM_DECL has different type than
1645 (generate_local_decl): Call gfc_get_symbol_decl even
1646 for non-referenced non-constant length CHARACTER parameters
1647 after optionally issuing warnings.
1648 * trans-array.c (gfc_trans_array_bounds): Set last stride
1649 to GFC_TYPE_ARRAY_SIZE (type) to initialize it as well.
1650 (gfc_trans_dummy_array_bias): Initialize GFC_TYPE_ARRAY_SIZE (type)
1653 * trans-expr.c (gfc_conv_expr_val): Fix comment typo.
1655 * trans-stmt.c (gfc_trans_simple_do): Fix comment.
1657 2006-02-04 Roger Sayle <roger@eyesopen.com>
1659 * dependency.c (gfc_check_dependency): Remove unused vars and nvars
1660 arguments. Replace with an "identical" argument. A full array
1661 reference to the same symbol is a dependency if identical is true.
1662 * dependency.h (gfc_check_dependency): Update prototype.
1663 * trans-array.h (gfc_check_dependency): Delete duplicate prototype.
1664 * trans-stmt.c: #include dependency.h for gfc_check_dependency.
1665 (gfc_trans_forall_1): Update calls to gfc_check_dependency.
1666 (gfc_trans_where_2): Likewise. Remove unneeded variables.
1667 (gfc_trans_where_3): New function for simple non-dependent WHEREs.
1668 (gfc_trans_where): Call gfc_trans_where_3 to translate simple
1669 F90-style WHERE statements without internal dependencies.
1670 * Make-lang.in (trans-stmt.o): Depend upon dependency.h.
1672 2006-02-05 H.J. Lu <hongjiu.lu@intel.com>
1676 * resolve.c (resolve_types): New function.
1677 (resolve_codes): Likewise.
1678 (gfc_resolve): Use them.
1680 2006-02-05 Roger Sayle <roger@eyesopen.com>
1682 * trans-stmt.c (gfc_evaluate_where_mask): Use LOGICAL*1 for WHERE
1683 masks instead of LOGICAL*4.
1685 2006-02-05 Jakub Jelinek <jakub@redhat.com>
1687 * resolve.c (resolve_symbol): Initialize constructor_expr to NULL.
1689 2006-02-04 Thomas Koenig <Thomas.Koenig@online.de>
1692 check.c (identical_dimen_shape): New function.
1693 (check_dot_product): Use identical_dimen_shape() to check sizes
1695 (gfc_check_matmul): Likewise.
1696 (gfc_check_merge): Check conformance between tsource and fsource
1697 and between tsource and mask.
1698 (gfc_check_pack): Check conformance between array and mask.
1700 2006-02-03 Steven G. Kargl <kargls@comcast>
1701 Paul Thomas <pault@gcc.gnu.org>
1704 * resolve.c (resolve_symbol): Default initialization of derived type
1705 component reguires the SAVE attribute.
1707 2006-02-02 Steven G. Kargl <kargls@comcast>
1710 match.c (gfc_match_nullify): Free the list from head not tail.
1713 * match.c (match_forall_header): Fix internal error caused by bogus
1717 2006-01-31 Thomas Koenig <Thomas.Koenig@online.de>
1720 expr.c (gfc_check_conformance): Reorder error message
1722 check.c(gfc_check_minloc_maxloc): Call gfc_check_conformance
1723 for checking arguments array and mask.
1724 (check_reduction): Likewise.
1726 2006-01-30 Erik Edelmann <eedelman@gcc.gnu.org>
1729 * trans-io.c (set_internal_unit): Check the rank of the
1730 expression node itself instead of its symbol.
1732 2006-01-29 Paul Thomas <pault@gcc.gnu.org>
1738 * interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT)
1739 if actual argument is not a variable.
1741 2006-01-28 Paul Thomas <pault@gcc.gnu.org>
1744 * expr.c (gfc_check_assign, gfc_check_pointer_assign): Emit error if
1745 the lvalue is a use associated procedure.
1749 * expr.c (gfc_check_pointer_assign): Emit error if lvalue and rvalue
1750 character lengths are not the same. Use gfc_dep_compare_expr for the
1752 * gfortran.h: Add prototype for gfc_dep_compare_expr.
1753 * dependency.h: Remove prototype for gfc_dep_compare_expr.
1755 2006-01-27 Paul Thomas <pault@gcc.gnu.org>
1758 * resolve.c (resolve_function): Add GFC_ISYM_LOC to the list of
1759 generic_ids exempted from assumed size checking.
1761 2006-01-27 Jakub Jelinek <jakub@redhat.com>
1764 * Make-lang.in (fortran/scanner.o): Depend on toplev.h.
1765 * lang.opt (fpreprocessed): New option.
1766 * scanner.c: Include toplev.h.
1767 (gfc_src_file, gfc_src_preprocessor_lines): New variables.
1768 (preprocessor_line): Unescape filename if there were any
1770 (load_file): If initial and gfc_src_file is not NULL,
1771 use it rather than opening the file. If gfc_src_preprocessor_lines
1772 has non-NULL elements, pass it to preprocessor_line.
1773 (unescape_filename, gfc_read_orig_filename): New functions.
1774 * gfortran.h (gfc_option_t): Add flag_preprocessed.
1775 (gfc_read_orig_filename): New prototype.
1776 * options.c (gfc_init_options): Clear flag_preprocessed.
1777 (gfc_post_options): If flag_preprocessed, call
1778 gfc_read_orig_filename.
1779 (gfc_handle_option): Handle OPT_fpreprocessed.
1780 * lang-specs.h: Pass -fpreprocessed to f951 if preprocessing
1783 2006-01-27 Erik Edelmann <eedelman@gcc.gnu.org>
1785 * symbol.c (free_old_symbol): Fix confusing comment, and add code
1786 to free old_symbol->formal.
1788 2006-01-26 Paul Thomas <pault@gcc.gnu.org>
1791 * resolve.c (resolve_function): Exclude statement functions from
1792 global reference checking.
1798 * resolve.c (resolve_function): Declare a gfc_symbol to replace the
1799 references through the symtree to the symbol associated with the
1800 function expresion. Give error on reference to an assumed character
1801 length function is defined in an interface or an external function
1802 that is not a dummy argument.
1803 (resolve_symbol): Give error if an assumed character length function
1804 is array-valued, pointer-valued, pure or recursive. Emit warning
1805 that character(*) value functions are obsolescent in F95.
1808 * trans-expr.c (gfc_conv_function_call): The above patch to resolve.c
1809 prevents any assumed character length function call from getting here
1810 except intrinsics such as SPREAD. In this case, ensure that no
1811 segfault occurs from referencing non-existent charlen->length->
1812 expr_type and provide a backend_decl for the charlen from the charlen
1813 of the first actual argument.
1815 Cure temp name confusion.
1816 * trans-expr.c (gfc_get_interface_mapping_array): Change name of
1817 temporary from "parm" to "ifm" to avoid clash with temp coming from
1820 2006-01-25 Erik Edelmann <eedelman@gcc.gnu.org>
1823 * symbol.c (free_old_symbol): New function.
1824 (gfc_commit_symbols): Use it.
1825 (gfc_commit_symbol): New function.
1826 (gfc_use_derived): Use it.
1827 * gfortran.h: Add prototype for gfc_commit_symbol.
1828 * intrinsic.c (gfc_find_function): Search in 'conversion'
1829 if not found in 'functions'.
1830 (gfc_convert_type_warn): Add a symtree to the new
1831 expression node, and commit the new symtree->n.sym.
1832 * resolve.c (gfc_resolve_index): Make sure typespec is
1833 properly initialized.
1835 2006-01-23 Paul Thomas <pault@gcc.gnu.org>
1838 * decl.c (get_proc_name): Replace subroutine and function attributes
1839 in "already defined" test by the formal arglist pointer being non-NULL.
1841 Fix regression in testing of admissability of attributes.
1842 * symbol.c (gfc_add_attribute): If the current_attr has non-zero
1843 intent, do not do the check for a dummy being used.
1844 * decl.c (attr_decl1): Add current_attr.intent as the third argument
1845 in the call to gfc_add_attribute.
1846 * gfortran.h: Add the third argument to the prototype for
1849 2006-01-21 Joseph S. Myers <joseph@codesourcery.com>
1851 * gfortranspec.c (lang_specific_driver): Update copyright notice
1854 2006-01-21 Paul Thomas <pault@gcc.gnu.org>
1858 * decl.c (get_proc_name): If there is an existing
1859 symbol in the encompassing namespace, call errors
1860 if it is a procedure of the same name or the kind
1861 field is set, indicating a type declaration.
1867 * decl.c (add_global_entry): New function to check
1868 for existing global symbol with this name and to
1869 create new one if none exists.
1870 (gfc_match_entry): Call add_global_entry before
1871 matching argument lists for subroutine and function
1873 * gfortran.h: Prototype for existing function,
1875 * resolve.c (resolve_global_procedure): New function
1876 to check global symbols for procedures.
1877 (resolve_call, resolve_function): Calls to this
1878 new function for non-contained and non-module
1880 * match.c (match_common): Add check for existing
1881 global symbol, creat one if none exists and emit
1882 error if there is a clash.
1883 * parse.c (global_used): Remove static and use the
1884 gsymbol name rather than the new_block name, so that
1885 the function can be called from resolve.c.
1886 (parse_block_data, parse_module, add_global_procedure):
1887 Improve checks for existing gsymbols. Emit error if
1888 already defined or if references were to another type.
1892 * trans-expr.c (gfc_conv_aliased_arg): New function called by
1893 gfc_conv_function_call that coverts an expression for an aliased
1894 component reference to a derived type array into a temporary array
1895 of the same type as the component. The temporary is passed as an
1896 actual argument for the procedure call and is copied back to the
1897 derived type after the call.
1898 (is_aliased_array): New function that detects an array reference
1899 that is followed by a component reference.
1900 (gfc_conv_function_call): Detect an aliased actual argument with
1901 is_aliased_array and convert it to a temporary and back again
1902 using gfc_conv_aliased_arg.
1904 2006-01-19 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1906 * gfortranspec.c: Update copyright years.
1907 * trans.c: Likewise.
1908 * trans-array.c: Likewise.
1909 * trans-array.h: Likewise.
1910 * trans-decl.c: Likewise.
1911 * trans-stmt.c: Likewise.
1912 * trans-stmt.h: Likewise.
1913 * trans-types.c: Likewise.
1915 2006-01-18 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1919 * gfortran.h (BBT_HEADER): Move definition up.
1920 (gfc_st_label): Add BBT_HEADER, remove 'prev' and 'next'.
1921 * io.c (format_asterisk): Adapt initializer.
1922 * resolve.c (resolve_branch): Allow FORTRAN 66 cross-block GOTOs
1924 (warn_unused_label): Take gfc_st_label label as argument, adapt to
1926 (gfc_resolve): Adapt call to warn_unused_label.
1927 * symbol.c (compare_st_labels): New function.
1928 (gfc_free_st_label, free_st_labels, gfc_get_st_label): Convert to
1929 using balanced binary tree.
1930 * decl.c (match_char_length, gfc_match_old_kind_spec): Do away
1932 (warn_unused_label): Adapt to binary tree.
1933 * match.c (gfc_match_small_literal_int): Only set cnt if non-NULL.
1934 * primary.c (match_kind_param): Do away with cnt.
1936 2006-01-18 Paul Thomas <pault@gcc.gnu.org>
1941 * symbol.c (check_conflict): Add pointer valued elemental
1942 functions and internal procedures with the external attribute
1943 to the list of conflicts.
1944 (gfc_add_attribute): New catch-all function to perform the
1945 checking of symbol attributes for attribute declaration
1947 * decl.c (attr_decl1): Call gfc_add_attribute for each of -
1948 (gfc_match_external, gfc_match_intent, gfc_match_intrinsic,
1949 gfc_match_pointer, gfc_match_dimension, gfc_match_target):
1950 Remove spurious calls to checks in symbol.c. Set the
1951 attribute directly and use the call to attr_decl() for
1953 * gfortran.h: Add prototype for gfc_add_attribute.
1956 * resolve.c (resolve_function): Exclude PRESENT from assumed size
1957 argument checking. Replace strcmp's with comparisons with generic
1960 2006-01-16 Rafael
\81Ávila de Esp
\81índola <rafael.espindola@gmail.com>
1962 * gfortranspec.c (lang_specific_spec_functions): Remove.
1964 2006-01-16 Richard Guenther <rguenther@suse.de>
1966 * trans-stmt.c (gfc_trans_if_1): Use fold_buildN and build_int_cst.
1967 (gfc_trans_arithmetic_if): Likewise.
1968 (gfc_trans_simple_do): Likewise.
1969 (gfc_trans_do): Likewise.
1970 (gfc_trans_do_while): Likewise.
1971 (gfc_trans_logical_select): Likewise.
1972 (gfc_trans_forall_loop): Likewise.
1973 (generate_loop_for_temp_to_lhs): Likewise.
1974 (generate_loop_for_rhs_to_temp): Likewise.
1975 (gfc_trans_allocate): Likewise.
1976 * trans.c (gfc_add_expr_to_block): Do not fold expr again.
1978 2006-01-16 Richard Guenther <rguenther@suse.de>
1980 * trans-expr.c (gfc_conv_function_call): Use fold_build2.
1981 * trans-stmt.c (gfc_trans_goto): Likewise. Use build_int_cst.
1982 * trans.c (gfc_trans_runtime_check): Don't fold the condition
1985 2006-01-13 Steven G. Kargl <kargls@comcast.net>
1988 * symbol.c (gfc_free_st_label): Give variable meaningful name. Remove
1989 unneeded parenthesis. Fix-up the head of the list (2 lines gleaned
1992 2006-01-13 Diego Novillo <dnovillo@redhat.com>
1994 * trans.c (gfc_add_expr_to_block): Do not fold tcc_statement
1997 2006-01-11 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
1999 * parse.c (next_fixed): Remove superfluous string concatenation.
2001 2006-01-11 Bernhard Fischer <rep.nop@aon.at>
2004 * scanner.c (load_line): use maxlen to determine the line-length used
2005 for padding lines in fixed form.
2007 2006-01-11 Paul Thomas <pault@gcc.gnu.org>
2010 * trans-types.c (copy_dt_decls_ifequal): Copy backend decl for
2013 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
2016 * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Use fold_convert
2017 to avoid type mismatch.
2019 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
2022 * trans-decl.c (gfc_generate_function_code): Move the NULLing of
2023 current_fake_result_decl down to below generate_local_vars.
2025 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
2028 * trans-expr.c (gfc_to_single_character): New function that converts
2029 string to single character if its length is 1.
2030 (gfc_build_compare_string):New function that compare string and handle
2031 single character specially.
2032 (gfc_conv_expr_op): Use gfc_build_compare_string.
2033 (gfc_trans_string_copy): Use gfc_to_single_character.
2034 * trans-intrinsic.c (gfc_conv_intrinsic_strcmp): Use
2035 gfc_build_compare_string.
2036 * trans.h (gfc_build_compare_string): Add prototype.
2038 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
2040 * simplify.c (gfc_simplify_char): Use UCHAR_MAX instead of literal
2042 (gfc_simplify_ichar): Get the result from unsinged char and in the
2043 range 0 to UCHAR_MAX instead of CHAR_MIN to CHAR_MAX.
2045 2006-01-08 Erik Edelmann <eedelman@gcc.gnu.org>
2048 * resolve.c (resolve_fntype): Check that PUBLIC functions
2049 aren't of PRIVATE type.
2051 2006-01-07 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
2053 * decl.c (gfc_match_function_decl): Correctly error out in case of
2054 omitted function argument list.
2056 2006-01-07 Paul Thomas <pault@gcc.gnu.org>
2059 * trans-array.c (gfc_reverse_ss): Remove static attribute.
2060 (gfc_walk_elemental_function_args): Replace gfc_expr * argument for
2061 the function call with the corresponding gfc_actual_arglist*. Change
2063 (gfc_walk_function_expr): Call to gfc_walk_elemental_function_args
2064 now requires the actual argument list instead of the expression for
2066 * trans-array.h: Modify the prototype for gfc_walk_elemental_function_args
2067 and provide a prototype for gfc_reverse_ss.
2068 * trans-stmt.h (gfc_trans_call): Add the scalarization code for the case
2069 where an elemental subroutine has array valued actual arguments.
2075 * resolve.c (check_assumed_size_reference): New function to check for upper
2076 bound in assumed size array references.
2077 (resolve_assumed_size_actual): New function to do a very restricted scan
2078 of actual argument expressions of those procedures for which incomplete
2079 assumed size array references are not allowed.
2080 (resolve_function, resolve_call): Switch off assumed size checking of
2081 actual arguments, except for elemental procedures and intrinsic
2082 inquiry functions, in some circumstances.
2083 (resolve_variable): Call check_assumed_size_reference.
2085 2006-01-05 Jerry DeLisle <jvdelisle@gcc.gnu.org>
2088 * io.c (next_char_not_space): New function that returns the next
2089 character that is not white space.
2090 (format_lex): Use the new function to skip whitespace within
2093 2006-01-05 Erik Edelmann <eedelman@gcc.gnu.org>
2096 * expr.c (gfc_expr_set_symbols_referenced): New function.
2097 * gfortran.h: Add a function prototype for it.
2098 * resolve.c (resolve_function): Use it for
2099 use associated character functions lengths.
2100 * expr.c, gfortran.h, resolve.c: Updated copyright years.
2102 2006-01-03 Steven G. Kargl <kargls@comcast.net>
2105 * resolve.c (resolve_forall_iterators): Check for scalar variables;
2106 Check stride is nonzero.
2108 2006-01-02 Steven G. Kargl <kargls@comcast.net>
2111 * parse.c (next_free): Check for whitespace after the label.
2112 * match.c (gfc_match_small_literal_int): Initialize cnt variable.
2114 2006-01-01 Steven G. Kargl <kargls@comcast.net>
2116 * ChangeLog: Split previous years into ...
2117 * ChangeLog-2002: here.
2118 * ChangeLog-2003: here.
2119 * ChangeLog-2004: here.
2120 * ChangeLog-2005: here.