Code

Properly handle void*#955

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:void-casttautschnig/cbmc:void-castCopy head branch name to clipboard

May 23, 2017

Commits

Commits on May 23, 2017

• Make c_types widely available and avoid locally building types

  Show description for 20de0d7
  tautschnig

  committed
  20de0d7

  Copy full SHA for 20de0d7

• The sub-size of void* is undefined; use char* as specified in the standard

  Show description for 7f6443b
  tautschnig

  committed
  7f6443b

  Copy full SHA for 7f6443b