blob: 051ebb88fd05ed440b18b030986e419f9a22a08a [file] [log] [blame]
2003-12-26 Feng Wang <>
* dump-parse-tree.c (gfc_show_code_node): Add ASSIGN and ASSIGNED GOTO
* gfortran.h (gfc_statement): New ST_LABEL_ASSIGNMENT.
(gfc_exec_op): New EXEC_LABEL_ASSIGN.
(symbol_attribute):New variable attribute: assign.
* io.c (resolve_tag):Integer variable is allowed.
(match_dt_format): Add ASSIGN statement. Set assign flag.
* match.c (gfc_match_if): Change ST_NONE to ST_LABEL_ASSIGNMENT.
(gfc_match_assign): Add ASSIGN statement. Set assign flag.
(gfc_match_goto): Add ASSIGNED GOTO statement. Set assign flag.
* parse.c (decode_statement): Add ST_LABEL_ASSIGNMENT.
(next_statement): Add ST_LABEL_ASSIGNMENT.
(gfc_ascii_statement): Add ST_LABEL_ASSIGNMENT.
* resolve.c (resolve_code): Resolve ASSIGN and ASSIGNED GOTO statement.
(resolve_blocks): Resolve ASSIGNED GOTO statement label list.
* st.c (gfc_free_statement): Add EXEC_LABEL_ASSIGN.
* trans-decl.c (gfc_get_symbol_decl): Create the shadow variable for
assign. Put them into the stuct lang_decl.
* trans-io.c (set_string): Add the assign statement.
* trans-stmt.c (gfc_trans_label_assign): New function.
(gfc_trans_goto): Translate ASSIGNED GOTO statement.
* trans-stmt.h (gfc_trans_label_assign): Added function prototype.
* trans.c (gfc_trans_code): Add EXEC_LABEL_ASSIGN.
* trans.h (lang_decl):Add shadow variable decl tree needed by assign.
(GFC_DECL_ASSIGN_ADDR(node)): New macro to access this.
(GFC_DECL_ASSIGN(node)): New macro to access flag.
2003-12-31 Huang Chun <>
PR fortran/13434
* trans-intrinsic.c (gfc_conv_intrinsic_minmaxval): Fixed bug in
2003-12-22 Toon Moene <>
* options.c (gfc_init_options): Set flag_argument_noalias to 2, to indicate
that arguments to subroutines/functions can't alias themselves, nor global
2003-12-20 Steven Bosscher <>
* trans-expr.c (gfc_conv_expr_op): Fold the result expression.
* trans.c (gfc_add_modify_expr, gfc_add_expr_to_block): Likewise.
2003-12-12 Huang Chun <>
* primary.c (match_substring): Fix substring bug for start point
or end point is NULL.
* trans-expr.c (gfc_conv_substring): Ditto
* trans-types.c (gfc_sym_type): Get correct type of scalar
character variables.
* trans-intrinsic.c (gfc_conv_intrinsic_len): Handle character in
derived type.
2003-12-10 Richard Henderson <>
* options.c (gfc_post_options): Don't ever use rtl inlining.
2003-12-05 Canqun Yang <>
* trans-common.c: Re-implement COMMON blocks and EQUIVALENCE lists.
* trans-equivalence.c: Remove.
* trans-decl.c (gfc_get_symbol_decl): Update to match.
(gfc_generate_function_code): Ditto.
* trans-array.c (gfc_conv_array_parameter): Ditto.
* (F95_OBJS): Remove fortran/trans-equivalence.o
(F95_ADDITIONAL_OBJS): Add stor-layout.o
* trans.h (gfc_trans_equivalence): Remove.
* gfortran.h (struct gfc_equiv): Add used field.
(struct gfc_symbol): Remove addr_base, addr_offset, equiv_ring,
equiv_offset fields.
2003-12-05 Richard Henderson <>
* trans.c (gfc_build_addr_expr): New.
(gfc_build_indirect_ref, gfc_build_array_ref): New.
* trans.h: Declare them.
* trans-array.c, trans-expr.c, trans-intrinsic.c, trans-io.c,
trans-stmt.c, trans.c (*): Use them.
* f95-lang.c (gfc_post_options): Remove dead prototype.
* trans-array.c (gfc_trans_deferred_vars): Remove unused variable.
* trans-stmt.c (gfc_evaluate_where_mask): Fix temporary_list
allocation size.
2003-12-01 Feng Wang <>
* io.c (gfc_match_format): Check for missing format label.
2003-11-30 Huang Chun <>
PR fortran/13155
* trans-decl.c (gfc_sym_mangled_function_id): Don't mangle symbols
from interfaces in modules.
2003-11-30 Paul Brook <>
* trans-array.c (gfc_trans_g77_array): Make non-static.
(gfc_trans_assumed_size): Remove.
(gfc_trans_dummy_array_bias): Explicitly free temporary.
* trans-array.h (gfc_trans_g77_array): Add prototype.
(gfc_trans_assumed_size): Remove.
* trans-decls.c (gfor_fndecl_push_context): Remove.
(gfor_fndecl_pop_context): Remove.
(gfc_build_function)decls): Don't create them.
(gfc_trans_deferred_vars): Update to match. Remove dead code.
* trans-stmt.c (gfc_trans_pointer_assign_need_temp): Free temp.
2003-11-30 Kejia Zhao <>
* trans-array.c (gfc_conv_array_parameter): Simplify
array argument passing for array name actual argument.
* trans-expr.c (gfc_conv_function_call): Ditto
* trans-types.c (gfc_is_nodesc_array):Ditto.
2003-11-30 Paul Brook <>
* f95-lang.c (gfc_post_options): Move ...
* options.c (gfc_post_options): .. to here. Handle inlining options.
* gfortran.h (gfc_post_options): Add prototype.
2003-11-28 Richard Henderson <>
* trans.c (gfc_create_var_np): Use create_tmp_var_raw.
2003-11-28 Huang Chun <>
* trans.h (has_alternate_specifier): New global variable.
* match.c (gfc_match_call): Handle actual arguments associated with
alternate return indicators.
* trans-expr.c (gfc_conv_function_call): Ditto
* trans-stmt.c (gfc_trans_call): Ditto
(gfc_trans_return): Handle return statement with value.
* trans-decl.c (gfc_generate_function_code): Handle functions with
asterisk dummy.
(gfc_get_fake_result_decl): Ditto
* trans-types.c (gfc_get_function_type): Ditto
* resolve.c (resolve_actual_arglist): Check alternate return indicators.
(resolve_formal_arglist): Check asterisk dummy.
2003-11-27 Paul Brook <>
* trans-array.c (gfc_tran_allocate_array_storage): Use new memory
allocation interface.
(gfc_conv_ array_parameter): Ditto.
(gfc_trans_auto_array_allocation): Ditto. Also free the memory.
* trans-array.c: Update prototype.
* trans-decl.c (gfc_build_builtin_function_decls): Update prototypes.
(gfc_trans_auto_character_variable): Use new memory alloc interface.
* trans-expr.c (gfc_conv_string_tmp): Ditto.
(gfc_conv_function_call): Use gfc_conv_string_tmp.
* trans-stmt.c (gfc_do_allocate): Use new memory alloc interface.
* trans-intrinsic.c (gfc_conv_intrinsic_trim): Ditto.
* trans.h (gfc_ss_info): Remove unused pdata field.
* trans.c (gfc_create_var_np): Change T to V.
2003-11-26 Richard Henderson <>
* mathbuiltins.def: Move acos, asin, cosh, log10, sinh, tanh from ...
* trans-intrinsic.c (gfc_intrinsic_map): ... here. Add SCALE,
(gfc_intrinsic_map_t): Add libm_name, complex_available, is_constant.
Fix GTY marking. Remove unnecessary const's.
(LIBM_FUNCTION): Rename from I_LIB.
(gfc_get_intrinsic_lib_fndecl): Handle libm and libgfortran naming
conventions. Assume the expr signature is correct. Mark const.
(gfc_conv_intrinsic_exponent): Use library functions.
(gfc_conv_intrinsic_set_exponent): Remove.
(gfc_conv_intrinsic_scale): Remove.
(gfc_conv_intrinsic_nearest): Remove.
(gfc_conv_intrinsic_fraction): Remove.
(gfc_conv_intrinsic_function): Update.
* trans-decl.c (gfor_fndecl_math_exponent4): New.
(gfor_fndecl_math_exponent8): New.
(gfc_build_intrinsic_function_decls): Set them.
* trans.h: Declare them.
2003-11-25 Canqun Yang <>
* trans-common.c (gfc_layout_global_equiv): Locate the error for
underflow COMMON block.
(gfc_trans_one_common): Fix bug for size of COMMON block containing
EQUIVALENCE object. Also fix typo in an error message.
2003-11-25 Diego Novillo <>
* Add check-gfortran to lang_checks.
(check-f95): Alias for check-gfortran.
2003-11-25 Jason Merrill <>
* (f95.tags): Create TAGS.sub files in each
directory and TAGS files that include them for each front end.
2003-11-24 Paul Brook <>
PR fortran/13154
* trans-decl.c (gfc_greate_module_variable): Skip COMMON blocks.
2003-11-24 Paul Brook <>
* expr.c (simplify_const_ref): Return SUCCESS for things we don't
* resolve.c (gfc_resolve_expr): Resolve contents before rank/shape.
2003-11-24 Paul Brook <>
PR fortran/13105
* array.c (gfc_array_ref_shape): Handle elemental dimensions.
* trans-array.c (gfc_trans_preloop_setup): Use correct dim lookup.
2003-11-20 Richard Henderson <>
* trans-array.c (gfc_trans_allocate_array_storage): Use convert.
(gfc_conv_array_base): Likewise.
* trans-decl.c (gfc_trans_auto_character_variable): Likewise.
* trans-expr.c (gfc_conv_string_tmp): Likewise.
* trans-intrinsic.c (gfc_conv_intrinsic_trim): Likewise.
* trans-stmt.c (gfc_trans_character_select): Likewise.
2003-11-13 Paul Brook <>
* trans-decl.c (gfc_sym_mangled_function_id): Dont mangle externals.
2003-11-13 Canqun Yang <>
* resolve.c (gfc_resolve): Also resolve EQUIVALENCE objects.
(resolve_equivalence): New function.
(resolve_equivalence_derived): New function.
2003-11-12 Richard Henderson <>
* trans.c (gfc_trans_code): Use annotate_with_locus instead of
2003-11-11 Canqun Yang <>
* options.c (gfc_init_options): Set flag_max_stack_var_size as 32768.
* trans-decl.c (gfc_finish_var_decl): Modified.
2003-11-08 Paul Brook <>
PR fortran/12704
* trans-intrinsic.c (gfc_conv_intrinsics_minmaxloc): Handle zero-size
2003-11-06 Paul Brook <>
* trans-intrinsic.c (gfc_conv_intrinsics_minmaxloc): Initialize pos.
2003-11-02 Canqun Yang <>
* match.c (gfc_match_stopcode): Assign '0' to stop_code.
2003-10-27 Anthony Green <>
* (f95.stageprofile): Use tabs, not spaces.
(f95.stagefeedback): Ditto.
2003-10-27 Andrew Pinski <>
PR fortran/12682
* (f95.stageprofile): Add.
(f95.stagefeedback): Add.
2003-10-23 Richard Henderson <>
* f96-lang.c (gfc_gimplify_expr): Remove.
2003-10-23 Richard Henderson <>
* f95-lang.c (gfc_gimplify_expr): Return gimplify_status.
2003-10-20 Paul Brook <>
* trans-expr.c (gfc_conv_integer_power): Use boolean_type_node.
* trans-stmt.c (gfc_trans_do_while): Ditto.
2003-10-17 Paul Brook <>
* simplify.c (gfc_simplify_shape): Use gfc_array_dimen_size.
2003-10-17 Paul Brook <>
* trans-io.c (gfc_build_io_library_fndecls): Set TREE_PUBLIC.
2003-10-17 Feng Wang <>
* iresolve.c (gfc_resolve_maxloc): Change the result's kind and type.
(gfc_resolve_minloc): Ditto.
* trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Use correct types.
Return the value after subtracting the lower bound.
2003-10-16 Richard Henderson <>
* f95-lang.c (expand_function_body): Don't check flag_disable_gimple.
2003-10-16 Steven Bosscher <>
* lang.c: Remove -M option for now, it's in the way for C.
2003-10-14 Jason Merrill <>
* (f95.tags): New rule.
2003-10-13 Richard Henderson <>
* trans.c (gfc_trans_code): Use annotate_all_with_locus.
2003-10-13 Paul Brook <>
* trans-decl.c (generate_local_decl): Don't create junk variables.
2003-10-13 Paul Brook <>
* resolve.c (resolve_formal_arglist): Use function result decl in
preference to function decl.
2003-10-12 Richard Henderson <>
* f95-lang.c (gfc_define_builtin): New const_p argument. Set
TREE_READONLY. Update all callers.
2003-10-12 Feng Wang <>
* iresolve.c (gfc_resolve_cshift): Change to match implementation.
* trans-intrinsic.c (gfc_conv_intrinsic_function): Remove CSHIFT.
(gfc_is_intrinsic_libcall): Add CSHIFT.
2003-10-12 Richard Henderson <>
* trans-array.c (gfc_trans_static_array_pointer): Set TREE_INVARIANT.
(gfc_trans_array_constructor_value): Likewise.
(gfc_conv_array_initializer): Likewise.
* trans-stmt.c (gfc_trans_character_select): Likewise.
2003-11-12 Kejia Zhao <>
* trans-intrinsic.c (integer_kind_info, real_kind_info): Remove.
2003-10-11 Huang Chun <>
* check.c (gfc_check_repeat): Check arguments are scalar.
(gfc_check_trim): New function.
* intrinsic.h (gfc_check_trim): Add prototype.
* intrinsic.c (add_functions): Use it.
* trans.h (gfor_fndecl_string_trim, gfor_fndecl_string_repeat):
* trans-decl.c: Ditto.
(gfc_build_intrinsic_fucntion_decls): Set them.
* trans-intrinsic.c (gfc_conv_intrinsic_len): Handle result vars.
(gfc_conv_intrinsic_trim): New function.
(gfc_conv_intrinsic_repeat): New function.
(gfc_conv_intrinsic_function): Use them.
2003-10-11 Huang Chun <>
* trans-types.c (gfc_sym_type): Handle result variables.
2003-10-11 Huang Chun <>
* trans-intrinsic.c (gfc_conv_intrinsic_char): Don't use
2003-10-11 Feng Wang <>
* trans-expr.c (gfc_conv_variable): Check sym->ts, not the decl.
2003-10-11 Paul Brook <>
* iresolve.c (gfc_resolve_dint, gfc_resolve_dnint): New functions.
(gfc_resolve_dprod): New function.
(gfc_resolve_aint, gfc_resolve_anint): Only base name on arg type.
* intrinsic.h (gfc_resolve_dint, gfc_resolve_dnint): Declare.
(gfc_resolve_dprod): Declare.
* intrinsic.c (add_functions): Use them.
* trans-decl.c (gfc_get_extern_function_decl): Only pass one arg.
2003-10-06 Richard Henderson <>
* f95-lang.c (gfc_init_builtin_functions): Add clzll.
* trans-intrinsic.c (call_builtin_clz): Use it.
2003-10-05 Paul Brook <>
* f95-lang.c (expand_function_body): Call (push|pop)_function_context.
* trans-decl.c (gfc_generate_function_code): Set
2003-09-24 Jason Merrill <>
* f95-lang.c, trans-decl.c: Use DECL_SOURCE_LOCATION instead of
2003-09-21 Lifang Zeng <>
Paul Brook <>
* (F95_OBJS): Add fortran/data.o.
* array.c (gfc_inser_constructor): New function.
(gfc_get_constructor): New function.
(gfc_free_constructor): Initialize offset and repeat.
(iterator_stack): Remove.
(expand_info): Add offset, component and repeat fields.
(expand_constructor): Set them.
(expand): Set new fields.
(gfc_copy_constructor): Ditto. Avoid recursion.
* gfortran.h: Add prototypes for new functions.
(gfc_constructor): Add offset, component and repeat.
(iteratio_stack): Move to here.
* resolve.c (check_data_variable): Convert data values into variable
(traverse_data_list): Build implicit loop chain.
(gfc_resolve): Ditto.
* trans-array.c (gfc_conv_array_intializer): Handle repeat count.
* trans-decl.c (gfc_get_symbol_decl): Use gfc_conv_structure.
* trans-expr.c (gfc_conv_structure): Handle array initializers.
(gfc_conv_expr): Update to match.
* trans.h (gfc_conv_structure): Declare.
* data.c: New file.
2003-09-20 Kejia Zhao <>
* trans.h: Add declarations for gfor_fndecl_si_kind and
* trans-decl.c (g95_build_intrinsic_function_decls): Build them.
* trans-intrinsic.c (g95_conv_intrinsic_si_kind): New function.
(g95_conv_intrinsic_sr_kind): New function.
(g95_conv_intrinsic_function): Add SELECTED_INT_KIND and
2003-09-17 Lars Segerlund <>
* iresolve.c (gfc_resolve_random_number): Generate _r4 & _r8
instead of _4 and _8 as postfix for libgfortran calls.
2003-09-16 Paul Brook <>
* array.c (compare_bounds): New function.
(gfc_compare_array_spec): Use it.
2003-09-14 Paul Brook <>
* primary.c (gfc_match_rvalue): Make sure sym->result is set.
* trans-expr.c (gfc_conv_string_parameter): Also allow PRAM_DECLs.
2003-09-14 Paul Brook <>
* check.c (dim_rank_check): Allow assumed bounds if requested.
(gfc_check_lbound): Call it.
(gfc_check_ubound): Ditto.
(gfc_check_size): Change to match.
* simplify.c (gfc_simplify_bound): New function.
(gfc_simplify_lbound): New function.
(gfc_simplify_ubound): New function.
* intrinsic.h: Declare them.
* intrinsic.c (add_functions): Use them.
2003-09-14 Paul Brook <>
* io.c (format_lex): Initialize negative_flag.
(check_format): Intialize repeat.
* trans-io.c (gfc_new_nml_name_expr): Declare static.
(gfc_new_var_expr): Ditto.
2003-09-14 Paul Brook <>
* trans-array.c (gfc_conv_array_initializer): Handle derived types.
* trans-decl.c (gfc_get_symbol_decl): Only do local scalar values.
2003-09-12 Paul Brook <>
* trans-intrinsic.c (gfc_conv_intrinsic_sign): Call fold.
2003-09-12 Zdenek Dvorak <>
* fortran/trans.c (gfc_finish_block): Call rationalize_compound_expr
for a correct expression.
2003-09-10 Kejia Zhao <>
* trans-intrinsic.c (real_compnt_info): New struct.
(prepare_arg_info): New function.
(gfc_conv_intrinsic_set_exponent): New function.
(gfc_conv_intrinsic_scale): New function.
(gfc_conv_intrinsic_nearest): New function.
(gfc_conv_intrinsic_fraction): New function.
(gfc_conv_intrinsic_exponent): New function.
(gfc_conv_intrinsic_spacing): New function.
(gfc_conv_intrinsic_rrspacing): New function.
(gfc_conv_intrinsic_function): Use them.
2003-08-24 XiaoQiang Zhang (>
* trans-const.c (gfc_conv_mpz_to_tree): Fix bug, parameter for
build_int_2 changed from (high, low) to (low, high).
* trans-io.c (ioparm_namelist_name, ioparm_namelist_name_len,
ioparm_namelist_read_mode, iocall_set_nml_val_int,
iocall_set_nml_val_float, iocall_set_nml_val_char,
iocall_set_nml_val_complex, iocall_set_nml_val_log): New declaration.
(gfc_build_io_library_fndecls): Add variable initialization.
(gfc_new_nml_name_expr, get_new_var_expr): New function.
(build_dt): Add namelist support.
* io.c (value): New variable.
(check_format): Support FMT_H now.
2003-09-07 Paul Brook <>
* io.c (gfc_resolve_dt): Error if format label is not defined.
2003-09-07 Kejia Zhao <>
* trans-intrinsic.c (gfc_conv_intrinsic_aint): Fix two bugs. One is
about case_switch's break. The other is about building the condition
statement tree, which judges the argument in the range of the
corresponding integer type.
* trans-intrinsic.c (gfc_conv_intrinsic_mod): MOD and MODULO can work
for the large values.
2003-09-05 Paul Brook <>
* f95-lang.c (expand_function_body): Gimplify the function.
2003-09-04 Jeff Law <>
* f95-lang.c (DEFINE_MATH_BUILTIN): C arrays start at
index zero!
2003-09-04 Paul Brook <>
* f95-lang.c (gfc_define_builtin): Also set implicit_built_in_decls.
(gfc_expand_stmt): New function.
(expand_function_body): Use tree_rest_of_compilation.
* trans-decl.c (gfc_generate_function_code): Don't free cfun.
2003-09-03 Jeff Law <>
* f95-lang.c (gfc_init_builtin_functions): C arrays start at
index zero!
2003-08-30 Paul Brook <>
* f95-lang.c (builtin_function): Remove #if 0 code.
(gfc_define_builtin): New function.
(gfc_init_builtin_functions): Use mathbuiltins.def not ../builtins.def.
* mathbuiltins.def: New file.
* trans-intrinsic.c (gfc_intrinsic_map_t): Add builtin code fields.
(gfc_intrinsic_map): Use mathbuiltins.def.
(gfc_intrinsic_builtin_t): Remove.
(gfc_build_intrinsic_lib_fndecls): Update.
* trans-types.c (gfc_init_types): Remove redundant initilaization of
2003-08-29 Paul Brook <>
* arith.c (gfc_real_kinds): Use correct minimum exponents.
2003-08-22 Kejia Zhao <>
* trans-instinsic.c (gfc_conv_intrinsic_mod): Also do MODULO.
(gfc_conv_intrinsic_function): Add MODULO.
2003-08-22 Jason Merrill <>
* trans-array.c (gfc_conv_expr_descriptor): Update use of predicates.
2003-08-22 Andreas Jaeger <>
* (f95.install-common): Add DESTDIR support.
* (f95.install-info): Likewise.
(f95.uninstall): Likewise.
2003-08-19 Diego Novillo <>
* trans-types.c (gfc_init_types): Initialize
signed_size_type_node with size_type_node.
2003-08-18 Paul Brook <>
* dependency.c (gfc_dependency): New enum.
(check_another_array_ref): Remove.
(gfc_get_array_from_component): Remove.
(get_x): Remove.
(get_range): Remove.
(get_no_of_elements): Use mpz_t, not mpf_t.
(transform_sections): New function.
(gfc_check_range_range): Rename ...
(gfc_check_section_vs_section): ... to this. Use new function.
(gfc_is_inside_range): Rewrite to match.
(gfc_check_element_vs_section): Ditto.
(gfc_check_element_vs_element): Ditto.
(get_deps): Ditto.
(gfc_dep_resolver): Ditto. Remove unused parameter.
* Dependency.h (gfc_check_range_range, gfc_check_element_vs_section,
gfc_check_element_vs_element, gfc_is_inside_range,
gfc_get_array_from_component): Remove prototypes for static functions.
(gfc_dep_resolver): Update prototype.
* trans-array.c (gfc_conv_resolve_dependencies): Change to match.
2003-08-15 Paul Brook <>
* trans-decl.c (gfc_build_qualified_array): Don't add symbols for
return values to parent scope.
(gfc_build_dummy_array_decl): Ditto.
2003-08-14 Paul Brook <>
* trans-stmt.c (gfc_trans_allocate): Handle NULL refs. Allocate the
size of the type, not the pointer.
* resolve.c (resolve_symbol): Give more accurate error message.
2003-08-10 Paul Brook <>
* trans-decl.c (gfc_build_function_decl): Only mangle global symbols.
2003-08-10 Paul Brook <>
* trans-stmt.c (gfc_trans_allocate): Correctly handle non-array derived
type components.
2003-08-10 Chun Huang <>
* resolve.c (resolve_formal_arglist): Resolve STATEMENT function.
(resolve_symbol): Ditto.
* trans-expr.c (gfc_conv_statement_function): New function.
(gfc_conv_function_expr): Use it.
2003-08-10 Paul Brook <>
* trans-array.c (gfc_conv_ss_startstride): Handle functions.
(walk_function_expr): Set section rank.
* trans-intrinsic.c (gfc_walk_intrinsic_libfunc): Ditto.
2003-08-10 Paul Brook <>
* intrinsic.c (add_sym): Prefix names with correct string.
(add_sym_0s): New function.
(add_subroutines): Register abort.
2003-08-10 Erik Schnetter <>
* gfortran.h: Introduce options to control the mangling.
* lang.opt: Likewise.
* options.c (gfc_init_options): Handle the options.
* trans-common.c (gfc_sym_mangled_common_id): New function.
(gfc_build_common_decl): Call it.
* trans-decl.c (gfc_sym_mangled_function_id): New function.
(gfc_get_extern_function_decl, gfc_build_function_decl): Call it.
2003-08-09 Paul Brook <>
* module.c (mio_symbol): Always ouput a namespace for formal args.
(load_needed): Namespace now belong to their proper symbol.
(gfc_dump_module): Change G95=>GFORTRAN.
2003-08-05 Paul Brook <>
* options.c: Force -fg77-calls.
2003-08-02 Paul Brook <>
* Rename G95_* to GFORTRAN_*.
* All sources: Rename G95_* to GFC_*.
2003-08-01 Paul Brook <>
* fortran/ Use GMPLIBS.
* fortran/ Set need_gmp.
* trans-expr.c (gfc_conv_variable): Remove incorrect assertion.
2003-07-27 Andreas Jaeger <>
* trans-decl.c (gfc_generate_constructors): Convert prototype to
ISO C90.
* trans-const.c (gfc_init_constants): Likewise.
* trans-intrinsic.c (gfc_build_intrinsic_lib_fndecls): Likewise.
* gfortranspec.c: Convert to ISO C90.
(lang_specific_driver): Correct copyright, remove ALT_LIBM usage.
2003-07-26 Paul Brook <>
* lang.opt: Add -fdump-parse-tree.
* options.c (gfc_handle_option): Ditto.
* resolve.c (resolve_forall_iterators): Convert to proper type.
* trans-stmt.c (gfc_trans_forall_1): Create temp var with correct type.
2003-07-26 Paul Brook <>
* Add build dependencies on files common with rest of gcc.
2003-07-26 Lifang Zeng <>
* trans.h: Declare g95_trans_pointer_assignment.
* trans-expr.c (g95_trans_pointer_assignment): New function.
(g95_trans_pointer_assign): Use it.
* trans-stmt.c (g95_trans_forall_1): Handle pointer assignment.
(g95_trans_pointer_assign_need_temp): New function.
2003-07-26 Paul Brook <>
* gfortran.texi: Replace references to g95.
2003-07-26 Paul Brook <>
Rename g95_* to gfc_*.
2003-07-25 Paul Brook <>
* gfortran.h: Rename from g95.h.
* trans-types.c (boolean_type_node, booelan_true_node,
boolean_false_node): Remove.
* trans-types.h: Ditto.
2003-07-25 Chun Huang <>
* parse.c (accept_statement): Implement BLOCK DATA statement.
* trans-expr.c (g95_conv_variable): Fix bug for dereference pointer
2003-07-24 Lifang Zeng <>
* trans-stmt.c (temporary_list): Define.
(g95_trans_assign_need_temp): New function.
(g95_trans_forall_1): Modified for WHERE.
(g95_trans_where_assign): Modified.
(g95_trans_where_2): Modified.
(g95_evaluate_where_mask): Modified.
(g95_trans_where): Modified.
(g95_get_temp_expr): Removed.
(g95_add_to_where_stmt_list): Removed.
(compute_overall_iter_number): Modified for WHERE.
* trans.h: Remove where_stmt_list.
2003-07-24 Arnaud Desitter <>
* lang.opt: Correct description of options -J and -M.
2003-07-23 Steven Bosscher <>
* lang.opt: Move help text to here.
* lang-options.h: Remove.
2003-07-23 Arnaud Desitter <>
* iresolve.c (g95_resolve_transpose): Proper variable in switch.
* simplify.c (g95_simplify_nearest): Fix typo and use a correct test
on kind.
2003-07-22 Steven Bosscher <>
Paul Brook <>
* check.c (check_rest): Use global pedantic flag.
* io.c (data_desc): Ditto.
* error.c (g95_warning, g95_warning_now): Use global flag.
* f95-lang.c (LANG_HOOKS_HANDLE_OPTION): Rename from DECODE.
(expand_function_body): Update to new prototypes.
(g95_init): Use new option names.
* g95.h (g95_option_t): Standardize names.
(g95_init_options, g95_handle_option): Update prototypes.
* interface.c: Use new option names.
* match.c: Ditto.
* module.c: Ditto.
* parse.c: Ditto.
* primary.c: Ditto.
* resolve.c: Ditto.
* scanner.c: Ditto.
* simplify.c: Ditto.
* symbol.c: Ditto.
* trans-array.c: Ditto.
* trans-expr.c: Ditto.
* trans-types.c: Ditto.
* trans-decl.c: Ditto.
(g95_build_library_function_decl): Remove obsolete VPARAMS.
* trans.h: Ditto.
* options.c (g95_display_help): Remove.
(g95_init_options): Convert to new scheme.
(set_Wall): Ditto
(g95module_option): Ditto, rename from g95_parse_arg.
(g95_handle_module_path_options): New function.
* trans-equivalence.c: Fix error message.
* lang.opt: Corrections.
2003-07-21 Steven Bosscher <>
* lang.opt: New file.
2003-07-21 Arnaud Desitter <>
* decl.c (match_attr_spec): Set colon_seen.
2003-07-14 Paul Brook <>
* trans-array.c: Update comment.
(g95_trans_array_constructor_subarray): Cleanup loopinfo data.
* trans-intrinsic.c (g95_conv_intrinsic_anyall,count,arith,
minmaxloc,minmaxval): Ditto.
* trans-io.c (g95_trans_transfer): Ditto.
* trans-stmt.c: Remove unneeded prototypes.
(generate_loop_for_lhs_to_rhs): Rename vars. Add loop post chain.
(generate_loop_for_rhs_to_temp): Rename vars. Don't share loopinfo.
(compute_inner_temp_size): Remove bits of dead code. Add comments.
Don't share loopinfo.
(compute_overall_iter_number): Declare as static.
(allocate_temp_for_forall_nest): Ditto.
(g95_trans_forall_1): Don't pass shared loopinfo.
* trans.c (g95_start_block): Expand comment.
2003-07-12 Paul Brook <>
* arith.c (g95_index_integer_kind): Remove unused initializer.
* trans-stmt.c (generate_loop_for_temp_to_lhs): Don't multiply array
index by size of element.
(generate_loop_for_rhs_to_temp): Ditto.
(allocate_temp_for_forall_nest): Use element size, not index size.
2003-07-11 Arnaud Desitter <>
* arith.c (g95_index_integer_kind): Add a TODO.
* simplify.c (g95_simplify_nearest): Add a TODO.
2003-07-09 Chun Huang <>
* trans.h: Add declarations for gfor_fndecl_string_scan and
* trans-decl.c (g95_build_intrinsic_function_decls): Build them.
* trans-intrinsic.c (g95_conv_intrinsic_scan): New function.
(g95_conv_intrinsic_verify): New function.
(g95_conv_intrinsic_function): Add SCAN and VERIFY.
* simplify.c (g95_simplify_scan, g95_simplify_verify): Fix bug in case
of parameter 'BACK=.TRUE.'
2003-07-05 Lifang Zeng <>
* trans-stmt.c (iter_info, forall_info): Define.
(g95_trans_forall_block): Remove.
(g95_trans_forall_loop): Use forall info blocks.
(g95_trans_nested_forall_loop): New function.
(g95_do_allocate): Handle things other than logical masks.
(generate_loop_for_temp_to_lhs): New function.
(generate_loop_for_rsh_to_temp): New function.
(compute_inner_temp_size): New function.
(compute_overall_iter_number): New function.
(allocate_temp_for_forall_nest): New function.
(g95_trans_forall): Move body ...
(g95_trans_forall_1): ... to here. Handle loops with temporaries.
2003-07-02 Paul Brook <>
* trans-decl.c (create_index_var, g95_build_qualified_array): Put vars
in correct scope. Change callers to match.
* trans-types.c (g95_get_dtype_cst): Allow rank 7 arrays.
* iresolve.c (g95_resolve_reshape): Only use constant shapes.
2003-07-02 Paul Brook <>
* trans-array.c (g95_conv_loop_setup): Remove dead var. Use
expression shape for all expressions.
* trans-decl.c (g95_symbol_init): Allow adding at very end of list.
2003-07-03 Arnaud Desitter <>
* g95.h (g95_option_t), lang-options.h, options.c (g95_init_options,
g95_parse_arg), intrinsic.c (g95_convert_type): support of
* intrinsic.c, g95.h: Add g95_convert_type_warn,
* resolve.c (g95_resolve_index): Call it.
2003-07-02 Paul Brook <>
* iresolve.c (g95_resolve_reshape): Set expression shape.
(g95_resolve_shape): Ditto.
* simplify.c (g95_simplify_shape): Move common code outside condition.
* trans-array.c (g95_conv_array_initializer): Teach it how to count.
2003-07-01 Arnaud Desitter <>
* array.c (g95_array_dimen_size): Deal with EXPR_ARRAY to improve
conformance checks.
2003-06-29 Paul Brook <>
* array.c (g95_simplify_iterator_var): Don't bother with return value.
* expr.c (find_array_element, find_component_ref): New functions.
(remove_subobject_ref): New function.
(simplify_const_ref): Use them. Rename from simplify_component_ref.
(simplify_ref_chain): New function.
(g95_simplify_expr): Use it. Simplify parameter variable subobjects.
(g95_specification_expr): Simplify the expression.
* resolve.c (resolve_operator): Check simplifications return code.
(g95_resolve_expr): Ditto.
2003-06-26 Paul Brook <>
* expr.c (simplify_component_ref): New function.
(g95_simplify_expr): Use it.
* resolve.c (resolve_structure_cons): Handle references.
2003-06-25 Paul Brook <>
* trans-io.c (build_dt): Handle internal units.
2003-06-25 Canqun Yang <>
* trans-common.c (g95_build_common_decl): Array index range starts at 0.
(g95_build_common_decl, g95_layout_global_equiv, g95_trans_one_common):
Use g95_array_index_type instead of integer_type_node.
(g95_build_common_decl, g95_set_common_master_type): Use
g95_character1_type_node instead of char_type_node.
* trans-equivalence.c (g95_layout_local_equiv): As above.
2003-06-24 Steven G. Kargl <>
* g95.h (g95_option_t), options.c (g95_init_options, g95_parse_arg):
remove last remains of -fquiet.
2003-06-22 Paul Brook <>
* resolve.c (resolve_operator): Don't fail if we can't simplify.
(g95_resolve_expr): Ditto.
(resolce_code): Mark as static.
* trans-stmt.c (g95_trans_chaaracter_select): Mark labels because the
gimplifer doesn't (yet).
2003-06-20 Paul Brook <>
* g95.h: Add ST_PAUSE and EXEC_PAUSE.
* match.c (g95_match_if): Add ST_PAUSE.
(g95_match_stopcode): New function.
(g95_match_pause, g95_match_stop): Use it.
* parse.c (g95_ascii_statement): Handle ST_PAUSE.
(decode_stmt, next_statement, parse_executable): Ditto.
* resolve.c (resolve_code): Ditto.
* st.c (g95_free_statement): Ditto.
* trans-stmt.c (g95_trans_pause): New function.
* trans-stmt.h: Declare it.
* trans.c (g95_trans_code): Use it.
* trans-decl.c (gfor_fndecl_pause_numeric, gfor_fndecl_pause_string):
(g95_build_builtin_function_decls): Initialize them.
* trans.h: Ditto.
* dump-parse-tree.c (g95_show_code_node): Handle EXEC_PAUSE.
2003-06-18 Arnaud Desitter <>
* io.c (g95_match_open , g95_match_close, g95_match_inquire,
match_filepos): Fix error handling.
2003-06-18 Arnaud Desitter <>
* array.c (spec_dimen_size, ref_dimen_size, g95_array_dimen_size):
Add assertions on arguments.
* resolve.c (expression_shape): Remove useless &.
* simplify.c (get_kind, g95_simplify_bit_size, g95_simplify_digits,
g95_simplify_ibclr, g95_simplify_ibits, g95_simplify_ibset,
g95_simplify_ishft,g95_simplify_ishftc, g95_simplify_maxexponent,
g95_simplify_minexponent, g95_simplify_radix, g95_simplify_range
g95_simplify_rrspacing, g95_simplify_scale, g95_simplify_spacing,
g95_simplify_tan, g95_simplify_tiny): Clean predicates and assertions.
(g95_simplify_not, g95_simplify_scale): Add assertions.
2003-06-15 Paul Brook <>
Clean up stuff to work with the ssa optimizers.
* convert.c (convert): Handle BOOLEAN_TYPEs.
* f95-lang.c (g95_truthvalue_conversion): Implement.
* trans-array.c (g95_trans_array_constructor_value): Group multiple
scalar values.
* trans.h (g95_truthvalue_conversion): Declare.
* trans-intrinsic.c (g95_conv_intrinsic_anyall): Use bool constants.
* trans-stmt.c (g95_trans_character_select): Don't create array
assignments. Mark labels as indirect jump targets.
* trans-types.h (g95_init_types): Use BOOLEAN_TYPE nodes.
(g95_get_dtype_cst): Handle LOGICAL types.
2003-06-14 Paul Brook <>
* f95-lang.c (g95_gimplify_expr): New function.
* trans-array.c (g95_trans_array_constructor_value): Don't create
array assignments.
(g95_conv_expr_descriptor): Rename simple->gimple.
* trans-expr.c (conv_expr_op): Use proper logical operators.
* trans-intrinsic.c (build_fixbound_expr): New function.
(build_fix_expr): Ditto.
(g95_conv_intinsic_aint): Use them. Use builtin functions.
(g95_conv_intrinsic_function): Add FLOOR and CEILING.
2003-06-10 Arnaud Desitter <>
* array.c (g95_compare_array_spec): Remove unreachable code.
* expr.c (g95_copy_expr): Likewise.
* intrinsic.c (g95_convert_type): Likewise.
* misc.c (g95_code2string): Likewise.
* simplify.c (g95_simplify_ishft, g95_simplify_real,
g95_simplify_reshape, g95_simplify_sign, g95_simplify_sqrt): Likewise.
* trans-stmt.c (g95_trans_select): Likewise.
* primary.c (extend_ref): Add an assertion.
* simplify.c (g95_convert_constant): Add const.
* intrinsic.h: Remove g95_check_x_ni.
* f95-lang.c (g95_finish): Call g95_release_include_path.
2003-06-10 Arnaud Desitter <>
* resolve.c (resolve_contained_functions): Fix typo introduced on
2003-06-09 Paul Brook <>
* g95.h: Include system.h not hwint.h.
* many: use safe-ctype.h not ctype.h. Change isalpha -> ISALPHA, etc.
* misc.c (g95_getmem): Use xmalloc/memset instead of calloc.
2003-06-09 Paul Brook <>
* g95.h (g95_symbol): Add fields for COMMON and EQUIVALENCE variables.
* (F95_OBJS): Add files for COMMON and EQUIVALENCE.
* trans-decl.c (g95_add_decl_to_functions): Make non-static.
(g95_get_symbol_decl): Handle COMMON and EQUIVALENCE objects.
(g95_generate_function_code): Translate COMMON and EQUIVALENCE
* trans.h (g95_trans_equivalence, g95_trans_common,
g95_add_decl_to_function): Declare.
* trans-common.c, trans-equivalence.c: New files.
2003-06-08 Steven Bosscher <>
* intrinsic.c (g95_intrinsic_extension): Remove.
(add_functions): Substitute g95_check_x for g95_check_x_ni
(g95_init_expr_extensions): New function.
(g95_intrinsic_func_interface): Use it.
* intrinsic.h: Remove extern decl for g95_intrinsic_extension.
* check.c (g95_check_digit, g95_check_huge, g95_check_kind,
g95_check_precision, g95_check_present, g95_check_radix,
g95_check_range, g95_check_selected_real_kind): Do not set
(g95_check_x_ni): Remove now duplicate of g95_check_x.
* expr.c (check_inquiry): Add FIXME, fixup some code style.
2003-06-06 Arnaud Desitter <>
* g95.h (ref_type): Name this type explicitly.
* module.c (MIO_NAME): Add specialisations of mio_name.
(mio_symbol_attribute, mio_typespec, mio_array_ref,
mio_array_spec, mio_ref, mio_expr, mio_symbol): Use them.
(ab_attribute): Name this type explicitly.
(mio_symbol_attribute, mio_expr): Add cast to call to find_enum.
2003-06-05 Kejia Zhao <>
* trans-intrinsic.c (g95_conv_allocated): New function.
(g95_conv_intrinsic_function): Make G95_ISYM_ALLOCATED work.
2003-06-05 Steven Bosscher <>
* f95-lang.c: Don't include g95-support.h
(g95_mark_addressable): Add prototype.
(g95_init_decl_processing): Remove C front end hack.
* f95-tree.c: Remove file.
* support.c: Remove file.
* g95-support.h: Remove file.
* trans-types.c (g95_init_types): Set up boolean
type related tree nodes.
* Remove rules for dead files and
dependencies on them.
2003-06-05 Steven Bosscher <>
* (F95_ADDITIONAL_OBJS): Remove the final
C front end dependency. Also, convert.c does not depend on
g95-support.h anymore.
* convert.c: Don't include c-common.h and g95-support.h
* f95-lang.c: Don't inlude c-common.h and c-common.def (3x).
(g95_stmt_tree, g95_scope_stmt_stack, anon_aggr_type_p,
stmts_are_full_exprs_p, current_stmt_tree,
current_scope_stmt_stack): Remove.
* g95-support.h (unsigned_conversion_warning): Kill proto.
(boolean_type_node, boolean_true_node, boolean_false_node):
Don't define here. Instead, make then true tree nodes in
* support.c (c_global_trees): Die, C front end, die!!!
(g95_init_c_decl_hacks): Don't touch intmax_type_node,
uintmax_type_node, string_type_node and const_string_type_node.
(decl_constant_value, overflow_warning): Make static functions.
They are in death row too, though.
(default_conversion, c_expand_asm_operands): Remove.
* trans-array.c, trans-expr.c, trans-intrinsic.c, trans-stmt.c,
trans.c: Don't include c-common.h.
* trans-types.c (boolean_type_node, boolean_true_node,
boolean_false_node): Make them real tree nodes.
* trans-types.h (intmax_type_node, string_type_node,
const_string_type_node): Hack to work around C dependencies
in builtin-types.def.
2003-06-04 Arnaud Desitter <>
* decl.c (decl_types): Add some iterators-like sentinels.
* decl.c (match_attr_spec): Use them.
Use "decl_types" instead of "int".
Add cast in call to g95_match_strings.
* dump-parse-tree.c (g95_show_namespace): Use "g95_intrinsic_op"
instead of "int".
* g95.h (g95_intrinsic_op): Add some iterators-like sentinels.
(g95_interface_info): Use "g95_intrinsic_op".
* dump-parse-tree.c (g95_show_namespace): Use them.
* interface.c (g95_check_interfaces): Use them.
* module.c (read_module, write_module): Use them.
* symbol.c (g95_get_namespace, g95_free_namespace): Use them.
Use "g95_intrinsic_op".
* interface.c (check_operator_interface): Use "g95_intrinsic_op".
Add a default case in switch statement.
* intrinsic.h (g95_generic_isym_id): Moved to...
* g95.h (g95_generic_isym_id): here.
(g95_intrinsic_sym): Use "g95_generic_isym_id".
* intrinsic.c (make_generic): Use "g95_generice_isym_id".
* trans-intrinsic.c (g95_intrinsic_map_t,
g95_conv_intrinsic_lib_funtion): Use "g95_generice_isym_id".
* match.c (g95_match_intrinsic_op): Add cast in call to
2003-06-03 Steven Bosscher <>
* support.c (skip_evaluation, warn_conversion, lvalue_p,
lvalue_or_else, pedantic_lvalue_warning, warn_for_assignment,
constant_fits_type_p, convert_and_check,
unsigned_conversion_warning): Remove these ugly remnants
we inherited from the C front end.
(function_types_compatible): Remove '#if 0'-edcode.
(build_modify_expr): Likewise.
(convert_for_assignment): Don't use the deceased functions.
The parameter fundecl is now unused.
(decl_constant_value): Always just return decl. In fact
this function is not used at present, but it might be in
the future, when we start using the tree inliner.
(overflow_warning, default_conversion, c_expand_asm_operands):
Abort when these are called, they are part of the C type
checking implementation and therefore poison to Fortran.
2003-06-04 Steven Bosscher <>
* (F95_ADDITIONAL_OBJS): Don't depend on
c-pretty-print.o and c-dump.o. Add a comment on why we
depend on c-semantics.c.
Don't use the C front end tree dumper hook to dump the
language specific tree representation -- we don't have
one. So instead, inherit the default langhook.
2003-06-02 Paul Brook <>
* trans-expr.c (g95_conv_variable): Remove incorrent assertion.
2003-06-02 Arnaud Desitter <>
* check.c (g95_check_associated): Use proper types. Remove
extraneous argument in call to g95_error().
2003-06-02 Kejia Zhao <>
* resolve.c (resolve_operator): Make logical operands convert to the
type with higher kind.
2003-06-02 Kejia Zhao <>
* check.c (g95_check_associated): Make sure both pointer and target has
the same type and rank. Null pointer or array section with vector
subscript as target are not allowed.
* trans.h: Declare gfor_fndecl_associated.
* trans-decl.c: (g95_build_builtin_function_decls): Initialize
* trans-intrinsic.c (g95_conv_associated): New function.
(g95_conv_intrinsic_function): Make G95_ISYM_ASSOCIATED work.
2003-06-02 Kejia Zhao <>
* trans-array.c (g95_conv_expr_descriptor): Set the base of POINTER
according to POINTER itself rather than TARGET.
(g95_conv_expr_descriptor): Make lbound start at 1.
* trans-expr.c (g95_trans_pointer_assign): Fix a bug for Nullify.
2003-06-01 Paul Brook <>
* expr.c (g95_type_convert_binary): Make it match the standard.
* g95.texi: Remove dead link.
2003-06-01 Steven Bosscher <>
* g95.texi: Cleanup somewhat in preparation for inclusion
2003-05-23 Arnaud Desitter <>
Canqun Yang <>
* resolve.c (compare_bound_int, resolve_where_shape): Proper return
(g95_find_forall_index): Return proper value.
(g95_resolve_assign_in_forall, g95_resolve_forall): Use proper type to
compare the return value from g95_find_forall_index.
2003-05-23 Arnaud Desitter <>
* g95.h, io.c (g95_st_label): Remove "length".
(g95_symtree): Remove "link".
(g95_case): Remove "code".
* arith.c, arith.h (g95_compare_string, g95_convert_integer,
g95_convert_real): Make an argument pointer to const.
* decl.c (colon_seen): Add a TODO.
* interface.c (g95_compare_types): Fix typo.
* interface.c (compare_interfaces): Preserve value of "p".
* intrinsic.c (sort_actual): Remove "i".
* match.c (g95_match_assign): Proper type in call to g95_match().
* parse.c (next_free): Avoid duplicate call due to macro.
* parse.c (check_statement_label): wrong type in call to g95_error.
* primary.c (match_real_constant): Add a TODO.
* resolve.c (resolve_select): Remove useless conditional.
* simplify.c (g95_simplify_repeat): Proper assignment to
* simplify.c (g95_simplify_reshape): Wrong variable in call to
2003-05-20 Canqun Yang <>
* trans-stmt.c: Remove unnecessary include file defaults.h.
2003-05-19 Lifang Zeng <>
* trans-stmt.c (g95_trans_forall_loop): Handle FORALL with negative
(g95_trans_forall): Allow arbitrary number of FORALL indexes and
actual variables used as FORALL indexes.
2003-05-15 Paul Brook <>
* trans-array.c (g95_trans_static_array_pointer): Use
(g95_trans_deferred_array): Initialize static array pointers.
* trans-expr.c (g95_conv_function_call): Use formal arglist to
correctly pass POINTER and absent CHARACTER arguments.
2003-05-14 Lifang Zeng <>
* resolve.c (g95_resolve_forall): Resolve FORALL construct/statement.
(g95_resolve_forall_body): Resolve FORALL body.
(g95_resolve_where_code_in_forall): Resolve WHERE inside FORALL.
(g95_resolve_assign_in_forall): Resolve assignment inside FORALL.
(g95_find_forall_index): Check whether the FORALL index appears in
the expression or not.
(resolve_code): Modified.
2003-05-14 Paul Brook <>
* iresolve.c (g95_resolve_spread): Convert ncopies to index_type.
2003-05-13 Paul Brook <>
* trans-types.c (g95_max_array_element_size): Now a tree node.
(g95_init_types): Work out max size properly.
(g95_get_dtype_cst): Modify to match.
2003-05-11 Paul Brook <>
* trans-io.c (add_case): Create a label decl for case labels.
2003-05-11 Paul Brook <>
* arith.c (g95_integer_index_kind): New variable.
* f95-lang.c (g95_init): Move frontend initialization here ...
(g95_post_options): ... from here.
* g95.h (g95_index_integer_kind, g95_resolve_index): Declare.
* intrinsic.c (add_functions): Use index kinds.
* iresolve.c: Convert to index_kind where needed.
* resolve.c (g95_resolve_index): Make public, use index_kind.
(resolve_array_ref): Adjust to match.
* trans-array.c: Rename g95_array_index_kind to g95_index_integer_kind.
* trans-stmt.c: Ditto.
* trans-types.c: Ditto.
* trans-types.h (g95_array_index_kind): Remove declaration.
* trans-expr.c (g95_conv_expr_present): Use null_pointer_node.
2003-05-07 Paul Brook <>
* trans-const.c (g95_conv_mpz_to_tree): Typecast constant.
* trans-intrinsic.c (g95_conv_intrinsic_bound): Convert type
of bound indices.
2003-05-07 Paul Brook <>
* trans-array.c (trans_static_array_pointer,
g95_trans_array_constructor_value, g95_conv_array_initializer,
g95_conv_structure): CONSTRUCTOR nodes only have one operand.
(g95_add_loop_ss_code): Convert subscripts to the correct type.
* trans-stmt.c (g95_trans_character_select): Ditto.
* trans-types.c (g95_init_types): Ditto.
2003-05-07 Steven Bosscher <>
* f95-lang.c (expand_function_body): Use input_line, not lineno.
* trans-decl.c (g95_generate_function_code,
g95_generate_constructors): Likewise.
* trans.c (g95_trans_runtime_check, g95_add_block_to_block,
g95_get_backend_locus, g95_set_backend_locus, g95_trans_code):
2003-05-07 Kejia Zhao <>
* trans-types.c (g95_get_derived_type): Fix bug for DERIVED type
with components point to the DERIVED type itself, and two DERIVED
type with components point to each other.
* trans-expr.c (g95_conv_componet_ref): Modified
2003-05-07 Kejia Zhao <>
* trans-expr.c (g95_conv_expr): Translate EXPR_NULL into
(g95_trans_pointer_assign): Implement Nullify.
2003-05-01 Paul Brook <>
* trans-array.c (g95_walk_function_expr): Cope with NULL esym.
* trans-decl.c (g95_get_symbol_decl): Don't mangle dummy functions.
2003-05-01 Paul Brook <>
* trans-array.c, trans.c, trans-expr.c, trans-intrinsic.c,
trans-stmt.c: Replace empty_stmt_node with build_empty_stmt () and
2003-05-01 Canqun Yang <>
* trans-stmt.c (g95_trans_integer_select): Add a parameter to build
2003-04-28 Paul Brook <>
* iresolve.c (g95_resolve_transpose): COMPLEX types are twice as big
as their kind suggests.
(g95_resolve_reshape): Ditto.
2003-04-28 Chun Huang <>
* trans-expr.c (g95_conv_substring_expr): New function.
(g95_conv_expr): Use it.
2003-04-28 Paul Brook <>
* iresolve.c (g95_resolve_transpose): Make it match the
* trans-intrinsic.c (g95_is_intrinsic_libcall): Add TRANSPOSE.
2003-04-18 Steven Bosscher <>
* trans-types.c (g95_add_field_to_struct): New function to
add a field to a UNION_TYPE or RECORD_TYPE.
* trans-types.h (g95_add_field_to_struct): Prototype.
(g95_get_derived_type): Use g95_add_field_to_struct to add
* trans-io.c (g95_add_field): Remove.
(ADD_FIELD): Use new g95_add_field_to_struct function.
(ADD_STRING): Likewise.
* trans-stmt.c (g95_trans_select): Likewise.
(g95_add_field): Remove duplicated function.
2003-04-18 Canqun Yang <>
Port implementation for CHARACTER SELECT from Andy's tree.
* trans-stmt.c (g95_trans_character_select): Implement character
select. (g95_add_field): New function.
* trans-decl.c: Declare 'gfor_gndecl_select_string'.
(g95_build_builtin_function_decls): Add 'gfor_fndecl_select_string'.
* g95.h (struct g95_case): Add field 'int n'.
* trans.h: Declare 'gfor_fndecl_select_string'.
2003-04-18 Steven Bosscher <>
* bbt.c (duplicate_key, g95_insert_bbt_with_overlap): Remove.
(g95_insert_bbd): Die on duplicates.
* g95.h (g95_insert_bbt_with_overlap): Delete prototype.
2003-04-14 Steven Bosscher <>
* g95.texi: Require GMP 4.0 -- like we actually
do. Explain the testsuite and what-goes-where.
Don't use undefined texinfo symbol. Break very
long line. Remove finished item from the list
of open projects.
2003-04-11 Canqun Yang <>
* trans-stmt.c (g95_evaluate_where_mask): Give mask temporaries
2003-04-10 Canqun Yang <>
* trans-stmt.c (g95_trans_forall): Implement WHERE inside FORALL.
(g95_trans_forall_body): New function.
2003-04-10 Canqun Yang <>
* resolve.c (resove_where): New function.
(resolve_where_shape): New function.
(resolve_code): Add call to 'resolve_where'
* trans-stmt.c (g95_trans_where): Modified.
(g95_trans_where_2): New function.
(g95_trans_where_assign): New function.
(g95_evaluate_where_mask): New function.
(g95_add_to_stmt_list): New function.
(g95_get_temp_expr): New function.
* trans.h (where_stmt_list): New structure.
2003-04-10 Paul Brook <>
* g95spec.c (DEFAULT_SWITCH_TAKES_ARG): Remove.
2003-04-10 Steven Bosscher <>
Update after mainline -> tree-ssa-branch merge.
* f95-lang.c (g95_mark_addressable): Update put_var_into_stack
(g95_init): Update for new lang_hooks definition.
(g95_post_options): New langhook.
(LANG_HOOK_POST_OPTIONS): Clear, then define to g95_post_options.
* scanner.c (g95_new_file): Comment update.
2003-04-09 Arnaud Desitter <>
* g95.h, lang-options.h: Add -Wimplicit-interface.
* options.c (g95_init_options, g95_parse_arg): Set it.
* interface.c (check_intents): Warn about call with implicit
* resolve.c (resolve_unknown_f, resolve_unknown_s): Call
2003-04-05 Paul Brook <>
* iresolve.c (g95_resolve_spread): Don't resole based on type.
* trans-intrinsic.c (g95_is_intrinsic_libcall): Add G95_ISYM_SPREAD.
2003-03-29 Paul Brook <>
* iresolve.c (g95_resolve_pack): Don't bother resolving based on type.
(g95_resolve_unpack): Ditto.
* trans-intrinsic.c (g95_conv_intrinsic_merge): New Function.
(g95_conv_intrinsic_function): Use it. Remove PACK and UNPACK.
(g95_is_intrinsic_libcall): Add PACK and UNPACK.
2003-03-25 Paul Brook <>
* arith.c (g95_unary_user, g95_user): Remove dead functions.
* arith.h: Ditto.
* array.c (g95_free_array_ref): Ditto.
* g95.h: Ditto.
* symbol.c (g95_use_derived_tree): Ditto.
* intrinsic.c (add_functions): Use simplification for SCALE.
* primary.c (g95_match_rvalue): Test sym, not symtree.
2003-03-25 Paul Brook <>
* trans-decl.c (build_function_decl): Add parameter before it gets
turned into a constant.
* iresolve.c (g95_resolve_eoshift): Resolve to a useful name.
* trans-intrinsic.c (g95_is_intrinsic_libcall): Add G95_ISYM_EOSHIFT.
* trans-decl.c (g95_create_module_variable): Don't pushdecl constants.
2003-03-22 Paul Brook <>
* trans-array.c (g95_conv_array_initializer): Allow scalar
* trans-decl.c (g95_finish_var_decl): Result variables are not
module variables.
* trans-intrinsic.c (g95_conv_intrinsic_transfer): New function.
(g95_conv_intrinsic_function): Use it.
* trans-types.h (g95_type_spec): Remove dead declaration.
2003-03-21 Paul Brook <>
* trans-decl.c (g95_build_function_decl): Mark string parameters.
2003-03-20 Paul Brook <>
* trans-decl.c (g95_build_function_decl): Put character length
parameters at the end of the function declaration.
* trans-expr.c (g95_conv_function_call): Ditto.
* trans-types.c (g95_get_function_type): Ditto.
2003-03-20 Arnaud Desitter <>
* resolve.c (resolve_formal_arglist): Don't impose intent for
procedure arguments of pure functions.
(resolve_select): Remove redundant assignment.
2003-03-19 Arnaud Desitter <>
* arith.c (validate_logical), g95.h, options.c (g95_init_options):
Remove option l1.
* g95.h, intrinsic.c(g95_get_intrinsic_sub_symbol): Add const.
* iresolve.c(g95_resolve_cpu_time, g95_resolve_random_number): Add
* lang-options.h: Remove -finline-repack-arrays. Add -fg77-calls.
Order list.
* symbol.c (g95_add_type): Fix typo in comment.
2003-03-16 Paul Brook <>
* dump-parse-tree.c (g95_show_code_node): Print resolved sym name.
* expr.c (g95_build_call): Remove.
* f95-lang.c (puchdecl_top_level): New function.
* g95.h (g95_code): Store resolved symbol, not just the name.
* intrinsic.c (g95_intrinsic_namespace): New global namespace.
(g95_intirinsic_init_1, g95_intrinsic_done_1): Use it.
(g95_get_intrinsic_sub_symbol): New function.
* iresolve.c (g95_resolve_cpu_time): Use it.
(g95_resolve_random_number): Ditto.
* resolve.c: Set code->resolved_sym instead of code->sub_name.
* trans-decl.c (g95_get_extern_function_decl): Give external decls
the correct DECL_CONTEXT. Add global symbold to the global scope.
* trans-stmt.c (g95_trans_code): Remove hacks now the fronted is
2003-03-16 Paul Brook <>
* g95.h (g95_option_t): Add g77_calls. Remove inline_repack_arrays.
* options.c (g95_parse_arg): Ditto.
* module.c (mio_symbol_attribute): Handle the always_explicit bit.
* resolve.c (resolve_formal_arglist): The always_explicit sould be set
for the procedure, not the parameter.
* trans-array.c (g95_trans_g77_array): New function.
(g95_trans_assumed_size): Use it.
(g95_trans_dummy_array_bias): Ditto.
(g95_conv_array_parameter): Handle g77 arrays. Move existing body ...
(g95_conv_expr_descriptor): ... to here. Update callers.
* trans-decl.c (g95_build_dummy_array_decl): Handle g77 arrays.
(g95_get_symbol_decl): Avoid processing g77 arrays multiple times.
* trans-expr.c (g95_conv_function_call): Handle g77 arrays.
* trans-intrinsic.c (g95_get_symbol_for_expr): Never use g77 arrays.
* trans-types.c (g95_is_nodesc_array): Handle g77 arrays.
(g95_sym_type): Ditto.
2003-03-15 Paul Brook <>
* trans-array.c (g95_walk_elemental_function_args): Don't amputate the
first chain.
* trans-expr.c (g95_conv_function_call): Use the resolved symbol.
2003-03-14 Paul Brook <>
* trans-array.c (g95_array_is_packed): Remove.
(g95_conv_array_base): Correctly handle all descriptorless cases.
(g95_conv_array_stride): Use descriptorless strides.
(g95_trans_dummy_array_bias): Don't always repack the array.
(g95_build_dummy_array_decl): Automatic dummy arrays are only partial
* trans-types.c (g95_get_nodesc_array_type): Differentiate between
dummy and non-dummy arrays...
(g95_sym_type, g95_get_derived_type): ... like these.
(g95_get_array_type_bounds): Allow discontiguous arrays.
2003-03-12 Paul Brook <>
* array.c (g95_resolve_array_spec): Fix comment.
* g95.h (symbol_attributes): New flag always_explicit.
* resolve.c (resolve_formal_arglist): Set it always_explicit.
* iresolve.c (g95_resolve_lbound, g95_resolve_ubound): Simplify.
* trans-array.c (g95_conv_descriptor_dimension): Remove dead assert.
(g95_trans_array_bounds): Allow assumed shape arrays.
(g95_trans_repack_array): Remove.
(g95_trans_dummy_array_bias): Rewite to use descriptorless arrays.
* trans-decl.c (g95_build_qualified_array): Only ignore absent
bounds for assumed size arrays.
(g95_build_dummy_array_decl): Use descriptorless arrays.
* trans-expr.c (g95_conv_expr_present): Allow descriptorless arrays.
(g95_trans_pointer_assign): Fix typo.
* trans-intrinsic.c (g95_conv_intrinsic_function_args): Remove dead
(g95_conv_intrinsic_bound): Rewrite to handle descriptorless arrays.
* trans-types.c (g95_get_nodesc_array_type): Allow non-packed arrays.
Also modify callers.
* trans-types.h (g95_get_nodesc_array_type): Modify prototype.
2003-03-08 Paul Brook <>
* trans-array.c (g95_walk_elemental_functions): Don't reverse the SS.
(g95_conv_array_ubound): Provide dummy value for assumed size arrays.
* resolve.c (compare_spec_to_ref): Allow full array sections.
2003-03-08 Paul Brook <>
* expr.c (g95_simplify_expr): Also simplify array index and
substring expressions.
* resolve.c (compare_spec_to_ref): Check for assumed size bounds.
* trans-array.c (g95_trans_array_bounds): New function.
(g95_trans_auto_array_allocation): Use it.
(g95_trans_assumed_size): Rewrite.
* trans-decl.c (gfor_fndecl_in_pack, gfor_fndecl_in_unpack): Declare.
(gfor_fndecl_repack): Remove.
(g95_build_qualified_array): Handle absent upper bounds.
(g95_build_dummy_array_decl): Assumed shape arrays are descriptorless.
(g95_get_symbol_decl): Update.
(g95_build_intrinsic_function_decls): Initialize new decls.
* trans.h (gfor_fndecl_in_pack, gfor_fndecl_in_unpack): Declare.
(gfor_fndecl_repack): Remove.
* trans-io.c (g95_build_io_library_fndecls): Correct prototypes.
* trans-types.c: (g95_build_array_type): Merge duplicated code..
(g95_get_nodesc_array_type): Handle absent bounds.
* trans-types.h (g95_get_nodesc_array_type): Declare.
2003-03-04 Paul Brook <>
* f95-lang.c (DEF_FUNCTION_TYPE_VAR_3): Define before including
2003-03-02 Paul Brook <>
* options.c (g95_init_options): Drfault to 1.
(g95_pasrse_arg): Add -frepack-arrays, use strcmp.
* trans-array.c (g95_conv_array_data, g95_conv_array_base,
g95_conv_array_stride,g95_conv_array_lbound, g95_conv_array_ubound):
Handle non-constant size automatic arrays.
(g95_conv_section_upper_bound, g95_conv_section_startstride): Use
generic bound functions.
(g95_trans_auto_array_allocation): Don't create a descriptor.
(g95_trans_assumed_size): New function (broken).
(g95_trans_dummy_array_bias): Remove unused var.
* trans-array.h (g95_trans_assumed_size): Declare.
* trans-decl.c (create_index_var): New fuction.
(g95_build_qualified_array): New function.
(g95_get_symbol_decl): Use it.
(g95_trans_deferred_vars): Handle assumed shape seperately.
* trans-types.c (get_element_type): Handle heap allocated arrays.
(g95_is_nodesc_array): Include non-const size arrays.
(g95_get_nodesc_array_type): Ditto.
2003-02-23 Paul Brook <>
* trans-array.c (g95_array_init_size): Should use stride, not size of
last dimension.
2003-02-18 Paul Brook <>
* trans-expr.c (g95_trans_arrayfunc_assign): Nove elemental check
after intrinsic function check.
2003-02-18 Arnaud Desitter <>
* io.c (match_io): Fix missing return value and remove useless
* match.c (g95_match): Remove useless assignment.
* module.c (parse_string): Remove useless post increment.
* simplify.c (g95_simplify_verify): Remove useless assignment.
2003-02-15 Paul Brook <>
* expr.c (restricted_intrinsic): Handle bad values gracefully.
* g95.h (symbol_attribute): Add referenced member.
(g95_symbol): Add dummy_order member.
(g95_set_sym_referenced): Declare.
* match.c (g95_match_assignment, g95_match_call): Use it
* primary.c (match_actual_arg, g95_match_rvalue,
g95_match_variable): Ditto.
* symbol.c (next_dummy_order): New variable.
(g95_set_sym_referenced): New function.
(check_done): New function.
(g95_add_*): Use it.
* trans-decl.c: Make formatting conform to GCC standards.
(g95_defer_symbol_init): Add dummy variables in the right order.
(g95_get_symbol_decl): Only accept referenced variables.
(g95_create_module_variable): Module variables are always required.
(generatr_local_decls): New function.
(generate_local_vars): New function.
(g95_generate_function_code): Use it.
2003-02-13 Paul Brook <>
* trans-decl.c (g95_conv_struct_cons): Remove.
(g95_get_symbol_decl): Use g95_conv_expr for structure initializers.
* trans-expr.c (g95_conv_structure): New function.
(g95_conv_expr): Use it.
2003-02-09 Paul Brook <>
* trans-array.c (g95_array_init_size): Don't evaluate the linit
expressions multiple times.
(g95_trans_auto_arry_allocation): Use pointer not tmp.
2003-02-08 Paul Brook <>
* module.c (mio_symtree_ref): Declare as static.
(mio_expr): Remove dead code.
(read_module): Set the symtree link for fixups.
* trans-intrinsic.c (g95_conv_intrinsic_round): Rename...
(build_round_expr): ... to this.
(g95_conv_intrinsic_aint): New function.
(g95_conv_intrinsic_function): Use it.
2003-02-08 Paul Brook <>
* trans-array.c (g95_trans_array_constructor_value): Use the acutal
offset after modificaton, not the increment expression.
* dependency.c: Kill excess whitespace.
2003-02-07 Sanjiv Gupta <>
* dependency.h: Remove some function declarations.
* dependency.c (get_no_of_elements): Change this function not to
return int.
* other: Add comments for all modified functions.
2003-02-06 Paul Brook <>
* g95spec.c (lang_specific_functions): Fix initializer warning.
* dump-parse-tree.c (g95_show_expr): Use typespec instead of symtree
for structure type names.
* trans-decl.c (g95_cons_structure_cons): New function.
(g95_get_symbol_decl): Use it.
* trans-expr.c (g95_conv_component_ref): Remove duplicate pointer
referencing code.
2003-02-06 Arnaud Desitter <>
* resolve.c (compare_cases): Add const to casts.
2003-01-30 Arnaud Desitter <>
* g95.h (g95_check_f): Change a1 to f1m.
* intrinsic.c (add_sym_1m, check_specific,
g95_intrinsic_func_interface): Use it.
* module.c (init_pi_tree): Remove useless cast.
(fp2): Fix argument type.
* parse.c (parse_select_block): Add comment.
2003-02-05 Toon Moene <>
* lang-options.h: Fix warning involving C90 concatenated
2003-02-06 Steven Bosscher <>
Arnaud Desitter <>
* io.c (format_asterisk): Complete initializer to kill warning.
(g95_integer_kinds, g95_logical_kinds, g95_real_kinds): Use the
new defines to complete initializers. Kills all warnings.
* Comment cleanup.
2003-02-05 Paul Brook <>
* array.c (g95_free_constructor): Handle NULL expressions.
* resolve.c (resolve_structure_cons): Ditto.
* decl.c (g95_match_null): New Function.
(variable_decl): Use it.
* module.c (mio_expr): Don't bother saving symtree for EXPR_STRUCTURE.
* primary.c (g95_match_runtime): Don't use symtree for EXPR_STRUCTURE.
* trans-types.c (g95_set_decl_attributes): Remove empty function.
2003-02-05 Paul Brook <>
* trans.h (build1_v): New macro.
(build_v): Remove pointless and incorrect prototype.
* various: Use build1_v for GOTO_EXPR and LABEL_EXPRs.
* f95-lang.c (g95_init_builtin_decls): DEF_BUILTIN takes 10 args.
2003-02-01 Steven Bosscher <>
* (F95_OBJS): Remove one more dead file.
2003-02-01 Paul Brook <>
* lang-specs.h: Don't pass -ffixed-form to the linker.
* trans-decl.c (g95_generate_function_code): Clear saved decl chain.
2003-02-01 Paul Brook <>
* (F95_OBJS): Remove dead files.
* trans-array.c (g95_array_init_size): Do the right thing when
* trans-decl.c (g95_generate_function_code): Initialize deffered
symbol list before translating contained subroutines.
* trans-expr.c (g95_conv_expr, g95_conv_expr_reference): Substitute
scalar invariant values here...
(g95_conv_variable, g95_conv_function_call): ... instead of here ...
* trans-intrinsic.c (g95_conv_intrinsic_function_args): .. and here.
2003-01-29 Paul Brook <>
* trans-array.c (g95_add_loop_code): Put pre code in the right block.
(g95_walk_elemental_function_args): Reverse chains before adding.
(g95_reverse_ss): Move about a bit.
* trans-expr.c (g95_conv_function_call): Handle scalar intrinsic
function arguments.
2003-01-28 Paul Brook <>
* intrinsic.c (resolve_intrinsic): Use correct union member.
* trans-array.c (g95_trans_dummy_array_bias): Don't touch absent
* trans-decl.c (g95_get_symbol_decl): Don't translate initializers for
use associated variables.
* trans-intrinsic.c (g95_conv_intrinsic_present): Move body ...
* trans-expr.c (g95_conv_expr_present): ... to here.
* trans.h: Declare it.
* trans-types.c (g95_sym_type): Assume subroutine if not specified.
2003-01-28 Arnaud Desitter <>
* array.c (expand_iterator): Suppress useless assignment.
* decl.c (match_char_spec): Ditto.
* io.c (match_io_iterator): Ditto.
* primary.c (match_real_constant): Ditto.
* interface.c (fold_unary, g95_free_interface, g95_extend_expr):
Ditto. Also, use g95_intrinsic_op not int for intrinsic operators.
* matchexp.c (match_add_operand, match_level_5): Likewise.
* module.c (parse_atom, find_enum): Likewise.
* resolve.c: move #include <string.h>
(resolve_select): Fix serious typo.
2003-01-28 Steven Bosscher <s.bosscher@student.tudelft.n>
* Don't build with broken tree-ssa-pre.
2003-01-28 Steven Bosscher <>
* resolve.c (resolve_index): Add a TODO.
* symbol.c: Remove useless "#include <ctype.h>".
2003-01-27 Paul Brook <>
* check.c (check_rest): Allow different type kinds as an extension.
* g95.h (g95_resolve_f): Add f1m.
* intrinsic.c (add_sym_1m, resolve_intrinsic): Use it.
* intrinsic.h: Chenge prototypes for MIN and MAX.
* iresolve.c (g95_resolve_minmax): New function.
(g95_resolve_min, g95_resolve_max): Use it.
* trans-intrinsic.c (g95_trans_intrinsic_minmax): Only evaluate
arguments once.
(g95_conv_intrinsic_present): Fix logic.
2003-01-27 Steven Bossche <>
* g95.h (g95_case): Don't be a tree, be a double linked list.
* match.c (match_case_selector): Remove redundant semantics check.
Clean up a few goto's to make it a tiny little bit faster.
* resolve.c (case_tree): Die.
(compare_cases): Accept and compare unbounded cases too.
(check_case_overlap): Don't build a tree. Instead, merge-sort the
whole list of g95_cases passed from resolve_select.
(sane_logical_select): Die.
(check_case_expr): Return FAILURE if a CASE label is of the wrong
type kind.
(resolve_select): Fixup case expression for computed GOTOs, put it
in expr, not expr2, for easier handing in the parse tree dumper and
the code generator. Rewrite the rest of the function: Kill
unreachable case labels and unreachable case blocks.
* dump-parse-tree.c (g95_show_code_node): Always dump expr for
an EXEC_SELECT, not case2 anymore.
* trans-const.c (g95_conv_constant_to_tree): New function.
(g95_conv_constant): Use it.
* trans-const.h: Declare prototype for the new function.
* trans-stmt.c (g95_trans_integer_select, g95_trans_logical_select,
g95_trans_character_select): New static functions.
(g95_trans_select): Rewrite.
2003-01-26 Paul Brook <>
* intrinsic.c (add_fnctions): Properly add dreal.
* trans-intrinsic.c (g95_conv_intrinsic_present): New function.
(g95_conv_intrinsic_function): Use it.
* trans-io.c (build_dt): Abort on internal files (unimplemented).
2003-01-26 Paul Brook <>
Widespread changes to the handling of symbols in expressions. These
are now linked via g95_symtree nodes.
* parse.c (g95_fixup_sibling symbols): New function.
(parse_contained): Use it.
* g95.h (symbol_attribute): Add contained. Indicates a symbol is a
contained procedure that has bee correctly fixed up.
(g95_code, g95_expr): Point to a g95_symtree, not a g95_symbol.
2003-01-24 Paul Brook <>
* trans-array.c (g95_walk_expr): Function result attributes are in
* trans-expr.c (g95_conv_function_call,
g95_trans_arrayfunc_assign): Ditto.
* trans-decl.c (g95_get_symbol_for_expr): Set sym->result.
2003-01-23 Steven Bosscher <>
* expr.c (check_restricted): Fix error message.
* symbol.c (free_st_labels): Plug memleak.
2003-01-22 Steven Bosscher <>
* arith.c (reduce_unary, reduce_binary_ac, reduce_binary_ca,
reduce_binary_aa, reduce_binary, eval_intrinsic,
eval_intrinsic_f2): Use typesafe prototypes for eval functions.
* g95.h (g95_check_f, g95_simplify_f, g95_resolve_f): New unions
for typesafe intrinsics helper functions.
(g95_intrinsic_sym): Use them.
* intrinsic.c (do_check, add_sym, add_sym_0, add_sym_1,
add_sym_1s, add_sym_1m, add_sym_2, add_sym_3, add_sym_4,
add_sym_5, add_conv, resolve_intrinsic, do_simplify,
check_specific, g95_intrinsic_func_interface,
g95_intrinsic_sub_interface): Adjust all calls to intrinsics
helper functions.
* trans-decl.c (g95_get_extern_function_decl): Likewise.
* Don't disable warnings for strict prototypes
any longer, everything is typesafe now.
2003-01-22 Steven Bosscher <>
* bbt.c (duplicate_node): Make static.
* module.c (module_name): Make static.
* scanner.c (include_dirs): Make static.
2003-01-20 Steven Bosscher <>
Hard coded _gfor_'s should not show up anymore.
* g95.h (PREFIX): New macro.
* iresolve.c (g95_resolve_cpu_time): Use PREFIX, not
hard-coded "_gfor".
(g95_resolve_random_number): Likewise.
* trans-decl.c (g95_build_intrinsic_function_decls): Likewise.
* trans-io.c: Remove 'prefix' macro. Replace all uses with
the new PREFIX macro from g95.h.
2003-01-20 Steven Bosscher <>
The troubles of forking... Andy implemented this just now too.
Let's stick to that and keep the trees close.
* g95.h (g95_st_label): 'format' member is now a g95_expr.
* io.c: Revert previous changes.
(g95_match_format): Match the format string as a character
literal expression.
* match.h (g95_statement_label): Declare external.
* parse.c: Revert previous changes.
* symbol.c (g95_free_st_label): Free a g95_expr instead
if a 'char *'.
* trans-io.c: Revert previous changes.
(build_dt): Use set_string to set the format string.
2003-01-20 Steven Bosscher <>
* io.c (format_string): Make non-static.
(g95_match_format): Remember the format string.
(terminate_io): Add I/O termination for empty I/O lists.
* match.h: Declare external format_string.
* parse.c (check_statement_label): Attack the format string
to a format label for FORMAT statements.
* trans-io.c (g95_add_field): Define prefix macro. Replace
all uses of PREFIX define with a use of this macro.
(build_dt): Implement formatted I/O for format labels.
2003-01-20 Steven Bosscher <>
* lang-options.h: Kill "-std=F".
* options.c: Remove unimplemented "-std=F". Modify
web address.
* misc.c (g95_terminal_width): New function.
* error.c (g95_error_init_1): Use g95_terminal_width.
* g95.h: Add prototype for g95_terminal_width, remove
fmode flag.
2003-01-19 Steven Bosscher <>
* Fix typo.
2003-01-18 Steven Bosscher <>
* g95.h (struct g95_case): Remove unused cruft, new member
'where' to keep track of the locus of the default case.
* match.c (g95_match_case): Add locus to the current case.
(match_case_selector): Likewise.
* parse.c (parse_select_block): Move semantics check for
multiple DEFAULT cases out of here to...
* resolve.c (check_case_overlap): Return sooner
when possible.
(check_case_expr): Take two g95_cases now, use to sure the
expression kinds are the same.
(resolve_select): Cleanup.
2003-01-18 Paul Brook <>
* trans-io.c: Fix typos in ported IO work (set_fla[tg]).
* trans-decl.c (g95_set_symbol_decl): Handle non-array result
(g95_get_extern_function_decl): Put decls in the correct context.
2003-01-18 Steven Bosscher <>
* trans-io.c: Port changes from Andy to set ERR flag.
2003-01-17 Paul Brook <>
* trans-array.c: Add various comments.
(g95_ss_terminator): Declare as const.
(g95_walk_expr): Remove first parameter and update all callers.
(g95_walk_op_expr): Initialize scalar SS properly.
* trans-array.h (g95_walk_expr): Update prototype.
* trans-expr.c: Update for new g95_walk_expr.
* trans-intrinsic.c: Ditto.
* trans-io.c: Ditto.
* trans.h: Various comments for SS chains.
2003-01-17 Paul Brook <>
* intrinsic.h (g95_generic_isym_id): Add G95_ISYM_S?_KIND, SPACING
* intrinsic.c (add_functions): Use them.
* trans-intrinsic.c (g95_conv_intrinsic_function): Ditto.
* trans-expr.c (g95_conv_expr_lhs): Abort on impossible error.
2003-01-17 Steven Bosscher <>
Fallout of a small merge conflict:
* intrinsic.c: Un-revert lost patch (G95_ISYM_SCALE).
2003-01-17 Steven Bosscher <>
* initrinsic.c: New add_sym_* functions for strong typing.
(add_conv): Make prototype strict.
* dump-parse-tree.c, dependency.c: Include config.h
* resolve.c, trans-io.c: Fix typos.
2003-01-17 Steven Bosscher <>
* dump-parse-tree.c (g95_show_code_node): Show the
condition for a computed GOTO that was transformed
to a SELECT CASE construct.
* resolve.c (check_case_overlap): Revert previous switch
to treaps, it was too slow and didn't catch all trouble.
(resolve_symbol): Be more flexible about module procedures.
* symbol.c (check_conflict): Point to relevant section in
the standard for dubious conflict. Allow procedure
dummy arguments to be optional again.
* trans-io (add_field): Rename to g95_add_field. Change
all callers.
* trans-stmt (trans_select): Handle unbounded cases for
integer SELECT CASE constructs. Fix/add more comment.
2003-01-17 Steven Bosscher <>
* g95.h: Uses GCC's function attribute macros.
* error.c, module.c, parse.c, g95.h: More function attributes.
2003-01-16 Steven Bosscher <>
Forgot a file...
* trans-decl.c (get_label_decl): Use TREE_LINENO instead
2003-01-16 Steven Bosscher <>
* f95-lang.c (pushdecl): Use TREE_LINENO instead of
* trans.c (g95_trans_code): Use annotate_all_with_file_line
instead of nowdead wrap_all_with_wfl.
2003-01-14 Steven Bosscher <>
* parse.c (g95_parse_file): In verbose mode, dump the parse tree
before generating code, so we can still see it even if the code
generation phase dies.
2003-01-14 Steven Bosscher <>
* decl.c (build_sym): Split out initialization expression parts...
(add_init_expr_to_sym): here.
(variable_decl): Add the symbol following an attribute list to the
symbol tree before parsing the optional initialization expression
if the symbol is not of a derived type.
* primary.c (g95_match_rvalue): Don't assume a symbol always has
a value if it is a PARAMETER.
2003-01-14 Steven Bosscher <>
* misc.c: Don't #include <mcheck.h>
* module.c: Ditto. Kill uses of mtrace, muntrace. If there
ever was a glibc bug, then either this was never reported to
glibc people, or it has been fixed for so long that there's
no information you can find about it, anywhere.
2003-01-14 Steven Bosscher <>
Fix warnings:
* module.c (attr_bits, bt_types, array_spec_types):
Switch 'const' and 'static'.
* iresolve.c (g95_resolve_reshape): Make __resolve0 non-'const'.
GNU'ify source code:
* trans-io.c: Numerous fixes, one fixed warning and a few
TODO markers so that we don't forget about them.
2003-01-13 Paul Brook <>
* intrinsic.c (add_functions): Add G95_ISYM_SCALE.
* intrinsic.h (g95_generic_isym_id): Remove bogus G95_ISYM_ANINIT.
* trans-intrinsic.c (g95_conv_intrinsic_function): Ditto
* match.c (g95_match_stop): Fix dumb == -> != error.
2003-01-13 Steven Bosscher <>
* dump-parse-tree.c (show_indent): Add line breaks. This
whole dumping process needs cleanups.
* f95-lang.c (g95_mark_addressable): Fix prototype to match
the langhook. Fix 'return's accordingly.
* g95-support.h: Adjust prototype.
* g95.h: Add 'no_backend' member to 'g95_option_t' struct.
* lang-options.h: Add '-fsyntax-only'.
* options.c (g95_init_options): Init 'no_backend'.
(g95_parse_arg): Deal with '-fsyntax-only'.
* parse.c (g95_parse_file): Do not generate code if 'no_backend'
is set.
2003-01-13 Steven Bosscher <>
Patch from Arnaud
* resolve.c (resolve_symbol): Assumed shape arrays must be dummy
arguments. Also make sure that if a symbol is marked INTRINSIC,
an intrinsic with the symbol's name actually exists.
(check_conflict): Make EXTERNAL and DIMENSION attributes conflict.
Do not allow PROCEDURES to have the SAVE, POINTER, TARGET,
2003-01-13 Steven Bosscher <>
* resolve.c (resolve_contained_functions): Fix condition, don't
throw internal_error if a child namespace has no name. Apparently
this can be the case?
2003-01-11 Paul Brook <>
Port changes from Andy's tree:
* g95.h (g95_code): Add stop_code.
* match.c (g95_match_stop): Detter syntax checking.
* resolve.c (resolve_generic_f0): Return match type.
(resolve_generic_f): Remove dead/duplicated code.
(resolve_specific_f): Ditto.
* dump-parse-tree.c (g95_show_code_node): Handle new STOP format.
* trans-decl.c (gfor_fndel_stop_*): New fndecl nodes.
* trans-stmt.c (g95_trans_stop): Handle new STOP format.
2003-01-11 Paul Brook <>
* trans-array.c: Various documentation/comment changes.
* trans-stmt.c: Ditto.
2003-01-10 Paul Brook <>
* options.c/h: Add -fdump-parse-tree as alias of -v.
2003-01-10 Steven Bosscher <>
* dump-parse-tree.c (g95_show_namespace): Fixed another
typo. Sorry, it's Friday...
2003-01-10 Steven Bosscher <>
Spotted by Tobi:
* trans-array.c, trans-array.h, trans.c, trans-const.c,
trans-const.h, trans-decl.c, trans-expr.c, trans.h
trans-intrinsic.c, trans-io.c, trans-stmt.c, trans-stmt.h
trans-types.c: Fix bogus copyright years, add 2003.
* trans-types.h: Give copyright header.
2003-01-10 Steven Bosscher <>
* dump-parse-tree.c (g95_show_namespace): Fixed typo.
* expr.c, options.c, scanner.c: Add some more 'const' markers.
* intrinsic.c: Some constant strings moved to read-only memory.
* io.c (format_asterisk): Move to...
* g95.h:
2003-01-10 Steven Bosscher <>
* dump-parse-tree.c (g95_show_namespace): Dump implicit
types for ranges instead of per-letter. Indent the
'CONTAINS' just like everything else.
* resolve.c (resolve_contained_functions): Clarify comment.
Explain non-obvious conditional expression. Improve
diagnostics if tyoe cannot be resolved.
Port semi-fix from Andy's tree:
(was_declared): Move up before first use.
(generic_sym, specific_sym): New functions. Code moved
out if procedure_kind.
(procedure_kind): Simplify using new functions.
(resolve_generic_f): Make sure the functions we find in
a parent namespace is generic.
(resolve_specific_f): Ditto for specific functions.
2003-01-10 Steven Bosscher <>
* trans-stmt.c, trans.c: Fix some code style issues. Add
some more comment (but still not enough!).
2003-01-10 Steven Bosscher <>
* symbol.c (flavors, procedures, intents, acces_types,
access_types, ifsrc_types): Make const.
* misc.c (g95_string2code): Make 'm' param 'const'.
* module.c (find_enum, write_atom, mio_name): Make
'm' param 'const'.
(attr_bits, bt_types, array_spec_types, array_ref_types,
ref_types, expr_types): Make const.
* g95.h: Adjust external decls.
2003-01-09 Paul Brook <>
* Testsuite: Add a load of new cases.
2003-01-08 Steven Bosscher <>
* Add dependency on back end header files;
a parallel build should work now.
* f95-lang-c (lang_identifier): Remove bogus comment.
(g95_be_parse_file): Fix prototype.
(g95_init): Make static.
(g95_finish): Make static.
* error.c (g95_syntax_error): Kill. Make define in...
* g95.h (g95_syntax_error): Define.
(g95.options): Make 'source' member 'const'.
* interface.c (g95_match_interface): Explain
hard-to-read condition.
(g95_match_end_interface): Ditto.
* trans_const.c (g95_build_string_const): Make 's' parameter
* trans_const.h: Adjust protoype accordingly.
* trans-decl.c: Include tree-dump.h
(g95_generate_function_code): Build fixes for recent changes
in the tree-ssa branch.
2003-01-08 Steven Bosscher <>
* format.c: Kill, move code from here...
* io.c: here.
* Adjust.
* MANIFEST: Ditto.
* match.h: Ditto.
* BUGS: Mention where to submit bugs. Move old content...
* TODO: here. New file.
2003-01-08 Steven Bosscher <>
Fix most warnings, and suppress the ones we can't fix for now.
* Suppress warnings about bad proto's in g95.h,
these warnings just clutter the screen and there's not much
we can do about them for now anyway.
* check.c, iresolve.c: Mark unused function parameters.
* dump-parse-tree.c (g95_show_array_spec): Punt on AS_UNKNOWN,
they should be resolved before they get here.
* error.c: Remove unused FILE *status_out.
* f95-lang.c (g95_init): Remove bogus cast.
* Many files: Make things 'const' where required.
* g95.h: Fix prototypes for all modified functions above.
(g95_options): Remove 'object' member.
2003-01-07 Steven Bosscher <>
* Cleanup bogus targets. Add more comment.
* lang-options.h: New option '-w'.
* g95.h: add no_options field to struct g95_options.
* options.c (g95_init_options): Default no_warnings to off.
(g95_parse_arg): Recognise the '-w' switch and its alias,
* error.c (g95_warning, g95_warning_now): Don't emit warning if
no_warning option is set.
* iresolve.c (g95_resolve_shape): Fix warning.
2003-01-07 Steven Bosscher <>
* primary.c (g95_next_string_char): Rename next_string_char, and
make static. Adjust callers accordingly.
* resolve.c (resolve_generic_f0): Return try, not match. Adjust
callers accordingly.
* g95.h: Split out all g95_match* functions to...
* match.h: New file.
* array.c, decl.c, expr.c, format.c, interface.c, io.c, match.c,
matchexp.c, module.c, parse.c, primary.c: Inlcude match.h
2003-01-07 Steven Bosscher <>
* symbol.c (g95_clear_new_implicit, g95_add_new_implicit_range,
g95_merge_new_implicit): New functions.
(g95_match_implicit_none, g95_match_implicit): Move from here...
* match.c (g95_match_implicit_none, g95_match_implicit): ... to here.
Modify to use the new functions in symbol.c.
* g95.h: Add and move prototypes.
2003-01-06 Steven Bosscher <>
* bbt.c (insert): Use a typedef'ed compare_fn prototype for the
node compare function.
(g95_insert_bbt): Likewise.
(g95_insert_bbt_with_overlap): Likewise.
(g95_delete_bbt): Likewise.
(delete_treap): Likewise. Also fix a potential bug when calling it.
* module.c (compare_pointers): Change proto to compare_fn.
(compare_integers): Likewise.
(compare_true_names): Likewise.
(find_true_name): Adjust call to compare_true_names to match proto.
(require_atom, write_atom, mio_name): Fix 'const' warnings.
(init_pi_tree): Make compare a compare_fn instead of (int *).
* resolve.c (compare_cases): Change proto to compare_fn.
* symbol.c (g95_compare_symtree): Change proto to compare_fn, make
it static, and rename to compare_symtree.
(delete_symtree, g95_undo_symbols, g95_new_symtree): Use renamed
* g95.h: Kill g95_compare_symtree prototype. Adjust prototypes
of g95_insert_bbt, g95_insert_bbt_with_overlap, and g95_delete_bbt.
2003-01-06 Steven Bosscher <>
* Fix spaces/tabs issues from previous patch.
* patch.options: Blow away Paul's checkin mistake :-)
* io.c (terminate_io): Fix memory leak (Arnaud).
2003-01-06 Steven Bosscher <>
* Teach about building DVI, info manual.
* g95.texi: New file.
2003-01-02 Paul Brook <>
* trans-array.c (g95_reverse_ss): Make static and don't use.
(g95_conv_ss_descriptor): Don't use g95_loopinfo
(g95_conv_array_parameters): Modify for pointer assignments.
(g95_walk_subexpr): New function.
(g95_walk_expr*): Use it.
* trans-array.h (g95_reverse_ss): Remove prototype.
* trans-expr.c (g95_trans_pointer_assign): Implement.
(Many): Set se.want_pointer before calling g95_conv_array_parameter.
* trans-intrinsic.c: Sync with scalarizer changes.
* trans-io.c: Ditto.
Copyright (C) 2003 Free Software Foundation, Inc.
Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.