RISC-V Disassembler/translator instruction decoding disagreement


When running QEMU V3.1.0 for platform  RISC-V, 64bit, Spike V1.10 with "-d in_asm -singlestep -D qemu_log.txt", my (faulty) test code brought up this message in the logs:

  0x000000008002cade:  051300009517e2bf  illegal         
  Disassembler disagrees with translator over instruction decoding
  Please report this to <email address hidden>


You may want to resolve the disagreement.

Axel