[llvm-bugs] [Bug 33197] New: polly: runtime errors in isl / imath.c (asan/ubsan)

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=33197

            Bug ID: 33197
           Summary: polly: runtime errors in isl / imath.c (asan/ubsan)
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: isl
          Assignee: polly-dev at googlegroups.com
          Reporter: matthias.krueger at famsik.de
                CC: llvm-bugs at lists.llvm.org

polly @ 985ba6848ee4070befa2f55952efa0c47db5b997 / 
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@304075
91177308-0d34-0410-b5e6-96231b3b80d8


I was running the polly test-suit after compiling it with
asan+ubsan+Og+g+expensive-checks (tbh I don't think the expensive checks are
relevant here) resulting in 275 unexpected failures.

The failures boil down to these 3 runtime errors inside isl reported by UBSan:

llvm/tools/polly/lib/External/isl/imath/imath.c:1638:29: runtime error:
negation of -9223372036854775808 cannot be represented in type 'mp_small' (aka
'long'); cast to an unsigned type to negate this value to itself
llvm/tools/polly/lib/External/isl/imath/imath.c:2514:22: runtime error: left
shift of 1 by 31 places cannot be represented in type 'int'
llvm/tools/polly/lib/External/isl/imath/imath.c:2682:28: runtime error: left
shift of 1 by 31 places cannot be represented in type 'int'

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170528/8abd7d65/attachment.html>