1 2009-07-25 Tobias Burnus <burnus@net-b.de>
2 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
5 * intrinsic.c (add_functions): Support complex arguments for
6 acos,acosh,asin,asinh,atan,atanh.
7 * invoke.texi (ACOS,ACOSH,ASIN,ASINH,ATAN,ATANH): Support
9 * simplify.c (gfc_simplify_acos,gfc_simplify_acosh,
10 gfc_simplify_asin,gfc_simplify_asinh,gfc_simplify_atan,
11 gfc_simplify_atanh,gfc_simplify_atan,gfc_simplify_asinh,
12 gfc_simplify_acosh,gfc_simplify_atanh): Support
15 2009-07-25 Richard Guenther <rguenther@suse.de>
18 * trans-types.c (gfc_get_array_type_bounds): Use
19 build_distinct_type_copy with a proper TYPE_CANONICAL and
20 re-use the type-decl of the original type.
21 * trans-decl.c (build_entry_thunks): Signal cgraph we may not
23 (create_main_function): Likewise.
24 (gfc_generate_function_code): Likewise.
25 * trans-expr.c (gfc_trans_subcomponent_assign): Do not use
26 fold_convert on record types.
28 2009-07-25 Janus Weil <janus@gcc.gnu.org>
31 * decl.c (match_ppc_decl): Implement the PASS attribute for procedure
33 (match_binding_attributes): Ditto.
34 * gfortran.h (gfc_component): Add member 'tb'.
35 (gfc_typebound_proc): Add member 'ppc' and make 'pass_arg' const.
36 * module.c (MOD_VERSION): Bump module version.
37 (binding_ppc): New string constants.
38 (mio_component): Only use formal args if component is a procedure
39 pointer and add 'tb' member.
40 (mio_typebound_proc): Include pass_arg and take care of procedure
42 * resolve.c (update_arglist_pass): Add argument 'name' and take care of
44 (extract_ppc_passed_object): New function, analogous to
45 extract_compcall_passed_object, but for procedure pointer components.
46 (update_ppc_arglist): New function, analogous to
47 update_compcall_arglist, but for procedure pointer components.
48 (resolve_typebound_generic_call): Added argument to update_arglist_pass.
49 (resolve_ppc_call, resolve_expr_ppc): Take care of PASS attribute.
50 (resolve_fl_derived): Check the PASS argument for procedure pointer
52 * symbol.c (verify_bind_c_derived_type): Reject procedure pointer
53 components in BIND(C) types.
55 2009-07-24 Janus Weil <janus@gcc.gnu.org>
58 * array.c (gfc_resolve_character_array_constructor): Use new function
60 * decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
61 gfc_match_implicit): Ditto.
62 * expr.c (gfc_simplify_expr): Ditto.
63 * gfortran.h (gfc_new_charlen): New prototype.
64 * iresolve.c (check_charlen_present,gfc_resolve_char_achar): Use new
65 function gfc_new_charlen.
66 * module.c (mio_charlen): Ditto.
67 * resolve.c (gfc_resolve_substring_charlen,
68 gfc_resolve_character_operator,fixup_charlen,resolve_fl_derived,
69 resolve_symbol): Ditto.
70 * symbol.c (gfc_new_charlen): New function to create a new gfc_charlen
71 structure and add it to a namespace.
72 (gfc_copy_formal_args_intr): Make sure ts.cl is present
73 for CHARACTER variables.
75 2009-07-24 Jakub Jelinek <jakub@redhat.com>
79 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc,
80 gfc_conv_intrinsic_minmaxval): Handle Infinities and NaNs properly,
82 * trans-array.c (gfc_trans_scalarized_loop_end): No longer static.
83 * trans-array.h (gfc_trans_scalarized_loop_end): New prototype.
85 2009-07-23 Jakub Jelinek <jakub@redhat.com>
88 * io.c (gfc_resolve_dt): Add LOC argument. Fail if
89 dt->io_unit is NULL. Return FAILURE after issuing error about
91 (match_io_element): Don't segfault if current_dt->io_unit is NULL.
92 * gfortran.h (gfc_resolve_dt): Adjust prototype.
93 * resolve.c (resolve_code): Adjust caller.
95 2009-07-22 Paul Thomas <pault@gcc.gnu.org>
98 * trans-decl.c (generate_local_decl): Unreferenced result
99 variables with allocatable components should be treated like
100 INTENT_OUT dummy variables.
102 2009-07-22 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
104 * trans.h (gfc_set_decl_assembler_name): New prototype.
105 * trans-decl.c (gfc_set_decl_assembler_name): New function.
106 (gfc_get_symbol_decl, gfc_get_extern_function_decl,
107 build_function_decl): Use gfc_set_decl_assembler_name instead of
108 SET_DECL_ASSEMBLER_NAME.
109 * trans-common.c (build_common_decl): Use
110 gfc_set_decl_assembler_name instead of SET_DECL_ASSEMBLER_NAME.
112 2009-07-21 Richard Guenther <rguenther@suse.de>
115 * trans-decl.c (gfc_get_extern_function_decl): Do not set
116 DECL_IS_MALLOC for pointer valued functions.
117 (build_function_decl): The same.
119 2009-07-19 Steven G. Kargl <kargl@gcc.gnu.org>
122 * fortran/check.c (gfc_check_cmplx, gfc_check_dcmplx): Add check that
123 the optional second argument isn't of COMPLEX type.
125 2009-07-17 Richard Guenther <rguenther@suse.de>
128 * f95-lang.c (gfc_be_parse_file): Do not finalize the CU here.
129 * trans-decl.c (gfc_gimplify_function): Remove.
130 (build_entry_thunks): Do not gimplify here.
131 (create_main_function): Likewise.
132 (gfc_generate_function_code): Likewise.
134 2009-07-17 Aldy Hernandez <aldyh@redhat.com>
135 Manuel López-Ibáñez <manu@gcc.gnu.org>
138 * trans-expr.c, trans-array.c, trans-openmp.c, trans-stmt.c,
139 trans.c, trans-io.c, trans-decl.c, trans-intrinsic.c: Add location
140 argument to fold_{unary,binary,ternary}, fold_build[123],
141 build_call_expr, build_size_arg, build_fold_addr_expr,
142 build_call_array, non_lvalue, size_diffop,
143 fold_build1_initializer, fold_build2_initializer,
144 fold_build3_initializer, fold_build_call_array,
145 fold_build_call_array_initializer, fold_single_bit_test,
146 omit_one_operand, omit_two_operands, invert_truthvalue,
147 fold_truth_not_expr, build_fold_indirect_ref, fold_indirect_ref,
148 combine_comparisons, fold_builtin_*, fold_call_expr,
149 build_range_check, maybe_fold_offset_to_address, round_up,
152 2009-07-15 Janus Weil <janus@gcc.gnu.org>
155 * resolve.c (resolve_symbol): Don't resolve the formal namespace of a
158 2009-07-14 Taras Glek <tglek@mozilla.com>
159 Rafael Espindola <espindola@google.com>
161 * Make-lang.in (fortran.install-plugin): New target for
162 installing plugin headers.
164 2009-07-13 H.J. Lu <hongjiu.lu@intel.com>
166 * module.c (mio_symbol): Remove the unused variable, formal.
168 2009-07-13 Janus Weil <janus@gcc.gnu.org>
171 * module.c (mio_symbol): If the symbol has formal arguments,
172 the formal namespace will be present.
173 * resolve.c (resolve_actual_arglist): Correctly handle 'called'
174 procedure pointer components as actual arguments.
175 (resolve_fl_derived,resolve_symbol): Make sure the formal namespace
177 * trans-expr.c (gfc_conv_procedure_call): Correctly handle the formal
178 arguments of procedure pointer components.
180 2009-07-12 Tobias Burnus <burnus@net-b.de>
181 Philippe Marguinaud <philippe.marguinaud@meteo.fr>
184 * primary.c (match_charkind_name): Fix condition for $ matching.
187 * libgfortran.h: Typedef the GFC_DTYPE_* enum.
189 2009-07-11 Tobias Burnus <burnus@net-b.de>
192 * check.c (gfc_check_fn_rc2008): New function.
193 * intrinsic.h (gfc_check_fn_rc2008): New prototype.
194 * intrinsic.c (add_functions): Add complex tan, cosh, sinh,
197 2009-07-10 Paul Thomas <pault@gcc.gnu.org>
200 * primary.c (match_kind_param): Return MATCH_NO if the symbol
203 2008-07-09 Paul Thomas <pault@gcc.gnu.org>
206 * resolve.c (check_host_association): Use the existing
207 accessible symtree and treat function expressions with
208 symbols that have procedure flavor.
210 2009-07-09 Janus Weil <janus@gcc.gnu.org>
213 * dump-parse-tree.c (show_expr): Renamed 'is_proc_ptr_comp'.
214 * expr.c (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
215 (gfc_check_pointer_assign): Renamed 'is_proc_ptr_comp'.
216 (replace_comp,gfc_expr_replace_comp): New functions, analogous
217 to 'replace_symbol' and 'gfc_expr_replace_symbol', just with components
219 * gfortran.h (gfc_expr_replace_comp): New prototype.
220 (is_proc_ptr_comp): Renamed to 'gfc_is_proc_ptr_comp'.
221 * interface.c (compare_actual_formal): Renamed 'is_proc_ptr_comp'.
222 * match.c (gfc_match_pointer_assignment): Ditto.
223 * primary.c (gfc_match_varspec): Handle array-valued procedure pointers
224 and procedure pointer components. Renamed 'is_proc_ptr_comp'.
225 * resolve.c (resolve_fl_derived): Correctly handle interfaces with
226 RESULT statement, and handle array-valued procedure pointer components.
227 (resolve_actual_arglist,resolve_ppc_call,resolve_expr_ppc): Renamed
229 * trans-array.c (gfc_walk_function_expr): Ditto.
230 * trans-decl.c (gfc_get_symbol_decl): Security check for presence of
232 * trans-expr.c (gfc_conv_procedure_call): Handle array-valued procedure
233 pointer components. Renamed 'is_proc_ptr_comp'.
234 (conv_function_val,gfc_trans_arrayfunc_assign): Renamed
236 (gfc_get_proc_ptr_comp): Do not modify the argument 'e', but instead
238 * trans-io.c (gfc_trans_transfer): Handle array-valued procedure
241 2009-07-09 Tobias Burnus <burnus@net-b.de>
244 * intrinsic.c (gfc_convert_type_warn): Set sym->result.
245 * trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
246 for optional arguments.
248 2009-07-08 Tobias Burnus <burnus@net-b.de>
251 * simplify.c (gfc_simplify_sign): Handle signed zero correctly.
252 * trans-intrinsic.c (gfc_conv_intrinsic_sign): Support
254 * invoke.texi (-fno-sign-zero): Add text regarding SIGN intrinsic.
256 2008-07-08 Paul Thomas <pault@gcc.gnu.org>
259 * decl.c (match_procedure_interface): Correct the association
260 or creation of the interface procedure's symbol.
262 2009-07-04 Jakub Jelinek <jakub@redhat.com>
264 * trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): For integer
265 maxloc initialize limit to -huge-1 rather than just -huge.
267 2009-07-04 Janus Weil <janus@gcc.gnu.org>
270 * interface.c (compare_actual_formal): Take care of proc-pointer-valued
271 functions as actual arguments.
272 * trans-expr.c (gfc_conv_procedure_call): Ditto.
273 * resolve.c (resolve_specific_f0): Use the correct ts.
275 2009-07-02 Michael Matz <matz@suse.de>
278 * trans-array.c (gfc_conv_descriptor_stride_get): Return
279 constant one for strides in the first dimension of ALLOCATABLE
282 2009-06-30 Janus Weil <janus@gcc.gnu.org>
285 * trans-types.c (gfc_get_derived_type): Bugfix, reverting one hunk from
288 2009-06-29 Tobias Burnus <burnus@net-b.de>
291 * trans-expr.c (gfc_conv_procedure_call): Add -fcheck=pointer check.
292 * libgfortran.h: Add GFC_RTCHECK_POINTER.
293 * invoke.texi (-fcheck): Document new pointer option.
294 * options.c (gfc_handle_runtime_check_option): Handle pointer option.
296 * gfortran.texi (C Binding): Improve wording.
297 * iso-c-binding.def: Remove obsolete comment.
299 2009-06-29 Paul Thomas <pault@gcc.gnu.org>
302 * dependency.h : Add second bool* argument to prototype of
303 gfc_full_array_ref_p.
304 * dependency.c (gfc_full_array_ref_p): If second argument is
305 present, return true if last dimension of reference is an
306 element or has unity stride.
307 * trans-array.c : Add NULL second argument to references to
308 gfc_full_array_ref_p.
309 * trans-expr.c : The same, except for;
310 (gfc_trans_arrayfunc_assign): Return fail if lhs reference
311 is not a full array or a contiguous section.
313 2009-06-28 Tobias Burnus <burnus@net-b.de>
314 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
317 * symbol.c (gfc_add_ext_attribute): New function.
318 (gfc_get_sym_tree): New argument allow_subroutine.
319 (gfc_get_symbol,gfc_get_ha_sym_tree,gen_cptr_param,gen_fptr_param
320 gen_shape_param,generate_isocbinding_symbol): Use it.
321 * decl.c (find_special): New argument allow_subroutine.
322 (add_init_expr_to_sym,add_hidden_procptr_result,attr_decl1,
323 match_procedure_in_type,gfc_match_final_decl): Use it.
324 (gfc_match_gcc_attributes): New function.
325 * gfortran.texi (Mixed-Language Programming): New section
326 "GNU Fortran Compiler Directives".
327 * gfortran.h (ext_attr_t): New struct.
328 (symbol_attributes): Use it.
329 (gfc_add_ext_attribute): New prototype.
330 (gfc_get_sym_tree): Update pototype.
331 * expr.c (gfc_check_pointer_assign): Check whether call
332 convention is the same.
333 * module.c (import_iso_c_binding_module, create_int_parameter,
334 use_iso_fortran_env_module): Update gfc_get_sym_tree call.
335 * scanner.c (skip_gcc_attribute): New function.
336 (skip_free_comments,skip_fixed_comments): Use it.
337 (gfc_next_char_literal): Support !GCC$ lines.
338 * resolve.c (check_host_association): Update
339 gfc_get_sym_tree call.
340 * match.c (gfc_match_sym_tree,gfc_match_call): Update
341 gfc_get_sym_tree call.
342 * trans-decl.c (add_attributes_to_decl): New function.
343 (gfc_get_symbol_decl,get_proc_pointer_decl,
344 gfc_get_extern_function_decl,build_function_decl: Use it.
345 * match.h (gfc_match_gcc_attributes): Add prototype.
346 * parse.c (decode_gcc_attribute): New function.
347 (next_free,next_fixed): Support !GCC$ lines.
348 * primary.c (match_actual_arg,check_for_implicit_index,
349 gfc_match_rvalue,gfc_match_rvalue): Update
350 gfc_get_sym_tree call.
352 2009-06-28 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
354 * gfortran.h: Define HAVE_mpc_pow.
355 * arith.c (complex_reciprocal, complex_pow): If HAVE_mpc_pow,
356 don't define these functions.
357 (arith_power): If HAVE_mpc_pow, use mpc_pow.
359 2009-06-26 Janus Weil <janus@gcc.gnu.org>
363 * decl.c (add_hidden_procptr_result): Copy the typespec to the hidden
365 * expr.c (gfc_check_pointer_assign): Enable interface check for
366 procedure pointer assignments where the rhs is a function returning a
368 * resolve.c (resolve_symbol): If an external procedure with unspecified
369 return type can not be implicitly typed, it must be a subroutine.
371 2009-06-24 Janus Weil <janus@gcc.gnu.org>
374 * gfortran.h (gfc_component): New member 'formal_ns'.
375 (gfc_copy_formal_args_ppc,void gfc_ppc_use): New.
376 * interface.c (gfc_ppc_use): New function, analogous to
377 gfc_procedure_use, but for procedure pointer components.
378 * module.c (MOD_VERSION): Bump module version.
379 (mio_component): Treat formal arguments.
380 (mio_formal_arglist): Changed argument from gfc_symbol to
382 (mio_symbol): Changed argument of mio_formal_arglist.
383 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Call gfc_ppc_use,
384 to check actual arguments and treat formal args correctly.
385 (resolve_fl_derived): Copy formal args of procedure pointer components
386 from their interface.
387 * symbol.c (gfc_copy_formal_args_ppc): New function, analogous to
388 gfc_copy_formal_args, but for procedure pointer components.
390 2009-06-22 Janus Weil <janus@gcc.gnu.org>
394 * interface.c (compare_parameter): Set implicit type for function
395 actual arguments with BT_UNKNOWN.
397 2009-06-22 Tobias Burnus <burnus@net-b.de>
401 * simplify.c (gfc_simplify_spread): Fix the case that source=
404 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
407 * interface.c (gfc_search_interface): Hold back a match to an
408 elementary procedure until all other possibilities are
411 2009-06-22 Paul Thomas <pault@gcc.gnu.org>
414 * simplify.c (gfc_simplify_spread): Restrict the result size to
415 the limit for an array constructor.
417 2009-06-21 Janus Weil <janus@gcc.gnu.org>
420 * interface.c (gfc_compare_interfaces): Take care of implicit typing
421 when checking the function attribute. Plus another bugfix.
422 (compare_parameter): Set attr.function and attr.subroutine according
423 to the usage of a procedure as actual argument.
425 2009-06-20 Tobias Burnus <burnus@net-b.de>
428 * trans-decl.c (add_argument_checking): Disable bounds check
429 for allowed argument storage association.
431 2009-06-19 Paul Thomas <pault@gcc.gnu.org>
434 * trans-expr.c (gfc_conv_procedure_call): Do not deallocate
435 allocatable components if the argument is a pointer.
437 2009-06-19 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
439 * gfortran.h (gfc_expr): Use mpc_t to represent complex numbers.
441 * arith.c, dump-parse-tree.c, expr.c, module.c, resolve.c,
442 simplify.c, target-memory.c, target-memory.h, trans-const.c,
443 trans-expr.c: Convert to mpc_t throughout.
445 2009-06-19 Ian Lance Taylor <iant@google.com>
447 * cpp.c (struct gfc_cpp_option_data): Give this struct, used for
448 the global variable gfc_cpp_option, a name.
450 2009-06-19 Janus Weil <janus@gcc.gnu.org>
453 * trans-expr.c (gfc_conv_procedure_call): Only add an extra addr_expr
454 to a procedure pointer actual argument, if it is not itself a
457 2009-06-18 Janus Weil <janus@gcc.gnu.org>
460 * resolve.c (resolve_contained_fntype): Prevent implicit typing for
461 procedures with explicit interface.
462 * symbol.c (gfc_check_function_type): Ditto.
464 2009-06-16 Ian Lance Taylor <iant@google.com>
466 * decl.c (build_struct): Rewrite loop over constructor elements.
468 2009-06-16 Janus Weil <janus@gcc.gnu.org>
472 * expr.c (gfc_check_pointer_assign): Call 'gfc_compare_interfaces' with
474 * gfortran.h (gfc_compare_interfaces): Additional argument.
475 * interface.c (operator_correspondence): Removed.
476 (gfc_compare_interfaces): Additional argument to return error message.
477 Directly use the code from 'operator_correspondence' instead of calling
478 the function. Check for OPTIONAL. Some rearrangements.
479 (check_interface1): Call 'gfc_compare_interfaces' without error message.
480 (compare_parameter): Call 'gfc_compare_interfaces' with error message.
481 * resolve.c (check_generic_tbp_ambiguity): Call 'gfc_compare_interfaces'
482 without error message.
484 2009-06-16 Tobias Burnus <burnus@net-b.de>
487 * trans-decl.c (create_function_arglist): Copy formal charlist to
488 have a proper passed_length for -fcheck=bounds.
490 2009-06-12 Steven G. Kargl <kargls@comcast.net>
492 * arith.c (gfc_enum_initializer): Move function ...
493 * decl.c: ... here. Remove gfc_ prefix and make static.
494 (enumerator_decl): Update function call.
495 * gfortran.h: Remove gfc_enum_initializer prototype.
497 2009-06-12 Aldy Hernandez <aldyh@redhat.com>
499 * trans-array.c (gfc_trans_allocate_array_storage): Pass
501 (gfc_trans_array_constructor_value): Same.
502 (gfc_trans_scalarized_loop_end): Same.
503 (gfc_conv_ss_startstride): Same.
504 (gfc_trans_g77_array): Same.
505 (gfc_trans_dummy_array_bias): Same.
506 (gfc_conv_array_parameter): Same.
507 (structure_alloc_comps): Same.
508 * trans-expr.c (gfc_conv_function_call): Same.
509 (fill_with_spaces): Same.
510 (gfc_trans_string_copy): Same.
511 (gfc_trans_scalar_assign): Same.
512 * trans-stmt.c (gfc_trans_goto): Same.
513 (gfc_trans_if_1): Same.
514 (gfc_trans_simple_do): Same.
515 (gfc_trans_do): Same.
516 (gfc_trans_do_while): Same.
517 (gfc_trans_logical_select): Same.
518 (gfc_trans_select): Same.
519 (gfc_trans_forall_loop): Same.
520 (gfc_trans_nested_forall_loop): Same.
521 (generate_loop_for_temp_to_lhs): Same.
522 (generate_loop_for_rhs_to_temp): Same.
523 (gfc_trans_forall_1): Same.
524 (gfc_trans_where_assign): Same.
525 (gfc_trans_where_3): Same.
526 (gfc_trans_allocate): Same.
527 * trans.c (gfc_finish_block): Same.
528 (gfc_trans_runtime_check): Same.
529 (gfc_call_malloc): Same.
530 (gfc_allocate_with_status): Same.
531 (gfc_call_free): Same.
532 (gfc_deallocate_with_status): Same.
533 (gfc_call_realloc): Same.
534 (gfc_trans_code): Same.
535 * trans-decl.c (gfc_init_default_dt): Same.
536 (gfc_generate_constructors): Same.
537 * trans-io.c (gfc_trans_io_runtime_check): Same.
538 * trans-intrinsic.c (gfc_conv_intrinsic_ctime): Same.
539 (gfc_conv_intrinsic_fdate): Same.
540 (gfc_conv_intrinsic_ttynam): Same.
541 (gfc_conv_intrinsic_minmax): Same.
542 (gfc_conv_intrinsic_minmax_char): Same.
543 (gfc_conv_intrinsic_anyall): Same.
544 (gfc_conv_intrinsic_count): Same.
545 (gfc_conv_intrinsic_arith): Same.
546 (gfc_conv_intrinsic_minmaxloc): Same.
547 (gfc_conv_intrinsic_minmaxval): Same.
548 (gfc_conv_intrinsic_rrspacing): Same.
549 (gfc_conv_intrinsic_array_transfer): Same.
550 (gfc_conv_intrinsic_trim): Same.
551 (gfc_conv_intrinsic_repeat): Same.
553 2009-06-12 Janus Weil <janus@gcc.gnu.org>
556 * resolve.c (resolve_symbol): Additional error check, preventing an
559 2009-06-11 Paul Thomas <pault@gcc.gnu.org>
562 * resolve.c (next_data_value): It is an error if the value is
565 2009-06-11 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
568 * intrinsic.c (add_functions): Add simplifiers for ISNAN,
569 IS_IOSTAT_END and IS_IOSTAT_EOR.
570 * intrinsic.h (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
571 gfc_simplify_isnan): New prototypes.
572 * intrinsic.c (gfc_simplify_is_iostat_end, gfc_simplify_is_iostat_eor,
573 gfc_simplify_isnan): New functions.
575 2009-06-11 Jakub Jelinek <jakub@redhat.com>
577 * interface.c (fold_unary): Rename to...
578 (fold_unary_intrinsic): ... this.
579 (gfc_extend_expr): Adjust caller.
580 (gfc_match_generic_spec): Likewise. Initialize *op to INTRINSIC_NONE
582 * expr.c (gfc_simplify_expr): Initialize start and end before calling
585 2009-06-10 Dave Korn <dave.korn.cygwin@gmail.com>
587 * trans-decl.c (create_main_function): Don't build main decl twice.
589 2009-06-09 Tobias Burnus <burnus@net-b.de>
591 * trans-decl.c (gfc_generate_function_code): Use gfc_option.rtcheck
592 instead of flag_bounds_check.
593 * intrinsic.texi (ISO_FORTRAN_ENV): Document INT{8,16,32,64} and
596 2009-06-08 Paul Thomas <pault@gcc.gnu.org>
598 * trans-array.h : Replace prototypes for
599 gfc_conv_descriptor_offset, gfc_conv_descriptor_stride,
600 gfc_conv_descriptor_lbound, gfc_conv_descriptor_ubound with new
601 prototypes of the same names with _get or _set appended.
602 * trans-array.c : Make the originals of the above static and
603 new functions for the _get and _set functions. Update all the
604 references to these descriptor access functions.
605 * trans-expr.c : Update references to the above descriptor
607 * trans-intrinsic.c : The same.
608 * trans-openmp.c : The same.
609 * trans-stmt.c : The same.
611 2009-06-08 Alexandre Oliva <aoliva@redhat.com>
613 * options.c (gfc_post_options): Disable dump_parse_tree
614 during -fcompare-debug-second.
616 2009-06-07 Jerry DeLisle <jvdelisle@gcc.gnu.org>
619 * gfortran.h (gfc_open): Add newunit expression to structure.
620 * io.c (io_tag): Add new unit tag and fix whitespace.
621 (match_open_element): Add matching for newunit.
622 (gfc_free_open): Free the newunit expression.
623 (gfc_resolve_open): Add newunit to resolution and check constraints.
624 (gfc_resolve_close): Add check for non-negative unit.
625 (gfc_resolve_filepos): Likewise.
626 (gfc_resolve_dt): Likewise.
627 * trans-io.c (set_parameter_value): Build runtime checks for unit
628 numbers within range of kind=4 integer. (gfc_trans_open) Set the
630 * ioparm.def (IOPARM): Define the newunit parameter as a pointer
631 to GFC_INTEGER_4, pint4.
633 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
637 * array.c (gfc_append_constructor): Added NULL-check.
638 * check.c (gfc_check_spread): Check DIM.
639 (gfc_check_unpack): Check that the ARRAY arguments provides enough
641 * intrinsic.h (gfc_simplify_spread): New prototype.
642 (gfc_simplify_unpack): Likewise.
643 * intrinsic.c (add_functions): Added new simplifier callbacks.
644 * simplify.c (gfc_simplify_spread): New.
645 (gfc_simplify_unpack): New.
646 * expr.c (check_transformational): Allow additional transformational
647 intrinsics in initialization expression.
649 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
653 * check.c (gfc_check_all_any): Check rank of DIM.
654 (gfc_check_count): Likewise.
655 * intrinsic.h (gfc_simplify_all): New prototype.
656 (gfc_simplify_any): Likewise.
657 (gfc_simplify_count): Likewise.
658 (gfc_simplify_sum): Likewise.
659 (gfc_simplify_product): Likewise.
660 * intrinsic.c (add_functions): Added new simplifier callbacks.
661 * simplify.c (transformational_result): New.
662 (simplify_transformation_to_scalar): New.
663 (simplify_transformation_to_array): New.
665 (gfc_simplify_all): New.
666 (gfc_simplify_any): New.
667 (gfc_simplify_count): New.
668 (gfc_simplify_sum): New.
669 (gfc_simplify_product): New.
670 * expr.c (check_transformational): Allow additional transformational
671 intrinsics in initialization expression.
673 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
675 * check.c (dim_rank_check): Return SUCCESS if DIM=NULL.
676 (gfc_check_lbound): Removed (now) redundant check for DIM=NULL.
677 (gfc_check_minloc_maxloc): Likewise.
678 (check_reduction): Likewise.
679 (gfc_check_size): Likewise.
680 (gfc_check_ubound): Likewise.
681 (gfc_check_cshift): Added missing shape-conformance checks.
682 (gfc_check_eoshift): Likewise.
683 * gfortran.h (gfc_check_conformance): Modified prototype to printf-style.
684 * expr.c (gfc_check_conformance): Accept error-message chunks in
685 printf-style. Changed all callers.
688 2009-06-07 Daniel Franke <franke.daniel@gmail.com>
692 * intrinsic.h (gfc_simplify_dot_product): New prototype.
693 (gfc_simplify_matmul): Likewise.
694 (gfc_simplify_transpose): Likewise.
695 * intrinsic.c (add_functions): Added new simplifier callbacks.
696 * simplify.c (init_result_expr): New.
697 (compute_dot_product): New.
698 (gfc_simplify_dot_product): New.
699 (gfc_simplify_matmul): New.
700 (gfc_simplify_transpose): New.
701 * expr.c (check_transformational): Allow transformational intrinsics
702 with simplifier in initialization expression.
704 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
707 * simplify.c (gfc_simplify_reshape): Fixed reshaping of empty arrays
710 2009-06-06 Daniel Franke <franke.daniel@gmail.com>
713 * intrinsic.h (gfc_simplify_pack): New prototype.
714 * intrinsic.c (add_functions): Added
715 simplifier-callback to PACK.
716 * simplify.c (is_constant_array_expr): Moved
717 to beginning of file.
718 (gfc_simplify_pack): New.
719 * check.c (gfc_check_pack): Check that VECTOR has enough elements.
720 Added safeguards for empty arrays.
722 2009-06-05 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
724 * simplify.c (call_mpc_func): Use mpc_realref/mpc_imagref
725 instead of MPC_RE/MPC_IM.
727 2009-06-05 Alexandre Oliva <aoliva@redhat.com>
729 * trans-decl.c (gfc_build_qualified_array): Don't skip generation
731 * trans.h (struct lang_type): Add base_decls.
732 (GFC_TYPE_ARRAY_BASE_DECL): New.
733 * trans-types.c (gfc_get_array_type_bounds): Initialize base decls
734 proactively and excessively.
735 (gfc_get_array_descr_info): Use existing base decls if available.
737 2009-06-04 Daniel Franke <franke.daniel@gmail.com>
740 * check.c (gfc_check_reshape): Additional checks for the
741 SHAPE and ORDER arguments.
742 * simplify.c (gfc_simplify_reshape): Converted argument checks
745 2009-06-03 Tobias Burnus <burnus@net-b.de>
747 * gfortran.texi: Add mixed-language programming, mention
748 varying string lengths, some clean up of introduction parts.
749 * intrinsic.texi (instrinsic modules): Create @menu for subsections.
750 (ISO_C_BINDING): Support ISOCBINDING_INT_FAST128_T.
751 * libgfortran.h: Comment to rember to keep gfortran.texi in sync.
752 * iso-c-binding.def: Support ISOCBINDING_INT_FAST128_T.
754 2009-06-03 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
755 Tobias Burnus <burnus@net-b.de>
757 * iso-c-binding.def: Use INTMAX_TYPE instead of intmax_type_node.
758 * trans-types.c (init_c_interop_kinds): Remove intmax_type_node.
760 2009-06-03 Alexandre Oliva <aoliva@redhat.com>
762 * module.c (mio_f2k_derived): Initialize cur.
764 2009-06-01 Tobias Burnus <burnus@net-b.de>
767 * trans-decl.c (gfc_sym_identifier): Use "MAIN__" for PROGRAM "main".
768 (create_main_function): Set main_identifier_node.
770 2009-05-29 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
773 * trans-types.c (gfc_build_uint_type): Make nonstatic.
774 * trans.h (gfor_fndecl_clz128, gfor_fndecl_ctz128): New prototypes.
775 * trans-types.h (gfc_build_uint_type): Add prototype.
776 * trans-decl.c (gfc_build_intrinsic_function_decls): Build
777 gfor_fndecl_clz128 and gfor_fndecl_ctz128.
778 * trans-intrinsic.c (gfc_conv_intrinsic_leadz,
779 gfc_conv_intrinsic_trailz): Call the right builtins or library
780 functions, and cast arguments to unsigned types first.
781 * simplify.c (gfc_simplify_leadz): Deal with negative arguments.
783 2009-05-27 Ian Lance Taylor <iant@google.com>
785 * Make-lang.in (gfortran$(exeext)): Change $(COMPILER) to
787 (f951$(exeext)): Likewise.
789 2009-05-27 Tobias Burnus <burnus@net-b.de>
792 * trans-decl.c (create_main_function): Mark MAIN__ and
793 argc/argv as TREE_USED and push/pop function_decl context
796 2009-05-26 Tobias Burnus <burnus@net-b.de>
799 * gfortranspec.c (lang_specific_driver): Stop linking
801 * trans-decl.c (gfc_build_builtin_function_decls): Stop
802 making MAIN__ publicly visible.
803 (gfc_build_builtin_function_decls): Add
804 gfor_fndecl_set_args.
805 (create_main_function) New function.
806 (gfc_generate_function_code): Use it.
808 2009-05-26 Tobias Burnus <burnus@net-b.de>
811 * match.c (gfc_match_nullify): NULLify freed pointer.
813 2009-05-26 Ian Lance Taylor <iant@google.com>
815 * Make-lang.in (gfortranspec.o): Use $(COMPILER).
816 (gfortran$(exeext), f951$(exeext), fortran/cpp.o): Likewise.
818 2009-05-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
820 * gfortran.h (GFC_MPC_RND_MODE): New.
821 * simplify.c (call_mpc_func): New helper function.
822 (gfc_simplify_cos, gfc_simplify_exp, gfc_simplify_log,
823 gfc_simplify_sin, gfc_simplify_sqrt): Add MPC support.
825 2009-05-25 Janus Weil <janus@gcc.gnu.org>
828 * primary.c (gfc_match_varspec): Handle procedure pointer components
829 with array return value.
830 * resolve.c (resolve_expr_ppc): Ditto.
831 (resolve_symbol): Make sure the interface of a procedure pointer has
833 * trans-array.c (gfc_walk_function_expr): Handle procedure pointer
834 components with array return value.
835 * trans-expr.c (gfc_conv_component_ref,gfc_conv_procedure_call,
836 gfc_trans_arrayfunc_assign): Ditto.
837 (gfc_trans_pointer_assignment): Handle procedure pointer assignments,
838 where the rhs is a dummy argument.
839 * trans-types.c (gfc_get_ppc_type,gfc_get_derived_type): Handle
840 procedure pointer components with array return value.
842 2009-05-24 Jerry DeLisle <jvdelisle@gcc.gnu.org>
847 * trans-array.c (gfc_conv_ss_startstride): Add one to index.
849 2009-05-22 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
852 * module.c (read_md5_from_module_file): Close file before returning.
854 2009-05-18 Janus Weil <janus@gcc.gnu.org>
857 * primary.c (gfc_match_rvalue): Handle procedure pointer components in
859 * resolve.c (resolve_ppc_call,resolve_expr_ppc): Resolve component and
861 (resolve_fl_derived): Procedure pointer components are not required to
862 have constant array bounds in their return value.
864 2009-05-18 Janus Weil <janus@gcc.gnu.org>
866 * intrinsic.c (add_sym): Fix my last commit (r147655),
867 which broke bootstrap.
869 2009-05-18 Richard Guenther <rguenther@suse.de>
872 * trans-expr.c (gfc_trans_zero_assign): For local array
873 destinations use an assignment from an empty constructor.
875 2009-05-18 Janus Weil <janus@gcc.gnu.org>
879 * expr.c (gfc_check_pointer_assign): Check intents when comparing
881 * gfortran.h (typedef struct gfc_intrinsic_arg): Add 'intent' member.
882 (gfc_compare_interfaces): Additional argument.
883 * interface.c (operator_correspondence): Add check for equality of
884 intents, and new argument 'intent_check'.
885 (gfc_compare_interfaces): New argument 'intent_check', which is passed
886 on to operator_correspondence.
887 (check_interface1): Don't check intents when comparing interfaces.
888 (compare_parameter): Do check intents when comparing interfaces.
889 * intrinsic.c (add_sym): Add intents for arguments of intrinsic
891 (add_sym_1,add_sym_1s,add_sym_1m,add_sym_2,add_sym_2s,add_sym_3,
892 add_sym_3ml,add_sym_3red,add_sym_3s,add_sym_4): Use INTENT_IN by
894 (add_sym_1_intent,add_sym_1s_intent,add_sym_2s_intent,add_sym_3s_intent)
895 : New functions to add intrinsic symbols, specifying custom intents.
896 (add_sym_4s,add_sym_5s): Add new arguments to specify intents.
897 (add_functions,add_subroutines): Add intents for various intrinsics.
898 * resolve.c (check_generic_tbp_ambiguity): Don't check intents when
899 comparing interfaces.
900 * symbol.c (gfc_copy_formal_args_intr): Copy intent.
902 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
904 * iso-fortran-env.def: Define INT8, INT16, INT32, INT64, REAL32,
906 * gfortran.h (gfc_get_int_kind_from_width_isofortranenv,
907 gfc_get_real_kind_from_width_isofortranenv): New prototypes.
908 * iso-c-binding.def: Update definitions for the INT*_T,
909 INT_LEAST*_T and INT_FAST*_T named parameters.
910 * trans-types.c (get_typenode_from_name, get_int_kind_from_name,
911 gfc_get_real_kind_from_width_isofortranenv): New functions.
913 2009-05-17 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
916 * intrinsic.c (add_functions, add_subroutines): Fix argument
917 names and wrap long lines.
918 * intrinsic.texi: Fix documentation and argument names of
919 LOG_GAMMA, DATAN2, DBESJN, DTIME, ETIME, FSTAT, STAT, LSTAT,
920 GET_COMMAND, IDATE, LTIME, MOVE_ALLOC, NINT, OR, PRODUCT,
921 SUM, RAND, RANDOM_SEED, REAL, SELECTED_INT_KIND,
922 SELECTED_REAL_KIND and XOR.
924 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
927 * intrinsic.c (add_functions): Use ERFC_SCALED simplification.
928 * intrinsic.h (gfc_simplify_erfc_scaled): New prototype.
929 * simplify.c (fullprec_erfc_scaled, asympt_erfc_scaled,
930 gfc_simplify_erfc_scaled): New functions.
932 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
935 * resolve.c (resolve_substring): Don't allow too large substring
937 (gfc_resolve_substring_charlen): Fix typo.
938 (gfc_resolve_character_operator): Fix typo.
939 (resolve_charlen): Catch unreasonably large string lengths.
940 * simplify.c (gfc_simplify_len): Don't error out on LEN
943 2009-05-16 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
946 * decl.c (set_enum_kind): Use global short-enums flag.
947 * gfortran.h (gfc_option_t): Remove short_enums flag.
948 * lang.opt (-fshort-enums): Refer to C documentation.
949 * options.c (gfc_init_options, gfc_handle_option): Use global
952 2009-05-15 Tobias Burnus <burnus@net-b.de>
955 * f95-lang.c: Add gfc_maybe_initialize_eh.
956 * gfortran.h: Add gfc_maybe_initialize_eh prototype.
957 * Make-lang.in: Add new .h dendencies for f95-lang.c
958 * openmp.c (resolve_omp_do): Call gfc_maybe_initialize_eh.
959 * misc.c (gfc_free): Avoid #define trickery for free.
961 2009-05-14 Steven G. Kargl <kargl@gcc.gnu.org>
963 * dump-parse-tree.c (show_code_node): Add ERRMSG to the dumping
964 of allocate and deallocate statements.
966 2009-05-14 Ian Lance Taylor <iant@google.com>
968 * decl.c (match_attr_spec): Change d to unsigned int.
969 * dump-parse-tree.c (show_namespace): Change op to int. Add cast.
970 * interface.c (gfc_check_interfaces): Change i to int. Add casts.
971 * module.c (read_module): Change i to int. Add cast.
972 (write_module): Change i to int.
973 * symbol.c (gfc_get_namespace): Change in to int.
974 (gfc_free_namespace): Change i to int.
975 * trans-io.c (gfc_build_io_library_fndecls): Change ptype to
976 unsigned int. Add cast.
977 * trans-types.c (gfc_init_kinds): Change mode to unsigned int.
980 2009-05-14 Daniel Kraft <d@domob.eu>
983 * dump-parse-tree.c (show_typebound): Fix missing adaption to new
984 type-bound procedure storage structure.
986 2009-05-14 Janus Weil <janus@gcc.gnu.org>
989 * decl.c (gfc_match_function_decl): Use gfc_add_type.
990 * symbol.c (gfc_add_type): Better checking for duplicate types in
991 function declarations. And: Always give an error for duplicte types,
992 not just a warning with -std=gnu.
994 2009-05-14 Jakub Jelinek <jakub@redhat.com>
997 * io.c (resolve_tag_format): CHARACTER array in FMT= argument
998 isn't an extension. Reject non-CHARACTER array element of
999 assumed shape or pointer or assumed size array.
1000 * trans-array.c (array_parameter_size): New function.
1001 (gfc_conv_array_parameter): Add size argument. Call
1002 array_parameter_size if it is non-NULL.
1003 * trans-array.h (gfc_conv_array_parameter): Adjust prototype.
1004 * trans-expr.c (gfc_conv_function_call, gfc_trans_arrayfunc_assign):
1006 * trans-intrinsic.c (gfc_conv_intrinsic_loc): Likewise.
1007 * trans-io.c (gfc_convert_array_to_string): Rewritten.
1009 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
1011 * gfortran.h (gfc_code): Rename struct member expr to expr1.
1012 * openmp.c (resolve_omp_atomic): Update expr to expr1.
1013 * interface.c (gfc_extend_assign): Ditto.
1014 * trans-expr.c (gfc_conv_expr_reference, gfc_trans_assignment,
1015 gfc_trans_init_assign): Ditto.
1016 * dump-parse-tree.c (show_code_node): Ditto.
1017 * trans-openmp.c (gfc_trans_omp_atomic): Ditto.
1018 * trans-stmt.c ( gfc_trans_label_assign, gfc_trans_goto, gfc_trans_call,
1019 gfc_trans_return, gfc_trans_pause, gfc_trans_stop, gfc_trans_if_1,
1020 gfc_trans_arithmetic_if, gfc_trans_do_while, gfc_trans_integer_select,
1021 gfc_trans_logical_select, gfc_trans_character_select
1022 forall_make_variable_temp, check_forall_dependencies
1023 gfc_trans_forall_1, gfc_trans_where_2, gfc_trans_where_3
1024 gfc_trans_where, gfc_trans_allocate, gfc_trans_deallocate): Ditto.
1025 * io.c (match_io_element, gfc_match_inquire): Ditto.
1026 * resolve.c (resolve_typebound_call, resolve_ppc_call,
1027 resolve_allocate_expr, resolve_allocate_deallocate, resolve_select,
1028 resolve_transfer, resolve_where, gfc_resolve_assign_in_forall,
1029 gfc_resolve_blocks, resolve_code, build_init_assign): Ditto.
1030 * st.c (gfc_free_statement): Ditto.
1031 * match.c (gfc_match_assignment, gfc_match_pointer_assignment,
1032 match_arithmetic_if, gfc_match_if, gfc_match_elseif
1033 gfc_match_stopcode, gfc_match_assign, gfc_match_goto,
1034 gfc_match_nullify, match_typebound_call, gfc_match_call
1035 gfc_match_select, match_simple_where, gfc_match_where
1036 gfc_match_elsewhere, match_simple_forall, gfc_match_forall): Ditto.
1037 * trans-io.c (gfc_trans_transfer): Ditto.
1038 * parse.c (parse_where_block, parse_if_block): Ditto.
1040 2009-05-13 Steven G. Kargl <kargl@gcc.gnu.org>
1042 * gfortran.h (gfc_code): Rename struct member label to label1.
1043 * dump-parse-tree.c (show_code_node): Update symbol.
1044 * trans-stmt.c (gfc_trans_label_assign, gfc_trans_goto,
1045 gfc_trans_arithmetic_if): Ditto.
1046 * resolve.c (gfc_resolve_blocks, resolve_code): Ditto.
1047 * match.c (match_arithmetic_if, gfc_match_if, gfc_reference_st_label,
1048 gfc_match_assign, gfc_match_goto): Ditto.
1049 * parse.c (parse_do_block): Ditto.
1051 2009-05-13 Tobias Burnus <burnus@net-b.de>
1054 * gfortran.h (gfc_exec_op): Add EXEC_END_PROCEDURE.
1055 * dump-parse-tree.c (show_code_node): Use EXEC_END_PROCEDURE.
1056 * trans.c (gfc_trans_code): Ditto.
1057 * resolve.c (resolve_code): Ditto.
1058 * st.c (gfc_free_statement): Ditto.
1059 * parse.c (accept_statement): Ditto.
1061 2009-05-12 Tobias Burnus <burnus@net-b.de>
1064 * decl.c (gfc_match_kind_spec): Turn C kind error into a warning.
1066 2009-05-11 Steve Ellcey <sje@cup.hp.com>
1068 * resolve.c (check_host_association): Initialize tail.
1070 2009-05-11 Janus Weil <janus@gcc.gnu.org>
1073 * resolve.c (resolve_fl_derived): Only return FAILURE if
1074 gfc_notify_std fails.
1076 2009-05-10 Ian Lance Taylor <iant@google.com>
1078 * gfortran.h (enum gfc_omp_sched_kind): New enum, broken out of
1080 (enum gfc_omp_default_sharing): Likewise.
1081 * module.c (enum gfc_rsym_state): New enum, broken out of
1083 (enum gfc_wsym_state): Likewise.
1084 * parse.c (enum state_order): New enum, broken out of st_state.
1086 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
1089 * trans-array.c (gfc_trans_array_constructor_value): Fold
1090 convert numeric constants.
1091 (gfc_build_constant_array_constructor): The same.
1093 2009-05-10 Paul Thomas <pault@gcc.gnu.org>
1096 * trans-expr.c (gfc_conv_operator_assign): Remove function.
1097 * trans.h : Remove prototype for gfc_conv_operator_assign.
1098 * trans-stmt.c (gfc_conv_elemental_dependencies): Initialize
1099 derivde types with intent(out).
1100 (gfc_trans_call): Add mask, count1 and invert arguments. Add
1101 code to use mask for WHERE assignments.
1102 (gfc_trans_forall_1): Use new arguments for gfc_trans_call.
1103 (gfc_trans_where_assign): The gfc_symbol argument is replaced
1104 by the corresponding code. If this has a resolved_sym, then
1105 gfc_trans_call is called. The call to gfc_conv_operator_assign
1107 (gfc_trans_where_2): Change the last argument in the call to
1108 gfc_trans_where_assign.
1109 * trans-stmt.h : Modify prototype for gfc_trans_call.
1110 * trans.c (gfc_trans_code): Use new args for gfc_trans_call.
1112 2009-05-08 Janus Weil <janus@gcc.gnu.org>
1115 * intrinsic.c (gfc_is_intrinsic): Do not add the EXTERNAL attribute if
1116 the symbol is a module procedure.
1118 2009-05-08 Tobias Burnus <burnus@net-b.de>
1120 * invoke.texi: Add do/recursion to the -fcheck= summary.
1122 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1125 * gfortran.texi: Document that we don't support variable FORMAT
1128 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1131 * error.c (error_print): Add missing break statement.
1133 2009-05-07 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1136 * invoke.texi: Document that -fdollar-ok does not allow $ to be
1137 used in IMPLICIT statement.
1139 2009-05-06 Janus Weil <janus@gcc.gnu.org>
1140 Paul Thomas <pault@gcc.gnu.org>
1143 * decl.c (match_procedure_interface): New function to match the
1144 interface for a PROCEDURE statement.
1145 (match_procedure_decl): Call match_procedure_interface.
1146 (match_ppc_decl): New function to match the declaration of a
1147 procedure pointer component.
1148 (gfc_match_procedure): Call match_ppc_decl.
1149 (match_binding_attributes): Add new argument 'ppc' and handle the
1150 POINTER attribute for procedure pointer components.
1151 (match_procedure_in_type,gfc_match_generic): Added new argument to
1152 match_binding_attributes.
1153 * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
1154 procedure pointer components.
1155 * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
1156 (gfc_check_pointer_assign): Handle procedure pointer components, but no
1158 (is_proc_ptr_comp): New function to determine if an expression is a
1159 procedure pointer component.
1160 * gfortran.h (expr_t): Add EXPR_PPC.
1161 (symbol_attribute): Add new member 'proc_pointer_comp'.
1162 (gfc_component): Add new member 'formal'.
1163 (gfc_exec_op): Add EXEC_CALL_PPC.
1164 (gfc_get_default_type): Changed first argument.
1165 (is_proc_ptr_comp): Add prototype.
1166 (gfc_match_varspec): Add new argument.
1167 * interface.c (compare_actual_formal): Handle procedure pointer
1169 * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
1170 procedure pointer components.
1171 * module.c (mio_expr): Handle EXPR_PPC.
1172 * parse.c (parse_derived): Handle procedure pointer components.
1173 * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
1174 procedure pointer components.
1175 (gfc_variable_attr): Handle procedure pointer components.
1176 (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
1177 first argument of gfc_get_default_type.
1178 (match_variable): Added new argument to gfc_match_varspec.
1179 * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
1180 first argument of gfc_get_default_type.
1181 (resolve_structure_cons,resolve_actual_arglist): Handle procedure
1183 (resolve_ppc_call): New function to resolve a call to a procedure
1184 pointer component (subroutine).
1185 (resolve_expr_ppc): New function to resolve a call to a procedure
1186 pointer component (function).
1187 (gfc_resolve_expr): Handle EXPR_PPC.
1188 (resolve_code): Handle EXEC_CALL_PPC.
1189 (resolve_fl_derived): Copy the interface for a procedure pointer
1191 (resolve_symbol): Fix overlong line.
1192 * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
1193 * symbol.c (gfc_get_default_type): Changed first argument.
1194 (gfc_set_default_type): Changed first argument of gfc_get_default_type.
1195 (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
1196 * trans.h (gfc_conv_function_call): Renamed.
1197 * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
1198 * trans-expr.c (gfc_conv_component_ref): Ditto.
1199 (gfc_conv_function_val): Rename to 'conv_function_val', add new
1200 argument 'expr' and handle procedure pointer components.
1201 (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
1202 (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
1203 (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
1204 argument 'expr' and handle procedure pointer components.
1205 (gfc_get_proc_ptr_comp): New function to get the backend decl for a
1206 procedure pointer component.
1207 (gfc_conv_function_expr): Renamed gfc_conv_function_call.
1208 (gfc_conv_structure): Handle procedure pointer components.
1209 * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
1210 conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
1211 * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
1212 * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
1213 * trans-types.h (gfc_get_ppc_type): Add prototype.
1214 * trans-types.c (gfc_get_ppc_type): New function to build a tree node
1215 for a procedure pointer component.
1216 (gfc_get_derived_type): Handle procedure pointer components.
1218 2009-05-06 Tobias Burnus <burnus@net-b.de>
1221 * resolve.c (resolve_symbol): Print no warning for implicitly
1222 typed intrinsic functions.
1224 2009-05-05 Janus Weil <janus@gcc.gnu.org>
1227 * expr.c (gfc_check_pointer_assign): Check for statement functions and
1228 internal procedures in procedure pointer assignments.
1230 2009-04-28 Janus Weil <janus@gcc.gnu.org>
1233 * resolve.c (resolve_symbol): Correctly copy the interface of a
1234 PROCEDURE statement if the interface involves a RESULT variable.
1236 2009-04-28 Janus Weil <janus@gcc.gnu.org>
1240 * expr.c (gfc_check_pointer_assign): Correctly detect if the left hand
1242 * parse.c (gfc_fixup_sibling_symbols): Don't check for ambiguity.
1244 2009-04-28 Paul Thomas <pault@gcc.gnu.org>
1247 * trans_expr.c (gfc_conv_procedure_call): Deep copy a derived
1248 type parentheses argument if it is a variable with allocatable
1251 2009-04-27 Ian Lance Taylor <iant@google.com>
1253 * trans-intrinsic.c (DEFINE_MATH_BUILTIN): Add casts to enum
1255 * trans-io.c (st_parameter_field): Add casts to enum type.
1257 2009-04-26 Steven G. Kargl <kargl@gcc.gnu.org>
1260 fortran/data.c (gfc_assign_data_value): If the lvalue is an
1261 assumed character length entity in a data statement, then
1262 return FAILURE to prevent segmentation fault.
1264 2009-04-26 Jakub Jelinek <jakub@redhat.com>
1266 * trans-decl.c: Include pointer-set.h.
1267 (nonlocal_dummy_decl_pset, tree nonlocal_dummy_decls): New variables.
1268 (gfc_nonlocal_dummy_array_decl): New function.
1269 (gfc_get_symbol_decl): Call it for non-local dummy args with saved
1271 (gfc_get_symbol_decl): Set DECL_BY_REFERENCE when needed.
1272 (gfc_generate_function_code): Initialize nonlocal_dummy_decl{s,_pset},
1273 chain it to outermost block's vars, destroy it afterwards.
1274 * Make-lang.in (trans-decl.o): Depend on pointer-set.h.
1276 2009-04-25 Janus Weil <janus@gcc.gnu.org>
1279 * decl.c (gfc_match_import): Use 'sym->name' instead of 'name'.
1280 They differ if the symbol has been use-renamed.
1282 2009-04-24 Ian Lance Taylor <iant@google.com>
1284 * gfortran.h (enum gfc_symbol_type): New named enum type, broken
1285 out of struct gfc_symbol.
1286 (struct gfc_symbol): Use enum gfc_symbol_type.
1287 (enum gfc_array_ref_dimen_type): New named enum type, broken out
1288 of struct gfc_array_ref).
1289 (struct gfc_array_ref): Use enum gfc_array_ref_dimen_type.
1290 (mod_pointee_as): Update declaration.
1291 * decl.c (add_global_entry): Change type to enum gfc_symbol_type.
1292 (gfc_mod_pointee_as): Change return type to "match".
1293 * module.c (mio_array_ref): Add cast to enum type.
1294 (mio_symbol): Likewise.
1295 * resolve.c (resolve_global_procedure): Change type to enum
1297 * trans-io.c (gfc_build_st_parameter): Change type to unsigned
1300 2009-04-24 Daniel Kraft <d@domob.eu>
1302 * gfortran.h (gfc_get_typebound_proc): Removed as macro, now a function.
1303 (struct gfc_symtree): Moved "typebound" member inside union.
1304 (struct gfc_namespace): Add "tb_sym_root" as new symtree to sort out
1305 type-bound procedures there.
1306 (gfc_get_tbp_symtree): New procedure.
1307 * symbol.c (tentative_tbp_list): New global.
1308 (gfc_get_namespace): NULL new "tb_sym_root" member.
1309 (gfc_new_symtree): Removed initialization of "typebound" member.
1310 (gfc_undo_symbols): Process list of tentative tbp's.
1311 (gfc_commit_symbols): Ditto.
1312 (free_tb_tree): New method.
1313 (gfc_free_namespace): Call it.
1314 (gfc_get_typebound_proc): New method.
1315 (gfc_get_tbp_symtree): New method.
1316 (gfc_find_typebound_proc): Adapt to structural changes of gfc_symtree
1317 and gfc_namespace with regards to tbp's.
1318 * dump-parse-tree.c (show_typebound): Ditto.
1319 * primary.c (gfc_match_varspec): Ditto. Don't reference tbp-symbol
1320 as it isn't a symbol any longer.
1321 * module.c (mio_typebound_symtree): Adapt to changes.
1322 (mio_typebound_proc): Ditto, create symtrees using "gfc_get_tbp_symtree"
1323 rather than "gfc_get_sym_tree".
1324 (mio_f2k_derived): Ditto.
1325 * decl.c (match_procedure_in_type): Ditto.
1326 (gfc_match_generic): Ditto. Don't reference tbp-symbol.
1327 * resolve.c (check_typebound_override): Adapt to changes.
1328 (resolve_typebound_generic): Ditto.
1329 (resolve_typebound_procedures): Ditto.
1330 (ensure_not_abstract_walker): Ditto.
1331 (ensure_not_abstract): Ditto.
1332 (resolve_typebound_procedure): Ditto, ignore erraneous symbols (for
1333 instance, through removed tentative ones).
1334 * gfc-internals.texi (Type-bound procedures): Document changes.
1336 2009-04-24 Janus Weil <janus@gcc.gnu.org>
1340 * symbol.c (gfc_copy_formal_args_intr): Set attr.flavor and attr.dummy
1341 for the formal arguments.
1343 2009-04-21 Taras Glek <tglek@mozilla.com>
1345 * f95-lang.c: Update GTY annotations to new syntax.
1346 * trans-intrinsic.c: Likewise.
1347 * trans-io.c: Likewise.
1348 * trans.h: Likewise.
1350 2009-04-22 Janus Weil <janus@gcc.gnu.org>
1353 * decl.c (add_hidden_procptr_result): Bugfix for procptr results.
1354 (match_procedure_decl): Set if_source.
1355 * expr.c (gfc_check_pointer_assign): Bugfix: Return after error.
1356 And: Check interface also for IFSRC_UNKNOWN (return type may be known).
1357 * gfortran.h (typedef enum ifsrc): Remove IFSRC_USAGE,
1358 add documentation. Rename copy_formal_args and copy_formal_args_intr.
1359 * interface.c (gfc_compare_interfaces): Check for return types,
1360 handle IFSRC_UNKNOWN.
1361 (compare_intr_interfaces,compare_actual_formal_intr): Obsolete, removed.
1362 (gfc_procedure_use): Modified handling of intrinsics.
1363 * intrinsic.c (add_functions): Bugfix for "dim".
1364 * resolve.c (resolve_intrinsic): New function to resolve intrinsics,
1365 which copies the interface from isym to sym.
1366 (resolve_procedure_expression,resolve_function): Use new function
1367 'resolve_intrinsic'.
1368 (resolve_symbol): Add function attribute for externals with return type
1369 and use new function 'resolve_intrinsic'.
1370 * symbol.c (ifsrc_types): Remove string for IFSRC_USAGE.
1371 (copy_formal_args): Renamed to gfc_copy_formal_args.
1372 (copy_formal_args_intr): Renamed to gfc_copy_formal_args_intr.
1373 * trans-const.c (gfc_conv_const_charlen): Handle cl==NULL.
1375 2009-04-21 Joseph Myers <joseph@codesourcery.com>
1377 * ChangeLog, ChangeLog-2002, ChangeLog-2003, ChangeLog-2004,
1378 ChangeLog-2005, ChangeLog-2006, ChangeLog-2007, ChangeLog-2008,
1379 ChangeLog.ptr, config-lang.in, ioparm.def, mathbuiltins.def: Add
1380 copyright and license notices.
1381 * ChangeLog, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
1382 ChangeLog-2008: Correct dates.
1384 2009-04-20 Tobias Burnus <burnus@net-b.de>
1387 * scanner.c (load_line): Fix bogus "&" compile-time diagnostic.
1389 2009-04-20 Paul Thomas <pault@gcc.gnu.org>
1392 * resolve.c (is_sym_host_assoc): New function.
1393 (resolve_fl_derived): Call it when checking PRIVATE components
1394 of PUBLIC derived types. Change gfc_error to a gfc_notify_std
1396 (resolve_fl_namelist): Call it twice to check for host
1399 2009-04-20 Ian Lance Taylor <iant@google.com>
1401 * module.c (import_iso_c_binding_module): Add casts to enum type.
1402 * trans-intrinsic.c (gfc_conv_intrinsic_minmax): Change op to enum
1404 (gfc_conv_intrinsic_anyall): Likewise.
1405 (gfc_conv_intrinsic_arith): Likewise.
1406 (gfc_conv_intrinsic_minmaxloc): Likewise.
1407 (gfc_conv_intrinsic_minmaxval): Likewise.
1408 (gfc_conv_intrinsic_bitop): Likewise.
1409 (gfc_conv_intrinsic_singlebitop): Likewise.
1410 (gfc_conv_intrinsic_strcmp): Likewise.
1412 2009-04-20 Vasilis Liaskovitis <vliaskov@gmail.com>
1413 Jakub Jelinek <jakub@redhat.com>
1416 * trans.h (OMPWS_WORKSHARE_FLAG, OMPWS_CURR_SINGLEUNIT,
1417 OMPWS_SCALARIZER_WS, OMPWS_NOWAIT): Define.
1418 (ompws_flags): New extern decl.
1419 * trans-array.c (gfc_trans_scalarized_loop_end): Build OMP_FOR
1420 for the outer dimension if ompws_flags allow it.
1421 * trans.c (gfc_generate_code): Clear ompws_flags.
1422 * trans-expr.c (gfc_trans_assignment_1): Allow worksharing
1423 array assignments inside of !$omp workshare.
1424 * trans-stmt.c (gfc_trans_where_3): Similarly for where statements
1426 * trans-openmp.c (ompws_flags): New variable.
1427 (gfc_trans_omp_workshare): Rewritten.
1429 2009-04-11 Daniel Kraft <d@domob.eu>
1432 * gfortran.h (struct gfc_charlen): New field "passed_length" to store
1433 the actual passed string length for dummy arguments.
1434 * trans-decl.c (gfc_create_string_length): Formatting fixes and added
1435 assertion, moved a local variable into the innermost block it is needed.
1436 (create_function_arglist): Removed TODO about the check being
1437 implemented and initialize cl->passed_length here.
1438 (add_argument_checking): New method.
1439 (gfc_generate_function_code): Call the argument checking method.
1441 2009-04-11 Janus Weil <janus@gcc.gnu.org>
1444 * symbol.c (check_conflict): Reject procedure pointers for -std=f95.
1446 2009-04-11 Daniel Franke <franke.daniel@gmail.com>
1448 * resolve.c (resolve_global_procedure): Enable whole-file checking for
1449 procedures that are declared later in the file.
1451 2009-04-10 Paolo Bonzini <bonzini@gnu.org>
1454 * trans.c (gfc_allocate_with_status): Fix type mismatches
1457 2009-04-10 Daniel Franke <franke.daniel@gmail.com>
1460 * expr.c (find_array_section): Leave early on zero-sized arrays.
1462 2009-04-09 Janus Weil <janus@gcc.gnu.org>
1465 * decl.c (add_hidden_procptr_result): New function for handling
1466 procedure pointer return values by adding a hidden result variable.
1467 (variable_decl,match_procedure_decl,gfc_match_function_decl,
1468 gfc_match_subroutine,gfc_match_end,attr_decl1): Handle procedure pointer
1470 * parse.c (parse_interface): Add EXTERNAL attribute only after
1471 FUNCTION/SUBROUTINE declaration is complete.
1472 * primary.c (replace_hidden_procptr_result): New function for replacing
1473 function symbol by hidden result variable.
1474 (gfc_match_rvalue,match_variable): Replace symbol by hidden result
1476 * resolve.c (resolve_contained_fntype,resolve_function,resolve_variable,
1477 resolve_symbol): Allow for procedure pointer function results.
1478 (resolve_fl_procedure): Conflict detection moved here from
1480 * symbol.c (gfc_check_function_type): Allow for procedure pointer
1482 (check_conflict): Move some conflict detection to resolution stage.
1483 * trans-types.c (gfc_sym_type,gfc_get_function_type): Handle hidden
1486 2009-04-08 Jakub Jelinek <jakub@redhat.com>
1488 * trans-types.c (gfc_init_types): Ensure gfc_integer_types doesn't
1489 contain TYPE_STRING_FLAG types.
1491 2009-04-08 Janne Blomqvist <jb@gcc.gnu.org>
1494 * invoke.texi (fdollar-ok): Fix typo.
1496 2009-04-08 Daniel Franke <franke.daniel@gmail.com>
1499 * invoke.texi (fdollar-ok): Clarify limitations.
1501 2009-04-08 Paul Thomas <pault@gcc.gnu.org>
1504 * trans-array.c (gfc_trans_deferred_array): Return if this
1505 is a result variable.
1507 2009-04-07 Janus Weil <janus@gcc.gnu.org>
1510 * trans-decl.c (gfc_get_symbol_decl): Correctly set decl location for
1511 procedure pointer decls.
1513 2009-04-07 Janus Weil <janus@gcc.gnu.org>
1516 * expr.c (gfc_check_pointer_assign): Enable interface check for
1518 * gfortran.h: Add copy_formal_args_intr.
1519 * interface.c (gfc_compare_interfaces): Call gfc_compare_intr_interfaces
1520 if second argument is an intrinsic.
1521 (compare_intr_interfaces): Correctly set attr.function, attr.subroutine
1523 (compare_parameter): Call gfc_compare_interfaces also for intrinsics.
1524 * resolve.c (resolve_specific_f0,resolve_specific_s0): Don't resolve
1525 intrinsic interfaces here. Must happen earlier.
1526 (resolve_symbol): Resolution of intrinsic interfaces moved here from
1527 resolve_specific_..., and formal args are now copied from intrinsic
1529 * symbol.c (copy_formal_args_intr): New function to copy the formal
1530 arguments from an intinsic procedure.
1532 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
1535 * dependency.c (ref_same_as_full_array): New function.
1536 (gfc_dep_resolver): Call it.
1538 2009-04-06 Janus Weil <janus@gcc.gnu.org>
1541 * decl.c (match_procedure_decl): Fix double declaration problems with
1542 PROCEDURE statements.
1543 * symbol.c (gfc_add_type): Ditto.
1545 2009-04-06 Paul Thomas <pault@gcc.gnu.org>
1548 * trans-array.c (gfc_conv_array_ref): If the symbol has the
1549 temporary attribute use the array_spec for the bounds.
1550 * gfortran.h : Add the temporary field to the structure
1552 * trans-stmt.c (forall_make_variable_temp): Set the symbol's
1553 temporary attribute.
1555 2009-04-05 Daniel Franke <franke.daniel@gmail.com>
1558 * trans-array.c (gfc_trans_array_constructor_value): Shadow
1559 implied do-loop variable to avoid spurious middle-end warnings.
1561 2009-04-04 Tobias Burnus <burnus@net-b.de>
1564 * trans-decl.c (gfc_generate_function_code): Move recursive
1565 check to the right position.
1567 2009-04-04 Paul Thomas <pault@gcc.gnu.org>
1570 * trans-common.c (translate_common): Do not offset the whole
1573 2009-04-03 Tobias Burnus <burnus@net-b.de>
1576 * resolve.c (resolve_common_vars): Add FL_VARIABLE to symbol
1577 if it is not a procedure pointer.
1578 * primary.c (match_actual_arg): Ditto.
1580 2009-03-31 Joseph Myers <joseph@codesourcery.com>
1582 PR preprocessor/15638
1583 * cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
1585 2009-03-30 Steven G. Kargl <kargls@comcast.net>
1588 * trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
1589 (gfc_trans_deallocate): Add translation of ERRMSG. Remove stale
1590 comments. Minor whitespace cleanup.
1591 * resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
1592 (resolve_deallocate_expr (gfc_expr *e): Update error message.
1593 (resolve_allocate_expr): Remove dead code. Update error message.
1594 Move error checking to ...
1595 (resolve_allocate_deallocate): ... here. Add additional error
1596 checking for STAT, ERRMSG, and allocate-objects.
1597 * match.c(gfc_match_allocate,gfc_match_deallocate): Parse ERRMSG.
1598 Check for redundant uses of STAT and ERRMSG. Reword error message
1599 and add checking for pointer, allocatable, and proc_pointer attributes.
1601 2009-03-30 Paul Thomas <pault@gcc.gnu.org>
1606 * symbol.c : Add gfc_global_ns_list.
1607 * decl.c (add_global_entry): Set the namespace ('ns') field.
1608 * gfortran.h : Add the resolved field to gfc_namespace. Add the
1609 namespace ('ns') field to gfc_gsymbol. Add flag_whole_file to
1610 gfc_option_t. Add the prototype for gfc_free_dt_list.
1611 * lang.opt : Add the whole-file option.
1612 * invoke.texi : Document the whole-file option.
1613 * resolve.c (resolve_global_procedure): If the fwhole-file
1614 option is set, reorder gsymbols to ensure that translation is
1615 in the right order. Resolve the gsymbol's namespace if that
1616 has not occurred and then check interfaces.
1617 (resolve_function): Move call to resolve_global_procedure.
1618 (resolve_call): The same.
1619 (resolve_codes): Store the current labels_obstack.
1620 (gfc_resolve) : Return if the namespace is already resolved.
1621 trans-decl.c (gfc_get_extern_function_decl): If the whole_file
1622 option is selected, use the backend_decl of a gsymbol, if it is
1624 parse.c (add_global_procedure, add_global_program): If the flag
1625 whole-file is set, add the namespace to the gsymbol.
1626 (gfc_parse_file): On -fwhole-file, put procedure namespaces on
1627 the global namespace list. Rearrange to do resolution of all
1628 the procedures in a file, followed by their translation.
1629 * options.c (gfc_init_options): Add -fwhole-file.
1630 (gfc_handle_option): The same.
1632 2009-03-30 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
1634 * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
1635 family of intrinsics instead of BUILT_IN_INF family.
1636 * trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
1637 BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
1639 2009-03-30 Jakub Jelinek <jakub@redhat.com>
1641 * trans-types.c (gfc_sym_type, gfc_return_by_reference): For
1642 sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
1644 2009-03-30 Joseph Myers <joseph@codesourcery.com>
1646 PR rtl-optimization/323
1647 * options.c (gfc_post_options): Set
1648 flag_excess_precision_cmdline. Give an error for
1649 -fexcess-precision=standard for processors where the option is
1652 2009-03-29 Joseph Myers <joseph@codesourcery.com>
1654 PR preprocessor/34695
1655 * cpp.c (cb_cpp_error): New.
1656 (gfc_cpp_post_options): Don't set cpp_option->inhibit_warnings.
1657 Don't check cpp_errors (cpp_in).
1658 (gfc_cpp_init_0): Set cb->error.
1660 2009-03-29 Steven G. Kargl <kargl@gcc.gnu.org>
1663 * gfortran.h: Add ARITH_PROHIBIT to arith enum.
1664 expr.c (gfc_match_init_expr): Add global variable init_flag to
1665 flag matching an initialization expression.
1666 (check_intrinsic_op): Move no longer reachable error message to ...
1667 * arith.c (arith_power): ... here. Remove gfc_ prefix in
1668 gfc_arith_power. Use init_flag. Allow constant folding of x**y
1669 when y is REAL or COMPLEX.
1670 (eval_intrinsic): Remove restriction that y in x**y must be INTEGER
1671 for constant folding.
1672 * gfc_power: Update gfc_arith_power to arith_power
1674 2009-03-29 Daniel Kraft <d@domob.eu>
1677 * gfortran.h (struct gfc_typebound_proc): Added new flag "deferred" and
1678 added a comment explaining DEFERRED binding handling.
1679 * decl.c (match_binding_attributes): Really match DEFERRED attribute.
1680 (match_procedure_in_type): Really match PROCEDURE(interface) syntax
1681 and do some validity checks for DEFERRED and this construct.
1682 * module.c (binding_overriding): New string constant for DEFERRED.
1683 (mio_typebound_proc): Module-IO DEFERRED flag.
1684 * resolve.c (check_typebound_override): Ensure that a non-DEFERRED
1685 binding is not overridden by a DEFERRED one.
1686 (resolve_typebound_procedure): Allow abstract interfaces as targets
1687 for DEFERRED bindings.
1688 (ensure_not_abstract_walker), (ensure_not_abstract): New methods.
1689 (resolve_fl_derived): Use new "ensure_not_abstract" method for
1690 non-ABSTRACT types extending ABSTRACT ones to ensure each DEFERRED
1691 binding is overridden.
1692 (check_typebound_baseobject): New method.
1693 (resolve_compcall), (resolve_typebound_call): Check base-object of
1694 the type-bound procedure call.
1695 * gfc-internals.texi (Type-bound procedures): Document a little bit
1696 about internal handling of DEFERRED bindings.
1698 2009-03-29 Tobias Schlueter <tobi@gcc.gnu.org>
1701 * gfortran.h (gfc_st_label): Fix comment.
1702 (gfc_exec_op): Add statement code EXEC_END_BLOCK for end of block.
1703 * parse.c (accept_statement): Use EXEC_END_BLOCK for END IF and
1704 END SELECT with labels.
1705 (check_do_closure): Fix formatting.
1706 (parse_do_block): Fix typo in error message.
1707 * resolve.c (code_stack): Remove tail member. Update comment to
1708 new use of reachable_labels.
1709 (reachable_labels): Rename to ...
1710 (find_reachable_labels): ... this. Overhaul. Update preceding
1712 (resolve_branch): Fix comment preceding function. Rewrite.
1713 (resolve_code): Update call to find_reachable_labels. Add code to
1714 deal with EXEC_END_BLOCK.
1715 * st.c (gfc_free_statement): Add code to deal with EXEC_END_BLOCK.
1716 Add 2009 to copyright years.
1717 * trans.c (gfc_trans_code): Likewise on both counts.
1719 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
1722 * expr.c (gfc_check_assign): Allow pointer components when
1726 * resolve.c (check_data_variable): Treat pointer arrays with
1729 2009-03-31 Paul Thomas <pault@gcc.gnu.org>
1732 * trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
1733 have a string_length.
1735 2009-03-28 Tobias Burnus <burnus@net-b.de>
1738 * trans-stmt.c (gfc_trans_simple_do, gfc_trans_do):
1739 Add GFC_RTCHECK_DO support.
1740 * option.c (gfc_handle_runtime_check_option): Enable GFC_RTCHECK_DO.
1741 * invoke.texi (-fcheck): Document "do" option.
1743 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
1746 * trans-array.c (get_elemental_fcn_charlen): Remove.
1747 (get_array_charlen): New function to replace previous.
1749 2009-03-28 Paul Thomas <pault@gcc.gnu.org>
1752 * parse.c (parse_derived): Do not break on finding pointer,
1753 allocatable or private components.
1755 2009-03-28 Tobias Burnus <burnus@net-b.de>
1758 * option.c (gfc_handle_runtime_check_option): Enable recursion check.
1759 * trans-decl.c (gfc_generate_function_code): Add recursion check.
1760 * invoke.texi (-fcheck): Add recursive option.
1762 2009-03-28 Tobias Burnus <burnus@net-b.de>
1765 * resolve.c (gfc_resolve_iterator): Add zero-loop warning.
1767 2009-03-28 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
1768 Paul Thomas <pault@gcc.gnu.org>
1769 Tobias Burnus <burnus@net-b.de>
1771 * gfortran.h (gfc_option_t): Add rtcheck.
1772 * lang.opt: New option -fcheck.
1773 * libgfortran.h: Add GFC_RTCHECK_* constants.
1774 * invoke.texi: Document -fcheck.
1775 * options.c (gfc_handle_runtime_check_option): New function.
1776 (gfc_init_options,gfc_post_options,gfc_handle_option):
1779 2009-03-27 Richard Guenther <rguenther@suse.de>
1781 * trans-array.c (gfc_conv_descriptor_data_addr): Use
1782 gfc_build_addr_expr instead of build_fold_addr_expr.
1783 (gfc_trans_allocate_array_storage, gfc_trans_array_constructor_value,
1784 gfc_trans_constant_array_constructor, gfc_conv_array_data,
1785 gfc_conv_expr_descriptor, gfc_conv_array_parameter): Likewise.
1786 * trans-expr.c (gfc_conv_missing_dummy, gfc_conv_variable,
1787 gfc_conv_function_val, gfc_conv_operator_assign,
1788 gfc_conv_subref_array_arg, gfc_conv_function_call,
1789 gfc_conv_expr_reference, gfc_trans_scalar_assign): Likewise.
1790 * trans-intrinsic.c (gfc_conv_intrinsic_exponent,
1791 gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate,
1792 gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax_char,
1793 gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_spacing,
1794 gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_set_exponent,
1795 gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer,
1796 gfc_conv_intrinsic_si_kind, gfc_conv_intrinsic_trim): Likewise.
1797 * trans-io.c (gfc_trans_io_runtime_check, set_parameter_ref,
1798 gfc_convert_array_to_string, gfc_trans_open, gfc_trans_close,
1799 build_filepos, gfc_trans_inquire, gfc_trans_wait,
1800 nml_get_addr_expr, transfer_namelist_element, build_dt,
1801 gfc_trans_dt_end, transfer_array_component, transfer_expr,
1802 transfer_array_desc, gfc_trans_transfer): Likewise.
1803 * trans-stmt.c (gfc_trans_allocate, gfc_trans_deallocate): Likewise.
1804 * trans.c (gfc_build_addr_expr): Mark the base of the address
1807 2009-03-27 Tobias Burnus <burnus@net-b.de>
1809 * gfortran.h (enum init_local_real.): Add GFC_INIT_REAL_SNAN.
1810 (gfc_expr): Add is_snan.
1811 * trans-const.c (gfc_conv_mpfr_to_tree): Support SNaN.
1812 (gfc_conv_constant_to_tree): Update call to gfc_conv_mpfr_to_tree.
1813 * trans-const.h (gfc_conv_mpfr_to_tree): Update prototype.
1814 * resolve.c (build_default_init_expr): Update call.
1815 * target-memory.c (encode_float): Ditto.
1816 * trans-intrinsic.c (gfc_conv_intrinsic_aint,gfc_conv_intrinsic_mod,
1818 2009-03-18 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
1820 * lang.opt: Unify help texts for -I, -Wconversion, -d, -fopenmp,
1823 2009-03-06 Alexandre Oliva <aoliva@redhat.com>
1825 * simplify.c (gfc_simplify_transfer): Zero-initialize the
1828 2009-02-27 Tobias Burnus <burnus@net-b.de>
1831 * module.c (read_md5_from_module_file): Add missing quote.
1833 2009-02-27 Tobias Burnus <burnus@net-b.de>
1836 * module.c (read_md5_from_module_file): Include mod version
1837 in had-changed test.
1839 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
1842 * interface.c (compare_type_rank_if): Return 1 if the symbols
1843 are the same and deal with external procedures where one is
1844 identified to be a function or subroutine by usage but the
1847 2009-02-26 Paul Thomas <pault@gcc.gnu.org>
1850 * trans-array.c (gfc_conv_array_initializer): Convert all
1851 expressions rather than ICEing.
1853 2009-02-21 Thomas Koenig <tkoenig@gcc.gnu.org>
1856 * array.c (ref_dimen_size): Rename to gfc_ref_dimen_size,
1857 make global. Change function name in error messages.
1858 (ref_size): Change ref_dimen_size to gfc_ref_dimen_size.
1859 (gfc_array_ref_shape): Likewise.
1860 * gfortran.h: Add prototype for gfc_ref_dimen_size.
1861 * simplify.c (simplify_bound_dim): Add ref argument.
1862 If the reference isn't a full array, return one for
1863 the lower bound and the extent for the upper bound.
1864 (simplify_bound): For array sections, take as from the
1865 argument. Add reference to all to simplify_bound_dim.
1867 2009-02-19 Daniel Franke <franke.daniel@gmail.com>
1869 * scanner.c (load_line): At end of line, skip '\r' without setting
1870 the truncation flag.
1872 2009-02-18 Daniel Kraft <d@domob.eu>
1874 * gfortran.texi: New chapter about compiler characteristics.
1875 (Compiler Characteristics): Document KIND type parameters here.
1877 2009-02-18 Tobias Burnus <burnus@net-b.de>
1879 * intrinsic.texi (MALLOC): Make example more portable.
1881 2009-02-13 Mikael Morin <mikael.morin@tele2.fr>
1884 * module.c (gfc_dump_module,gfc_use_module): Add module
1887 2009-02-13 Paul Thomas <pault@gcc.gnu.org>
1891 * trans-expr.c (gfc_conv_function_val): Stabilize Cray-pointer
1892 function references to ensure that a valid expression is used.
1893 (gfc_conv_function_call): Pass Cray pointers to procedures.
1895 2009-02-03 Jakub Jelinek <jakub@redhat.com>
1897 * gfortranspec.c (lang_specific_driver): Update copyright notice
1900 2009-01-28 Paul Thomas <pault@gcc.gnu.org>
1904 * trans-intrinsic.c (gfc_conv_intrinsic_bound): Use the array
1905 descriptor ubound for UBOUND, when the array lbound == 1.
1907 2009-01-27 Daniel Kraft <d@domob.eu>
1910 * trans-stmt.c (gfc_conv_elemental_dependencies): Create temporary
1911 for the real type needed to make it work for subcomponent-references.
1913 2009-01-21 Daniel Kraft <d@domob.eu>
1915 * trans-stmt.c (gfc_conv_elemental_dependencies): Cleaned up comment.
1917 2009-01-20 Paul Thomas <pault@gcc.gnu.org>
1920 * resolve.c (check_host_association): Remove the matching to
1921 correct an incorrect host association and use manipulation of
1922 the expression instead.
1924 2009-01-20 Tobias Burnus <burnus@net-b.de>
1926 * invoke.texi (RANGE): RANGE also takes INTEGER arguments.
1928 2009-01-19 Mikael Morin <mikael.morin@tele2.fr>
1931 * simplify.c (simplify_bound): Don't use array specification
1932 if variable or component has subsequent references.
1934 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
1937 * module.c (write_common_0): Add argument 'this_module' and
1938 check that non-use associated common blocks are written first.
1939 (write_common): Call write_common_0 twice, once with true and
1942 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
1945 * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Has
1946 been absorbed into gfc_conv_intrinsic_transfer. All
1947 references to it in trans-intrinsic.c have been changed
1948 accordingly. PR fixed by using a temporary for scalar
1949 character transfer, when the source is shorter than the
1952 2009-01-17 Paul Thomas <pault@gcc.gnu.org>
1955 * module.c (write_common_0): Revert patch of 2009-01-05.
1957 2009-01-16 Janus Weil <janus@gcc.gnu.org>
1960 * expr.c (gfc_check_pointer_assign): Allow use-associated procedure
1962 * trans-decl.c (get_proc_pointer_decl,gfc_create_module_variable):
1963 Enable procedure pointers as module variables.
1965 2009-01-14 Steven G. Kargl <kargl@gcc.gnu.org>
1967 * ChangeLog-2007: Clean out svn merge droppings.
1969 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
1972 * target-memory.c (encode_derived): Encode NULL.
1974 2009-01-10 Paul Thomas <pault@gcc.gnu.org>
1977 * resolve.c (check_host_association): Use the symtree name to
1978 search for a potential contained procedure, since this is the
1979 name by which it would be referenced.
1981 2009-01-06 Thomas Koenig <tkoenig@gcc.gnu.org>
1984 * interface.c (gfc_procedure_use): Don't warn about functions
1986 * symbol.c (generate_isocbinding_symbol): Mark c_loc and
1989 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
1992 * module.c (write_common_0): Use the name of the symtree rather
1993 than the common block, to determine if the common has been
1996 2009-01-05 Daniel Franke <franke.daniel@gmail.com>
1999 * check.c (gfc_check_random_seed): Added size check for GET
2000 dummy argument, reworded error messages to follow common pattern.
2002 2009-01-05 Thomas Koenig <tkoenig@gcc.gnu.org>
2005 * trans-types.c (gfc_get_derived_type): Check for the
2006 presence of derived->ns->proc_name before
2007 accessing derived->ns->proc_name->attr.flavor .
2008 * resolve.c (resolve_symbol): Likewise.
2010 2009-01-05 Paul Thomas <pault@gcc.gnu.org>
2013 * gfortran.h : Add bit to gfc_expr 'user_operator'
2014 * interface.c (gfc_extend_expr): Set the above if the operator
2015 is substituted by a function.
2016 * resolve.c (check_host_association): Return if above is set.
2018 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
2021 * ChangeLog-2008: Fix function name.
2024 * dependency.c (gfc_check_argument_var_dependency):
2025 Move the check for pointerness inside the if block
2026 so that it doesn't affect the return value.
2029 * trans-stmt.c (gfc_trans_call):
2030 Add the dependency code after the loop bounds calculation one.
2032 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
2034 * intrinsic.c (do_simplify): Removed already implemented TODO.
2036 2009-01-04 Daniel Franke <franke.daniel@gmail.com>
2039 * simplify.c (gfc_simplify_merge): New.
2040 * intrinsic.h (gfc_simplify_merge): New prototype.
2041 * intrinsic.c (add_functions): Added simplification for MERGE.
2043 2009-01-04 Mikael Morin <mikael.morin@tele2.fr>
2046 * gfortran.h (gfc_is_data_pointer): Added prototype
2047 * resolve.c (gfc_iso_c_func_interface):
2048 Use gfc_is_data_pointer to test for pointer attribute.
2049 * dependency.c (gfc_is_data_pointer):
2050 Support pointer-returning functions.
2052 2009-01-03 Daniel Franke <franke.daniel@gmail.com>
2054 * symbol.c (save_symbol): Don't SAVE function results.
2056 2009-01-03 Paul Thomas <pault@gcc.gnu.org>
2059 * resolve.c (resolve_call): When searching for proper host
2060 association, use symtree rather than symbol. For everything
2061 except generic subroutines, substitute the symtree in the call
2062 rather than the symbol.
2065 Copyright (C) 2009 Free Software Foundation, Inc.
2067 Copying and distribution of this file, with or without modification,
2068 are permitted in any medium without royalty provided the copyright
2069 notice and this notice are preserved.