C-Reduce

289 posts

C-Reduce

@creduce

I am C-Reduce, the shrinker of C/C++ programs.

Salt Lake City, UT, USA Katılım Haziran 2012

69 Takip Edilen487 Takipçiler

C-Reduce@creduce·12 Ara

Always happy to help!

LaurieWired@lauriewired

One contestant experimented with C-Reduce; a way to search for C++ programs that create unusual compiler behavior. Maximizing the fitness function for error as a reward, no templates, no pre-processor hacks. Just nested parenthesis causing exponential error output!

English

C-Reduce retweetledi

Lee Wei@leewei666·4 Mar

Learn LLVM until I find a compiler job | Day 29 Both creduce and llvm-reduce are still running. Hopefully, the can finish by tomorrow morning.

English

184

C-Reduce retweetledi

Valentin Churavy@vchuravy·16 Kas

@creduce My favorite version of this is github.com/maleadt/creduc… which can take an entire tree of Julia packages and apply creduce to it . Now I just need to figure out how to use Julia's parser to do smarter rewrites.

English

C-Reduce@creduce·16 Kas

"You can use C-Reduce for any language" by Max Bernstein. bernsteinbear.com/blog/creduce/

English

C-Reduce retweetledi

Colin Percival@cperciva·17 Tem

Running creduce to try to minimize a test case for "clang produces different binaries when building natively on i386 vs cross-building from amd64". Only reduced from 2346 to 1727 lines so far, which makes me think this bug is hard to trigger.

English

C-Reduce@creduce·27 Nis

@_osa1 @cfbolz @mraleph I'm ready when you are!

English

C-Reduce@creduce·15 Oca

@JethroGB @moyix @bjg Actually, C-Reduce has a lot of tactics that are specific to C/C++ code. If you're reducing something that is not C/C++ code, you can disable all those passes with the `--not-c` command-line option.

English

Jethro Beekman@JethroGB·10 Oca

@moyix @bjg Creduce doesn't really have anything c-specific. Any text format should work

English

178

Brendan Dolan-Gavitt@moyix·10 Oca

Does such a thing as CReduce for a Python script exist? (Or can CReduce be abused into working on Python code?)

English

3.3K

C-Reduce@creduce·15 Oca

I'll try anything!

Brendan Dolan-Gavitt@moyix

Does such a thing as CReduce for a Python script exist? (Or can CReduce be abused into working on Python code?)

English

526

C-Reduce retweetledi

Serpent7776@serpent7776·7 Eki

I tried creduce to reduce a segfaulting test case and it reduced it to this 👍 #creduce #screenshotsaturday

English

110

C-Reduce@creduce·3 Ağu

We've all been there.

English

790

C-Reduce@creduce·3 Tem

I love working the night shift. 🌜 Thanks for the shout out!

@ericniebler.bsky.social@ericniebler

@atomgalaxy I reduce a lot of compiler bugs, so I have a system that involves a directory full of stub stdlib/system headers, creduce, and some ready-made scripts. I also have a 64-core machine. creduce takes it down to ~10k overnight, and I take it from there.

English

486

C-Reduce retweetledi

Paul F. Dietz@PaulFDietz·12 Haz

@lemire You should use creduce to minimize that.

English

309

C-Reduce@creduce·3 Tem

Thanks for the shout out!

furtive pygmy (parody) 💨@steubens7

@tom_verbeure creduce is good to know regardless, it's just especially good at this

English

159

C-Reduce@creduce·22 Şub

@gamefeast @BruceDawson0xB @visualc Thanks for the shout out!

English

C-Reduce retweetledi

nobodyreally@gamefeast·16 Şub

@BruceDawson0xB @visualc You can make minimal repros using creduce fairly easily. Even with msvc, just do it under WSL and take advantage of the fact you can call native win32 programs. No advanced C++ skills necessary

English

157

C-Reduce retweetledi

Varun / 王潤 / げんじ@typesanitizer·16 Şub

creduce help text: --shaddap Suppress output about non-fatal internal errors [..] --sllooww Try harder to reduce, but perhaps take a long time to do so

English

318

C-Reduce@creduce·22 Şub

@typesanitizer Oops! My bad. 🙁 Be sure to report the bug!

English

C-Reduce retweetledi

Varun / 王潤 / げんじ@typesanitizer·16 Şub

Expectation: I have a bug, let me try to use C-Reduce to reduce it Reality: Run into a bug with C-Reduce itself Happy weekend I guess... Oh wait, it's just Thursday.