| blob | 3cae704abefff21438fa6c9db4fa5d22dd4117f5 |
1 2006-03-21 Toon Moene <toon@moene.indiv.nluug.nl>
3 * options.c (gfc_init_options): Initialize
4 flag_argument_noalias to 3.
6 2006-03-20 Thomas Koenig <Thomas.Koenig@online.de>
8 PR fortran/20935
9 * iresolve.c (gfc_resolve_maxloc): If mask is scalar,
10 prefix the function name with an "s". If the mask is scalar
11 or if its kind is smaller than gfc_default_logical_kind,
12 coerce it to default kind.
13 (gfc_resolve_maxval): Likewise.
14 (gfc_resolve_minloc): Likewise.
15 (gfc_resolve_minval): Likewise.
16 (gfc_resolve_product): Likewise.
17 (gfc_resolve_sum): Likewise.
19 2006-03-19 Paul Thomas <pault@gcc.gnu.org>
21 PR fortran/26741
22 *expr.c (external_spec_function): Permit elemental functions.
24 PR fortran/26716
25 *interface.c (compare_actual_formal): Detect call for procedure
26 usage and require rank checking, in this case, for assumed shape
27 and deferred shape arrays.
28 (gfc_procedure_use): Revert to pre-PR25070 call to
29 compare_actual_formal that does not require rank checking..
31 2006-03-16 Roger Sayle <roger@eyesopen.com>
33 * gfortran.h (gfc_equiv_info): Add length field.
34 * trans-common.c (copy_equiv_list_to_ns): Set the length field.
35 * dependency.c (gfc_are_equivalenced_arrays): Use both the offset
36 and length fields to determine whether the two equivalenced symbols
37 overlap in memory.
39 2006-03-14 Jerry DeLisle <jvdelisle@gcc.gnu.org>
41 PR fortran/19101
42 * gfortran.h: Add warn_ampersand.
43 * invoke.texi: Add documentation for new option.
44 * lang.opt: Add Wampersand.
45 * options.c (gfc_init_options): Initialize warn_ampersand.
46 (gfc_post_options): Set the warn if pedantic.
47 (set_Wall): Set warn_ampersand.
48 (gfc_handle_option: Add Wampersand for itself, -std=f95, and -std=f2003.
49 * scanner.c (gfc_next_char_literal): Add test for missing '&' in
50 continued character constant and give warning if missing.
52 2006-03-14 Steven G. Kargl <kargls@comcast.net>
54 PR 18537
55 * gfortran.h: Wrap Copyright line.
56 (gfc_option_t): add warn_tabs member.
57 * lang.opt: Update Coyright year. Add the Wtabs.
58 * invoke.texi: Document -Wtabs.
59 * scanner.c (gfc_gobble_whitespace): Use warn_tabs. Add linenum to
60 suppress multiple warnings.
61 (load_line): Use warn_tabs. Add linenum, current_line, seen_comment
62 to suppress multiple warnings.
63 * options.c (gfc_init_options): Initialize warn_tabs.
64 (set_Wall): set warn_tabs for -Wall.
65 (gfc_post_options): Adjust flag_tabs depending on -pedantic.
66 (gfc_handle_option): Process command-line option -W[no-]tabs
68 2006-03-13 Paul Thomas <pault@gcc.gnu.org>
70 PR fortran/25378
71 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Set the initial position to zero and
72 modify the condition for updating it, to implement the F2003 requirement for all(mask)
73 is false.
75 2006-03-13 Jakub Jelinek <jakub@redhat.com>
77 * trans-openmp.c (gfc_trans_omp_variable): Handle references
78 to parent result.
79 * trans-expr.c (gfc_conv_variable): Remove useless setting
80 of parent_flag, formatting.
82 * trans-decl.c (gfc_get_fake_result_decl): Re-add setting of
83 GFC_DECL_RESULT flag.
85 2003-03-11 Roger Sayle <roger@eyesopen.com>
87 * dependency.c (gfc_dep_compare_expr) <EXPR_OP>: Allow unary and
88 binary operators to compare equal if their operands are equal.
89 <EXPR_FUNCTION>: Allow "constant" intrinsic conversion functions
90 to compare equal, if their operands are equal.
92 2006-03-11 Erik Edelmann <eedelman@gcc.gnu.org>
94 * symbol.c (check_conflict): Allow allocatable function results,
95 except for elemental functions.
96 * trans-array.c (gfc_trans_allocate_temp_array): Rename to ...
97 (gfc_trans_create_temp_array): ... this, and add new argument
98 callee_alloc.
99 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call
100 to gfc_trans_allocate_temp_array.
101 * trans-array.h (gfc_trans_allocate_temp_array): Update prototype.
102 * trans-expr.c (gfc_conv_function_call): Use new arg of
103 gfc_trans_create_temp_array avoid pre-allocation of temporary
104 result variables of pointer AND allocatable functions.
105 (gfc_trans_arrayfunc_assign): Return NULL for allocatable
106 functions.
107 * resolve.c (resolve_symbol): Copy value of 'allocatable' attribute
108 from sym->result to sym.
110 2006-03-09 Erik Edelmann <eedelman@gcc.gnu.org>
112 * trans-expr.c (gfc_add_interface_mapping): Copy 'allocatable'
113 attribute from sym to new_sym. Call build_fold_indirect_ref()
114 for allocatable arguments.
116 2006-03-09 Paul Thomas <pault@gcc.gnu.org>
118 PR fortran/26257
119 * trans-array.c (gfc_conv_expr_descriptor): Exclude calculation of
120 the offset and data when se->data_not_needed is set.
121 * trans.h: Include the data_not_need bit in gfc_se.
122 * trans-intrinsic.c (gfc_conv_intrinsic_size): Set it for SIZE.
124 2006-03-06 Paul Thomas <pault@gcc.gnu.org>
125 Erik Edelmann <eedelman@gcc.gnu.org>
127 * trans-array.c (gfc_trans_dealloc_allocated): New function.
128 (gfc_trans_deferred_array): Use it, instead of inline code.
129 * trans-array.h: Prototype for gfc_trans_dealloc_allocated().
130 * trans-expr.c (gfc_conv_function_call): Deallocate allocated
131 ALLOCATABLE, INTENT(OUT) arguments upon procedure entry.
133 2006-03-06 Paul Thomas <pault@gcc.gnu.org>
135 PR fortran/26107
136 * resolve.c (resolve_function): Add name after test for pureness.
138 PR fortran/19546
139 * trans-expr.c (gfc_conv_variable): Detect reference to parent result,
140 store current_function_decl, replace with parent, whilst calls are
141 made to gfc_get_fake_result_decl, and restore afterwards. Signal this
142 to gfc_get_fake_result_decl with a new argument, parent_flag.
143 * trans-stmt.c (gfc_trans_return): gfc_get_fake_result_decl 2nd arg
144 is set to zero.
145 * trans.h: Add parent_flag to gfc_get_fake_result_decl prototype.
146 * trans-decl.c (gfc_get_fake_result_decl): On parent_flag, being set,
147 add decl to parent function. Replace refs to current_fake_result_decl
148 with refs to this_result_decl.
149 (gfc_generate_function_code): Null parent_fake_result_decl before the
150 translation of code for contained procedures. Set parent_flag to zero
151 in call to gfc_get_fake_result_decl.
152 * trans-intrinsic.c (gfc_conv_intrinsic_len): The same.
154 2006-03-05 Steven G. Kargl <kargls@comcast.net>
156 * simplify.c (gfc_simplify_verify): Fix return when SET=''.
158 2006-03-05 Erik Edelmann <eedelman@gcc.gnu.org>
160 PR fortran/16136
161 * symbol.c (conf_std): New macro.
162 (check_conflict): Use it to allow ALLOCATABLE dummy
163 arguments for F2003.
164 * trans-expr.c (gfc_conv_function_call): Pass the
165 address of the array descriptor when dummy argument is
166 ALLOCATABLE.
167 * interface.c (compare_allocatable): New function.
168 (compare_actual_formal): Use it.
169 * resolve.c (resolve_deallocate_expr,
170 resolve_allocate_expr): Check that INTENT(IN) variables
171 aren't (de)allocated.
172 * gfortran.texi (Fortran 2003 status): List ALLOCATABLE
173 dummy arguments as supported.
175 2006-03-03 Roger Sayle <roger@eyesopen.com>
177 * dependency.c (gfc_check_element_vs_element): Revert last change.
179 2006-03-03 Roger Sayle <roger@eyesopen.com>
181 * dependency.c (gfc_check_element_vs_element): Consider two
182 unordered scalar subscripts as (potentially) equal.
184 2006-03-03 Roger Sayle <roger@eyesopen.com>
186 * dependency.c (gfc_check_dependency): Call gfc_dep_resolver to
187 check whether two array references have a dependency.
188 (gfc_check_element_vs_element): Assume lref and rref must be
189 REF_ARRAYs. If gfc_dep_compare_expr returns -2, assume these
190 references could potentially overlap.
191 (gfc_dep_resolver): Whitespace and comment tweaks. Assume a
192 dependency if the references have different depths. Rewrite
193 final term to clarrify we only have a dependency for overlaps.
195 2006-03-03 Thomas Koenig <Thomas.Koenig@online.de>
197 PR fortran/25031
198 * trans-array.h: Adjust gfc_array_allocate prototype.
199 * trans-array.c (gfc_array_allocate): Change type of
200 gfc_array_allocatate to bool. Function returns true if
201 it operates on an array. Change second argument to gfc_expr.
202 Find last reference in chain.
203 If the function operates on an allocatable array, emit call to
204 allocate_array() or allocate64_array().
205 * trans-stmt.c (gfc_trans_allocate): Code to follow to last
206 reference has been moved to gfc_array_allocate.
207 * trans.h: Add declaration for gfor_fndecl_allocate_array and
208 gfor_fndecl_allocate64_array.
209 (gfc_build_builtin_function_decls): Add gfor_fndecl_allocate_array
210 and gfor_fndecl_allocate64_array.
212 2006-03-01 Roger Sayle <roger@eyesopen.com>
214 * trans-stmt.c (generate_loop_for_temp_to_lhs): Add an additional
215 INVERT argument to invert the sense of the WHEREMASK argument.
216 Remove unneeded code to AND together a list of masks.
217 (generate_loop_for_rhs_to_temp): Likewise.
218 (gfc_trans_assign_need_temp): Likewise.
219 (gfc_trans_forall_1): Likewise.
220 (gfc_evaluate_where_mask): Likewise, add a new INVERT argument
221 to specify the sense of the MASK argument.
222 (gfc_trans_where_assign): Likewise.
223 (gfc_trans_where_2): Likewise. Restructure code that decides
224 whether we need to allocate zero, one or two temporary masks.
225 If this is a top-level WHERE (i.e. the incoming MASK is NULL),
226 we only need to allocate at most one temporary mask, and can
227 invert it's sense to provide the complementary pending execution
228 mask. Only calculate the size of the required temporary arrays
229 if we need any.
230 (gfc_trans_where): Update call to gfc_trans_where_2.
232 2006-03-01 Paul Thomas <pault@gcc.gnu.org>
234 * iresolve.c (gfc_resolve_dot_product): Remove any difference in
235 treatment of logical types.
236 * trans-intrinsic.c (gfc_conv_intrinsic_dot_product): New function.
238 PR fortran/26393
239 * trans-decl.c (gfc_get_symbol_decl): Extend condition that symbols
240 must be referenced to include unreferenced symbols in an interface
241 body.
243 PR fortran/20938
244 * trans-array.c (gfc_conv_resolve_dependencies): Add call to
245 gfc_are_equivalenced_arrays.
246 * symbol.c (gfc_free_equiv_infos, gfc_free_equiv_lists): New
247 functions. (gfc_free_namespace): Call them.
248 * trans-common.c (copy_equiv_list_to_ns): New function.
249 (add_equivalences): Call it.
250 * gfortran.h: Add equiv_lists to gfc_namespace and define
251 gfc_equiv_list and gfc_equiv_info.
252 * dependency.c (gfc_are_equivalenced_arrays): New function.
253 (gfc_check_dependency): Call it.
254 * dependency.h: Prototype for gfc_are_equivalenced_arrays.
256 2006-03-01 Roger Sayle <roger@eyesopen.com>
258 * dependency.c (gfc_is_same_range): Compare the stride, lower and
259 upper bounds when testing array reference ranges for equality.
260 (gfc_check_dependency): Fix indentation whitespace.
261 (gfc_check_element_vs_element): Likewise.
262 (gfc_dep_resolver): Likewise.
264 2006-02-28 Thomas Koenig <Thomas.Koenig@online.de>
266 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc):
267 If the mask expression exists and has rank 0, enclose the
268 generated loop in an "if (mask)". Put the default
269 initialization into the else branch.
271 2006-02-25 Thomas Koenig <Thomas.Koenig@online.de>
273 PR fortran/23092
274 * trans-intrinsic.c (gfc_conv_intrinsic_arith): If the
275 mask expression exists and has rank 0, enclose the generated
276 loop in an "if (mask)".
277 * (gfc_conv_intrinsic_minmaxloc): Likewise.
279 2006-02-24 Paul Thomas <pault@gcc.gnu.org>
281 PR fortran/26409
282 * resolve.c (resolve_contained_functions, resolve_types,
283 gfc_resolve): Revert patch of 2006-02-19.
285 2006-02-24 Paul Thomas <pault@gcc.gnu.org>
287 PR fortran/24519
288 * dependency.c (gfc_is_same_range): Correct typo.
289 (gfc_check_section_vs_section): Call gfc_is_same_range.
291 PR fortran/25395
292 * trans-common.c (add_equivalences): Add a new flag that is set when
293 an equivalence is seen that prevents more from being reset until the
294 start of a new traversal of the list, thus ensuring completion of
295 all the equivalences.
297 2006-02-23 Erik Edelmann <eedelman@gcc.gnu.org>
299 * module.c (read_module): Remove redundant code lines.
301 2006-02-20 Rafael �Ávila de Esp�índola <rafael.espindola@gmail.com>
302 * Make-lang.in (FORTRAN): Remove
303 (.PHONY): Remove F95 and f95. Add fortran
305 2006-02-20 Roger Sayle <roger@eyesopen.com>
307 * trans-stmt.c (gfc_trans_where_2): Avoid updating unused current
308 execution mask for empty WHERE/ELSEWHERE clauses. Don't allocate
309 temporary mask arrays if they won't be used.
311 2006-02-20 Roger Sayle <roger@eyesopen.com>
313 * trans-stmt.c (gfc_trans_where_assign): Remove code to handle
314 traversing a linked list of MASKs. The MASK is now always a
315 single element requiring no ANDing during the assignment.
317 2006-02-19 Thomas Koenig <Thomas.Koenig@online.de>
319 * gfortran.texi: Document environment variables which
320 influence runtime behavior.
322 2006-02-19 H.J. Lu <hongjiu.lu@intel.com>
324 * resolve.c (resolve_contained_functions): Call resolve_entries
325 first.
326 (resolve_types): Remove calls to resolve_entries and
327 resolve_contained_functions.
328 (gfc_resolve): Call resolve_contained_functions.
330 2006-02-19 Erik Edelmann <eedelman@gcc.gnu.org>
332 PR fortran/26201
333 * intrinsic.c (gfc_convert_type_warn): Call
334 gfc_intrinsic_symbol() on the newly created symbol.
336 2006-02-19 Paul Thomas <pault@gcc.gnu.org>
338 PR fortran/25054
339 * resolve.c (is_non_constant_shape_array): New function.
340 (resolve_fl_variable): Remove code for the new function and call it.
341 (resolve_fl_namelist): New function. Add test for namelist array
342 with non-constant shape, using is_non_constant_shape_array.
343 (resolve_symbol): Remove code for resolve_fl_namelist and call it.
345 PR fortran/25089
346 * match.c (match_namelist): Increment the refs field of an accepted
347 namelist object symbol.
348 * resolve.c (resolve_fl_namelist): Test namelist objects for a conflict
349 with contained or module procedures.
351 2006-02-18 Roger Sayle <roger@eyesopen.com>
353 * trans-stmt.c (struct temporary_list): Delete.
354 (gfc_trans_where_2): Major reorganization. Remove no longer needed
355 TEMP argument. Allocate and deallocate the control mask and
356 pending control mask locally.
357 (gfc_trans_forall_1): Delete TEMP local variable, and update
358 call to gfc_trans_where_2. No need to deallocate arrays after.
359 (gfc_evaluate_where_mask): Major reorganization. Change return
360 type to void. Pass in parent execution mask, MASK, and two
361 already allocated mask arrays CMASK and PMASK. On return
362 CMASK := MASK & COND, PMASK := MASK & !COND. MASK, CMASK and
363 CMASK may all be NULL, or refer to the same temporary arrays.
364 (gfc_trans_where): Update call to gfc_trans_where_2. We no
365 longer need a TEMP variable or to deallocate temporary arrays
366 allocated by gfc_trans_where_2.
368 2006-02-18 Danny Smith <dannysmith@users.sourceforeg.net>
370 * gfortran.h (gfc_add_attribute): Change uint to unsigned int.
371 * symbol.c (gfc_add_attribute): Likewise for definition.
372 * resolve.c (resolve_global_procedure): Likewise for variable 'type'.
374 2006-02-17 Richard Sandiford <richard@codesourcery.com>
376 * trans-common.c: Include rtl.h earlier.
377 * trans-decl.c: Likewise.
379 2006-02-16 Jakub Jelinek <jakub@redhat.com>
381 PR fortran/26224
382 * parse.c (parse_omp_do, parse_omp_structured_block): Call
383 gfc_commit_symbols and gfc_warning_check.
385 * openmp.c (resolve_omp_clauses): Add a dummy case label to workaround
386 PR middle-end/26316.
388 2006-02-16 Paul Thomas <pault@gcc.gnu.org>
390 PR fortran/24557
391 * trans-expr.c (gfc_add_interface_mapping): Use the actual argument
392 for character(*) arrays, rather than casting to the type and kind
393 parameters of the formal argument.
395 2006-02-15 Toon Moene <toon@moene.indiv.nluug.nl>
397 PR fortran/26054
398 * options.c: Do not warn for Fortran 2003 features by default.
400 2006-02-15 Tobias Schl�üter <tobias.schlueter@physik.uni-muenchen.de>
402 * check.c: Update copyright years.
404 * check.c (gfc_check_minloc_maxloc, check_reduction): Don't call
405 dim_range_check on not-present optional dim argument.
407 2006-02-15 Jakub Jelinek <jakub@redhat.com>
409 PR libgomp/25938
410 PR libgomp/25984
411 * Make-lang.in (install-finclude-dir): New goal.
412 (fortran.install-common): Depend on install-finclude-dir.
413 * lang-specs.h: If not -nostdinc, add -I finclude.
415 2006-02-14 Thomas Koenig <Thomas.Koenig@online.de>
417 PR fortran/25045
418 * check.c (dim_check): Perform all checks if dim is optional.
419 (gfc_check_minloc_maxloc): Use dim_check and dim_rank_check
420 to check dim argument.
421 (check_reduction): Likewise.
423 2006-02-14 Tobias Schl�üter <tobias.schlueter@physik.uni-muenchen.de>
425 PR fortran/26277
426 * io.c (match_ltag): Mark label as referenced.
428 2006-02-14 Jakub Jelinek <jakub@redhat.com>
429 Richard Henderson <rth@redhat.com>
430 Diego Novillo <dnovillo@redhat.com>
432 * invoke.texi: Document -fopenmp.
433 * gfortran.texi (Extensions): Document OpenMP.
435 Backport from gomp-20050608-branch
436 * trans-openmp.c: Call build_omp_clause instead of
437 make_node when creating OMP_CLAUSE_* trees.
438 (gfc_trans_omp_reduction_list): Remove argument 'code'.
439 Adjust all callers.
441 * trans.h (build4_v): Define.
442 * trans-openmp.c: Call build4_v to create OMP_PARALLEL nodes.
443 Call build3_v to create OMP_SECTIONS nodes.
445 PR fortran/25162
446 * openmp.c (gfc_match_omp_variable_list): Call gfc_set_sym_referenced
447 on all symbols added to the variable list.
449 * openmp.c (gfc_match_omp_clauses): Fix check for non-INTRINSIC
450 procedure symbol in REDUCTION.
452 * trans-openmp.c (gfc_trans_omp_array_reduction): Use gfc_add
453 for MINUS_EXPR OMP_CLAUSE_REDUCTION_CODE.
455 * trans-openmp.c (gfc_trans_omp_do): Add PBLOCK argument. If PBLOCK
456 is non-NULL, evaluate INIT/COND/INCR and chunk size expressions in
457 that statement block.
458 (gfc_trans_omp_parallel_do): Pass non-NULL PBLOCK to gfc_trans_omp_do
459 for non-ordered non-static combined loops.
460 (gfc_trans_omp_directive): Pass NULL PBLOCK to gfc_trans_omp_do.
462 * openmp.c: Include target.h and toplev.h.
463 (gfc_match_omp_threadprivate): Emit diagnostic if target does
464 not support TLS.
465 * Make-lang.in (fortran/openmp.o): Add dependencies on
466 target.h and toplev.h.
468 * trans-decl.c (gfc_get_fake_result_decl): Set GFC_DECL_RESULT.
469 * trans-openmp.c (gfc_omp_privatize_by_reference): Make
470 DECL_ARTIFICIAL vars predetermined shared except GFC_DECL_RESULT.
471 (gfc_omp_disregard_value_expr): Handle GFC_DECL_RESULT.
472 (gfc_trans_omp_variable): New function.
473 (gfc_trans_omp_variable_list, gfc_trans_omp_reduction_list): Use it.
474 * trans.h (GFC_DECL_RESULT): Define.
476 * trans-openmp.c (gfc_omp_firstprivatize_type_sizes): New function.
477 * f95-lang.c (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
478 * trans.h (gfc_omp_firstprivatize_type_sizes): New prototype.
480 * trans-openmp.c (gfc_omp_privatize_by_reference): Return
481 true if a pointer has GFC_DECL_SAVED_DESCRIPTOR set.
482 (gfc_trans_omp_array_reduction, gfc_trans_omp_reduction_list): New
483 functions.
484 (gfc_trans_omp_clauses): Add WHERE argument. Call
485 gfc_trans_omp_reduction_list rather than gfc_trans_omp_variable_list
486 for reductions.
487 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
488 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
489 gfc_trans_omp_sections, gfc_trans_omp_single): Adjust
490 gfc_trans_omp_clauses callers.
492 * openmp.c (omp_current_do_code): New var.
493 (gfc_resolve_omp_do_blocks): New function.
494 (gfc_resolve_omp_parallel_blocks): Call it.
495 (gfc_resolve_do_iterator): Add CODE argument. Don't propagate
496 predetermination if argument is !$omp do or !$omp parallel do
497 iteration variable.
498 * resolve.c (resolve_code): Call gfc_resolve_omp_do_blocks
499 for EXEC_OMP_DO. Adjust gfc_resolve_do_iterator caller.
500 * fortran.h (gfc_resolve_omp_do_blocks): New prototype.
501 (gfc_resolve_do_iterator): Add CODE argument.
503 * trans.h (gfc_omp_predetermined_sharing,
504 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
505 prototypes.
506 (GFC_DECL_COMMON_OR_EQUIV, GFC_DECL_CRAY_POINTEE): Define.
507 * trans-openmp.c (gfc_omp_predetermined_sharing,
508 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
509 functions.
510 * trans-common.c (build_equiv_decl, build_common_decl,
511 create_common): Set GFC_DECL_COMMON_OR_EQUIV flag on the decls.
512 * trans-decl.c (gfc_finish_cray_pointee): Set GFC_DECL_CRAY_POINTEE
513 on the decl.
514 * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_SHARING,
515 LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
516 LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE): Define.
518 * openmp.c (resolve_omp_clauses): Remove extraneous comma.
520 * symbol.c (check_conflict): Add conflict between cray_pointee and
521 threadprivate.
522 * openmp.c (gfc_match_omp_threadprivate): Fail if
523 gfc_add_threadprivate returned FAILURE.
524 (resolve_omp_clauses): Diagnose Cray pointees in SHARED,
525 {,FIRST,LAST}PRIVATE and REDUCTION clauses and Cray pointers in
526 {FIRST,LAST}PRIVATE and REDUCTION clauses.
528 * resolve.c (omp_workshare_flag): New variable.
529 (resolve_function): Diagnose use of non-ELEMENTAL user defined
530 function in WORKSHARE construct.
531 (resolve_code): Cleanup forall_save use. Make sure omp_workshare_flag
532 is set to correct value in different contexts.
534 * openmp.c (resolve_omp_clauses): Replace %s with '%s' when printing
535 variable name.
536 (resolve_omp_atomic): Likewise.
538 PR fortran/24493
539 * scanner.c (skip_free_comments): Set at_bol at the beginning of the
540 loop, not before it.
541 (skip_fixed_comments): Handle ! comments in the middle of line here
542 as well.
543 (gfc_skip_comments): Use skip_fixed_comments for FIXED_FORM even if
544 not at BOL.
545 (gfc_next_char_literal): Fix expected canonicalized *$omp string.
547 * trans-openmp.c (gfc_trans_omp_do): Use make_node and explicit
548 initialization to build OMP_FOR instead of build.
550 * trans-decl.c (gfc_gimplify_function): Invoke
551 diagnose_omp_structured_block_errors.
553 * trans-openmp.c (gfc_trans_omp_master): Use OMP_MASTER.
554 (gfc_trans_omp_ordered): Use OMP_ORDERED.
556 * gfortran.h (gfc_resolve_do_iterator, gfc_resolve_blocks,
557 gfc_resolve_omp_parallel_blocks): New prototypes.
558 * resolve.c (resolve_blocks): Renamed to...
559 (gfc_resolve_blocks): ... this. Remove static.
560 (gfc_resolve_forall): Adjust caller.
561 (resolve_code): Only call gfc_resolve_blocks if code->block != 0
562 and not for EXEC_OMP_PARALLEL* directives. Call
563 gfc_resolve_omp_parallel_blocks for EXEC_OMP_PARALLEL* directives.
564 Call gfc_resolve_do_iterator if resolved successfully EXEC_DO
565 iterator.
566 * openmp.c: Include pointer-set.h.
567 (omp_current_ctx): New variable.
568 (gfc_resolve_omp_parallel_blocks, gfc_resolve_do_iterator): New
569 functions.
570 * Make-lang.in (fortran/openmp.o): Depend on pointer-set.h.
572 * openmp.c (gfc_match_omp_clauses): For max/min/iand/ior/ieor,
573 look up symbol if it exists, use its name instead and, if it is not
574 INTRINSIC, issue diagnostics.
576 * parse.c (parse_omp_do): Handle implied end do properly.
577 (parse_executable): If parse_omp_do returned ST_IMPLIED_ENDDO,
578 return it instead of continuing.
580 * trans-openmp.c (gfc_trans_omp_critical): Update for changed
581 operand numbering.
582 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
583 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
584 gfc_trans_omp_sections, gfc_trans_omp_single): Likewise.
586 * trans.h (gfc_omp_privatize_by_reference): New prototype.
587 * f95-lang.c (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE): Redefine
588 to gfc_omp_privatize_by_reference.
589 * trans-openmp.c (gfc_omp_privatize_by_reference): New function.
591 * trans-stmt.h (gfc_trans_omp_directive): Add comment.
593 * openmp.c (gfc_match_omp_variable_list): Add ALLOW_COMMON argument.
594 Disallow COMMON matching if it is set.
595 (gfc_match_omp_clauses, gfc_match_omp_flush): Adjust all callers.
596 (resolve_omp_clauses): Show locus in error messages. Check that
597 variable types in reduction clauses are appropriate for reduction
598 operators.
600 * resolve.c (resolve_symbol): Don't error if a threadprivate module
601 variable isn't SAVEd.
603 * trans-openmp.c (gfc_trans_omp_do): Put count into BLOCK, not BODY.
604 Fix typo in condition. Fix DOVAR initialization.
606 * openmp.c (gfc_match_omp_clauses): Match min/iand/ior/ieor
607 rather than .min. etc.
609 * trans-openmpc.c (omp_not_yet): Remove.
610 (gfc_trans_omp_parallel_do): Keep listprivate clause on parallel.
611 Force creation of BIND_EXPR around the workshare construct.
612 (gfc_trans_omp_parallel_sections): Likewise.
613 (gfc_trans_omp_parallel_workshare): Likewise.
615 * types.def (BT_I16, BT_FN_I16_VPTR_I16,
616 BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
618 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_DEFAULT.
619 (gfc_trans_omp_code): New function.
620 (gfc_trans_omp_do): Use it, remove omp_not_yet uses.
621 (gfc_trans_omp_parallel, gfc_trans_omp_single): Likewise.
622 (gfc_trans_omp_sections): Likewise. Only treat empty last section
623 specially if lastprivate clause is present.
624 * f95-lang.c (gfc_init_builtin_functions): Create BUILT_IN_TRAP
625 builtin.
627 * trans-openmp.c (gfc_trans_omp_variable_list): Update for
628 OMP_CLAUSE_DECL name change.
629 (gfc_trans_omp_do): Likewise.
631 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_REDUCTION
632 clauses.
633 (gfc_trans_omp_atomic): Build OMP_ATOMIC instead of expanding
634 sync builtins directly.
635 (gfc_trans_omp_single): Build OMP_SINGLE statement.
637 * trans-openmp.c (gfc_trans_add_clause): New.
638 (gfc_trans_omp_variable_list): Take a tree code and build the clause
639 node here. Link it to the head of a list.
640 (gfc_trans_omp_clauses): Update to match.
641 (gfc_trans_omp_do): Use gfc_trans_add_clause.
643 * trans-openmp.c (gfc_trans_omp_clauses): Change second argument to
644 gfc_omp_clauses *. Use gfc_evaluate_now instead of creating
645 temporaries by hand.
646 (gfc_trans_omp_atomic, gfc_trans_omp_critical): Use buildN_v macros.
647 (gfc_trans_omp_do): New function.
648 (gfc_trans_omp_master): Dont' check for gfc_trans_code returning NULL.
649 (gfc_trans_omp_parallel): Adjust gfc_trans_omp_clauses caller.
650 Use buildN_v macros.
651 (gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_sections,
652 gfc_trans_omp_parallel_workshare, gfc_trans_omp_sections,
653 gfc_trans_omp_single, gfc_trans_omp_workshare): New functions.
654 (gfc_trans_omp_directive): Use them.
655 * parse.c (parse_omp_do): Allow new_st.op == EXEC_NOP.
656 * openmp.c (resolve_omp_clauses): Check for list items present
657 in multiple clauses.
658 (resolve_omp_do): Check that iteration variable is not THREADPRIVATE
659 and is not present in any clause variable lists other than PRIVATE
660 or LASTPRIVATE.
662 * gfortran.h (symbol_attribute): Add threadprivate bit.
663 (gfc_common_head): Add threadprivate member, change use_assoc
664 and saved into char to save space.
665 (gfc_add_threadprivate): New prototype.
666 * symbol.c (check_conflict): Handle threadprivate.
667 (gfc_add_threadprivate): New function.
668 (gfc_copy_attr): Copy threadprivate.
669 * trans-openmp.c (gfc_trans_omp_clauses): Avoid creating a temporary
670 if IF or NUM_THREADS is constant. Create OMP_CLAUSE_SCHEDULE and
671 OMP_CLAUSE_ORDERED.
672 * resolve.c (resolve_symbol): Complain if a THREADPRIVATE symbol
673 outside a module and not in COMMON has is not SAVEd.
674 (resolve_equivalence): Ensure THREADPRIVATE objects don't get
675 EQUIVALENCEd.
676 * trans-common.c: Include target.h and rtl.h.
677 (build_common_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
678 * trans-decl.c: Include rtl.h.
679 (gfc_finish_var_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
680 * dump-parse-tree.c (gfc_show_attr): Handle THREADPRIVATE.
681 * Make-lang.in (fortran/trans-decl.o): Depend on $(RTL_H).
682 (fortran/trans-common.o): Depend on $(RTL_H) and $(TARGET_H).
683 * openmp.c (gfc_match_omp_variable_list): Ensure COMMON block
684 is from current namespace.
685 (gfc_match_omp_threadprivate): Rewrite.
686 (resolve_omp_clauses): Check some clause restrictions.
687 * module.c (ab_attribute): Add AB_THREADPRIVATE.
688 (attr_bits): Add THREADPRIVATE.
689 (mio_symbol_attribute, mio_symbol_attribute): Handle threadprivate.
690 (load_commons, write_common, write_blank_common): Adjust for type
691 change of saved, store/load threadprivate bit from the integer
692 as well.
694 * types.def (BT_FN_UINT_UINT): New.
695 (BT_FN_VOID_UINT_UINT): Remove.
697 * trans-openmp.c (gfc_trans_omp_clauses, gfc_trans_omp_barrier,
698 gfc_trans_omp_critical, gfc_trans_omp_flush, gfc_trans_omp_master,
699 gfc_trans_omp_ordered, gfc_trans_omp_parallel): New functions.
700 (gfc_trans_omp_directive): Use them.
702 * openmp.c (expr_references_sym): Add SE argument, don't look
703 into SE tree.
704 (is_conversion): New function.
705 (resolve_omp_atomic): Adjust expr_references_sym callers. Handle
706 promoted expressions.
707 * trans-openmp.c (gfc_trans_omp_atomic): New function.
708 (gfc_trans_omp_directive): Call it.
710 * f95-lang.c (builtin_type_for_size): New function.
711 (gfc_init_builtin_functions): Initialize synchronization and
712 OpenMP builtins.
713 * types.def: New file.
714 * Make-lang.in (f95-lang.o): Depend on $(BUILTINS_DEF) and
715 fortran/types.def.
717 * trans-openmp.c: Rename GOMP_* tree codes into OMP_*.
719 * dump-parse-tree.c (show_symtree): Don't crash if ns->proc_name
720 is NULL.
722 * dump-parse-tree.c (gfc_show_namelist, gfc_show_omp_node): New
723 functions.
724 (gfc_show_code_node): Call gfc_show_omp_node for EXEC_OMP_* nodes.
726 * parse.c (parse_omp_do): Call pop_state before next_statement.
727 * openmp.c (expr_references_sym, resolve_omp_atomic, resolve_omp_do):
728 New functions.
729 (gfc_resolve_omp_directive): Call them.
730 * match.c (match_exit_cycle): Issue error if EXIT or CYCLE statement
731 leaves an OpenMP structured block or if EXIT terminates !$omp do
732 loop.
734 * Make-lang.in (F95_PARSER_OBJS): Add fortran/openmp.o.
735 (F95_OBJS): Add fortran/trans-openmp.o.
736 (fortran/trans-openmp.o): Depend on $(GFORTRAN_TRANS_DEPS).
737 * lang.opt: Add -fopenmp option.
738 * options.c (gfc_init_options): Initialize it.
739 (gfc_handle_option): Handle it.
740 * gfortran.h (ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL,
741 ST_OMP_END_CRITICAL, ST_OMP_END_DO, ST_OMP_END_MASTER,
742 ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL, ST_OMP_END_PARALLEL_DO,
743 ST_OMP_END_PARALLEL_SECTIONS, ST_OMP_END_PARALLEL_WORKSHARE,
744 ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE, ST_OMP_END_WORKSHARE,
745 ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
746 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
747 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION,
748 ST_OMP_SINGLE, ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE): New
749 statement codes.
750 (OMP_LIST_PRIVATE, OMP_LIST_FIRSTPRIVATE, OMP_LIST_LASTPRIVATE,
751 OMP_LIST_COPYPRIVATE, OMP_LIST_SHARED, OMP_LIST_COPYIN,
752 OMP_LIST_PLUS, OMP_LIST_REDUCTION_FIRST, OMP_LIST_MULT,
753 OMP_LIST_SUB, OMP_LIST_AND, OMP_LIST_OR, OMP_LIST_EQV,
754 OMP_LIST_NEQV, OMP_LIST_MAX, OMP_LIST_MIN, OMP_LIST_IAND,
755 OMP_LIST_IOR, OMP_LIST_IEOR, OMP_LIST_REDUCTION_LAST, OMP_LIST_NUM):
756 New OpenMP variable list types.
757 (gfc_omp_clauses): New typedef.
758 (gfc_get_omp_clauses): Define.
759 (EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
760 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
761 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
762 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
763 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
764 EXEC_OMP_END_SINGLE): New OpenMP gfc_exec_op codes.
765 (struct gfc_code): Add omp_clauses, omp_name, omp_namelist
766 and omp_bool fields to ext union.
767 (flag_openmp): Declare.
768 (gfc_free_omp_clauses, gfc_resolve_omp_directive): New prototypes.
769 * scanner.c (openmp_flag, openmp_locus): New variables.
770 (skip_free_comments, skip_fixed_comments, gfc_next_char_literal):
771 Handle OpenMP directive lines and conditional compilation magic
772 comments.
773 * parse.h (COMP_OMP_STRUCTURED_BLOCK): New compile state.
774 * parse.c (decode_omp_directive, parse_omp_do, parse_omp_atomic,
775 parse_omp_structured_block): New functions.
776 (next_free, next_fixed): Parse OpenMP directives.
777 (case_executable, case_exec_markers, case_decl): Add ST_OMP_*
778 codes.
779 (gfc_ascii_statement): Handle ST_OMP_* codes.
780 (parse_executable): Rearrange the loop slightly, so that
781 parse_omp_do can return next_statement.
782 * match.h (gfc_match_omp_eos, gfc_match_omp_atomic,
783 gfc_match_omp_barrier, gfc_match_omp_critical, gfc_match_omp_do,
784 gfc_match_omp_flush, gfc_match_omp_master, gfc_match_omp_ordered,
785 gfc_match_omp_parallel, gfc_match_omp_parallel_do,
786 gfc_match_omp_parallel_sections, gfc_match_omp_parallel_workshare,
787 gfc_match_omp_sections, gfc_match_omp_single,
788 gfc_match_omp_threadprivate, gfc_match_omp_workshare,
789 gfc_match_omp_end_nowait, gfc_match_omp_end_single): New prototypes.
790 * resolve.c (resolve_blocks): Ignore EXEC_OMP_* block directives.
791 (resolve_code): Call gfc_resolve_omp_directive on EXEC_OMP_*
792 directives.
793 * trans.c (gfc_trans_code): Call gfc_trans_omp_directive for
794 EXEC_OMP_* directives.
795 * st.c (gfc_free_statement): Handle EXEC_OMP_* statement freeing.
796 * trans-stmt.h (gfc_trans_omp_directive): New prototype.
797 * openmp.c: New file.
798 * trans-openmp.c: New file.
800 2006-02-13 Andrew Pinski <pinskia@physics.uc.edu>
801 Jakub Jelinek <jakub@redhat.com>
803 PR fortran/26246
804 * trans-decl.c (gfc_get_symbol_decl, gfc_get_fake_result_decl): Use
805 gfc_add_decl_to_function rather than gfc_finish_var_decl on length.
807 2006-02-13 Paul Thomas <pault@gcc.gnu.org>
809 PR fortran/26074
810 PR fortran/25103
811 * resolve.c (resolve_symbol): Extend the requirement that module
812 arrays have constant bounds to those in the main program. At the
813 same time simplify the array bounds, to avoiding trapping parameter
814 array references, and exclude automatic character length from main
815 and modules. Rearrange resolve_symbol and resolve_derived to put as
816 each flavor together, as much as is possible and move all specific
817 code for flavors FL_VARIABLE, FL_PROCEDURE and FL_PARAMETER into new
818 functions.
819 (resolve_fl_var_and_proc, resolve_fl_variable, resolve_fl_procedure):
820 New functions to do work of resolve_symbol.
821 (resolve_index_expr): New function that is called from resolved_symbol
822 and is extracted from resolve_charlen.
823 (resolve_charlen): Call this new function.
824 (resolve_fl_derived): Renamed resolve_derived to be consistent with
825 the naming of the new functions for the other flavours. Change the
826 charlen checking so that the style is consistent with other similar
827 checks. Add the generation of the gfc_dt_list, removed from resolve_
828 symbol.
830 PR fortran/20861
831 * resolve.c (resolve_actual_arglist): Prevent internal procedures
832 from being dummy arguments.
834 PR fortran/20871
835 * resolve.c (resolve_actual_arglist): Prevent pure but non-intrinsic
836 procedures from being dummy arguments.
838 PR fortran/25083
839 * resolve.c (check_data_variable): Add test that data variable is in
840 COMMON.
842 PR fortran/25088
843 * resolve.c (resolve_call): Add test that the subroutine does not
844 have a type.
846 2006-02-12 Erik Edelmann <eedelman@gcc.gnu.org>
848 PR fortran/25806
849 * trans-array.c (gfc_trans_allocate_array_storage): New argument
850 dealloc; free the temporary only if dealloc is true.
851 (gfc_trans_allocate_temp_array): New argument bool dealloc, to be
852 passed onwards to gfc_trans_allocate_array_storage.
853 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call to
854 gfc_trans_allocate_temp_array.
855 * trans-array.h (gfc_trans_allocate_temp_array): Update function
856 prototype.
857 * trans-expr.c (gfc_conv_function_call): Set new argument 'dealloc'
858 to gfc_trans_allocate_temp_array to false in case of functions
859 returning pointers.
860 (gfc_trans_arrayfunc_assign): Return NULL for functions returning
861 pointers.
863 2006-02-10 Steven G. Kargl <kargls@comcast.net>
865 PR fortran/20858
866 *decl.c (variable_decl): Improve error message. Remove initialization
867 typespec. Wrap long line.
868 *expr.c (gfc_check_pointer_assign): Permit checking of type, kind type,
869 and rank.
870 *simplify.c (gfc_simplify_null): Ensure type, kind type, and rank
871 are set.
874 2006-02-10 Tobias Schl�üter <tobias.schlueter@physik.uni-muenchen.de>
876 PR fortran/14771
877 * arith.c (eval_intrinsic): Accept INTRINSIC_PARENTHESES.
878 * expr.c (check_intrinsic_op): Likewise.
879 * module.c (mio_expr): Likewise.
881 2006-02-09 Tobias Schl�üter <tobias.schlueter@physik.uni-muenchen.de>
883 * dump-parse-tree.c: Update copyright years.
884 * matchexp.c: Likewise.
885 * module.c: Likewise.
887 PR fortran/14771
888 * gfortran.h (gfc_intrinsic_op): Add INTRINSIC_PARENTHESES.
889 * dump-parse-tree (gfc_show_expr): Handle INTRINSIC_PARENTHESES.
890 * expr.c (simplify_intrinsic_op): Treat INTRINSIC_PARENTHESES as
891 if it were INTRINSIC_UPLUS.
892 * resolve.c (resolve_operator): Handle INTRINSIC_PARENTHESES.
893 * match.c (intrinsic_operators): Add INTRINSIC_PARENTHESES.
894 * matchexp.c (match_primary): Record parentheses surrounding
895 numeric expressions.
896 * module.c (intrinsics): Add INTRINSIC_PARENTHESES for module
897 dumping.
898 * trans-expr.c (gfc_conv_expr_op): Handle INTRINSIC_PARENTHESES.
900 2006-02-09 Paul Thomas <pault@gcc.gnu.org>
902 PR fortran/26038
903 * trans-stmt.c (gfc_trans_allocate): Provide assumed character length
904 scalar with missing backend_decl for the hidden dummy charlen.
906 PR fortran/25059
907 * interface.c (gfc_extend_assign): Remove detection of non-PURE
908 subroutine in assignment interface, with gfc_error, and put it in
909 * resolve.c (resolve_code).
911 PR fortran/25070
912 * interface.c (gfc_procedure_use): Flag rank checking for non-
913 elemental, contained or interface procedures in call to
914 (compare_actual_formal), where ranks are checked for assumed
915 shape arrays..
917 2006-02-08 Francois-Xavier Coudert <coudert@clipper.ens.fr>
919 PR libfortran/25425
920 * trans-decl.c (gfc_generate_function_code): Add new argument,
921 pedantic, to set_std call.
923 2006-02-06 Thomas Koenig <Thomas.Koenig@online.de>
925 PR libfortran/23815
926 * gfortran.texi: Document the GFORTRAN_CONVERT_UNIT environment
927 variable.
928 * invoke.texi: Mention the "Runtime" chapter.
929 Document the -fconvert= option.
930 * gfortran.h: Add options_convert.
931 * lang.opt: Add fconvert=little-endian, fconvert=big-endian,
932 fconvert=native and fconvert=swap.
933 * trans-decl.c (top level): Add gfor_fndecl_set_convert.
934 (gfc_build_builtin_function_decls): Set gfor_fndecl_set_convert.
935 (gfc_generate_function_code): If -fconvert was specified,
936 and this is the main program, add a call to set_convert().
937 * options.c: Handle the -fconvert options.
939 2006-02-06 Roger Sayle <roger@eyesopen.com>
941 * trans-stmt.c (gfc_evaluate_where_mask): Allow the NMASK argument
942 to be NULL to indicate that the not mask isn't required.
943 (gfc_trans_where_2): Remove PMASK argument. Avoid calculating the
944 pending mask for the last clause of a WHERE chain. Update recursive
945 call.
946 (gfc_trans_forall_1): Update call to gfc_trans_where_2.
947 (gfc_trans_where): Likewise.
949 2006-02-06 Jakub Jelinek <jakub@redhat.com>
951 Backport from gomp-20050608-branch
952 * trans-decl.c (create_function_arglist): Handle dummy functions.
954 * trans-decl.c (gfc_get_symbol_decl): Revert explicit setting of
955 TYPE_SIZE_UNIT.
956 (gfc_trans_vla_type_sizes): Also "gimplify"
957 GFC_TYPE_ARRAY_DATAPTR_TYPE for GFC_DESCRIPTOR_TYPE_P types.
958 * trans-array.c (gfc_trans_deferred_array): Call
959 gfc_trans_vla_type_sizes.
961 * trans-decl.c (saved_function_decls, saved_parent_function_decls):
962 Remove unnecessary initialization.
963 (create_function_arglist): Make sure __result has complete type.
964 (gfc_get_fake_result_decl): Change current_fake_result_decl into
965 a tree chain. For entry master, create a separate variable
966 for each result name. For BT_CHARACTER results, call
967 gfc_finish_var_decl on length even if it has been already created,
968 but not pushdecl'ed.
969 (gfc_trans_vla_type_sizes): For function/entry result, adjust
970 result value type, not the FUNCTION_TYPE.
971 (gfc_generate_function_code): Adjust for current_fake_result_decl
972 changes.
973 (gfc_trans_deferred_vars): Likewise. Call gfc_trans_vla_type_sizes
974 even on result if it is assumed-length character.
976 * trans-decl.c (gfc_trans_dummy_character): Add SYM argument.
977 Call gfc_trans_vla_type_sizes.
978 (gfc_trans_auto_character_variable): Call gfc_trans_vla_type_sizes.
979 (gfc_trans_vla_one_sizepos, gfc_trans_vla_type_sizes_1,
980 gfc_trans_vla_type_sizes): New functions.
981 (gfc_trans_deferred_vars): Adjust gfc_trans_dummy_character
982 callers. Call gfc_trans_vla_type_sizes on assumed-length
983 character parameters.
984 * trans-array.c (gfc_trans_array_bounds,
985 gfc_trans_auto_array_allocation, gfc_trans_dummy_array_bias): Call
986 gfc_trans_vla_type_sizes.
987 * trans.h (gfc_trans_vla_type_sizes): New prototype.
989 * trans-decl.c (gfc_build_qualified_array): For non-assumed-size
990 arrays without constant size, create also an index var for
991 GFC_TYPE_ARRAY_SIZE (type). If the type is incomplete, complete
992 it as 0..size-1.
993 (gfc_create_string_length): Don't call gfc_defer_symbol_init
994 if just creating DECL_ARGUMENTS.
995 (gfc_get_symbol_decl): Call gfc_finish_var_decl and
996 gfc_defer_symbol_init even if ts.cl->backend_decl is already
997 set to a VAR_DECL that doesn't have DECL_CONTEXT yet.
998 (create_function_arglist): Rework, so that hidden length
999 arguments for CHARACTER parameters are created together with
1000 the parameters. Resolve ts.cl->backend_decl for CHARACTER
1001 parameters. If the argument is a non-constant length array
1002 or CHARACTER, ensure PARM_DECL has different type than
1003 its DECL_ARG_TYPE.
1004 (generate_local_decl): Call gfc_get_symbol_decl even
1005 for non-referenced non-constant length CHARACTER parameters
1006 after optionally issuing warnings.
1007 * trans-array.c (gfc_trans_array_bounds): Set last stride
1008 to GFC_TYPE_ARRAY_SIZE (type) to initialize it as well.
1009 (gfc_trans_dummy_array_bias): Initialize GFC_TYPE_ARRAY_SIZE (type)
1010 variable as well.
1012 * trans-expr.c (gfc_conv_expr_val): Fix comment typo.
1014 * trans-stmt.c (gfc_trans_simple_do): Fix comment.
1016 2006-02-04 Roger Sayle <roger@eyesopen.com>
1018 * dependency.c (gfc_check_dependency): Remove unused vars and nvars
1019 arguments. Replace with an "identical" argument. A full array
1020 reference to the same symbol is a dependency if identical is true.
1021 * dependency.h (gfc_check_dependency): Update prototype.
1022 * trans-array.h (gfc_check_dependency): Delete duplicate prototype.
1023 * trans-stmt.c: #include dependency.h for gfc_check_dependency.
1024 (gfc_trans_forall_1): Update calls to gfc_check_dependency.
1025 (gfc_trans_where_2): Likewise. Remove unneeded variables.
1026 (gfc_trans_where_3): New function for simple non-dependent WHEREs.
1027 (gfc_trans_where): Call gfc_trans_where_3 to translate simple
1028 F90-style WHERE statements without internal dependencies.
1029 * Make-lang.in (trans-stmt.o): Depend upon dependency.h.
1031 2006-02-05 H.J. Lu <hongjiu.lu@intel.com>
1033 PR fortran/26041
1034 PR fortran/26064
1035 * resolve.c (resolve_types): New function.
1036 (resolve_codes): Likewise.
1037 (gfc_resolve): Use them.
1039 2006-02-05 Roger Sayle <roger@eyesopen.com>
1041 * trans-stmt.c (gfc_evaluate_where_mask): Use LOGICAL*1 for WHERE
1042 masks instead of LOGICAL*4.
1044 2006-02-05 Jakub Jelinek <jakub@redhat.com>
1046 * resolve.c (resolve_symbol): Initialize constructor_expr to NULL.
1048 2006-02-04 Thomas Koenig <Thomas.Koenig@online.de>
1050 PR fortran/25075
1051 check.c (identical_dimen_shape): New function.
1052 (check_dot_product): Use identical_dimen_shape() to check sizes
1053 for dot_product.
1054 (gfc_check_matmul): Likewise.
1055 (gfc_check_merge): Check conformance between tsource and fsource
1056 and between tsource and mask.
1057 (gfc_check_pack): Check conformance between array and mask.
1059 2006-02-03 Steven G. Kargl <kargls@comcast>
1060 Paul Thomas <pault@gcc.gnu.org>
1062 PR fortran/20845
1063 * resolve.c (resolve_symbol): Default initialization of derived type
1064 component reguires the SAVE attribute.
1066 2006-02-02 Steven G. Kargl <kargls@comcast>
1068 PR fortran/24958
1069 match.c (gfc_match_nullify): Free the list from head not tail.
1071 PR fortran/25072
1072 * match.c (match_forall_header): Fix internal error caused by bogus
1073 gfc_epxr pointers.
1076 2006-01-31 Thomas Koenig <Thomas.Koenig@online.de>
1078 PR fortran/26039
1079 expr.c (gfc_check_conformance): Reorder error message
1080 to avoid plural.
1081 check.c(gfc_check_minloc_maxloc): Call gfc_check_conformance
1082 for checking arguments array and mask.
1083 (check_reduction): Likewise.
1085 2006-01-30 Erik Edelmann <eedelman@gcc.gnu.org>
1087 PR fortran/24266
1088 * trans-io.c (set_internal_unit): Check the rank of the
1089 expression node itself instead of its symbol.
1091 2006-01-29 Paul Thomas <pault@gcc.gnu.org>
1093 PR fortran/18578
1094 PR fortran/18579
1095 PR fortran/20857
1096 PR fortran/20885
1097 * interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT)
1098 if actual argument is not a variable.
1100 2006-01-28 Paul Thomas <pault@gcc.gnu.org>
1102 PR fortran/17911
1103 * expr.c (gfc_check_assign, gfc_check_pointer_assign): Emit error if
1104 the lvalue is a use associated procedure.
1106 PR fortran/20895
1107 PR fortran/25030
1108 * expr.c (gfc_check_pointer_assign): Emit error if lvalue and rvalue
1109 character lengths are not the same. Use gfc_dep_compare_expr for the
1110 comparison.
1111 * gfortran.h: Add prototype for gfc_dep_compare_expr.
1112 * dependency.h: Remove prototype for gfc_dep_compare_expr.
1114 2006-01-27 Paul Thomas <pault@gcc.gnu.org>
1116 PR fortran/25964
1117 * resolve.c (resolve_function): Add GFC_ISYM_LOC to the list of
1118 generic_ids exempted from assumed size checking.
1120 2006-01-27 Jakub Jelinek <jakub@redhat.com>
1122 PR fortran/25324
1123 * Make-lang.in (fortran/scanner.o): Depend on toplev.h.
1124 * lang.opt (fpreprocessed): New option.
1125 * scanner.c: Include toplev.h.
1126 (gfc_src_file, gfc_src_preprocessor_lines): New variables.
1127 (preprocessor_line): Unescape filename if there were any
1128 backslashes.
1129 (load_file): If initial and gfc_src_file is not NULL,
1130 use it rather than opening the file. If gfc_src_preprocessor_lines
1131 has non-NULL elements, pass it to preprocessor_line.
1132 (unescape_filename, gfc_read_orig_filename): New functions.
1133 * gfortran.h (gfc_option_t): Add flag_preprocessed.
1134 (gfc_read_orig_filename): New prototype.
1135 * options.c (gfc_init_options): Clear flag_preprocessed.
1136 (gfc_post_options): If flag_preprocessed, call
1137 gfc_read_orig_filename.
1138 (gfc_handle_option): Handle OPT_fpreprocessed.
1139 * lang-specs.h: Pass -fpreprocessed to f951 if preprocessing
1140 sources.
1142 2006-01-27 Erik Edelmann <eedelman@gcc.gnu.org>
1144 * symbol.c (free_old_symbol): Fix confusing comment, and add code
1145 to free old_symbol->formal.
1147 2006-01-26 Paul Thomas <pault@gcc.gnu.org>
1149 PR fortran/25964
1150 * resolve.c (resolve_function): Exclude statement functions from
1151 global reference checking.
1153 PR fortran/25084
1154 PR fortran/20852
1155 PR fortran/25085
1156 PR fortran/25086
1157 * resolve.c (resolve_function): Declare a gfc_symbol to replace the
1158 references through the symtree to the symbol associated with the
1159 function expresion. Give error on reference to an assumed character
1160 length function is defined in an interface or an external function
1161 that is not a dummy argument.
1162 (resolve_symbol): Give error if an assumed character length function
1163 is array-valued, pointer-valued, pure or recursive. Emit warning
1164 that character(*) value functions are obsolescent in F95.
1166 PR fortran/25416
1167 * trans-expr.c (gfc_conv_function_call): The above patch to resolve.c
1168 prevents any assumed character length function call from getting here
1169 except intrinsics such as SPREAD. In this case, ensure that no
1170 segfault occurs from referencing non-existent charlen->length->
1171 expr_type and provide a backend_decl for the charlen from the charlen
1172 of the first actual argument.
1174 Cure temp name confusion.
1175 * trans-expr.c (gfc_get_interface_mapping_array): Change name of
1176 temporary from "parm" to "ifm" to avoid clash with temp coming from
1177 trans-array.c.
1179 2006-01-25 Erik Edelmann <eedelman@gcc.gnu.org>
1181 PR fortran/25716
1182 * symbol.c (free_old_symbol): New function.
1183 (gfc_commit_symbols): Use it.
1184 (gfc_commit_symbol): New function.
1185 (gfc_use_derived): Use it.
1186 * gfortran.h: Add prototype for gfc_commit_symbol.
1187 * intrinsic.c (gfc_find_function): Search in 'conversion'
1188 if not found in 'functions'.
1189 (gfc_convert_type_warn): Add a symtree to the new
1190 expression node, and commit the new symtree->n.sym.
1191 * resolve.c (gfc_resolve_index): Make sure typespec is
1192 properly initialized.
1194 2006-01-23 Paul Thomas <pault@gcc.gnu.org>
1196 PR fortran/25901
1197 * decl.c (get_proc_name): Replace subroutine and function attributes
1198 in "already defined" test by the formal arglist pointer being non-NULL.
1200 Fix regression in testing of admissability of attributes.
1201 * symbol.c (gfc_add_attribute): If the current_attr has non-zero
1202 intent, do not do the check for a dummy being used.
1203 * decl.c (attr_decl1): Add current_attr.intent as the third argument
1204 in the call to gfc_add_attribute.
1205 * gfortran.h: Add the third argument to the prototype for
1206 gfc_add_attribute.
1208 2006-01-21 Joseph S. Myers <joseph@codesourcery.com>
1210 * gfortranspec.c (lang_specific_driver): Update copyright notice
1211 date.
1213 2006-01-21 Paul Thomas <pault@gcc.gnu.org>
1215 PR fortran/25124
1216 PR fortran/25625
1217 * decl.c (get_proc_name): If there is an existing
1218 symbol in the encompassing namespace, call errors
1219 if it is a procedure of the same name or the kind
1220 field is set, indicating a type declaration.
1222 PR fortran/20881
1223 PR fortran/23308
1224 PR fortran/25538
1225 PR fortran/25710
1226 * decl.c (add_global_entry): New function to check
1227 for existing global symbol with this name and to
1228 create new one if none exists.
1229 (gfc_match_entry): Call add_global_entry before
1230 matching argument lists for subroutine and function
1231 entries.
1232 * gfortran.h: Prototype for existing function,
1233 global_used.
1234 * resolve.c (resolve_global_procedure): New function
1235 to check global symbols for procedures.
1236 (resolve_call, resolve_function): Calls to this
1237 new function for non-contained and non-module
1238 procedures.
1239 * match.c (match_common): Add check for existing
1240 global symbol, creat one if none exists and emit
1241 error if there is a clash.
1242 * parse.c (global_used): Remove static and use the
1243 gsymbol name rather than the new_block name, so that
1244 the function can be called from resolve.c.
1245 (parse_block_data, parse_module, add_global_procedure):
1246 Improve checks for existing gsymbols. Emit error if
1247 already defined or if references were to another type.
1248 Set defined flag.
1250 PR fortran/PR24276
1251 * trans-expr.c (gfc_conv_aliased_arg): New function called by
1252 gfc_conv_function_call that coverts an expression for an aliased
1253 component reference to a derived type array into a temporary array
1254 of the same type as the component. The temporary is passed as an
1255 actual argument for the procedure call and is copied back to the
1256 derived type after the call.
1257 (is_aliased_array): New function that detects an array reference
1258 that is followed by a component reference.
1259 (gfc_conv_function_call): Detect an aliased actual argument with
1260 is_aliased_array and convert it to a temporary and back again
1261 using gfc_conv_aliased_arg.
1263 2006-01-19 Tobias Schl�üter <tobias.schlueter@physik.uni-muenchen.de>
1265 * gfortranspec.c: Update copyright years.
1266 * trans.c: Likewise.
1267 * trans-array.c: Likewise.
1268 * trans-array.h: Likewise.
1269 * trans-decl.c: Likewise.
1270 * trans-stmt.c: Likewise.
1271 * trans-stmt.h: Likewise.
1272 * trans-types.c: Likewise.
1274 2006-01-18 Tobias Schl�üter <tobias.schlueter@physik.uni-muenchen.de>
1276 PR fortran/18540
1277 PR fortran/18937
1278 * gfortran.h (BBT_HEADER): Move definition up.
1279 (gfc_st_label): Add BBT_HEADER, remove 'prev' and 'next'.
1280 * io.c (format_asterisk): Adapt initializer.
1281 * resolve.c (resolve_branch): Allow FORTRAN 66 cross-block GOTOs
1282 as extension.
1283 (warn_unused_label): Take gfc_st_label label as argument, adapt to
1284 new data structure.
1285 (gfc_resolve): Adapt call to warn_unused_label.
1286 * symbol.c (compare_st_labels): New function.
1287 (gfc_free_st_label, free_st_labels, gfc_get_st_label): Convert to
1288 using balanced binary tree.
1289 * decl.c (match_char_length, gfc_match_old_kind_spec): Do away
1290 with 'cnt'.
1291 (warn_unused_label): Adapt to binary tree.
1292 * match.c (gfc_match_small_literal_int): Only set cnt if non-NULL.
1293 * primary.c (match_kind_param): Do away with cnt.
1295 2006-01-18 Paul Thomas <pault@gcc.gnu.org>
1297 PR fortran/20869
1298 PR fortran/20875
1299 PR fortran/25024
1300 * symbol.c (check_conflict): Add pointer valued elemental
1301 functions and internal procedures with the external attribute
1302 to the list of conflicts.
1303 (gfc_add_attribute): New catch-all function to perform the
1304 checking of symbol attributes for attribute declaration
1305 statements.
1306 * decl.c (attr_decl1): Call gfc_add_attribute for each of -
1307 (gfc_match_external, gfc_match_intent, gfc_match_intrinsic,
1308 gfc_match_pointer, gfc_match_dimension, gfc_match_target):
1309 Remove spurious calls to checks in symbol.c. Set the
1310 attribute directly and use the call to attr_decl() for
1311 checking.
1312 * gfortran.h: Add prototype for gfc_add_attribute.
1314 PR fortran/25785
1315 * resolve.c (resolve_function): Exclude PRESENT from assumed size
1316 argument checking. Replace strcmp's with comparisons with generic
1317 codes.
1319 2006-01-16 Rafael �Ávila de Esp�índola <rafael.espindola@gmail.com>
1321 * gfortranspec.c (lang_specific_spec_functions): Remove.
1323 2006-01-16 Richard Guenther <rguenther@suse.de>
1325 * trans-stmt.c (gfc_trans_if_1): Use fold_buildN and build_int_cst.
1326 (gfc_trans_arithmetic_if): Likewise.
1327 (gfc_trans_simple_do): Likewise.
1328 (gfc_trans_do): Likewise.
1329 (gfc_trans_do_while): Likewise.
1330 (gfc_trans_logical_select): Likewise.
1331 (gfc_trans_forall_loop): Likewise.
1332 (generate_loop_for_temp_to_lhs): Likewise.
1333 (generate_loop_for_rhs_to_temp): Likewise.
1334 (gfc_trans_allocate): Likewise.
1335 * trans.c (gfc_add_expr_to_block): Do not fold expr again.
1337 2006-01-16 Richard Guenther <rguenther@suse.de>
1339 * trans-expr.c (gfc_conv_function_call): Use fold_build2.
1340 * trans-stmt.c (gfc_trans_goto): Likewise. Use build_int_cst.
1341 * trans.c (gfc_trans_runtime_check): Don't fold the condition
1342 again.
1344 2006-01-13 Steven G. Kargl <kargls@comcast.net>
1346 PR fortran/25756
1347 * symbol.c (gfc_free_st_label): Give variable meaningful name. Remove
1348 unneeded parenthesis. Fix-up the head of the list (2 lines gleaned
1349 from g95).
1351 2006-01-13 Diego Novillo <dnovillo@redhat.com>
1353 * trans.c (gfc_add_expr_to_block): Do not fold tcc_statement
1354 nodes.
1356 2006-01-11 Tobias Schl�üter <tobias.schlueter@physik.uni-muenchen.de>
1358 * parse.c (next_fixed): Remove superfluous string concatenation.
1360 2006-01-11 Bernhard Fischer <rep.nop@aon.at>
1362 PR fortran/25486
1363 * scanner.c (load_line): use maxlen to determine the line-length used
1364 for padding lines in fixed form.
1366 2006-01-11 Paul Thomas <pault@gcc.gnu.org>
1368 PR fortran/25730
1369 * trans-types.c (copy_dt_decls_ifequal): Copy backend decl for
1370 character lengths.
1372 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
1374 fortran/24936
1375 * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Use fold_convert
1376 to avoid type mismatch.
1378 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
1380 PR fortran/21977
1381 * trans-decl.c (gfc_generate_function_code): Move the NULLing of
1382 current_fake_result_decl down to below generate_local_vars.
1384 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
1386 PR fortran/12456
1387 * trans-expr.c (gfc_to_single_character): New function that converts
1388 string to single character if its length is 1.
1389 (gfc_build_compare_string):New function that compare string and handle
1390 single character specially.
1391 (gfc_conv_expr_op): Use gfc_build_compare_string.
1392 (gfc_trans_string_copy): Use gfc_to_single_character.
1393 * trans-intrinsic.c (gfc_conv_intrinsic_strcmp): Use
1394 gfc_build_compare_string.
1395 * trans.h (gfc_build_compare_string): Add prototype.
1397 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
1399 * simplify.c (gfc_simplify_char): Use UCHAR_MAX instead of literal
1400 constant.
1401 (gfc_simplify_ichar): Get the result from unsinged char and in the
1402 range 0 to UCHAR_MAX instead of CHAR_MIN to CHAR_MAX.
1404 2006-01-08 Erik Edelmann <eedelman@gcc.gnu.org>
1406 PR fortran/25093
1407 * resolve.c (resolve_fntype): Check that PUBLIC functions
1408 aren't of PRIVATE type.
1410 2006-01-07 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
1412 * decl.c (gfc_match_function_decl): Correctly error out in case of
1413 omitted function argument list.
1415 2006-01-07 Paul Thomas <pault@gcc.gnu.org>
1417 PR fortran/22146
1418 * trans-array.c (gfc_reverse_ss): Remove static attribute.
1419 (gfc_walk_elemental_function_args): Replace gfc_expr * argument for
1420 the function call with the corresponding gfc_actual_arglist*. Change
1421 code accordingly.
1422 (gfc_walk_function_expr): Call to gfc_walk_elemental_function_args
1423 now requires the actual argument list instead of the expression for
1424 the function call.
1425 * trans-array.h: Modify the prototype for gfc_walk_elemental_function_args
1426 and provide a prototype for gfc_reverse_ss.
1427 * trans-stmt.h (gfc_trans_call): Add the scalarization code for the case
1428 where an elemental subroutine has array valued actual arguments.
1430 PR fortran/25029
1431 PR fortran/21256
1432 PR fortran/20868
1433 PR fortran/20870
1434 * resolve.c (check_assumed_size_reference): New function to check for upper
1435 bound in assumed size array references.
1436 (resolve_assumed_size_actual): New function to do a very restricted scan
1437 of actual argument expressions of those procedures for which incomplete
1438 assumed size array references are not allowed.
1439 (resolve_function, resolve_call): Switch off assumed size checking of
1440 actual arguments, except for elemental procedures and intrinsic
1441 inquiry functions, in some circumstances.
1442 (resolve_variable): Call check_assumed_size_reference.
1444 2006-01-05 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1446 PR fortran/24268
1447 * io.c (next_char_not_space): New function that returns the next
1448 character that is not white space.
1449 (format_lex): Use the new function to skip whitespace within
1450 a format string.
1452 2006-01-05 Erik Edelmann <eedelman@gcc.gnu.org>
1454 PR fortran/23675
1455 * expr.c (gfc_expr_set_symbols_referenced): New function.
1456 * gfortran.h: Add a function prototype for it.
1457 * resolve.c (resolve_function): Use it for
1458 use associated character functions lengths.
1459 * expr.c, gfortran.h, resolve.c: Updated copyright years.
1461 2006-01-03 Steven G. Kargl <kargls@comcast.net>
1463 PR fortran/25101
1464 * resolve.c (resolve_forall_iterators): Check for scalar variables;
1465 Check stride is nonzero.
1467 2006-01-02 Steven G. Kargl <kargls@comcast.net>
1469 PR fortran/24640
1470 * parse.c (next_free): Check for whitespace after the label.
1471 * match.c (gfc_match_small_literal_int): Initialize cnt variable.
1473 2006-01-01 Steven G. Kargl <kargls@comcast.net>
1475 * ChangeLog: Split previous years into ...
1476 * ChangeLog-2002: here.
1477 * ChangeLog-2003: here.
1478 * ChangeLog-2004: here.
1479 * ChangeLog-2005: here.