[ICE]: Accessing the array after push causes error

[Subway2023]

sold version: sold 0.77.0+commit.32833737.Linux.g++

contract C {
    struct S {
        uint[] x;
    }
    S s;
	constructor() {
		s.x.push();
		s.x.push();
		s.x.push();
		s.x.push();
	}
    function f(bool b) public {
        if (b)
            s.x[2] &= 0;
    }
}

Instruction .FRAGMENT at :123:1: 
  Instruction PUSHCONT at :125:2:     Instruction MODPOW2 at :140:3: Operation parameter arg 0 has the following problem: Parameter value is out of range