[LLVMbugs] [Bug 8456] New: Static analyzer crashes on handling "assert" with a constant parameter

[bugzilla-daemon at llvm.org]

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

           Summary: Static analyzer crashes on handling "assert" with a
                    constant parameter
           Product: clang
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: david.majnemer at gmail.com
                CC: llvmbugs at cs.uiuc.edu


These two test cases:

#include <cassert>
int main(int argc, char * argv[])
{
    assert(true);
    return 0;
}

and

#include <cassert>
int main(int argc, char * argv[])
{
    assert(false);
    return 0;
}

crash clang++ when invoked with "clang++ --analyze test.cc"

"clang++ --version" reports:
clang version 2.9 (trunk 117247)
Target: x86_64-apple-darwin10
Thread model: posix

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