diff --git a/common/kernel/util.h b/common/kernel/util.h
index 0dc8a816..424955cd 100644
--- a/common/kernel/util.h
+++ b/common/kernel/util.h
@@ -113,7 +113,7 @@ bool boolstr_or_default(const dict<KeyType, Property> &ct, const KeyType &key, b
     if (found == ct.end())
         return def;
     if (!found->second.is_string)
-        bool(found->second.as_int64());
+        return bool(found->second.as_int64());
     auto str = found->second.as_string();
     if (str == "0" || boost::iequals(str, "false"))
         return false;
diff --git a/himbaechel/uarch/xilinx/pack_carry.cc b/himbaechel/uarch/xilinx/pack_carry.cc
index 5382f3de..0b0e9c45 100644
--- a/himbaechel/uarch/xilinx/pack_carry.cc
+++ b/himbaechel/uarch/xilinx/pack_carry.cc
@@ -275,7 +275,7 @@ void XC7Packer::pack_carries()
             NetInfo *c4_di = c4->getPort(ctx->idf("DI[%d]", z));
             // Keep track of the total LUT input count; cannot exceed five or the LUTs cannot be packed together
             pool<IdString> unique_lut_inputs;
-            int s_inputs = 0, d_inputs = 0;
+            int s_inputs = 0;
             // Check that S and DI are validy and unqiuely driven by LUTs
             // FIXME: in multiple fanout cases, cell duplication will probably be cheaper
             // than feed-throughs
@@ -301,7 +301,6 @@ void XC7Packer::pack_carries()
                         NetInfo *ix = di_lut->getPort(ctx->idf("I%d", j));
                         if (ix) {
                             unique_lut_inputs.insert(ix->name);
-                            d_inputs++;
                         }
                     }
                 }
diff --git a/himbaechel/uarch/xilinx/pack_io.cc b/himbaechel/uarch/xilinx/pack_io.cc
index d6d2f11c..0b52d902 100644
--- a/himbaechel/uarch/xilinx/pack_io.cc
+++ b/himbaechel/uarch/xilinx/pack_io.cc
@@ -335,7 +335,6 @@ void XC7Packer::pack_io()
     }
     flush_cells();
     pool<BelId> used_io_bels;
-    int unconstr_io_count = 0;
     for (auto &iob : pad_and_buf) {
         CellInfo *pad = iob.first;
         // Process location constraints
@@ -353,8 +352,6 @@ void XC7Packer::pack_io()
         }
         if (pad->attrs.count(id_BEL)) {
             used_io_bels.insert(ctx->getBelByNameStr(pad->attrs.at(id_BEL).as_string()));
-        } else {
-            ++unconstr_io_count;
         }
     }
     // Constrain unconstrained IO
@@ -362,7 +359,6 @@ void XC7Packer::pack_io()
         CellInfo *pad = iob.first;
         if (!pad->attrs.count(id_BEL)) {
             log_error("FIXME: unconstrained IO not supported (pad %s)\n", ctx->nameOf(pad));
-            ;
         }
     }
     // Decompose macro IO primitives to smaller primitives that map logically to the actual IO Bels