code after verifyProof() call becomes unreachable

[0xbok]

I am not able to inherit the latest version of smart contract verifier for Groth16 in another contract. The reason being that verifyProof() function executes entirely in assembly. On calling this function from another function, all the subsequent statements are marked as "Unreachable code". Tested this with foundry. For this refactor, it started working correctly:

    function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[2] calldata _pubSignals) public view returns (bool) {
+       bool isValid;
        assembly {
            ...
-            let isValid := checkPairing(_pA, _pB, _pC, _pubSignals, pMem)
+            isValid := checkPairing(_pA, _pB, _pC, _pubSignals, pMem)
         }
+      return isValid;
     }

[Arvolear]

Unfortunately, this is a common snarkjs limitation, you may check this template that has been rewritten to memory to allow for inheritance and verify() function calls in the same context.