diff --git a/search/Power.cc b/search/Power.cc
index 814f29bf..74d63a7a 100644
--- a/search/Power.cc
+++ b/search/Power.cc
@@ -665,18 +665,19 @@ Power::inferedWhen(FuncExpr *expr,
       return negate(expr->right());
     if (isPortRef(expr->right(), from_port))
       return negate(expr->left());
+    break;
   }
   case FuncExpr::op_and: {
     if (isPortRef(expr->left(), from_port))
       return expr->right()->copy();
     if (isPortRef(expr->right(), from_port))
       return expr->left()->copy();
+    break;
   }
   case FuncExpr::op_one:
   case FuncExpr::op_zero:
-   return nullptr;
+    break;
   }
-  // gcc not too smaht
   return nullptr;
 }
 
diff --git a/util/HashSet.hh b/util/HashSet.hh
index 3b7ddeb2..e4297072 100644
--- a/util/HashSet.hh
+++ b/util/HashSet.hh
@@ -18,6 +18,7 @@
 #define STA_HASHSET_H
 
 #include <stddef.h>  // size_t
+#include "Hash.hh"
 
 namespace sta {