[polly] r252725 - ScopDetection: Do not allow blocks to reference operands in error blocks

[Johannes Doerfert via llvm-commits]

On 11/11, Tobias Grosser wrote:
> On 11/11/2015 06:14 PM, Johannes Doerfert wrote:
> >Before, blocks only reachable via error blocks were not part of the SCoP
> >either and consequently there was no code generated. Did that change?
> 
> There is still no code generated, but we now model such blocks as we need
> their domains when propagating iteration domains.
I get that, but this changes the behaviour in a non-obvious way. We
should at least keep that in mind. If necessary we could remove the statements
again after we built the domains or change the domain generation to look
if a branch target is an error block and to ignore that. Anyway, I just
wanted to clarify how we handle error blocks now.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 213 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151111/9469243a/attachment.sig>