[LLVMbugs] [Bug 15703] New: clang-analyzer 273 crash with CPP file

[bugzilla-daemon at llvm.org]

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

            Bug ID: 15703
           Summary: clang-analyzer 273 crash with CPP file
           Product: clang
           Version: trunk
          Hardware: Macintosh
                OS: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: puurtuur at me.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10323
  --> http://llvm.org/bugs/attachment.cgi?id=10323&action=edit
Xcode Transcript (invocation and stacktrace)

I'm running the new v273 analyser in Xcode and got 2 distinct problems, this is
the first. A failed assert. See 3 attached files.

Snip from first file for context:

Assertion failed: (T->isIntegerType() || Loc::isLocType(T)), function
getAPSIntType, file
/Volumes/Data/Users/kremenek/checker-build/checker-273-src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h,
line 96.0
clang             0x000000010092fe48 llvm::sys::PrintStackTrace(__sFILE*) + 401
clang             0x00000001009303b4 SignalHandler(int) + 5642
libsystem_c.dylib 0x00007fff8f5cf94a _sigtramp + 263
libsystem_c.dylib 000000000000000000 _sigtramp + 18897323044
clang             0x0000000100930166 abort + 225
clang             0x0000000100930141 __assert_rtn + 816
clang             0x0000000101529e92
clang::ento::BasicValueFactory::getAPSIntType(clang::QualType) const + 3387
clang             0x00000001015425e2
clang::ento::SimpleConstraintManager::assumeSymRel(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::SymExpr const*, clang::BinaryOperatorKind, llvm::APSInt
const&) + 988
clang             0x000000010154235a
clang::ento::SimpleConstraintManager::assumeAux(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::NonLoc, bool) + 14669
clang             0x00000001015419a5
clang::ento::SimpleConstraintManager::assume(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::NonLoc, bool) + 8510
clang             0x00000001015418ca
clang::ento::SimpleConstraintManager::assume(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::DefinedSVal, bool) + 9011
clang             0x00000001014f7d24
clang::ento::ConstraintManager::assumeDual(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
const>, clang::ento::DefinedSVal) + 8412
clang             0x00000001014f3592
clang::ento::ProgramState::assume(clang::ento::DefinedOrUnknownSVal) const +
11413
clang             0x00000001014ee5f1
clang::ento::ExprEngine::evalEagerlyAssumeBinOpBifurcation(clang::ento::ExplodedNodeSet&,
clang::ento::ExplodedNodeSet&, clang::Expr const*) + 40114
clang             0x00000001014ecb22 clang::ento::ExprEngine::Visit(clang::Stmt
const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) + 822615
clang             0x00000001014e94b9
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::ExplodedNode*) + 80916
clang             0x00000001014e0209
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int,
clang::ento::ExplodedNode*) + 13717
clang             0x00000001014dfc75
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 38918
...etc

-- 
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/20130408/86566e93/attachment.html>