Stream: t-compiler/help

Topic: rust minimizers

tmandry (Jan 06 2020 at 23:01, on Zulip):

are there any tools for minimizing rustc crash reproducers?

simulacrum (Jan 06 2020 at 23:14, on Zulip):

@tmandry have you seen @pnkfelix's post?

tmandry (Jan 06 2020 at 23:16, on Zulip):

ah I forgot, I'd bookmarked that with the intention of reading it at some point :smile:

tmandry (Jan 06 2020 at 23:17, on Zulip):

I'll look through it; thanks!

pnkfelix (Jan 07 2020 at 02:49, on Zulip):

to be fair, that post does not cover any tools

pnkfelix (Jan 07 2020 at 02:50, on Zulip):

apart from Emacs macros and rustc pretty-printers for automatically rewriting source code in certain ways

simulacrum (Jan 07 2020 at 03:00, on Zulip):

I've heard that creduce is not terrible, I think

simulacrum (Jan 07 2020 at 03:00, on Zulip):

(though never actually used it myself)

lqd (Jan 07 2020 at 09:22, on Zulip):

I have used both C-Reduce (with mixed success, but it does reduce rust code); and 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

pnkfelix (Jan 07 2020 at 22:30, on Zulip):

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.

Last update: Sep 18 2020 at 20:00UTC