[LLVMbugs] [Bug 9831] New: Assertion `(*I)->hasAtLeastOneValue() && "Split interval has no value"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: Assertion `(*I)->hasAtLeastOneValue() && "Split
                    interval has no value"' failed.
           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


regehr at home:~/volatile/bugs/tmp026$ clang -O3 -w small.c
clang: SplitKit.cpp:993: void
llvm::SplitEditor::finish(llvm::SmallVectorImpl<unsigned int>*): Assertion
`(*I)->hasAtLeastOneValue() && "Split interval has no value"' failed.
0  clang 0x09646098
Stack dump:
0.    Program arguments:
/mnt/z/z/compiler-install/llvm-gcc-r130740-install/bin/clang -cc1 -triple
i386-pc-linux-gnu -emit-obj -disable-free -main-file-name small.c
-mrelocation-model static -mdisable-fp-elim -masm-verbose -mconstructor-aliases
-target-cpu pentium4 -target-linker-version 2.20.51 -momit-leaf-frame-pointer
-resource-dir
/mnt/z/z/compiler-install/llvm-gcc-r130740-install/bin/../lib/clang/3.0 -O3 -w
-ferror-limit 19 -fmessage-length 80 -fgnu-runtime -fdiagnostics-show-option
-fcolor-diagnostics -o /tmp/cc-CZbR9X.o -x c small.c 
1.    <eof> parser at end of file
2.    Code generation
3.    Running pass 'Function Pass Manager' on module 'small.c'.
4.    Running pass 'Greedy Register Allocator' on function '@func_47'
clang: error: unable to execute command: Aborted
clang: error: clang frontend command failed due to signal 1 (use -v to see
invocation)
regehr at home:~/volatile/bugs/tmp026$ clang -v
clang version 3.0 (trunk 130740)
Target: i386-pc-linux-gnu
Thread model: posix
regehr at home:~/volatile/bugs/tmp026$ cat small.c
int
safe_6 (char si1, int si2)
{
  return si2 == 0 || si1 && si2 == 1 ? 0 : (si1 / 0);
}

int
safe_43 (int ui1, int ui2)
{
  return ui1;
}

int
safe_52 (short ui1, int ui2)
{
  return ui1;
}

struct S0
{
  int f3:0 ? 0 : 24;
  int f4:1;
  int f5;
int f6:1};
int g_77;
int g_207[0][0][1] = {
};

struct S0 *g_220;
int g_229;
struct S0 **g_274;
int
func_47 (int *p_48, int p_51)
{
  for (0; 1; 0)
    {
      int *l_238 = 1;
      struct S0 l_240[1] = {
      };
      struct S0 l_244 = {
    0
      };
      struct S0 l_252 = {
    0
      };
      if (*l_238)
    {
      *g_220 = l_240[0];
      l_244 = l_240[0];
      for (g_229 = 0; g_229 <= 2; g_229 += 1)
        l_244.f3 &= g_207[0][g_77][p_51] = safe_6 (l_244.f6, p_51) != 1;
    }
      if (l_244.f3)
    {
      l_252.f4 = safe_43 (l_244.f6, 1);
      for (0; l_252.f5 <= 0; l_252.f5 = safe_52 (l_252.f5, 1))
        {
        }
    }
      *g_274 = &l_240[1];
    }
}

-- 
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.