Checks whether right shift extends the sign bit.

Patch by Thomas Wouters <thomas@xs4all.net> with small changes of mine
(in main(), use return instead of exit).

Closes patch #100832