Skip to content

Treat pointer and Box locals of function items as ordinary variables - #4892

Merged
feliperodri merged 3 commits into
model-checking:mainfrom
srivatsansamraj:fn-item-pointer-locals
Sep 30, 2026
Merged

Treat pointer and Box locals of function items as ordinary variables#4892
feliperodri merged 3 commits into
model-checking:mainfrom
srivatsansamraj:fn-item-pointer-locals

Call foo in the null-pointer harness; say what codegen_local_fndef re…

29f1107
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 30, 2026 in 7s