25     char *p = *ptr;  in read_typeset()  local
35         while (p < end && isspace(*p))  in read_typeset()
36             p++;  in read_typeset()
38         if (p == end)  in read_typeset()
41         if (*p == '~') {  in read_typeset()
45             p++;  in read_typeset()
46             while (p < end && isspace(*p))  in read_typeset()
47                 p++;  in read_typeset()
48             if (p == end)  in read_typeset()
52         if (*p == '{') {  in read_typeset()
56             p++;  in read_typeset()
60         if (*p == '}') {  in read_typeset()
66             p++;  in read_typeset()
70         if (*p == '*') {  in read_typeset()
74             p++;  in read_typeset()
78         if (*p == '-') {  in read_typeset()
82             p++;  in read_typeset()
86         if (*p == '#') {  in read_typeset()
87             while (p < end && *p != '\n')  in read_typeset()
88                 p++;  in read_typeset()
92         start = p;  in read_typeset()
93 …   while (p < end && !isspace(*p) && *p != ':' && *p != ';' && *p != '{' && *p != '}' && *p != '#')  in read_typeset()
94             p++;  in read_typeset()
96         if (p == start)  in read_typeset()
99         len = p - start;  in read_typeset()
138     } while (p < end && openparens);  in read_typeset()
140     if (p == end)  in read_typeset()
179     *ptr = p;  in read_typeset()
188     char *p = *ptr;  in read_classperms()  local
196     while (p < end && isspace(*p))  in read_classperms()
197         p++;  in read_classperms()
199     if (p == end || *p != ':')  in read_classperms()
201     p++;  in read_classperms()
207         while (p < end && isspace(*p))  in read_classperms()
208             p++;  in read_classperms()
210         if (p == end)  in read_classperms()
213         if (*p == '{') {  in read_classperms()
217             p++;  in read_classperms()
221         if (*p == '}') {  in read_classperms()
227             p++;  in read_classperms()
231         if (*p == '#') {  in read_classperms()
232             while (p < end && *p != '\n')  in read_classperms()
233                 p++;  in read_classperms()
237         start = p;  in read_classperms()
238         while (p < end && !isspace(*p) && *p != '{' && *p != '}' && *p != ';' && *p != '#')  in read_classperms()
239             p++;  in read_classperms()
241         if (p == start)  in read_classperms()
244         id = calloc(1, p - start + 1);  in read_classperms()
247         memcpy(id, start, p - start);  in read_classperms()
264     } while (p < end && openparens);  in read_classperms()
266     if (p == end)  in read_classperms()
273         while (p < end && isspace(*p))  in read_classperms()
274             p++;  in read_classperms()
276         if (p == end)  in read_classperms()
279         if (*p == '~') {  in read_classperms()
283             p++;  in read_classperms()
284             while (p < end && isspace(*p))  in read_classperms()
285                 p++;  in read_classperms()
286             if (p == end)  in read_classperms()
290         if (*p == '{') {  in read_classperms()
294             p++;  in read_classperms()
298         if (*p == '}') {  in read_classperms()
304             p++;  in read_classperms()
308         if (*p == '#') {  in read_classperms()
309             while (p < end && *p != '\n')  in read_classperms()
310                 p++;  in read_classperms()
314         start = p;  in read_classperms()
315         while (p < end && !isspace(*p) && *p != '{' && *p != '}' && *p != ';' && *p != '#')  in read_classperms()
316             p++;  in read_classperms()
318         if (p == start)  in read_classperms()
321         id = calloc(1, p - start + 1);  in read_classperms()
324         memcpy(id, start, p - start);  in read_classperms()
347     } while (p < end && openparens);  in read_classperms()
349     if (p == end)  in read_classperms()
364     *ptr = p;  in read_classperms()
375     char *p, *start;  in check_neverallows()  local
377     p = text;  in check_neverallows()
378     while (p < end) {  in check_neverallows()
379         while (p < end && isspace(*p))  in check_neverallows()
380             p++;  in check_neverallows()
382         if (*p == '#') {  in check_neverallows()
383             while (p < end && *p != '\n')  in check_neverallows()
384                 p++;  in check_neverallows()
388         start = p;  in check_neverallows()
389         while (p < end && !isspace(*p))  in check_neverallows()
390             p++;  in check_neverallows()
392         len = p - start;  in check_neverallows()
405         if (read_typeset(policydb, &p, end, &avrule->stypes, &avrule->flags))  in check_neverallows()
408         if (read_typeset(policydb, &p, end, &avrule->ttypes, &avrule->flags))  in check_neverallows()
411         if (read_classperms(policydb, &p, end, &avrule->perms))  in check_neverallows()
414         while (p < end && *p != ';')  in check_neverallows()
415             p++;  in check_neverallows()
417         if (p == end || *p != ';')  in check_neverallows()