test/GPGPU/invalid-kernel-assert-verifymodule.ll also requires assertions

llvm-svn: 311423
This commit is contained in:
Tobias Grosser 2017-08-22 03:12:29 +00:00
parent 5509c73a14
commit 6683c81af8
2 changed files with 1 additions and 2 deletions

View File

@ -182,7 +182,6 @@ static isl::union_map computeScalarReachingDefinition(isl::union_map Schedule,
isl::union_set Writes,
bool InclDef,
bool InclRedef) {
// { DomainWrite[] -> Element[] }
isl::union_map Defs = isl::union_map::from_domain(Writes);

View File

@ -4,7 +4,7 @@
; Make sure that if -polly-acc-fail-on-verify-module-failure is on, we actually
; fail on an illegal module.
; REQUIRES: pollyacc
; REQUIRES: pollyacc, asserts
; XFAIL: *
;
; void foo(long A[1024], long B[1024]) {