diff options
| author | pault <pault@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-02-05 11:16:33 +0000 |
|---|---|---|
| committer | pault <pault@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-02-05 11:16:33 +0000 |
| commit | f106ab4b153ffe3e45e023ebcdb229e166cbcab0 (patch) | |
| tree | 76d03a98e8e40b4bc08cfd374a29a641ed449b26 /gcc/fortran/data.c | |
| parent | 82ec0d8f13e36154e25c90dc932cfc8eac725323 (diff) | |
| download | gcc-f106ab4b153ffe3e45e023ebcdb229e166cbcab0.tar.gz | |
2008-02-05 Paul Thomas <pault@gcc.gnu.org>
PR fortran/32315
* data.c (gfc_assign_data_value): Add bounds check for array
references.
2008-02-05 Paul Thomas <pault@gcc.gnu.org>
PR fortran/32315
* gfortran.dg/data_bounds_1.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132113 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/fortran/data.c')
| -rw-r--r-- | gcc/fortran/data.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/fortran/data.c b/gcc/fortran/data.c index 41dc85f8fa0..10fcd48676e 100644 --- a/gcc/fortran/data.c +++ b/gcc/fortran/data.c @@ -311,6 +311,27 @@ gfc_assign_data_value (gfc_expr *lvalue, gfc_expr *rvalue, mpz_t index) else mpz_set (offset, index); + /* Check the bounds. */ + if (mpz_cmp_si (offset, 0) < 0) + { + gfc_error ("Data element below array lower bound at %L", + &lvalue->where); + return FAILURE; + } + else + { + mpz_t size; + if (spec_size (ref->u.ar.as, &size) == SUCCESS + && mpz_cmp (offset, size) >= 0) + { + mpz_clear (size); + gfc_error ("Data element above array upper bound at %L", + &lvalue->where); + return FAILURE; + } + mpz_clear (size); + } + /* Splay tree containing offset and gfc_constructor. */ spt = expr->con_by_offset; |