[NFC] Add flag to disable error block assumptions
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 17 Nov 2016 22:16:35 +0000 (22:16 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 17 Nov 2016 22:16:35 +0000 (22:16 +0000)
commit50dfbc572aff84d736d81701446d34b1c05ab9ef
tree5b84a00f5c1036f71a4abba53203a7aca3905287
parentc97654681e652f2d1acfe6f8e1d22214ef20d8de
[NFC] Add flag to disable error block assumptions

The declaration as an "error block" is currently aggressive and not very
smart. This patch allows to disable error blocks completely. This might
be useful to prevent SCoP expansion to a point where the assumed context
becomes infeasible, thus the SCoP has to be discarded.

llvm-svn: 287271
polly/lib/Support/ScopHelper.cpp