Properly handle void*#955

Merged

kroening merged 2 commits intodiffblue:masterfrom

tautschnig:void-cast

May 23, 2017

Commits on May 23, 2017

Make c_types widely available and avoid locally building types
tautschnig
committed
The sub-size of void* is undefined; use char* as specified in the standard
tautschnig
committed