- fprintf (F, "SymC %s", get_id_str(get_SymConst_name(n)));
- } else if (get_SymConst_kind(n) == symconst_addr_ent) {
- assert(get_SymConst_entity(n));
- assert(is_entity(get_SymConst_entity(n)));
- fprintf (F, "SymC &%s", get_entity_name(get_SymConst_entity(n)));
- } else {
- assert(get_kind(get_SymConst_type(n)) == k_type);
- assert(get_type_ident(get_SymConst_type(n)));
- fprintf (F, "SymC %s ", get_type_name_ex(get_SymConst_type(n), &bad));
- if (get_SymConst_kind(n) == symconst_type_tag)
- fprintf (F, "tag");
- else
- fprintf (F, "size");
+ fprintf(F, "SymC %s", get_id_str(get_SymConst_name(n)));
+ break;
+ case symconst_addr_ent:
+ fprintf(F, "SymC &%s", get_entity_name(get_SymConst_entity(n)));
+ break;
+ case symconst_type_tag:
+ fprintf(F, "SymC %s tag", get_type_name_ex(get_SymConst_type(n), &bad));
+ break;
+ case symconst_type_size:
+ fprintf(F, "SymC %s size", get_type_name_ex(get_SymConst_type(n), &bad));
+ break;
+ case symconst_type_align:
+ fprintf(F, "SymC %s align", get_type_name_ex(get_SymConst_type(n), &bad));
+ break;
+ case symconst_enum_const:
+ fprintf(F, "SymC %s enum", get_enumeration_name(get_SymConst_enum(n)));
+ break;