A gunman was killed during an assault against a police station while four policemen were injured in a separate attack against their patrol in eastern Saudi Arabia