Skip to content

goto-check: skip array bounds checks for unbounded (non-constant-size) arrays#9070

Open
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:strata/goto-check-skip-unbounded-array-bounds
Open

goto-check: skip array bounds checks for unbounded (non-constant-size) arrays#9070
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:strata/goto-check-skip-unbounded-array-bounds

goto-check: skip array bounds checks for unbounded (non-constant-size…

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

Annotations

1 error and 1 warning
check-ubuntu-24_04-make-clang
failed Jun 19, 2026 in 8m 31s