Description
Bug description
Analyzing a program with https://github.com/gperftools/gperftools/blob/master/src/profiledata.cc#L261 's ProfileData::Add crashes Phasar
0x00007fbed345c24000:26:26.056282 - [WARNING] Large number of pointers detected - Perf is O(N^2) here: 140 for ProfileData::Add(int, void const* const*)
WARNING: Logging before InitGoogle() is written to STDERR
F0418 22:15:46.428914 3693092 logging.cc:107] assert.h assertion failed at third_party/llvm/llvm-project/llvm/lib/Analysis/CFLGraph.h:205 in void llvm::cflaa::CFLGraphBuilderllvm::CFLSteensAAResult::GetEdgesVisitor::addNode(llvm::Value *, llvm::cflaa::AliasAttrs) [CFLAA = llvm::CFLSteensAAResult]: Val != nullptr && Val->getType()->isPointerTy()
*** Check failure stack trace: ***
@ 0x7fbeeebf0c3b absl::logging_internal::LogMessage::DieIfFatal()
@ 0x7fbeeebef8a7 absl::logging_internal::LogMessage::SendToLog()
@ 0x7fbeeebed8c0 absl::logging_internal::LogMessage::Flush()
@ 0x7fbeeebf20c9 absl::logging_internal::LogMessageFatal::~LogMessageFatal()
@ 0x7fbeeebe940e __assert_fail
@ 0x7fc0465ba0ab llvm::cflaa::CFLGraphBuilder<>::GetEdgesVisitor::addNode()
@ 0x7fc0465b9ad3 llvm::InstVisitor<>::visit()
@ 0x7fc0465b92f4 llvm::cflaa::CFLGraphBuilder<>::buildGraphFrom()
@ 0x7fc0465b1da6 llvm::CFLSteensAAResult::buildSetsFrom()
@ 0x7fc0465b3761 llvm::CFLSteensAAResult::scan()
@ 0x7fc0465b406b llvm::CFLSteensAAResult::ensureCached()
@ 0x7fc0465b4711 llvm::CFLSteensAAResult::query()
@ 0x7fc05475b71f llvm::CFLSteensAAResult::alias()
@ 0x7fc05475b505 llvm::AAResults::Model<>::alias()
@ 0x7fc04647ef6e llvm::AAResults::alias()
@ 0x7fc04647e7b5 llvm::AAResults::alias()
@ 0x7fc05477fb5b psr::LLVMPointsToSet::computeFunctionsPointsToSet()
@ 0x7fc05477cc9f psr::LLVMPointsToSet::computeValuesPointsToSet()
@ 0x7fc054788aa9 psr::LLVMPointsToSet::LLVMPointsToSet()
@ 0x7fc05501f5e6 psr::AnalysisController::AnalysisController()
@ 0x7fc055d688ef main
@ 0x7fbed34ecbbd __libc_start_main
@ 0x5602cec2baa9 _start
Steps to reproduce
Analyze any program with this function