Changed the implementation of undefined behavior of type x[index++]=index