C++ (Cpp) typet::subtypes示例

示例#1

文件： cpp_typecheck_declaration.cpp 项目： ashokkelur/CBMC-With-DSP-C

bool cpp_typecheckt::convert_typedef(typet &type)
{
  if(type.id()==ID_merged_type &&
     type.subtypes().size()>=2 &&
     type.subtypes()[0].id()==ID_typedef)
  {
    type.subtypes().erase(type.subtypes().begin());
    return true;
  }

  return false;
}