1 2006-02-15 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
3 * check.c: Update copyright years.
5 * check.c (gfc_check_minloc_maxloc, check_reduction): Don't call
6 dim_range_check on not-present optional dim argument.
8 2006-02-15 Jakub Jelinek <jakub@redhat.com>
12 * Make-lang.in (install-finclude-dir): New goal.
13 (fortran.install-common): Depend on install-finclude-dir.
14 * lang-specs.h: If not -nostdinc, add -I finclude.
16 2006-02-14 Thomas Koenig <Thomas.Koenig@online.de>
19 * check.c (dim_check): Perform all checks if dim is optional.
20 (gfc_check_minloc_maxloc): Use dim_check and dim_rank_check
21 to check dim argument.
22 (check_reduction): Likewise.
24 2006-02-14 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
27 * io.c (match_ltag): Mark label as referenced.
29 2006-02-14 Jakub Jelinek <jakub@redhat.com>
30 Richard Henderson <rth@redhat.com>
31 Diego Novillo <dnovillo@redhat.com>
33 * invoke.texi: Document -fopenmp.
34 * gfortran.texi (Extensions): Document OpenMP.
36 Backport from gomp-20050608-branch
37 * trans-openmp.c: Call build_omp_clause instead of
38 make_node when creating OMP_CLAUSE_* trees.
39 (gfc_trans_omp_reduction_list): Remove argument 'code'.
42 * trans.h (build4_v): Define.
43 * trans-openmp.c: Call build4_v to create OMP_PARALLEL nodes.
44 Call build3_v to create OMP_SECTIONS nodes.
47 * openmp.c (gfc_match_omp_variable_list): Call gfc_set_sym_referenced
48 on all symbols added to the variable list.
50 * openmp.c (gfc_match_omp_clauses): Fix check for non-INTRINSIC
51 procedure symbol in REDUCTION.
53 * trans-openmp.c (gfc_trans_omp_array_reduction): Use gfc_add
54 for MINUS_EXPR OMP_CLAUSE_REDUCTION_CODE.
56 * trans-openmp.c (gfc_trans_omp_do): Add PBLOCK argument. If PBLOCK
57 is non-NULL, evaluate INIT/COND/INCR and chunk size expressions in
59 (gfc_trans_omp_parallel_do): Pass non-NULL PBLOCK to gfc_trans_omp_do
60 for non-ordered non-static combined loops.
61 (gfc_trans_omp_directive): Pass NULL PBLOCK to gfc_trans_omp_do.
63 * openmp.c: Include target.h and toplev.h.
64 (gfc_match_omp_threadprivate): Emit diagnostic if target does
66 * Make-lang.in (fortran/openmp.o): Add dependencies on
67 target.h and toplev.h.
69 * trans-decl.c (gfc_get_fake_result_decl): Set GFC_DECL_RESULT.
70 * trans-openmp.c (gfc_omp_privatize_by_reference): Make
71 DECL_ARTIFICIAL vars predetermined shared except GFC_DECL_RESULT.
72 (gfc_omp_disregard_value_expr): Handle GFC_DECL_RESULT.
73 (gfc_trans_omp_variable): New function.
74 (gfc_trans_omp_variable_list, gfc_trans_omp_reduction_list): Use it.
75 * trans.h (GFC_DECL_RESULT): Define.
77 * trans-openmp.c (gfc_omp_firstprivatize_type_sizes): New function.
78 * f95-lang.c (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
79 * trans.h (gfc_omp_firstprivatize_type_sizes): New prototype.
81 * trans-openmp.c (gfc_omp_privatize_by_reference): Return
82 true if a pointer has GFC_DECL_SAVED_DESCRIPTOR set.
83 (gfc_trans_omp_array_reduction, gfc_trans_omp_reduction_list): New
85 (gfc_trans_omp_clauses): Add WHERE argument. Call
86 gfc_trans_omp_reduction_list rather than gfc_trans_omp_variable_list
88 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
89 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
90 gfc_trans_omp_sections, gfc_trans_omp_single): Adjust
91 gfc_trans_omp_clauses callers.
93 * openmp.c (omp_current_do_code): New var.
94 (gfc_resolve_omp_do_blocks): New function.
95 (gfc_resolve_omp_parallel_blocks): Call it.
96 (gfc_resolve_do_iterator): Add CODE argument. Don't propagate
97 predetermination if argument is !$omp do or !$omp parallel do
99 * resolve.c (resolve_code): Call gfc_resolve_omp_do_blocks
100 for EXEC_OMP_DO. Adjust gfc_resolve_do_iterator caller.
101 * fortran.h (gfc_resolve_omp_do_blocks): New prototype.
102 (gfc_resolve_do_iterator): Add CODE argument.
104 * trans.h (gfc_omp_predetermined_sharing,
105 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
107 (GFC_DECL_COMMON_OR_EQUIV, GFC_DECL_CRAY_POINTEE): Define.
108 * trans-openmp.c (gfc_omp_predetermined_sharing,
109 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
111 * trans-common.c (build_equiv_decl, build_common_decl,
112 create_common): Set GFC_DECL_COMMON_OR_EQUIV flag on the decls.
113 * trans-decl.c (gfc_finish_cray_pointee): Set GFC_DECL_CRAY_POINTEE
115 * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_SHARING,
116 LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
117 LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE): Define.
119 * openmp.c (resolve_omp_clauses): Remove extraneous comma.
121 * symbol.c (check_conflict): Add conflict between cray_pointee and
123 * openmp.c (gfc_match_omp_threadprivate): Fail if
124 gfc_add_threadprivate returned FAILURE.
125 (resolve_omp_clauses): Diagnose Cray pointees in SHARED,
126 {,FIRST,LAST}PRIVATE and REDUCTION clauses and Cray pointers in
127 {FIRST,LAST}PRIVATE and REDUCTION clauses.
129 * resolve.c (omp_workshare_flag): New variable.
130 (resolve_function): Diagnose use of non-ELEMENTAL user defined
131 function in WORKSHARE construct.
132 (resolve_code): Cleanup forall_save use. Make sure omp_workshare_flag
133 is set to correct value in different contexts.
135 * openmp.c (resolve_omp_clauses): Replace %s with '%s' when printing
137 (resolve_omp_atomic): Likewise.
140 * scanner.c (skip_free_comments): Set at_bol at the beginning of the
142 (skip_fixed_comments): Handle ! comments in the middle of line here
144 (gfc_skip_comments): Use skip_fixed_comments for FIXED_FORM even if
146 (gfc_next_char_literal): Fix expected canonicalized *$omp string.
148 * trans-openmp.c (gfc_trans_omp_do): Use make_node and explicit
149 initialization to build OMP_FOR instead of build.
151 * trans-decl.c (gfc_gimplify_function): Invoke
152 diagnose_omp_structured_block_errors.
154 * trans-openmp.c (gfc_trans_omp_master): Use OMP_MASTER.
155 (gfc_trans_omp_ordered): Use OMP_ORDERED.
157 * gfortran.h (gfc_resolve_do_iterator, gfc_resolve_blocks,
158 gfc_resolve_omp_parallel_blocks): New prototypes.
159 * resolve.c (resolve_blocks): Renamed to...
160 (gfc_resolve_blocks): ... this. Remove static.
161 (gfc_resolve_forall): Adjust caller.
162 (resolve_code): Only call gfc_resolve_blocks if code->block != 0
163 and not for EXEC_OMP_PARALLEL* directives. Call
164 gfc_resolve_omp_parallel_blocks for EXEC_OMP_PARALLEL* directives.
165 Call gfc_resolve_do_iterator if resolved successfully EXEC_DO
167 * openmp.c: Include pointer-set.h.
168 (omp_current_ctx): New variable.
169 (gfc_resolve_omp_parallel_blocks, gfc_resolve_do_iterator): New
171 * Make-lang.in (fortran/openmp.o): Depend on pointer-set.h.
173 * openmp.c (gfc_match_omp_clauses): For max/min/iand/ior/ieor,
174 look up symbol if it exists, use its name instead and, if it is not
175 INTRINSIC, issue diagnostics.
177 * parse.c (parse_omp_do): Handle implied end do properly.
178 (parse_executable): If parse_omp_do returned ST_IMPLIED_ENDDO,
179 return it instead of continuing.
181 * trans-openmp.c (gfc_trans_omp_critical): Update for changed
183 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
184 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
185 gfc_trans_omp_sections, gfc_trans_omp_single): Likewise.
187 * trans.h (gfc_omp_privatize_by_reference): New prototype.
188 * f95-lang.c (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE): Redefine
189 to gfc_omp_privatize_by_reference.
190 * trans-openmp.c (gfc_omp_privatize_by_reference): New function.
192 * trans-stmt.h (gfc_trans_omp_directive): Add comment.
194 * openmp.c (gfc_match_omp_variable_list): Add ALLOW_COMMON argument.
195 Disallow COMMON matching if it is set.
196 (gfc_match_omp_clauses, gfc_match_omp_flush): Adjust all callers.
197 (resolve_omp_clauses): Show locus in error messages. Check that
198 variable types in reduction clauses are appropriate for reduction
201 * resolve.c (resolve_symbol): Don't error if a threadprivate module
202 variable isn't SAVEd.
204 * trans-openmp.c (gfc_trans_omp_do): Put count into BLOCK, not BODY.
205 Fix typo in condition. Fix DOVAR initialization.
207 * openmp.c (gfc_match_omp_clauses): Match min/iand/ior/ieor
208 rather than .min. etc.
210 * trans-openmpc.c (omp_not_yet): Remove.
211 (gfc_trans_omp_parallel_do): Keep listprivate clause on parallel.
212 Force creation of BIND_EXPR around the workshare construct.
213 (gfc_trans_omp_parallel_sections): Likewise.
214 (gfc_trans_omp_parallel_workshare): Likewise.
216 * types.def (BT_I16, BT_FN_I16_VPTR_I16,
217 BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
219 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_DEFAULT.
220 (gfc_trans_omp_code): New function.
221 (gfc_trans_omp_do): Use it, remove omp_not_yet uses.
222 (gfc_trans_omp_parallel, gfc_trans_omp_single): Likewise.
223 (gfc_trans_omp_sections): Likewise. Only treat empty last section
224 specially if lastprivate clause is present.
225 * f95-lang.c (gfc_init_builtin_functions): Create BUILT_IN_TRAP
228 * trans-openmp.c (gfc_trans_omp_variable_list): Update for
229 OMP_CLAUSE_DECL name change.
230 (gfc_trans_omp_do): Likewise.
232 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_REDUCTION
234 (gfc_trans_omp_atomic): Build OMP_ATOMIC instead of expanding
235 sync builtins directly.
236 (gfc_trans_omp_single): Build OMP_SINGLE statement.
238 * trans-openmp.c (gfc_trans_add_clause): New.
239 (gfc_trans_omp_variable_list): Take a tree code and build the clause
240 node here. Link it to the head of a list.
241 (gfc_trans_omp_clauses): Update to match.
242 (gfc_trans_omp_do): Use gfc_trans_add_clause.
244 * trans-openmp.c (gfc_trans_omp_clauses): Change second argument to
245 gfc_omp_clauses *. Use gfc_evaluate_now instead of creating
247 (gfc_trans_omp_atomic, gfc_trans_omp_critical): Use buildN_v macros.
248 (gfc_trans_omp_do): New function.
249 (gfc_trans_omp_master): Dont' check for gfc_trans_code returning NULL.
250 (gfc_trans_omp_parallel): Adjust gfc_trans_omp_clauses caller.
252 (gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_sections,
253 gfc_trans_omp_parallel_workshare, gfc_trans_omp_sections,
254 gfc_trans_omp_single, gfc_trans_omp_workshare): New functions.
255 (gfc_trans_omp_directive): Use them.
256 * parse.c (parse_omp_do): Allow new_st.op == EXEC_NOP.
257 * openmp.c (resolve_omp_clauses): Check for list items present
259 (resolve_omp_do): Check that iteration variable is not THREADPRIVATE
260 and is not present in any clause variable lists other than PRIVATE
263 * gfortran.h (symbol_attribute): Add threadprivate bit.
264 (gfc_common_head): Add threadprivate member, change use_assoc
265 and saved into char to save space.
266 (gfc_add_threadprivate): New prototype.
267 * symbol.c (check_conflict): Handle threadprivate.
268 (gfc_add_threadprivate): New function.
269 (gfc_copy_attr): Copy threadprivate.
270 * trans-openmp.c (gfc_trans_omp_clauses): Avoid creating a temporary
271 if IF or NUM_THREADS is constant. Create OMP_CLAUSE_SCHEDULE and
273 * resolve.c (resolve_symbol): Complain if a THREADPRIVATE symbol
274 outside a module and not in COMMON has is not SAVEd.
275 (resolve_equivalence): Ensure THREADPRIVATE objects don't get
277 * trans-common.c: Include target.h and rtl.h.
278 (build_common_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
279 * trans-decl.c: Include rtl.h.
280 (gfc_finish_var_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
281 * dump-parse-tree.c (gfc_show_attr): Handle THREADPRIVATE.
282 * Make-lang.in (fortran/trans-decl.o): Depend on $(RTL_H).
283 (fortran/trans-common.o): Depend on $(RTL_H) and $(TARGET_H).
284 * openmp.c (gfc_match_omp_variable_list): Ensure COMMON block
285 is from current namespace.
286 (gfc_match_omp_threadprivate): Rewrite.
287 (resolve_omp_clauses): Check some clause restrictions.
288 * module.c (ab_attribute): Add AB_THREADPRIVATE.
289 (attr_bits): Add THREADPRIVATE.
290 (mio_symbol_attribute, mio_symbol_attribute): Handle threadprivate.
291 (load_commons, write_common, write_blank_common): Adjust for type
292 change of saved, store/load threadprivate bit from the integer
295 * types.def (BT_FN_UINT_UINT): New.
296 (BT_FN_VOID_UINT_UINT): Remove.
298 * trans-openmp.c (gfc_trans_omp_clauses, gfc_trans_omp_barrier,
299 gfc_trans_omp_critical, gfc_trans_omp_flush, gfc_trans_omp_master,
300 gfc_trans_omp_ordered, gfc_trans_omp_parallel): New functions.
301 (gfc_trans_omp_directive): Use them.
303 * openmp.c (expr_references_sym): Add SE argument, don't look
305 (is_conversion): New function.
306 (resolve_omp_atomic): Adjust expr_references_sym callers. Handle
307 promoted expressions.
308 * trans-openmp.c (gfc_trans_omp_atomic): New function.
309 (gfc_trans_omp_directive): Call it.
311 * f95-lang.c (builtin_type_for_size): New function.
312 (gfc_init_builtin_functions): Initialize synchronization and
314 * types.def: New file.
315 * Make-lang.in (f95-lang.o): Depend on $(BUILTINS_DEF) and
318 * trans-openmp.c: Rename GOMP_* tree codes into OMP_*.
320 * dump-parse-tree.c (show_symtree): Don't crash if ns->proc_name
323 * dump-parse-tree.c (gfc_show_namelist, gfc_show_omp_node): New
325 (gfc_show_code_node): Call gfc_show_omp_node for EXEC_OMP_* nodes.
327 * parse.c (parse_omp_do): Call pop_state before next_statement.
328 * openmp.c (expr_references_sym, resolve_omp_atomic, resolve_omp_do):
330 (gfc_resolve_omp_directive): Call them.
331 * match.c (match_exit_cycle): Issue error if EXIT or CYCLE statement
332 leaves an OpenMP structured block or if EXIT terminates !$omp do
335 * Make-lang.in (F95_PARSER_OBJS): Add fortran/openmp.o.
336 (F95_OBJS): Add fortran/trans-openmp.o.
337 (fortran/trans-openmp.o): Depend on $(GFORTRAN_TRANS_DEPS).
338 * lang.opt: Add -fopenmp option.
339 * options.c (gfc_init_options): Initialize it.
340 (gfc_handle_option): Handle it.
341 * gfortran.h (ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL,
342 ST_OMP_END_CRITICAL, ST_OMP_END_DO, ST_OMP_END_MASTER,
343 ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL, ST_OMP_END_PARALLEL_DO,
344 ST_OMP_END_PARALLEL_SECTIONS, ST_OMP_END_PARALLEL_WORKSHARE,
345 ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE, ST_OMP_END_WORKSHARE,
346 ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
347 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
348 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION,
349 ST_OMP_SINGLE, ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE): New
351 (OMP_LIST_PRIVATE, OMP_LIST_FIRSTPRIVATE, OMP_LIST_LASTPRIVATE,
352 OMP_LIST_COPYPRIVATE, OMP_LIST_SHARED, OMP_LIST_COPYIN,
353 OMP_LIST_PLUS, OMP_LIST_REDUCTION_FIRST, OMP_LIST_MULT,
354 OMP_LIST_SUB, OMP_LIST_AND, OMP_LIST_OR, OMP_LIST_EQV,
355 OMP_LIST_NEQV, OMP_LIST_MAX, OMP_LIST_MIN, OMP_LIST_IAND,
356 OMP_LIST_IOR, OMP_LIST_IEOR, OMP_LIST_REDUCTION_LAST, OMP_LIST_NUM):
357 New OpenMP variable list types.
358 (gfc_omp_clauses): New typedef.
359 (gfc_get_omp_clauses): Define.
360 (EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
361 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
362 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
363 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
364 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
365 EXEC_OMP_END_SINGLE): New OpenMP gfc_exec_op codes.
366 (struct gfc_code): Add omp_clauses, omp_name, omp_namelist
367 and omp_bool fields to ext union.
368 (flag_openmp): Declare.
369 (gfc_free_omp_clauses, gfc_resolve_omp_directive): New prototypes.
370 * scanner.c (openmp_flag, openmp_locus): New variables.
371 (skip_free_comments, skip_fixed_comments, gfc_next_char_literal):
372 Handle OpenMP directive lines and conditional compilation magic
374 * parse.h (COMP_OMP_STRUCTURED_BLOCK): New compile state.
375 * parse.c (decode_omp_directive, parse_omp_do, parse_omp_atomic,
376 parse_omp_structured_block): New functions.
377 (next_free, next_fixed): Parse OpenMP directives.
378 (case_executable, case_exec_markers, case_decl): Add ST_OMP_*
380 (gfc_ascii_statement): Handle ST_OMP_* codes.
381 (parse_executable): Rearrange the loop slightly, so that
382 parse_omp_do can return next_statement.
383 * match.h (gfc_match_omp_eos, gfc_match_omp_atomic,
384 gfc_match_omp_barrier, gfc_match_omp_critical, gfc_match_omp_do,
385 gfc_match_omp_flush, gfc_match_omp_master, gfc_match_omp_ordered,
386 gfc_match_omp_parallel, gfc_match_omp_parallel_do,
387 gfc_match_omp_parallel_sections, gfc_match_omp_parallel_workshare,
388 gfc_match_omp_sections, gfc_match_omp_single,
389 gfc_match_omp_threadprivate, gfc_match_omp_workshare,
390 gfc_match_omp_end_nowait, gfc_match_omp_end_single): New prototypes.
391 * resolve.c (resolve_blocks): Ignore EXEC_OMP_* block directives.
392 (resolve_code): Call gfc_resolve_omp_directive on EXEC_OMP_*
394 * trans.c (gfc_trans_code): Call gfc_trans_omp_directive for
395 EXEC_OMP_* directives.
396 * st.c (gfc_free_statement): Handle EXEC_OMP_* statement freeing.
397 * trans-stmt.h (gfc_trans_omp_directive): New prototype.
398 * openmp.c: New file.
399 * trans-openmp.c: New file.
401 2006-02-13 Andrew Pinski <pinskia@physics.uc.edu>
402 Jakub Jelinek <jakub@redhat.com>
405 * trans-decl.c (gfc_get_symbol_decl, gfc_get_fake_result_decl): Use
406 gfc_add_decl_to_function rather than gfc_finish_var_decl on length.
408 2006-02-13 Paul Thomas <pault@gcc.gnu.org>
412 * resolve.c (resolve_symbol): Extend the requirement that module
413 arrays have constant bounds to those in the main program. At the
414 same time simplify the array bounds, to avoiding trapping parameter
415 array references, and exclude automatic character length from main
416 and modules. Rearrange resolve_symbol and resolve_derived to put as
417 each flavor together, as much as is possible and move all specific
418 code for flavors FL_VARIABLE, FL_PROCEDURE and FL_PARAMETER into new
420 (resolve_fl_var_and_proc, resolve_fl_variable, resolve_fl_procedure):
421 New functions to do work of resolve_symbol.
422 (resolve_index_expr): New function that is called from resolved_symbol
423 and is extracted from resolve_charlen.
424 (resolve_charlen): Call this new function.
425 (resolve_fl_derived): Renamed resolve_derived to be consistent with
426 the naming of the new functions for the other flavours. Change the
427 charlen checking so that the style is consistent with other similar
428 checks. Add the generation of the gfc_dt_list, removed from resolve_
432 * resolve.c (resolve_actual_arglist): Prevent internal procedures
433 from being dummy arguments.
436 * resolve.c (resolve_actual_arglist): Prevent pure but non-intrinsic
437 procedures from being dummy arguments.
440 * resolve.c (check_data_variable): Add test that data variable is in
444 * resolve.c (resolve_call): Add test that the subroutine does not
447 2006-02-12 Erik Edelmann <eedelman@gcc.gnu.org>
450 * trans-array.c (gfc_trans_allocate_array_storage): New argument
451 dealloc; free the temporary only if dealloc is true.
452 (gfc_trans_allocate_temp_array): New argument bool dealloc, to be
453 passed onwards to gfc_trans_allocate_array_storage.
454 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call to
455 gfc_trans_allocate_temp_array.
456 * trans-array.h (gfc_trans_allocate_temp_array): Update function
458 * trans-expr.c (gfc_conv_function_call): Set new argument 'dealloc'
459 to gfc_trans_allocate_temp_array to false in case of functions
461 (gfc_trans_arrayfunc_assign): Return NULL for functions returning
464 2006-02-10 Steven G. Kargl <kargls@comcast.net>
467 *decl.c (variable_decl): Improve error message. Remove initialization
468 typespec. Wrap long line.
469 *expr.c (gfc_check_pointer_assign): Permit checking of type, kind type,
471 *simplify.c (gfc_simplify_null): Ensure type, kind type, and rank
475 2006-02-10 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
478 * arith.c (eval_intrinsic): Accept INTRINSIC_PARENTHESES.
479 * expr.c (check_intrinsic_op): Likewise.
480 * module.c (mio_expr): Likewise.
482 2006-02-09 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
484 * dump-parse-tree.c: Update copyright years.
485 * matchexp.c: Likewise.
486 * module.c: Likewise.
489 * gfortran.h (gfc_intrinsic_op): Add INTRINSIC_PARENTHESES.
490 * dump-parse-tree (gfc_show_expr): Handle INTRINSIC_PARENTHESES.
491 * expr.c (simplify_intrinsic_op): Treat INTRINSIC_PARENTHESES as
492 if it were INTRINSIC_UPLUS.
493 * resolve.c (resolve_operator): Handle INTRINSIC_PARENTHESES.
494 * match.c (intrinsic_operators): Add INTRINSIC_PARENTHESES.
495 * matchexp.c (match_primary): Record parentheses surrounding
497 * module.c (intrinsics): Add INTRINSIC_PARENTHESES for module
499 * trans-expr.c (gfc_conv_expr_op): Handle INTRINSIC_PARENTHESES.
501 2006-02-09 Paul Thomas <pault@gcc.gnu.org>
504 * trans-stmt.c (gfc_trans_allocate): Provide assumed character length
505 scalar with missing backend_decl for the hidden dummy charlen.
508 * interface.c (gfc_extend_assign): Remove detection of non-PURE
509 subroutine in assignment interface, with gfc_error, and put it in
510 * resolve.c (resolve_code).
513 * interface.c (gfc_procedure_use): Flag rank checking for non-
514 elemental, contained or interface procedures in call to
515 (compare_actual_formal), where ranks are checked for assumed
518 2006-02-08 Francois-Xavier Coudert <coudert@clipper.ens.fr>
521 * trans-decl.c (gfc_generate_function_code): Add new argument,
522 pedantic, to set_std call.
524 2005-02-06 Thomas Koenig <Thomas.Koenig@online.de>
527 * gfortran.texi: Document the GFORTRAN_CONVERT_UNIT environment
529 * invoke.texi: Mention the "Runtime" chapter.
530 Document the -fconvert= option.
531 * gfortran.h: Add options_convert.
532 * lang.opt: Add fconvert=little-endian, fconvert=big-endian,
533 fconvert=native and fconvert=swap.
534 * trans-decl.c (top level): Add gfor_fndecl_set_convert.
535 (gfc_build_builtin_function_decls): Set gfor_fndecl_set_convert.
536 (gfc_generate_function_code): If -fconvert was specified,
537 and this is the main program, add a call to set_convert().
538 * options.c: Handle the -fconvert options.
540 2006-02-06 Roger Sayle <roger@eyesopen.com>
542 * trans-stmt.c (gfc_evaluate_where_mask): Allow the NMASK argument
543 to be NULL to indicate that the not mask isn't required.
544 (gfc_trans_where_2): Remove PMASK argument. Avoid calculating the
545 pending mask for the last clause of a WHERE chain. Update recursive
547 (gfc_trans_forall_1): Update call to gfc_trans_where_2.
548 (gfc_trans_where): Likewise.
550 2006-02-06 Jakub Jelinek <jakub@redhat.com>
552 Backport from gomp-20050608-branch
553 * trans-decl.c (create_function_arglist): Handle dummy functions.
555 * trans-decl.c (gfc_get_symbol_decl): Revert explicit setting of
557 (gfc_trans_vla_type_sizes): Also "gimplify"
558 GFC_TYPE_ARRAY_DATAPTR_TYPE for GFC_DESCRIPTOR_TYPE_P types.
559 * trans-array.c (gfc_trans_deferred_array): Call
560 gfc_trans_vla_type_sizes.
562 * trans-decl.c (saved_function_decls, saved_parent_function_decls):
563 Remove unnecessary initialization.
564 (create_function_arglist): Make sure __result has complete type.
565 (gfc_get_fake_result_decl): Change current_fake_result_decl into
566 a tree chain. For entry master, create a separate variable
567 for each result name. For BT_CHARACTER results, call
568 gfc_finish_var_decl on length even if it has been already created,
570 (gfc_trans_vla_type_sizes): For function/entry result, adjust
571 result value type, not the FUNCTION_TYPE.
572 (gfc_generate_function_code): Adjust for current_fake_result_decl
574 (gfc_trans_deferred_vars): Likewise. Call gfc_trans_vla_type_sizes
575 even on result if it is assumed-length character.
577 * trans-decl.c (gfc_trans_dummy_character): Add SYM argument.
578 Call gfc_trans_vla_type_sizes.
579 (gfc_trans_auto_character_variable): Call gfc_trans_vla_type_sizes.
580 (gfc_trans_vla_one_sizepos, gfc_trans_vla_type_sizes_1,
581 gfc_trans_vla_type_sizes): New functions.
582 (gfc_trans_deferred_vars): Adjust gfc_trans_dummy_character
583 callers. Call gfc_trans_vla_type_sizes on assumed-length
584 character parameters.
585 * trans-array.c (gfc_trans_array_bounds,
586 gfc_trans_auto_array_allocation, gfc_trans_dummy_array_bias): Call
587 gfc_trans_vla_type_sizes.
588 * trans.h (gfc_trans_vla_type_sizes): New prototype.
590 * trans-decl.c (gfc_build_qualified_array): For non-assumed-size
591 arrays without constant size, create also an index var for
592 GFC_TYPE_ARRAY_SIZE (type). If the type is incomplete, complete
594 (gfc_create_string_length): Don't call gfc_defer_symbol_init
595 if just creating DECL_ARGUMENTS.
596 (gfc_get_symbol_decl): Call gfc_finish_var_decl and
597 gfc_defer_symbol_init even if ts.cl->backend_decl is already
598 set to a VAR_DECL that doesn't have DECL_CONTEXT yet.
599 (create_function_arglist): Rework, so that hidden length
600 arguments for CHARACTER parameters are created together with
601 the parameters. Resolve ts.cl->backend_decl for CHARACTER
602 parameters. If the argument is a non-constant length array
603 or CHARACTER, ensure PARM_DECL has different type than
605 (generate_local_decl): Call gfc_get_symbol_decl even
606 for non-referenced non-constant length CHARACTER parameters
607 after optionally issuing warnings.
608 * trans-array.c (gfc_trans_array_bounds): Set last stride
609 to GFC_TYPE_ARRAY_SIZE (type) to initialize it as well.
610 (gfc_trans_dummy_array_bias): Initialize GFC_TYPE_ARRAY_SIZE (type)
613 * trans-expr.c (gfc_conv_expr_val): Fix comment typo.
615 * trans-stmt.c (gfc_trans_simple_do): Fix comment.
617 2006-02-04 Roger Sayle <roger@eyesopen.com>
619 * dependency.c (gfc_check_dependency): Remove unused vars and nvars
620 arguments. Replace with an "identical" argument. A full array
621 reference to the same symbol is a dependency if identical is true.
622 * dependency.h (gfc_check_dependency): Update prototype.
623 * trans-array.h (gfc_check_dependency): Delete duplicate prototype.
624 * trans-stmt.c: #include dependency.h for gfc_check_dependency.
625 (gfc_trans_forall_1): Update calls to gfc_check_dependency.
626 (gfc_trans_where_2): Likewise. Remove unneeded variables.
627 (gfc_trans_where_3): New function for simple non-dependent WHEREs.
628 (gfc_trans_where): Call gfc_trans_where_3 to translate simple
629 F90-style WHERE statements without internal dependencies.
630 * Make-lang.in (trans-stmt.o): Depend upon dependency.h.
632 2006-02-05 H.J. Lu <hongjiu.lu@intel.com>
636 * resolve.c (resolve_types): New function.
637 (resolve_codes): Likewise.
638 (gfc_resolve): Use them.
640 2006-02-05 Roger Sayle <roger@eyesopen.com>
642 * trans-stmt.c (gfc_evaluate_where_mask): Use LOGICAL*1 for WHERE
643 masks instead of LOGICAL*4.
645 2006-02-05 Jakub Jelinek <jakub@redhat.com>
647 * resolve.c (resolve_symbol): Initialize constructor_expr to NULL.
649 2006-02-04 Thomas Koenig <Thomas.Koenig@online.de>
652 check.c (identical_dimen_shape): New function.
653 (check_dot_product): Use identical_dimen_shape() to check sizes
655 (gfc_check_matmul): Likewise.
656 (gfc_check_merge): Check conformance between tsource and fsource
657 and between tsource and mask.
658 (gfc_check_pack): Check conformance between array and mask.
660 2006-02-03 Steven G. Kargl <kargls@comcast>
661 Paul Thomas <pault@gcc.gnu.org>
664 * resolve.c (resolve_symbol): Default initialization of derived type
665 component reguires the SAVE attribute.
667 2006-02-02 Steven G. Kargl <kargls@comcast>
670 match.c (gfc_match_nullify): Free the list from head not tail.
673 * match.c (match_forall_header): Fix internal error caused by bogus
677 2006-01-31 Thomas Koenig <Thomas.Koenig@online.de>
680 expr.c (gfc_check_conformance): Reorder error message
682 check.c(gfc_check_minloc_maxloc): Call gfc_check_conformance
683 for checking arguments array and mask.
684 (check_reduction): Likewise.
686 2005-01-30 Erik Edelmann <eedelman@gcc.gnu.org>
689 * trans-io.c (set_internal_unit): Check the rank of the
690 expression node itself instead of its symbol.
692 2006-01-29 Paul Thomas <pault@gcc.gnu.org>
698 * interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT)
699 if actual argument is not a variable.
701 2006-01-28 Paul Thomas <pault@gcc.gnu.org>
704 * expr.c (gfc_check_assign, gfc_check_pointer_assign): Emit error if
705 the lvalue is a use associated procedure.
709 * expr.c (gfc_check_pointer_assign): Emit error if lvalue and rvalue
710 character lengths are not the same. Use gfc_dep_compare_expr for the
712 * gfortran.h: Add prototype for gfc_dep_compare_expr.
713 * dependency.h: Remove prototype for gfc_dep_compare_expr.
715 2005-01-27 Paul Thomas <pault@gcc.gnu.org>
718 * resolve.c (resolve_function): Add GFC_ISYM_LOC to the list of
719 generic_ids exempted from assumed size checking.
721 2006-01-27 Jakub Jelinek <jakub@redhat.com>
724 * Make-lang.in (fortran/scanner.o): Depend on toplev.h.
725 * lang.opt (fpreprocessed): New option.
726 * scanner.c: Include toplev.h.
727 (gfc_src_file, gfc_src_preprocessor_lines): New variables.
728 (preprocessor_line): Unescape filename if there were any
730 (load_file): If initial and gfc_src_file is not NULL,
731 use it rather than opening the file. If gfc_src_preprocessor_lines
732 has non-NULL elements, pass it to preprocessor_line.
733 (unescape_filename, gfc_read_orig_filename): New functions.
734 * gfortran.h (gfc_option_t): Add flag_preprocessed.
735 (gfc_read_orig_filename): New prototype.
736 * options.c (gfc_init_options): Clear flag_preprocessed.
737 (gfc_post_options): If flag_preprocessed, call
738 gfc_read_orig_filename.
739 (gfc_handle_option): Handle OPT_fpreprocessed.
740 * lang-specs.h: Pass -fpreprocessed to f951 if preprocessing
743 2005-01-27 Erik Edelmann <eedelman@gcc.gnu.org>
745 * symbol.c (free_old_symbol): Fix confusing comment, and add code
746 to free old_symbol->formal.
748 2005-01-26 Paul Thomas <pault@gcc.gnu.org>
751 * resolve.c (resolve_function): Exclude statement functions from
752 global reference checking.
758 * resolve.c (resolve_function): Declare a gfc_symbol to replace the
759 references through the symtree to the symbol associated with the
760 function expresion. Give error on reference to an assumed character
761 length function is defined in an interface or an external function
762 that is not a dummy argument.
763 (resolve_symbol): Give error if an assumed character length function
764 is array-valued, pointer-valued, pure or recursive. Emit warning
765 that character(*) value functions are obsolescent in F95.
768 * trans-expr.c (gfc_conv_function_call): The above patch to resolve.c
769 prevents any assumed character length function call from getting here
770 except intrinsics such as SPREAD. In this case, ensure that no
771 segfault occurs from referencing non-existent charlen->length->
772 expr_type and provide a backend_decl for the charlen from the charlen
773 of the first actual argument.
775 Cure temp name confusion.
776 * trans-expr.c (gfc_get_interface_mapping_array): Change name of
777 temporary from "parm" to "ifm" to avoid clash with temp coming from
780 2005-01-25 Erik Edelmann <eedelman@gcc.gnu.org>
783 * symbol.c (free_old_symbol): New function.
784 (gfc_commit_symbols): Use it.
785 (gfc_commit_symbol): New function.
786 (gfc_use_derived): Use it.
787 * gfortran.h: Add prototype for gfc_commit_symbol.
788 * intrinsic.c (gfc_find_function): Search in 'conversion'
789 if not found in 'functions'.
790 (gfc_convert_type_warn): Add a symtree to the new
791 expression node, and commit the new symtree->n.sym.
792 * resolve.c (gfc_resolve_index): Make sure typespec is
793 properly initialized.
795 2005-01-23 Paul Thomas <pault@gcc.gnu.org>
798 * decl.c (get_proc_name): Replace subroutine and function attributes
799 in "already defined" test by the formal arglist pointer being non-NULL.
801 Fix regression in testing of admissability of attributes.
802 * symbol.c (gfc_add_attribute): If the current_attr has non-zero
803 intent, do not do the check for a dummy being used.
804 * decl.c (attr_decl1): Add current_attr.intent as the third argument
805 in the call to gfc_add_attribute.
806 * gfortran.h: Add the third argument to the prototype for
809 2006-01-21 Joseph S. Myers <joseph@codesourcery.com>
811 * gfortranspec.c (lang_specific_driver): Update copyright notice
814 2005-01-21 Paul Thomas <pault@gcc.gnu.org>
818 * decl.c (get_proc_name): If there is an existing
819 symbol in the encompassing namespace, call errors
820 if it is a procedure of the same name or the kind
821 field is set, indicating a type declaration.
827 * decl.c (add_global_entry): New function to check
828 for existing global symbol with this name and to
829 create new one if none exists.
830 (gfc_match_entry): Call add_global_entry before
831 matching argument lists for subroutine and function
833 * gfortran.h: Prototype for existing function,
835 * resolve.c (resolve_global_procedure): New function
836 to check global symbols for procedures.
837 (resolve_call, resolve_function): Calls to this
838 new function for non-contained and non-module
840 * match.c (match_common): Add check for existing
841 global symbol, creat one if none exists and emit
842 error if there is a clash.
843 * parse.c (global_used): Remove static and use the
844 gsymbol name rather than the new_block name, so that
845 the function can be called from resolve.c.
846 (parse_block_data, parse_module, add_global_procedure):
847 Improve checks for existing gsymbols. Emit error if
848 already defined or if references were to another type.
852 * trans-expr.c (gfc_conv_aliased_arg): New function called by
853 gfc_conv_function_call that coverts an expression for an aliased
854 component reference to a derived type array into a temporary array
855 of the same type as the component. The temporary is passed as an
856 actual argument for the procedure call and is copied back to the
857 derived type after the call.
858 (is_aliased_array): New function that detects an array reference
859 that is followed by a component reference.
860 (gfc_conv_function_call): Detect an aliased actual argument with
861 is_aliased_array and convert it to a temporary and back again
862 using gfc_conv_aliased_arg.
864 2006-01-19 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
866 * gfortranspec.c: Update copyright years.
868 * trans-array.c: Likewise.
869 * trans-array.h: Likewise.
870 * trans-decl.c: Likewise.
871 * trans-stmt.c: Likewise.
872 * trans-stmt.h: Likewise.
873 * trans-types.c: Likewise.
875 2006-01-18 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
879 * gfortran.h (BBT_HEADER): Move definition up.
880 (gfc_st_label): Add BBT_HEADER, remove 'prev' and 'next'.
881 * io.c (format_asterisk): Adapt initializer.
882 * resolve.c (resolve_branch): Allow FORTRAN 66 cross-block GOTOs
884 (warn_unused_label): Take gfc_st_label label as argument, adapt to
886 (gfc_resolve): Adapt call to warn_unused_label.
887 * symbol.c (compare_st_labels): New function.
888 (gfc_free_st_label, free_st_labels, gfc_get_st_label): Convert to
889 using balanced binary tree.
890 * decl.c (match_char_length, gfc_match_old_kind_spec): Do away
892 (warn_unused_label): Adapt to binary tree.
893 * match.c (gfc_match_small_literal_int): Only set cnt if non-NULL.
894 * primary.c (match_kind_param): Do away with cnt.
896 2006-01-18 Paul Thomas <pault@gcc.gnu.org>
901 * symbol.c (check_conflict): Add pointer valued elemental
902 functions and internal procedures with the external attribute
903 to the list of conflicts.
904 (gfc_add_attribute): New catch-all function to perform the
905 checking of symbol attributes for attribute declaration
907 * decl.c (attr_decl1): Call gfc_add_attribute for each of -
908 (gfc_match_external, gfc_match_intent, gfc_match_intrinsic,
909 gfc_match_pointer, gfc_match_dimension, gfc_match_target):
910 Remove spurious calls to checks in symbol.c. Set the
911 attribute directly and use the call to attr_decl() for
913 * gfortran.h: Add prototype for gfc_add_attribute.
916 * resolve.c (resolve_function): Exclude PRESENT from assumed size
917 argument checking. Replace strcmp's with comparisons with generic
920 2006-01-16 Rafael
\81Ávila de Esp
\81índola <rafael.espindola@gmail.com>
922 * gfortranspec.c (lang_specific_spec_functions): Remove.
924 2006-01-16 Richard Guenther <rguenther@suse.de>
926 * trans-stmt.c (gfc_trans_if_1): Use fold_buildN and build_int_cst.
927 (gfc_trans_arithmetic_if): Likewise.
928 (gfc_trans_simple_do): Likewise.
929 (gfc_trans_do): Likewise.
930 (gfc_trans_do_while): Likewise.
931 (gfc_trans_logical_select): Likewise.
932 (gfc_trans_forall_loop): Likewise.
933 (generate_loop_for_temp_to_lhs): Likewise.
934 (generate_loop_for_rhs_to_temp): Likewise.
935 (gfc_trans_allocate): Likewise.
936 * trans.c (gfc_add_expr_to_block): Do not fold expr again.
938 2006-01-16 Richard Guenther <rguenther@suse.de>
940 * trans-expr.c (gfc_conv_function_call): Use fold_build2.
941 * trans-stmt.c (gfc_trans_goto): Likewise. Use build_int_cst.
942 * trans.c (gfc_trans_runtime_check): Don't fold the condition
945 2006-01-13 Steven G. Kargl <kargls@comcast.net>
948 * symbol.c (gfc_free_st_label): Give variable meaningful name. Remove
949 unneeded parenthesis. Fix-up the head of the list (2 lines gleaned
952 2006-01-13 Diego Novillo <dnovillo@redhat.com>
954 * trans.c (gfc_add_expr_to_block): Do not fold tcc_statement
957 2006-01-11 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
959 * parse.c (next_fixed): Remove superfluous string concatenation.
961 2006-01-11 Bernhard Fischer <rep.nop@aon.at>
964 * scanner.c (load_line): use maxlen to determine the line-length used
965 for padding lines in fixed form.
967 2005-01-11 Paul Thomas <pault@gcc.gnu.org>
970 * trans-types.c (copy_dt_decls_ifequal): Copy backend decl for
973 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
976 * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Use fold_convert
977 to avoid type mismatch.
979 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
982 * trans-decl.c (gfc_generate_function_code): Move the NULLing of
983 current_fake_result_decl down to below generate_local_vars.
985 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
988 * trans-expr.c (gfc_to_single_character): New function that converts
989 string to single character if its length is 1.
990 (gfc_build_compare_string):New function that compare string and handle
991 single character specially.
992 (gfc_conv_expr_op): Use gfc_build_compare_string.
993 (gfc_trans_string_copy): Use gfc_to_single_character.
994 * trans-intrinsic.c (gfc_conv_intrinsic_strcmp): Use
995 gfc_build_compare_string.
996 * trans.h (gfc_build_compare_string): Add prototype.
998 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
1000 * simplify.c (gfc_simplify_char): Use UCHAR_MAX instead of literal
1002 (gfc_simplify_ichar): Get the result from unsinged char and in the
1003 range 0 to UCHAR_MAX instead of CHAR_MIN to CHAR_MAX.
1005 2005-01-08 Erik Edelmann <eedelman@gcc.gnu.org>
1008 * resolve.c (resolve_fntype): Check that PUBLIC functions
1009 aren't of PRIVATE type.
1011 2005-01-07 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
1013 * decl.c (gfc_match_function_decl): Correctly error out in case of
1014 omitted function argument list.
1016 2006-01-07 Paul Thomas <pault@gcc.gnu.org>
1019 * trans-array.c (gfc_reverse_ss): Remove static attribute.
1020 (gfc_walk_elemental_function_args): Replace gfc_expr * argument for
1021 the function call with the corresponding gfc_actual_arglist*. Change
1023 (gfc_walk_function_expr): Call to gfc_walk_elemental_function_args
1024 now requires the actual argument list instead of the expression for
1026 * trans-array.h: Modify the prototype for gfc_walk_elemental_function_args
1027 and provide a prototype for gfc_reverse_ss.
1028 * trans-stmt.h (gfc_trans_call): Add the scalarization code for the case
1029 where an elemental subroutine has array valued actual arguments.
1035 * resolve.c (check_assumed_size_reference): New function to check for upper
1036 bound in assumed size array references.
1037 (resolve_assumed_size_actual): New function to do a very restricted scan
1038 of actual argument expressions of those procedures for which incomplete
1039 assumed size array references are not allowed.
1040 (resolve_function, resolve_call): Switch off assumed size checking of
1041 actual arguments, except for elemental procedures and intrinsic
1042 inquiry functions, in some circumstances.
1043 (resolve_variable): Call check_assumed_size_reference.
1045 2006-01-05 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1048 * io.c (next_char_not_space): New function that returns the next
1049 character that is not white space.
1050 (format_lex): Use the new function to skip whitespace within
1053 2006-01-05 Erik Edelmann <eedelman@gcc.gnu.org>
1056 * expr.c (gfc_expr_set_symbols_referenced): New function.
1057 * gfortran.h: Add a function prototype for it.
1058 * resolve.c (resolve_function): Use it for
1059 use associated character functions lengths.
1060 * expr.c, gfortran.h, resolve.c: Updated copyright years.
1062 2006-01-03 Steven G. Kargl <kargls@comcast.net>
1065 * resolve.c (resolve_forall_iterators): Check for scalar variables;
1066 Check stride is nonzero.
1068 2006-01-02 Steven G. Kargl <kargls@comcast.net>
1071 * parse.c (next_free): Check for whitespace after the label.
1072 * match.c (gfc_match_small_literal_int): Initialize cnt variable.
1074 2006-01-01 Steven G. Kargl <kargls@comcast.net>
1076 * ChangeLog: Split previous years into ...
1077 * ChangeLog-2002: here.
1078 * ChangeLog-2003: here.
1079 * ChangeLog-2004: here.
1080 * ChangeLog-2005: here.