diff options
| author | dim <dim@FreeBSD.org> | 2016-01-27 22:48:52 +0000 |
|---|---|---|
| committer | dim <dim@FreeBSD.org> | 2016-01-27 22:48:52 +0000 |
| commit | 2c8b37701007da0b1290d6550bc8cddadbb513fe (patch) | |
| tree | d30c8f2261d23e1c3239fea725fc8c13416d10ff /contrib/llvm/include | |
| parent | e94fcba08326e935f67bf7cefa2cf2e3c4cb4be5 (diff) | |
| download | FreeBSD-src-2c8b37701007da0b1290d6550bc8cddadbb513fe.zip FreeBSD-src-2c8b37701007da0b1290d6550bc8cddadbb513fe.tar.gz | |
Update llvm, clang and lldb to release_38 branch r258968.
Diffstat (limited to 'contrib/llvm/include')
| -rw-r--r-- | contrib/llvm/include/llvm/Analysis/ScalarEvolution.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/contrib/llvm/include/llvm/Analysis/ScalarEvolution.h b/contrib/llvm/include/llvm/Analysis/ScalarEvolution.h index c08335d..ef93057 100644 --- a/contrib/llvm/include/llvm/Analysis/ScalarEvolution.h +++ b/contrib/llvm/include/llvm/Analysis/ScalarEvolution.h @@ -412,7 +412,11 @@ namespace llvm { /*implicit*/ ExitLimit(const SCEV *E) : Exact(E), Max(E) {} - ExitLimit(const SCEV *E, const SCEV *M) : Exact(E), Max(M) {} + ExitLimit(const SCEV *E, const SCEV *M) : Exact(E), Max(M) { + assert((isa<SCEVCouldNotCompute>(Exact) || + !isa<SCEVCouldNotCompute>(Max)) && + "Exact is not allowed to be less precise than Max"); + } /// Test whether this ExitLimit contains any computed information, or /// whether it's all SCEVCouldNotCompute values. |
