2008-05-06 Francois-Xavier Coudert * arith.c: (gfc_arith_concat, gfc_compare_string, gfc_compare_with_Cstring, hollerith2representation, gfc_hollerith2int, gfc_hollerith2real, gfc_hollerith2complex, gfc_hollerith2character, gfc_hollerith2logical): Use wide characters for character constants. * data.c (create_character_intializer): Likewise. * decl.c (gfc_set_constant_character_len): Likewise. * dump-parse-tree.c (show_char_const): Correctly dump wide character strings. error.c (print_wide_char): Rename into gfc_print_wide_char. (show_locus): Adapt to new prototype of gfc_print_wide_char. expr.c (free_expr0): Representation is now disjunct from character string value, so we always free it. (gfc_copy_expr, find_substring_ref, gfc_simplify_expr): Adapt to wide character strings. * gfortran.h (gfc_expr): Make value.character.string a wide string. (gfc_wide_toupper, gfc_wide_strncasecmp, gfc_wide_memset, gfc_widechar_to_char, gfc_char_to_widechar): New prototypes. (gfc_get_wide_string): New macro. (gfc_print_wide_char): New prototype. * io.c (format_string): Make a wide string. (next_char, gfc_match_format, compare_to_allowed_values, gfc_match_open): Deal with wide strings. * module.c (mio_expr): Convert between wide strings and ASCII ones. * primary.c (match_hollerith_constant, match_charkind_name): Handle wide strings. * resolve.c (build_default_init_expr): Likewise. * scanner.c (gfc_wide_toupper, gfc_wide_memset, gfc_char_to_widechar): New functions. (wide_strchr, gfc_widechar_to_char, gfc_wide_strncasecmp): Changes in prototypes. (gfc_define_undef_line, load_line, preprocessor_line, include_line, load_file, gfc_read_orig_filename): Handle wide strings. * simplify.c (gfc_simplify_achar, gfc_simplify_adjustl, gfc_simplify_adjustr, gfc_simplify_char, gfc_simplify_iachar, gfc_simplify_ichar, simplify_min_max, gfc_simplify_new_line, gfc_simplify_repeat): Handle wide strings. (wide_strspn, wide_strcspn): New helper functions. (gfc_simplify_scan, gfc_simplify_trim, gfc_simplify_verify): Handle wide strings. * symbol.c (generate_isocbinding_symbol): Likewise. * target-memory.c (size_character, gfc_target_expr_size, encode_character, gfc_target_encode_expr, gfc_interpret_character, gfc_target_interpret_expr): Handle wide strings. * trans-const.c (gfc_conv_string_init): Lower wide strings to narrow ones. (gfc_conv_constant_to_tree): Likewise. * trans-expr.c (gfc_conv_substring_expr): Handle wide strings. * trans-io.c (gfc_new_nml_name_expr): Likewise. * trans-stmt.c (gfc_trans_label_assign): Likewise. 2008-05-06 Francois-Xavier Coudert * simplify.c (gfc_simplify_bessel_j0,gfc_simplify_bessel_j1, gfc_simplify_bessel_jn,gfc_simplify_bessel_y0, gfc_simplify_bessel_y1,gfc_simplify_bessel_yn): Mark arguments with ATTRIBUTE_UNUSED. 2008-05-06 Francois-Xavier Coudert * check.c (gfc_check_sizeof): Switch to ATTRIBUTE_UNUSED. * simplify.c (gfc_simplify_lgamma): Likewise. 2008-05-06 Francois-Xavier Coudert * openmp.c (gfc_match_omp_eos): Use gfc_next_ascii_char and gfc_peek_ascii_char. * decl.c (gfc_match_kind_spec, gfc_match_type_spec, gfc_match_implicit_none, match_implicit_range, gfc_match_implicit, match_string_p, match_attr_spec, gfc_match_suffix, match_procedure_decl, gfc_match_entry, gfc_match_subroutine): Likewise. * gfortran.h (gfc_char_t): New type. (gfc_linebuf): Make line member a gfc_char_t. (locus): Make nextc member a gfc_char_t. (gfc_wide_is_printable, gfc_wide_is_digit, gfc_wide_fits_in_byte, gfc_wide_tolower, gfc_wide_strlen, gfc_next_ascii_char, gfc_peek_ascii_char, gfc_check_digit): New prototypes. * error.c (print_wide_char): New function. (show_locus): Use print_wide_char and gfc_wide_strlen. * io.c (next_char): Use gfc_char_t type. (match_io): Use gfc_peek_ascii_char and gfc_next_ascii_char. * match.c (gfc_match_parens, gfc_match_eos, gfc_match_small_literal_int, gfc_match_name, gfc_match_name_C, gfc_match_intrinsic_op, gfc_match_char, gfc_match_return, gfc_match_common): Likewise. * match.h (gfc_match_special_char): Change prototype. * parse.c (decode_specification_statement, decode_statement, decode_omp_directive, next_free, next_fixed): Use gfc_peek_ascii_char and gfc_next_ascii_char. * primary.c (gfc_check_digit): Change name. (match_digits, match_hollerith_constant, match_boz_constant, match_real_constant, next_string_char, match_charkind_name, match_string_constant, match_logical_constant_string, match_complex_constant, match_actual_arg, match_varspec, gfc_match_rvalue, match_variable): Use gfc_peek_ascii_char and gfc_next_ascii_char. * scanner.c (gfc_wide_fits_in_byte, wide_is_ascii, gfc_wide_is_printable, gfc_wide_tolower, gfc_wide_is_digit, gfc_wide_is_digit, wide_atoi, gfc_wide_strlen, wide_strcpy, wide_strchr, widechar_to_char, wide_strncmp, wide_strncasecmp, gfc_next_ascii_char, gfc_peek_ascii_char): New functions. (next_char, gfc_define_undef_line, skip_free_comments, gfc_next_char_literal, gfc_next_char, gfc_peek_char, gfc_error_recovery, load_line, preprocessor_line, include_line, load_file, gfc_read_orig_filename): Use gfc_char_t for source characters and the {gfc_,}wide_* functions to manipulate wide strings. 2008-05-06 Tobias Burnus PR fortran/36117 * intrinsic.c (add_functions): Call gfc_simplify_bessel_*. * intrinsic.h: Add prototypes for gfc_simplify_bessel_*. * simplify.c (gfc_simplify_bessel_j0,gfc_simplify_bessel_j1, gfc_simplify_bessel_jn,gfc_simplify_bessel_y0, gfc_simplify_bessel_y1,gfc_simplify_bessel_yn): New. 2008-05-03 Janus Weil * misc.c (gfc_clear_ts): Set interface to NULL. 2008-05-03 Jerry DeLisle PR fortran/33268 * gfortran.h: Add extra_comma pointer to gfc_dt structure. Add iokind to gfc_expr value union. Add io_kind enum to here from io.c. * io.c (gfc_free_dt): Free extra_comma. (gfc_resolve_dt): If an extra comma was encountered and io_unit is type BT_CHARACTER, resolve to format_expr and set default unit. Error if io_kind is M_WRITE. (match_io): Match the extra comma and set new pointer, extra_comma. 2008-05-01 Bud Davis PR35940/Fortran * simplify.c (gfc_simplify_index): Check for direction argument being a constant. 2008-05-01 Janus Weil * gfortran.h (struct gfc_symbol): Moving "interface" member to gfc_typespec (plus fixing a small docu error). * interface.c (gfc_procedure_use): Ditto. * decl.c (match_procedure_decl): Ditto. * resolve.c (resolve_specific_f0, resolve_specific_f0, resolve_symbol): Ditto. 2008-04-30 Francois-Xavier Coudert * intrinsic.c (add_functions): Add SELECTED_CHAR_KIND intrinsic. * intrinsic.h (gfc_check_selected_char_kind, gfc_simplify_selected_char_kind): New prototypes. * gfortran.h (gfc_isym_id): Add GFC_ISYM_SC_KIND. * trans.h (gfor_fndecl_sc_kind): New function decl. * trans-decl.c (gfor_fndecl_sc_kind): Build new decl. * arith.c (gfc_compare_with_Cstring): New function. * arith.h (gfc_compare_with_Cstring): New prototype. * check.c (gfc_check_selected_char_kind): New function. * primary.c (match_string_constant, match_kind_param): Mark symbols used as literal constant kind param as referenced. * trans-intrinsic.c (gfc_conv_intrinsic_sc_kind): New function. (gfc_conv_intrinsic_function): Call gfc_conv_intrinsic_sc_kind. * intrinsic.texi (SELECTED_CHAR_KIND): Document new intrinsic. * simplify.c (gfc_simplify_selected_char_kind): New function. 2008-04-28 Paul Thomas PR fortran/35997 * module.c (find_symbol): Do not return a result for a symbol that has been renamed in another module. 2008-04-26 George Helffrich PR fortran/35892 PR fortran/35154 * trans-common.c (create_common): Add decl to function chain (if inside one) to preserve identifier scope in debug output. 2008-04-25 Jan Hubicka * trans-decl.c (trans_function_start): Update. 2008-04-25 Tobias Burnus Daniel Franke PR fortran/35156 * gfortranspec.c (lang_specific_driver): Deprecate -M option; fix ICE when "-M" is last argument and make "-M" work. * options.c (gfc_handle_module_path_options): Use -J instead of -M in error messages. * invoke.texi: Mark -M as depecated. 2008-04-23 Jerry DeLisle Francois-Xavier Coudert PR fortran/35994 * trans-instrinsic.c (gfc_conv_intrinsic_minmaxloc): Correctly adjust loop counter offset. 2008-04-23 Paolo Bonzini * trans-expr.c (gfc_conv_structure): Don't set TREE_INVARIANT. * trans-array.c (gfc_build_null_descriptor): Don't set TREE_INVARIANT. (gfc_trans_array_constructor_value): Don't set TREE_INVARIANT. (gfc_build_constant_array_constructor): Don't set TREE_INVARIANT. (gfc_conv_array_initializer): Don't set TREE_INVARIANT. * trans-common.c (get_init_field): Don't set TREE_INVARIANT. (create_common): Don't set TREE_INVARIANT. * trans-stmt.c (gfc_trans_character_select): Don't set TREE_INVARIANT. * trans-decl.c (gfc_generate_function_code): Don't set TREE_INVARIANT. 2008-04-21 Steve Ellcey * f95-lang.c (gfc_init_decl_processing): use ptr_mode instead of Pmode. 2008-04-21 Daniel Franke PR fortran/35019 * gfortranspec.c (lookup_option): Properly handle separated arguments in -J option, print missing argument message when necessary. 2008-04-20 Jerry DeLisle PR fortran/35882 * scanner.c (skip_fixed_comments): Update continue_line when comment is detected. (gfc_next_char_literal): Likewise. 2008-04-19 Paul Thomas PR fortran/35944 PR fortran/35946 PR fortran/35947 * trans_array.c (gfc_trans_array_constructor): Temporarily realign loop, if loop->from is not zero, before creating the temporary array and provide an offset. PR fortran/35959 * trans-decl.c (gfc_init_default_dt): Add gfc_ prefix to name and allow for NULL body. Change all references from init_default_dt to gfc_init_default_dt. * trans.h : Add prototype for gfc_init_default_dt. * trans-array.c (gfc_trans_deferred_vars): After nullification call gfc_init_default_dt for derived types with allocatable components. 2008-04-18 Jerry DeLisle PR fortran/35892 * trans-common.c (create_common): Revert patch causing regression. 2008-04-16 Jerry DeLisle PR fortran/35724 * iresolve.c (gfc_resolve_eoshift): Check for NULL symtree in test for optional argument attribute. 2008-04-16 Paul Thomas PR fortran/35932 * trans-intrinsic.c (gfc_conv_intrinsic_char): Even though KIND is not used, the argument must be converted. 2008-04-16 Jakub Jelinek PR target/35662 * f95-lang.c (gfc_init_builtin_functions): Make sure BUILT_IN_SINCOS{,F,L} types aren't varargs. 2008-04-15 Paul Thomas PR fortran/35864 * expr.c (scalarize_intrinsic_call): Reorder identification of array argument so that if one is not found a segfault does not occur. Return FAILURE if all scalar arguments. 2008-04-13 Jerry DeLisle Tobias Burnus PR fortran/35882 * options.c (gfc_init_options): Set the default maximum continuation lines to 255 for both free and fixed form source for warnings. (gfc_handle_option): Set -std=f95 fixed form max continuations to 19 and the -std=f95 free form max continuations to 39 for warnings. * scanner.c (gfc_next_char_literal): Adjust the current_line number only if it is less than the current locus. 2008-04-07 Jerry DeLisle PR fortran/25829 28655 * io.c (io_tag): Add new tags for decimal, encoding, asynchronous, round, sign, and id. (match_open_element): Match new tags. (gfc_resolve_open): Resolve new tags. (gfc_match_open): Enable encoding for DEFAULT only. Update error messages. (match_dt_element): Fix match tag for asynchronous. Update error messages. (gfc_free_inquire): Free new expressions. (match_inquire_element): Match new tags. (gfc_match_inquire): Add constraint for ID and PENDING. (gfc_resolve_inquire): Resolve new tags. * trans-io.c (gfc_trans_inquire): Clean up whitespace and fix setting of mask for ID parameter. * ioparm.def: Fix order of parameters for pending, round, and sign. NOTE: These must line up with the definitions in libgfortran/io/io.h. or things don't work. 2008-04-06 Paul Thomas PR fortran/35780 * expr.c (scalarize_intrinsic_call): Identify which argument is an array and use that as the template. (check_init_expr): Remove tests that first argument is an array in the call to scalarize_intrinsic_call. 2008-04-06 Tobias Schlüter PR fortran/35832 * io.c (io_tag): Add field 'value'. Split 'spec' field in existing io_tags. (match_etag, match_vtag, match_ltag): Split parsing in two steps to give better error messages. 2008-04-06 Tobias Burnus * io.c (check_io_constraints): Add constrains. ID= requires asynchronous= and asynchronous= must be init expression. 2008-04-06 Francois-Xavier Coudert * f95-lang.c: Set LANG_HOOKS_NAME to "GNU Fortran". 2008-04-06 Francois-Xavier Coudert * dump-parse-tree.c: Use fprintf, fputs and fputc instead of gfc_status and gfc_status_char. Remove gfc_ prefix of the gfc_show_* functions and make them static. Add new gfc_dump_parse_tree function. * gfortran.h (gfc_option_t): Rename verbose into dump_parse_tree. (gfc_status, gfc_status_char): Delete prototypes. * error.c (gfc_status, gfc_status_char): Remove functions. * scanner.c (gfc_new_file): Use printf instead of gfc_status. * options.c (gfc_init_options): Rename verbose into dump_parse_tree. (gfc_handle_module_path_options): Use gfc_fatal_error instead of gfc_status and exit. (gfc_handle_option): Rename verbose into dump_parse_tree. * parse.c (gfc_parse_file): Use gfc_dump_parse_tree. 2008-04-05 Jerry DeLisle Francois-Xavier Coudert PR fortran/25829 28655 * dump-parse-tree.c (gfc_show_code_node): Show new I/O parameters. * gfortran.h (gfc_statement): Add ST_WAIT enumerator. (gfc_open): Add pointers for decimal, encoding, round, sign, asynchronous. (gfc_inquire): Add pointers for asynchronous, decimal, encoding, pending, round, sign, size, id. (gfc_wait): New typedef struct. (gfc_dt): Add pointers for id, pos, asynchronous, blank, decimal, delim, pad, round, sign. (gfc_exec_op): Add EXEC_WAIT enumerator. (gfc_code): Add pointer for wait. (gfc_free_wait), (gfc_resolve_wait): New function prototypes. * trans-stmt.h (gfc_trans_wait): New function prototype. * trans.c (gfc_trans_code): Add case for EXEC_WAIT. * io.c (io_tag): Add new tags for DECIMAL, ENCODING, ROUND, SIGN, ASYCHRONOUS, ID. (match_open_element): Add matchers for new tags. (gfc_free_open): Free new pointers. (gfc_resolve_open): Resolve new tags. (gfc_resolve_open): Remove comment around check for allowed values and ASYNCHRONOUS, update it. Likewise for DECIMAL, ENCODING, ROUND, and SIGN. (match_dt_element): Add matching for new tags. (gfc_free_wait): New function. (gfc_resolve_wait): New function. (match_wait_element): New function. (gfc_match_wait): New function. * resolve.c (gfc_resolve_blocks): Add case for EXEC_WAIT. (resolve_code): Add case for EXEC_WAIT. * st.c (gfc_free_statement): Add case for EXEC_WAIT. * trans-io.c (ioparam_type): Add IOPARM_ptype_wait. (gfc_st_parameter): Add "wait" entry. (iocall): Add IOCALL_WAIT enumerator. (gfc_build_io_library_fndecls): Add function declaration for st_wait. (gfc_trans_open): Add mask bits for new I/O tags. (gfc_trans_inquire): Add mask bits for new I/O tags. (gfc_trans_wait): New translation function. (build_dt): Add mask bits for new I/O tags. * match.c (gfc_match_if) Add matcher for "wait". * match.h (gfc_match_wait): Prototype for new function. * ioparm.def: Add new I/O parameter definitions. * parse.c (decode_statement): Add match for "wait" statement. (next_statement): Add case for ST_WAIT. (gfc_ascii_statement): Same. 2008-04-03 Jakub Jelinek PR fortran/35786 * openmp.c (resolve_omp_clauses): Diagnose if a clause symbol isn't a variable. 2008-04-03 Tom Tromey * Make-lang.in (fortran_OBJS): New variable. 2008-04-03 Paolo Bonzini * f95-lang.c (insert_block): Kill. 2008-04-01 George Helffrich PR fortran/35154, fortran/23057 * trans-common.c (create_common): Add decl to function chain to preserve identifier scope in debug output. 2008-04-01 Joseph Myers * gfortran.texi: Include gpl_v3.texi instead of gpl.texi * Make-lang.in (GFORTRAN_TEXI): Include gpl_v3.texi instead of gpl.texi. 2008-03-30 Paul Thomas PR fortran/35740 * resolve.c (resolve_function, resolve_call): If the procedure is elemental do not look for noncopying intrinsics. 2008-03-29 Paul Thomas PR fortran/35698 * trans-array.c (gfc_array_init_size): Set 'size' zero if negative in one dimension. PR fortran/35702 * trans-expr.c (gfc_trans_string_copy): Only assign a char directly if the lhs and rhs types are the same. 2008-03-28 Daniel Franke Paul Richard Thomas PR fortran/34714 * primary.c (match_variable): Improved matching of function result variables. * resolve.c (resolve_allocate_deallocate): Removed checks if the actual argument for STAT is a variable. 2008-03-28 Tobias Burnus * symbol.c (gfc_get_default_type): Fix error message; option -fallow_leading_underscore should be -fallow-leading-underscore 2008-03-27 Jerry DeLisle PR fortran/35724 * iresolve.c (gfc_resolve_cshift): Check for NULL symtree in test for optional argument attribute. 2008-03-27 Tom Tromey * Make-lang.in: Revert automatic dependency patch. 2008-03-25 Tom Tromey * Make-lang.in: Remove .o targets. (fortran_OBJS): New variable. (fortran/gfortranspec.o): Move to fortran/. Reduce to variable setting. (GFORTRAN_D_OBJS): Update. (GFORTRAN_TRANS_DEPS): Remove. 2008-03-24 Paul Thomas PR fortran/34813 * resolve.c (resolve_structure_cons): It is an error to assign NULL to anything other than a pointer or allocatable component. PR fortran/33295 * resolve.c (resolve_symbol): If the symbol is a derived type, resolve the derived type. If the symbol is a derived type function, ensure that the derived type is visible in the same namespace as the function. 2008-03-23 Tobias Schlüter * trans.h: Use fold_build in build1_v, build2_v and build3_v macros. * trans-openmp.c (gfc_trans_omp_critical, gfc_trans_omp_single): Don't use build2_v macro. 2008-03-19 Daniel Franke PR fortran/35152 * interface.c (gfc_procedure_use): Check for keyworded arguments in procedures without explicit interfaces. 2008-03-16 Paul Thomas PR fortran/35470 * resolve.c (check_assumed_size_reference): Only visit the first reference and look directly at the highest dimension. 2008-03-15 Jerry DeLisle PR fortran/35184 * trans-array.c (gfc_conv_array_index_offset): Remove unnecessary assert. 2008-03-15 Daniel Franke PR fortran/35584 * resolve.c (resolve_branch): Less strict and pessimistic warning message. 2008-03-11 Paolo Bonzini * f95-lang.c (LANG_HOOKS_CLEAR_BINDING_STACK): Delete. (gfc_be_parse_file): Call clear_binding_stack from here. (gfc_clear_binding_stack): Rename to clear_binding_stack. 2008-03-09 Paul Thomas PR fortran/35474 * module.c (mio_symtree_ref): After providing a symbol for a missing equivalence member, resolve and NULL the fixups. 2008-03-09 Ralf Wildenhues * invoke.texi (Error and Warning Options): Document -Wline-truncation. 2008-03-08 Francois-Xavier Coudert PR fortran/34956 * trans-array.c (gfc_conv_ss_startstride): Fix the logic to avoid checking bounds of absent optional arguments. 2008-03-06 Francois-Xavier Coudert PR fortran/33197 * intrinsic.c (add_functions): Add simplification routines for ERF, DERF, ERFC and DERFC. * decl.c (gfc_match_suffix, gfc_match_subroutine): Change GNU extensions into Fortran 2008 features. * intrinsic.h (gfc_simplify_erf, gfc_simplify_erfc): New prototypes. * simplify.c (gfc_simplify_erf, gfc_simplify_erfc): New functions. 2008-03-03 Francois-Xavier Coudert PR fortran/33197 * intrinsic.c (add_functions): Modify intrinsics ACOSH, ASINH, ATANH, ERF, ERFC and GAMMA. Add intrinsics BESSEL_{J,Y}{0,1,N}, ERFC_SCALED, LOG_GAMMA and HYPOT. * intrinsic.h (gfc_check_hypot, gfc_simplify_hypot, gfc_resolve_hypot): New prototypes. * mathbuiltins.def: Add HYPOT builtin. Make complex versions of ACOSH, ASINH and ATANH available. * gfortran.h (GFC_ISYM_ERFC_SCALED, GFC_ISYM_HYPOT): New values. * lang.opt: Add -std=f2008 option. * libgfortran.h: Define GFC_STD_F2008. * lang-specs.h: Add .f08 and .F08 file suffixes. * iresolve.c (gfc_resolve_hypot): New function. * parse.c (parse_contained): Allow empty CONTAINS for Fortran 2008. * check.c (gfc_check_hypot): New function. * trans-intrinsic.c (gfc_intrinsic_map): Define ERFC_SCALE builtin. * options.c (set_default_std_flags): Allow Fortran 2008 by default. (form_from_filename): Add .f08 suffix. (gfc_handle_option): Handle -std=f2008 option. * simplify.c (gfc_simplify_hypot): New function. * gfortran.texi: Document Fortran 2008 status and file extensions. * intrinsic.texi: Document new BESSEL_{J,Y}{0,1,N} intrinsics, as well as HYPOT and ERFC_SCALED. Update documentation of ERF, ERFC, GAMMA, LGAMMA, ASINH, ACOSH and ATANH. * invoke.texi: Document the new -std=f2008 option. 2008-03-02 Jakub Jelinek * gfortranspec.c (lang_specific_driver): Update copyright notice dates. 2008-02-29 Jerry DeLisle PR fortran/35059 * expr.c (find_array_element): Modify traversing the constructor to avoid trying to access NULL memory pointed to by next for the last element. (find_array_section): Exit while loop if cons->next is NULL. * trans-expr.c (gfc_conv_scalar_char_value): Initialize gfc_typespec. (gfc_conv_function_call): Same. * decl.c (gfc_match_implicit): Same. * trans-intrinsic.c (gfc_conv_intrinsic_sr_kind): Same. 2008-02-28 Daniel Franke PR fortran/31463 PR fortran/33950 PR fortran/34296 * lang.opt: Added -Wreturn-type. * options.c (gfc_handle_option): Recognize -Wreturn-type. * trans-decl.c (gfc_trans_deferred_vars): Emit warnings for funtions where the result value is not set. (gfc_generate_function_code): Likewise. (generate_local_decl): Emit warnings for funtions whose RESULT variable is not set. 2008-02-28 Francois-Xavier Coudert PR fortran/34868 * trans-expr.c (gfc_conv_variable): Don't build indirect references when explicit interface is mandated. * resolve.c (resolve_formal_arglist): Set attr.always_explicit on the result symbol as well as the procedure symbol. 2008-02-27 Francois-Xavier Coudert PR fortran/33387 * trans.h: Remove prototypes for gfor_fndecl_math_exponent4, gfor_fndecl_math_exponent8, gfor_fndecl_math_exponent10 and gfor_fndecl_math_exponent16. * f95-lang.c (build_builtin_fntypes): Add new function types. (gfc_init_builtin_functions): Add new builtins for nextafter, frexp, ldexp, fabs, scalbn and inf. * iresolve.c (gfc_resolve_rrspacing): Don't add hidden arguments. (gfc_resolve_scale): Don't convert type of second argument. (gfc_resolve_set_exponent): Likewise. (gfc_resolve_size): Don't add hidden arguments. * trans-decl.c: Remove gfor_fndecl_math_exponent4, gfor_fndecl_math_exponent8, gfor_fndecl_math_exponent10 and gfor_fndecl_math_exponent16. * trans-intrinsic.c (gfc_intrinsic_map): Remove intrinsics for scalbn, fraction, nearest, rrspacing, set_exponent and spacing. (gfc_conv_intrinsic_exponent): Directly call frexp. (gfc_conv_intrinsic_fraction, gfc_conv_intrinsic_nearest, gfc_conv_intrinsic_spacing, gfc_conv_intrinsic_rrspacing, gfc_conv_intrinsic_scale, gfc_conv_intrinsic_set_exponent): New functions. (gfc_conv_intrinsic_function): Use the new functions above. 2008-02-26 Tobias Burnus PR fortran/35033 * interface.c (check_operator_interface): Show better line for error messages; fix constrains for user-defined assignment operators. (gfc_extend_assign): Fix constrains for user-defined assignment operators. 2008-02-26 Tom Tromey * trans-io.c (set_error_locus): Remove old location code. * trans-decl.c (gfc_set_decl_location): Remove old location code. * f95-lang.c (gfc_init): Remove test of USE_MAPPED_LOCATION. * scanner.c (gfc_gobble_whitespace): Remove old location code. (get_file): Likewise. (preprocessor_line): Likewise. (load_file): Likewise. (gfc_new_file): Likewise. * trans.c (gfc_trans_runtime_check): Remove old location code. (gfc_get_backend_locus): Likewise. (gfc_set_backend_locus): Likewise. * data.c (gfc_assign_data_value): Remove old location code. * error.c (show_locus): Remove old location code. * gfortran.h (gfc_linebuf): Remove old location code. (gfc_linebuf_linenum): Remove old-location variant. 2008-02-25 Francois-Xavier Coudert PR fortran/34729 * trans-const.c (gfc_build_string_const): Don't call gettext. (gfc_build_localized_string_const): New function. * trans-const.h (gfc_build_localized_string_const): New prototype. * trans.c (gfc_trans_runtime_check): Use gfc_build_localized_string_const instead of gfc_build_string_const. (gfc_call_malloc): Likewise. (gfc_allocate_with_status): Likewise. (gfc_allocate_array_with_status): Likewise. (gfc_deallocate_with_status): Likewise. (gfc_call_realloc): Likewise. * trans-io.c (gfc_trans_io_runtime_check): Likewise. 2008-02-24 Tobias Schlüter * arith.c: Update copyright years. * arith.h: Likewise. * array.c: Likewise. * bbt.c: Likewise. * check.c: Likewise. * data.c: Likewise. * data.h: Likewise. * decl.c: Likewise. * dependency.c: Likewise. * dependency.h: Likewise. * dump-parse-tree.c: Likewise. * error.c: Likewise. * expr.c: Likewise. * gfc-internals.texi: Likewise. * gfortran.h: Likewise. * gfortran.texi: Likewise. * gfortranspec.c: Likewise. * interface.c: Likewise. * intrinsic.c: Likewise. * intrinsic.h: Likewise. * intrinsic.texi: Likewise. * invoke.texi: Likewise. * io.c: Likewise. * iresolve.c: Likewise. * iso-c-binding.def: Likewise. * iso-fortran-env.def: Likewise. * lang-specs.h: Likewise. * lang.opt: Likewise. * libgfortran.h: Likewise. * match.c: Likewise. * match.h: Likewise. * matchexp.c: Likewise. * misc.c: Likewise. * module.c: Likewise. * openmp.c: Likewise. * options.c: Likewise. * parse.c: Likewise. * parse.h: Likewise. * primary.c: Likewise. * resolve.c: Likewise. * scanner.c: Likewise. * simplify.c: Likewise. * st.c: Likewise. * symbol.c: Likewise. * target-memory.c: Likewise. * target-memory.h: Likewise. * trans-array.h: Likewise. * trans-const.h: Likewise. * trans-stmt.h: Likewise. * trans-types.c: Likewise. * trans-types.h: Likewise. * types.def: Likewise. 2008-02-24 Jerry DeLisle PR fortran/35223 * simplify.c (gfc_simplify_ibclr), (gfc_simplify_ibits), (gfc_simplify_ibset): Remove call to range_check. (simplify_cmplx), (gfc_simplify_dble), (gfc_simplify_float) (gfc_simplify_real): Add call gfc_clear_ts to initialize the temporary gfc_typspec variable. 2008-02-24 Tobias Schlüter * trans-array.c (gfc_conv_descriptor_data_get, gfc_conv_descriptor_data_set_internal, gfc_conv_descriptor_data_addr, gfc_conv_descriptor_offset, gfc_conv_descriptor_dtype, gfc_conv_descriptor_dimension, gfc_conv_descriptor_stride, gfc_conv_descriptor_lbound, gfc_conv_descriptor_ubound, gfc_trans_create_temp_array, gfc_conv_array_transpose, gfc_grow_array, gfc_trans_array_constructor_subarray, gfc_trans_array_constructor_value, gfc_trans_scalarized_loop_end, gfc_array_init_size, gfc_array_allocate, gfc_array_deallocate, gfc_conv_array_initializer, gfc_trans_array_bounds, gfc_trans_auto_array_allocation, gfc_trans_dummy_array_bias, gfc_get_dataptr_offset, gfc_conv_array_parameter, gfc_trans_dealloc_allocated, get_full_array_size, gfc_duplicate_allocatable, structure_alloc_comps): Use fold_buildN instead of buildN. * trans-expr.c (gfc_conv_expr_present, gfc_conv_missing_dummy, gfc_conv_component_ref, gfc_conv_cst_int_power, gfc_conv_function_call, gfc_trans_structur_assign): Likewise. * trans-common.c (create_common): Likewise. * trans-openmp.c (gfc_trans_omp_atomic, gfc_trans_omp_do): Likewise. * trans-const.c (gfc_conv_constant_to_tree): Likewise. * trans-stmt.c (gfc_trans_goto, gfc_trans_return, gfc_trans_do, gfc_trans_integer_select, gfc_trans_character_select, gfc_trans_forall_loop, compute_overall_iter_number, gfc_trans_forall_1, gfc_evaluate_where_mask, gfc_trans_allocate, gfc_trans_deallocate): Likewise. * trans.c (gfc_build_addr_expr, gfc_trans_runtime_check, gfc_allocate_with_status, gfc_allocate_array_with_status, gfc_deallocate_with_status): Likewise. * f95-lang.c (gfc_truthvalue_conversion): Likewise. * trans-io.c (set_parameter_const, set_parameter_value, set_parameter_ref, set_string, set_internal_unit, io_result, set_error_locus, nml_get_addr_expr, transfer_expr): Likewise. * trans-decl.c (gfc_build_qualified_array, build_entry_thunks, gfc_get_fake_result_decl, gfc_trans_auto_character_variable, gfc_generate_function_code): Likewise. * convert.c (convert): Likewise. * trans-intrinsic.c (gfc_conv_intrinsic_conversion, build_fixbound_expr, build_fix_expr, gfc_conv_intrinsic_aint, gfc_conv_intrinsic_int, gfc_conv_intrinsic_imagpart, gfc_conv_intrinsic_conjg, gfc_conv_intrinsic_abs, gfc_conv_intrinsic_cmplx, gfc_conv_intrinsic_mod, gfc_conv_intrinsic_dim, gfc_conv_intrinsic_dprod, gfc_conv_intrinsic_ctime, gfc_conv_intrinsic_fdate, gfc_conv_intrinsic_ttynam, gfc_conv_intrinsic_minmax, gfc_conv_intrinsic_minmax_char, gfc_conv_intrinsic_count, gfc_conv_intrinsic_arith, gfc_conv_intrinsic_dot_product, gfc_conv_intrinsic_minmaxloc, gfc_conv_intrinsic_minmaxval, gfc_conv_intrinsic_btest, gfc_conv_intrinsic_not, gfc_conv_intrinsic_ibits, gfc_conv_intrinsic_ishft, gfc_conv_intrinsic_ichar, gfc_conv_intrinsic_size, gfc_conv_intrinsic_array_transfer, gfc_conv_intrinsic_transfer, gfc_conv_allocated, gfc_conv_associated, gfc_conv_intrinsic_trim, gfc_conv_intrinsic_repeat): Likewise. 2008-02-23 Francois-Xavier Coudert PR target/25477 * trans-expr.c (gfc_conv_power_op): Use BUILT_IN_CPOW{F,,L}. * f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_CPOW{F,,L}. * trans.h (gfor_fndecl_math_cpow, gfor_fndecl_math_cpowf, gfor_fndecl_math_cpowl10, gfor_fndecl_math_cpowl16): Remove. * trans-decl.c: Likewise. 2008-02-22 Jerry DeLisle PR fortran/35059 * expr.c (find_array_element): Modify traversing the constructor to avoid trying to access NULL memory pointed to by next for the last element. (find_array_section): Exit while loop if cons->next is NULL. 2008-02-22 Jerry DeLisle PR fortran/34907 * iresolve.c (resolve_mask_arg): Add gfc_clear_ts to initialize structure. (gfc_resolve_aint): Likewise. (gfc_resolve_anint): Likewise. (gfc_resolve_besn): Likewise. (gfc_resolve_cshift): Likewise. (gfc_resolve_ctime): Likewise. (gfc_resolve_eoshift): Likewise. (gfc_resolve_index_func): Likewise. (gfc_resolve_isatty): Likewise. (gfc_resolve_malloc): Likewise. (gfc_resolve_rrspacing): Likewise. (gfc_resolve_scale): Likewise. (gfc_resolve_set_exponent): Likewise. (gfc_resolve_spacing): Likewise. (gfc_resolve_spacing): Likewise. (gfc_resolve_fgetc): Likewise. (gfc_resolve_fputc): Likewise. (gfc_resolve_ftell): Likewise. (gfc_resolve_ttynam): Likewise. (gfc_resolve_alarm_sub): Likewise. (gfc_resolve_mvbits): Likewise. (gfc_resolve_getarg): Likewise. (gfc_resolve_signal_sub): Likewise. (gfc_resolve_exit): Likewise. (gfc_resolve_flush): Likewise. (gfc_resolve_free): Likewise. (gfc_resolve_ctime_sub): Likewise. (gfc_resolve_fgetc_sub): Likewise. (gfc_resolve_fputc_sub): Likewise. (gfc_resolve_fseek_sub): Likewise. (gfc_resolve_ftell_sub): Likewise. (gfc_resolve_ttynam_sub): Likewise. 2008-02-22 Ralf Wildenhues * gfc-internals.texi: Fix typos and markup nits. * gfortran.texi: Likewise. * intrinsic.texi: Likewise. 2008-02-21 Richard Guenther * trans-expr.c (gfc_conv_expr_op): Expand INTRINSIC_PARENTHESES as unary PAREN_EXPR for real and complex typed expressions. (gfc_conv_unary_op): Fold the built tree. 2008-02-20 Tobias Burnus PR fortran/34997 * match.c (gfc_match_name): Improve error message for '$'. 2008-02-19 Daniel Franke PR fortran/35030 * expr.c (gfc_check_pointer_assign): Add type and kind information to type-mismatch message. (gfc_check_assign): Unify error messages. 2008-02-16 Francois-Xavier Coudert PR fortran/34952 * gfortran.texi: Create new section for unimplemented extensions. Add "STRUCTURE and RECORD" and "ENCODE and DECODE statements". Remove "smaller projects" list. Fix a few typos. 2008-02-15 Francois-Xavier Coudert * intrinsic.texi: Rename INDEX node to avoid clashing with index.html on case-insensitive systems. 2008-02-15 Francois-Xavier Coudert PR fortran/35150 * trans-expr.c (gfc_conv_function_call): Force evaluation of se->expr. 2008-02-10 Daniel Franke PR fortran/35019 * lang.opt: Allow '-J' next to '-J ', likewise '-I ' and '-I'. 2008-02-06 Kaveh R. Ghazi PR other/35107 * Make-lang.in (f951): Add $(GMPLIBS). 2008-02-05 Francois-Xavier Coudert PR fortran/35037 * trans-common.c (build_field): Mark fields as volatile when needed. 2008-02-05 Tobias Burnus PR fortran/35093 * data.c (gfc_assign_data_value): Only free "size" if it has not already been freed. 2008-02-05 Paul Thomas PR fortran/34945 * array.c (match_array_element_spec): Remove check for negative array size. (gfc_resolve_array_spec): Add check for negative size. 2008-02-05 Paul Thomas PR fortran/32315 * data.c (gfc_assign_data_value): Add bounds check for array references. 2008-02-04 Daniel Franke * resolve.c (resolve_where): Fix typo. (gfc_resolve_where_code_in_forall): Likewise. 2008-02-03 Paul Thomas PR fortran/32760 * resolve.c (resolve_allocate_deallocate): New function. (resolve_code): Call it for allocate and deallocate. * match.c (gfc_match_allocate, gfc_match_deallocate) : Remove the checking of the STAT tag and put in above new function. * primary,c (match_variable): Do not fix flavor of host associated symbols yet if the type is not known. 2008-01-31 Paul Thomas PR fortran/34910 * expr.c (gfc_check_assign): It is an error to assign to a sibling procedure. 2008-01-30 Paul Thomas PR fortran/34975 * symbol.c (gfc_delete_symtree, gfc_undo_symbols): Rename delete_symtree to gfc_delete_symtree. * gfortran.h : Add prototype for gfc_delete_symtree. * module.c (load_generic_interfaces): Transfer symbol to a unique symtree and delete old symtree, instead of renaming. (read_module): The rsym and the found symbol are the same, so the found symtree can be deleted. PR fortran/34429 * decl.c (match_char_spec): Remove the constraint on deferred matching of functions and free the length expression. delete_symtree to gfc_delete_symtree. (gfc_match_type_spec): Whitespace. (gfc_match_function_decl): Defer characteristic association for all types except BT_UNKNOWN. * parse.c (decode_specification_statement): Only derived type function matching is delayed to the end of specification. 2008-01-28 Tobias Burnus PR libfortran/34980 * simplify.c (gfc_simplify_shape): Simplify rank zero arrays. 2008-01-27 Jerry DeLisle PR fortran/34990 * array.c (gfc_check_constructor_type): Revert clearing the expression. 2008-01-26 Tobias Burnus PR fortran/34848 * trans-expr.c (gfc_conv_function_call): Don't call gfc_add_interface_mapping if the expression is NULL. 2008-01-26 Jerry DeLisle PR fortran/31610 * trans-array.c (gfc_trans_create_temp_array): Remove call to gcc_assert (integer_zerop (loop->from[n])). 2008-01-25 Daniel Franke PR fortran/34661 * resolve.c (resolve_where): Added check if user-defined assignment operator is an elemental subroutine. (gfc_resolve_where_code_in_forall): Likewise. 2008-01-24 Daniel Franke PR fortran/33375 PR fortran/34858 * gfortran.h: Revert changes from 2008-01-17. * match.c: Likewise. * symbol.c: Likewise. (gfc_undo_symbols): Undo namespace changes related to common blocks. 2008-01-24 Daniel Franke PR fortran/34202 * data.c (formalize_structure_cons): Skip formalization on empty structures. 2008-01-24 Daniel Franke * gfortran.texi (OpenMP): Extended existing documentation. (contributors): Added major contributors of 2008 that were not listed yet. (proposed extensions): Removed implemented items. 2008-01-24 Paul Thomas PR fortran/34872 * parse.c (next_statement) : If ST_GET_FCN_CHARACTERISTICS is seen, check for a statement label and, if present, delete it and set the locus to the start of the statement. 2008-01-22 Paul Thomas PR fortran/34875 * trans-io.c (gfc_trans_transfer): If the array reference in a read has a vector subscript, use gfc_conv_subref_array_arg to copy back the temporary. 2008-01-22 Tobias Burnus PR fortran/34848 * interface.c (compare_actual_formal): Fix adding type to missing_arg_type for absent optional arguments. 2008-01-22 Tobias Burnus PR fortran/34907 * parse.c (parse_spec): Change = into ==. 2008-01-22 Daniel Franke PR fortran/34915 * expr.c (check_elemental): Fix check for valid data types. 2008-01-22 Tobias Burnus PR fortran/34899 * scanner.c (load_line): Support continuation lines. * invoke.texi (-Wtabs): Document this. 2008-01-22 Paul Thomas PR fortran/34896 * module.c (read_module): Set use_rename attribute. 2007-01-21 Tobias Burnus PR fortran/34901 * interface.c (compare_parameter): Improved error message for arguments of same type and mismatched kinds. 2008-01-20 Paul Thomas PR fortran/34861 * resolve.c (resolve_entries): Do not do an array bounds check if the result symbols are the same. PR fortran/34854 * module.c (read_module) : Hide the symtree of the previous version of the symbol if this symbol is renamed. 2008-01-20 Paul Thomas PR fortran/34784 * array.c (gfc_check_constructor_type): Clear the expression ts so that the checking starts from the deepest level of array constructor. * primary.c (match_varspec): If an unknown type is changed to default character and the attempt to match a substring fails, change it back to unknown. PR fortran/34785 * trans-array.c (gfc_add_loop_ss_code) : If ss->string_length is NULL for an array constructor, use the cl.length expression to build it. (gfc_conv_array_parameter): Change call to gfc_evaluate_now to a tree assignment. 2008-01-19 Thomas Koenig PR fortran/34817 PR fortran/34838 * iresolve.c (gfc_resolve_all): Remove conversion of mask argument to kind=1 by removing call to resolve_mask_arg(). (gfc_resolve_any): Likewise. 2008-01-19 Tobias Burnus PR fortran/34760 * primary.c (match_variable): Handle FL_UNKNOWN without uneducated guessing. (match_variable): Improve error message. 2008-01-18 Tobias Burnus PR fortran/32616 * interface.c (get_expr_storage_size): Return storage size for array element designators. (compare_actual_formal): Reject unequal string sizes for assumed-shape dummy arguments. And fix error message for array-sections with vector subscripts. 2008-01-17 Jerry DeLisle PR fortran/34556 * simplify.c (is_constant_array_expr): New static function that returns true if the given expression is an array and is constant. (gfc_simplify_reshape): Use new function. 2008-01-17 H.J. Lu PR fortran/33375 * symbol.c (free_common_tree): Renamed to ... (gfc_free_common_tree): This. Remove static. (gfc_free_namespace): Updated. * gfortran.h (gfc_free_common_tree): New. * match.c (gfc_match_common): Call gfc_free_common_tree () with gfc_current_ns->common_root and set gfc_current_ns->common_root to NULL on syntax error. 2008-01-18 Richard Sandiford PR fortran/34686 * trans-expr.c (gfc_conv_function_call): Use proper type for returned character pointers. 2008-01-17 Paul Thomas PR fortran/34429 PR fortran/34431 PR fortran/34471 * decl.c : Remove gfc_function_kind_locus and gfc_function_type_locus. Add gfc_matching_function. (match_char_length): If matching a function and the length does not match, return MATCH_YES and try again later. (gfc_match_kind_spec): The same. (match_char_kind): The same. (gfc_match_type_spec): The same for numeric and derived types. (match_prefix): Rename as gfc_match_prefix. (gfc_match_function_decl): Except for function valued character lengths, defer applying kind, type and charlen info until the end of specification block. gfortran.h (gfc_statement): Add ST_GET_FCN_CHARACTERISTICS. parse.c (decode_specification_statement): New function. (decode_statement): Call it when a function has kind = -1. Set and reset gfc_matching function, as function statement is being matched. (match_deferred_characteristics): Simplify with a single call to gfc_match_prefix. Do appropriate error handling. In any case, make sure that kind = -1 is reset or corrected. (parse_spec): Call above on seeing ST_GET_FCN_CHARACTERISTICS. Throw an error if kind = -1 after last specification statement. parse.h : Prototype for gfc_match_prefix. 2008-01-16 Tobias Burnus PR fortran/34796 * interface.c (compare_parameter): Allow AS_DEFERRED array elements and reject attr.pointer array elemenents. (get_expr_storage_size): Return storage size of elements of assumed-shape and pointer arrays. 2008-01-15 Sebastian Pop * f95-lang.c (gfc_init_builtin_functions): Initialize GOMP builtins for flag_tree_parallelize_loops. 2008-01-15 Thomas Koenig PR libfortran/34671 * iresolve.c (gfc_resolve_all): Call resolve_mask_arg. (gfc_resolve_any): Likewise. (gfc_resolve_count): Likewise. Don't append kind of argument to function name. 2008-01-13 Tobias Burnus PR fortran/34665 * resolve.c (resolve_actual_arglist): For expressions, also check for assume-sized arrays. * interface.c (compare_parameter): Move F2003 character checks here, print error messages here, reject elements of assumed-shape array as argument to dummy arrays. (compare_actual_formal): Update for the changes above. 2008-01-13 Tobias Burnus PR fortran/34763 * decl.c (contained_procedure): Only check directly preceeding state. 2008-01-13 Tobias Burnus PR fortran/34759 * check.c (gfc_check_shape): Accept array ranges of assumed-size arrays. 2008-01-12 Jerry DeLisle PR fortran/34432 * match.c (gfc_match_name): Don't error if leading character is a '(', just return MATCH_NO. 2008-01-11 Jerry DeLisle PR fortran/34722 * trans-io.c (create_dummy_iostat): Commit the symbol. 2008-01-11 Paul Thomas PR fortran/34537 * simplify.c (gfc_simplify_transfer): Return NULL if the size of the element is unavailable and only assign character length to the result, if 'mold' is constant. 2008-01-10 Paul Thomas PR fortran/34396 * trans-array.c (gfc_trans_array_ctor_element): Use gfc_trans_string_copy to assign strings and perform bounds checks on the string length. (get_array_ctor_strlen): Remove bounds checking. (gfc_trans_array_constructor): Initialize string length checking. * trans-array.h : Add prototype for gfc_trans_string_copy. 2008-01-08 Richard Guenther PR fortran/34706 PR tree-optimization/34683 * trans-types.c (gfc_get_array_type_bounds): Use an array type with known size for accesses if that is known. 2008-01-08 Paul Thomas PR fortran/34476 * expr.c (find_array_element): Check that the array bounds are constant before using them. Use lower, as well as upper bound. (check_restricted): Allow implied index variable. 2008-01-08 Paul Thomas PR fortran/34681 * trans_array.c (gfc_trans_deferred_array): Do not null the data pointer on entering scope, nor deallocate it on leaving scope, if the symbol has the 'save' attribute. PR fortran/34704 * trans_decl.c (gfc_finish_var_decl): Derived types with allocatable components and an initializer must be TREE_STATIC. 2008-01-07 Paul Thomas PR fortran/34672 * module.c (write_generic): Rewrite completely. (write_module): Change call to write_generic. 2008-01-06 Jerry DeLisle PR fortran/34659 * scanner.c (load_line): Do not count ' ' as printable when checking for continuations. 2008-01-06 Paul Thomas PR fortran/34545 * module.c (load_needed): If the namespace has no proc_name give it the module symbol. 2008-01-06 Jerry DeLisle PR fortran/34387 * trans-expr.c (gfc_conv_missing_dummy): Use a temporary to type convert the dummy variable expression, test for NULL, and pass the variable address to the called function. 2007-01-06 Tobias Burnus PR fortran/34658 * match.c (gfc_match_common): Remove blank common in DATA BLOCK warning. * resolve.c (resolve_common_vars): New function. (resolve_common_blocks): Move checks to resolve_common_vars and invoke that function. (resolve_types): Call resolve_common_vars for blank commons. 2008-01-06 Tobias Burnus PR fortran/34655 * resolve.c (resolve_equivalence_derived): Reject derived types with default initialization if equivalenced with COMMON variable. 2008-01-06 Tobias Burnus PR fortran/34654 * io.c (check_io_constraints): Disallow unformatted I/O for internal units. 2008-01-06 Tobias Burnus PR fortran/34660 * resolve.c (resolve_formal_arglist): Reject dummy procedure in ELEMENTAL functions. 2008-01-06 Tobias Burnus PR fortran/34662 * interface.c (compare_actual_formal): Reject parameter actual to intent(out) dummy. 2008-01-04 Tobias Burnus PR fortran/34557 * primary.c (match_varspec): Gobble whitespace before checking for '('.