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/vrgrpg1pfij549gx3hywsirh878j3360-c-reduce-2.10.0.drv | ||
| riscv64-linux | /gnu/store/bmfdjdpijcdb1k8p3h0vpy3d7055yxqn-c-reduce-2.10.0.drv | ||
| powerpc-linux | /gnu/store/2ri3xn1sj5fawf9wa85ksrvs4308shvc-c-reduce-2.10.0.drv | ||
| powerpc64le-linux | /gnu/store/gykjaq7lbpy097kqv2ibm1nzy49js3j1-c-reduce-2.10.0.drv | ||
| i686-linux | /gnu/store/hzns0n26vffi66zhppqpv0dpzlx8znvq-c-reduce-2.10.0.drv | ||
| i586-gnu | /gnu/store/4ph29w3rqphhl6jsash8kznjs9v84ibr-c-reduce-2.10.0.drv | ||
| armhf-linux | /gnu/store/kg4fcl7x847vksc76kpjnqz8l4nr672a-c-reduce-2.10.0.drv | ||
| aarch64-linux | /gnu/store/3vmldxi7562zw4pivnr4n9dw55r86hqr-c-reduce-2.10.0.drv |
| Linter | Message | Location |
|---|---|---|
| input-labels Identify input labels that do not match package names | label 'exporter-lite' does not match package name 'perl-exporter-lite' | |
| input-labels Identify input labels that do not match package names | label 'file-which' does not match package name 'perl-file-which' | |
| input-labels Identify input labels that do not match package names | label 'getopt-tabular' does not match package name 'perl-getopt-tabular' | |
| input-labels Identify input labels that do not match package names | label 'regex-common' does not match package name 'perl-regexp-common' | |
| input-labels Identify input labels that do not match package names | label 'term-readkey' does not match package name 'perl-term-readkey' | |
| wrapper-inputs Make sure 'wrap-program' can finds its interpreter. | "bash-minimal" should be in 'inputs' when 'wrap-program' is used | |
| optional-tests Make sure tests are only run when requested | the 'check' phase should respect #:tests? | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f8ed7409c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7fa7aa068c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f5755cb9c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f119da52c60> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fb2d2987dc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f3e6bc77dc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f62abeb7dc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fa23c1dddc0> input: ("_" "static")> | |
| derivation Report failure to compile a package to a derivation | failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f0f10522dc0> input: ("_" "static")> |