I'm trying to analyze some EVM bytecode, comparing it with Java bytecode.
The Java specification states the following in the JVM specification §4.9.2. Structural Constraints:
If an instruction can be executed along several different execution paths, the operand stack must have the same depth (§2.6.2) prior to the execution of the instruction, regardless of the path taken.
So for any given instruction the operand stack has a well-defined size.
Now I wonder whether the same is true for EVM bytecode?