; removed from the SCoP, the argument is not available. Polly currently ; does not consider that %idxprom itself is an error block as well. ; This also tests that ...
; CHECK-NEXT: [N, valid_val] -> { Stmt_for_body[i0] -> MemRef_valid[0] }; ; CHECK-NEXT: Execution Context: [N, valid_val] -> { : N > 0 } ; CHECK-NEXT: ReadAccess ...