diff options
author | kargl <kargl@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-10-30 21:59:24 +0000 |
---|---|---|
committer | kargl <kargl@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-10-30 21:59:24 +0000 |
commit | 10089e90bd4b103351854568b2463b275a8588a2 (patch) | |
tree | c29a5b32fa13860e9024f18229d3fa7c0d2d8a8b /gcc/fortran/check.c | |
parent | eea5ff47593afccfe0cd0be71778a74572914851 (diff) | |
download | gcc-10089e90bd4b103351854568b2463b275a8588a2.tar.gz |
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-30 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/50573
* gfortran.dg/dshift_3.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180686 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/fortran/check.c')
-rw-r--r-- | gcc/fortran/check.c | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/gcc/fortran/check.c b/gcc/fortran/check.c index 0f54ccd4b63..d9b9a9cd580 100644 --- a/gcc/fortran/check.c +++ b/gcc/fortran/check.c @@ -1483,7 +1483,14 @@ gfc_check_dshift (gfc_expr *i, gfc_expr *j, gfc_expr *shift) if (type_check (j, 1, BT_INTEGER) == FAILURE) return FAILURE; - if (same_type_check (i, 0, j, 1) == FAILURE) + if (i->is_boz && j->is_boz) + { + gfc_error ("'I' at %L and 'J' at %L cannot both be BOZ literal " + "constants", &i->where, &j->where); + return FAILURE; + } + + if (!i->is_boz && !j->is_boz && same_type_check (i, 0, j, 1) == FAILURE) return FAILURE; if (type_check (shift, 2, BT_INTEGER) == FAILURE) @@ -1492,8 +1499,18 @@ gfc_check_dshift (gfc_expr *i, gfc_expr *j, gfc_expr *shift) if (nonnegative_check ("SHIFT", shift) == FAILURE) return FAILURE; - if (less_than_bitsize1 ("I", i, "SHIFT", shift, true) == FAILURE) - return FAILURE; + if (i->is_boz) + { + if (less_than_bitsize1 ("J", j, "SHIFT", shift, true) == FAILURE) + return FAILURE; + i->ts.kind = j->ts.kind; + } + else + { + if (less_than_bitsize1 ("I", i, "SHIFT", shift, true) == FAILURE) + return FAILURE; + j->ts.kind = i->ts.kind; + } return SUCCESS; } |