[LLVMbugs] [Bug 7831] New: Assertion in StreamChecker::CheckDoubleClose

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Thu Aug 5 14:07:01 PDT 2010


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

           Summary: Assertion in StreamChecker::CheckDoubleClose
           Product: clang
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tcare at apple.com
                CC: xuzhongxing at gmail.com, llvmbugs at cs.uiuc.edu,
                    ioripolo at gmail.com, tcare at apple.com


Created an attachment (id=5336)
 --> (http://llvm.org/bugs/attachment.cgi?id=5336)
Preprocessed file

Appearing frequently in scan-build over git trunk.

Trace:
ANALYZE: builtin/merge.c merge_name
Assertion failed: (SS), function CheckDoubleClose, file
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/StreamChecker.cpp,
line 376.

Program received signal SIGABRT, Aborted.
0x00007fff80a589d6 in __kill ()
(gdb) bt
#0  0x00007fff80a589d6 in __kill ()
#1  0x00007fff80af8fea in abort ()
#2  0x00007fff80ae5fb0 in __assert_rtn ()
#3  0x00000001007c284b in (anonymous
namespace)::StreamChecker::CheckDoubleClose (this=0x104cea7d0, CE=0x1058bcf98,
state=0x1059990c0, C=@0x7fff5fbf9e40) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/StreamChecker.cpp:376
#4  0x00000001007c16c1 in (anonymous namespace)::StreamChecker::Fclose
(this=0x104cea7d0, C=@0x7fff5fbf9e40, CE=0x1058bcf98) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/StreamChecker.cpp:250
#5  0x00000001007c116c in (anonymous namespace)::StreamChecker::EvalCallExpr
(this=0x104cea7d0, C=@0x7fff5fbf9e40, CE=0x1058bcf98) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/StreamChecker.cpp:165
#6  0x000000010072dc3c in clang::Checker::GR_EvalCallExpr (this=0x104cea7d0,
Dst=@0x7fff5fbfa028, Builder=@0x7fff5fbfb5c8, Eng=@0x7fff5fbfb9f0,
CE=0x1058bcf98, Pred=0x1059990e8, tag=0x1021f5c60) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/include/clang/Checker/PathSensitive/Checker.h:219
#7  0x00000001007108f4 in clang::GRExprEngine::CheckerEvalCall
(this=0x7fff5fbfb9f0, CE=0x1058bcf98, Dst=@0x7fff5fbfa478, Pred=0x1059990e8) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/GRExprEngine.cpp:285
#8  0x000000010071a062 in clang::GRExprEngine::VisitCall (this=0x7fff5fbfb9f0,
CE=0x1058bcf98, Pred=0x105959610, AI={I = 0x1058bcfd0}, AE={I = 0x1058bcfd8},
Dst=@0x7fff5fbfb240, asLValue=false) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/GRExprEngine.cpp:1997
#9  0x0000000100714d23 in clang::GRExprEngine::Visit (this=0x7fff5fbfb9f0,
S=0x1058bcf98, Pred=0x105959610, Dst=@0x7fff5fbfb240) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/GRExprEngine.cpp:772
#10 0x0000000100713634 in clang::GRExprEngine::ProcessStmt
(this=0x7fff5fbfb9f0, CE={Data = {Value = 4388016024}},
builder=@0x7fff5fbfb5c8) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/GRExprEngine.cpp:608
#11 0x000000010070bd0a in clang::GRCoreEngine::ProcessStmt
(this=0x7fff5fbfba00, E={Data = {Value = 4388016024}}, Builder=@0x7fff5fbfb5c8)
at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/include/clang/Checker/PathSensitive/GRCoreEngine.h:90
#12 0x0000000100708606 in clang::GRCoreEngine::HandlePostStmt
(this=0x7fff5fbfba00, L=@0x7fff5fbfb780, B=0x105908168, StmtIdx=1,
Pred=0x105959610) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/GRCoreEngine.cpp:385
#13 0x0000000100707d40 in clang::GRCoreEngine::ExecuteWorkList
(this=0x7fff5fbfba00, L=0x104cea870, Steps=149589, InitState=0x0) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/GRCoreEngine.cpp:197
#14 0x00000001006590fa in clang::GRExprEngine::ExecuteWorkList
(this=0x7fff5fbfb9f0, L=0x104cea870, Steps=150000) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/include/clang/Checker/PathSensitive/GRExprEngine.h:117
#15 0x00000001006539b6 in ActionGRExprEngine (C=@0x104c0ded0, mgr=@0x104c0f0e0,
D=0x1058b68a0, tf=0x104ce7c90) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/AnalysisConsumer.cpp:354
#16 0x0000000100653746 in ActionObjCMemCheckerAux (C=@0x104c0ded0,
mgr=@0x104c0f0e0, D=0x1058b68a0, GCEnabled=false) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/AnalysisConsumer.cpp:375
#17 0x000000010065353f in ActionObjCMemChecker (C=@0x104c0ded0,
mgr=@0x104c0f0e0, D=0x1058b68a0) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/AnalysisConsumer.cpp:385
#18 0x0000000100657a4b in (anonymous namespace)::AnalysisConsumer::HandleCode
(this=0x104c0ded0, D=0x1058b68a0, actions=@0x104c0dee0) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/AnalysisConsumer.cpp:302
#19 0x0000000100657007 in (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit (this=0x104c0ded0,
C=@0x105013c00) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Checker/AnalysisConsumer.cpp:214
#20 0x00000001003a4714 in clang::ParseAST (PP=@0x104c08a60,
Consumer=0x104c0ded0, Ctx=@0x105013c00, PrintStats=false,
CompleteTranslationUnit=true, CompletionConsumer=0x0) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Sema/ParseAST.cpp:108
#21 0x00000001000b0b89 in clang::ASTFrontendAction::ExecuteAction
(this=0x104c07ee0) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Frontend/FrontendAction.cpp:256
#22 0x00000001000b075d in clang::FrontendAction::Execute (this=0x104c07ee0) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Frontend/FrontendAction.cpp:184
#23 0x000000010007ce64 in clang::CompilerInstance::ExecuteAction
(this=0x104c07710, Act=@0x104c07ee0) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/lib/Frontend/CompilerInstance.cpp:505
#24 0x0000000100009e7b in cc1_main (ArgBegin=0x7fff5fbfe730,
ArgEnd=0x7fff5fbfe8e8, Argv0=0x104c04438
"/Volumes/Data/Users/tcare/Projects/llvm-eclipse/bin/clang",
MainAddr=0x100001640) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/tools/driver/cc1_main.cpp:281
#25 0x000000010000193c in main (argc_=57, argv_=0x7fff5fbfefb8) at
/Volumes/Data/Users/tcare/Projects/llvm/tools/clang/tools/driver/driver.cpp:267

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



More information about the llvm-bugs mailing list