Fix pointer validity instrumentation for incomplete array types#8750

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8700-pointer-validitytautschnig/cbmc:fix-8700-pointer-validityCopy head branch name to clipboard