[LLVMbugs] [Bug 6862] New: ice: Type is not SCEVable

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=6862

           Summary: ice: Type is not SCEVable
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu, chenyang at cs.utah.edu


Created an attachment (id=4692)
 --> (http://llvm.org/bugs/attachment.cgi?id=4692)
failure inducing C code

This is an odd case-- slightly different versions of the same test input were
producing several different error messages and also segfaults.  So perhaps it's
a memory safety problem leading to data structure corruption.

regehr at john-home:~/volatile/bugs/tmp313$ clang -O1 small.c
small.c:70:2: warning: implicit declaration of function 'func_17' is invalid in
      C99 [-Wimplicit-function-declaration]
        func_17 ((((*g_16) >=
        ^
small.c:69:15: warning: incompatible integer to pointer conversion assigning to
      'int32_t *' from 'int'
      (*l_44) =
              ^
clang: ScalarEvolution.cpp:2372: const llvm::Type*
llvm::ScalarEvolution::getEffectiveSCEVType(const llvm::Type*) const: Assertion
`isSCEVable(Ty) && "Type is not SCEVable!"' failed.
0  clang 0x08fc5438
Stack dump:
0.    Program arguments:
/home/regehr/z/compiler-install/llvm-gcc-r101617-install/bin/clang -cc1 -triple
i386-pc-linux-gnu -S -disable-free -main-file-name small.c -mrelocation-model
static -mdisable-fp-elim -mconstructor-aliases -target-cpu pentium4
-resource-dir
/home/regehr/z/compiler-install/llvm-gcc-r101617-install/lib/clang/1.5 -O1
-ferror-limit 19 -fmessage-length 80 -fgnu-runtime -fdiagnostics-show-option
-fcolor-diagnostics -o /tmp/cc-wAmn5u.s -x c small.c 
1.    <eof> parser at end of file
2.    Per-module optimization passes
3.    Running pass 'CallGraph Pass Manager' on module 'small.c'.
4.    Running pass 'Loop Pass Manager' on function '@func_10'
5.    Running pass 'Canonicalize Induction Variables' on basic block
'%for.body17'
clang: error: compiler command failed due to signal 6 (use -v to see
invocation)

regehr at john-home:~/volatile/bugs/tmp313$ clang -v

clang version 1.5 (trunk 101617)
Target: i386-pc-linux-gnu
Thread model: posix

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.