Searched refs:already_checked (Results 1 – 3 of 3) sorted by relevance
107 static int already_checked = 0; in _get_tcl_lib_path() local109 if (already_checked == 0) { in _get_tcl_lib_path()156 already_checked = 1; in _get_tcl_lib_path()
2619 std::set<uint32_t> already_checked; in Run() local2633 if (!already_checked.insert(id).second) { in Run()