1522 	struct cil_userrange *userrange = NULL;  in cil_gen_userrange()  local
1534 	cil_userrange_init(&userrange);  in cil_gen_userrange()
1536 	userrange->user_str = parse_current->next->data;  in cil_gen_userrange()
1539 		userrange->range_str = parse_current->next->next->data;  in cil_gen_userrange()
1541 		cil_levelrange_init(&userrange->range);  in cil_gen_userrange()
1543 		rc = cil_fill_levelrange(parse_current->next->next->cl_head, userrange->range);  in cil_gen_userrange()
1549 	ast_node->data = userrange;  in cil_gen_userrange()
1556 	cil_destroy_userrange(userrange);  in cil_gen_userrange()
1560 void cil_destroy_userrange(struct cil_userrange *userrange)  in cil_destroy_userrange()  argument
1562 	if (userrange == NULL) {  in cil_destroy_userrange()
1566 	if (userrange->range_str == NULL && userrange->range != NULL) {  in cil_destroy_userrange()
1567 		cil_destroy_levelrange(userrange->range);  in cil_destroy_userrange()
1570 	free(userrange);  in cil_destroy_userrange()