simplify checks of logical value

Author: akuhlens

flang/test/Semantics/dynamic-type-intrinsics.f90

@@ -36,8 +36,10 @@ module m
     integer(kind=merge(kind(1),-1,same_type_as(x24, x24))) same_type_as_x24_x24_true
     integer(kind=merge(kind(1),-1,same_type_as(x24, y24))) same_type_as_x24_y24_true
     integer(kind=merge(kind(1),-1,same_type_as(x24, x28))) same_type_as_x24_x28_true
-    integer(kind=merge(-1,kind(1),same_type_as(x1, x3))) same_type_as_x1_x3_false
-    integer(kind=merge(-1,kind(1),same_type_as(a1, a3))) same_type_as_a1_a3_false
+    !ERROR: INTEGER(KIND=-1) is not a supported type
+    integer(kind=merge(kind(1),-1,same_type_as(x1, x3))) same_type_as_x1_x3_false
+    !ERROR: INTEGER(KIND=-1) is not a supported type
+    integer(kind=merge(kind(1),-1,same_type_as(a1, a3))) same_type_as_a1_a3_false
     !ERROR: Actual argument for 'a=' has type 't5', but was expected to be an extensible derived or unlimited polymorphic type
     logical :: t1_8 = same_type_as(x5, x5)
     !ERROR: Actual argument for 'a=' has type 't5', but was expected to be an extensible derived or unlimited polymorphic type
@@ -55,9 +57,12 @@ module m
     integer(kind=merge(kind(1),-1,extends_type_of(x24, x24))) extends_type_of_x24_x24_true
     integer(kind=merge(kind(1),-1,extends_type_of(x24, y24))) extends_type_of_x24_y24_true
     integer(kind=merge(kind(1),-1,extends_type_of(x24, x28))) extends_type_of_x24_x28_true
-    integer(kind=merge(-1,kind(1),extends_type_of(x1, x3))) extends_type_of_x1_x3_false
-    integer(kind=merge(-1,kind(1),extends_type_of(a1, a3))) extends_type_of_a1_a3_false
-    integer(kind=merge(-1,kind(1),extends_type_of(x1, x4))) extends_type_of_x1_x4_false
+    !ERROR: INTEGER(KIND=-1) is not a supported type
+    integer(kind=merge(kind(1),-1,extends_type_of(x1, x3))) extends_type_of_x1_x3_false
+    !ERROR: INTEGER(KIND=-1) is not a supported type
+    integer(kind=merge(kind(1),-1,extends_type_of(a1, a3))) extends_type_of_a1_a3_false
+    !ERROR: INTEGER(KIND=-1) is not a supported type
+    integer(kind=merge(kind(1),-1,extends_type_of(x1, x4))) extends_type_of_x1_x4_false
     integer(kind=merge(kind(1),-1,extends_type_of(x4, x1))) extends_type_of_x4_x1_true
     !ERROR: Actual argument for 'a=' has type 't5', but was expected to be an extensible derived or unlimited polymorphic type
     logical :: t2_9 = extends_type_of(x5, x5)