Searched defs:saved_optimization_current_node (Results 1 – 2 of 2) sorted by relevance
1894 tree saved_optimization_current_node; in target_reinit() local
2038 tree saved_optimization_current_node; in target_reinit() local