1 2006-02-15 Toon Moene <toon@moene.indiv.nluug.nl>
4 * options.c: Do not warn for Fortran 2003 features by default.
6 2006-02-15 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
8 * check.c: Update copyright years.
10 * check.c (gfc_check_minloc_maxloc, check_reduction): Don't call
11 dim_range_check on not-present optional dim argument.
13 2006-02-15 Jakub Jelinek <jakub@redhat.com>
17 * Make-lang.in (install-finclude-dir): New goal.
18 (fortran.install-common): Depend on install-finclude-dir.
19 * lang-specs.h: If not -nostdinc, add -I finclude.
21 2006-02-14 Thomas Koenig <Thomas.Koenig@online.de>
24 * check.c (dim_check): Perform all checks if dim is optional.
25 (gfc_check_minloc_maxloc): Use dim_check and dim_rank_check
26 to check dim argument.
27 (check_reduction): Likewise.
29 2006-02-14 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
32 * io.c (match_ltag): Mark label as referenced.
34 2006-02-14 Jakub Jelinek <jakub@redhat.com>
35 Richard Henderson <rth@redhat.com>
36 Diego Novillo <dnovillo@redhat.com>
38 * invoke.texi: Document -fopenmp.
39 * gfortran.texi (Extensions): Document OpenMP.
41 Backport from gomp-20050608-branch
42 * trans-openmp.c: Call build_omp_clause instead of
43 make_node when creating OMP_CLAUSE_* trees.
44 (gfc_trans_omp_reduction_list): Remove argument 'code'.
47 * trans.h (build4_v): Define.
48 * trans-openmp.c: Call build4_v to create OMP_PARALLEL nodes.
49 Call build3_v to create OMP_SECTIONS nodes.
52 * openmp.c (gfc_match_omp_variable_list): Call gfc_set_sym_referenced
53 on all symbols added to the variable list.
55 * openmp.c (gfc_match_omp_clauses): Fix check for non-INTRINSIC
56 procedure symbol in REDUCTION.
58 * trans-openmp.c (gfc_trans_omp_array_reduction): Use gfc_add
59 for MINUS_EXPR OMP_CLAUSE_REDUCTION_CODE.
61 * trans-openmp.c (gfc_trans_omp_do): Add PBLOCK argument. If PBLOCK
62 is non-NULL, evaluate INIT/COND/INCR and chunk size expressions in
64 (gfc_trans_omp_parallel_do): Pass non-NULL PBLOCK to gfc_trans_omp_do
65 for non-ordered non-static combined loops.
66 (gfc_trans_omp_directive): Pass NULL PBLOCK to gfc_trans_omp_do.
68 * openmp.c: Include target.h and toplev.h.
69 (gfc_match_omp_threadprivate): Emit diagnostic if target does
71 * Make-lang.in (fortran/openmp.o): Add dependencies on
72 target.h and toplev.h.
74 * trans-decl.c (gfc_get_fake_result_decl): Set GFC_DECL_RESULT.
75 * trans-openmp.c (gfc_omp_privatize_by_reference): Make
76 DECL_ARTIFICIAL vars predetermined shared except GFC_DECL_RESULT.
77 (gfc_omp_disregard_value_expr): Handle GFC_DECL_RESULT.
78 (gfc_trans_omp_variable): New function.
79 (gfc_trans_omp_variable_list, gfc_trans_omp_reduction_list): Use it.
80 * trans.h (GFC_DECL_RESULT): Define.
82 * trans-openmp.c (gfc_omp_firstprivatize_type_sizes): New function.
83 * f95-lang.c (LANG_HOOKS_OMP_FIRSTPRIVATIZE_TYPE_SIZES): Define.
84 * trans.h (gfc_omp_firstprivatize_type_sizes): New prototype.
86 * trans-openmp.c (gfc_omp_privatize_by_reference): Return
87 true if a pointer has GFC_DECL_SAVED_DESCRIPTOR set.
88 (gfc_trans_omp_array_reduction, gfc_trans_omp_reduction_list): New
90 (gfc_trans_omp_clauses): Add WHERE argument. Call
91 gfc_trans_omp_reduction_list rather than gfc_trans_omp_variable_list
93 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
94 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
95 gfc_trans_omp_sections, gfc_trans_omp_single): Adjust
96 gfc_trans_omp_clauses callers.
98 * openmp.c (omp_current_do_code): New var.
99 (gfc_resolve_omp_do_blocks): New function.
100 (gfc_resolve_omp_parallel_blocks): Call it.
101 (gfc_resolve_do_iterator): Add CODE argument. Don't propagate
102 predetermination if argument is !$omp do or !$omp parallel do
104 * resolve.c (resolve_code): Call gfc_resolve_omp_do_blocks
105 for EXEC_OMP_DO. Adjust gfc_resolve_do_iterator caller.
106 * fortran.h (gfc_resolve_omp_do_blocks): New prototype.
107 (gfc_resolve_do_iterator): Add CODE argument.
109 * trans.h (gfc_omp_predetermined_sharing,
110 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
112 (GFC_DECL_COMMON_OR_EQUIV, GFC_DECL_CRAY_POINTEE): Define.
113 * trans-openmp.c (gfc_omp_predetermined_sharing,
114 gfc_omp_disregard_value_expr, gfc_omp_private_debug_clause): New
116 * trans-common.c (build_equiv_decl, build_common_decl,
117 create_common): Set GFC_DECL_COMMON_OR_EQUIV flag on the decls.
118 * trans-decl.c (gfc_finish_cray_pointee): Set GFC_DECL_CRAY_POINTEE
120 * f95-lang.c (LANG_HOOKS_OMP_PREDETERMINED_SHARING,
121 LANG_HOOKS_OMP_DISREGARD_VALUE_EXPR,
122 LANG_HOOKS_OMP_PRIVATE_DEBUG_CLAUSE): Define.
124 * openmp.c (resolve_omp_clauses): Remove extraneous comma.
126 * symbol.c (check_conflict): Add conflict between cray_pointee and
128 * openmp.c (gfc_match_omp_threadprivate): Fail if
129 gfc_add_threadprivate returned FAILURE.
130 (resolve_omp_clauses): Diagnose Cray pointees in SHARED,
131 {,FIRST,LAST}PRIVATE and REDUCTION clauses and Cray pointers in
132 {FIRST,LAST}PRIVATE and REDUCTION clauses.
134 * resolve.c (omp_workshare_flag): New variable.
135 (resolve_function): Diagnose use of non-ELEMENTAL user defined
136 function in WORKSHARE construct.
137 (resolve_code): Cleanup forall_save use. Make sure omp_workshare_flag
138 is set to correct value in different contexts.
140 * openmp.c (resolve_omp_clauses): Replace %s with '%s' when printing
142 (resolve_omp_atomic): Likewise.
145 * scanner.c (skip_free_comments): Set at_bol at the beginning of the
147 (skip_fixed_comments): Handle ! comments in the middle of line here
149 (gfc_skip_comments): Use skip_fixed_comments for FIXED_FORM even if
151 (gfc_next_char_literal): Fix expected canonicalized *$omp string.
153 * trans-openmp.c (gfc_trans_omp_do): Use make_node and explicit
154 initialization to build OMP_FOR instead of build.
156 * trans-decl.c (gfc_gimplify_function): Invoke
157 diagnose_omp_structured_block_errors.
159 * trans-openmp.c (gfc_trans_omp_master): Use OMP_MASTER.
160 (gfc_trans_omp_ordered): Use OMP_ORDERED.
162 * gfortran.h (gfc_resolve_do_iterator, gfc_resolve_blocks,
163 gfc_resolve_omp_parallel_blocks): New prototypes.
164 * resolve.c (resolve_blocks): Renamed to...
165 (gfc_resolve_blocks): ... this. Remove static.
166 (gfc_resolve_forall): Adjust caller.
167 (resolve_code): Only call gfc_resolve_blocks if code->block != 0
168 and not for EXEC_OMP_PARALLEL* directives. Call
169 gfc_resolve_omp_parallel_blocks for EXEC_OMP_PARALLEL* directives.
170 Call gfc_resolve_do_iterator if resolved successfully EXEC_DO
172 * openmp.c: Include pointer-set.h.
173 (omp_current_ctx): New variable.
174 (gfc_resolve_omp_parallel_blocks, gfc_resolve_do_iterator): New
176 * Make-lang.in (fortran/openmp.o): Depend on pointer-set.h.
178 * openmp.c (gfc_match_omp_clauses): For max/min/iand/ior/ieor,
179 look up symbol if it exists, use its name instead and, if it is not
180 INTRINSIC, issue diagnostics.
182 * parse.c (parse_omp_do): Handle implied end do properly.
183 (parse_executable): If parse_omp_do returned ST_IMPLIED_ENDDO,
184 return it instead of continuing.
186 * trans-openmp.c (gfc_trans_omp_critical): Update for changed
188 (gfc_trans_omp_do, gfc_trans_omp_parallel, gfc_trans_omp_parallel_do,
189 gfc_trans_omp_parallel_sections, gfc_trans_omp_parallel_workshare,
190 gfc_trans_omp_sections, gfc_trans_omp_single): Likewise.
192 * trans.h (gfc_omp_privatize_by_reference): New prototype.
193 * f95-lang.c (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE): Redefine
194 to gfc_omp_privatize_by_reference.
195 * trans-openmp.c (gfc_omp_privatize_by_reference): New function.
197 * trans-stmt.h (gfc_trans_omp_directive): Add comment.
199 * openmp.c (gfc_match_omp_variable_list): Add ALLOW_COMMON argument.
200 Disallow COMMON matching if it is set.
201 (gfc_match_omp_clauses, gfc_match_omp_flush): Adjust all callers.
202 (resolve_omp_clauses): Show locus in error messages. Check that
203 variable types in reduction clauses are appropriate for reduction
206 * resolve.c (resolve_symbol): Don't error if a threadprivate module
207 variable isn't SAVEd.
209 * trans-openmp.c (gfc_trans_omp_do): Put count into BLOCK, not BODY.
210 Fix typo in condition. Fix DOVAR initialization.
212 * openmp.c (gfc_match_omp_clauses): Match min/iand/ior/ieor
213 rather than .min. etc.
215 * trans-openmpc.c (omp_not_yet): Remove.
216 (gfc_trans_omp_parallel_do): Keep listprivate clause on parallel.
217 Force creation of BIND_EXPR around the workshare construct.
218 (gfc_trans_omp_parallel_sections): Likewise.
219 (gfc_trans_omp_parallel_workshare): Likewise.
221 * types.def (BT_I16, BT_FN_I16_VPTR_I16,
222 BT_FN_BOOL_VPTR_I16_I16, BT_FN_I16_VPTR_I16_I16): Add.
224 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_DEFAULT.
225 (gfc_trans_omp_code): New function.
226 (gfc_trans_omp_do): Use it, remove omp_not_yet uses.
227 (gfc_trans_omp_parallel, gfc_trans_omp_single): Likewise.
228 (gfc_trans_omp_sections): Likewise. Only treat empty last section
229 specially if lastprivate clause is present.
230 * f95-lang.c (gfc_init_builtin_functions): Create BUILT_IN_TRAP
233 * trans-openmp.c (gfc_trans_omp_variable_list): Update for
234 OMP_CLAUSE_DECL name change.
235 (gfc_trans_omp_do): Likewise.
237 * trans-openmp.c (gfc_trans_omp_clauses): Create OMP_CLAUSE_REDUCTION
239 (gfc_trans_omp_atomic): Build OMP_ATOMIC instead of expanding
240 sync builtins directly.
241 (gfc_trans_omp_single): Build OMP_SINGLE statement.
243 * trans-openmp.c (gfc_trans_add_clause): New.
244 (gfc_trans_omp_variable_list): Take a tree code and build the clause
245 node here. Link it to the head of a list.
246 (gfc_trans_omp_clauses): Update to match.
247 (gfc_trans_omp_do): Use gfc_trans_add_clause.
249 * trans-openmp.c (gfc_trans_omp_clauses): Change second argument to
250 gfc_omp_clauses *. Use gfc_evaluate_now instead of creating
252 (gfc_trans_omp_atomic, gfc_trans_omp_critical): Use buildN_v macros.
253 (gfc_trans_omp_do): New function.
254 (gfc_trans_omp_master): Dont' check for gfc_trans_code returning NULL.
255 (gfc_trans_omp_parallel): Adjust gfc_trans_omp_clauses caller.
257 (gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_sections,
258 gfc_trans_omp_parallel_workshare, gfc_trans_omp_sections,
259 gfc_trans_omp_single, gfc_trans_omp_workshare): New functions.
260 (gfc_trans_omp_directive): Use them.
261 * parse.c (parse_omp_do): Allow new_st.op == EXEC_NOP.
262 * openmp.c (resolve_omp_clauses): Check for list items present
264 (resolve_omp_do): Check that iteration variable is not THREADPRIVATE
265 and is not present in any clause variable lists other than PRIVATE
268 * gfortran.h (symbol_attribute): Add threadprivate bit.
269 (gfc_common_head): Add threadprivate member, change use_assoc
270 and saved into char to save space.
271 (gfc_add_threadprivate): New prototype.
272 * symbol.c (check_conflict): Handle threadprivate.
273 (gfc_add_threadprivate): New function.
274 (gfc_copy_attr): Copy threadprivate.
275 * trans-openmp.c (gfc_trans_omp_clauses): Avoid creating a temporary
276 if IF or NUM_THREADS is constant. Create OMP_CLAUSE_SCHEDULE and
278 * resolve.c (resolve_symbol): Complain if a THREADPRIVATE symbol
279 outside a module and not in COMMON has is not SAVEd.
280 (resolve_equivalence): Ensure THREADPRIVATE objects don't get
282 * trans-common.c: Include target.h and rtl.h.
283 (build_common_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
284 * trans-decl.c: Include rtl.h.
285 (gfc_finish_var_decl): Set DECL_TLS_MODEL if THREADPRIVATE.
286 * dump-parse-tree.c (gfc_show_attr): Handle THREADPRIVATE.
287 * Make-lang.in (fortran/trans-decl.o): Depend on $(RTL_H).
288 (fortran/trans-common.o): Depend on $(RTL_H) and $(TARGET_H).
289 * openmp.c (gfc_match_omp_variable_list): Ensure COMMON block
290 is from current namespace.
291 (gfc_match_omp_threadprivate): Rewrite.
292 (resolve_omp_clauses): Check some clause restrictions.
293 * module.c (ab_attribute): Add AB_THREADPRIVATE.
294 (attr_bits): Add THREADPRIVATE.
295 (mio_symbol_attribute, mio_symbol_attribute): Handle threadprivate.
296 (load_commons, write_common, write_blank_common): Adjust for type
297 change of saved, store/load threadprivate bit from the integer
300 * types.def (BT_FN_UINT_UINT): New.
301 (BT_FN_VOID_UINT_UINT): Remove.
303 * trans-openmp.c (gfc_trans_omp_clauses, gfc_trans_omp_barrier,
304 gfc_trans_omp_critical, gfc_trans_omp_flush, gfc_trans_omp_master,
305 gfc_trans_omp_ordered, gfc_trans_omp_parallel): New functions.
306 (gfc_trans_omp_directive): Use them.
308 * openmp.c (expr_references_sym): Add SE argument, don't look
310 (is_conversion): New function.
311 (resolve_omp_atomic): Adjust expr_references_sym callers. Handle
312 promoted expressions.
313 * trans-openmp.c (gfc_trans_omp_atomic): New function.
314 (gfc_trans_omp_directive): Call it.
316 * f95-lang.c (builtin_type_for_size): New function.
317 (gfc_init_builtin_functions): Initialize synchronization and
319 * types.def: New file.
320 * Make-lang.in (f95-lang.o): Depend on $(BUILTINS_DEF) and
323 * trans-openmp.c: Rename GOMP_* tree codes into OMP_*.
325 * dump-parse-tree.c (show_symtree): Don't crash if ns->proc_name
328 * dump-parse-tree.c (gfc_show_namelist, gfc_show_omp_node): New
330 (gfc_show_code_node): Call gfc_show_omp_node for EXEC_OMP_* nodes.
332 * parse.c (parse_omp_do): Call pop_state before next_statement.
333 * openmp.c (expr_references_sym, resolve_omp_atomic, resolve_omp_do):
335 (gfc_resolve_omp_directive): Call them.
336 * match.c (match_exit_cycle): Issue error if EXIT or CYCLE statement
337 leaves an OpenMP structured block or if EXIT terminates !$omp do
340 * Make-lang.in (F95_PARSER_OBJS): Add fortran/openmp.o.
341 (F95_OBJS): Add fortran/trans-openmp.o.
342 (fortran/trans-openmp.o): Depend on $(GFORTRAN_TRANS_DEPS).
343 * lang.opt: Add -fopenmp option.
344 * options.c (gfc_init_options): Initialize it.
345 (gfc_handle_option): Handle it.
346 * gfortran.h (ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL,
347 ST_OMP_END_CRITICAL, ST_OMP_END_DO, ST_OMP_END_MASTER,
348 ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL, ST_OMP_END_PARALLEL_DO,
349 ST_OMP_END_PARALLEL_SECTIONS, ST_OMP_END_PARALLEL_WORKSHARE,
350 ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE, ST_OMP_END_WORKSHARE,
351 ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
352 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
353 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION,
354 ST_OMP_SINGLE, ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE): New
356 (OMP_LIST_PRIVATE, OMP_LIST_FIRSTPRIVATE, OMP_LIST_LASTPRIVATE,
357 OMP_LIST_COPYPRIVATE, OMP_LIST_SHARED, OMP_LIST_COPYIN,
358 OMP_LIST_PLUS, OMP_LIST_REDUCTION_FIRST, OMP_LIST_MULT,
359 OMP_LIST_SUB, OMP_LIST_AND, OMP_LIST_OR, OMP_LIST_EQV,
360 OMP_LIST_NEQV, OMP_LIST_MAX, OMP_LIST_MIN, OMP_LIST_IAND,
361 OMP_LIST_IOR, OMP_LIST_IEOR, OMP_LIST_REDUCTION_LAST, OMP_LIST_NUM):
362 New OpenMP variable list types.
363 (gfc_omp_clauses): New typedef.
364 (gfc_get_omp_clauses): Define.
365 (EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
366 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
367 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
368 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
369 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
370 EXEC_OMP_END_SINGLE): New OpenMP gfc_exec_op codes.
371 (struct gfc_code): Add omp_clauses, omp_name, omp_namelist
372 and omp_bool fields to ext union.
373 (flag_openmp): Declare.
374 (gfc_free_omp_clauses, gfc_resolve_omp_directive): New prototypes.
375 * scanner.c (openmp_flag, openmp_locus): New variables.
376 (skip_free_comments, skip_fixed_comments, gfc_next_char_literal):
377 Handle OpenMP directive lines and conditional compilation magic
379 * parse.h (COMP_OMP_STRUCTURED_BLOCK): New compile state.
380 * parse.c (decode_omp_directive, parse_omp_do, parse_omp_atomic,
381 parse_omp_structured_block): New functions.
382 (next_free, next_fixed): Parse OpenMP directives.
383 (case_executable, case_exec_markers, case_decl): Add ST_OMP_*
385 (gfc_ascii_statement): Handle ST_OMP_* codes.
386 (parse_executable): Rearrange the loop slightly, so that
387 parse_omp_do can return next_statement.
388 * match.h (gfc_match_omp_eos, gfc_match_omp_atomic,
389 gfc_match_omp_barrier, gfc_match_omp_critical, gfc_match_omp_do,
390 gfc_match_omp_flush, gfc_match_omp_master, gfc_match_omp_ordered,
391 gfc_match_omp_parallel, gfc_match_omp_parallel_do,
392 gfc_match_omp_parallel_sections, gfc_match_omp_parallel_workshare,
393 gfc_match_omp_sections, gfc_match_omp_single,
394 gfc_match_omp_threadprivate, gfc_match_omp_workshare,
395 gfc_match_omp_end_nowait, gfc_match_omp_end_single): New prototypes.
396 * resolve.c (resolve_blocks): Ignore EXEC_OMP_* block directives.
397 (resolve_code): Call gfc_resolve_omp_directive on EXEC_OMP_*
399 * trans.c (gfc_trans_code): Call gfc_trans_omp_directive for
400 EXEC_OMP_* directives.
401 * st.c (gfc_free_statement): Handle EXEC_OMP_* statement freeing.
402 * trans-stmt.h (gfc_trans_omp_directive): New prototype.
403 * openmp.c: New file.
404 * trans-openmp.c: New file.
406 2006-02-13 Andrew Pinski <pinskia@physics.uc.edu>
407 Jakub Jelinek <jakub@redhat.com>
410 * trans-decl.c (gfc_get_symbol_decl, gfc_get_fake_result_decl): Use
411 gfc_add_decl_to_function rather than gfc_finish_var_decl on length.
413 2006-02-13 Paul Thomas <pault@gcc.gnu.org>
417 * resolve.c (resolve_symbol): Extend the requirement that module
418 arrays have constant bounds to those in the main program. At the
419 same time simplify the array bounds, to avoiding trapping parameter
420 array references, and exclude automatic character length from main
421 and modules. Rearrange resolve_symbol and resolve_derived to put as
422 each flavor together, as much as is possible and move all specific
423 code for flavors FL_VARIABLE, FL_PROCEDURE and FL_PARAMETER into new
425 (resolve_fl_var_and_proc, resolve_fl_variable, resolve_fl_procedure):
426 New functions to do work of resolve_symbol.
427 (resolve_index_expr): New function that is called from resolved_symbol
428 and is extracted from resolve_charlen.
429 (resolve_charlen): Call this new function.
430 (resolve_fl_derived): Renamed resolve_derived to be consistent with
431 the naming of the new functions for the other flavours. Change the
432 charlen checking so that the style is consistent with other similar
433 checks. Add the generation of the gfc_dt_list, removed from resolve_
437 * resolve.c (resolve_actual_arglist): Prevent internal procedures
438 from being dummy arguments.
441 * resolve.c (resolve_actual_arglist): Prevent pure but non-intrinsic
442 procedures from being dummy arguments.
445 * resolve.c (check_data_variable): Add test that data variable is in
449 * resolve.c (resolve_call): Add test that the subroutine does not
452 2006-02-12 Erik Edelmann <eedelman@gcc.gnu.org>
455 * trans-array.c (gfc_trans_allocate_array_storage): New argument
456 dealloc; free the temporary only if dealloc is true.
457 (gfc_trans_allocate_temp_array): New argument bool dealloc, to be
458 passed onwards to gfc_trans_allocate_array_storage.
459 (gfc_trans_array_constructor, gfc_conv_loop_setup): Update call to
460 gfc_trans_allocate_temp_array.
461 * trans-array.h (gfc_trans_allocate_temp_array): Update function
463 * trans-expr.c (gfc_conv_function_call): Set new argument 'dealloc'
464 to gfc_trans_allocate_temp_array to false in case of functions
466 (gfc_trans_arrayfunc_assign): Return NULL for functions returning
469 2006-02-10 Steven G. Kargl <kargls@comcast.net>
472 *decl.c (variable_decl): Improve error message. Remove initialization
473 typespec. Wrap long line.
474 *expr.c (gfc_check_pointer_assign): Permit checking of type, kind type,
476 *simplify.c (gfc_simplify_null): Ensure type, kind type, and rank
480 2006-02-10 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
483 * arith.c (eval_intrinsic): Accept INTRINSIC_PARENTHESES.
484 * expr.c (check_intrinsic_op): Likewise.
485 * module.c (mio_expr): Likewise.
487 2006-02-09 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
489 * dump-parse-tree.c: Update copyright years.
490 * matchexp.c: Likewise.
491 * module.c: Likewise.
494 * gfortran.h (gfc_intrinsic_op): Add INTRINSIC_PARENTHESES.
495 * dump-parse-tree (gfc_show_expr): Handle INTRINSIC_PARENTHESES.
496 * expr.c (simplify_intrinsic_op): Treat INTRINSIC_PARENTHESES as
497 if it were INTRINSIC_UPLUS.
498 * resolve.c (resolve_operator): Handle INTRINSIC_PARENTHESES.
499 * match.c (intrinsic_operators): Add INTRINSIC_PARENTHESES.
500 * matchexp.c (match_primary): Record parentheses surrounding
502 * module.c (intrinsics): Add INTRINSIC_PARENTHESES for module
504 * trans-expr.c (gfc_conv_expr_op): Handle INTRINSIC_PARENTHESES.
506 2006-02-09 Paul Thomas <pault@gcc.gnu.org>
509 * trans-stmt.c (gfc_trans_allocate): Provide assumed character length
510 scalar with missing backend_decl for the hidden dummy charlen.
513 * interface.c (gfc_extend_assign): Remove detection of non-PURE
514 subroutine in assignment interface, with gfc_error, and put it in
515 * resolve.c (resolve_code).
518 * interface.c (gfc_procedure_use): Flag rank checking for non-
519 elemental, contained or interface procedures in call to
520 (compare_actual_formal), where ranks are checked for assumed
523 2006-02-08 Francois-Xavier Coudert <coudert@clipper.ens.fr>
526 * trans-decl.c (gfc_generate_function_code): Add new argument,
527 pedantic, to set_std call.
529 2005-02-06 Thomas Koenig <Thomas.Koenig@online.de>
532 * gfortran.texi: Document the GFORTRAN_CONVERT_UNIT environment
534 * invoke.texi: Mention the "Runtime" chapter.
535 Document the -fconvert= option.
536 * gfortran.h: Add options_convert.
537 * lang.opt: Add fconvert=little-endian, fconvert=big-endian,
538 fconvert=native and fconvert=swap.
539 * trans-decl.c (top level): Add gfor_fndecl_set_convert.
540 (gfc_build_builtin_function_decls): Set gfor_fndecl_set_convert.
541 (gfc_generate_function_code): If -fconvert was specified,
542 and this is the main program, add a call to set_convert().
543 * options.c: Handle the -fconvert options.
545 2006-02-06 Roger Sayle <roger@eyesopen.com>
547 * trans-stmt.c (gfc_evaluate_where_mask): Allow the NMASK argument
548 to be NULL to indicate that the not mask isn't required.
549 (gfc_trans_where_2): Remove PMASK argument. Avoid calculating the
550 pending mask for the last clause of a WHERE chain. Update recursive
552 (gfc_trans_forall_1): Update call to gfc_trans_where_2.
553 (gfc_trans_where): Likewise.
555 2006-02-06 Jakub Jelinek <jakub@redhat.com>
557 Backport from gomp-20050608-branch
558 * trans-decl.c (create_function_arglist): Handle dummy functions.
560 * trans-decl.c (gfc_get_symbol_decl): Revert explicit setting of
562 (gfc_trans_vla_type_sizes): Also "gimplify"
563 GFC_TYPE_ARRAY_DATAPTR_TYPE for GFC_DESCRIPTOR_TYPE_P types.
564 * trans-array.c (gfc_trans_deferred_array): Call
565 gfc_trans_vla_type_sizes.
567 * trans-decl.c (saved_function_decls, saved_parent_function_decls):
568 Remove unnecessary initialization.
569 (create_function_arglist): Make sure __result has complete type.
570 (gfc_get_fake_result_decl): Change current_fake_result_decl into
571 a tree chain. For entry master, create a separate variable
572 for each result name. For BT_CHARACTER results, call
573 gfc_finish_var_decl on length even if it has been already created,
575 (gfc_trans_vla_type_sizes): For function/entry result, adjust
576 result value type, not the FUNCTION_TYPE.
577 (gfc_generate_function_code): Adjust for current_fake_result_decl
579 (gfc_trans_deferred_vars): Likewise. Call gfc_trans_vla_type_sizes
580 even on result if it is assumed-length character.
582 * trans-decl.c (gfc_trans_dummy_character): Add SYM argument.
583 Call gfc_trans_vla_type_sizes.
584 (gfc_trans_auto_character_variable): Call gfc_trans_vla_type_sizes.
585 (gfc_trans_vla_one_sizepos, gfc_trans_vla_type_sizes_1,
586 gfc_trans_vla_type_sizes): New functions.
587 (gfc_trans_deferred_vars): Adjust gfc_trans_dummy_character
588 callers. Call gfc_trans_vla_type_sizes on assumed-length
589 character parameters.
590 * trans-array.c (gfc_trans_array_bounds,
591 gfc_trans_auto_array_allocation, gfc_trans_dummy_array_bias): Call
592 gfc_trans_vla_type_sizes.
593 * trans.h (gfc_trans_vla_type_sizes): New prototype.
595 * trans-decl.c (gfc_build_qualified_array): For non-assumed-size
596 arrays without constant size, create also an index var for
597 GFC_TYPE_ARRAY_SIZE (type). If the type is incomplete, complete
599 (gfc_create_string_length): Don't call gfc_defer_symbol_init
600 if just creating DECL_ARGUMENTS.
601 (gfc_get_symbol_decl): Call gfc_finish_var_decl and
602 gfc_defer_symbol_init even if ts.cl->backend_decl is already
603 set to a VAR_DECL that doesn't have DECL_CONTEXT yet.
604 (create_function_arglist): Rework, so that hidden length
605 arguments for CHARACTER parameters are created together with
606 the parameters. Resolve ts.cl->backend_decl for CHARACTER
607 parameters. If the argument is a non-constant length array
608 or CHARACTER, ensure PARM_DECL has different type than
610 (generate_local_decl): Call gfc_get_symbol_decl even
611 for non-referenced non-constant length CHARACTER parameters
612 after optionally issuing warnings.
613 * trans-array.c (gfc_trans_array_bounds): Set last stride
614 to GFC_TYPE_ARRAY_SIZE (type) to initialize it as well.
615 (gfc_trans_dummy_array_bias): Initialize GFC_TYPE_ARRAY_SIZE (type)
618 * trans-expr.c (gfc_conv_expr_val): Fix comment typo.
620 * trans-stmt.c (gfc_trans_simple_do): Fix comment.
622 2006-02-04 Roger Sayle <roger@eyesopen.com>
624 * dependency.c (gfc_check_dependency): Remove unused vars and nvars
625 arguments. Replace with an "identical" argument. A full array
626 reference to the same symbol is a dependency if identical is true.
627 * dependency.h (gfc_check_dependency): Update prototype.
628 * trans-array.h (gfc_check_dependency): Delete duplicate prototype.
629 * trans-stmt.c: #include dependency.h for gfc_check_dependency.
630 (gfc_trans_forall_1): Update calls to gfc_check_dependency.
631 (gfc_trans_where_2): Likewise. Remove unneeded variables.
632 (gfc_trans_where_3): New function for simple non-dependent WHEREs.
633 (gfc_trans_where): Call gfc_trans_where_3 to translate simple
634 F90-style WHERE statements without internal dependencies.
635 * Make-lang.in (trans-stmt.o): Depend upon dependency.h.
637 2006-02-05 H.J. Lu <hongjiu.lu@intel.com>
641 * resolve.c (resolve_types): New function.
642 (resolve_codes): Likewise.
643 (gfc_resolve): Use them.
645 2006-02-05 Roger Sayle <roger@eyesopen.com>
647 * trans-stmt.c (gfc_evaluate_where_mask): Use LOGICAL*1 for WHERE
648 masks instead of LOGICAL*4.
650 2006-02-05 Jakub Jelinek <jakub@redhat.com>
652 * resolve.c (resolve_symbol): Initialize constructor_expr to NULL.
654 2006-02-04 Thomas Koenig <Thomas.Koenig@online.de>
657 check.c (identical_dimen_shape): New function.
658 (check_dot_product): Use identical_dimen_shape() to check sizes
660 (gfc_check_matmul): Likewise.
661 (gfc_check_merge): Check conformance between tsource and fsource
662 and between tsource and mask.
663 (gfc_check_pack): Check conformance between array and mask.
665 2006-02-03 Steven G. Kargl <kargls@comcast>
666 Paul Thomas <pault@gcc.gnu.org>
669 * resolve.c (resolve_symbol): Default initialization of derived type
670 component reguires the SAVE attribute.
672 2006-02-02 Steven G. Kargl <kargls@comcast>
675 match.c (gfc_match_nullify): Free the list from head not tail.
678 * match.c (match_forall_header): Fix internal error caused by bogus
682 2006-01-31 Thomas Koenig <Thomas.Koenig@online.de>
685 expr.c (gfc_check_conformance): Reorder error message
687 check.c(gfc_check_minloc_maxloc): Call gfc_check_conformance
688 for checking arguments array and mask.
689 (check_reduction): Likewise.
691 2005-01-30 Erik Edelmann <eedelman@gcc.gnu.org>
694 * trans-io.c (set_internal_unit): Check the rank of the
695 expression node itself instead of its symbol.
697 2006-01-29 Paul Thomas <pault@gcc.gnu.org>
703 * interface.c (compare_actual_formal): Error for INTENT(OUT or INOUT)
704 if actual argument is not a variable.
706 2006-01-28 Paul Thomas <pault@gcc.gnu.org>
709 * expr.c (gfc_check_assign, gfc_check_pointer_assign): Emit error if
710 the lvalue is a use associated procedure.
714 * expr.c (gfc_check_pointer_assign): Emit error if lvalue and rvalue
715 character lengths are not the same. Use gfc_dep_compare_expr for the
717 * gfortran.h: Add prototype for gfc_dep_compare_expr.
718 * dependency.h: Remove prototype for gfc_dep_compare_expr.
720 2005-01-27 Paul Thomas <pault@gcc.gnu.org>
723 * resolve.c (resolve_function): Add GFC_ISYM_LOC to the list of
724 generic_ids exempted from assumed size checking.
726 2006-01-27 Jakub Jelinek <jakub@redhat.com>
729 * Make-lang.in (fortran/scanner.o): Depend on toplev.h.
730 * lang.opt (fpreprocessed): New option.
731 * scanner.c: Include toplev.h.
732 (gfc_src_file, gfc_src_preprocessor_lines): New variables.
733 (preprocessor_line): Unescape filename if there were any
735 (load_file): If initial and gfc_src_file is not NULL,
736 use it rather than opening the file. If gfc_src_preprocessor_lines
737 has non-NULL elements, pass it to preprocessor_line.
738 (unescape_filename, gfc_read_orig_filename): New functions.
739 * gfortran.h (gfc_option_t): Add flag_preprocessed.
740 (gfc_read_orig_filename): New prototype.
741 * options.c (gfc_init_options): Clear flag_preprocessed.
742 (gfc_post_options): If flag_preprocessed, call
743 gfc_read_orig_filename.
744 (gfc_handle_option): Handle OPT_fpreprocessed.
745 * lang-specs.h: Pass -fpreprocessed to f951 if preprocessing
748 2005-01-27 Erik Edelmann <eedelman@gcc.gnu.org>
750 * symbol.c (free_old_symbol): Fix confusing comment, and add code
751 to free old_symbol->formal.
753 2005-01-26 Paul Thomas <pault@gcc.gnu.org>
756 * resolve.c (resolve_function): Exclude statement functions from
757 global reference checking.
763 * resolve.c (resolve_function): Declare a gfc_symbol to replace the
764 references through the symtree to the symbol associated with the
765 function expresion. Give error on reference to an assumed character
766 length function is defined in an interface or an external function
767 that is not a dummy argument.
768 (resolve_symbol): Give error if an assumed character length function
769 is array-valued, pointer-valued, pure or recursive. Emit warning
770 that character(*) value functions are obsolescent in F95.
773 * trans-expr.c (gfc_conv_function_call): The above patch to resolve.c
774 prevents any assumed character length function call from getting here
775 except intrinsics such as SPREAD. In this case, ensure that no
776 segfault occurs from referencing non-existent charlen->length->
777 expr_type and provide a backend_decl for the charlen from the charlen
778 of the first actual argument.
780 Cure temp name confusion.
781 * trans-expr.c (gfc_get_interface_mapping_array): Change name of
782 temporary from "parm" to "ifm" to avoid clash with temp coming from
785 2005-01-25 Erik Edelmann <eedelman@gcc.gnu.org>
788 * symbol.c (free_old_symbol): New function.
789 (gfc_commit_symbols): Use it.
790 (gfc_commit_symbol): New function.
791 (gfc_use_derived): Use it.
792 * gfortran.h: Add prototype for gfc_commit_symbol.
793 * intrinsic.c (gfc_find_function): Search in 'conversion'
794 if not found in 'functions'.
795 (gfc_convert_type_warn): Add a symtree to the new
796 expression node, and commit the new symtree->n.sym.
797 * resolve.c (gfc_resolve_index): Make sure typespec is
798 properly initialized.
800 2005-01-23 Paul Thomas <pault@gcc.gnu.org>
803 * decl.c (get_proc_name): Replace subroutine and function attributes
804 in "already defined" test by the formal arglist pointer being non-NULL.
806 Fix regression in testing of admissability of attributes.
807 * symbol.c (gfc_add_attribute): If the current_attr has non-zero
808 intent, do not do the check for a dummy being used.
809 * decl.c (attr_decl1): Add current_attr.intent as the third argument
810 in the call to gfc_add_attribute.
811 * gfortran.h: Add the third argument to the prototype for
814 2006-01-21 Joseph S. Myers <joseph@codesourcery.com>
816 * gfortranspec.c (lang_specific_driver): Update copyright notice
819 2005-01-21 Paul Thomas <pault@gcc.gnu.org>
823 * decl.c (get_proc_name): If there is an existing
824 symbol in the encompassing namespace, call errors
825 if it is a procedure of the same name or the kind
826 field is set, indicating a type declaration.
832 * decl.c (add_global_entry): New function to check
833 for existing global symbol with this name and to
834 create new one if none exists.
835 (gfc_match_entry): Call add_global_entry before
836 matching argument lists for subroutine and function
838 * gfortran.h: Prototype for existing function,
840 * resolve.c (resolve_global_procedure): New function
841 to check global symbols for procedures.
842 (resolve_call, resolve_function): Calls to this
843 new function for non-contained and non-module
845 * match.c (match_common): Add check for existing
846 global symbol, creat one if none exists and emit
847 error if there is a clash.
848 * parse.c (global_used): Remove static and use the
849 gsymbol name rather than the new_block name, so that
850 the function can be called from resolve.c.
851 (parse_block_data, parse_module, add_global_procedure):
852 Improve checks for existing gsymbols. Emit error if
853 already defined or if references were to another type.
857 * trans-expr.c (gfc_conv_aliased_arg): New function called by
858 gfc_conv_function_call that coverts an expression for an aliased
859 component reference to a derived type array into a temporary array
860 of the same type as the component. The temporary is passed as an
861 actual argument for the procedure call and is copied back to the
862 derived type after the call.
863 (is_aliased_array): New function that detects an array reference
864 that is followed by a component reference.
865 (gfc_conv_function_call): Detect an aliased actual argument with
866 is_aliased_array and convert it to a temporary and back again
867 using gfc_conv_aliased_arg.
869 2006-01-19 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
871 * gfortranspec.c: Update copyright years.
873 * trans-array.c: Likewise.
874 * trans-array.h: Likewise.
875 * trans-decl.c: Likewise.
876 * trans-stmt.c: Likewise.
877 * trans-stmt.h: Likewise.
878 * trans-types.c: Likewise.
880 2006-01-18 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
884 * gfortran.h (BBT_HEADER): Move definition up.
885 (gfc_st_label): Add BBT_HEADER, remove 'prev' and 'next'.
886 * io.c (format_asterisk): Adapt initializer.
887 * resolve.c (resolve_branch): Allow FORTRAN 66 cross-block GOTOs
889 (warn_unused_label): Take gfc_st_label label as argument, adapt to
891 (gfc_resolve): Adapt call to warn_unused_label.
892 * symbol.c (compare_st_labels): New function.
893 (gfc_free_st_label, free_st_labels, gfc_get_st_label): Convert to
894 using balanced binary tree.
895 * decl.c (match_char_length, gfc_match_old_kind_spec): Do away
897 (warn_unused_label): Adapt to binary tree.
898 * match.c (gfc_match_small_literal_int): Only set cnt if non-NULL.
899 * primary.c (match_kind_param): Do away with cnt.
901 2006-01-18 Paul Thomas <pault@gcc.gnu.org>
906 * symbol.c (check_conflict): Add pointer valued elemental
907 functions and internal procedures with the external attribute
908 to the list of conflicts.
909 (gfc_add_attribute): New catch-all function to perform the
910 checking of symbol attributes for attribute declaration
912 * decl.c (attr_decl1): Call gfc_add_attribute for each of -
913 (gfc_match_external, gfc_match_intent, gfc_match_intrinsic,
914 gfc_match_pointer, gfc_match_dimension, gfc_match_target):
915 Remove spurious calls to checks in symbol.c. Set the
916 attribute directly and use the call to attr_decl() for
918 * gfortran.h: Add prototype for gfc_add_attribute.
921 * resolve.c (resolve_function): Exclude PRESENT from assumed size
922 argument checking. Replace strcmp's with comparisons with generic
925 2006-01-16 Rafael
\81Ávila de Esp
\81índola <rafael.espindola@gmail.com>
927 * gfortranspec.c (lang_specific_spec_functions): Remove.
929 2006-01-16 Richard Guenther <rguenther@suse.de>
931 * trans-stmt.c (gfc_trans_if_1): Use fold_buildN and build_int_cst.
932 (gfc_trans_arithmetic_if): Likewise.
933 (gfc_trans_simple_do): Likewise.
934 (gfc_trans_do): Likewise.
935 (gfc_trans_do_while): Likewise.
936 (gfc_trans_logical_select): Likewise.
937 (gfc_trans_forall_loop): Likewise.
938 (generate_loop_for_temp_to_lhs): Likewise.
939 (generate_loop_for_rhs_to_temp): Likewise.
940 (gfc_trans_allocate): Likewise.
941 * trans.c (gfc_add_expr_to_block): Do not fold expr again.
943 2006-01-16 Richard Guenther <rguenther@suse.de>
945 * trans-expr.c (gfc_conv_function_call): Use fold_build2.
946 * trans-stmt.c (gfc_trans_goto): Likewise. Use build_int_cst.
947 * trans.c (gfc_trans_runtime_check): Don't fold the condition
950 2006-01-13 Steven G. Kargl <kargls@comcast.net>
953 * symbol.c (gfc_free_st_label): Give variable meaningful name. Remove
954 unneeded parenthesis. Fix-up the head of the list (2 lines gleaned
957 2006-01-13 Diego Novillo <dnovillo@redhat.com>
959 * trans.c (gfc_add_expr_to_block): Do not fold tcc_statement
962 2006-01-11 Tobias Schl
\81üter <tobias.schlueter@physik.uni-muenchen.de>
964 * parse.c (next_fixed): Remove superfluous string concatenation.
966 2006-01-11 Bernhard Fischer <rep.nop@aon.at>
969 * scanner.c (load_line): use maxlen to determine the line-length used
970 for padding lines in fixed form.
972 2005-01-11 Paul Thomas <pault@gcc.gnu.org>
975 * trans-types.c (copy_dt_decls_ifequal): Copy backend decl for
978 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
981 * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Use fold_convert
982 to avoid type mismatch.
984 2006-01-09 Andrew Pinski <pinskia@physics.uc.edu>
987 * trans-decl.c (gfc_generate_function_code): Move the NULLing of
988 current_fake_result_decl down to below generate_local_vars.
990 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
993 * trans-expr.c (gfc_to_single_character): New function that converts
994 string to single character if its length is 1.
995 (gfc_build_compare_string):New function that compare string and handle
996 single character specially.
997 (gfc_conv_expr_op): Use gfc_build_compare_string.
998 (gfc_trans_string_copy): Use gfc_to_single_character.
999 * trans-intrinsic.c (gfc_conv_intrinsic_strcmp): Use
1000 gfc_build_compare_string.
1001 * trans.h (gfc_build_compare_string): Add prototype.
1003 2006-01-09 Feng Wang <fengwang@nudt.edu.cn>
1005 * simplify.c (gfc_simplify_char): Use UCHAR_MAX instead of literal
1007 (gfc_simplify_ichar): Get the result from unsinged char and in the
1008 range 0 to UCHAR_MAX instead of CHAR_MIN to CHAR_MAX.
1010 2005-01-08 Erik Edelmann <eedelman@gcc.gnu.org>
1013 * resolve.c (resolve_fntype): Check that PUBLIC functions
1014 aren't of PRIVATE type.
1016 2005-01-07 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
1018 * decl.c (gfc_match_function_decl): Correctly error out in case of
1019 omitted function argument list.
1021 2006-01-07 Paul Thomas <pault@gcc.gnu.org>
1024 * trans-array.c (gfc_reverse_ss): Remove static attribute.
1025 (gfc_walk_elemental_function_args): Replace gfc_expr * argument for
1026 the function call with the corresponding gfc_actual_arglist*. Change
1028 (gfc_walk_function_expr): Call to gfc_walk_elemental_function_args
1029 now requires the actual argument list instead of the expression for
1031 * trans-array.h: Modify the prototype for gfc_walk_elemental_function_args
1032 and provide a prototype for gfc_reverse_ss.
1033 * trans-stmt.h (gfc_trans_call): Add the scalarization code for the case
1034 where an elemental subroutine has array valued actual arguments.
1040 * resolve.c (check_assumed_size_reference): New function to check for upper
1041 bound in assumed size array references.
1042 (resolve_assumed_size_actual): New function to do a very restricted scan
1043 of actual argument expressions of those procedures for which incomplete
1044 assumed size array references are not allowed.
1045 (resolve_function, resolve_call): Switch off assumed size checking of
1046 actual arguments, except for elemental procedures and intrinsic
1047 inquiry functions, in some circumstances.
1048 (resolve_variable): Call check_assumed_size_reference.
1050 2006-01-05 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1053 * io.c (next_char_not_space): New function that returns the next
1054 character that is not white space.
1055 (format_lex): Use the new function to skip whitespace within
1058 2006-01-05 Erik Edelmann <eedelman@gcc.gnu.org>
1061 * expr.c (gfc_expr_set_symbols_referenced): New function.
1062 * gfortran.h: Add a function prototype for it.
1063 * resolve.c (resolve_function): Use it for
1064 use associated character functions lengths.
1065 * expr.c, gfortran.h, resolve.c: Updated copyright years.
1067 2006-01-03 Steven G. Kargl <kargls@comcast.net>
1070 * resolve.c (resolve_forall_iterators): Check for scalar variables;
1071 Check stride is nonzero.
1073 2006-01-02 Steven G. Kargl <kargls@comcast.net>
1076 * parse.c (next_free): Check for whitespace after the label.
1077 * match.c (gfc_match_small_literal_int): Initialize cnt variable.
1079 2006-01-01 Steven G. Kargl <kargls@comcast.net>
1081 * ChangeLog: Split previous years into ...
1082 * ChangeLog-2002: here.
1083 * ChangeLog-2003: here.
1084 * ChangeLog-2004: here.
1085 * ChangeLog-2005: here.