1 2009-04-10 Paolo Bonzini <bonzini@gnu.org>
4 * trans.c (gfc_allocate_with_status): Fix type mismatches
7 2009-04-10 Daniel Franke <franke.daniel@gmail.com>
10 * expr.c (find_array_section): Leave early on zero-sized arrays.
12 2009-04-09 Janus Weil <janus@gcc.gnu.org>
15 * decl.c (add_hidden_procptr_result): New function for handling
16 procedure pointer return values by adding a hidden result variable.
17 (variable_decl,match_procedure_decl,gfc_match_function_decl,
18 gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
20 * parse.c (parse_interface): Add EXTERNAL attribute only after
21 FUNCTION/SUBROUTINE declaration is complete.
22 * primary.c (replace_hidden_procptr_result): New function for replacing
23 function symbol by hidden result variable.
24 (gfc_match_rvalue,match_variable): Replace symbol by hidden result
26 * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
27 resolve_symbol): Allow for procedure pointer function results.
28 (resolve_fl_procedure): Conflict detection moved here from
30 * symbol.c (gfc_check_function_type): Allow for procedure pointer
32 (check_conflict): Move some conflict detection to resolution stage.
33 * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
36 2009-04-08 Jakub Jelinek <jakub@redhat.com>
38 * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
39 contain TYPE_STRING_FLAG types.
41 2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
44 * invoke.texi (fdollar-ok): Fix typo.
46 2009-04-08 Daniel Franke <franke.daniel@gmail.com>
49 * invoke.texi (fdollar-ok): Clarify limitations.
51 2009-04-08 Paul Thomas <pault@gcc.gnu.org>
54 * trans-array.c (gfc_trans_deferred_array): Return if this
57 2009-04-07 Janus Weil <janus@gcc.gnu.org>
60 * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
61 procedure pointer decls.
63 2009-04-07 Janus Weil <janus@gcc.gnu.org>
66 * expr.c (gfc_check_pointer_assign): Enable interface check for
68 * gfortran.h: Add copy_formal_args_intr.
69 * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
70 if second argument is an intrinsic.
71 (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
73 (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
74 * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
75 intrinsic interfaces here. Must happen earlier.
76 (resolve_symbol): Resolution of intrinsic interfaces moved here from
77 resolve_specific_..., and formal args are now copied from intrinsic
79 * symbol.c (copy_formal_args_intr): New function to copy the formal
80 arguments from an intinsic procedure.
82 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
85 * dependency.c (ref_same_as_full_array): New function.
86 (gfc_dep_resolver): Call it.
88 2009-04-06 Janus Weil <janus@gcc.gnu.org>
91 * decl.c (match_procedure_decl): Fix double declaration problems with
93 * symbol.c (gfc_add_type): Ditto.
95 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
98 * trans-array.c (gfc_conv_array_ref): If the symbol has the
99 temporary attribute use the array_spec for the bounds.
100 * gfortran.h : Add the temporary field to the structure
102 * trans-stmt.c (forall_make_variable_temp): Set the symbol's
105 2009-04-05 Daniel Franke <franke.daniel@gmail.com>
108 * trans-array.c (gfc_trans_array_constructor_value): Shadow
109 implied do-loop variable to avoid spurious middle-end warnings.
111 2009-04-04 Tobias Burnus <burnus@net-b.de>
114 * trans-decl.c (gfc_generate_function_code): Move recursive
115 check to the right position.
117 2009-04-04 Paul Thomas <pault@gcc.gnu.org>
120 * trans-common.c (translate_common): Do not offset the whole
123 2009-04-03 Tobias Burnus <burnus@net-b.de>
126 * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
127 if it is not a procedure pointer.
128 * primary.c (match_actual_arg): Ditto.
130 2009-03-31 Joseph Myers <joseph@codesourcery.com>
132 PR preprocessor/15638
133 * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
135 2009-03-30 Steven G. Kargl <kargls@comcast.net>
138 * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
139 (gfc_trans_deallocate): Add translation of ERRMSG. Remove stale
140 comments. Minor whitespace cleanup.
141 * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
142 (resolve_deallocate_expr (gfc_expr *e): Update error message.
143 (resolve_allocate_expr): Remove dead code. Update error message.
144 Move error checking to ...
145 (resolve_allocate_deallocate): ... here. Add additional error
146 checking for STAT, ERRMSG, and allocate-objects.
147 * match.c(gfc_match_allocate,gfc_match_deallocate): Parse ERRMSG.
148 Check for redundant uses of STAT and ERRMSG. Reword error message
149 and add checking for pointer, allocatable, and proc_pointer attributes.
151 2009-03-30 Paul Thomas <pault@gcc.gnu.org>
156 * symbol.c : Add gfc_global_ns_list.
157 * decl.c (add_global_entry): Set the namespace ('ns') field.
158 * gfortran.h : Add the resolved field to gfc_namespace. Add the
159 namespace ('ns') field to gfc_gsymbol. Add flag_whole_file to
160 gfc_option_t. Add the prototype for gfc_free_dt_list.
161 * lang.opt : Add the whole-file option.
162 * invoke.texi : Document the whole-file option.
163 * resolve.c (resolve_global_procedure): If the fwhole-file
164 option is set, reorder gsymbols to ensure that translation is
165 in the right order. Resolve the gsymbol's namespace if that
166 has not occurred and then check interfaces.
167 (resolve_function): Move call to resolve_global_procedure.
168 (resolve_call): The same.
169 (resolve_codes): Store the current labels_obstack.
170 (gfc_resolve) : Return if the namespace is already resolved.
171 trans-decl.c (gfc_get_extern_function_decl): If the whole_file
172 option is selected, use the backend_decl of a gsymbol, if it is
174 parse.c (add_global_procedure, add_global_program): If the flag
175 whole-file is set, add the namespace to the gsymbol.
176 (gfc_parse_file): On -fwhole-file, put procedure namespaces on
177 the global namespace list. Rearrange to do resolution of all
178 the procedures in a file, followed by their translation.
179 * options.c (gfc_init_options): Add -fwhole-file.
180 (gfc_handle_option): The same.
182 2009-03-30 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
184 * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
185 family of intrinsics instead of BUILT_IN_INF family.
186 * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
187 BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
189 2009-03-30 Jakub Jelinek <jakub@redhat.com>
191 * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
192 sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
194 2009-03-30 Joseph Myers <joseph@codesourcery.com>
196 PR rtl-optimization/323
197 * options.c (gfc_post_options): Set
198 flag_excess_precision_cmdline. Give an error for
199 -fexcess-precision=standard for processors where the option is
202 2009-03-29 Joseph Myers <joseph@codesourcery.com>
204 PR preprocessor/34695
205 * cpp.c (cb_cpp_error): New.
206 (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
207 Don't check cpp_errors (cpp_in).
208 (gfc_cpp_init_0): Set cb->error.
210 2009-03-29 Steven G. Kargl <kargl@gcc.gnu.org>
213 * gfortran.h: Add ARITH_PROHIBIT to arith enum.
214 expr.c (gfc_match_init_expr): Add global variable init_flag to
215 flag matching an initialization expression.
216 (check_intrinsic_op): Move no longer reachable error message to ...
217 * arith.c (arith_power): ... here. Remove gfc_ prefix in
218 gfc_arith_power. Use init_flag. Allow constant folding of x**y
219 when y is REAL or COMPLEX.
220 (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
221 for constant folding.
222 * gfc_power: Update gfc_arith_power to arith_power
224 2009-03-29 Daniel Kraft <d@domob.eu>
227 * gfortran.h (struct gfc_typebound_proc): Added new flag `deferred' and
228 added a comment explaining DEFERRED binding handling.
229 * decl.c (match_binding_attributes): Really match DEFERRED attribute.
230 (match_procedure_in_type): Really match PROCEDURE(interface) syntax
231 and do some validity checks for DEFERRED and this construct.
232 * module.c (binding_overriding): New string constant for DEFERRED.
233 (mio_typebound_proc): Module-IO DEFERRED flag.
234 * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
235 binding is not overridden by a DEFERRED one.
236 (resolve_typebound_procedure): Allow abstract interfaces as targets
237 for DEFERRED bindings.
238 (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
239 (resolve_fl_derived): Use new `ensure_not_abstract' method for
240 non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
241 binding is overridden.
242 (check_typebound_baseobject): New method.
243 (resolve_compcall), (resolve_typebound_call): Check base-object of
244 the type-bound procedure call.
245 * gfc-internals.texi (Type-bound procedures): Document a little bit
246 about internal handling of DEFERRED bindings.
248 2008-03-29 Tobias Schlüter <tobi@gcc.gnu.org>
251 * gfortran.h (gfc_st_label): Fix comment.
252 (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
253 * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
254 END SELECT with labels.
255 (check_do_closure): Fix formatting.
256 (parse_do_block): Fix typo in error message.
257 * resolve.c (code_stack): Remove tail member. Update comment to
258 new use of reachable_labels.
259 (reachable_labels): Rename to ...
260 (find_reachable_labels): ... this. Overhaul. Update preceding
262 (resolve_branch): Fix comment preceding function. Rewrite.
263 (resolve_code): Update call to find_reachable_labels. Add code to
264 deal with EXEC_END_BLOCK.
265 * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
266 Add 2009 to copyright years.
267 * trans.c (gfc_trans_code): Likewise on both counts.
269 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
272 * expr.c (gfc_check_assign): Allow pointer components when
276 * resolve.c (check_data_variable): Treat pointer arrays with
279 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
282 * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
283 have a string_length.
285 2009-03-28 Tobias Burnus <burnus@net-b.de>
288 * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
289 Add GFC_RTCHECK_DO support.
290 * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
291 * invoke.texi (-fcheck): Document "do" option.
293 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
296 * trans-array.c (get_elemental_fcn_charlen): Remove.
297 (get_array_charlen): New function to replace previous.
299 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
302 * parse.c (parse_derived): Do not break on finding pointer,
303 allocatable or private components.
305 2009-03-28 Tobias Burnus <burnus@net-b.de>
308 * option.c (gfc_handle_runtime_check_option): Enable recursion check.
309 * trans-decl.c (gfc_generate_function_code): Add recursion check.
310 * invoke.texi (-fcheck): Add recursive option.
312 2009-03-28 Tobias Burnus <burnus@net-b.de>
315 * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
317 2009-03-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
318 Paul Thomas <pault@gcc.gnu.org>
319 Tobias Burnus <burnus@net-b.de>
321 * gfortran.h (gfc_option_t): Add rtcheck.
322 * lang.opt: New option -fcheck.
323 * libgfortran.h: Add GFC_RTCHECK_* constants.
324 * invoke.texi: Document -fcheck.
325 * options.c (gfc_handle_runtime_check_option): New function.
326 (gfc_init_options,gfc_post_options,gfc_handle_option):
329 2009-03-27 Richard Guenther <rguenther@suse.de>
331 * trans-array.c (gfc_conv_descriptor_data_addr): Use
332 gfc_build_addr_expr instead of build_fold_addr_expr.
333 (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
334 gfc_trans_constant_array_constructor, gfc_conv_array_data,
335 gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
336 * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
337 gfc_conv_function_val, gfc_conv_operator_assign,
338 gfc_conv_subref_array_arg, gfc_conv_function_call,
339 gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
340 * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
341 gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
342 gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
343 gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
344 gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
345 gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
346 gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
347 * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
348 gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
349 build_filepos, gfc_trans_inquire, gfc_trans_wait,
350 nml_get_addr_expr, transfer_namelist_element, build_dt,
351 gfc_trans_dt_end, transfer_array_component, transfer_expr,
352 transfer_array_desc, gfc_trans_transfer): Likewise.
353 * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
354 * trans.c (gfc_build_addr_expr): Mark the base of the address
357 2009-03-27 Tobias Burnus <burnus@net-b.de>
359 * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
360 (gfc_expr): Add is_snan.
361 * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
362 (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
363 * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
364 * resolve.c (build_default_init_expr): Update call.
365 * target-memory.c (encode_float): Ditto.
366 * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
368 2009-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
370 * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
373 2009-03-06 Alexandre Oliva <aoliva@redhat.com>
375 * simplify.c (gfc_simplify_transfer): Zero-initialize the
378 2009-02-27 Tobias Burnus <burnus@net-b.de>
381 * module.c (read_md5_from_module_file): Add missing quote.
383 2009-02-27 Tobias Burnus <burnus@net-b.de>
386 * module.c (read_md5_from_module_file): Include mod version
389 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
392 * interface.c (compare_type_rank_if): Return 1 if the symbols
393 are the same and deal with external procedures where one is
394 identified to be a function or subroutine by usage but the
397 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
400 * trans-array.c (gfc_conv_array_initializer): Convert all
401 expressions rather than ICEing.
403 2009-02-21 Thomas Koenig <tkoenig@gcc.gnu.org>
406 * array.c (ref_dimen_size): Rename to gfc_ref_dimen_size,
407 make global. Change function name in error messages.
408 (ref_size): Change ref_dimen_size to gfc_ref_dimen_size.
409 (gfc_array_ref_shape): Likewise.
410 * gfortran.h: Add prototype for gfc_ref_dimen_size.
411 * simplify.c (simplify_bound_dim): Add ref argument.
412 If the reference isn't a full array, return one for
413 the lower bound and the extent for the upper bound.
414 (simplify_bound): For array sections, take as from the
415 argument. Add reference to all to simplify_bound_dim.
417 2009-02-19 Daniel Franke <franke.daniel@gmail.com>
419 * scanner.c (load_line): At end of line, skip '\r' without setting
422 2009-02-18 Daniel Kraft <d@domob.eu>
424 * gfortran.texi: New chapter about compiler characteristics.
425 (Compiler Characteristics): Document KIND type parameters here.
427 2009-02-18 Tobias Burnus <burnus@net-b.de>
429 * intrinsic.texi (MALLOC): Make example more portable.
431 2009-02-13 Mikael Morin <mikael.morin@tele2.fr>
434 * module.c (gfc_dump_module,gfc_use_module): Add module
437 2009-02-13 Paul Thomas <pault@gcc.gnu.org>
441 * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
442 function references to ensure that a valid expression is used.
443 (gfc_conv_function_call): Pass Cray pointers to procedures.
445 2009-02-03 Jakub Jelinek <jakub@redhat.com>
447 * gfortranspec.c (lang_specific_driver): Update copyright notice
450 2009-01-28 Paul Thomas <pault@gcc.gnu.org>
454 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
455 descriptor ubound for UBOUND, when the array lbound == 1.
457 2009-01-27 Daniel Kraft <d@domob.eu>
460 * trans-stmt.c (gfc_conv_elemental_dependencies): Create temporary
461 for the real type needed to make it work for subcomponent-references.
463 2009-01-21 Daniel Kraft <d@domob.eu>
465 * trans-stmt.c (gfc_conv_elemental_dependencies): Cleaned up comment.
467 2009-01-20 Paul Thomas <pault@gcc.gnu.org>
470 * resolve.c (check_host_association): Remove the matching to
471 correct an incorrect host association and use manipulation of
472 the expression instead.
474 2009-01-20 Tobias Burnus <burnus@net-b.de>
476 * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
478 2009-01-19 Mikael Morin <mikael.morin@tele2.fr>
481 * simplify.c (simplify_bound): Don't use array specification
482 if variable or component has subsequent references.
484 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
487 * module.c (write_common_0): Add argument 'this_module' and
488 check that non-use associated common blocks are written first.
489 (write_common): Call write_common_0 twice, once with true and
492 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
495 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
496 been absorbed into gfc_conv_intrinsic_transfer. All
497 references to it in trans-intrinsic.c have been changed
498 accordingly. PR fixed by using a temporary for scalar
499 character transfer, when the source is shorter than the
502 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
505 * module.c (write_common_0): Revert patch of 2009-01-05.
507 2009-01-16 Janus Weil <janus@gcc.gnu.org>
510 * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
512 * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
513 Enable procedure pointers as module variables.
515 2009-01-14 Steven G. Kargl <kargl@gcc.gnu.org>
517 * ChangeLog-2007: Clean out svn merge droppings.
519 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
522 * target-memory.c (encode_derived): Encode NULL.
524 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
527 * resolve.c (check_host_association): Use the symtree name to
528 search for a potential contained procedure, since this is the
529 name by which it would be referenced.
531 2009-01-06 Thomas Koenig <tkoenig@gcc.gnu.org>
534 * interface.c (gfc_procedure_use): Don't warn about functions
536 * symbol.c (generate_isocbinding_symbol): Mark c_loc and
539 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
542 * module.c (write_common_0): Use the name of the symtree rather
543 than the common block, to determine if the common has been
546 2009-01-05 Daniel Franke <franke.daniel@gmail.com>
549 * check.c (gfc_check_random_seed): Added size check for GET
550 dummy argument, reworded error messages to follow common pattern.
552 2009-01-05 Thomas Koenig <tkoenig@gcc.gnu.org>
555 * trans-types.c (gfc_get_derived_type): Check for the
556 presence of derived->ns->proc_name before
557 accessing derived->ns->proc_name->attr.flavor .
558 * resolve.c (resolve_symbol): Likewise.
560 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
563 * gfortran.h : Add bit to gfc_expr 'user_operator'
564 * interface.c (gfc_extend_expr): Set the above if the operator
565 is substituted by a function.
566 * resolve.c (check_host_association): Return if above is set.
568 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
571 * ChangeLog-2008: Fix function name.
574 * dependency.c (gfc_check_argument_var_dependency):
575 Move the check for pointerness inside the if block
576 so that it doesn't affect the return value.
579 * trans-stmt.c (gfc_trans_call):
580 Add the dependency code after the loop bounds calculation one.
582 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
584 * intrinsic.c (do_simplify): Removed already implemented TODO.
586 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
589 * simplify.c (gfc_simplify_merge): New.
590 * intrinsic.h (gfc_simplify_merge): New prototype.
591 * intrinsic.c (add_functions): Added simplification for MERGE.
593 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
596 * gfortran.h (gfc_is_data_pointer): Added prototype
597 * resolve.c (gfc_iso_c_func_interface):
598 Use gfc_is_data_pointer to test for pointer attribute.
599 * dependency.c (gfc_is_data_pointer):
600 Support pointer-returning functions.
602 2009-01-03 Daniel Franke <franke.daniel@gmail.com>
604 * symbol.c (save_symbol): Don't SAVE function results.
606 2009-01-03 Paul Thomas <pault@gcc.gnu.org>
609 * resolve.c (resolve_call): When searching for proper host
610 association, use symtree rather than symbol. For everything
611 except generic subroutines, substitute the symtree in the call
612 rather than the symbol.