Skip to content

Emit a diagnostic for a misapplied checked size/align intrinsic marker - #4648

Open
MavenRain wants to merge 3 commits into
model-checking:mainfrom
MavenRain:4589-intrinsic-marker-bad-sig
Open

Emit a diagnostic for a misapplied checked size/align intrinsic marker#4648
MavenRain wants to merge 3 commits into
model-checking:mainfrom
MavenRain:4589-intrinsic-marker-bad-sig

Merge remote-tracking branch 'origin/main' into 4589-intrinsic-marker…

f10ad2e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 2, 2026 in 7s