[isl++] abort() on assertion violation.
authorMichael Kruse <llvm@meinersbur.de>
Fri, 20 Apr 2018 18:59:13 +0000 (18:59 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Fri, 20 Apr 2018 18:59:13 +0000 (18:59 +0000)
commit76238aac8b139f3ac1d2346d05b1bd63316f592a
tree4e8e7204c7937427c2f3e3a787f11cf8d3180774
parent5369ea5dd53407c4d74212dd68ad974a6cb9d6c7
[isl++] abort() on assertion violation.

Before this patch, ISL_ASSERT only printed an error message to stderr.
This can be easily missed if the program continues or just fails later.
To fail-early and help error diagnostics (e.g. using bugpoint), call
abort() when an assertion does not hold.

I seem to just have forgotten to add this abort() when I originally
proposed the ISL_ASSERT macro.

Suggested-By: Eli Friedman <efriedma@codeaurora.org>
Differential Revision: https://reviews.llvm.org/D45171

llvm-svn: 330467
polly/lib/External/isl/include/isl/isl-noexceptions.h