diff options
| author | Thomas Koenig <Thomas.Koenig@online.de> | 2006-04-16 20:29:24 +0000 |
|---|---|---|
| committer | Thomas Koenig <tkoenig@gcc.gnu.org> | 2006-04-16 20:29:24 +0000 |
| commit | 3c86fb4e17941da9eb4026bda6301bf0a74a96fe (patch) | |
| tree | 50e4ad3d8a48e6299d17a219b0a2d98448670795 /gcc/fortran/trans-array.c | |
| parent | e13d2b4e53067e117eb250bbf39c948ec6bd48e6 (diff) | |
| download | gcc-3c86fb4e17941da9eb4026bda6301bf0a74a96fe.zip gcc-3c86fb4e17941da9eb4026bda6301bf0a74a96fe.tar.gz gcc-3c86fb4e17941da9eb4026bda6301bf0a74a96fe.tar.bz2 | |
re PR fortran/26017 (allocate (a(1:-1)) should yield zero-sized array)
2006-04-16 Thomas Koenig <Thomas.Koenig@online.de>
PR fortran/26017
* trans-array.c(gfc_array_init_size): Introduce or_expr
which is true if the size along any dimension
is negative. Create a temporary variable with base
name size. If or_expr is true, set the temporary to 0,
to the normal size otherwise.
2006-04-16 Thomas Koenig <Thomas.Koenig@online.de>
* gfortran.dg/allocate_zerosize_1.f90: New test.
From-SVN: r112988
Diffstat (limited to 'gcc/fortran/trans-array.c')
| -rw-r--r-- | gcc/fortran/trans-array.c | 33 |
1 files changed, 31 insertions, 2 deletions
diff --git a/gcc/fortran/trans-array.c b/gcc/fortran/trans-array.c index fe8d13c..0157e62 100644 --- a/gcc/fortran/trans-array.c +++ b/gcc/fortran/trans-array.c @@ -2939,6 +2939,13 @@ gfc_array_init_size (tree descriptor, int rank, tree * poffset, tree size; tree offset; tree stride; + tree cond; + tree or_expr; + tree thencase; + tree elsecase; + tree var; + stmtblock_t thenblock; + stmtblock_t elseblock; gfc_expr *ubound; gfc_se se; int n; @@ -2952,6 +2959,8 @@ gfc_array_init_size (tree descriptor, int rank, tree * poffset, tmp = gfc_conv_descriptor_dtype (descriptor); gfc_add_modify_expr (pblock, tmp, gfc_get_dtype (TREE_TYPE (descriptor))); + or_expr = NULL_TREE; + for (n = 0; n < rank; n++) { /* We have 3 possibilities for determining the size of the array: @@ -3005,6 +3014,14 @@ gfc_array_init_size (tree descriptor, int rank, tree * poffset, /* Calculate the size of this dimension. */ size = fold_build2 (PLUS_EXPR, gfc_array_index_type, se.expr, size); + /* Check wether the size for this dimension is negative. */ + cond = fold_build2 (LE_EXPR, boolean_type_node, size, + gfc_index_zero_node); + if (n == 0) + or_expr = cond; + else + or_expr = fold_build2 (TRUTH_OR_EXPR, boolean_type_node, or_expr, cond); + /* Multiply the stride by the number of elements in this dimension. */ stride = fold_build2 (MULT_EXPR, gfc_array_index_type, stride, size); stride = gfc_evaluate_now (stride, pblock); @@ -3021,8 +3038,20 @@ gfc_array_init_size (tree descriptor, int rank, tree * poffset, *poffset = offset; } - size = gfc_evaluate_now (size, pblock); - return size; + var = gfc_create_var (TREE_TYPE (size), "size"); + gfc_start_block (&thenblock); + gfc_add_modify_expr (&thenblock, var, gfc_index_zero_node); + thencase = gfc_finish_block (&thenblock); + + gfc_start_block (&elseblock); + gfc_add_modify_expr (&elseblock, var, size); + elsecase = gfc_finish_block (&elseblock); + + tmp = gfc_evaluate_now (or_expr, pblock); + tmp = build3_v (COND_EXPR, tmp, thencase, elsecase); + gfc_add_expr_to_block (pblock, tmp); + + return var; } |