tequilaOS/platform_external_selinux
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

libsepol: Create the macro ebitmap_is_empty() and use it where needed

Browse source 
Create the macro ebitmap_is_empty() to check if an ebitmap is empty.
Use ebitmap_is_empty(), instead of ebitmap_cardinality() or
ebitmap_length(), to check whether or not an ebitmap is empty.

Signed-off-by: James Carter <jwcart2@gmail.com>
Acked-by: Ondrej Mosnacek <omosnace@redhat.com>
This commit is contained in:
James Carter 2020-02-26 14:16:59 -05:00 committed by Ondrej Mosnacek
parent 6968ea9775
commit d1d81b6c1f
6 changed files with 28 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
libsepol/include/sepol/policydb/ebitmap.h
View file

@ -40,6 +40,7 @@ typedef struct ebitmap {
unsigned int cardinality; /* cached value of cardinality */
} ebitmap_t;
#define ebitmap_is_empty(e) (((e)->highbit) == 0)
#define ebitmap_length(e) ((e)->highbit)
#define ebitmap_startbit(e) ((e)->node ? (e)->node->startbit : 0)
#define ebitmap_startnode(e) ((e)->node)

12
libsepol/src/assertion.c
View file

@ -234,7 +234,7 @@ static int report_assertion_avtab_matches(avtab_key_t *k, avtab_datum_t *d, void
if (rc)
goto oom;
if (ebitmap_length(&src_matches) == 0)
if (ebitmap_is_empty(&src_matches))
goto exit;
rc = ebitmap_and(&tgt_matches, &avrule->ttypes.types, &p->attr_type_map[k->target_type -1]);
@ -249,14 +249,14 @@ static int report_assertion_avtab_matches(avtab_key_t *k, avtab_datum_t *d, void
if (rc)
goto oom;
if (ebitmap_length(&self_matches) > 0) {
if (!ebitmap_is_empty(&self_matches)) {
rc = ebitmap_union(&tgt_matches, &self_matches);
if (rc)
goto oom;
}
}
if (ebitmap_length(&tgt_matches) == 0)
if (ebitmap_is_empty(&tgt_matches))
goto exit;
for (cp = avrule->perms; cp; cp = cp->next) {
@ -394,7 +394,7 @@ static int check_assertion_extended_permissions(avrule_t *avrule, avtab_t *avtab
if (rc)
goto oom;
if (ebitmap_length(&src_matches) == 0)
if (ebitmap_is_empty(&src_matches))
goto exit;
rc = ebitmap_and(&tgt_matches, &avrule->ttypes.types,
@ -411,14 +411,14 @@ static int check_assertion_extended_permissions(avrule_t *avrule, avtab_t *avtab
if (rc)
goto oom;
if (ebitmap_length(&self_matches) > 0) {
if (!ebitmap_is_empty(&self_matches)) {
rc = ebitmap_union(&tgt_matches, &self_matches);
if (rc)
goto oom;
}
}
if (ebitmap_length(&tgt_matches) == 0)
if (ebitmap_is_empty(&tgt_matches))
goto exit;
for (cp = avrule->perms; cp; cp = cp->next) {

2
libsepol/src/expand.c
View file

@ -2504,7 +2504,7 @@ int type_set_expand(type_set_t * set, ebitmap_t * t, policydb_t * p,
unsigned int i;
ebitmap_t types, neg_types;
ebitmap_node_t *tnode;
unsigned char expand = alwaysexpand || ebitmap_length(&set->negset) || set->flags;
unsigned char expand = alwaysexpand || !ebitmap_is_empty(&set->negset) || set->flags;
type_datum_t *type;
int rc =-1;

10
libsepol/src/kernel_to_cil.c
View file

@ -1101,7 +1101,7 @@ static int write_sensitivitycategory_rules_to_cil(FILE *out, struct policydb *pd
}
if (level->isalias) continue;
if (ebitmap_cardinality(&level->level->cat) > 0) {
if (!ebitmap_is_empty(&level->level->cat)) {
cats = cats_ebitmap_to_str(&level->level->cat, pdb->p_cat_val_to_name);
sepol_printf(out, "(sensitivitycategory %s %s)\n", name, cats);
free(cats);
@ -1502,7 +1502,7 @@ static int write_type_attribute_sets_to_cil(FILE *out, struct policydb *pdb)
if (attr->flavor != TYPE_ATTRIB) continue;
name = pdb->p_type_val_to_name[i];
typemap = &pdb->attr_type_map[i];
if (ebitmap_cardinality(typemap) == 0) continue;
if (ebitmap_is_empty(typemap)) continue;
types = ebitmap_to_str(typemap, pdb->p_type_val_to_name, 1);
if (!types) {
rc = -1;
@ -1879,7 +1879,7 @@ static char *level_to_str(struct policydb *pdb, struct mls_level *level)
char *sens_str = pdb->p_sens_val_to_name[level->sens - 1];
char *cats_str;
if (ebitmap_cardinality(cats) > 0) {
if (!ebitmap_is_empty(cats)) {
cats_str = cats_ebitmap_to_str(cats, pdb->p_cat_val_to_name);
level_str = create_str("(%s %s)", 2, sens_str, cats_str);
free(cats_str);
@ -2188,7 +2188,7 @@ static int write_role_decl_rules_to_cil(FILE *out, struct policydb *pdb)
goto exit;
}
types = &role->types.types;
if (types && (ebitmap_cardinality(types) > 0)) {
if (types && !ebitmap_is_empty(types)) {
rc = strs_init(&type_strs, pdb->p_types.nprim);
if (rc != 0) {
goto exit;
@ -2373,7 +2373,7 @@ static int write_user_decl_rules_to_cil(FILE *out, struct policydb *pdb)
}
roles = &user->roles.roles;
if (roles && (ebitmap_cardinality(roles) > 0)) {
if (roles && !ebitmap_is_empty(roles)) {
rc = strs_init(&role_strs, pdb->p_roles.nprim);
if (rc != 0) {
goto exit;

8
libsepol/src/kernel_to_conf.c
View file

@ -1090,7 +1090,7 @@ static int write_level_rules_to_conf(FILE *out, struct policydb *pdb)
}
if (level->isalias) continue;
if (ebitmap_cardinality(&level->level->cat) > 0) {
if (!ebitmap_is_empty(&level->level->cat)) {
cats = cats_ebitmap_to_str(&level->level->cat, pdb->p_cat_val_to_name);
sepol_printf(out, "level %s:%s;\n", name, cats);
free(cats);
@ -1859,7 +1859,7 @@ static char *level_to_str(struct policydb *pdb, struct mls_level *level)
char *sens_str = pdb->p_sens_val_to_name[level->sens - 1];
char *cats_str;
if (ebitmap_cardinality(cats) > 0) {
if (!ebitmap_is_empty(cats)) {
cats_str = cats_ebitmap_to_str(cats, pdb->p_cat_val_to_name);
level_str = create_str("%s:%s", 2, sens_str, cats_str);
free(cats_str);
@ -2145,7 +2145,7 @@ static int write_role_decl_rules_to_conf(FILE *out, struct policydb *pdb)
rc = -1;
goto exit;
}
if (ebitmap_cardinality(&role->types.types) == 0) continue;
if (ebitmap_is_empty(&role->types.types)) continue;
types = ebitmap_to_str(&role->types.types, pdb->p_type_val_to_name, 1);
if (!types) {
rc = -1;
@ -2298,7 +2298,7 @@ static int write_user_decl_rules_to_conf(FILE *out, struct policydb *pdb)
}
sepol_printf(out, "user %s", name);
if (ebitmap_cardinality(&user->roles.roles) > 0) {
if (!ebitmap_is_empty(&user->roles.roles)) {
roles = ebitmap_to_str(&user->roles.roles,
pdb->p_role_val_to_name, 1);
if (!roles) {

22
libsepol/src/module_to_cil.c
View file

@ -829,8 +829,8 @@ static int cil_print_attr_strs(int indent, struct policydb *pdb, int is_type, vo
pos = &ts->types;
neg = &ts->negset;
flags = ts->flags;
has_positive = pos && (ebitmap_length(pos) > 0);
has_negative = neg && (ebitmap_length(neg) > 0);
has_positive = pos && !ebitmap_is_empty(pos);
has_negative = neg && !ebitmap_is_empty(neg);
} else {
kind = "role";
val_to_name = pdb->p_role_val_to_name;
@ -838,7 +838,7 @@ static int cil_print_attr_strs(int indent, struct policydb *pdb, int is_type, vo
pos = &rs->roles;
neg = NULL;
flags = rs->flags;
has_positive = pos && (ebitmap_length(pos) > 0);
has_positive = pos && !ebitmap_is_empty(pos);
has_negative = 0;
}
@ -1056,7 +1056,7 @@ static int process_typeset(struct policydb *pdb, struct type_set *ts, struct lis
*names = NULL;
*num_names = 0;
if (ebitmap_length(&ts->negset) > 0 || ts->flags != 0) {
if (!ebitmap_is_empty(&ts->negset) || ts->flags != 0) {
rc = set_to_names(pdb, 1, ts, attr_list, names, num_names);
if (rc != 0) {
goto exit;
@ -2069,7 +2069,7 @@ static int class_order_to_cil(int indent, struct policydb *pdb, struct ebitmap o
struct ebitmap_node *node;
uint32_t i;
if (ebitmap_cardinality(&order) == 0) {
if (ebitmap_is_empty(&order)) {
return 0;
}
@ -2175,7 +2175,7 @@ static int role_to_cil(int indent, struct policydb *pdb, struct avrule_block *UN
cil_println(indent, "(roleattribute %s)", key);
}
if (ebitmap_cardinality(&role->roles) > 0) {
if (!ebitmap_is_empty(&role->roles)) {
cil_indent(indent);
cil_printf("(roleattributeset %s (", key);
ebitmap_for_each_positive_bit(&role->roles, node, i) {
@ -2269,7 +2269,7 @@ static int type_to_cil(int indent, struct policydb *pdb, struct avrule_block *UN
cil_printf(")\n");
}
if (ebitmap_cardinality(&type->types) > 0) {
if (!ebitmap_is_empty(&type->types)) {
cil_indent(indent);
cil_printf("(typeattributeset %s (", key);
ebitmap_to_cil(pdb, &type->types, SYM_TYPES);
@ -2372,7 +2372,7 @@ static int sens_to_cil(int indent, struct policydb *pdb, struct avrule_block *UN
}
}
if (ebitmap_cardinality(&level->level->cat) > 0) {
if (!ebitmap_is_empty(&level->level->cat)) {
cil_indent(indent);
cil_printf("(sensitivitycategory %s (", key);
ebitmap_to_cil(pdb, &level->level->cat, SYM_CATS);
@ -2387,7 +2387,7 @@ static int sens_order_to_cil(int indent, struct policydb *pdb, struct ebitmap or
struct ebitmap_node *node;
uint32_t i;
if (ebitmap_cardinality(&order) == 0) {
if (ebitmap_is_empty(&order)) {
return 0;
}
@ -2427,7 +2427,7 @@ static int cat_order_to_cil(int indent, struct policydb *pdb, struct ebitmap ord
struct ebitmap_node *node;
uint32_t i;
if (ebitmap_cardinality(&order) == 0) {
if (ebitmap_is_empty(&order)) {
rc = 0;
goto exit;
}
@ -2478,7 +2478,7 @@ static int level_to_cil(struct policydb *pdb, struct mls_level *level)
cil_printf("(%s", pdb->p_sens_val_to_name[level->sens - 1]);
if (ebitmap_cardinality(map) > 0) {
if (!ebitmap_is_empty(map)) {
cil_printf("(");
ebitmap_to_cil(pdb, map, SYM_CATS);
cil_printf(")");