[Bug fortran/107272] New: ICE in gfc_compare_string and others (related to pr107217)

[Bug fortran/107272] New: ICE in gfc_compare_string and others (related to pr107217)

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107272

            Bug ID: 107272
           Summary: ICE in gfc_compare_string and others (related to
                    pr107217)
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: anlauf at gcc dot gnu.org
  Target Milestone: ---

The following variation of testcase gfortran.dg/pr107217.f90 ICEs
due to yet unhandled non-numeric types:

program p
  print *, 2 <= [real :: (['1'])] ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] >= 2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] >  2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] == 2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] /= 2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] <= 2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] <  2 ! { dg-error "Cannot convert" }
  print *, 2 <= [real :: (['1'])] ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] >= 2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] >  2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] == 2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] /= 2 ! { dg-error "Cannot convert" }
  print *, [real :: (['1'])] <= 2 ! { dg-error "Cannot convert" }
  print *, [logical :: (['1'])] .and.  .true. ! { dg-error "Cannot convert" }
  print *, [logical :: (['1'])] .or.   .true. ! { dg-error "Cannot convert" }
  print *, [logical :: (['1'])] .eqv.  .true. ! { dg-error "Cannot convert" }
  print *, [logical :: (['1'])] .neqv. .true. ! { dg-error "Cannot convert" }
end

The fix is a straightforward extension of the fix for pr107217.

[Bug fortran/107272] ICE in gfc_compare_string and others (related to pr107217)

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107272

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |anlauf at gcc dot gnu.org
   Last reconfirmed|                            |2022-10-16
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
           Keywords|                            |accepts-invalid,
                   |                            |ice-on-invalid-code

--- Comment #1 from anlauf at gcc dot gnu.org ---
Submitted: https://gcc.gnu.org/pipermail/fortran/2022-October/058340.html

[Bug fortran/107272] ICE in gfc_compare_string and others (related to pr107217)

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107272

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:34cecde675be67543b386b593132ce8b1bb0a3ab

commit r13-3339-g34cecde675be67543b386b593132ce8b1bb0a3ab
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Sun Oct 16 20:32:27 2022 +0200

    Fortran: check type of operands of logical operations, comparisons
[PR107272]

    gcc/fortran/ChangeLog:

            PR fortran/107272
            * arith.cc (gfc_arith_not): Operand must be of type BT_LOGICAL.
            (gfc_arith_and): Likewise.
            (gfc_arith_or): Likewise.
            (gfc_arith_eqv): Likewise.
            (gfc_arith_neqv): Likewise.
            (gfc_arith_eq): Compare consistency of types of operands.
            (gfc_arith_ne): Likewise.
            (gfc_arith_gt): Likewise.
            (gfc_arith_ge): Likewise.
            (gfc_arith_lt): Likewise.
            (gfc_arith_le): Likewise.

    gcc/testsuite/ChangeLog:

            PR fortran/107272
            * gfortran.dg/pr107272.f90: New test.

[Bug fortran/107272] ICE in gfc_compare_string and others (related to pr107217)

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107272

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from anlauf at gcc dot gnu.org ---
Fixed.