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