OSDN Git Service

* trans-array.c (gfc_trans_preloop_setup): Use loop's dimension instead
[pf3gnuchains/gcc-fork.git] / gcc / fortran / ChangeLog
index 53c2929..e800836 100644 (file)
@@ -1,3 +1,620 @@
+2011-11-03  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.c (gfc_trans_preloop_setup): Use loop's dimension instead
+       of array's dimention. Check that it is indeed the same.
+
+2011-11-03  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.c (gfc_trans_preloop_setup): Remove redundant assertion.
+       Special case outermost loop.
+
+2011-11-03  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.c (gfc_trans_preloop_setup): Factor loop index
+       initialization.
+
+2011-11-03  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.c (gfc_trans_preloop_setup): Move code earlier.
+
+2011-11-03  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.c (gfc_trans_preloop_setup): Move array reference
+       initialisation earlier. Factor subsequent array references.
+
+2011-11-02  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
+
+       * Makef-lang.in (gfortranspec.o): Pass SHLIB instead of SHLIB_LINK.
+
+2011-10-30  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/50573
+       * check.c (gfc_check_dshift): Update argument checking for BOZ.
+       Update checking SHIFT against BITSIZE of I or J.
+       * intrinsic.texi: Update docs for DSHIFTL and DSHIFTR.
+
+2011-10-28  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       * check.c (gfc_check_atan_2): Typo in comment.
+       (gfc_check_nearest): If 's' is constant, check that it is not 0.
+       * simplify.c (simplify_dshift, gfc_simplify_ibclr, gfc_simplify_ibits,
+       gfc_simplify_ibset, simplify_shift, gfc_simplify_ishftc,
+       gfc_simplify_nearest): Remove dead code.
+
+2011-10-23  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       * simplify.c (simplify_transformation_to_array): Fix memory leak.
+2011-10-20  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/50821
+       * check.c (gfc_check_ishftc): Check args are constant before 
+       extracting the integer.
+
+2011-10-20  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/50514
+       * check.c (less_than_bitsize1): Check |shift| <= bit_size(i).
+       (gfc_check_ishftc):  Check |shift| <= bit_size(i) and check
+       that size is positive.
+
+2011-10-20  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       PR fortran/50524
+       * resolve.c (resolve_ref): Check return value of resolve_substring().
+
+2011-10-20  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       * io.c (match_dt_format): Match a user-defined operator or a kind
+       type prefixed string.
+
+2011-10-19  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/47023
+       * check.c (gfc_check_sizeof): Reject procedures as argument of SIZEOF.
+       * intrinsinc.texi (SIZEOF): Document it.
+       (STORAGE_SIZE): Fix special characters. Fix line breaks.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * trans.c (gfc_build_array_ref): If type is not an array, check that
+       there is nothing to do, and do nothing.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * trans-types.c (gfc_build_array_type): Don't force lower bound to one
+       in the deferred case.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * simplify.c (simplify_cobound): Accept non-last-in-ref-chain coarrays.
+       Don't set already set array ref.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * array.c (gfc_find_array_ref): Remove coarray-specific handling.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * check.c (dim_corank_check): Use gfc_get_corank to get corank.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * trans-intrinsic.c (walk_coarray): Change AR_ELEMENT to AR_SECTION.
+
+       PR fortran/50420
+       * trans-intrinsic.c (walk_coarray): Use gfc_walk_array_ref for
+       the scalarization chain initialization. 
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * trans-intrinsic.c (walk_coarray): Allow subreferences after a
+       coarray object reference.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * trans-array.c (gfc_walk_array_ref): Allow zero rank arrays
+       if they are coarrays.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.h (gfc_walk_array_ref): New prototype.
+       * trans-array.c (gfc_walk_array_ref): New function, containing
+       all but the beginning of gfc_walk_variable_expr's code.
+       (gfc_walk_variable_expr): Use gfc_walk_array_ref.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * trans-array.c (gfc_conv_expr_descriptor): Use loop.dimen instead of
+       ndim for the descriptor's rank.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       PR fortran/50420
+       * trans-array.c (gfc_conv_expr_descriptor): Count codimensions starting
+       from zero, and add then the relevant offset (either ndim or loop.dimen)
+       depending on context.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.c (gfc_conv_expr_descriptor): Save some horizontal space.
+
+2011-10-18  Mikael Morin  <mikael@gcc.gnu.org>
+
+       * trans-array.c (gfc_conv_expr_descriptor): Move ndim initialization
+       earlier.
+
+2011-10-18  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/47023
+       * decl.c (verify_c_interop_param): Renamed to
+       'gfc_verify_c_interop_param'. Add error message for polymorphic
+       arguments.
+       (verify_c_interop): Renamed to 'gfc_verify_c_interop'. Reject
+       polymorphic variables.
+       (verify_bind_c_sym): Renamed 'verify_c_interop'.
+       * gfortran.h (verify_c_interop,verify_c_interop_param): Renamed.
+       * check.c (gfc_check_sizeof): Ditto.
+       * resolve.c (gfc_iso_c_func_interface,resolve_fl_procedure): Ditto.
+       * symbol.c (verify_bind_c_derived_type): Ditto.
+
+2011-10-15  Tom Tromey  <tromey@redhat.com>
+           Dodji Seketeli  <dodji@redhat.com>
+
+       * cpp.c (print_line, cb_define): Adjust to avoid using internals
+       of struct line_map.  Use the public API instead.
+
+2011-10-17  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/47023
+       PR fortran/50752
+       * primary.c (match_kind_param): Avoid segfault.
+
+2011-10-16  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       * frontend-passes.c (current_ns):  Make static.
+       (create_var):  Note parent of newly created namespace.
+       (optimize_namespace):  Don't wak sibling namespaces
+       if they are EXEC_BLOCK because this is handled...
+       (gfc_code_walker):  ... here.  Also walk ASSOCIATE lists.
+
+2011-10-16  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/47023
+       * primary.c (match_kind_param): Detect ISO_C_BINDING kinds.
+       (get_kind): Pass on 'is_iso_c' flag.
+       (match_integer_constant,match_real_constant,match_logical_constant):
+       Set 'ts.is_c_interop'.
+
+2011-10-16  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50547
+       * resolve.c (resolve_formal_arglist): Remove unneeded error message.
+       Some reshuffling.
+
+2011-10-15  Tobias Burnus  <burnus@net-b.de>
+
+       * gfortran.texi (Fortran 2008 status, TS 29113 status,
+       Further Interoperability of Fortran with C): Update implementation
+       status, change references from TR 29113 to TS 29113.
+       * intrinsic.texi (RANK): Change TR 29113 to TS 29113.
+       * invoke.text (-std=): Ditto, change -std=f2008tr to -std=f2008ts.
+       * lang.opt (std=): Ditto.
+       * options.c (gfc_handle_option, set_default_std_flags): Ditto and
+       change GFC_STD_F2008_TR to GFC_STD_F2008_TS.
+       * libgfortran.h: Ditto.
+       * intrinsic.c (add_functions, gfc_check_intrinsic_standard): Ditto.
+       * decl.c (verify_c_interop_param): Ditto.
+
+2011-10-14  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50570
+       * expr.c (gfc_check_vardef_context): Don't throw an error on
+       non-pointer assignments involving an intent(in) pointer dummy.
+
+2011-10-14  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/50718
+       * trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
+       for dummy arguments with VALUE attribute.
+
+2011-10-11  Tobias Burnus  <burnus@net-b.de>
+           Janus Weil  <janus@gcc.gnu.org>
+
+       * invoke.texi (-fwhole-file): Update wording since -fwhole-file
+       is now enabled by default.
+
+2011-10-11  Michael Meissner  <meissner@linux.vnet.ibm.com>
+
+       * trans-expr.c (gfc_conv_power_op): Delete old interface with two
+       parallel arrays to hold standard builtin declarations, and replace
+       it with a function based interface that can support creating
+       builtins on the fly in the future.  Change all uses, and poison
+       the old names.  Make sure 0 is not a legitimate builtin index.
+       (fill_with_spaces): Ditto.
+       (gfc_trans_string_copy): Ditto.
+       (gfc_trans_zero_assign): Ditto.
+       (gfc_build_memcpy_call): Ditto.
+       (alloc_scalar_allocatable_for_assignment): Ditto.
+       * trans-array.c (gfc_trans_array_constructor_value): Ditto.
+       (duplicate_allocatable): Ditto.
+       (gfc_alloc_allocatable_for_assignment): Ditto.
+       * trans-openmp.c (gfc_omp_clause_copy_ctor): Ditto.
+       (gfc_omp_clause_assign_op): Ditto.
+       (gfc_trans_omp_atomic): Ditto.
+       (gfc_trans_omp_do): Ditto.
+       (gfc_trans_omp_task): Ditto.
+       * trans-stmt.c (gfc_trans_stop): Ditto.
+       (gfc_trans_sync): Ditto.
+       (gfc_trans_allocate): Ditto.
+       (gfc_trans_deallocate): Ditto.
+       * trans.c (gfc_call_malloc): Ditto.
+       (gfc_allocate_using_malloc): Ditto.
+       (gfc_call_free): Ditto.
+       (gfc_deallocate_with_status): Ditto.
+       (gfc_deallocate_scalar_with_status): Ditto.
+       * f95-lang.c (gfc_define_builtin): Ditto.
+       (gfc_init_builtin_functions): Ditto.
+       * trans-decl.c (create_main_function): Ditto.
+       * trans-intrinsic.c (builtin_decl_for_precision): Ditto.
+
+2011-10-10  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/50564
+       * frontend-passes (forall_level):  New variable.
+       (cfe_register_funcs):  Don't register functions if we
+       are within a forall loop.
+       (optimize_namespace):  Set forall_level to 0 before entry.
+       (gfc_code_walker):  Increase/decrease forall_level.
+
+2011-10-09  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/50273
+       * trans-common.c (translate_common): Fix -Walign-commons check.
+
+2011-10-09  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * interface.c (check_dummy_characteristics): Count dimensions starting
+       from one in diagnostic.
+
+2011-10-09  Tobias Burnus  <burnus@net-b.de>
+
+       * Make-lang.in (F95_PARSER_OBJS, GFORTRAN_TRANS_DEPS): Add
+       dependency on iso-c-binding.def and iso-fortran-env.def.
+       * module.c (import_iso_c_binding_module): Add error when
+       explicitly importing a nonstandard symbol; extend standard-
+       depending loading.
+       * iso-c-binding.def: Add c_float128 and c_float128_complex
+       integer parameters (for -std=gnu).
+       * intrinsic.texi (ISO_C_Binding): Document them.
+       * symbol.c (generate_isocbinding_symbol): Change macros
+       to ignore GFC_STD_* data.
+       * trans-types.c (gfc_init_c_interop_kinds): Ditto; make
+       nonstatic and renamed from "init_c_interop_kinds".
+       (gfc_init_kinds): Don't call it
+       * trans-types.h (gfc_init_c_interop_kinds): Add prototype.
+       * f95-lang.c (gfc_init_decl_processing): Call it.
+
+2011-10-09  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50659
+       * expr.c (replace_symbol): Only do replacement if the symbol is a dummy.
+
+2011-10-08  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/47844
+       * trans-array.c (gfc_conv_array_index_offset): Use descriptor
+       stride for pointer function results.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_expr_descriptor): Remove trailing whitespace.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_ss_startstride): Merge two switch cases.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_section_startstride): Remove coarray argument.
+       Remove conditions on coarray.
+       (gfc_conv_ss_startstride): Update call to gfc_conv_section_startstride.
+       (gfc_conv_expr_descriptor): Ditto. Add assertions before the call.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_section_startstride): Remove coarray_last
+       argument. Remove condition on coarray_last.
+       (gfc_conv_ss_startstride): Update call to gfc_conv_section_startstride.
+       (gfc_conv_expr_descriptor): Ditto.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_walk_variable_expr): Remove scalar coarray
+       handling.  Don't reset array ref's corank and codimensions' types
+       in the full array ref case.  Update loop upper limit.
+       Remove DIMEN_THIS_IMAGE case.  Remove unnecessary conditions.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans.h (gfc_ss_info): Remove codimen field.
+       * trans-array.c (gfc_get_array_ss): Don't set codimen field.
+       (gfc_trans_create_temp_array): Don't set descriptor's cobounds.
+       (gfc_trans_constant_array_constructor): Update loop upper limit.
+       (gfc_conv_ss_startstride): Don't set codimen field.
+       Don't get descriptor's cobounds.
+       (gfc_walk_variable_expr): Update dimension index.
+       * trans-intrinsic.c (trans_this_image, trans_image_index,
+       conv_intrinsic_cobound): Don't set codimen field
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans.h (gfc_loopinfo): Remove codimen field.
+       * trans-array.c (gfc_set_vector_loop_bounds,
+       gfc_trans_scalarizing_loops, gfc_conv_loop_setup): Update loop upper
+       limit.
+       (gfc_set_loop_bounds_from_array_spec): Ditto. Remove skip on last
+       codimension.
+       (gfc_start_scalarized_body): Update loop lower limit.
+       (gfc_conv_ss_startstride): Don't set loop's codimen field.
+       (gfc_conv_loop_setup): Remove unnecessary condition.
+       (gfc_conv_expr_descriptor): Don't use loop's codimen field as corank.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans.h (gfc_ss): Remove data.temp.codimen field.
+       * trans-array.c (gfc_conv_resolve_dependencies,
+       gfc_conv_expr_descriptor): Don't set temp's codimen field.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * resolve.c (resolve_array_ref): Set array_ref's dimen field (and the
+       associated dimen_type) in the full array ref case.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-intrinsic.c (walk_coarray): New function.
+       (convert_element_to_coarray_ref): Move code to walk_coarray. Remove.
+       (trans-this_image, trans_image_index, conv_intrinsic_cobound):
+       Use walk_coarray.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_expr_descriptor): Add out-of-the-scalarizer
+       cobounds evaluation.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_ss_startstride): Support zero rank loop.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_section_startstride): Move code to
+       evaluate_bound.  Use evaluate_bound.
+       (evaluate_bound): New function.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_section_startstride): Update assertion to
+       also accept coarrays.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_section_startstride): Factor common
+       array ref references.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_expr_descriptor): Use codim instead of
+       loop.codimen as argument to gfc_get_array_type_bounds.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.h (struct gfc_se): New flag want_coarray.
+       * trans-intrinsic.c (trans_this_image, trans_image_index,
+       conv_intrinsic_cobound): Set want_coarray.
+       * trans_array.c (gfc_conv_expr_descriptor): Evaluate codimension
+       earlier and without relying on the scalarizer.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * expr.c (gfc_get_corank): Return 0 if input expression is not a
+       coarray.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_conv_expr_descriptor): Simplify coarray
+       descriptor setup code.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * resolve.c (compare_spec_to_ref): Move coarray ref initialization
+       code...
+       (resolve_array_ref): ... here.
+
+2011-10-07  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * check.c (is_coarray): Remove.
+       (coarray_check): Use gfc_is_coarray.
+
+2011-10-07  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50625
+       * class.c (gfc_build_class_symbol): Fix whitespace.
+       * module.c (mio_symbol): Set 'class_ok' attribute.
+       * trans-decl.c (gfc_get_symbol_decl): Make sure the backend_decl has
+       been built for class symbols.
+
+2011-10-04  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/35831
+       * interface.c (check_dummy_characteristics): Check the array shape.
+
+2011-10-01  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50585
+       * interface.c (get_expr_storage_size): Check if 'length' component is
+       associated.
+
+2011-09-29  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50547
+       * resolve.c (resolve_formal_arglist): Fix pureness check for dummy
+       functions.
+
+       PR fortran/50553
+       * symbol.c (check_conflict): Forbid TARGET attribute for statement
+       functions.
+
+2011-09-27  Jakub Jelinek  <jakub@redhat.com>
+
+       * trans-types.c (gfc_type_for_size): Return wider type
+       if no suitable narrower type has been found.
+       (gfc_type_for_mode): Return NULL_TREE if gfc_type_for_size
+       returned type doesn't have expected TYPE_MODE.
+
+2011-09-26  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50515
+       * resolve.c (resolve_common_blocks): Check for EXTERNAL attribute.
+
+       PR fortran/50517
+       * interface.c (gfc_compare_interfaces): Bugfix in check for result type.
+
+2011-09-22  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/41733
+       * expr.c (gfc_check_pointer_assign): Check for nonintrinsic elemental
+       procedures.
+       * interface.c (gfc_compare_interfaces): Rename 'intent_flag'. Check
+       for PURE and ELEMENTAL attributes.
+       (compare_actual_formal): Remove pureness check here.
+
+2011-09-20  Steven G. Kargl  <kargl@gcc.gnu.org>
+
+       * check.c (gfc_check_c_sizeof): Remove redundant word.
+
+2011-09-20  Simon Baldwin  <simonb@google.com>
+
+       * module.c (gfc_dump_module): Omit timestamp from output.
+
+2011-09-17  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50403
+       * symbol.c (gfc_use_derived): Fix coding style.
+
+2011-09-15  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50401
+       * resolve.c (resolve_transfer): Check if component 'ref' is defined.
+
+       PR fortran/50403
+       * symbol.c (gfc_use_derived): Check if argument 'sym' is defined.
+
+2011-09-14  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/34547
+       PR fortran/50375
+       * check.c (gfc_check_null): Allow allocatables as MOLD to NULL.
+       * resolve.c (resolve_transfer): Reject NULL without MOLD.
+       * interface.c (gfc_procedure_use): Reject NULL without MOLD
+       if no explicit interface is known.
+       (gfc_search_interface): Reject NULL without MOLD if it would
+       lead to ambiguity.
+
+2011-09-13  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/50379
+       * symbol.c (check_conflict): Check conflict between GENERIC and RESULT
+       attributes.
+
+2011-09-11  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/50327
+       * frontend-passes.c (dummy_expr_callback):  New function.
+       (convert_do_while):  New function.
+       (optimize_namespace):  Call code walker to convert do while loops.
+
+2011-09-11  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/35831
+       PR fortran/47978
+       * interface.c (check_dummy_characteristics): New function to check the
+       characteristics of dummy arguments.
+       (gfc_compare_interfaces,gfc_check_typebound_override): Call it here.
+
+2011-09-08  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.c (gfc_trans_constant_array_constructor): Remove
+       superfluous initialisation of DIM field.
+       (gfc_trans_array_constructor): Assert that DIMEN field is properly set.
+       (gfc_conv_expr_descriptor): Ditto.
+       * trans-expr.c (gfc_conv_procedure_call): Ditto.
+
+2011-09-08  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.h (gfc_get_scalar_ss): New prototype.
+       * trans-array.c (gfc_get_scalar_ss): New function.
+       (gfc_walk_variable_expr, gfc_walk_op_expr,
+       gfc_walk_elemental_function_args): Re-use gfc_get_scalar_ss.
+       * trans-expr.c (gfc_trans_subarray_assign): Ditto.
+       (gfc_trans_assignment_1): Ditto.
+       * trans-stmt.c (compute_inner_temp_size, gfc_trans_where_assign,
+       gfc_trans_where_3): Ditto.
+
+2011-09-08  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.h (gfc_get_temp_ss): New prototype.
+       * trans-array.c (gfc_get_temp_ss): New function.
+       (gfc_conv_resolve_dependencies): Re-use gfc_get_temp_ss.
+       (gfc_conv_expr_descriptor): Ditto.
+       * trans-expr.c (gfc_conv_subref_array_arg): Ditto.
+
+2011-09-08  Mikael Morin  <mikael.morin@sfr.fr>
+
+       * trans-array.h (gfc_get_array_ss): New prototype.
+       * trans-array.c (gfc_get_array_ss): New function.
+       (gfc_walk_variable_expr, gfc_walk_function_expr,
+       gfc_walk_array_constructor): Re-use gfc_get_array_ss.
+       * trans-expr.c (gfc_trans_subarray_assign): Ditto.
+       * trans-intrinsic.c (gfc_walk_intrinsic_bound,
+       gfc_walk_intrinsic_libfunc): Ditto.
+       * trans-io.c (transfer_array_component): Ditto.
+
+2011-09-08  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/44646
+       * decl.c (gfc_match_entry, gfc_match_end): Handle COMP_DO_CONCURRENT.
+       * dump-parse-tree.c (show_code_node): Handle EXEC_DO_CONCURRENT.
+       * gfortran.h (gfc_exec_op): Add EXEC_DO_CONCURRENT.
+       * match.c (gfc_match_critical, match_exit_cycle, gfc_match_stopcode,
+       lock_unlock_statement, sync_statement, gfc_match_allocate,
+       gfc_match_deallocate, gfc_match_return): Add DO CONCURRENT diagnostic.
+       (gfc_match_do): Match DO CONCURRENT.
+       (match_derived_type_spec, match_type_spec, gfc_free_forall_iterator,
+       match_forall_iterator, match_forall_header, match_simple_forall,
+       gfc_match_forall): Move up in the file.
+       * parse.c (check_do_closure, parse_do_block): Handle do concurrent.
+       * parse.h (gfc_compile_state): Add COMP_DO_CONCURRENT.
+       * resolve.c (do_concurrent_flag): New global variable.
+       (resolve_function, pure_subroutine, resolve_branch,
+       gfc_resolve_blocks, resolve_code, resolve_types): Add do concurrent
+       diagnostic.
+       * st.c (gfc_free_statement): Handle EXEC_DO_CONCURRENT.
+       * trans-stmt.c (gfc_trans_do_concurrent): New function.
+       (gfc_trans_forall_1): Handle do concurrent.
+       * trans-stmt.h (gfc_trans_do_concurrent): New function prototype.
+       * trans.c (trans_code): Call it.
+       * frontend-passes.c (gfc_code_walker): Handle EXEC_DO_CONCURRENT.
+
 2011-09-07  Janus Weil  <janus@gcc.gnu.org>
 
        PR fortran/48095
        * symbol.c (check_conflict): Allow threadprivate attribute with
        FL_PROCEDURE if proc_pointer.
 
-2011-08-25  Mikael Morin  <mikael.morin@gcc.gnu.org>
+2011-08-25  Mikael Morin  <mikael@gcc.gnu.org>
 
        PR fortran/50050
        * expr.c (gfc_free_shape): Do nothing if shape is NULL.
        * cpp.c (gfc_cpp_init): Force BUILTINS_LOCATION for tokens
        defined in cpp_define_builtins.
 
-2011-08-22  Mikael Morin  <mikael.morin@gcc.gnu.org>
+2011-08-22  Mikael Morin  <mikael@gcc.gnu.org>
 
        PR fortran/50050
        * gfortran.h (gfc_clear_shape, gfc_free_shape): New prototypes.