From bfaf1ae30971a8f62341db03b77057be07b4799d Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Mon, 21 Dec 2015 09:09:39 +0000 Subject: ScopInfo: Return in case we found an invalid array size Without this return we still log the incorrect array size (and do not detect this scop), but we would unnecessarily continue to verify that access functions are affine. As we do not need to do this, we can return right ahead and consequently safe compile time. This issue was found by inspection. llvm-svn: 256139 --- polly/lib/Analysis/ScopDetection.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'polly/lib/Analysis/ScopDetection.cpp') diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index 31f8d102573..c50efbe864e 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -643,7 +643,7 @@ bool ScopDetection::hasValidArraySizes(DetectionContext &Context, } } if (hasScalarDepsInsideRegion(DelinearizedSize, &CurRegion)) - invalid( + return invalid( Context, /*Assert=*/true, DelinearizedSize, Context.Accesses[BasePointer].front().first, BaseValue); } -- cgit v1.2.3