max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/st_task_queue): handle null dependencies

Browse source
This commit is contained in:
Gabriel Ebner 2016-12-31 15:15:49 +01:00
parent 6fa246032f
commit c90530193f
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/library/st_task_queue.cpp
View file

@ -34,6 +34,7 @@ void st_task_queue::submit(generic_task_result const & t) {
std::vector<generic_task_result> deps;
try { deps = unwrap(t)->m_task->get_dependencies(); } catch (...) {}
for (auto & d : deps) {
if (!d) continue;
switch (unwrap(d)->m_state.load()) {
case task_result_state::FAILED:
unwrap(t)->m_state = task_result_state::FAILED;