Searched refs:cil_printf (Results 1 – 1 of 1) sorted by relevance
83 static void cil_printf(const char *fmt, ...) { in cil_printf() function514 cil_printf("(%s ", pdb->p_sens_val_to_name[level->sens - sens_offset]); in semantic_level_to_cil()517 cil_printf("("); in semantic_level_to_cil()522 cil_printf("%s", pdb->p_cat_val_to_name[cat->low - 1]); in semantic_level_to_cil()524 …cil_printf("range %s %s", pdb->p_cat_val_to_name[cat->low - 1], pdb->p_cat_val_to_name[cat->high -… in semantic_level_to_cil()528 cil_printf(" "); in semantic_level_to_cil()533 cil_printf(")"); in semantic_level_to_cil()536 cil_printf(")"); in semantic_level_to_cil()689 cil_printf("(%sattributeset %s ", statement, attr); in cil_print_attr_strs()692 cil_printf("(all)"); in cil_print_attr_strs()[all …]