C front-end: use proper index type for argv and envp access#6819

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:cleanup/argv-envp-index

Apr 21, 2022

Commits on Apr 21, 2022

C front-end: use proper index type for argv and envp access
tautschnig
committed