1273 	struct cil_userrange *userrange = NULL;  in cil_gen_userrange()  local
1285 	cil_userrange_init(&userrange);  in cil_gen_userrange()
1287 	userrange->user_str = parse_current->next->data;  in cil_gen_userrange()
1290 		userrange->range_str = parse_current->next->next->data;  in cil_gen_userrange()
1292 		cil_levelrange_init(&userrange->range);  in cil_gen_userrange()
1294 		rc = cil_fill_levelrange(parse_current->next->next->cl_head, userrange->range);  in cil_gen_userrange()
1300 	ast_node->data = userrange;  in cil_gen_userrange()
1308 	cil_destroy_userrange(userrange);  in cil_gen_userrange()
1312 void cil_destroy_userrange(struct cil_userrange *userrange)  in cil_destroy_userrange()  argument
1314 	if (userrange == NULL) {  in cil_destroy_userrange()
1318 	if (userrange->range_str == NULL && userrange->range != NULL) {  in cil_destroy_userrange()
1319 		cil_destroy_levelrange(userrange->range);  in cil_destroy_userrange()
1322 	free(userrange);  in cil_destroy_userrange()