[LLVMbugs] [Bug 3774] New: clang: ANALYZER_STORE_MODEL=region cast failures

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: clang: ANALYZER_STORE_MODEL=region cast failures
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu


I tested ANALYZER_STORE_MODEL=region, and I got some failures (with the default
store model I get no failures).

I know this feature is not yet ready, if you'd rather not receive bugreports
about it yet, please tell me.

$ grep clang: /tmp/scan-build-2009-03-10-3/failures/*.stderr.txt|cut -f2-
-d:|sort -u
clang: APInt.cpp:441: llvm::APInt llvm::APInt::operator+(const llvm::APInt&) 
const: Assertion `BitWidth == RHS.BitWidth && "Bit widths must be the same"'
failed.

clang: GRExprEngine.cpp:2835: clang::SVal
clang::GRExprEngine::EvalBinOp(clang::BinaryOperator::Opcode, clang::SVal,
clang::SVal): Assertion `Op == BinaryOperator::Add || Op ==
BinaryOperator::Sub' failed.

clang: /home/edwin/llvm-svn/llvm/include/llvm/ADT/APSInt.h:226: llvm::APSInt
llvm::APSInt::operator+(const llvm::APSInt&) const: Assertion `IsUnsigned ==
RHS.IsUnsigned && "Signedness mismatch!"' failed.

clang: /home/edwin/llvm-svn/llvm/include/llvm/Support/Casting.h:199: typename
llvm::cast_retty<To, From>::ret_type llvm::cast(const Y&) [with X =
clang::ElementRegion, Y = const clang::MemRegion*]: Assertion `isa<X>(Val) &&
"cast<Ty>() argument of incompatible type!"' failed.

clang: /home/edwin/llvm-svn/llvm/include/llvm/Support/Casting.h:199: typename
llvm::cast_retty<To, From>::ret_type llvm::cast(const Y&) [with X =
clang::nonloc::CompoundVal, Y = clang::SVal]: Assertion `isa<X>(Val) &&
"cast<Ty>() argument of incompatible type!"' failed.

clang: RegionStore.cpp:562: virtual
clang::SVal<unnamed>::RegionStoreManager::getSizeInElements(const
clang::GRState*, const clang::MemRegion*): Assertion `0 && "Other regions are
not supported yet."' failed.


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