aboutsummaryrefslogtreecommitdiffstats
path: root/common/placer1.cc
diff options
context:
space:
mode:
authorDavid Shah <dave@ds0.me>2020-06-29 16:39:31 +0100
committerDavid Shah <dave@ds0.me>2020-06-29 16:39:31 +0100
commit32e655d0afcc01d7a04aca0f1c5be39140e21335 (patch)
treef0f2d52a52536995321c7b4a1b133165b08b3a78 /common/placer1.cc
parent929a1cc7e4b0327e75212e4cabd6a60ef21ea1d9 (diff)
downloadnextpnr-32e655d0afcc01d7a04aca0f1c5be39140e21335.tar.gz
nextpnr-32e655d0afcc01d7a04aca0f1c5be39140e21335.tar.bz2
nextpnr-32e655d0afcc01d7a04aca0f1c5be39140e21335.zip
placer1: Unlock even if placement fails
Prevents a hang during routing when using --force Fixes #462 Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'common/placer1.cc')
-rw-r--r--common/placer1.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/common/placer1.cc b/common/placer1.cc
index 1ba50e28..92f42ba7 100644
--- a/common/placer1.cc
+++ b/common/placer1.cc
@@ -1256,6 +1256,7 @@ bool placer1(Context *ctx, Placer1Cfg cfg)
#ifndef NDEBUG
ctx->check();
#endif
+ ctx->unlock();
return false;
}
}
@@ -1276,6 +1277,7 @@ bool placer1_refine(Context *ctx, Placer1Cfg cfg)
#ifndef NDEBUG
ctx->check();
#endif
+ ctx->unlock();
return false;
}
}