diff options
| author | Tobias Grosser <tobias@grosser.es> | 2015-12-21 09:09:39 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2015-12-21 09:09:39 +0000 |
| commit | bfaf1ae30971a8f62341db03b77057be07b4799d (patch) | |
| tree | 15d93649757217c5bb054d15fcdad788b4abdf9e /polly/lib/Analysis/ScopDetection.cpp | |
| parent | 8c6c95ad81088b7b04677eb647c5a58af9467f12 (diff) | |
| download | bcm5719-llvm-bfaf1ae30971a8f62341db03b77057be07b4799d.tar.gz bcm5719-llvm-bfaf1ae30971a8f62341db03b77057be07b4799d.zip | |
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
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
| -rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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<ReportNonAffineAccess>( + return invalid<ReportNonAffineAccess>( Context, /*Assert=*/true, DelinearizedSize, Context.Accesses[BasePointer].front().first, BaseValue); } |

