bound.c: verify_point: handle errors in verification
commitcba3bb6764b5b4b5c85285d65e3dab8c3c8a9fe3
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 8 Aug 2016 10:03:14 +0000 (8 12:03 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Jan 2017 09:31:04 +0000 (5 10:31 +0100)
tree2d5ea8947d0248072931b3c82b5722ca8b923b64
parent9fb1268365846fc95041cc48d9a21b6dea34f652
bound.c: verify_point: handle errors in verification

Errors that occurred during the comparison of isl_val objects
would get silently ignored.  Treat them as errors.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
bound.c