When verifying stack usage for basic blocks, if the overall_push overflows, and max_push_size is set in the verifier configuration, this should result in a VALUE_STACK_PUSH_OVERFLOW error. But the verifier will let it pass currently. (This condition is satisfiable when usize is 64bit, but not when usize is 32bit).
Motivation
When verifying stack usage for basic blocks, if the
overall_pushoverflows, andmax_push_sizeis set in the verifier configuration, this should result in aVALUE_STACK_PUSH_OVERFLOWerror. But the verifier will let it pass currently. (This condition is satisfiable when usize is 64bit, but not when usize is 32bit).Have you read the Contributing Guidelines on pull requests?
Yes.
Test Plan
All bytecode-verifier-tests passed.