Skip to content

Check slice element reads under -Z valid-value-checks - #5073

Open
kasimte wants to merge 2 commits into
model-checking:mainfrom
kasimte:fix-5022-slice-element-validity
Open

kasimte wants to merge 2 commits into
model-checking:mainfrom
kasimte:fix-5022-slice-element-validity

Gate slice-element validity check on direct reads

15d4688
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

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