[LLVMbugs] [Bug 20659] New: ICE in alpha.core.IdenticalExpr : Assertion `BitWidth == RHS.BitWidth

[bugzilla-daemon at llvm.org]

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

            Bug ID: 20659
           Summary: ICE in alpha.core.IdenticalExpr : Assertion `BitWidth
                    == RHS.BitWidth
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: dimhen at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

$ /usr/local/llvm/bin/clang -v
clang version 3.6.0 (trunk 215617)
Target: x86_64-unknown-linux-gnu
Thread model: posix
Found candidate GCC installation: /usr/lib/gcc/i686-redhat-linux/4.8.3
Found candidate GCC installation: /usr/lib/gcc/x86_64-redhat-linux/4.8.3
Selected GCC installation: /usr/lib/gcc/x86_64-redhat-linux/4.8.3
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64

$ cat x.i
int a, b;
long c;
int fn1() {
  goto done;
  if (0) {
    b -= a;
    c = 0;
  } else {
    b -= a;
    c = 0xFFFFFFFFFFFFFFFF;
  }
done:
  return 0;
}

$ /usr/local/llvm/bin/clang -cc1 -analyze -analyzer-checker
alpha.core.IdenticalExpr -x c x.i
clang: /home/dimhen/src/llvm/include/llvm/ADT/APInt.h:969: bool
llvm::APInt::operator==(const llvm::APInt&) const: Assertion `BitWidth ==
RHS.BitWidth && "Comparison requires equal bit widths"' failed.
0  clang           0x000000000204cbb2 llvm::sys::PrintStackTrace(_IO_FILE*) +
34
1  clang           0x000000000204c7d4
2  libpthread.so.0 0x0000003998c0f750
3  libc.so.6       0x0000003998835c39 gsignal + 57
4  libc.so.6       0x0000003998837348 abort + 328
5  libc.so.6       0x000000399882eb96
6  libc.so.6       0x000000399882ec42
7  clang           0x0000000000e91aa5
8  clang           0x0000000000e90f96
9  clang           0x0000000000e90f96
10 clang           0x0000000000e91524
11 clang           0x0000000000e91ed1
12 clang           0x0000000000e979e7
13 clang           0x0000000000e92c3d
14 clang           0x0000000000e94c2f
15 clang           0x0000000000e932ad
16 clang           0x0000000000e98ca5
17 clang           0x0000000000e9a40b
18 clang           0x0000000000fa891d
clang::ento::CheckerManager::runCheckersOnASTBody(clang::Decl const*,
clang::ento::AnalysisManager&, clang::ento::BugReporter&) + 125
19 clang           0x0000000000e55922
20 clang           0x0000000000e61c36
21 clang           0x0000000000e575ea
22 clang           0x0000000000e62aed
23 clang           0x00000000009e1303 clang::ParseAST(clang::Sema&, bool, bool)
+ 483
24 clang           0x00000000006930b6 clang::FrontendAction::Execute() + 118
25 clang           0x00000000006710c0
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 320
26 clang           0x00000000006593be
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 2014
27 clang           0x0000000000650560 cc1_main(char const**, char const**, char
const*, void*) + 1040
28 clang           0x0000000000657ff6 main + 8070
29 libc.so.6       0x0000003998821d65 __libc_start_main + 245
30 clang           0x000000000064f2c9
Stack dump:
0.    Program arguments: /usr/local/llvm/bin/clang -cc1 -analyze
-analyzer-checker alpha.core.IdenticalExpr -x c x.i 
1.    <eof> parser at end of file
Aborted (core dumped)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140814/f25cc7e5/attachment.html>