restore checks

Author: SusanTan

flang/test/Lower/derived-types.f90

@@ -33,6 +33,10 @@ subroutine derived_dummy(some_r, some_c2)
 subroutine local_derived()
   type(r) :: some_r
   type(c2) :: some_c2
+  ! CHECK-DAG: fir.alloca !fir.type<_QMdTc2{ch_array:!fir.array<20x30x!fir.char<1,10>>}>
+  ! CHECK-DAG: fir.alloca !fir.type<_QMdTr{x:f32}>
+  print *, some_c2%ch_array(1,1)
+  print *, some_r%x
 end subroutine
 
 ! CHECK-LABEL: func @_QMdPsaved_derived(

flang/test/Lower/do_loop_unstructured.f90

@@ -235,14 +235,16 @@ subroutine nested_structured_in_unstructured()
 subroutine unstructured_do_concurrent
   logical :: success
   do concurrent (i=1:10) local(success)
+    success = .false.
     error stop "fail"
   enddo
 end
 ! CHECK-LABEL: func.func @_QPunstructured_do_concurrent
 ! CHECK:         %[[ITER_VAR:.*]] = fir.alloca i32
-
 ! CHECK:       ^[[HEADER]]:
 ! CHECK:         %{{.*}} = fir.load %[[ITER_VAR]] : !fir.ref<i32>
 ! CHECK:         cf.cond_br %{{.*}}, ^[[BODY:.*]], ^[[EXIT:.*]]
+! CHECK:       ^[[BODY]]:
+! CHECK-NEXT:    %{{.*}} = fir.alloca !fir.logical<4> {bindc_name = "success", {{.*}}}
 ! CHECK:       ^[[EXIT]]:
 ! CHECK:    return