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/sgccyxnnpscn9w33d1sdnllfkwkjjqbv-c-reduce-2.10.0.drv | ||
mips64el-linux | /gnu/store/4i9zr0g6dmbhyhxswv5mb52jns8h6d6a-c-reduce-2.10.0.drv | ||
i686-linux | /gnu/store/hcyrma8xnxfp5v80kcvrpgqp4q07416p-c-reduce-2.10.0.drv | ||
armhf-linux | /gnu/store/zc2rs4k6mbahjwhapldzv6d6s6n2v2sp-c-reduce-2.10.0.drv | ||
aarch64-linux | /gnu/store/mg8vk3j0z6hw55ywzv5ib133gyklkyqc-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 |