are there any tools for minimizing rustc crash reproducers?
@tmandry have you seen @pnkfelix's post? https://blog.pnkfx.org/blog/2019/11/18/rust-bug-minimization-patterns/
ah I forgot, I'd bookmarked that with the intention of reading it at some point :smile:
I'll look through it; thanks!
to be fair, that post does not cover any tools
apart from Emacs macros and
rustc pretty-printers for automatically rewriting source code in certain ways
I've heard that creduce is not terrible, I think
(though never actually used it myself)
I have used both C-Reduce (with mixed success, but it does reduce rust code); and https://github.com/jethrogb/rust-reduce/ with some success to minimize the 13KLOC
combine parser combinator library into 100-150 lines or so for the ICE in #67684 (it wasn't easy) -- using both in tandem should be a good combination
I do hope at some point to look into encoding the techniques from my blog post into transformations embedded in either C-Reduce or rust-reduce.