[LLVMbugs] [Bug 4123] New: clang: Assertion `New != this && "this->replaceAllUsesWith( this) is NOT valid!"' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: clang: Assertion `New != this && "this-
                    >replaceAllUsesWith(this) is NOT valid!"' failed.
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu, jxyang at cs.utah.edu


Seen using r70531 on Ubuntu Hardy on x86.

regehr at john-home:~/volatile/tmp157$ clang -O2 -w small.c
clang-cc: Value.cpp:328: void llvm::Value::replaceAllUsesWith(llvm::Value*):
Assertion `New != this && "this->replaceAllUsesWith(this) is NOT valid!"'
failed.
0   clang-cc 0x09021428
Stack dump:
0.      Program arguments:
/home/regehr/z/tmp/llvm-gcc-r70531-install/bin/../libexec/clang-cc -triple
i386-pc-linux-gnu -S -disable-free -main-file-name small.c --relocation-model
static --disable-fp-elim --unwind-tables=0 --fmath-errno=1 -O2 -w
-fdiagnostics-show-option -o /tmp/cc-wxGkRp.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'.

regehr at john-home:~/volatile/tmp157$ cat small.c

static char safe_sub_func_uint8_t_u_u (char _ui1, char _ui2)
{
  return _ui1 - _ui2;
}

struct S0
{
  int f0;
};

struct S1
{
  char f0;
  struct S0 f3;
};

struct S2
{
  struct S1 f0;
  int f1;
};

struct S1 func_120 (int p_121, int16p_122, uint32p_123, uint32p_124,
                    struct S2 p_125, struct S1 p_127, uint32p_128);

struct S2 func_96 (int p_98, int16p_99, int16p_101, int16p_102, struct S1
p_103,
                   int16p_104, int16p_105, int16p_106)
{
  for (p_103.f0;; p_103.f0)
    {
    }
}

struct S1 func_113 (char p_114)
{
  struct S2 l_232 = {
    {
     }
    , 5L, 0x65B3L
  };
  struct S2 l_235 = {
    {
     }
    , 0L
  };
  struct S1 l_256 = {
  };
  struct S1 l_263 = {
  };
  struct S1 l_281 = {
  };
  if (func_9func82
      (func_96
       (l_256.f3.f0, 1, 1, 1,
        func_120 (l_235.f1, p_114, p_114, l_263.f0, l_232, l_281, 1), 1, 1,
        1)), 1)
    {
      for (1; 1; p_114 = safe_sub_func_uint8_t_u_u (p_114, 0))
        {
        }
    }
}


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