alexfh added a comment. This patch seems to cause an assertion failure:
assert.h assertion failed at clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:427 in clang::ento::SVal clang::ento::SValBuilder::evalBinOp(clang::ento::ProgramStateRef, BinaryOperator::Opcode, clang::ento::SVal, clang::ento::SVal, clang::QualType): op == BO_Add The stack trace is: __assert_fail clang::ento::SValBuilder::evalBinOp clang::ento::SValBuilder::evalEQ clang::ento::SValBuilder::evalEQ ::CStringChecker::assumeZero ::CStringChecker::checkNonNull ::CStringChecker::evalStrcpyCommon ::CStringChecker::evalStrcpy ::CStringChecker::evalCall clang::ento::eval::Call::_evalCall clang::ento::CheckerFn::operator() clang::ento::CheckerManager::runCheckersForEvalCall clang::ento::ExprEngine::evalCall clang::ento::ExprEngine::VisitCallExpr clang::ento::ExprEngine::Visit clang::ento::ExprEngine::ProcessStmt clang::ento::ExprEngine::processCFGElement clang::ento::CoreEngine::HandlePostStmt clang::ento::CoreEngine::dispatchWorkItem clang::ento::CoreEngine::ExecuteWorkList clang::ento::ExprEngine::ExecuteWorkList ::AnalysisConsumer::ActionExprEngine ::AnalysisConsumer::HandleCode ::AnalysisConsumer::HandleDeclsCallGraph ::AnalysisConsumer::runAnalysisOnTranslationUnit ::AnalysisConsumer::HandleTranslationUnit I'm trying to reduce a test case. Repository: rC Clang https://reviews.llvm.org/D45177 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
