Code

replace incomplete compound types#3643

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

incomplete_compound_typesdiffblue/cbmc:incomplete_compound_typesCopy head branch name to clipboard

Jan 8, 2019

Commits

Commits on Jan 8, 2019

• replace incomplete_struct/_union/_c_enum by a flag in struct_/union_/c_enum_type

  Show description for f9c3236
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  f9c3236

  Copy full SHA for f9c3236

• the namespacet::follow_tag(...) methods now return the corresponding compound type

  Show description for 4e031ff
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  4e031ff

  Copy full SHA for 4e031ff