[clang] [NFC][analyzer] Document configuration options (PR #135169)

Wed May 14 10:05:24 PDT 2025

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-clang-aarch64-darwin` running on `doug-worker-4` while building `clang` at step 6 "test-build-unified-tree-check-all".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/190/builds/19986

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 6 (test-build-unified-tree-check-all) failure: test (failure)
******************** TEST 'Clang :: Analysis/ftime-trace-no-init.cpp' FAILED ********************
Exit Code: 134

Command Output (stderr):
--
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang -cc1 -internal-isystem /Users/buildbot/buildbot-root/aarch64-darwin/build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core,apiModeling /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/ftime-trace-no-init.cpp -ftime-trace=/Users/buildbot/buildbot-root/aarch64-darwin/build/tools/clang/test/Analysis/Output/ftime-trace-no-init.cpp.tmp.raw.json -verify # RUN: at line 1
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang -cc1 -internal-isystem /Users/buildbot/buildbot-root/aarch64-darwin/build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core,apiModeling /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/ftime-trace-no-init.cpp -ftime-trace=/Users/buildbot/buildbot-root/aarch64-darwin/build/tools/clang/test/Analysis/Output/ftime-trace-no-init.cpp.tmp.raw.json -verify
Assertion failed: (Out && "Wrong allocator used"), function identifyKnownObject, file Allocator.h, line 268.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.	Program arguments: /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang -cc1 -internal-isystem /Users/buildbot/buildbot-root/aarch64-darwin/build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core,apiModeling /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/ftime-trace-no-init.cpp -ftime-trace=/Users/buildbot/buildbot-root/aarch64-darwin/build/tools/clang/test/Analysis/Output/ftime-trace-no-init.cpp.tmp.raw.json -verify
1.	<eof> parser at end of file
 #0 0x00000001060e5188 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x10170d188)
 #1 0x00000001060e320c llvm::sys::RunSignalHandlers() (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x10170b20c)
 #2 0x00000001060e5880 SignalHandler(int, __siginfo*, void*) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x10170d880)
 #3 0x00000001949bf584 (/usr/lib/system/libsystem_platform.dylib+0x18047b584)
 #4 0x000000019498ec20 (/usr/lib/system/libsystem_pthread.dylib+0x18044ac20)
 #5 0x000000019489ba30 (/usr/lib/system/libsystem_c.dylib+0x180357a30)
 #6 0x000000019489ad20 (/usr/lib/system/libsystem_c.dylib+0x180356d20)
 #7 0x000000010a14d598 long long llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>::identifyKnownAlignedObject<clang::Stmt>(void const*) (.cold.2) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x105775598)
 #8 0x0000000108aab4b4 long long llvm::BumpPtrAllocatorImpl<llvm::MallocAllocator, 4096ul, 4096ul, 128ul>::identifyKnownAlignedObject<clang::Stmt>(void const*) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x1040d34b4)
 #9 0x00000001079df060 clang::ento::SymbolConjured::dumpToStream(llvm::raw_ostream&) const (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x103007060)
#10 0x000000010796bf64 clang::ento::SymbolicRegion::dumpToStream(llvm::raw_ostream&) const (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102f93f64)
#11 0x000000010796b9e0 clang::ento::ElementRegion::dumpToStream(llvm::raw_ostream&) const (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102f939e0)
#12 0x000000010796aafc clang::ento::MemRegion::getString() const (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102f92afc)
#13 0x00000001079de804 clang::ento::Loc::dumpToStream(llvm::raw_ostream&) const (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x103006804)
#14 0x00000001079b8ba8 std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>> llvm::function_ref<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>> ()>::callback_fn<(anonymous namespace)::RegionStoreManager::bind(LimitedRegionBindingsRef const&, clang::ento::Loc, clang::ento::SVal)::$_2>(long) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102fe0ba8)
#15 0x000000010608da80 llvm::TimeTraceProfiler::begin(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::function_ref<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>> ()>, llvm::TimeTraceEventType) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x1016b5a80)
#16 0x000000010608dc34 llvm::timeTraceProfilerBegin(llvm::StringRef, llvm::function_ref<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>> ()>) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x1016b5c34)
#17 0x00000001079b59ac (anonymous namespace)::RegionStoreManager::bind(LimitedRegionBindingsRef const&, clang::ento::Loc, clang::ento::SVal) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102fdd9ac)
#18 0x00000001079acca8 (anonymous namespace)::RegionStoreManager::Bind(void const*, clang::ento::Loc, clang::ento::SVal) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102fd4ca8)
#19 0x000000010797f068 clang::ento::ProgramState::bindLoc(clang::ento::Loc, clang::ento::SVal, clang::LocationContext const*, bool) const (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102fa7068)
#20 0x00000001076db540 clang::ento::errno_modeling::setErrnoValue(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::CheckerContext&, unsigned long long, clang::ento::errno_modeling::ErrnoCheckState) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102d03540)
#21 0x00000001076dc538 void clang::ento::check::BeginFunction::_checkBeginFunction<(anonymous namespace)::ErrnoModeling>(void*, clang::ento::CheckerContext&) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102d04538)
#22 0x00000001078fd0fc clang::ento::CheckerManager::runCheckersForBeginFunction(clang::ento::ExplodedNodeSet&, clang::BlockEdge const&, clang::ento::ExplodedNode*, clang::ento::ExprEngine&) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102f250fc)
#23 0x00000001079349ec clang::ento::ExprEngine::processBeginOfFunction(clang::ento::NodeBuilderContext&, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&, clang::BlockEdge const&) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102f5c9ec)
#24 0x0000000107905ecc clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102f2decc)
#25 0x0000000107639304 (anonymous namespace)::AnalysisConsumer::HandleCode(clang::Decl*, unsigned int, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102c61304)
#26 0x00000001076379d4 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102c5f9d4)
#27 0x0000000107a054fc clang::ParseAST(clang::Sema&, bool, bool) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x10302d4fc)
#28 0x0000000106d71798 clang::FrontendAction::Execute() (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102399798)
#29 0x0000000106cf7e70 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x10231fe70)
#30 0x0000000106e08c24 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x102430c24)
#31 0x00000001049dfd98 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x100007d98)
#32 0x00000001049dd320 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x100005320)
#33 0x00000001049dc880 clang_main(int, char**, llvm::ToolContext const&) (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x100004880)
#34 0x00000001049e8bf4 main (/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang-21+0x100010bf4)
#35 0x0000000194603154 
/Users/buildbot/buildbot-root/aarch64-darwin/build/tools/clang/test/Analysis/Output/ftime-trace-no-init.cpp.script: line 1:   111 Abort trap: 6           /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang -cc1 -internal-isystem /Users/buildbot/buildbot-root/aarch64-darwin/build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=core,apiModeling /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/ftime-trace-no-init.cpp -ftime-trace=/Users/buildbot/buildbot-root/aarch64-darwin/build/tools/clang/test/Analysis/Output/ftime-trace-no-init.cpp.tmp.raw.json -verify

...

```

</details>

https://github.com/llvm/llvm-project/pull/135169