1! Check for operand type validity after gimplification
2
3subroutine whatever()
4logical(kind=1) :: l1
5logical(kind=2) :: l2
6logical(kind=4) :: l3
7if ((l1 .and. l2) .neqv. l3) then
8   l1 = .true.
9endif
10end
11