[LLVMbugs] [Bug 8250] New: Assertion `(L != U || (L.isMaxValue() || L.isMinValue())) && "Lower == Upper, but they aren't min or max value!"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: Assertion `(L != U || (L.isMaxValue() ||
                    L.isMinValue())) && "Lower == Upper, but they aren't
                    min or max 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 john-home:~/volatile/bugs/tmp335$ clang -v
clang version 2.9 (trunk 114920)
Target: i386-pc-linux-gnu
Thread model: posix
regehr at john-home:~/volatile/bugs/tmp335$ clang -c -w -O1 small.c
clang: ConstantRange.cpp:49: llvm::ConstantRange::ConstantRange(const
llvm::APInt&, const llvm::APInt&): Assertion `(L != U || (L.isMaxValue() ||
L.isMinValue())) && "Lower == Upper, but they aren't min or max value!"'
failed.
0  clang 0x093a2e78
Stack dump:
0.      Program arguments:
/home/regehr/z/compiler-install/llvm-gcc-r114920-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
-target-linker-version 2.20.1 -resource-dir
/home/regehr/z/compiler-install/llvm-gcc-r114920-install/lib/clang/2.9 -O1 -w
-ferror-limit 19 -fmessage-length 88 -fgnu-runtime -fdiagnostics-show-option
-fcolor-diagnostics -o /tmp/cc-4rqTn4.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 'Value Propagation' on function '@uint83'
clang: error: clang frontend command failed due to signal 6 (use -v to see
invocation)
regehr at john-home:~/volatile/bugs/tmp335$ cat small.c
typedef int int32_t;
typedef unsigned char uint8_t;
struct S0
{
  uint8_t f0;
  uint8_t f3;
};
struct S1
{
  uint8_t f0;
  uint8_t f1;
  struct S0 f2;
};
uint8_t g_2;
struct S0 g_24 = {
  0x8
};

void uint83 (struct S0 **p_64, uint8_t ** p_65, uint8_t p_66, uint8_t p_67)
{
  uint8_t t_84;
  int32_t t_85;
  int32_t t_86;
  uint8_t t_92;
  uint8_t t_93;
  struct S1 l_91 = {
    0x10, 0, 1
  };
  if (g_24.f0 ==
      func_69 (g_24.f0, t_84 = g_2, 0 == 1 ? : -t_84
               && g_24.f3, t_85 = func_87 (&g_24, 0), t_86 = (uint8_t) (t_92 =
                                                                        g_24.
                                                                        f0,
                                                                        t_93 =
                                                                        l_91.
                                                                        f2.f0,
                                                                        t_93
                                                                        ==
                                                                        0 ?
                                                                        t_92
                                                                        :
                                                                        (t_92
                                                                         %
                                                                        
t_93)),
               t_85 > 0 && t_86 > 0 && t_85 > 2147483647 - t_86 || 0 < 0
               && 0 < 0 ? t_85 : +0 ? : +l_91.f1))
    {
    }
}

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