https://bugs.llvm.org/show_bug.cgi?id=36381
Bug ID: 36381
Summary: Crash in NonNullParamChecker /
clang::ento::RangedConstraintManager::assumeSymUnsuppo
rted()
Product: clang
Version: unspecified
Hardware: PC
OS: All
Status: NEW
Severity: enhancement
Priority: P
Component: Static Analyzer
Assignee: dcough...@apple.com
Reporter: ale...@google.com
CC: ekarpen...@apple.com, llvm-bugs@lists.llvm.org
Here's a test case I reduced manually from the output of creduce:
class C {};
void f(C i) {
auto lambda = [&] { f(i); };
typedef decltype(lambda) T;
static char *p;
T **pfn = static_cast<T **>(static_cast<void*>(&p));
*pfn = new T(lambda);
(**pfn)();
}
Stack trace:
clang::ento::RangedConstraintManager::assumeSymUnsupported
clang::ento::RangedConstraintManager::assumeSym
clang::ento::SimpleConstraintManager::assumeAux
clang::ento::SimpleConstraintManager::assume
clang::ento::SimpleConstraintManager::assume
clang::ento::ConstraintManager::assumeDual
::NonNullParamChecker::checkPreCall
clang::ento::check::PreCall::_checkCall
clang::ento::CheckerFn::operator()
::CheckCallContext::runChecker
expandGraphWithCheckers
clang::ento::CheckerManager::runCheckersForCallEvent
clang::ento::CheckerManager::runCheckersForPreCall
clang::ento::ExprEngine::VisitCXXConstructExpr
clang::ento::ExprEngine::Visit
clang::ento::ExprEngine::ProcessStmt
clang::ento::ExprEngine::processCFGElement
clang::ento::CoreEngine::HandlePostStmt
clang::ento::CoreEngine::ExecuteWorkList
::AnalysisConsumer::ActionExprEngine
::AnalysisConsumer::HandleCode
::AnalysisConsumer::HandleTranslationUnit
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs