That song was recorded in the early 80s. I don't think technology then was to the point yet where you could do pitch shifting effects with a pedal. That being said it was probably some rack effect. On the Boss Book CD they have a very convincing cover of that solo using the PS-5.