llvmorg-github-actions[bot] wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang-static-analyzer-1 Author: Jan Korous (jkorous-apple) <details> <summary>Changes</summary> The directory name ScalableStaticAnalysisFramework produces build paths that exceed Windows' MAX_PATH limit (260 chars) on downstream CI bots. The clang-ssaf-format / clang-ssaf-linker tool names and SSAF-prefixed source filenames are unchanged. Assisted-By: Claude Opus 4.7 --- Patch is 220.56 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/204697.diff 165 Files Affected: - (modified) .github/new-prs-labeler.yml (+4-4) - (renamed) clang/docs/ScalableStaticAnalysis/developer-docs/ForceLinkerHeaders.rst (+7-7) - (renamed) clang/docs/ScalableStaticAnalysis/developer-docs/HowToExtend.rst (+8-8) - (renamed) clang/docs/ScalableStaticAnalysis/developer-docs/SummaryExtractionInternals.rst () - (renamed) clang/docs/ScalableStaticAnalysis/developer-docs/index.rst () - (renamed) clang/docs/ScalableStaticAnalysis/index.rst () - (renamed) clang/docs/ScalableStaticAnalysis/user-docs/SummaryExtraction.rst (+4-4) - (modified) clang/docs/index.rst (+1-1) - (modified) clang/include/clang/Basic/DiagnosticFrontendKinds.td (+5-5) - (modified) clang/include/clang/Basic/DiagnosticGroups.td (+1-1) - (renamed) clang/include/clang/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphSummary.h (+6-6) - (renamed) clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h (+6-6) - (renamed) clang/include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsageTest.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/ASTEntityMapping.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/EntityLinker/EntityLinker.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/EntityLinker/EntitySummaryEncoding.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/EntityLinker/LUSummary.h (+10-10) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/EntityLinker/LUSummaryEncoding.h (+10-10) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/EntityLinker/TUSummaryEncoding.h (+10-10) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Model/BuildNamespace.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Model/EntityId.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Model/EntityIdTable.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Model/EntityLinkage.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Model/EntityName.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Model/PrivateFieldNames.def () - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Model/SummaryName.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Serialization/JSONFormat.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Serialization/SerializationFormat.h (+13-13) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Serialization/SerializationFormatRegistry.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/SummaryData/LUSummaryConsumer.h (+6-6) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryData.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataBuilder.h (+9-9) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataBuilderRegistry.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataStore.h (+7-7) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/SummaryData/SummaryDataTraits.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Support/ErrorBuilder.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/Support/FormatProviders.h (+9-9) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/TUSummary/EntitySummary.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/TUSummary/ExtractorRegistry.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/TUSummary/TUSummary.h (+10-10) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/TUSummary/TUSummaryBuilder.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/TUSummary/TUSummaryExtractor.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisBase.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisDriver.h (+5-5) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisName.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisRegistry.h (+7-7) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisResult.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisTraits.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/DerivedAnalysis.h (+9-9) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/SummaryAnalysis.h (+10-10) - (renamed) clang/include/clang/ScalableStaticAnalysis/Core/WholeProgramAnalysis/WPASuite.h (+9-9) - (renamed) clang/include/clang/ScalableStaticAnalysis/Frontend/TUSummaryExtractorFrontendAction.h (+3-3) - (renamed) clang/include/clang/ScalableStaticAnalysis/SSAFBuiltinForceLinker.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/SSAFForceLinker.h (+4-4) - (renamed) clang/include/clang/ScalableStaticAnalysis/Tool/Utils.h (+4-4) - (modified) clang/include/module.modulemap (+3-3) - (modified) clang/lib/CMakeLists.txt (+1-1) - (modified) clang/lib/Driver/CMakeLists.txt (+3-3) - (modified) clang/lib/Driver/Driver.cpp (+3-3) - (modified) clang/lib/FrontendTool/CMakeLists.txt (+3-3) - (modified) clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp (+2-2) - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/CMakeLists.txt (+2-2) - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphExtractor.cpp (+4-4) - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphJSONFormat.cpp (+4-4) - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.cpp (+4-4) - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/SSAFAnalysesCommon.cpp () - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/SSAFAnalysesCommon.h (+3-3) - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.cpp (+5-5) - (renamed) clang/lib/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsageExtractor.cpp (+7-7) - (renamed) clang/lib/ScalableStaticAnalysis/CMakeLists.txt () - (renamed) clang/lib/ScalableStaticAnalysis/Core/ASTEntityMapping.cpp (+2-2) - (renamed) clang/lib/ScalableStaticAnalysis/Core/CMakeLists.txt (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/EntityLinker/EntityLinker.cpp (+7-7) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Model/BuildNamespace.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Model/EntityId.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Model/EntityIdTable.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Model/EntityLinkage.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Model/EntityName.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Model/SummaryName.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/ModelStringConversions.h (+5-5) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/JSONEntitySummaryEncoding.cpp () - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/JSONEntitySummaryEncoding.h (+5-5) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/JSONFormatImpl.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/JSONFormatImpl.h (+9-9) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/LUSummary.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/LUSummaryEncoding.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/TUSummary.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/TUSummaryEncoding.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/JSONFormat/WPASuite.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Serialization/SerializationFormatRegistry.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/SummaryData/LUSummaryConsumer.cpp (+3-3) - (renamed) clang/lib/ScalableStaticAnalysis/Core/SummaryData/SummaryDataBuilderRegistry.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/Support/ErrorBuilder.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/TUSummary/ExtractorRegistry.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/TUSummary/TUSummaryBuilder.cpp (+4-4) - (renamed) clang/lib/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisDriver.cpp (+5-5) - (renamed) clang/lib/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisName.cpp (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Core/WholeProgramAnalysis/AnalysisRegistry.cpp (+2-2) - (added) clang/lib/ScalableStaticAnalysis/Frontend/CMakeLists.txt (+15) - (renamed) clang/lib/ScalableStaticAnalysis/Frontend/TUSummaryExtractorFrontendAction.cpp (+6-6) - (renamed) clang/lib/ScalableStaticAnalysis/Plugins/CMakeLists.txt (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Plugins/ExamplePlugin/AnalysisResults.h (+3-3) - (renamed) clang/lib/ScalableStaticAnalysis/Plugins/ExamplePlugin/CMakeLists.txt (+1-1) - (renamed) clang/lib/ScalableStaticAnalysis/Plugins/ExamplePlugin/PairsAnalysis.cpp (+5-5) - (renamed) clang/lib/ScalableStaticAnalysis/Plugins/ExamplePlugin/TagsAnalysis.cpp (+5-5) - (renamed) clang/lib/ScalableStaticAnalysis/Plugins/ExamplePlugin/TagsPairsAnalysis.cpp (+3-3) - (added) clang/lib/ScalableStaticAnalysis/Tool/CMakeLists.txt (+11) - (renamed) clang/lib/ScalableStaticAnalysis/Tool/Utils.cpp (+1-1) - (removed) clang/lib/ScalableStaticAnalysisFramework/Frontend/CMakeLists.txt (-15) - (removed) clang/lib/ScalableStaticAnalysisFramework/Tool/CMakeLists.txt (-11) - (modified) clang/test/Analysis/Scalable/command-line-interface.cpp (+5-5) - (modified) clang/test/Analysis/Scalable/downgradable-errors.cpp (+5-5) - (modified) clang/tools/clang-ssaf-format/CMakeLists.txt (+3-3) - (modified) clang/tools/clang-ssaf-format/SSAFFormat.cpp (+6-6) - (modified) clang/tools/clang-ssaf-linker/CMakeLists.txt (+3-3) - (modified) clang/tools/clang-ssaf-linker/SSAFLinker.cpp (+6-6) - (modified) clang/unittests/CMakeLists.txt (+1-1) - (renamed) clang/unittests/ScalableStaticAnalysis/ASTEntityMappingTest.cpp (+1-1) - (renamed) clang/unittests/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphExtractorTest.cpp (+5-5) - (renamed) clang/unittests/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsageTest.cpp (+11-11) - (renamed) clang/unittests/ScalableStaticAnalysis/BuildNamespaceTest.cpp (+2-2) - (renamed) clang/unittests/ScalableStaticAnalysis/CMakeLists.txt (+3-3) - (renamed) clang/unittests/ScalableStaticAnalysis/EntityIdTableTest.cpp (+4-4) - (renamed) clang/unittests/ScalableStaticAnalysis/EntityIdTest.cpp (+4-4) - (renamed) clang/unittests/ScalableStaticAnalysis/EntityLinkageTest.cpp (+2-2) - (renamed) clang/unittests/ScalableStaticAnalysis/EntityLinkerTest.cpp (+10-10) - (renamed) clang/unittests/ScalableStaticAnalysis/EntityNameTest.cpp (+3-3) - (renamed) clang/unittests/ScalableStaticAnalysis/ErrorBuilderTest.cpp (+1-1) - (renamed) clang/unittests/ScalableStaticAnalysis/Frontend/TUSummaryExtractorFrontendActionTest.cpp (+5-5) - (renamed) clang/unittests/ScalableStaticAnalysis/ModelStringConversionsTest.cpp (+1-1) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/FancyAnalysisData.cpp (+1-1) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/MockSerializationFormat.cpp (+9-9) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/MockSerializationFormat.h (+5-5) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/MockSummaryExtractor1.cpp (+2-2) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/MockSummaryExtractor2.cpp (+2-2) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/MockTUSummaryBuilder.h (+4-4) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/SerializationFormatRegistryTest.cpp (+2-2) - (renamed) clang/unittests/ScalableStaticAnalysis/Registries/SummaryExtractorRegistryTest.cpp (+2-2) - (renamed) clang/unittests/ScalableStaticAnalysis/SSAFBuiltinTestForceLinker.h (+3-3) - (renamed) clang/unittests/ScalableStaticAnalysis/SSAFTestForceLinker.h (+3-3) - (renamed) clang/unittests/ScalableStaticAnalysis/Serialization/JSONFormatTest/JSONFormatTest.cpp (+1-1) - (renamed) clang/unittests/ScalableStaticAnalysis/Serialization/JSONFormatTest/JSONFormatTest.h (+3-3) - (renamed) clang/unittests/ScalableStaticAnalysis/Serialization/JSONFormatTest/LUSummaryTest.cpp (+3-3) - (renamed) clang/unittests/ScalableStaticAnalysis/Serialization/JSONFormatTest/TUSummaryTest.cpp (+3-3) - (renamed) clang/unittests/ScalableStaticAnalysis/SummaryData/SummaryDataTest.cpp (+10-10) - (renamed) clang/unittests/ScalableStaticAnalysis/SummaryNameTest.cpp (+2-2) - (renamed) clang/unittests/ScalableStaticAnalysis/TUSummaryBuilderTest.cpp (+8-8) - (renamed) clang/unittests/ScalableStaticAnalysis/TestFixture.cpp (+5-5) - (added) clang/unittests/ScalableStaticAnalysis/TestFixture.h (+47) - (renamed) clang/unittests/ScalableStaticAnalysis/WholeProgramAnalysis/AnalysisDriverTest.cpp (+13-13) - (removed) clang/unittests/ScalableStaticAnalysisFramework/TestFixture.h (-47) - (modified) llvm/utils/gn/secondary/clang/lib/Driver/BUILD.gn (+3-3) - (modified) llvm/utils/gn/secondary/clang/lib/FrontendTool/BUILD.gn (+3-3) - (renamed) llvm/utils/gn/secondary/clang/lib/ScalableStaticAnalysis/Analyses/BUILD.gn (+2-2) - (renamed) llvm/utils/gn/secondary/clang/lib/ScalableStaticAnalysis/Core/BUILD.gn (+1-1) - (renamed) llvm/utils/gn/secondary/clang/lib/ScalableStaticAnalysis/Frontend/BUILD.gn (+2-2) - (renamed) llvm/utils/gn/secondary/clang/lib/ScalableStaticAnalysis/Tool/BUILD.gn (+2-2) - (modified) llvm/utils/gn/secondary/clang/tools/clang-ssaf-format/BUILD.gn (+3-3) - (modified) llvm/utils/gn/secondary/clang/tools/clang-ssaf-linker/BUILD.gn (+3-3) - (modified) llvm/utils/gn/secondary/clang/unittests/BUILD.gn (+1-1) - (renamed) llvm/utils/gn/secondary/clang/unittests/ScalableStaticAnalysis/BUILD.gn (+3-3) - (modified) utils/bazel/llvm-project-overlay/clang/BUILD.bazel (+14-14) - (modified) utils/bazel/llvm-project-overlay/clang/unittests/BUILD.bazel (+4-4) ``````````diff diff --git a/.github/new-prs-labeler.yml b/.github/new-prs-labeler.yml index d8cba3bfa7272..469dc511caf63 100644 --- a/.github/new-prs-labeler.yml +++ b/.github/new-prs-labeler.yml @@ -698,11 +698,11 @@ clang:analysis: clang:ssaf: - changed-files: - any-glob-to-any-file: - - clang/docs/ScalableStaticAnalysisFramework/** - - clang/include/clang/ScalableStaticAnalysisFramework/** - - clang/lib/ScalableStaticAnalysisFramework/** + - clang/docs/ScalableStaticAnalysis/** + - clang/include/clang/ScalableStaticAnalysis/** + - clang/lib/ScalableStaticAnalysis/** - clang/test/Analysis/Scalable/** - - clang/unittests/ScalableStaticAnalysisFramework/** + - clang/unittests/ScalableStaticAnalysis/** clang:static analyzer: - changed-files: diff --git a/clang/docs/ScalableStaticAnalysisFramework/developer-docs/ForceLinkerHeaders.rst b/clang/docs/ScalableStaticAnalysis/developer-docs/ForceLinkerHeaders.rst similarity index 89% rename from clang/docs/ScalableStaticAnalysisFramework/developer-docs/ForceLinkerHeaders.rst rename to clang/docs/ScalableStaticAnalysis/developer-docs/ForceLinkerHeaders.rst index c04b2b786308f..1a369404699da 100644 --- a/clang/docs/ScalableStaticAnalysisFramework/developer-docs/ForceLinkerHeaders.rst +++ b/clang/docs/ScalableStaticAnalysis/developer-docs/ForceLinkerHeaders.rst @@ -66,21 +66,21 @@ Header hierarchy SSAFForceLinker.h (umbrella — include this in binaries) └── SSAFBuiltinForceLinker.h (upstream built-in anchors only) -- ``clang/include/clang/ScalableStaticAnalysisFramework/SSAFBuiltinForceLinker.h`` — anchors for +- ``clang/include/clang/ScalableStaticAnalysis/SSAFBuiltinForceLinker.h`` — anchors for upstream-provided (built-in) extractors and formats (e.g. ``JSONFormat``). -- ``clang/include/clang/ScalableStaticAnalysisFramework/SSAFForceLinker.h`` — umbrella header +- ``clang/include/clang/ScalableStaticAnalysis/SSAFForceLinker.h`` — umbrella header that includes ``SSAFBuiltinForceLinker.h``. This is the header that downstream projects should modify to add their own force-linker includes (see :doc:`HowToExtend`). Include the umbrella header with ``// IWYU pragma: keep`` in any translation unit that must guarantee all registrations are active — typically the entry -point of a binary that uses ``clangScalableStaticAnalysisFrameworkCore``: +point of a binary that uses ``clangScalableStaticAnalysisCore``: .. code-block:: c++ // In ExecuteCompilerInvocation.cpp - #include "clang/ScalableStaticAnalysisFramework/SSAFForceLinker.h" // IWYU pragma: keep + #include "clang/ScalableStaticAnalysis/SSAFForceLinker.h" // IWYU pragma: keep Naming convention ================= @@ -103,10 +103,10 @@ library, regardless of whether any symbols are referenced: .. code-block:: bash # GNU ld / lld (Linux, BSD) - -Wl,--whole-archive -lclangScalableStaticAnalysisFrameworkCore -Wl,--no-whole-archive + -Wl,--whole-archive -lclangScalableStaticAnalysisCore -Wl,--no-whole-archive # Apple ld - -Wl,-force_load,libclangScalableStaticAnalysisFrameworkCore.a + -Wl,-force_load,libclangScalableStaticAnalysisCore.a Since CMake 3.24, the ``$<LINK_LIBRARY:WHOLE_ARCHIVE,...>`` generator expression provides a portable way to do the same: @@ -114,7 +114,7 @@ provides a portable way to do the same: .. code-block:: cmake target_link_libraries(clang PRIVATE - "$<LINK_LIBRARY:WHOLE_ARCHIVE,clangScalableStaticAnalysisFrameworkCore>") + "$<LINK_LIBRARY:WHOLE_ARCHIVE,clangScalableStaticAnalysisCore>") **Why we did not choose this approach**: diff --git a/clang/docs/ScalableStaticAnalysisFramework/developer-docs/HowToExtend.rst b/clang/docs/ScalableStaticAnalysis/developer-docs/HowToExtend.rst similarity index 91% rename from clang/docs/ScalableStaticAnalysisFramework/developer-docs/HowToExtend.rst rename to clang/docs/ScalableStaticAnalysis/developer-docs/HowToExtend.rst index 7d92d7e6f2de7..0c94cfca54dee 100644 --- a/clang/docs/ScalableStaticAnalysisFramework/developer-docs/HowToExtend.rst +++ b/clang/docs/ScalableStaticAnalysis/developer-docs/HowToExtend.rst @@ -10,7 +10,7 @@ SSAF is designed to be extensible with new **summary extractors** and **serializ Extensions can be added in three ways: #. **Statically, in-tree** — built as part of the upstream LLVM/Clang tree. -#. **Statically, out-of-tree (downstream)** — built in a downstream fork or project that links ``clangScalableStaticAnalysisFrameworkCore`` as a static library. +#. **Statically, out-of-tree (downstream)** — built in a downstream fork or project that links ``clangScalableStaticAnalysisCore`` as a static library. #. **Dynamically, via plugins** — loaded at runtime as shared objects. All three approaches use the same ``llvm::Registry``-based registration mechanism. @@ -28,7 +28,7 @@ Step 1: Implement the extractor .. code-block:: c++ //--- MyExtractor.h - #include "clang/ScalableStaticAnalysisFramework/Core/TUSummary/TUSummaryExtractor.h" + #include "clang/ScalableStaticAnalysis/Core/TUSummary/TUSummaryExtractor.h" namespace clang::ssaf { @@ -49,7 +49,7 @@ Step 2: Register the extractor //--- MyExtractor.cpp #include "MyExtractor.h" - #include "clang/ScalableStaticAnalysisFramework/Core/TUSummary/ExtractorRegistry.h" + #include "clang/ScalableStaticAnalysis/Core/TUSummary/ExtractorRegistry.h" using namespace clang::ssaf; @@ -74,7 +74,7 @@ Add the following to the appropriate force-linker header: SSAFMyExtractorAnchorSource; For **in-tree** additions, add this to -``clang/include/clang/ScalableStaticAnalysisFramework/SSAFBuiltinForceLinker.h``. +``clang/include/clang/ScalableStaticAnalysis/SSAFBuiltinForceLinker.h``. For **downstream** additions, see `Out-of-tree (downstream) extensions`_ below. @@ -93,7 +93,7 @@ Your format class must inherit from ``SerializationFormat`` and define a ``Forma .. code-block:: c++ //--- MyFormat.h - #include "clang/ScalableStaticAnalysisFramework/Core/Serialization/SerializationFormat.h" + #include "clang/ScalableStaticAnalysis/Core/Serialization/SerializationFormat.h" #include "clang/Support/Compiler.h" #include "llvm/Support/Registry.h" @@ -121,7 +121,7 @@ Step 2: Register the format //--- MyFormat.cpp #include "MyFormat.h" - #include "clang/ScalableStaticAnalysisFramework/Core/Serialization/SerializationFormatRegistry.h" + #include "clang/ScalableStaticAnalysis/Core/Serialization/SerializationFormatRegistry.h" using namespace clang::ssaf; @@ -172,8 +172,8 @@ In-tree extensions For extensions that are part of the upstream LLVM/Clang tree: -#. Add the anchor to ``clang/include/clang/ScalableStaticAnalysisFramework/SSAFBuiltinForceLinker.h``. -#. Add the source files to the ``clangScalableStaticAnalysisFrameworkCore`` CMake library target. +#. Add the anchor to ``clang/include/clang/ScalableStaticAnalysis/SSAFBuiltinForceLinker.h``. +#. Add the source files to the ``clangScalableStaticAnalysisCore`` CMake library target. #. That's it — the ``SSAFForceLinker.h`` umbrella includes ``SSAFBuiltinForceLinker.h`` transitively, so any binary that includes the umbrella will pull in the registration. diff --git a/clang/docs/ScalableStaticAnalysisFramework/developer-docs/SummaryExtractionInternals.rst b/clang/docs/ScalableStaticAnalysis/developer-docs/SummaryExtractionInternals.rst similarity index 100% rename from clang/docs/ScalableStaticAnalysisFramework/developer-docs/SummaryExtractionInternals.rst rename to clang/docs/ScalableStaticAnalysis/developer-docs/SummaryExtractionInternals.rst diff --git a/clang/docs/ScalableStaticAnalysisFramework/developer-docs/index.rst b/clang/docs/ScalableStaticAnalysis/developer-docs/index.rst similarity index 100% rename from clang/docs/ScalableStaticAnalysisFramework/developer-docs/index.rst rename to clang/docs/ScalableStaticAnalysis/developer-docs/index.rst diff --git a/clang/docs/ScalableStaticAnalysisFramework/index.rst b/clang/docs/ScalableStaticAnalysis/index.rst similarity index 100% rename from clang/docs/ScalableStaticAnalysisFramework/index.rst rename to clang/docs/ScalableStaticAnalysis/index.rst diff --git a/clang/docs/ScalableStaticAnalysisFramework/user-docs/SummaryExtraction.rst b/clang/docs/ScalableStaticAnalysis/user-docs/SummaryExtraction.rst similarity index 84% rename from clang/docs/ScalableStaticAnalysisFramework/user-docs/SummaryExtraction.rst rename to clang/docs/ScalableStaticAnalysis/user-docs/SummaryExtraction.rst index 96892cfa5fdea..fd58bf3fe931e 100644 --- a/clang/docs/ScalableStaticAnalysisFramework/user-docs/SummaryExtraction.rst +++ b/clang/docs/ScalableStaticAnalysis/user-docs/SummaryExtraction.rst @@ -30,8 +30,8 @@ Diagnostics *********** In case the ``--ssaf-*`` flags are used incorrectly, or some extractor fails to implement the desired serialization format -or just happens to have an error, then the error is forwarded as a ``scalable-static-analysis-framework`` error. -These errors can be downgraded into warnings using ``-Wno-error=scalable-static-analysis-framework``. -These errors can be completely suppressed using ``-Wno-scalable-static-analysis-framework``. +or just happens to have an error, then the error is forwarded as a ``scalable-static-analysis`` error. +These errors can be downgraded into warnings using ``-Wno-error=scalable-static-analysis``. +These errors can be completely suppressed using ``-Wno-scalable-static-analysis``. -See the `diagnostic flags <https://clang.llvm.org/docs/DiagnosticsReference.html#wscalable-static-analysis-framework>`_ for the full list of diagnostics controlled by ``-Wscalable-static-analysis-framework``. +See the `diagnostic flags <https://clang.llvm.org/docs/DiagnosticsReference.html#wscalable-static-analysis>`_ for the full list of diagnostics controlled by ``-Wscalable-static-analysis``. diff --git a/clang/docs/index.rst b/clang/docs/index.rst index 898667e36011d..05abb3e80e3c1 100644 --- a/clang/docs/index.rst +++ b/clang/docs/index.rst @@ -29,7 +29,7 @@ Using Clang as a Compiler ThreadSafetyAnalysis LifetimeSafety SafeBuffers - ScalableStaticAnalysisFramework/index + ScalableStaticAnalysis/index DataFlowAnalysisIntro FunctionEffectAnalysis AddressSanitizer diff --git a/clang/include/clang/Basic/DiagnosticFrontendKinds.td b/clang/include/clang/Basic/DiagnosticFrontendKinds.td index f384a97b6825e..6e0516a3834bc 100644 --- a/clang/include/clang/Basic/DiagnosticFrontendKinds.td +++ b/clang/include/clang/Basic/DiagnosticFrontendKinds.td @@ -403,25 +403,25 @@ def warn_profile_data_misexpect : Warning< def warn_ssaf_extract_tu_summary_file_unknown_output_format : Warning<"unknown output summary file format '%0' " "specified by '--ssaf-tu-summary-file=%1'">, - InGroup<ScalableStaticAnalysisFramework>, DefaultError; + InGroup<ScalableStaticAnalysis>, DefaultError; def warn_ssaf_extract_tu_summary_file_unknown_format : Warning<"failed to parse the value of '--ssaf-tu-summary-file=%0' " "the value must follow the '<path>.<format>' pattern">, - InGroup<ScalableStaticAnalysisFramework>, DefaultError; + InGroup<ScalableStaticAnalysis>, DefaultError; def warn_ssaf_must_enable_summary_extractors : Warning<"must enable some summary extractors using the " "'--ssaf-extract-summaries=' option">, - InGroup<ScalableStaticAnalysisFramework>, DefaultError; + InGroup<ScalableStaticAnalysis>, DefaultError; def warn_ssaf_extract_summary_unknown_extractor_name : Warning<"no summary extractor%s0 %plural{1:was|:were}0 registered with name: %1">, - InGroup<ScalableStaticAnalysisFramework>, DefaultError; + InGroup<ScalableStaticAnalysis>, DefaultError; def warn_ssaf_write_tu_summary_failed : Warning<"failed to write TU summary to '%0': %1">, - InGroup<ScalableStaticAnalysisFramework>, DefaultError; + InGroup<ScalableStaticAnalysis>, DefaultError; def err_extract_api_ignores_file_not_found : Error<"file '%0' specified by '--extract-api-ignores=' not found">, DefaultFatal; diff --git a/clang/include/clang/Basic/DiagnosticGroups.td b/clang/include/clang/Basic/DiagnosticGroups.td index 74f9fab14d82c..e2b3852c55539 100644 --- a/clang/include/clang/Basic/DiagnosticGroups.td +++ b/clang/include/clang/Basic/DiagnosticGroups.td @@ -1926,7 +1926,7 @@ def BitIntExtension : DiagGroup<"bit-int-extension">; def ExtractAPIMisuse : DiagGroup<"extractapi-misuse">; // Warnings related to the "Scalable Static Analysis Framework" - SSAF. -def ScalableStaticAnalysisFramework : DiagGroup<"scalable-static-analysis-framework">; +def ScalableStaticAnalysis : DiagGroup<"scalable-static-analysis">; // Warnings about using the non-standard extension having an explicit specialization // with a storage class specifier. diff --git a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/CallGraph/CallGraphSummary.h b/clang/include/clang/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphSummary.h similarity index 74% rename from clang/include/clang/ScalableStaticAnalysisFramework/Analyses/CallGraph/CallGraphSummary.h rename to clang/include/clang/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphSummary.h index 8056b1001a216..e3a335384792a 100644 --- a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/CallGraph/CallGraphSummary.h +++ b/clang/include/clang/ScalableStaticAnalysis/Analyses/CallGraph/CallGraphSummary.h @@ -6,12 +6,12 @@ // //===----------------------------------------------------------------------===// -#ifndef LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_CALLGRAPH_CALLGRAPHSUMMARY_H -#define LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_CALLGRAPH_CALLGRAPHSUMMARY_H +#ifndef LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_CALLGRAPH_CALLGRAPHSUMMARY_H +#define LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_CALLGRAPH_CALLGRAPHSUMMARY_H -#include "clang/ScalableStaticAnalysisFramework/Core/Model/EntityId.h" -#include "clang/ScalableStaticAnalysisFramework/Core/Model/SummaryName.h" -#include "clang/ScalableStaticAnalysisFramework/Core/TUSummary/EntitySummary.h" +#include "clang/ScalableStaticAnalysis/Core/Model/EntityId.h" +#include "clang/ScalableStaticAnalysis/Core/Model/SummaryName.h" +#include "clang/ScalableStaticAnalysis/Core/TUSummary/EntitySummary.h" #include <set> namespace clang::ssaf { @@ -51,4 +51,4 @@ struct CallGraphSummary final : public EntitySummary { } // namespace clang::ssaf -#endif // LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_CALLGRAPH_CALLGRAPHSUMMARY_H +#endif // LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_CALLGRAPH_CALLGRAPHSUMMARY_H diff --git a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevel.h b/clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.h similarity index 91% rename from clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevel.h rename to clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.h index 429bb74fb417e..79b66e40be0dd 100644 --- a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevel.h +++ b/clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.h @@ -6,12 +6,12 @@ // //===----------------------------------------------------------------------===// -#ifndef LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVEL_H -#define LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVEL_H +#ifndef LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVEL_H +#define LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVEL_H #include "clang/AST/Expr.h" -#include "clang/ScalableStaticAnalysisFramework/Core/Model/EntityId.h" -#include "clang/ScalableStaticAnalysisFramework/Core/Model/EntityName.h" +#include "clang/ScalableStaticAnalysis/Core/Model/EntityId.h" +#include "clang/ScalableStaticAnalysis/Core/Model/EntityName.h" #include "llvm/ADT/STLFunctionalExtras.h" #include <set> @@ -120,4 +120,4 @@ createEntityPointerLevel(const NamedDecl *ND, EntityPointerLevel incrementPointerLevel(const EntityPointerLevel &E); } // namespace clang::ssaf -#endif // LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVEL_H +#endif // LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVEL_H diff --git a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h b/clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h similarity index 59% rename from clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h rename to clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h index 7b125edb1fb7f..e34fd1007b5fd 100644 --- a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h +++ b/clang/include/clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevelFormat.h @@ -6,11 +6,11 @@ // //===----------------------------------------------------------------------===// -#ifndef LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVELFORMAT_H -#define LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVELFORMAT_H +#ifndef LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVELFORMAT_H +#define LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVELFORMAT_H -#include "clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevel.h" -#include "clang/ScalableStaticAnalysisFramework/Core/Serialization/JSONFormat.h" +#include "clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.h" +#include "clang/ScalableStaticAnalysis/Core/Serialization/JSONFormat.h" namespace clang::ssaf { llvm::json::Value @@ -22,4 +22,4 @@ entityPointerLevelFromJSON(const llvm::json::Value &EPLData, JSONFormat::EntityIdFromJSONFn EntityIdFromJSON); } // namespace clang::ssaf -#endif // LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVELFORMAT_H +#endif // LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_ENTITYPOINTERLEVEL_ENTITYPOINTERLEVELFORMAT_H diff --git a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h b/clang/include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h similarity index 74% rename from clang/include/clang/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h rename to clang/include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h index ec0c4334a802e..17ac0a94f3746 100644 --- a/clang/include/clang/ScalableStaticAnalysisFramework/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h +++ b/clang/include/clang/ScalableStaticAnalysis/Analyses/UnsafeBufferUsage/UnsafeBufferUsage.h @@ -6,12 +6,12 @@ // //===----------------------------------------------------------------------===// -#ifndef LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_UNSAFEBUFFERUSAGE_UNSAFEBUFFERUSAGE_H -#define LLVM_CLANG_SCALABLESTATICANALYSISFRAMEWORK_ANALYSES_UNSAFEBUFFERUSAGE_UNSAFEBUFFERUSAGE_H +#ifndef LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_UNSAFEBUFFERUSAGE_UNSAFEBUFFERUSAGE_H +#define LLVM_CLANG_SCALABLESTATICANALYSIS_ANALYSES_UNSAFEBUFFERUSAGE_UNSAFEBUFFERUSAGE_H -#include "clang/ScalableStaticAnalysisFramework/Analyses/EntityPointerLevel/EntityPointerLevel.h" -#include "clang/ScalableStaticAnalysisFramework/Core/Model/SummaryName.h" -#include "clang/ScalableStaticAnalysisFramework/Core/TUSummary/EntitySummary.h" +#include "clang/ScalableStaticAnalysis/Analyses/EntityPointerLevel/EntityPointerLevel.h" +#include "clang/ScalableStaticAnalysis/Core/Model/SummaryName.h" +#include "clang/ScalableStaticAnalysis/Core/TUSummary/EntitySummary.h" namespace clang::ssaf { /// An UnsafeBufferUsageEntitySummary contains a set of EntityPointerLevels @@ -47,4 +47,4 @@ class UnsafeBufferUsageEntitySummary final : public EntitySummary { }; } // namespace clang::ssaf... [truncated] `````````` </details> https://github.com/llvm/llvm-project/pull/204697 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
