Code

Fixes to build using GCC 8#2156

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom tautschnig:gcc-8-fixestautschnig/cbmc:gcc-8-fixesCopy head branch name to clipboardJun 6, 2018

+42-6

Commits

Commits on Jun 5, 2018

• Silence Minisat's use of realloc on non-POD and fix and use its xrealloc

  Show description for 4f3c102
  tautschnig

  committed
  4f3c102

  Copy full SHA for 4f3c102

• Do not use parentheses around the declared symbol

  Show description for 0c00835
  tautschnig

  committed
  0c00835

  Copy full SHA for 0c00835

• Silence spurious GCC 8 warning

  Show description for 7211280
  tautschnig

  committed
  7211280

  Copy full SHA for 7211280

• Use a reference with exception types that use vtables

  Show description for e5f3c41
  tautschnig

  committed
  e5f3c41

  Copy full SHA for e5f3c41