1 2009-09-13 Richard Guenther <rguenther@suse.de>
2 Rafael Avila de Espindola <espindola@google.com>
4 * f95-lang.c (gfc_maybe_initialize_eh): Do not init
5 eh_personality_libfunc.
7 2009-09-11 Janus Weil <janus@gcc.gnu.org>
10 * resolve.c (resolve_ordinary_assign): Don't call resolve_code,
11 to avoid that subsequent codes are resolved more than once.
12 (resolve_code): Make sure that type-bound assignment operators are
16 2009-09-10 Steven G. Kargl <kargl@gcc.gnu.org>
19 * fortran/decl.c(gfc_match_modproc): Check that module procedures
20 from a module can USEd in module procedure statements in other
21 program units. Update locus for better error message display.
22 Detect intrinsic procedures in module procedure statements.
24 2009-09-09 Richard Guenther <rguenther@suse.de>
27 * trans-expr.c (gfc_trans_scalar_assign): Correct typo that
28 left 'tmp' unused in derived type assignment.
30 2009-09-07 Thomas Koenig <tkoenig@gcc.gnu.org>
33 * resolve_c (resolve_allocate_deallocate): Complain
34 if stat or errmsg varaible is an array.
36 2009-09-05 Paul Thomas <pault@gcc.gnu.org>
39 * primary.c (gfc_match_varspec): Do not look for typebound
40 procedures unless the derived type has a f2k_derived namespace.
42 2009-09-03 Diego Novillo <dnovillo@google.com>
44 * f95-lang.c (lang_hooks): Remove const qualifier.
46 2009-09-01 Richard Guenther <rguenther@suse.de>
48 * f95-lang.c (gfc_mark_addressable): Remove.
49 (LANG_HOOKS_MARK_ADDRESSABLE): Likewise.
51 2009-08-31 Jerry DeLisle <jvdelisle@gcc.gnu.org>
54 * scanner.c (next_char): Fix typo in comment.
55 (gfc_get_char_literal): Warn if truncate flag is set for both fixed and
56 free form source, adjusting error locus as needed.
57 * parse.c (next_fixed): Clear the truncate flag.
58 (next_statement): Remove truncate warning.
60 2009-08-31 Janus Weil <janus@gcc.gnu.org>
61 Paul Thomas <pault@gcc.gnu.org>
64 * array.c (gfc_match_array_constructor): Rename gfc_match_type_spec.
65 * decl.c (gfc_match_type_spec): Rename to gfc_match_decl_type_spec,
66 and reject CLASS with -std=f95.
67 (gfc_match_implicit, gfc_match_data_decl,gfc_match_prefix,
68 match_procedure_interface): Rename gfc_match_type_spec.
69 * gfortran.h (gfc_type_compatible): Add prototype.
70 * match.h (gfc_match_type_spec): Rename to gfc_match_decl_type_spec.
71 * match.c (match_intrinsic_typespec): Rename to match_type_spec, and
72 add handling of derived types.
73 (gfc_match_allocate): Rename match_intrinsic_typespec and check
74 type compatibility of derived types.
75 * symbol.c (gfc_type_compatible): New function to check if two types
78 2009-08-31 Janus Weil <janus@gcc.gnu.org>
81 * check.c (gfc_check_allocated): Implement allocatable scalars.
82 * resolve.c (resolve_allocate_expr,resolve_fl_var_and_proc): Ditto.
83 * trans-intrinsic.c (gfc_conv_allocated): Ditto.
85 2009-08-30 Daniel Kraft <d@domob.eu>
88 * dump-parse-tree.c (show_typebound_proc): Renamed from `show_typebound'
89 and accept gfc_typebound_proc and name instead of the symtree, needed
90 for intrinsic operator output.
91 (show_typebound_symtree): New method calling `show_typebound_proc'.
92 (show_f2k_derived): Output type-bound operators also.
93 (show_symbol): Moved output of `Procedure bindings:' label to
95 * gfortran.texi (Fortran 2003 status): Mention support of
96 array-constructors with explicit type specification, type-bound
97 procedures/operators, type extension, ABSTRACT types and DEFERRED.
98 Link to Fortran 2003 wiki page.
99 (Fortran 2008 status): Fix typo. Link to Fortran 2008 wiki page.
100 * gfc-internals.texi (Type-bound Procedures): Document the new
101 members/attributes of gfc_expr.value.compcall used for type-bound
103 (Type-bound Operators): New section documenting their internals.
105 2009-08-27 Janus Weil <janus@gcc.gnu.org>
108 * expr.c (gfc_check_pointer_assign): Enable interface check for
109 pointer assignments involving procedure pointer components.
110 * gfortran.h (gfc_compare_interfaces): Modified prototype.
111 * interface.c (gfc_compare_interfaces): Add argument 'name2', to be
112 used instead of s2->name. Don't rely on the proc_pointer attribute,
113 but instead on the flags handed to this function.
114 (check_interface1,compare_parameter): Add argument for
115 gfc_compare_interfaces.
116 * resolve.c (check_generic_tbp_ambiguity): Ditto.
118 2009-08-27 Daniel Kraft <d@domob.eu>
121 * gfortran.h (gfc_expr): Optionally store base-object in compcall value
122 and add a new flag to distinguish assign-calls generated.
123 (gfc_find_typebound_proc): Add locus argument.
124 (gfc_find_typebound_user_op), (gfc_find_typebound_intrinsic_op): Ditto.
125 (gfc_extend_expr): Return if failure was by a real error.
126 * interface.c (matching_typebound_op): New routine.
127 (build_compcall_for_operator): New routine.
128 (gfc_extend_expr): Handle type-bound operators, some clean-up and
129 return if failure was by a real error or just by not finding an
130 appropriate operator definition.
131 (gfc_extend_assign): Handle type-bound assignments.
132 * module.c (MOD_VERSION): Incremented.
133 (mio_intrinsic_op): New routine.
134 (mio_full_typebound_tree): New routine to make typebound-procedures IO
135 code reusable for type-bound user operators.
136 (mio_f2k_derived): IO of type-bound operators.
137 * primary.c (gfc_match_varspec): Initialize new fields in gfc_expr and
138 pass locus to gfc_find_typebound_proc.
139 * resolve.c (resolve_operator): Only output error about no matching
140 interface if gfc_extend_expr did not already fail with an error.
141 (extract_compcall_passed_object): Use specified base-object if present.
142 (update_compcall_arglist): Handle ignore_pass field.
143 (resolve_ordinary_assign): Update to handle extended code for
144 type-bound assignments, too.
145 (resolve_code): Handle EXEC_ASSIGN_CALL statement code.
146 (resolve_tb_generic_targets): Pass locus to gfc_find_typebound_proc.
147 (resolve_typebound_generic), (resolve_typebound_procedure): Ditto.
148 (resolve_typebound_intrinsic_op), (resolve_typebound_user_op): Ditto.
149 (ensure_not_abstract_walker), (resolve_fl_derived): Ditto.
150 (resolve_typebound_procedures): Remove not-implemented error.
151 (resolve_typebound_call): Handle assign-call flag.
152 * symbol.c (find_typebound_proc_uop): New argument to pass locus for
153 error message about PRIVATE, verify that a found procedure is not marked
155 (gfc_find_typebound_intrinsic_op): Ditto.
156 (gfc_find_typebound_proc), (gfc_find_typebound_user_op): New locus arg.
158 2009-08-22 Bud Davis <bdavis9659@sbcglobal.net>
161 * io.c: reverted previous patch.
163 2009-08-25 Janne Blomqvist <jb@gcc.gnu.org>
165 * gfortran.texi: Fix ENCODE example.
167 2009-08-25 Janus Weil <janus@gcc.gnu.org>
170 * primary.c (gfc_match_varspec): Make sure EXPR_PPC is only used for
171 calls to procedure pointer components, other references to procedure
172 pointer components are EXPR_VARIABLE.
173 * resolve.c (resolve_actual_arglist): Bugfix (there can be calls without
175 * trans-expr.c (gfc_get_proc_ptr_comp): Renamed to 'get_proc_ptr_comp',
176 removed argument 'se' and made static. Avoid inserting a temporary
177 variable for calling the PPC.
178 (conv_function_val): Renamed gfc_get_proc_ptr_comp.
179 (gfc_conv_procedure_call): Distinguish functions returning a procedure
180 pointer from calls to a procedure pointer. Distinguish calls to
181 procedure pointer components from procedure pointer components as
183 * trans-stmt.h (gfc_get_proc_ptr_comp): Make it static.
185 2009-08-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
188 * io.c (check_format): Fix to not error on slash after P. Fix some
191 2009-08-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
194 * io.c (check_format): Fix to not error on right paren after P.
196 2009-08-24 Aldy Hernandez <aldyh@redhat.com>
199 * trans-io.c (build_dt): Pass UNKNOWN_LOCATION to build_call_expr_loc.
200 (transfer_array_desc): Same.
202 2009-08-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
205 * io.c (check_format): Add checks for comma and the allowed
206 format specifiers after the 'P' specifier. Fix typo in error message
209 2009-08-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
212 * io.c (enum format_token): Change FMT_EXT to FMT_EN and FMT_ES.
213 (format_lex): Likewise.
214 (token_to_string): New function.
215 (check_format): Use the new tokens and the new function. Add
216 check for positive width.
218 2009-08-22 Steven G. Kargl <kargl@gcc.gnu.org>
220 * fortran/decl.c: Disallow procedure pointers with -std=f95.
222 2009-08-22 Steven K. kargl <kargl@gcc.gnu.org>
223 Paul Thomas <pault@gcc.gnu.org>
225 * fortran/decl.c (match_char_spec): Rename to gfc_match_char_spec,
227 * fortran/gfortran.h: Add *expr3 entity to gfc_code. Add prototype
228 for gfc_match_char_spec.
229 * fortran/trans-stmt.c (gfc_trans_allocate): Translate the SOURCE=
231 * fortran/match.c (match_intrinsic_typespec): New function to match
232 F2003 intrinsic-type-spec.
233 (conformable_arrays): New function. Check SOURCE= and
234 allocation-object are conformable.
235 (gfc_match_allocate): Use new functions. Match SOURCE= tag.
237 2009-08-22 Bud Davis <bdavis9659@sbcglobal.net>
240 * io.c : added variable to store original len of fmt
241 * io.c (check_format): Consume H items using next_char
242 in both modes to handle consecutive single quotes.
243 Test for extra characters in fmt, issue warning.
245 2009-08-21 Janus Weil <janus@gcc.gnu.org>
248 * primary.c (gfc_variable_attr): Make it work also on EXPR_FUNCTION.
249 (gfc_expr_attr): Use gfc_variable_attr for procedure pointer components.
250 * resolve.c (resolve_fl_derived): Handle CHARACTER-valued procedure
252 * trans-expr.c (gfc_conv_component_ref): Ditto.
253 (gfc_conv_variable): Ditto.
254 (gfc_conv_procedure_call): Ditto.
255 (gfc_trans_pointer_assignment): Ditto.
256 * trans-types.c (gfc_get_derived_type): Ditto.
258 2009-08-20 Tobias Schlüter <tobi@gcc.gnu.org>
260 * trans-stmt.c (gfc_trans_do): Add a few missing folds.
262 2009-08-20 Michael Matz <matz@suse.de>
265 * trans-expr.c (gfc_conv_string_tmp): Check type compatibility
268 2009-08-20 Janus Weil <janus@gcc.gnu.org>
271 * resolve.c (resolve_symbol): Don't resolve formal_ns of intrinsic
274 2009-08-18 Michael Matz <matz@suse.de>
276 * trans-expr.c (gfc_conv_substring): Don't evaluate casted decl early,
277 change order of length calculation to (end - start) + 1.
278 (gfc_get_interface_mapping_array): Adjust call to
279 gfc_get_nodesc_array_type.
280 * trans-array.c (gfc_trans_create_temp_array,
281 gfc_build_constant_array_constructor, gfc_conv_expr_descriptor): Ditto.
282 * trans-stmt.c (gfc_trans_pointer_assign_need_temp): Ditto.
283 * trans.c (gfc_add_modify): Assignment between base type and nontarget
284 type are equal enough.
285 (gfc_call_malloc): Use prvoid_type_node for return value of
287 (gfc_allocate_with_status): Ditto.
288 * trans-types.c (gfc_array_descriptor_base): Double size of this array.
289 (gfc_init_types): Build prvoid_type_node.
290 (gfc_build_array_type): New bool parameter "restricted".
291 (gfc_get_nodesc_array_type): Ditto, build restrict qualified pointers,
293 (gfc_get_array_descriptor_base): Ditto.
294 (gfc_get_array_type_bounds): Ditto.
295 (gfc_sym_type): Use symbol attributes to feed calls to above functions.
296 (gfc_get_derived_type): Ditto.
297 * trans.h (struct lang_type): Add nontarget_type member.
298 * trans-types.h (prvoid_type_node): Declare.
299 (gfc_get_array_type_bounds, gfc_get_nodesc_array_type): Declare new
301 * trans-decl.c (gfc_finish_var_decl): Give scalars that can't be
302 aliased a type with a different alias set than the base type.
303 (gfc_build_dummy_array_decl): Adjust call to gfc_get_nodesc_array_type.
305 2009-08-18 Janus Weil <janus@gcc.gnu.org>
306 Paul Thomas <pault@gcc.gnu.org>
309 * trans-types.c (gfc_get_ppc_type): Include formal args in backend_decl
310 using the interface symbol. Character types are returned by reference.
311 (gfc_get_derived_type): Prevent infinite recursion loop
312 if a PPC has a derived-type formal arg.
314 2008-08-17 Paul Thomas <pault@gcc.gnu.org>
317 * trans-decl.c (gfc_trans_use_stmts): Keep going through use
318 list if symbol is not use associated.
320 2009-08-17 Daniel Kraft <d@domob.eu>
323 * resolve.c (get_checked_tb_operator_target): New routine to do checks
324 on type-bound operators in common between intrinsic and user operators.
325 (resolve_typebound_intrinsic_op): Call it.
326 (resolve_typebound_user_op): Ditto.
328 2009-08-17 Jerry DeLisle <jvdelisle@gcc.gnu.org>
331 * scanner.c (gfc_next_char_literal): Add comment to improve
333 * io.c (enum format_token): Add FMT_STAR. (format_lex): Add case
334 for '*'. (check_format): Check for left paren after '*'. Change
335 format checks to use %L to improve format string error locus.
337 2009-08-17 Janus Weil <janus@gcc.gnu.org>
340 * array.c (gfc_resolve_character_array_constructor): Add NULL argument
342 * decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
343 gfc_match_implicit): Ditto.
344 * expr.c (simplify_const_ref): Fix memory leak.
345 (gfc_simplify_expr): Add NULL argument to gfc_new_charlen.
346 * gfortran.h (gfc_new_charlen): Modified prototype.
347 * iresolve.c (check_charlen_present,gfc_resolve_char_achar): Add NULL
348 argument to gfc_new_charlen.
349 * module.c (mio_charlen): Ditto.
350 * resolve.c (gfc_resolve_substring_charlen,
351 gfc_resolve_character_operator,fixup_charlen): Ditto.
352 (resolve_fl_derived,resolve_symbol): Add argument to gfc_charlen.
353 * symbol.c (gfc_new_charlen): Add argument 'old_cl' (to make a copy of
354 an existing charlen).
355 (gfc_set_default_type,generate_isocbinding_symbol): Fix memory leak.
356 (gfc_copy_formal_args_intr): Add NULL argument to gfc_new_charlen.
357 * trans-decl.c (create_function_arglist): Fix memory leak.
359 2009-08-17 Richard Guenther <rguenther@suse.de>
361 * trans-expr.c (gfc_trans_scalar_assign): Replace hack with
364 2009-08-15 Tobias Burnus <burnus@net-b.de>
367 * gfortranspec.c (lookup_option): Remove gfortran-specific
368 version of -dumpversion.
370 2009-08-14 Janus Weil <janus@gcc.gnu.org>
373 * resolve.c (resolve_structure_cons): Make sure that ts.u.derived is
374 only used if type is BT_DERIVED.
376 2009-08-13 Janus Weil <janus@gcc.gnu.org>
379 * gfortran.h (gfc_typespec): Put 'derived' and 'cl' into union.
380 * decl.c (build_struct): Make sure 'cl' is only used
381 if type is BT_CHARACTER.
382 * symbol.c (gfc_set_default_type): Ditto.
383 * resolve.c (resolve_symbol, resolve_fl_derived): Ditto.
384 (resolve_equivalence,resolve_equivalence_derived): Make sure 'derived'
385 is only used if type is BT_DERIVED.
386 * trans-io.c (transfer_expr): Make sure 'derived' is only used if type
387 is BT_DERIVED or BT_INTEGER (special case: C_PTR/C_FUNPTR).
388 * array.c: Mechanical replacements to accomodate union in gfc_typespec.
392 * dump-parse-tree.c: Ditto.
394 * interface.c: Ditto.
405 * target-memory.c: Ditto.
406 * trans-array.c: Ditto.
407 * trans-common.c: Ditto.
408 * trans-const.c: Ditto.
409 * trans-decl.c: Ditto.
410 * trans-expr.c: Ditto.
411 * trans-intrinsic.c: Ditto.
413 * trans-stmt.c: Ditto.
414 * trans-types.c: Ditto.
416 2009-08-13 Janus Weil <janus@gcc.gnu.org>
419 * resolve.c (resolve_symbol): Move some checking code to
420 resolve_intrinsic, and call this from here.
421 (resolve_intrinsic): Some checking code moved here from resolve_symbol.
422 Make sure each intrinsic is only resolved once.
424 2009-08-12 Tobias Burnus <burnus@net-b.de>
427 * symbol.c (gfc_copy_attr): Merge bits instead of replace
428 bits in gfc_copy_attr.
429 * gfc_check_pointer_assign (gfc_check_pointer_assign):
430 Initialize ext_attr bits by zero.
432 2009-08-11 Richard Guenther <rguenther@suse.de>
434 * trans-types.c (gfc_get_derived_type): Do not clear TYPE_CANONICAL.
436 2009-08-11 Janus Weil <janus@gcc.gnu.org>
439 * trans-expr.c (gfc_conv_procedure_call): Handle procedure pointer
440 components as actual arguments.
442 2009-08-10 Daniel Kraft <d@domob.eu>
445 * gfortran.h (struct gfc_namespace): New fields tb_uop_root and tb_op.
446 (gfc_find_typebound_user_op): New routine.
447 (gfc_find_typebound_intrinsic_op): Ditto.
448 (gfc_check_operator_interface): Now public routine.
449 * decl.c (gfc_match_generic): Match OPERATOR(X) or ASSIGNMENT(=).
450 * interface.c (check_operator_interface): Made public, renamed to
451 `gfc_check_operator_interface' accordingly and hand in the interface
452 as gfc_symbol rather than gfc_interface so it is useful for type-bound
453 operators, too. Return boolean result.
454 (gfc_check_interfaces): Adapt call to `check_operator_interface'.
455 * symbol.c (gfc_get_namespace): Initialize new field `tb_op'.
456 (gfc_free_namespace): Free `tb_uop_root'-based tree.
457 (find_typebound_proc_uop): New helper function.
458 (gfc_find_typebound_proc): Use it.
459 (gfc_find_typebound_user_op): New method.
460 (gfc_find_typebound_intrinsic_op): Ditto.
461 * resolve.c (resolve_tb_generic_targets): New helper function.
462 (resolve_typebound_generic): Use it.
463 (resolve_typebound_intrinsic_op), (resolve_typebound_user_op): New.
464 (resolve_typebound_procedures): Resolve operators, too.
465 (check_uop_procedure): New, code from gfc_resolve_uops.
466 (gfc_resolve_uops): Moved main code to new `check_uop_procedure'.
468 2009-08-10 Janus Weil <janus@gcc.gnu.org>
471 * decl.c (gfc_match_type_spec): Match CLASS statement and warn about
472 missing polymorphism.
473 * gfortran.h (gfc_typespec): Add field 'is_class'.
474 * misc.c (gfc_clear_ts): Initialize 'is_class' to zero.
475 * resolve.c (type_is_extensible): New function to check if a derived
477 (resolve_fl_variable_derived): Add error checks for CLASS variables.
478 (resolve_typebound_procedure): Disallow non-polymorphic passed-object
479 dummy arguments, turning warning into error.
480 (resolve_fl_derived): Use 'type_is_extensible'. Disallow non-polymorphic
481 passed-object dummy arguments for procedure pointer components,
482 turning warning into error. Add error check for CLASS components.
484 2009-08-05 Tobias Burnus <burnus@net-b.de>
487 * gfortran.h (ext_attr_id_t): Add typedef for this enum.
488 (gfc_add_ext_attribute): Use it.
489 * decl.c (gfc_match_gcc_attributes): Ditto.
490 * expr.c (gfc_check_pointer_assign): Ditto.
491 * symbol.c (gfc_add_ext_attribute): Ditto.
492 (gfc_copy_attr): Copy also ext_attr.
493 * resolve.c (resolve_fl_derived,resolve_symbol): Ditto.
494 * module.c (mio_symbol_attribute): Save ext_attr in the mod file.
496 2009-08-05 Tobias Burnus <burnus@net-b.de>
500 2009-08-04 Tobias Burnus <burnus@net-b.de>
503 * trans-types.c (gfc_get_function_type): Fix typelist of
504 functions without argument.
506 2009-08-05 Paul Thomas <pault@gcc.gnu.org>
509 * iresolve.c (gfc_resolve_transfer): Correct error in 'mold'
510 character length for case where length expresson is NULL.
512 2009-08-04 Tobias Burnus <burnus@net-b.de>
515 * trans-types.c (gfc_get_function_type): Fix typelist of
516 functions without argument.
518 2009-08-04 Paul Thomas <pault@gcc.gnu.org>
521 * decl.c (add_init_expr_to_sym): Character symbols can only be
522 initialized with character expressions.
524 2009-08-02 Janus Weil <janus@gcc.gnu.org>
527 * decl.c (match_char_length): Warn about old-style character length
529 * match.c (match_arithmetic_if,gfc_match_if): Modify warning message
531 (gfc_match_goto): Warn about computed gotos.
532 (gfc_match_return): Warn about alternate return.
533 (gfc_match_st_function): Warn about statement functions.
534 * resolve.c (resolve_fl_procedure): Modify warning message for
535 assumed-length character functions.
537 2009-08-01 Paul Thomas <pault@gcc.gnu.org>
540 * error.c : Add static flag 'warnings_not_errors'.
541 (gfc_error): If 'warnings_not_errors' is set, branch to code
543 (gfc_clear_error): Reset 'warnings_not_errors'.
544 (gfc_errors_to_warnings): New function.
545 * options.c (gfc_post_options): If pedantic and flag_whole_file
546 change the latter to a value of 2.
547 * parse.c (parse_module): Add module namespace to gsymbol.
548 (resolve_all_program_units): New function.
549 (clean_up_modules): New function.
550 (translate_all_program_units): New function.
551 (gfc_parse_file): If whole_file, do not clean up module right
552 away and add derived types to namespace derived types. In
553 addition, call the three new functions above.
554 * resolve.c (not_in_recursive): New function.
555 (not_entry_self_reference): New function.
556 (resolve_global_procedure): Symbol must not be IFSRC_UNKNOWN,
557 procedure must not be in the course of being resolved and
558 must return false for the two new functions. Pack away the
559 current derived type list before calling gfc_resolve for the
560 gsymbol namespace. It is unconditionally an error if the ranks
561 of the reference and ther procedure do not match. Convert
562 errors to warnings during call to gfc_procedure_use if not
564 (gfc_resolve): Set namespace resolved flag to -1 during
565 resolution and store current cs_base.
566 * trans-decl.c (gfc_get_symbol_decl): If whole_file compilation
567 substitute a use associated variable, if it is available in a
569 (gfc_get_extern_function_decl): If the procedure is use assoc,
570 do not attempt to find it in a gsymbol because it could be an
571 interface. If the symbol exists in a module namespace, return
573 * trans-expr.c (gfc_trans_scalar_assign): If a derived type
574 assignment, set the rhs TYPE_MAIN_VARIANT to that of the rhs.
575 * trans-types.c (copy_dt_decls_ifequal): Add 'from_gsym' as a
576 boolean argument. Copy component backend_decls directly if the
577 components are derived types and from_gsym is true.
578 (gfc_get_derived_type): If whole_file copy the derived type from
579 the module if it is use associated, otherwise, if can be found
580 in another gsymbol namespace, use the existing derived type as
581 the TYPE_CANONICAL and build normally.
582 * gfortran.h : Add derived_types and resolved fields to
583 gfc_namespace. Include prototype for gfc_errors_to_warnings.
585 2009-07-29 Tobias Burnus <burnus@net-b.de>
588 * trans-types.c (gfc_get_function_type): Do not add hidden
589 string-length argument for BIND(C) procedures.
590 * trans-decl.c (create_function_arglist): Skip over nonexisting
591 string-length arguments for BIND(C) procedures.
593 2009-07-28 Jakub Jelinek <jakub@redhat.com>
596 * openmp.c (gfc_match_omp_clauses): Use gfc_error_now instead of
597 gfc_error to diagnose invalid COLLAPSE arguments.
599 2009-07-28 Janus Weil <janus@gcc.gnu.org>
602 * trans-types.c (gfc_get_ppc_type): For derived types, directly use the
603 backend_decl, instead of calling gfc_typenode_for_spec, to avoid
605 (gfc_get_derived_type): Correctly handle PPCs returning derived types,
606 avoiding infinite recursion.
608 2009-07-27 Janus Weil <janus@gcc.gnu.org>
611 * interface.c (gfc_compare_interfaces): Call 'count_types_test' before
612 'generic_correspondence', and only if checking a generic interface.
614 2009-07-27 Tobias Burnus <burnus@net-b.de>
617 * resolve.c (resolve_symbol): Do not initialize pointer derived-types.
618 * trans-decl.c (init_intent_out_dt): Ditto.
619 (generate_local_decl): No need to set attr.referenced for DT pointers.
621 2009-07-26 Tobias Burnus <burnus@net-b.de>
624 * intrinsic.c (make_generic): Remove assert as "atan" can be
625 both ISYM_ATAN and ISYM_ATAN2.
626 (add_functions): Add two-argument variant of ATAN.
627 * intrinsic.h (gfc_check_atan_2): Add check for it.
628 * intrinsic.texi (ATAN2): Correct and enhance description.
629 (ATAN): Describe two-argument variant of ATAN.
631 2009-07-25 Tobias Burnus <burnus@net-b.de>
632 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
635 * intrinsic.c (add_functions): Support complex arguments for
636 acos,acosh,asin,asinh,atan,atanh.
637 * invoke.texi (ACOS,ACOSH,ASIN,ASINH,ATAN,ATANH): Support
639 * simplify.c (gfc_simplify_acos,gfc_simplify_acosh,
640 gfc_simplify_asin,gfc_simplify_asinh,gfc_simplify_atan,
641 gfc_simplify_atanh,gfc_simplify_atan,gfc_simplify_asinh,
642 gfc_simplify_acosh,gfc_simplify_atanh): Support
645 2009-07-25 Richard Guenther <rguenther@suse.de>
648 * trans-types.c (gfc_get_array_type_bounds): Use
649 build_distinct_type_copy with a proper TYPE_CANONICAL and
650 re-use the type-decl of the original type.
651 * trans-decl.c (build_entry_thunks): Signal cgraph we may not
653 (create_main_function): Likewise.
654 (gfc_generate_function_code): Likewise.
655 * trans-expr.c (gfc_trans_subcomponent_assign): Do not use
656 fold_convert on record types.
658 2009-07-25 Janus Weil <janus@gcc.gnu.org>
661 * decl.c (match_ppc_decl): Implement the PASS attribute for procedure
663 (match_binding_attributes): Ditto.
664 * gfortran.h (gfc_component): Add member 'tb'.
665 (gfc_typebound_proc): Add member 'ppc' and make 'pass_arg' const.
666 * module.c (MOD_VERSION): Bump module version.
667 (binding_ppc): New string constants.
668 (mio_component): Only use formal args if component is a procedure
669 pointer and add 'tb' member.
670 (mio_typebound_proc): Include pass_arg and take care of procedure
672 * resolve.c (update_arglist_pass): Add argument 'name' and take care of
674 (extract_ppc_passed_object): New function, analogous to
675 extract_compcall_passed_object, but for procedure pointer components.
676 (update_ppc_arglist): New function, analogous to
677 update_compcall_arglist, but for procedure pointer components.
678 (resolve_typebound_generic_call): Added argument to update_arglist_pass.
679 (resolve_ppc_call, resolve_expr_ppc): Take care of PASS attribute.
680 (resolve_fl_derived): Check the PASS argument for procedure pointer
682 * symbol.c (verify_bind_c_derived_type): Reject procedure pointer
683 components in BIND(C) types.
685 2009-07-24 Janus Weil <janus@gcc.gnu.org>
688 * array.c (gfc_resolve_character_array_constructor): Use new function
690 * decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
691 gfc_match_implicit): Ditto.
692 * expr.c (gfc_simplify_expr): Ditto.
693 * gfortran.h (gfc_new_charlen): New prototype.
694 * iresolve.c (check_charlen_present,gfc_resolve_char_achar): Use new
695 function gfc_new_charlen.
696 * module.c (mio_charlen): Ditto.
697 * resolve.c (gfc_resolve_substring_charlen,
698 gfc_resolve_character_operator,fixup_charlen,resolve_fl_derived,
699 resolve_symbol): Ditto.
700 * symbol.c (gfc_new_charlen): New function to create a new gfc_charlen
701 structure and add it to a namespace.
702 (gfc_copy_formal_args_intr): Make sure ts.cl is present
703 for CHARACTER variables.
705 2009-07-24 Jakub Jelinek <jakub@redhat.com>
709 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc,
710 gfc_conv_intrinsic_minmaxval): Handle Infinities and NaNs properly,
712 * trans-array.c (gfc_trans_scalarized_loop_end): No longer static.
713 * trans-array.h (gfc_trans_scalarized_loop_end): New prototype.
715 2009-07-23 Jakub Jelinek <jakub@redhat.com>
718 * io.c (gfc_resolve_dt): Add LOC argument. Fail if
719 dt->io_unit is NULL. Return FAILURE after issuing error about
720 negative UNIT number.
721 (match_io_element): Don't segfault if current_dt->io_unit is NULL.
722 * gfortran.h (gfc_resolve_dt): Adjust prototype.
723 * resolve.c (resolve_code): Adjust caller.
725 2009-07-22 Paul Thomas <pault@gcc.gnu.org>
728 * trans-decl.c (generate_local_decl): Unreferenced result
729 variables with allocatable components should be treated like
730 INTENT_OUT dummy variables.
732 2009-07-22 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
734 * trans.h (gfc_set_decl_assembler_name): New prototype.
735 * trans-decl.c (gfc_set_decl_assembler_name): New function.
736 (gfc_get_symbol_decl, gfc_get_extern_function_decl,
737 build_function_decl): Use gfc_set_decl_assembler_name instead of
738 SET_DECL_ASSEMBLER_NAME.
739 * trans-common.c (build_common_decl): Use
740 gfc_set_decl_assembler_name instead of SET_DECL_ASSEMBLER_NAME.
742 2009-07-21 Richard Guenther <rguenther@suse.de>
745 * trans-decl.c (gfc_get_extern_function_decl): Do not set
746 DECL_IS_MALLOC for pointer valued functions.
747 (build_function_decl): The same.
749 2009-07-19 Steven G. Kargl <kargl@gcc.gnu.org>
752 * fortran/check.c (gfc_check_cmplx, gfc_check_dcmplx): Add check that
753 the optional second argument isn't of COMPLEX type.
755 2009-07-17 Richard Guenther <rguenther@suse.de>
758 * f95-lang.c (gfc_be_parse_file): Do not finalize the CU here.
759 * trans-decl.c (gfc_gimplify_function): Remove.
760 (build_entry_thunks): Do not gimplify here.
761 (create_main_function): Likewise.
762 (gfc_generate_function_code): Likewise.
764 2009-07-17 Aldy Hernandez <aldyh@redhat.com>
765 Manuel López-Ibáñez <manu@gcc.gnu.org>
768 * trans-expr.c, trans-array.c, trans-openmp.c, trans-stmt.c,
769 trans.c, trans-io.c, trans-decl.c, trans-intrinsic.c: Add location
770 argument to fold_{unary,binary,ternary}, fold_build[123],
771 build_call_expr, build_size_arg, build_fold_addr_expr,
772 build_call_array, non_lvalue, size_diffop,
773 fold_build1_initializer, fold_build2_initializer,
774 fold_build3_initializer, fold_build_call_array,
775 fold_build_call_array_initializer, fold_single_bit_test,
776 omit_one_operand, omit_two_operands, invert_truthvalue,
777 fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
778 combine_comparisons, fold_builtin_*, fold_call_expr,
779 build_range_check, maybe_fold_offset_to_address, round_up,
782 2009-07-15 Janus Weil <janus@gcc.gnu.org>
785 * resolve.c (resolve_symbol): Don't resolve the formal namespace of a
788 2009-07-14 Taras Glek <tglek@mozilla.com>
789 Rafael Espindola <espindola@google.com>
791 * Make-lang.in (fortran.install-plugin): New target for
792 installing plugin headers.
794 2009-07-13 H.J. Lu <hongjiu.lu@intel.com>
796 * module.c (mio_symbol): Remove the unused variable, formal.
798 2009-07-13 Janus Weil <janus@gcc.gnu.org>
801 * module.c (mio_symbol): If the symbol has formal arguments,
802 the formal namespace will be present.
803 * resolve.c (resolve_actual_arglist): Correctly handle 'called'
804 procedure pointer components as actual arguments.
805 (resolve_fl_derived,resolve_symbol): Make sure the formal namespace
807 * trans-expr.c (gfc_conv_procedure_call): Correctly handle the formal
808 arguments of procedure pointer components.
810 2009-07-12 Tobias Burnus <burnus@net-b.de>
811 Philippe Marguinaud <philippe.marguinaud@meteo.fr>
814 * primary.c (match_charkind_name): Fix condition for $ matching.
817 * libgfortran.h: Typedef the GFC_DTYPE_* enum.
819 2009-07-11 Tobias Burnus <burnus@net-b.de>
822 * check.c (gfc_check_fn_rc2008): New function.
823 * intrinsic.h (gfc_check_fn_rc2008): New prototype.
824 * intrinsic.c (add_functions): Add complex tan, cosh, sinh,
827 2009-07-10 Paul Thomas <pault@gcc.gnu.org>
830 * primary.c (match_kind_param): Return MATCH_NO if the symbol
833 2008-07-09 Paul Thomas <pault@gcc.gnu.org>
836 * resolve.c (check_host_association): Use the existing
837 accessible symtree and treat function expressions with
838 symbols that have procedure flavor.
840 2009-07-09 Janus Weil <janus@gcc.gnu.org>
843 * dump-parse-tree.c (show_expr): Renamed 'is_proc_ptr_comp'.
844 * expr.c (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
845 (gfc_check_pointer_assign): Renamed 'is_proc_ptr_comp'.
846 (replace_comp,gfc_expr_replace_comp): New functions, analogous
847 to 'replace_symbol' and 'gfc_expr_replace_symbol', just with components
849 * gfortran.h (gfc_expr_replace_comp): New prototype.
850 (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
851 * interface.c (compare_actual_formal): Renamed 'is_proc_ptr_comp'.
852 * match.c (gfc_match_pointer_assignment): Ditto.
853 * primary.c (gfc_match_varspec): Handle array-valued procedure pointers
854 and procedure pointer components. Renamed 'is_proc_ptr_comp'.
855 * resolve.c (resolve_fl_derived): Correctly handle interfaces with
856 RESULT statement, and handle array-valued procedure pointer components.
857 (resolve_actual_arglist,resolve_ppc_call,resolve_expr_ppc): Renamed
859 * trans-array.c (gfc_walk_function_expr): Ditto.
860 * trans-decl.c (gfc_get_symbol_decl): Security check for presence of
862 * trans-expr.c (gfc_conv_procedure_call): Handle array-valued procedure
863 pointer components. Renamed 'is_proc_ptr_comp'.
864 (conv_function_val,gfc_trans_arrayfunc_assign): Renamed
866 (gfc_get_proc_ptr_comp): Do not modify the argument 'e', but instead
868 * trans-io.c (gfc_trans_transfer): Handle array-valued procedure
871 2009-07-09 Tobias Burnus <burnus@net-b.de>
874 * intrinsic.c (gfc_convert_type_warn): Set sym->result.
875 * trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
876 for optional arguments.
878 2009-07-08 Tobias Burnus <burnus@net-b.de>
881 * simplify.c (gfc_simplify_sign): Handle signed zero correctly.
882 * trans-intrinsic.c (gfc_conv_intrinsic_sign): Support
884 * invoke.texi (-fno-sign-zero): Add text regarding SIGN intrinsic.
886 2008-07-08 Paul Thomas <pault@gcc.gnu.org>
889 * decl.c (match_procedure_interface): Correct the association
890 or creation of the interface procedure's symbol.
892 2009-07-04 Jakub Jelinek <jakub@redhat.com>
894 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): For integer
895 maxloc initialize limit to -huge-1 rather than just -huge.
897 2009-07-04 Janus Weil <janus@gcc.gnu.org>
900 * interface.c (compare_actual_formal): Take care of proc-pointer-valued
901 functions as actual arguments.
902 * trans-expr.c (gfc_conv_procedure_call): Ditto.
903 * resolve.c (resolve_specific_f0): Use the correct ts.
905 2009-07-02 Michael Matz <matz@suse.de>
908 * trans-array.c (gfc_conv_descriptor_stride_get): Return
909 constant one for strides in the first dimension of ALLOCATABLE
912 2009-06-30 Janus Weil <janus@gcc.gnu.org>
915 * trans-types.c (gfc_get_derived_type): Bugfix, reverting one hunk from
918 2009-06-29 Tobias Burnus <burnus@net-b.de>
921 * trans-expr.c (gfc_conv_procedure_call): Add -fcheck=pointer check.
922 * libgfortran.h: Add GFC_RTCHECK_POINTER.
923 * invoke.texi (-fcheck): Document new pointer option.
924 * options.c (gfc_handle_runtime_check_option): Handle pointer option.
926 * gfortran.texi (C Binding): Improve wording.
927 * iso-c-binding.def: Remove obsolete comment.
929 2009-06-29 Paul Thomas <pault@gcc.gnu.org>
932 * dependency.h : Add second bool* argument to prototype of
933 gfc_full_array_ref_p.
934 * dependency.c (gfc_full_array_ref_p): If second argument is
935 present, return true if last dimension of reference is an
936 element or has unity stride.
937 * trans-array.c : Add NULL second argument to references to
938 gfc_full_array_ref_p.
939 * trans-expr.c : The same, except for;
940 (gfc_trans_arrayfunc_assign): Return fail if lhs reference
941 is not a full array or a contiguous section.
943 2009-06-28 Tobias Burnus <burnus@net-b.de>
944 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
947 * symbol.c (gfc_add_ext_attribute): New function.
948 (gfc_get_sym_tree): New argument allow_subroutine.
949 (gfc_get_symbol,gfc_get_ha_sym_tree,gen_cptr_param,gen_fptr_param
950 gen_shape_param,generate_isocbinding_symbol): Use it.
951 * decl.c (find_special): New argument allow_subroutine.
952 (add_init_expr_to_sym,add_hidden_procptr_result,attr_decl1,
953 match_procedure_in_type,gfc_match_final_decl): Use it.
954 (gfc_match_gcc_attributes): New function.
955 * gfortran.texi (Mixed-Language Programming): New section
956 "GNU Fortran Compiler Directives".
957 * gfortran.h (ext_attr_t): New struct.
958 (symbol_attributes): Use it.
959 (gfc_add_ext_attribute): New prototype.
960 (gfc_get_sym_tree): Update pototype.
961 * expr.c (gfc_check_pointer_assign): Check whether call
962 convention is the same.
963 * module.c (import_iso_c_binding_module, create_int_parameter,
964 use_iso_fortran_env_module): Update gfc_get_sym_tree call.
965 * scanner.c (skip_gcc_attribute): New function.
966 (skip_free_comments,skip_fixed_comments): Use it.
967 (gfc_next_char_literal): Support !GCC$ lines.
968 * resolve.c (check_host_association): Update
969 gfc_get_sym_tree call.
970 * match.c (gfc_match_sym_tree,gfc_match_call): Update
971 gfc_get_sym_tree call.
972 * trans-decl.c (add_attributes_to_decl): New function.
973 (gfc_get_symbol_decl,get_proc_pointer_decl,
974 gfc_get_extern_function_decl,build_function_decl: Use it.
975 * match.h (gfc_match_gcc_attributes): Add prototype.
976 * parse.c (decode_gcc_attribute): New function.
977 (next_free,next_fixed): Support !GCC$ lines.
978 * primary.c (match_actual_arg,check_for_implicit_index,
979 gfc_match_rvalue,gfc_match_rvalue): Update
980 gfc_get_sym_tree call.
982 2009-06-28 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
984 * gfortran.h: Define HAVE_mpc_pow.
985 * arith.c (complex_reciprocal, complex_pow): If HAVE_mpc_pow,
986 don't define these functions.
987 (arith_power): If HAVE_mpc_pow, use mpc_pow.
989 2009-06-26 Janus Weil <janus@gcc.gnu.org>
993 * decl.c (add_hidden_procptr_result): Copy the typespec to the hidden
995 * expr.c (gfc_check_pointer_assign): Enable interface check for
996 procedure pointer assignments where the rhs is a function returning a
998 * resolve.c (resolve_symbol): If an external procedure with unspecified
999 return type can not be implicitly typed, it must be a subroutine.
1001 2009-06-24 Janus Weil <janus@gcc.gnu.org>
1004 * gfortran.h (gfc_component): New member 'formal_ns'.
1005 (gfc_copy_formal_args_ppc,void gfc_ppc_use): New.
1006 * interface.c (gfc_ppc_use): New function, analogous to
1007 gfc_procedure_use, but for procedure pointer components.
1008 * module.c (MOD_VERSION): Bump module version.
1009 (mio_component): Treat formal arguments.
1010 (mio_formal_arglist): Changed argument from gfc_symbol to
1012 (mio_symbol): Changed argument of mio_formal_arglist.
1013 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Call gfc_ppc_use,
1014 to check actual arguments and treat formal args correctly.
1015 (resolve_fl_derived): Copy formal args of procedure pointer components
1016 from their interface.
1017 * symbol.c (gfc_copy_formal_args_ppc): New function, analogous to
1018 gfc_copy_formal_args, but for procedure pointer components.
1020 2009-06-22 Janus Weil <janus@gcc.gnu.org>
1024 * interface.c (compare_parameter): Set implicit type for function
1025 actual arguments with BT_UNKNOWN.
1027 2009-06-22 Tobias Burnus <burnus@net-b.de>
1031 * simplify.c (gfc_simplify_spread): Fix the case that source=
1034 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
1037 * interface.c (gfc_search_interface): Hold back a match to an
1038 elementary procedure until all other possibilities are
1041 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
1044 * simplify.c (gfc_simplify_spread): Restrict the result size to
1045 the limit for an array constructor.
1047 2009-06-21 Janus Weil <janus@gcc.gnu.org>
1050 * interface.c (gfc_compare_interfaces): Take care of implicit typing
1051 when checking the function attribute. Plus another bugfix.
1052 (compare_parameter): Set attr.function and attr.subroutine according
1053 to the usage of a procedure as actual argument.
1055 2009-06-20 Tobias Burnus <burnus@net-b.de>
1058 * trans-decl.c (add_argument_checking): Disable bounds check
1059 for allowed argument storage association.
1061 2009-06-19 Paul Thomas <pault@gcc.gnu.org>
1064 * trans-expr.c (gfc_conv_procedure_call): Do not deallocate
1065 allocatable components if the argument is a pointer.
1067 2009-06-19 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1069 * gfortran.h (gfc_expr): Use mpc_t to represent complex numbers.
1071 * arith.c, dump-parse-tree.c, expr.c, module.c, resolve.c,
1072 simplify.c, target-memory.c, target-memory.h, trans-const.c,
1073 trans-expr.c: Convert to mpc_t throughout.
1075 2009-06-19 Ian Lance Taylor <iant@google.com>
1077 * cpp.c (struct gfc_cpp_option_data): Give this struct, used for
1078 the global variable gfc_cpp_option, a name.
1080 2009-06-19 Janus Weil <janus@gcc.gnu.org>
1083 * trans-expr.c (gfc_conv_procedure_call): Only add an extra addr_expr
1084 to a procedure pointer actual argument, if it is not itself a
1087 2009-06-18 Janus Weil <janus@gcc.gnu.org>
1090 * resolve.c (resolve_contained_fntype): Prevent implicit typing for
1091 procedures with explicit interface.
1092 * symbol.c (gfc_check_function_type): Ditto.
1094 2009-06-16 Ian Lance Taylor <iant@google.com>
1096 * decl.c (build_struct): Rewrite loop over constructor elements.
1098 2009-06-16 Janus Weil <janus@gcc.gnu.org>
1102 * expr.c (gfc_check_pointer_assign): Call 'gfc_compare_interfaces' with
1104 * gfortran.h (gfc_compare_interfaces): Additional argument.
1105 * interface.c (operator_correspondence): Removed.
1106 (gfc_compare_interfaces): Additional argument to return error message.
1107 Directly use the code from 'operator_correspondence' instead of calling
1108 the function. Check for OPTIONAL. Some rearrangements.
1109 (check_interface1): Call 'gfc_compare_interfaces' without error message.
1110 (compare_parameter): Call 'gfc_compare_interfaces' with error message.
1111 * resolve.c (check_generic_tbp_ambiguity): Call 'gfc_compare_interfaces'
1112 without error message.
1114 2009-06-16 Tobias Burnus <burnus@net-b.de>
1117 * trans-decl.c (create_function_arglist): Copy formal charlist to
1118 have a proper passed_length for -fcheck=bounds.
1120 2009-06-12 Steven G. Kargl <kargls@comcast.net>
1122 * arith.c (gfc_enum_initializer): Move function ...
1123 * decl.c: ... here. Remove gfc_ prefix and make static.
1124 (enumerator_decl): Update function call.
1125 * gfortran.h: Remove gfc_enum_initializer prototype.
1127 2009-06-12 Aldy Hernandez <aldyh@redhat.com>
1129 * trans-array.c (gfc_trans_allocate_array_storage): Pass
1131 (gfc_trans_array_constructor_value): Same.
1132 (gfc_trans_scalarized_loop_end): Same.
1133 (gfc_conv_ss_startstride): Same.
1134 (gfc_trans_g77_array): Same.
1135 (gfc_trans_dummy_array_bias): Same.
1136 (gfc_conv_array_parameter): Same.
1137 (structure_alloc_comps): Same.
1138 * trans-expr.c (gfc_conv_function_call): Same.
1139 (fill_with_spaces): Same.
1140 (gfc_trans_string_copy): Same.
1141 (gfc_trans_scalar_assign): Same.
1142 * trans-stmt.c (gfc_trans_goto): Same.
1143 (gfc_trans_if_1): Same.
1144 (gfc_trans_simple_do): Same.
1145 (gfc_trans_do): Same.
1146 (gfc_trans_do_while): Same.
1147 (gfc_trans_logical_select): Same.
1148 (gfc_trans_select): Same.
1149 (gfc_trans_forall_loop): Same.
1150 (gfc_trans_nested_forall_loop): Same.
1151 (generate_loop_for_temp_to_lhs): Same.
1152 (generate_loop_for_rhs_to_temp): Same.
1153 (gfc_trans_forall_1): Same.
1154 (gfc_trans_where_assign): Same.
1155 (gfc_trans_where_3): Same.
1156 (gfc_trans_allocate): Same.
1157 * trans.c (gfc_finish_block): Same.
1158 (gfc_trans_runtime_check): Same.
1159 (gfc_call_malloc): Same.
1160 (gfc_allocate_with_status): Same.
1161 (gfc_call_free): Same.
1162 (gfc_deallocate_with_status): Same.
1163 (gfc_call_realloc): Same.
1164 (gfc_trans_code): Same.
1165 * trans-decl.c (gfc_init_default_dt): Same.
1166 (gfc_generate_constructors): Same.
1167 * trans-io.c (gfc_trans_io_runtime_check): Same.
1168 * trans-intrinsic.c (gfc_conv_intrinsic_ctime): Same.
1169 (gfc_conv_intrinsic_fdate): Same.
1170 (gfc_conv_intrinsic_ttynam): Same.
1171 (gfc_conv_intrinsic_minmax): Same.
1172 (gfc_conv_intrinsic_minmax_char): Same.
1173 (gfc_conv_intrinsic_anyall): Same.
1174 (gfc_conv_intrinsic_count): Same.
1175 (gfc_conv_intrinsic_arith): Same.
1176 (gfc_conv_intrinsic_minmaxloc): Same.
1177 (gfc_conv_intrinsic_minmaxval): Same.
1178 (gfc_conv_intrinsic_rrspacing): Same.
1179 (gfc_conv_intrinsic_array_transfer): Same.
1180 (gfc_conv_intrinsic_trim): Same.
1181 (gfc_conv_intrinsic_repeat): Same.
1183 2009-06-12 Janus Weil <janus@gcc.gnu.org>
1186 * resolve.c (resolve_symbol): Additional error check, preventing an
1189 2009-06-11 Paul Thomas <pault@gcc.gnu.org>
1192 * resolve.c (next_data_value): It is an error if the value is
1195 2009-06-11 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1198 * intrinsic.c (add_functions): Add simplifiers for ISNAN,
1199 IS_IOSTAT_END and IS_IOSTAT_EOR.
1200 * intrinsic.h (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
1201 gfc_simplify_isnan): New prototypes.
1202 * intrinsic.c (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
1203 gfc_simplify_isnan): New functions.
1205 2009-06-11 Jakub Jelinek <jakub@redhat.com>
1207 * interface.c (fold_unary): Rename to...
1208 (fold_unary_intrinsic): ... this.
1209 (gfc_extend_expr): Adjust caller.
1210 (gfc_match_generic_spec): Likewise. Initialize *op to INTRINSIC_NONE
1212 * expr.c (gfc_simplify_expr): Initialize start and end before calling
1215 2009-06-10 Dave Korn <dave.korn.cygwin@gmail.com>
1217 * trans-decl.c (create_main_function): Don't build main decl twice.
1219 2009-06-09 Tobias Burnus <burnus@net-b.de>
1221 * trans-decl.c (gfc_generate_function_code): Use gfc_option.rtcheck
1222 instead of flag_bounds_check.
1223 * intrinsic.texi (ISO_FORTRAN_ENV): Document INT{8,16,32,64} and
1226 2009-06-08 Paul Thomas <pault@gcc.gnu.org>
1228 * trans-array.h : Replace prototypes for
1229 gfc_conv_descriptor_offset, gfc_conv_descriptor_stride,
1230 gfc_conv_descriptor_lbound, gfc_conv_descriptor_ubound with new
1231 prototypes of the same names with _get or _set appended.
1232 * trans-array.c : Make the originals of the above static and
1233 new functions for the _get and _set functions. Update all the
1234 references to these descriptor access functions.
1235 * trans-expr.c : Update references to the above descriptor
1237 * trans-intrinsic.c : The same.
1238 * trans-openmp.c : The same.
1239 * trans-stmt.c : The same.
1241 2009-06-08 Alexandre Oliva <aoliva@redhat.com>
1243 * options.c (gfc_post_options): Disable dump_parse_tree
1244 during -fcompare-debug-second.
1246 2009-06-07 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1249 * gfortran.h (gfc_open): Add newunit expression to structure.
1250 * io.c (io_tag): Add new unit tag and fix whitespace.
1251 (match_open_element): Add matching for newunit.
1252 (gfc_free_open): Free the newunit expression.
1253 (gfc_resolve_open): Add newunit to resolution and check constraints.
1254 (gfc_resolve_close): Add check for non-negative unit.
1255 (gfc_resolve_filepos): Likewise.
1256 (gfc_resolve_dt): Likewise.
1257 * trans-io.c (set_parameter_value): Build runtime checks for unit
1258 numbers within range of kind=4 integer. (gfc_trans_open) Set the
1260 * ioparm.def (IOPARM): Define the newunit parameter as a pointer
1261 to GFC_INTEGER_4, pint4.
1263 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1267 * array.c (gfc_append_constructor): Added NULL-check.
1268 * check.c (gfc_check_spread): Check DIM.
1269 (gfc_check_unpack): Check that the ARRAY arguments provides enough
1271 * intrinsic.h (gfc_simplify_spread): New prototype.
1272 (gfc_simplify_unpack): Likewise.
1273 * intrinsic.c (add_functions): Added new simplifier callbacks.
1274 * simplify.c (gfc_simplify_spread): New.
1275 (gfc_simplify_unpack): New.
1276 * expr.c (check_transformational): Allow additional transformational
1277 intrinsics in initialization expression.
1279 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1283 * check.c (gfc_check_all_any): Check rank of DIM.
1284 (gfc_check_count): Likewise.
1285 * intrinsic.h (gfc_simplify_all): New prototype.
1286 (gfc_simplify_any): Likewise.
1287 (gfc_simplify_count): Likewise.
1288 (gfc_simplify_sum): Likewise.
1289 (gfc_simplify_product): Likewise.
1290 * intrinsic.c (add_functions): Added new simplifier callbacks.
1291 * simplify.c (transformational_result): New.
1292 (simplify_transformation_to_scalar): New.
1293 (simplify_transformation_to_array): New.
1295 (gfc_simplify_all): New.
1296 (gfc_simplify_any): New.
1297 (gfc_simplify_count): New.
1298 (gfc_simplify_sum): New.
1299 (gfc_simplify_product): New.
1300 * expr.c (check_transformational): Allow additional transformational
1301 intrinsics in initialization expression.
1303 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1305 * check.c (dim_rank_check): Return SUCCESS if DIM=NULL.
1306 (gfc_check_lbound): Removed (now) redundant check for DIM=NULL.
1307 (gfc_check_minloc_maxloc): Likewise.
1308 (check_reduction): Likewise.
1309 (gfc_check_size): Likewise.
1310 (gfc_check_ubound): Likewise.
1311 (gfc_check_cshift): Added missing shape-conformance checks.
1312 (gfc_check_eoshift): Likewise.
1313 * gfortran.h (gfc_check_conformance): Modified prototype to printf-style.
1314 * expr.c (gfc_check_conformance): Accept error-message chunks in
1315 printf-style. Changed all callers.
1318 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
1322 * intrinsic.h (gfc_simplify_dot_product): New prototype.
1323 (gfc_simplify_matmul): Likewise.
1324 (gfc_simplify_transpose): Likewise.
1325 * intrinsic.c (add_functions): Added new simplifier callbacks.
1326 * simplify.c (init_result_expr): New.
1327 (compute_dot_product): New.
1328 (gfc_simplify_dot_product): New.
1329 (gfc_simplify_matmul): New.
1330 (gfc_simplify_transpose): New.
1331 * expr.c (check_transformational): Allow transformational intrinsics
1332 with simplifier in initialization expression.
1334 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
1337 * simplify.c (gfc_simplify_reshape): Fixed reshaping of empty arrays
1340 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
1343 * intrinsic.h (gfc_simplify_pack): New prototype.
1344 * intrinsic.c (add_functions): Added
1345 simplifier-callback to PACK.
1346 * simplify.c (is_constant_array_expr): Moved
1347 to beginning of file.
1348 (gfc_simplify_pack): New.
1349 * check.c (gfc_check_pack): Check that VECTOR has enough elements.
1350 Added safeguards for empty arrays.
1352 2009-06-05 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1354 * simplify.c (call_mpc_func): Use mpc_realref/mpc_imagref
1355 instead of MPC_RE/MPC_IM.
1357 2009-06-05 Alexandre Oliva <aoliva@redhat.com>
1359 * trans-decl.c (gfc_build_qualified_array): Don't skip generation
1361 * trans.h (struct lang_type): Add base_decls.
1362 (GFC_TYPE_ARRAY_BASE_DECL): New.
1363 * trans-types.c (gfc_get_array_type_bounds): Initialize base decls
1364 proactively and excessively.
1365 (gfc_get_array_descr_info): Use existing base decls if available.
1367 2009-06-04 Daniel Franke <franke.daniel@gmail.com>
1370 * check.c (gfc_check_reshape): Additional checks for the
1371 SHAPE and ORDER arguments.
1372 * simplify.c (gfc_simplify_reshape): Converted argument checks
1375 2009-06-03 Tobias Burnus <burnus@net-b.de>
1377 * gfortran.texi: Add mixed-language programming, mention
1378 varying string lengths, some clean up of introduction parts.
1379 * intrinsic.texi (instrinsic modules): Create @menu for subsections.
1380 (ISO_C_BINDING): Support ISOCBINDING_INT_FAST128_T.
1381 * libgfortran.h: Comment to rember to keep gfortran.texi in sync.
1382 * iso-c-binding.def: Support ISOCBINDING_INT_FAST128_T.
1384 2009-06-03 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1385 Tobias Burnus <burnus@net-b.de>
1387 * iso-c-binding.def: Use INTMAX_TYPE instead of intmax_type_node.
1388 * trans-types.c (init_c_interop_kinds): Remove intmax_type_node.
1390 2009-06-03 Alexandre Oliva <aoliva@redhat.com>
1392 * module.c (mio_f2k_derived): Initialize cur.
1394 2009-06-01 Tobias Burnus <burnus@net-b.de>
1397 * trans-decl.c (gfc_sym_identifier): Use "MAIN__" for PROGRAM "main".
1398 (create_main_function): Set main_identifier_node.
1400 2009-05-29 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1403 * trans-types.c (gfc_build_uint_type): Make nonstatic.
1404 * trans.h (gfor_fndecl_clz128, gfor_fndecl_ctz128): New prototypes.
1405 * trans-types.h (gfc_build_uint_type): Add prototype.
1406 * trans-decl.c (gfc_build_intrinsic_function_decls): Build
1407 gfor_fndecl_clz128 and gfor_fndecl_ctz128.
1408 * trans-intrinsic.c (gfc_conv_intrinsic_leadz,
1409 gfc_conv_intrinsic_trailz): Call the right builtins or library
1410 functions, and cast arguments to unsigned types first.
1411 * simplify.c (gfc_simplify_leadz): Deal with negative arguments.
1413 2009-05-27 Ian Lance Taylor <iant@google.com>
1415 * Make-lang.in (gfortran$(exeext)): Change $(COMPILER) to
1417 (f951$(exeext)): Likewise.
1419 2009-05-27 Tobias Burnus <burnus@net-b.de>
1422 * trans-decl.c (create_main_function): Mark MAIN__ and
1423 argc/argv as TREE_USED and push/pop function_decl context
1426 2009-05-26 Tobias Burnus <burnus@net-b.de>
1429 * gfortranspec.c (lang_specific_driver): Stop linking
1431 * trans-decl.c (gfc_build_builtin_function_decls): Stop
1432 making MAIN__ publicly visible.
1433 (gfc_build_builtin_function_decls): Add
1434 gfor_fndecl_set_args.
1435 (create_main_function) New function.
1436 (gfc_generate_function_code): Use it.
1438 2009-05-26 Tobias Burnus <burnus@net-b.de>
1441 * match.c (gfc_match_nullify): NULLify freed pointer.
1443 2009-05-26 Ian Lance Taylor <iant@google.com>
1445 * Make-lang.in (gfortranspec.o): Use $(COMPILER).
1446 (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
1448 2009-05-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
1450 * gfortran.h (GFC_MPC_RND_MODE): New.
1451 * simplify.c (call_mpc_func): New helper function.
1452 (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
1453 gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
1455 2009-05-25 Janus Weil <janus@gcc.gnu.org>
1458 * primary.c (gfc_match_varspec): Handle procedure pointer components
1459 with array return value.
1460 * resolve.c (resolve_expr_ppc): Ditto.
1461 (resolve_symbol): Make sure the interface of a procedure pointer has
1463 * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
1464 components with array return value.
1465 * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
1466 gfc_trans_arrayfunc_assign): Ditto.
1467 (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
1468 where the rhs is a dummy argument.
1469 * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
1470 procedure pointer components with array return value.
1472 2009-05-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
1477 * trans-array.c (gfc_conv_ss_startstride): Add one to index.
1479 2009-05-22 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1482 * module.c (read_md5_from_module_file): Close file before returning.
1484 2009-05-18 Janus Weil <janus@gcc.gnu.org>
1487 * primary.c (gfc_match_rvalue): Handle procedure pointer components in
1489 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
1491 (resolve_fl_derived): Procedure pointer components are not required to
1492 have constant array bounds in their return value.
1494 2009-05-18 Janus Weil <janus@gcc.gnu.org>
1496 * intrinsic.c (add_sym): Fix my last commit (r147655),
1497 which broke bootstrap.
1499 2009-05-18 Richard Guenther <rguenther@suse.de>
1502 * trans-expr.c (gfc_trans_zero_assign): For local array
1503 destinations use an assignment from an empty constructor.
1505 2009-05-18 Janus Weil <janus@gcc.gnu.org>
1509 * expr.c (gfc_check_pointer_assign): Check intents when comparing
1511 * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
1512 (gfc_compare_interfaces): Additional argument.
1513 * interface.c (operator_correspondence): Add check for equality of
1514 intents, and new argument 'intent_check'.
1515 (gfc_compare_interfaces): New argument 'intent_check', which is passed
1516 on to operator_correspondence.
1517 (check_interface1): Don't check intents when comparing interfaces.
1518 (compare_parameter): Do check intents when comparing interfaces.
1519 * intrinsic.c (add_sym): Add intents for arguments of intrinsic
1521 (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
1522 add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
1524 (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
1525 : New functions to add intrinsic symbols, specifying custom intents.
1526 (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
1527 (add_functions,add_subroutines): Add intents for various intrinsics.
1528 * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
1529 comparing interfaces.
1530 * symbol.c (gfc_copy_formal_args_intr): Copy intent.
1532 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1534 * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
1536 * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
1537 gfc_get_real_kind_from_width_isofortranenv): New prototypes.
1538 * iso-c-binding.def: Update definitions for the INT*_T,
1539 INT_LEAST*_T and INT_FAST*_T named parameters.
1540 * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
1541 gfc_get_real_kind_from_width_isofortranenv): New functions.
1543 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1546 * intrinsic.c (add_functions, add_subroutines): Fix argument
1547 names and wrap long lines.
1548 * intrinsic.texi: Fix documentation and argument names of
1549 LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
1550 GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
1551 SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
1552 SELECTED_REAL_KIND and XOR.
1554 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1557 * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
1558 * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
1559 * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
1560 gfc_simplify_erfc_scaled): New functions.
1562 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1565 * resolve.c (resolve_substring): Don't allow too large substring
1567 (gfc_resolve_substring_charlen): Fix typo.
1568 (gfc_resolve_character_operator): Fix typo.
1569 (resolve_charlen): Catch unreasonably large string lengths.
1570 * simplify.c (gfc_simplify_len): Don't error out on LEN
1573 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1576 * decl.c (set_enum_kind): Use global short-enums flag.
1577 * gfortran.h (gfc_option_t): Remove short_enums flag.
1578 * lang.opt (-fshort-enums): Refer to C documentation.
1579 * options.c (gfc_init_options, gfc_handle_option): Use global
1582 2009-05-15 Tobias Burnus <burnus@net-b.de>
1585 * f95-lang.c: Add gfc_maybe_initialize_eh.
1586 * gfortran.h: Add gfc_maybe_initialize_eh prototype.
1587 * Make-lang.in: Add new .h dendencies for f95-lang.c
1588 * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
1589 * misc.c (gfc_free): Avoid #define trickery for free.
1591 2009-05-14 Steven G. Kargl <kargl@gcc.gnu.org>
1593 * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
1594 of allocate and deallocate statements.
1596 2009-05-14 Ian Lance Taylor <iant@google.com>
1598 * decl.c (match_attr_spec): Change d to unsigned int.
1599 * dump-parse-tree.c (show_namespace): Change op to int. Add cast.
1600 * interface.c (gfc_check_interfaces): Change i to int. Add casts.
1601 * module.c (read_module): Change i to int. Add cast.
1602 (write_module): Change i to int.
1603 * symbol.c (gfc_get_namespace): Change in to int.
1604 (gfc_free_namespace): Change i to int.
1605 * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
1606 unsigned int. Add cast.
1607 * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
1610 2009-05-14 Daniel Kraft <d@domob.eu>
1613 * dump-parse-tree.c (show_typebound): Fix missing adaption to new
1614 type-bound procedure storage structure.
1616 2009-05-14 Janus Weil <janus@gcc.gnu.org>
1619 * decl.c (gfc_match_function_decl): Use gfc_add_type.
1620 * symbol.c (gfc_add_type): Better checking for duplicate types in
1621 function declarations. And: Always give an error for duplicte types,
1622 not just a warning with -std=gnu.
1624 2009-05-14 Jakub Jelinek <jakub@redhat.com>
1627 * io.c (resolve_tag_format): CHARACTER array in FMT= argument
1628 isn't an extension. Reject non-CHARACTER array element of
1629 assumed shape or pointer or assumed size array.
1630 * trans-array.c (array_parameter_size): New function.
1631 (gfc_conv_array_parameter): Add size argument. Call
1632 array_parameter_size if it is non-NULL.
1633 * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
1634 * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
1636 * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
1637 * trans-io.c (gfc_convert_array_to_string): Rewritten.
1639 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
1641 * gfortran.h (gfc_code): Rename struct member expr to expr1.
1642 * openmp.c (resolve_omp_atomic): Update expr to expr1.
1643 * interface.c (gfc_extend_assign): Ditto.
1644 * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
1645 gfc_trans_init_assign): Ditto.
1646 * dump-parse-tree.c (show_code_node): Ditto.
1647 * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
1648 * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
1649 gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
1650 gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
1651 gfc_trans_logical_select, gfc_trans_character_select
1652 forall_make_variable_temp, check_forall_dependencies
1653 gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
1654 gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
1655 * io.c (match_io_element, gfc_match_inquire): Ditto.
1656 * resolve.c (resolve_typebound_call, resolve_ppc_call,
1657 resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
1658 resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
1659 gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
1660 * st.c (gfc_free_statement): Ditto.
1661 * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
1662 match_arithmetic_if, gfc_match_if, gfc_match_elseif
1663 gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
1664 gfc_match_nullify, match_typebound_call, gfc_match_call
1665 gfc_match_select, match_simple_where, gfc_match_where
1666 gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
1667 * trans-io.c (gfc_trans_transfer): Ditto.
1668 * parse.c (parse_where_block, parse_if_block): Ditto.
1670 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
1672 * gfortran.h (gfc_code): Rename struct member label to label1.
1673 * dump-parse-tree.c (show_code_node): Update symbol.
1674 * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
1675 gfc_trans_arithmetic_if): Ditto.
1676 * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
1677 * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
1678 gfc_match_assign, gfc_match_goto): Ditto.
1679 * parse.c (parse_do_block): Ditto.
1681 2009-05-13 Tobias Burnus <burnus@net-b.de>
1684 * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
1685 * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
1686 * trans.c (gfc_trans_code): Ditto.
1687 * resolve.c (resolve_code): Ditto.
1688 * st.c (gfc_free_statement): Ditto.
1689 * parse.c (accept_statement): Ditto.
1691 2009-05-12 Tobias Burnus <burnus@net-b.de>
1694 * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
1696 2009-05-11 Steve Ellcey <sje@cup.hp.com>
1698 * resolve.c (check_host_association): Initialize tail.
1700 2009-05-11 Janus Weil <janus@gcc.gnu.org>
1703 * resolve.c (resolve_fl_derived): Only return FAILURE if
1704 gfc_notify_std fails.
1706 2009-05-10 Ian Lance Taylor <iant@google.com>
1708 * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
1710 (enum gfc_omp_default_sharing): Likewise.
1711 * module.c (enum gfc_rsym_state): New enum, broken out of
1713 (enum gfc_wsym_state): Likewise.
1714 * parse.c (enum state_order): New enum, broken out of st_state.
1716 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
1719 * trans-array.c (gfc_trans_array_constructor_value): Fold
1720 convert numeric constants.
1721 (gfc_build_constant_array_constructor): The same.
1723 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
1726 * trans-expr.c (gfc_conv_operator_assign): Remove function.
1727 * trans.h : Remove prototype for gfc_conv_operator_assign.
1728 * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
1729 derivde types with intent(out).
1730 (gfc_trans_call): Add mask, count1 and invert arguments. Add
1731 code to use mask for WHERE assignments.
1732 (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
1733 (gfc_trans_where_assign): The gfc_symbol argument is replaced
1734 by the corresponding code. If this has a resolved_sym, then
1735 gfc_trans_call is called. The call to gfc_conv_operator_assign
1737 (gfc_trans_where_2): Change the last argument in the call to
1738 gfc_trans_where_assign.
1739 * trans-stmt.h : Modify prototype for gfc_trans_call.
1740 * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
1742 2009-05-08 Janus Weil <janus@gcc.gnu.org>
1745 * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
1746 the symbol is a module procedure.
1748 2009-05-08 Tobias Burnus <burnus@net-b.de>
1750 * invoke.texi: Add do/recursion to the -fcheck= summary.
1752 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1755 * gfortran.texi: Document that we don't support variable FORMAT
1758 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1761 * error.c (error_print): Add missing break statement.
1763 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1766 * invoke.texi: Document that -fdollar-ok does not allow $ to be
1767 used in IMPLICIT statement.
1769 2009-05-06 Janus Weil <janus@gcc.gnu.org>
1770 Paul Thomas <pault@gcc.gnu.org>
1773 * decl.c (match_procedure_interface): New function to match the
1774 interface for a PROCEDURE statement.
1775 (match_procedure_decl): Call match_procedure_interface.
1776 (match_ppc_decl): New function to match the declaration of a
1777 procedure pointer component.
1778 (gfc_match_procedure): Call match_ppc_decl.
1779 (match_binding_attributes): Add new argument 'ppc' and handle the
1780 POINTER attribute for procedure pointer components.
1781 (match_procedure_in_type,gfc_match_generic): Added new argument to
1782 match_binding_attributes.
1783 * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
1784 procedure pointer components.
1785 * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
1786 (gfc_check_pointer_assign): Handle procedure pointer components, but no
1788 (is_proc_ptr_comp): New function to determine if an expression is a
1789 procedure pointer component.
1790 * gfortran.h (expr_t): Add EXPR_PPC.
1791 (symbol_attribute): Add new member 'proc_pointer_comp'.
1792 (gfc_component): Add new member 'formal'.
1793 (gfc_exec_op): Add EXEC_CALL_PPC.
1794 (gfc_get_default_type): Changed first argument.
1795 (is_proc_ptr_comp): Add prototype.
1796 (gfc_match_varspec): Add new argument.
1797 * interface.c (compare_actual_formal): Handle procedure pointer
1799 * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
1800 procedure pointer components.
1801 * module.c (mio_expr): Handle EXPR_PPC.
1802 * parse.c (parse_derived): Handle procedure pointer components.
1803 * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
1804 procedure pointer components.
1805 (gfc_variable_attr): Handle procedure pointer components.
1806 (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
1807 first argument of gfc_get_default_type.
1808 (match_variable): Added new argument to gfc_match_varspec.
1809 * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
1810 first argument of gfc_get_default_type.
1811 (resolve_structure_cons,resolve_actual_arglist): Handle procedure
1813 (resolve_ppc_call): New function to resolve a call to a procedure
1814 pointer component (subroutine).
1815 (resolve_expr_ppc): New function to resolve a call to a procedure
1816 pointer component (function).
1817 (gfc_resolve_expr): Handle EXPR_PPC.
1818 (resolve_code): Handle EXEC_CALL_PPC.
1819 (resolve_fl_derived): Copy the interface for a procedure pointer
1821 (resolve_symbol): Fix overlong line.
1822 * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
1823 * symbol.c (gfc_get_default_type): Changed first argument.
1824 (gfc_set_default_type): Changed first argument of gfc_get_default_type.
1825 (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
1826 * trans.h (gfc_conv_function_call): Renamed.
1827 * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
1828 * trans-expr.c (gfc_conv_component_ref): Ditto.
1829 (gfc_conv_function_val): Rename to 'conv_function_val', add new
1830 argument 'expr' and handle procedure pointer components.
1831 (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
1832 (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
1833 (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
1834 argument 'expr' and handle procedure pointer components.
1835 (gfc_get_proc_ptr_comp): New function to get the backend decl for a
1836 procedure pointer component.
1837 (gfc_conv_function_expr): Renamed gfc_conv_function_call.
1838 (gfc_conv_structure): Handle procedure pointer components.
1839 * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
1840 conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
1841 * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
1842 * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
1843 * trans-types.h (gfc_get_ppc_type): Add prototype.
1844 * trans-types.c (gfc_get_ppc_type): New function to build a tree node
1845 for a procedure pointer component.
1846 (gfc_get_derived_type): Handle procedure pointer components.
1848 2009-05-06 Tobias Burnus <burnus@net-b.de>
1851 * resolve.c (resolve_symbol): Print no warning for implicitly
1852 typed intrinsic functions.
1854 2009-05-05 Janus Weil <janus@gcc.gnu.org>
1857 * expr.c (gfc_check_pointer_assign): Check for statement functions and
1858 internal procedures in procedure pointer assignments.
1860 2009-04-28 Janus Weil <janus@gcc.gnu.org>
1863 * resolve.c (resolve_symbol): Correctly copy the interface of a
1864 PROCEDURE statement if the interface involves a RESULT variable.
1866 2009-04-28 Janus Weil <janus@gcc.gnu.org>
1870 * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
1872 * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
1874 2009-04-28 Paul Thomas <pault@gcc.gnu.org>
1877 * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
1878 type parentheses argument if it is a variable with allocatable
1881 2009-04-27 Ian Lance Taylor <iant@google.com>
1883 * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
1885 * trans-io.c (st_parameter_field): Add casts to enum type.
1887 2009-04-26 Steven G. Kargl <kargl@gcc.gnu.org>
1890 fortran/data.c (gfc_assign_data_value): If the lvalue is an
1891 assumed character length entity in a data statement, then
1892 return FAILURE to prevent segmentation fault.
1894 2009-04-26 Jakub Jelinek <jakub@redhat.com>
1896 * trans-decl.c: Include pointer-set.h.
1897 (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
1898 (gfc_nonlocal_dummy_array_decl): New function.
1899 (gfc_get_symbol_decl): Call it for non-local dummy args with saved
1901 (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
1902 (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
1903 chain it to outermost block's vars, destroy it afterwards.
1904 * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
1906 2009-04-25 Janus Weil <janus@gcc.gnu.org>
1909 * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
1910 They differ if the symbol has been use-renamed.
1912 2009-04-24 Ian Lance Taylor <iant@google.com>
1914 * gfortran.h (enum gfc_symbol_type): New named enum type, broken
1915 out of struct gfc_symbol.
1916 (struct gfc_symbol): Use enum gfc_symbol_type.
1917 (enum gfc_array_ref_dimen_type): New named enum type, broken out
1918 of struct gfc_array_ref).
1919 (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
1920 (mod_pointee_as): Update declaration.
1921 * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
1922 (gfc_mod_pointee_as): Change return type to "match".
1923 * module.c (mio_array_ref): Add cast to enum type.
1924 (mio_symbol): Likewise.
1925 * resolve.c (resolve_global_procedure): Change type to enum
1927 * trans-io.c (gfc_build_st_parameter): Change type to unsigned
1930 2009-04-24 Daniel Kraft <d@domob.eu>
1932 * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
1933 (struct gfc_symtree): Moved "typebound" member inside union.
1934 (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
1935 type-bound procedures there.
1936 (gfc_get_tbp_symtree): New procedure.
1937 * symbol.c (tentative_tbp_list): New global.
1938 (gfc_get_namespace): NULL new "tb_sym_root" member.
1939 (gfc_new_symtree): Removed initialization of "typebound" member.
1940 (gfc_undo_symbols): Process list of tentative tbp's.
1941 (gfc_commit_symbols): Ditto.
1942 (free_tb_tree): New method.
1943 (gfc_free_namespace): Call it.
1944 (gfc_get_typebound_proc): New method.
1945 (gfc_get_tbp_symtree): New method.
1946 (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
1947 and gfc_namespace with regards to tbp's.
1948 * dump-parse-tree.c (show_typebound): Ditto.
1949 * primary.c (gfc_match_varspec): Ditto. Don't reference tbp-symbol
1950 as it isn't a symbol any longer.
1951 * module.c (mio_typebound_symtree): Adapt to changes.
1952 (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
1953 rather than "gfc_get_sym_tree".
1954 (mio_f2k_derived): Ditto.
1955 * decl.c (match_procedure_in_type): Ditto.
1956 (gfc_match_generic): Ditto. Don't reference tbp-symbol.
1957 * resolve.c (check_typebound_override): Adapt to changes.
1958 (resolve_typebound_generic): Ditto.
1959 (resolve_typebound_procedures): Ditto.
1960 (ensure_not_abstract_walker): Ditto.
1961 (ensure_not_abstract): Ditto.
1962 (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
1963 instance, through removed tentative ones).
1964 * gfc-internals.texi (Type-bound procedures): Document changes.
1966 2009-04-24 Janus Weil <janus@gcc.gnu.org>
1970 * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
1971 for the formal arguments.
1973 2009-04-21 Taras Glek <tglek@mozilla.com>
1975 * f95-lang.c: Update GTY annotations to new syntax.
1976 * trans-intrinsic.c: Likewise.
1977 * trans-io.c: Likewise.
1978 * trans.h: Likewise.
1980 2009-04-22 Janus Weil <janus@gcc.gnu.org>
1983 * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
1984 (match_procedure_decl): Set if_source.
1985 * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
1986 And: Check interface also for IFSRC_UNKNOWN (return type may be known).
1987 * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
1988 add documentation. Rename copy_formal_args and copy_formal_args_intr.
1989 * interface.c (gfc_compare_interfaces): Check for return types,
1990 handle IFSRC_UNKNOWN.
1991 (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
1992 (gfc_procedure_use): Modified handling of intrinsics.
1993 * intrinsic.c (add_functions): Bugfix for "dim".
1994 * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
1995 which copies the interface from isym to sym.
1996 (resolve_procedure_expression,resolve_function): Use new function
1997 'resolve_intrinsic'.
1998 (resolve_symbol): Add function attribute for externals with return type
1999 and use new function 'resolve_intrinsic'.
2000 * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
2001 (copy_formal_args): Renamed to gfc_copy_formal_args.
2002 (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
2003 * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
2005 2009-04-21 Joseph Myers <joseph@codesourcery.com>
2007 * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
2008 ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
2009 ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
2010 copyright and license notices.
2011 * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
2012 ChangeLog-2008: Correct dates.
2014 2009-04-20 Tobias Burnus <burnus@net-b.de>
2017 * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
2019 2009-04-20 Paul Thomas <pault@gcc.gnu.org>
2022 * resolve.c (is_sym_host_assoc): New function.
2023 (resolve_fl_derived): Call it when checking PRIVATE components
2024 of PUBLIC derived types. Change gfc_error to a gfc_notify_std
2026 (resolve_fl_namelist): Call it twice to check for host
2029 2009-04-20 Ian Lance Taylor <iant@google.com>
2031 * module.c (import_iso_c_binding_module): Add casts to enum type.
2032 * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
2034 (gfc_conv_intrinsic_anyall): Likewise.
2035 (gfc_conv_intrinsic_arith): Likewise.
2036 (gfc_conv_intrinsic_minmaxloc): Likewise.
2037 (gfc_conv_intrinsic_minmaxval): Likewise.
2038 (gfc_conv_intrinsic_bitop): Likewise.
2039 (gfc_conv_intrinsic_singlebitop): Likewise.
2040 (gfc_conv_intrinsic_strcmp): Likewise.
2042 2009-04-20 Vasilis Liaskovitis <vliaskov@gmail.com>
2043 Jakub Jelinek <jakub@redhat.com>
2046 * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
2047 OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
2048 (ompws_flags): New extern decl.
2049 * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
2050 for the outer dimension if ompws_flags allow it.
2051 * trans.c (gfc_generate_code): Clear ompws_flags.
2052 * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
2053 array assignments inside of !$omp workshare.
2054 * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
2056 * trans-openmp.c (ompws_flags): New variable.
2057 (gfc_trans_omp_workshare): Rewritten.
2059 2009-04-11 Daniel Kraft <d@domob.eu>
2062 * gfortran.h (struct gfc_charlen): New field "passed_length" to store
2063 the actual passed string length for dummy arguments.
2064 * trans-decl.c (gfc_create_string_length): Formatting fixes and added
2065 assertion, moved a local variable into the innermost block it is needed.
2066 (create_function_arglist): Removed TODO about the check being
2067 implemented and initialize cl->passed_length here.
2068 (add_argument_checking): New method.
2069 (gfc_generate_function_code): Call the argument checking method.
2071 2009-04-11 Janus Weil <janus@gcc.gnu.org>
2074 * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
2076 2009-04-11 Daniel Franke <franke.daniel@gmail.com>
2078 * resolve.c (resolve_global_procedure): Enable whole-file checking for
2079 procedures that are declared later in the file.
2081 2009-04-10 Paolo Bonzini <bonzini@gnu.org>
2084 * trans.c (gfc_allocate_with_status): Fix type mismatches
2087 2009-04-10 Daniel Franke <franke.daniel@gmail.com>
2090 * expr.c (find_array_section): Leave early on zero-sized arrays.
2092 2009-04-09 Janus Weil <janus@gcc.gnu.org>
2095 * decl.c (add_hidden_procptr_result): New function for handling
2096 procedure pointer return values by adding a hidden result variable.
2097 (variable_decl,match_procedure_decl,gfc_match_function_decl,
2098 gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
2100 * parse.c (parse_interface): Add EXTERNAL attribute only after
2101 FUNCTION/SUBROUTINE declaration is complete.
2102 * primary.c (replace_hidden_procptr_result): New function for replacing
2103 function symbol by hidden result variable.
2104 (gfc_match_rvalue,match_variable): Replace symbol by hidden result
2106 * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
2107 resolve_symbol): Allow for procedure pointer function results.
2108 (resolve_fl_procedure): Conflict detection moved here from
2110 * symbol.c (gfc_check_function_type): Allow for procedure pointer
2112 (check_conflict): Move some conflict detection to resolution stage.
2113 * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
2116 2009-04-08 Jakub Jelinek <jakub@redhat.com>
2118 * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
2119 contain TYPE_STRING_FLAG types.
2121 2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
2124 * invoke.texi (fdollar-ok): Fix typo.
2126 2009-04-08 Daniel Franke <franke.daniel@gmail.com>
2129 * invoke.texi (fdollar-ok): Clarify limitations.
2131 2009-04-08 Paul Thomas <pault@gcc.gnu.org>
2134 * trans-array.c (gfc_trans_deferred_array): Return if this
2135 is a result variable.
2137 2009-04-07 Janus Weil <janus@gcc.gnu.org>
2140 * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
2141 procedure pointer decls.
2143 2009-04-07 Janus Weil <janus@gcc.gnu.org>
2146 * expr.c (gfc_check_pointer_assign): Enable interface check for
2148 * gfortran.h: Add copy_formal_args_intr.
2149 * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
2150 if second argument is an intrinsic.
2151 (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
2153 (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
2154 * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
2155 intrinsic interfaces here. Must happen earlier.
2156 (resolve_symbol): Resolution of intrinsic interfaces moved here from
2157 resolve_specific_..., and formal args are now copied from intrinsic
2159 * symbol.c (copy_formal_args_intr): New function to copy the formal
2160 arguments from an intinsic procedure.
2162 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
2165 * dependency.c (ref_same_as_full_array): New function.
2166 (gfc_dep_resolver): Call it.
2168 2009-04-06 Janus Weil <janus@gcc.gnu.org>
2171 * decl.c (match_procedure_decl): Fix double declaration problems with
2172 PROCEDURE statements.
2173 * symbol.c (gfc_add_type): Ditto.
2175 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
2178 * trans-array.c (gfc_conv_array_ref): If the symbol has the
2179 temporary attribute use the array_spec for the bounds.
2180 * gfortran.h : Add the temporary field to the structure
2182 * trans-stmt.c (forall_make_variable_temp): Set the symbol's
2183 temporary attribute.
2185 2009-04-05 Daniel Franke <franke.daniel@gmail.com>
2188 * trans-array.c (gfc_trans_array_constructor_value): Shadow
2189 implied do-loop variable to avoid spurious middle-end warnings.
2191 2009-04-04 Tobias Burnus <burnus@net-b.de>
2194 * trans-decl.c (gfc_generate_function_code): Move recursive
2195 check to the right position.
2197 2009-04-04 Paul Thomas <pault@gcc.gnu.org>
2200 * trans-common.c (translate_common): Do not offset the whole
2203 2009-04-03 Tobias Burnus <burnus@net-b.de>
2206 * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
2207 if it is not a procedure pointer.
2208 * primary.c (match_actual_arg): Ditto.
2210 2009-03-31 Joseph Myers <joseph@codesourcery.com>
2212 PR preprocessor/15638
2213 * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
2215 2009-03-30 Steven G. Kargl <kargls@comcast.net>
2218 * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
2219 (gfc_trans_deallocate): Add translation of ERRMSG. Remove stale
2220 comments. Minor whitespace cleanup.
2221 * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
2222 (resolve_deallocate_expr (gfc_expr *e): Update error message.
2223 (resolve_allocate_expr): Remove dead code. Update error message.
2224 Move error checking to ...
2225 (resolve_allocate_deallocate): ... here. Add additional error
2226 checking for STAT, ERRMSG, and allocate-objects.
2227 * match.c(gfc_match_allocate,gfc_match_deallocate): Parse ERRMSG.
2228 Check for redundant uses of STAT and ERRMSG. Reword error message
2229 and add checking for pointer, allocatable, and proc_pointer attributes.
2231 2009-03-30 Paul Thomas <pault@gcc.gnu.org>
2236 * symbol.c : Add gfc_global_ns_list.
2237 * decl.c (add_global_entry): Set the namespace ('ns') field.
2238 * gfortran.h : Add the resolved field to gfc_namespace. Add the
2239 namespace ('ns') field to gfc_gsymbol. Add flag_whole_file to
2240 gfc_option_t. Add the prototype for gfc_free_dt_list.
2241 * lang.opt : Add the whole-file option.
2242 * invoke.texi : Document the whole-file option.
2243 * resolve.c (resolve_global_procedure): If the fwhole-file
2244 option is set, reorder gsymbols to ensure that translation is
2245 in the right order. Resolve the gsymbol's namespace if that
2246 has not occurred and then check interfaces.
2247 (resolve_function): Move call to resolve_global_procedure.
2248 (resolve_call): The same.
2249 (resolve_codes): Store the current labels_obstack.
2250 (gfc_resolve) : Return if the namespace is already resolved.
2251 trans-decl.c (gfc_get_extern_function_decl): If the whole_file
2252 option is selected, use the backend_decl of a gsymbol, if it is
2254 parse.c (add_global_procedure, add_global_program): If the flag
2255 whole-file is set, add the namespace to the gsymbol.
2256 (gfc_parse_file): On -fwhole-file, put procedure namespaces on
2257 the global namespace list. Rearrange to do resolution of all
2258 the procedures in a file, followed by their translation.
2259 * options.c (gfc_init_options): Add -fwhole-file.
2260 (gfc_handle_option): The same.
2262 2009-03-30 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
2264 * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
2265 family of intrinsics instead of BUILT_IN_INF family.
2266 * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
2267 BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
2269 2009-03-30 Jakub Jelinek <jakub@redhat.com>
2271 * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
2272 sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
2274 2009-03-30 Joseph Myers <joseph@codesourcery.com>
2276 PR rtl-optimization/323
2277 * options.c (gfc_post_options): Set
2278 flag_excess_precision_cmdline. Give an error for
2279 -fexcess-precision=standard for processors where the option is
2282 2009-03-29 Joseph Myers <joseph@codesourcery.com>
2284 PR preprocessor/34695
2285 * cpp.c (cb_cpp_error): New.
2286 (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
2287 Don't check cpp_errors (cpp_in).
2288 (gfc_cpp_init_0): Set cb->error.
2290 2009-03-29 Steven G. Kargl <kargl@gcc.gnu.org>
2293 * gfortran.h: Add ARITH_PROHIBIT to arith enum.
2294 expr.c (gfc_match_init_expr): Add global variable init_flag to
2295 flag matching an initialization expression.
2296 (check_intrinsic_op): Move no longer reachable error message to ...
2297 * arith.c (arith_power): ... here. Remove gfc_ prefix in
2298 gfc_arith_power. Use init_flag. Allow constant folding of x**y
2299 when y is REAL or COMPLEX.
2300 (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
2301 for constant folding.
2302 * gfc_power: Update gfc_arith_power to arith_power
2304 2009-03-29 Daniel Kraft <d@domob.eu>
2307 * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
2308 added a comment explaining DEFERRED binding handling.
2309 * decl.c (match_binding_attributes): Really match DEFERRED attribute.
2310 (match_procedure_in_type): Really match PROCEDURE(interface) syntax
2311 and do some validity checks for DEFERRED and this construct.
2312 * module.c (binding_overriding): New string constant for DEFERRED.
2313 (mio_typebound_proc): Module-IO DEFERRED flag.
2314 * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
2315 binding is not overridden by a DEFERRED one.
2316 (resolve_typebound_procedure): Allow abstract interfaces as targets
2317 for DEFERRED bindings.
2318 (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
2319 (resolve_fl_derived): Use new "ensure_not_abstract" method for
2320 non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
2321 binding is overridden.
2322 (check_typebound_baseobject): New method.
2323 (resolve_compcall), (resolve_typebound_call): Check base-object of
2324 the type-bound procedure call.
2325 * gfc-internals.texi (Type-bound procedures): Document a little bit
2326 about internal handling of DEFERRED bindings.
2328 2009-03-29 Tobias Schlüter <tobi@gcc.gnu.org>
2331 * gfortran.h (gfc_st_label): Fix comment.
2332 (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
2333 * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
2334 END SELECT with labels.
2335 (check_do_closure): Fix formatting.
2336 (parse_do_block): Fix typo in error message.
2337 * resolve.c (code_stack): Remove tail member. Update comment to
2338 new use of reachable_labels.
2339 (reachable_labels): Rename to ...
2340 (find_reachable_labels): ... this. Overhaul. Update preceding
2342 (resolve_branch): Fix comment preceding function. Rewrite.
2343 (resolve_code): Update call to find_reachable_labels. Add code to
2344 deal with EXEC_END_BLOCK.
2345 * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
2346 Add 2009 to copyright years.
2347 * trans.c (gfc_trans_code): Likewise on both counts.
2349 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
2352 * expr.c (gfc_check_assign): Allow pointer components when
2356 * resolve.c (check_data_variable): Treat pointer arrays with
2359 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
2362 * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
2363 have a string_length.
2365 2009-03-28 Tobias Burnus <burnus@net-b.de>
2368 * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
2369 Add GFC_RTCHECK_DO support.
2370 * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
2371 * invoke.texi (-fcheck): Document "do" option.
2373 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
2376 * trans-array.c (get_elemental_fcn_charlen): Remove.
2377 (get_array_charlen): New function to replace previous.
2379 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
2382 * parse.c (parse_derived): Do not break on finding pointer,
2383 allocatable or private components.
2385 2009-03-28 Tobias Burnus <burnus@net-b.de>
2388 * option.c (gfc_handle_runtime_check_option): Enable recursion check.
2389 * trans-decl.c (gfc_generate_function_code): Add recursion check.
2390 * invoke.texi (-fcheck): Add recursive option.
2392 2009-03-28 Tobias Burnus <burnus@net-b.de>
2395 * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
2397 2009-03-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
2398 Paul Thomas <pault@gcc.gnu.org>
2399 Tobias Burnus <burnus@net-b.de>
2401 * gfortran.h (gfc_option_t): Add rtcheck.
2402 * lang.opt: New option -fcheck.
2403 * libgfortran.h: Add GFC_RTCHECK_* constants.
2404 * invoke.texi: Document -fcheck.
2405 * options.c (gfc_handle_runtime_check_option): New function.
2406 (gfc_init_options,gfc_post_options,gfc_handle_option):
2409 2009-03-27 Richard Guenther <rguenther@suse.de>
2411 * trans-array.c (gfc_conv_descriptor_data_addr): Use
2412 gfc_build_addr_expr instead of build_fold_addr_expr.
2413 (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
2414 gfc_trans_constant_array_constructor, gfc_conv_array_data,
2415 gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
2416 * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
2417 gfc_conv_function_val, gfc_conv_operator_assign,
2418 gfc_conv_subref_array_arg, gfc_conv_function_call,
2419 gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
2420 * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
2421 gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
2422 gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
2423 gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
2424 gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
2425 gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
2426 gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
2427 * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
2428 gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
2429 build_filepos, gfc_trans_inquire, gfc_trans_wait,
2430 nml_get_addr_expr, transfer_namelist_element, build_dt,
2431 gfc_trans_dt_end, transfer_array_component, transfer_expr,
2432 transfer_array_desc, gfc_trans_transfer): Likewise.
2433 * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
2434 * trans.c (gfc_build_addr_expr): Mark the base of the address
2437 2009-03-27 Tobias Burnus <burnus@net-b.de>
2439 * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
2440 (gfc_expr): Add is_snan.
2441 * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
2442 (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
2443 * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
2444 * resolve.c (build_default_init_expr): Update call.
2445 * target-memory.c (encode_float): Ditto.
2446 * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
2448 2009-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
2450 * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
2453 2009-03-06 Alexandre Oliva <aoliva@redhat.com>
2455 * simplify.c (gfc_simplify_transfer): Zero-initialize the
2458 2009-02-27 Tobias Burnus <burnus@net-b.de>
2461 * module.c (read_md5_from_module_file): Add missing quote.
2463 2009-02-27 Tobias Burnus <burnus@net-b.de>
2466 * module.c (read_md5_from_module_file): Include mod version
2467 in had-changed test.
2469 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
2472 * interface.c (compare_type_rank_if): Return 1 if the symbols
2473 are the same and deal with external procedures where one is
2474 identified to be a function or subroutine by usage but the
2477 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
2480 * trans-array.c (gfc_conv_array_initializer): Convert all
2481 expressions rather than ICEing.
2483 2009-02-21 Thomas Koenig <tkoenig@gcc.gnu.org>
2486 * array.c (ref_dimen_size): Rename to gfc_ref_dimen_size,
2487 make global. Change function name in error messages.
2488 (ref_size): Change ref_dimen_size to gfc_ref_dimen_size.
2489 (gfc_array_ref_shape): Likewise.
2490 * gfortran.h: Add prototype for gfc_ref_dimen_size.
2491 * simplify.c (simplify_bound_dim): Add ref argument.
2492 If the reference isn't a full array, return one for
2493 the lower bound and the extent for the upper bound.
2494 (simplify_bound): For array sections, take as from the
2495 argument. Add reference to all to simplify_bound_dim.
2497 2009-02-19 Daniel Franke <franke.daniel@gmail.com>
2499 * scanner.c (load_line): At end of line, skip '\r' without setting
2500 the truncation flag.
2502 2009-02-18 Daniel Kraft <d@domob.eu>
2504 * gfortran.texi: New chapter about compiler characteristics.
2505 (Compiler Characteristics): Document KIND type parameters here.
2507 2009-02-18 Tobias Burnus <burnus@net-b.de>
2509 * intrinsic.texi (MALLOC): Make example more portable.
2511 2009-02-13 Mikael Morin <mikael.morin@tele2.fr>
2514 * module.c (gfc_dump_module,gfc_use_module): Add module
2517 2009-02-13 Paul Thomas <pault@gcc.gnu.org>
2521 * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
2522 function references to ensure that a valid expression is used.
2523 (gfc_conv_function_call): Pass Cray pointers to procedures.
2525 2009-02-03 Jakub Jelinek <jakub@redhat.com>
2527 * gfortranspec.c (lang_specific_driver): Update copyright notice
2530 2009-01-28 Paul Thomas <pault@gcc.gnu.org>
2534 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
2535 descriptor ubound for UBOUND, when the array lbound == 1.
2537 2009-01-27 Daniel Kraft <d@domob.eu>
2540 * trans-stmt.c (gfc_conv_elemental_dependencies): Create temporary
2541 for the real type needed to make it work for subcomponent-references.
2543 2009-01-21 Daniel Kraft <d@domob.eu>
2545 * trans-stmt.c (gfc_conv_elemental_dependencies): Cleaned up comment.
2547 2009-01-20 Paul Thomas <pault@gcc.gnu.org>
2550 * resolve.c (check_host_association): Remove the matching to
2551 correct an incorrect host association and use manipulation of
2552 the expression instead.
2554 2009-01-20 Tobias Burnus <burnus@net-b.de>
2556 * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
2558 2009-01-19 Mikael Morin <mikael.morin@tele2.fr>
2561 * simplify.c (simplify_bound): Don't use array specification
2562 if variable or component has subsequent references.
2564 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
2567 * module.c (write_common_0): Add argument 'this_module' and
2568 check that non-use associated common blocks are written first.
2569 (write_common): Call write_common_0 twice, once with true and
2572 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
2575 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
2576 been absorbed into gfc_conv_intrinsic_transfer. All
2577 references to it in trans-intrinsic.c have been changed
2578 accordingly. PR fixed by using a temporary for scalar
2579 character transfer, when the source is shorter than the
2582 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
2585 * module.c (write_common_0): Revert patch of 2009-01-05.
2587 2009-01-16 Janus Weil <janus@gcc.gnu.org>
2590 * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
2592 * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
2593 Enable procedure pointers as module variables.
2595 2009-01-14 Steven G. Kargl <kargl@gcc.gnu.org>
2597 * ChangeLog-2007: Clean out svn merge droppings.
2599 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
2602 * target-memory.c (encode_derived): Encode NULL.
2604 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
2607 * resolve.c (check_host_association): Use the symtree name to
2608 search for a potential contained procedure, since this is the
2609 name by which it would be referenced.
2611 2009-01-06 Thomas Koenig <tkoenig@gcc.gnu.org>
2614 * interface.c (gfc_procedure_use): Don't warn about functions
2616 * symbol.c (generate_isocbinding_symbol): Mark c_loc and
2619 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
2622 * module.c (write_common_0): Use the name of the symtree rather
2623 than the common block, to determine if the common has been
2626 2009-01-05 Daniel Franke <franke.daniel@gmail.com>
2629 * check.c (gfc_check_random_seed): Added size check for GET
2630 dummy argument, reworded error messages to follow common pattern.
2632 2009-01-05 Thomas Koenig <tkoenig@gcc.gnu.org>
2635 * trans-types.c (gfc_get_derived_type): Check for the
2636 presence of derived->ns->proc_name before
2637 accessing derived->ns->proc_name->attr.flavor .
2638 * resolve.c (resolve_symbol): Likewise.
2640 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
2643 * gfortran.h : Add bit to gfc_expr 'user_operator'
2644 * interface.c (gfc_extend_expr): Set the above if the operator
2645 is substituted by a function.
2646 * resolve.c (check_host_association): Return if above is set.
2648 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
2651 * ChangeLog-2008: Fix function name.
2654 * dependency.c (gfc_check_argument_var_dependency):
2655 Move the check for pointerness inside the if block
2656 so that it doesn't affect the return value.
2659 * trans-stmt.c (gfc_trans_call):
2660 Add the dependency code after the loop bounds calculation one.
2662 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
2664 * intrinsic.c (do_simplify): Removed already implemented TODO.
2666 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
2669 * simplify.c (gfc_simplify_merge): New.
2670 * intrinsic.h (gfc_simplify_merge): New prototype.
2671 * intrinsic.c (add_functions): Added simplification for MERGE.
2673 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
2676 * gfortran.h (gfc_is_data_pointer): Added prototype
2677 * resolve.c (gfc_iso_c_func_interface):
2678 Use gfc_is_data_pointer to test for pointer attribute.
2679 * dependency.c (gfc_is_data_pointer):
2680 Support pointer-returning functions.
2682 2009-01-03 Daniel Franke <franke.daniel@gmail.com>
2684 * symbol.c (save_symbol): Don't SAVE function results.
2686 2009-01-03 Paul Thomas <pault@gcc.gnu.org>
2689 * resolve.c (resolve_call): When searching for proper host
2690 association, use symtree rather than symbol. For everything
2691 except generic subroutines, substitute the symtree in the call
2692 rather than the symbol.
2695 Copyright (C) 2009 Free Software Foundation, Inc.
2697 Copying and distribution of this file, with or without modification,
2698 are permitted in any medium without royalty provided the copyright
2699 notice and this notice are preserved.