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