Added efficient optimization -- badding all functions processed tasks

This commit is contained in:
2018-04-26 12:58:13 +03:00
parent aaa51e009c
commit af0343076c

View File

@@ -526,10 +526,16 @@ void process_task_lists() {
}
}
}*/
// Делаем плохими ВСЕ функции без учёта того, порждают ли они
// минимальный класс. Очень опасно! Должны гарантировать, что
// классы меньше быть не могут, потому что мы их всех уже
// перебрали
// иначе ДОЛЖНО быть в if ( is_need_append )
for (auto&& func: func_class)
bad_functions.insert(func);
if ( is_need_append ) {
shared_function_classes.push_back(func_class);
for (auto&& func: func_class)
bad_functions.insert(func);
}
for (auto&& to_remove: functions_to_remove) {
shared_function_classes.erase(to_remove);