[LLVMbugs] [Bug 6356] New: Violated assertion "unsigned range includes negative?"

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Violated assertion "unsigned range includes negative?"
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: major
          Priority: P2
         Component: Semantic Analyzer
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: bagnara at cs.unipr.it
                CC: llvmbugs at cs.uiuc.edu


This is a reduced testcase coming from the Linux kernel:

$ cat bug8.c 
void foo(unsigned int ui) {
  long l = 2;
  (ui -= l) < 3;
}
$ gcc -c bug8.c
$ icc -c bug8.c
$ clang -c -m64 bug8.c
clang: SemaChecking.cpp:2030: void clang::Sema::CheckSignCompare(clang::Expr*,
clang::Expr*, clang::SourceLocation, const clang::PartialDiagnostic&, bool):
Assertion `unsignedRange.NonNegative && "unsigned range includes negative?"'
failed.
0  clang           0x00000000012f2d9a
1  clang           0x00000000012f2c13
2  libpthread.so.0 0x0000003b87e0f0f0
3  libc.so.6       0x0000003b872326c5 gsignal + 53
4  libc.so.6       0x0000003b87233ea5 abort + 373
5  libc.so.6       0x0000003b8722b7b5 __assert_fail + 245
6  clang           0x000000000067eb8b
7  clang           0x000000000071ecb8
8  clang           0x00000000007233ad
9  clang           0x000000000072444a
10 clang           0x0000000000724256
11 clang           0x00000000009f55f8
12 clang           0x00000000009f47b5
13 clang           0x00000000009f4093
14 clang           0x00000000009ce387
15 clang           0x00000000009cff92
16 clang           0x00000000009d504d
17 clang           0x00000000009dad4c
18 clang           0x00000000009dfe65
19 clang           0x00000000009da841
20 clang           0x00000000009da8ab
21 clang           0x00000000009da203
22 clang           0x00000000009d9ad1
23 clang           0x0000000000665a41
24 clang           0x000000000042dbfe
25 clang           0x000000000042d88c
26 clang           0x0000000000417e42
27 clang           0x0000000000407ef9
28 clang           0x000000000040c600 main + 244
29 libc.so.6       0x0000003b8721eb1d __libc_start_main + 253
30 clang           0x0000000000406b19
Stack dump:
0.      Program arguments: /home/roberto/llvm/Debug/bin/clang -cc1 -triple
x86_64-unknown-linux-gnu -S -disable-free -main-file-name bug8.c
-mrelocation-model static -mdisable-fp-elim -munwind-tables -target-cpu x86-64
-resource-dir /home/roberto/llvm/Debug/lib/clang/1.1 -fmessage-length 80
-fgnu-runtime -fdiagnostics-show-option -fcolor-diagnostics -o /tmp/cc-hxSyGu.s
-x c bug8.c 
1.      bug8.c:3:16: current parser token ';'
2.      bug8.c:1:27: parsing function body 'foo'
3.      bug8.c:1:27: in compound statement ('{}')
clang: error: compiler command failed due to signal 6 (use -v to see
invocation)
$


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