Missing bounds check for integer signal assignment