Reducer for interesting code
C-Reduce is a tool that takes a large C or C++ program that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ program that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process C/C++ code.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/rlalk9w8dxqrj0hjfjb1ws0g30jw9ggl-c-reduce-2.10.0.drv | ||
mips64el-linux | /gnu/store/qmx41k7cn3fldigy93mb6slq4knyxc5a-c-reduce-2.10.0.drv | ||
i686-linux | /gnu/store/3nb2sss5mj4m0krmws2xwmcl4s76vdpv-c-reduce-2.10.0.drv | ||
armhf-linux | /gnu/store/3kpkmjp3zgk4bm47z97qny82lfjgkac3-c-reduce-2.10.0.drv | ||
aarch64-linux | /gnu/store/h8bl4cksxxs91p3sjyjfhnf6xg358fzi-c-reduce-2.10.0.drv |
Linter | Message | Location |
---|---|---|
inputs-should-be-native Identify inputs that should be native inputs | 'flex' should probably be a native input |