Searched refs:used_variable_index (Results 1 – 1 of 1) sorted by relevance
2645 Index used_variable_index = 0; in get_used_variables_indices() local2657 used_indices(used_index) = used_variable_index; in get_used_variables_indices()2661 used_variable_index++; in get_used_variables_indices()2666 used_indices(used_index) = used_variable_index; in get_used_variables_indices()2668 used_variable_index++; in get_used_variables_indices()2672 used_variable_index++; in get_used_variables_indices()