Fix Slither fps

consensus-shipyard · Dec 18, 2023 · ac35129 · ac35129
1 parent 156e8f6
commit ac35129
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/src/gateway/GatewayManagerFacet.sol b/src/gateway/GatewayManagerFacet.sol
@@ -151,6 +151,7 @@ contract GatewayManagerFacet is GatewayActorModifiers, ReentrancyGuard {
             // prevent spamming if there's no value to fund.
             revert InvalidCrossMsgValue();
         }
+        // slither-disable-next-line unused-return
         (bool registered, ) = LibGateway.getSubnet(subnetId);
         if (!registered) {
             revert NotRegisteredSubnet();

diff --git a/src/gateway/GatewayMessengerFacet.sol b/src/gateway/GatewayMessengerFacet.sol
@@ -111,7 +111,7 @@ contract GatewayMessengerFacet is GatewayActorModifiers {
         //  to propagate, the user won't be able to reclaim funds. That's one of the
         //  reasons xnet messages are disabled by default.
 
-        bool reject;
+        bool reject = false;
         if (applyType == IPCMsgType.BottomUp) {
             // We're traversing up, so if we're the first hop, we reject if the subnet was ERC20.
             // If we're not the first hop, a child propagated this to us, they made a mistake and

diff --git a/src/gateway/GatewayRouterFacet.sol b/src/gateway/GatewayRouterFacet.sol
@@ -197,6 +197,7 @@ contract GatewayRouterFacet is GatewayActorModifiers {
         }
 
         // Now, let's find out the directionality of this message and act accordingly.
+        // slither-disable-next-line uninitialized-local
         SupplySource memory supplySource;
         IPCMsgType applyType = crossMsg.message.applyType(s.networkName);
         if (applyType == IPCMsgType.BottomUp) {