CORE
main.i
--bounds-check --32 --no-simplify
^EXIT=10$
^SIGNAL=0$
array\.List dynamic object upper bound in p->List\[2\]: FAILURE
\*\* 1 of 14 failed
--
^warning: ignoring
--
Test is built from SV-COMP's memsafety/20051113-1.c_false-valid-memtrack.c.
C90 did not have flexible arrays, and using arrays of size 1 was common
practice: http://c-faq.com/struct/structhack.html. We need to treat those as if
it were a zero-sized array.
