aleclearmind

Please attach a reproducer. Thanks for reporting this.

We're in the process of updating the relevant part of the code. I'll get back to this one `feature/libtcg` is in.

I know get a different error, but the original problem has been solved. Here's the stack trace: ``` Abort at $ORCHESTRA_ROOT/sources/revng/include/revng/Model/VerifyHelper.h:177: Register 'st0_x86' must not be returned from a raw...

This bug has been fixed in a99edd9. I can now successfully run the command `revng artifact --analyze decompile-to-single-file bzImage` (66 minutes). Thanks for reporting this.