[clang-repl] [codegen] Reduce the state in TBAA. NFC for static compilation. (#98138)

[llvm-project.git] / polly / lib / External / isl / test_inputs / schedule / flat6.sc

# Check that a fixed value of one dimension in terms of the others
# does not cause loop coalescing avoidance to break down.
domain: { S[a, b] : -b >= 0 and a + 10b >= 0 and -a - b + 9 >= 0 }