[LLVMbugs] [Bug 8896] New: dragonegg: Assertion `bitPosition < getBitWidth() && "Bit position out of bounds!"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: dragonegg: Assertion `bitPosition < getBitWidth() &&
                    "Bit position out of bounds!"' 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


We've not done any dragonegg testing before today.  If it's not ready for a bit
of stress testing just say.

The -v output doesn't say the dragonegg/LLVM versions; they are 122764 and
122768.

[regehr at gamow tmp439]$ gcc-4.5
-fplugin=/home/regehr/z/compiler-source/dragonegg/dragonegg.so  -v         
Using built-in specs.
COLLECT_GCC=gcc-4.5
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.5.3/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --prefix=/home/regehr/z --enable-languages=c,c++
--program-suffix=-4.5 --enable-plugin --enable-lto
Thread model: posix
gcc version 4.5.3 20110103 (prerelease) (GCC) 

[regehr at gamow tmp439]$ gcc-4.5
-fplugin=/home/regehr/z/compiler-source/dragonegg/dragonegg.so  -O2 small.c

small.c:17:1: warning: overflow in implicit constant conversion
small.c: In function 'func_91':
small.c:31:6: warning: comparison between pointer and integer
cc1: APInt.cpp:486: bool llvm::APInt::operator[](unsigned int) const: Assertion
`bitPosition < getBitWidth() && "Bit position out of bounds!"' failed.
Stack dump:
0.    Running pass 'Combine redundant instructions' on function '@func_91'
gcc-4.5: Internal error: Aborted (program cc1)
Please submit a full bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[regehr at gamow tmp439]$ cat small.c


static short foo (short left, int right)
{
  return left || right || right >= 0 ? left : left >> right;
}

static unsigned char bar (unsigned long ui1, unsigned long ui2)
{
  ui2 ? : (ui1 % ui2);
  return 0;
}

short *g_22;
short g_38;

short g_54[7] = {
  0x1F32AFCBL
};

short **volatile g = &g_22;

short g_265[4] = {
  0x4F2AL
};

int func_14 (short*, short*, short*, int);

void func_91 (int * const p_92)
{
  short l_125;
  short *l_264 = &l_125;
  *g >= bar (g_38,
         (1
          && *p_92) ^
         foo (func_14 (l_264, &g_54[0], &g_54[6], 0), 0x9DADCB93L)),
    g_265[2];
}

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