1; RUN: opt %loadPolly -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-simplify -analyze < %s | FileCheck %s -match-full-lines
2;
3; for (int j = 0; j < n; j += 1) {
4;   A[0] = 42.0;
5; }
6;
7define void @emptyaccessdomain(i32 %n, double* noalias nonnull %A) {
8entry:
9  br label %for
10
11for:
12  %j = phi i32 [0, %entry], [%j.inc, %inc]
13  %j.cmp = icmp slt i32 %j, %n
14  br i1 %j.cmp, label %body, label %exit
15
16    body:
17      store double 42.0, double* %A
18      br label %inc
19
20inc:
21  %j.inc = add nuw nsw i32 %j, 1
22  br label %for
23
24exit:
25  br label %return
26
27return:
28  ret void
29}
30
31
32; CHECK: Statistics {
33; CHECK:     Accesses with empty domains removed: 1
34; CHECK:     Stmts removed: 1
35; CHECK: }
36
37; CHECK:      After accesses {
38; CHECK-NEXT: }
39