Tom> I have since changed this. For explicitly-typed values, I tried Tom> DW_OP_shr and DW_OP_shra identically. The type encodes the desired Tom> operation.
Jakub pinged me on irc to say that this is not what GCC actually emits. So, I am going to change GDB to follow. That is, GDB will pick a suitably-sized unsigned type to use for the LHS of DW_OP_shr. Tom
