1458 	struct cil_userrange *userrange = NULL;  in cil_gen_userrange()  local
1470 	cil_userrange_init(&userrange);  in cil_gen_userrange()
1472 	userrange->user_str = parse_current->next->data;  in cil_gen_userrange()
1475 		userrange->range_str = parse_current->next->next->data;  in cil_gen_userrange()
1477 		cil_levelrange_init(&userrange->range);  in cil_gen_userrange()
1479 		rc = cil_fill_levelrange(parse_current->next->next->cl_head, userrange->range);  in cil_gen_userrange()
1485 	ast_node->data = userrange;  in cil_gen_userrange()
1492 	cil_destroy_userrange(userrange);  in cil_gen_userrange()
1496 void cil_destroy_userrange(struct cil_userrange *userrange)  in cil_destroy_userrange()  argument
1498 	if (userrange == NULL) {  in cil_destroy_userrange()
1502 	if (userrange->range_str == NULL && userrange->range != NULL) {  in cil_destroy_userrange()
1503 		cil_destroy_levelrange(userrange->range);  in cil_destroy_userrange()
1506 	free(userrange);  in cil_destroy_userrange()