During the discussion of the PR for JDK-8350983 it was pointed out that even with stop checks at each forward and backward branch, it could still take arbitrarily long for a snippet to notice a stop request (e.g., if the snippet was recursive).

To close this loophole, stop checks should also be added at the entry to every method. This would then create a hard limit on the amount of time it takes to notice a stop request to however long it takes to execute 65,535 bytes worth of bytecode.