I am C-Reduce, the shrinker of C/C++ programs.
Salt Lake City, UT, USA
Joined June 2012
- Tweets289
- Following69
- Followers479
- Likes385
C-Reduce retweeted
My favorite version of this is github.com/maleadt/creduce_j… 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.
C-Reduce retweeted
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.
C-Reduce retweeted
I tried creduce to reduce a segfaulting test case and it reduced it to this 👍 #creduce #screenshotsaturday
ALT gdb disassembly output showing code for main function that basically calls itself, which is UB and causes segfault.
C-Reduce retweeted
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
C-Reduce retweeted
ALT Photograph of a glass award in box. Text: "ACM SIGPLAN / Most Influential Paper of PLDI 2012 / Awarded at PLDI 2022 / Test-Case Reduction for C Compiler Bugs / by / John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison and Xuejun Yang"
C-Reduce retweeted
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...
C-Reduce retweeted
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?
C-Reduce retweeted
Congrats to @johnregehr and his collaborators on winning another @PLDI MIP award on his great compiler testing work. Well done!
C-Reduce retweeted
Very well deserved, congrats! @creduce has had a lot of impact both in academia and practice!
.@johnregehr, Yang Chen, Pascal Cuoq, Chucky Ellison, Xuejun Yang, and I are very honored to receive the ACM @sigplan Most Influential @PLDI 2012 Paper Award for our paper, "Test-Case Reduction for C Compiler Bugs." doi.org/10.1145/2254064.2254… #pldi2022
C-Reduce retweeted
@johnregehr Did you use C-Reduce to help develop your entry here?
tgceec.tumblr.com/post/74534…
C-Reduce retweeted
It would be easiest to chuck this up abstractly to “tooling” or “such is life in a dynamic language” but there is such a huge body of productive work we can engage with - lightweight formal methods, TLA+/Alloy, CReduce integration and a host of others +
