Simplification of nested pointer arithmetic: do not assume same type#6541

Merged

kroening merged 2 commits intodiffblue:developfrom

tautschnig:fix-rmc-708

Mar 22, 2022

Commits on Feb 7, 2022

Simplification of nested pointer arithmetic: improve readability
tautschnig
committed
Simplification of nested pointer arithmetic: do not assume same type
tautschnig
committed