[llvm-bugs] [Bug 33207] New: ubsan on Polly-ACC: downcast with insufficient space for an object

[via llvm-bugs]

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

            Bug ID: 33207
           Summary: ubsan on Polly-ACC: downcast with insufficient space
                    for an object
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Optimizer
          Assignee: polly-dev at googlegroups.com
          Reporter: llvm at meinersbur.de
                CC: llvm-bugs at lists.llvm.org

With -fsanitize=undefined, one Polly-ACC test fails.

The patch https://github.com/creachadair/imath/pull/18 might need to be applied
before, otherwise ubsan errors-out on those before hitting this.


FAIL: Polly :: GPGPU/host-statement.ll (75 of 929)
******************** TEST 'Polly :: GPGPU/host-statement.ll' FAILED
********************
Script:
--
opt  -polly-process-unprofitable  -polly-remarks-minimal  -polly-use-llvm-names
 -polly-codegen-ppcg -polly-acc-dump-code  -polly-invariant-load-hoisting=false
 -disable-output <
/mnt/c/Users/Meinersbur/src/llvm/tools/polly/test/GPGPU/host-statement.ll | 
FileCheck -check-prefix=CODE
/mnt/c/Users/Meinersbur/src/llvm/tools/polly/test/GPGPU/host-statement.ll
opt  -polly-process-unprofitable  -polly-remarks-minimal  -polly-use-llvm-names
 -polly-codegen-ppcg -polly-acc-dump-kernel-ir 
-polly-invariant-load-hoisting=false  -disable-output <
/mnt/c/Users/Meinersbur/src/llvm/tools/polly/test/GPGPU/host-statement.ll | 
FileCheck -check-prefix=KERNEL-IR
/mnt/c/Users/Meinersbur/src/llvm/tools/polly/test/GPGPU/host-statement.ll
--
Exit Code: 2

Command Output (stderr):
--
/usr/lib/gcc/x86_64-linux-gnu/5.4.0/../../../../include/c++/5.4.0/bits/forward_list.tcc:330:18:
runtime error: downcast of address 0x7fffd4a70490 with insufficient space for
an object of type 'std::forward_list<(anonymous
namespace)::StoreToLoadForwardingCandidate, std::allocator<(anonymous
namespace)::StoreToLoadForwardingCandidate> >::_Node' (aka
'_Fwd_list_node<(anonymous namespace)::StoreToLoadForwardingCandidate>')
0x7fffd4a70490: note: pointer points here
 00 00 00 00  70 e4 12 07 00 00 00 00  b0 2e 05 07 00 00 00 00  b0 2e 05 07 00
00 00 00  d8 70 05 07
              ^
FileCheck error: '-' is empty.
FileCheck command line:  FileCheck -check-prefix=CODE
/mnt/c/Users/Meinersbur/src/llvm/tools/polly/test/GPGPU/host-statement.ll

-- 
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/20170529/2f9881eb/attachment.html>