一键在 Manus 中运行任何 Skill

c-static-analysis

星标49,022

分支5,930

更新时间2026年6月27日 04:13

Run Clang static analysis on Julia's C/C++ runtime and codegen, and satisfy the GC-rooting checker. Use after modifying runtime/codegen .c/.cpp files under src/ (excluding headers), before opening a PR.

安装

用 Codex 或 Claude 帮你安装复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。

在 Manus 中运行

来源

JuliaLang

JuliaLang/julia

打开 GitHub 仓库查看创作者相关仓库

下载

在 Manus 中运行

C/C++ static analysis (src/)

Use this after you modify a runtime/codegen C/C++ source file under src/ (not headers). Note that runtime changes also require a rebuild (make -j).

Run static analysis checks:

First run make -C src install-analysis-deps to initialize dependencies (only needed once the first time, or after the LLVM/Clang toolchain dependencies change). This may download and install LLVM/Clang artifacts.
For a source file such as src/jloptions.c or src/codegen.cpp, use the file stem without the .c/.cpp extension:
```
make -C src analyze-<file-stem> -j8 [--output-sync]
```
For example, to analyze src/jloptions.c, run:
```
make -C src analyze-jloptions -j8
```
Add --output-sync when your make supports it to keep parallel output grouped; otherwise omit it.
Checks can also be rerun individually with clang-sa-<file-stem>, clang-sagc-<file-stem> or clang-tidy-<file-stem>.

Fixing the GC-rooting checker (clang-sagc)

If clang-sagc-<file-stem> fails, first look for fixes that establish real rooting, such as adding appropriate JL_GC_PUSH/JL_GC_POP scopes, or for lock/control-flow fixes.

Do not add JL_GC_PROMISE_ROOTED without explicit user or maintainer confirmation. JL_GC_PROMISE_ROOTED asserts that a value is already rooted; it does not root the value. If it appears necessary, stop and ask for confirmation, showing the exact expression, the existing root that makes it safe, and the safepoints considered.

Remember arguments are assumed rooted, so check the callers to make sure that is handled.
As a diagnostic hint when asking for confirmation: if the value is temporarily moved through a struct or arraylist and then reloaded, the promised expression may need to refer to the reloaded field, such as JL_GC_PROMISE_ROOTED(struct->field), immediately after the reload and before any use of that field.
If confirmed, put the promise as early in the code as is legal, near the definition or reload rather than the use.

同仓库更多 Skills

同仓库

buildkite-logs

JuliaLang/julia

Fetch and inspect Julia Buildkite CI logs without web sign-in. Use when debugging Julia CI failures, reviewing Buildkite jobs, or when the Buildkite MCP is unavailable.

2026-07-0949.0k

compiler-jl

JuliaLang/julia

Develop and test Julia's Compiler.jl. Use when modifying Compiler/, debugging compiler behavior, or activating stdlib Compiler for reflection/native-codegen experiments instead of using sysimage Base.Compiler.

2026-06-2749.0k

julia-syntax-lowering

JuliaLang/julia

Develop and test JuliaSyntax and JuliaLowering in Julia's source tree. Use when modifying JuliaSyntax/ or JuliaLowering/, running package or targeted tests, or checking JuliaLowering execution.

2026-06-2749.0k

doctests

JuliaLang/julia

Write and verify Julia `jldoctest` code blocks. Use whenever adding or changing a `jldoctest` block in a docstring (base/, stdlib/, Compiler/) or under doc/, and before opening a PR that touches doctests.

2026-06-2649.0k

external-deps

JuliaLang/julia

Modify Julia's external dependencies and JLLs — patches under deps/patches/, version bumps in deps/, and JLL updates. Use when touching deps/ or any *_jll folder, including refreshing checksums.

2026-06-2649.0k

test-changes

JuliaLang/julia

Run and update Julia tests after changing test files. Use when adding to or modifying any test file under test/ or stdlib/**/test/.

2026-06-2649.0k

name	c-static-analysis
description	Run Clang static analysis on Julia's C/C++ runtime and codegen, and satisfy the GC-rooting checker. Use after modifying runtime/codegen .c/.cpp files under src/ (excluding headers), before opening a PR.

C/C++ static analysis (src/)

Use this after you modify a runtime/codegen C/C++ source file under src/ (not headers). Note that runtime changes also require a rebuild (make -j).

Run static analysis checks:

First run make -C src install-analysis-deps to initialize dependencies (only needed once the first time, or after the LLVM/Clang toolchain dependencies change). This may download and install LLVM/Clang artifacts.
For a source file such as src/jloptions.c or src/codegen.cpp, use the file stem without the .c/.cpp extension:
```
make -C src analyze-<file-stem> -j8 [--output-sync]
```
For example, to analyze src/jloptions.c, run:
```
make -C src analyze-jloptions -j8
```
Add --output-sync when your make supports it to keep parallel output grouped; otherwise omit it.
Checks can also be rerun individually with clang-sa-<file-stem>, clang-sagc-<file-stem> or clang-tidy-<file-stem>.

Fixing the GC-rooting checker (clang-sagc)

If clang-sagc-<file-stem> fails, first look for fixes that establish real rooting, such as adding appropriate JL_GC_PUSH/JL_GC_POP scopes, or for lock/control-flow fixes.

Remember arguments are assumed rooted, so check the callers to make sure that is handled.
As a diagnostic hint when asking for confirmation: if the value is temporarily moved through a struct or arraylist and then reloaded, the promised expression may need to refer to the reloaded field, such as JL_GC_PROMISE_ROOTED(struct->field), immediately after the reload and before any use of that field.
If confirmed, put the promise as early in the code as is legal, near the definition or reload rather than the use.