20 static int read_typeset(policydb_t *policydb, char **ptr, char *end,  in read_typeset()  argument
35         while (p < end && isspace(*p))  in read_typeset()
38         if (p == end)  in read_typeset()
46             while (p < end && isspace(*p))  in read_typeset()
48             if (p == end)  in read_typeset()
87             while (p < end && *p != '\n')  in read_typeset()
93 …   while (p < end && !isspace(*p) && *p != ':' && *p != ';' && *p != '{' && *p != '}' && *p != '#')  in read_typeset()
138     } while (p < end && openparens);  in read_typeset()
140     if (p == end)  in read_typeset()
182 static int read_classperms(policydb_t *policydb, char **ptr, char *end,  in read_classperms()  argument
193     while (p < end && isspace(*p))  in read_classperms()
196     if (p == end || *p != ':')  in read_classperms()
204         while (p < end && isspace(*p))  in read_classperms()
207         if (p == end)  in read_classperms()
229             while (p < end && *p != '\n')  in read_classperms()
235         while (p < end && !isspace(*p) && *p != '{' && *p != '}' && *p != ';' && *p != '#')  in read_classperms()
262     } while (p < end && openparens);  in read_classperms()
264     if (p == end)  in read_classperms()
271         while (p < end && isspace(*p))  in read_classperms()
274         if (p == end)  in read_classperms()
282             while (p < end && isspace(*p))  in read_classperms()
284             if (p == end)  in read_classperms()
307             while (p < end && *p != '\n')  in read_classperms()
313         while (p < end && !isspace(*p) && *p != '{' && *p != '}' && *p != ';' && *p != '#')  in read_classperms()
348     } while (p < end && openparens);  in read_classperms()
350     if (p == end)  in read_classperms()
377 static int check_neverallows(policydb_t *policydb, char *text, char *end)  in check_neverallows()  argument
386     while (p < end) {  in check_neverallows()
387         while (p < end && isspace(*p))  in check_neverallows()
391             while (p < end && *p != '\n')  in check_neverallows()
397         while (p < end && !isspace(*p))  in check_neverallows()
413         if (read_typeset(policydb, &p, end, &avrule->stypes, &avrule->flags))  in check_neverallows()
416         if (read_typeset(policydb, &p, end, &avrule->ttypes, &avrule->flags))  in check_neverallows()
419         if (read_classperms(policydb, &p, end, &avrule->perms))  in check_neverallows()
422         while (p < end && *p != ';')  in check_neverallows()
425         if (p == end || *p != ';')  in check_neverallows()
458     char *text, *end;  in check_neverallows_file()  local
471     end = text + sb.st_size;  in check_neverallows_file()
478     return check_neverallows(policydb, text, end);  in check_neverallows_file()
483     char *text, *end;  in check_neverallows_string()  local
485     end = text + len;  in check_neverallows_string()
486     return check_neverallows(policydb, text, end);  in check_neverallows_string()