Code

Remove incomplete type constructors#2201

Code

Merged

kroening merged 6 commits intodevelopdiffblue/cbmc:developfrom

remove-incomplete-type-constructorsdiffblue/cbmc:remove-incomplete-type-constructorsCopy head branch name to clipboard

May 30, 2018

Commits

Commits on May 29, 2018

• remove symbol_typet() constructor, which produces an incomplete object

  

  Daniel Kroening

  committed
  516ed14

  Copy full SHA for 516ed14

• remove tag_typet() constructor, which produces an incomplete object

  

  Daniel Kroening

  committed
  72f63f3

  Copy full SHA for 72f63f3

• remove array_typet() constructor, which produces an incomplete object

  

  Daniel Kroening

  committed
  f92083d

  Copy full SHA for f92083d

• remove range_typet() constructor, which produces an incomplete object

  

  Daniel Kroening

  committed
  e7c52e4

  Copy full SHA for e7c52e4

• remove vector_typet() constructor, which produces an incomplete object

  

  Daniel Kroening

  committed
  25d393b

  Copy full SHA for 25d393b

• remove mathematical_typet() constructor, which produces an incomplete object

  

  Daniel Kroening

  committed
  1fe7cd7

  Copy full SHA for 1fe7cd7