diff options
| author | Daniel Franke <franke.daniel@gmail.com> | 2008-12-12 08:22:55 -0500 |
|---|---|---|
| committer | Daniel Franke <dfranke@gcc.gnu.org> | 2008-12-12 08:22:55 -0500 |
| commit | bf4f96e610c0cf7928b41e8ad160fafb05f04331 (patch) | |
| tree | 6233022947a448d11526ea2c684fa00b7374445f /gcc/fortran | |
| parent | b8153009d83b45c491f2b2cca75d4d1ea6eb3af8 (diff) | |
| download | gcc-bf4f96e610c0cf7928b41e8ad160fafb05f04331.zip gcc-bf4f96e610c0cf7928b41e8ad160fafb05f04331.tar.gz gcc-bf4f96e610c0cf7928b41e8ad160fafb05f04331.tar.bz2 | |
re PR fortran/36355 (matmul argument-check: wrong error messages)
gcc/fortran:
2008-12-12 Daniel Franke <franke.daniel@gmail.com>
PR fortran/36355
* check.c (gfc_check_matmul): Fixed error message for invalid
types to correctly identify the offending argument, added check
for mismatching types.
gcc/testsuite:
2008-12-12 Daniel Franke <franke.daniel@gmail.com>
PR fortran/36355
* gfortran.dg/matmul_argument_types.f90: New.
From-SVN: r142709
Diffstat (limited to 'gcc/fortran')
| -rw-r--r-- | gcc/fortran/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/fortran/check.c | 13 |
2 files changed, 18 insertions, 2 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 7fa2cf4..db1fe42 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2008-12-12 Daniel Franke <franke.daniel@gmail.com> + + PR fortran/36355 + * check.c (gfc_check_matmul): Fixed error message for invalid + types to correctly identify the offending argument, added check + for mismatching types. + 2008-12-11 Richard Guenther <rguenther@suse.de> * Make-lang.in (install-finclude-dir): Use correct mode argument diff --git a/gcc/fortran/check.c b/gcc/fortran/check.c index de50767..8ca67f2 100644 --- a/gcc/fortran/check.c +++ b/gcc/fortran/check.c @@ -1794,7 +1794,7 @@ gfc_check_malloc (gfc_expr *size) gfc_try gfc_check_matmul (gfc_expr *matrix_a, gfc_expr *matrix_b) { - if ((matrix_a->ts.type != BT_LOGICAL) && !gfc_numeric_ts (&matrix_b->ts)) + if ((matrix_a->ts.type != BT_LOGICAL) && !gfc_numeric_ts (&matrix_a->ts)) { gfc_error ("'%s' argument of '%s' intrinsic at %L must be numeric " "or LOGICAL", gfc_current_intrinsic_arg[0], @@ -1802,7 +1802,7 @@ gfc_check_matmul (gfc_expr *matrix_a, gfc_expr *matrix_b) return FAILURE; } - if ((matrix_b->ts.type != BT_LOGICAL) && !gfc_numeric_ts (&matrix_a->ts)) + if ((matrix_b->ts.type != BT_LOGICAL) && !gfc_numeric_ts (&matrix_b->ts)) { gfc_error ("'%s' argument of '%s' intrinsic at %L must be numeric " "or LOGICAL", gfc_current_intrinsic_arg[1], @@ -1810,6 +1810,15 @@ gfc_check_matmul (gfc_expr *matrix_a, gfc_expr *matrix_b) return FAILURE; } + if ((matrix_a->ts.type == BT_LOGICAL && gfc_numeric_ts (&matrix_b->ts)) + || (gfc_numeric_ts (&matrix_a->ts) && matrix_b->ts.type == BT_LOGICAL)) + { + gfc_error ("Argument types of '%s' intrinsic at %L must match (%s/%s)", + gfc_current_intrinsic, &matrix_a->where, + gfc_typename(&matrix_a->ts), gfc_typename(&matrix_b->ts)); + return FAILURE; + } + switch (matrix_a->rank) { case 1: |