[flang-commits] [flang] [flang] Characterize allocation based on MemAlloc effect instead of pattern matching (PR #166806)

[Slava Zakharin via flang-commits]

================
@@ -244,9 +244,5 @@ subroutine unstructured_do_concurrent
 ! 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", {{.*}}}
----------------
vzakhari wrote:

We need some fake use here (e.g. a store into `success`).

https://github.com/llvm/llvm-project/pull/166806