[clang] [clang][ssaf] Add `clang-ssaf-analyzer` (PR #188881)

via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 9 12:11:56 PDT 2026


github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 3121 tests passed
* 30 tests skipped

All executed tests passed, but another part of the build **failed**. Click on a failure below to see the details.

<details>
<summary>[code=1] tools/clang/tools/clang-ssaf-analyzer/CMakeFiles/clang-ssaf-analyzer.dir/SSAFAnalyzer.cpp.obj</summary>

```
FAILED: [code=1] tools/clang/tools/clang-ssaf-analyzer/CMakeFiles/clang-ssaf-analyzer.dir/SSAFAnalyzer.cpp.obj
sccache C:\clang\clang-msvc\bin\clang-cl.exe  /nologo -TP -DCLANG_BUILD_STATIC -DLLVM_BUILD_STATIC -DUNICODE -D_CRT_NONSTDC_NO_DEPRECATE -D_CRT_NONSTDC_NO_WARNINGS -D_CRT_SECURE_NO_DEPRECATE -D_CRT_SECURE_NO_WARNINGS -D_GLIBCXX_ASSERTIONS -D_HAS_EXCEPTIONS=0 -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D_SCL_SECURE_NO_DEPRECATE -D_SCL_SECURE_NO_WARNINGS -D_UNICODE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -IC:\_work\llvm-project\llvm-project\build\tools\clang\tools\clang-ssaf-analyzer -IC:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer -IC:\_work\llvm-project\llvm-project\clang\include -IC:\_work\llvm-project\llvm-project\build\tools\clang\include -IC:\_work\llvm-project\llvm-project\build\include -IC:\_work\llvm-project\llvm-project\llvm\include /DWIN32 /D_WINDOWS   /Zc:inline /Zc:__cplusplus /Oi /Brepro /bigobj /permissive- -Werror=unguarded-availability-new /W4  -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported /Gw /O2 /Ob2  -std:c++17 -MD -UNDEBUG /EHs-c- /GR- /showIncludes /Fotools\clang\tools\clang-ssaf-analyzer\CMakeFiles\clang-ssaf-analyzer.dir\SSAFAnalyzer.cpp.obj /Fdtools\clang\tools\clang-ssaf-analyzer\CMakeFiles\clang-ssaf-analyzer.dir\ -c -- C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(63,3): error: unknown type name 'SummaryFile'; did you mean 'SummaryName'?
63 |   SummaryFile InputFile;
|   ^~~~~~~~~~~
|   SummaryName
C:\_work\llvm-project\llvm-project\clang\include\clang/ScalableStaticAnalysisFramework/Core/Model/SummaryName.h(22,7): note: 'SummaryName' declared here
22 | class SummaryName {
|       ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(64,3): error: unknown type name 'SummaryFile'; did you mean 'SummaryName'?
64 |   SummaryFile OutputFile;
|   ^~~~~~~~~~~
|   SummaryName
C:\_work\llvm-project\llvm-project\clang\include\clang/ScalableStaticAnalysisFramework/Core/Model/SummaryName.h(22,7): note: 'SummaryName' declared here
22 | class SummaryName {
|       ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(69,17): error: call to implicitly-deleted default constructor of 'AnalyzerInput'
69 |   AnalyzerInput AI;
|                 ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(63,15): note: default constructor of 'AnalyzerInput' is implicitly deleted because field 'InputFile' has no default constructor
63 |   SummaryFile InputFile;
|               ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(72,18): error: use of undeclared identifier 'SummaryFile'
72 |   AI.InputFile = SummaryFile::fromInputPath(InputPath);
|                  ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(75,19): error: use of undeclared identifier 'SummaryFile'
75 |   AI.OutputFile = SummaryFile::fromOutputPath(OutputPath);
|                   ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(91,34): error: no member named 'Format' in 'clang::ssaf::SummaryName'
91 |   auto ExpectedLU = AI.InputFile.Format->readLUSummary(AI.InputFile.Path);
|                     ~~~~~~~~~~~~ ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(91,69): error: no member named 'Path' in 'clang::ssaf::SummaryName'
91 |   auto ExpectedLU = AI.InputFile.Format->readLUSummary(AI.InputFile.Path);
|                                                        ~~~~~~~~~~~~ ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(107,32): error: no member named 'Format' in 'clang::ssaf::SummaryName'
107 |   if (auto Err = AI.OutputFile.Format->writeWPASuite(*ExpectedSuite,
|                  ~~~~~~~~~~~~~ ^
C:\_work\llvm-project\llvm-project\clang\tools\clang-ssaf-analyzer\SSAFAnalyzer.cpp(108,68): error: no member named 'Path' in 'clang::ssaf::SummaryName'
108 |                                                      AI.OutputFile.Path)) {
|                                                      ~~~~~~~~~~~~~ ^
9 errors generated.
```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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


More information about the cfe-commits mailing list