On Saturday, 29 October 2022 12:33:50 CST Jeff Law wrote: > > +#ifdef __riscv_e > > +# error "rv32e unsupported" > > +#endif > > error "rv32e and rv64e unsupported" would probably be a better error > here. But it's probably not a big deal.
Fixed in v5. > Do you have commit access? If so, go ahead and commit the change. Else > let me know and I can do it for you. I don't have commit access, so thank you for doing it for me!