[msan] Tests for ICmp handling.