C-Reduce @creduce

I am C-Reduce, the shrinker of C/C++ programs. embed.cs.utah.edu/creduce/ Salt Lake City, UT, USA Joined June 2012

Tweets

288
Followers

498
Following

69
Likes

386

Lee Wei @leewei666

7 months ago

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.

0 2 2 174 0

@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.

0 1 1 52 0

C-Reduce @creduce

11 months ago

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

1 6 17 1K 3

Colin Percival @cperciva

a year ago

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.

1 2 10 3K 0

C-Reduce @creduce

2 years ago

I'll try anything!

Brendan Dolan-Gavitt @moyix

2 years ago

I'll try anything!

3 1 8 3K 0

0 2 4 521 0

Serpent7776 @serpent7776

2 years ago

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

0 1 2 109 0

Download Image

C-Reduce @creduce

2 years ago

We've all been there.

1 2 9 789 0

C-Reduce @creduce

2 years ago

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

@ericniebler.bsky.social @ericniebler

2 years ago

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

1 0 2 731 0

0 1 3 485 0

Paul F. Dietz @PaulFDietz

2 years ago

@lemire You should use creduce to minimize that.

0 1 2 308 0

C-Reduce @creduce

2 years ago

Thanks for the shout out!

furtive pygmy (parody) 💨 @steubens7

2 years ago

Thanks for the shout out!

0 0 1 176 0

0 0 2 158 0

nobodyreally @gamefeast

3 years ago

@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

1 1 2 156 0

Varun / 王潤 / げんじ @typesanitizer

3 years ago

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

0 1 2 317 0

Varun / 王潤 / げんじ @typesanitizer

3 years ago

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.

1 1 8 368 0

Download Gif

Eric Eide @eeide

3 years ago

Hey! Guess what came in the mail today! @sigplan @PLDI @creduce

7 4 92 5K 1

Download Image

C-Reduce @creduce

3 years ago

💯 github.com/csmith-project…

0 0 1 101 0

@ericniebler.bsky.social @ericniebler

3 years ago

@Cor3ntin @creduce @johnregehr creduce is magic.

0 2 2 0 1

Download Gif

glandium @MikeHommey

3 years ago

TFW the code creduce produces would probably not lead to a productive compiler bug report because it does weird things (like a null deref) that the original code doesn't do, but re-adding parts of the original code makes the bug you're trying to report not reproduce anymore...

3 1 5 0 0

Alastair Donaldson @afd_icl

3 years ago

@stephenrkell @SreepathiPai @creduce Thanks - for now I wrote a script that inlines specific #included files but does not actually preprocess, then I used @creduce to do a reduction on that code, and things are working nicely.

0 1 2 0 0

Alastair Donaldson @afd_icl

3 years ago

I'm having a @creduce problem: my source file has been preprocessed using clang-14, and now gcc-11 is complaining about it with errors like: error: two or more data types in declaration specifiers 214 | typedef float _Float32; Anyone know how to solve this?