This is the command cgcc that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
cgcc - Compiler wrapper to run Sparse after compiling
cgcc [SPARSE OPTIONS]... [COMPILER OPTIONS]... [INPUT FILES]...
cgcc provides a wrapper around a C compiler (cc by default) which also invokes the Sparse
static analysis tool.
cgcc accepts all Sparse command-line options, such as warning options, and passes all
other options through to the compiler.
By providing the same interface as the C compiler, cgcc allows projects to run Sparse as
part of their build without modifying their build system, by using cgcc as the compiler.
For many projects, setting CC=cgcc on the make command-line will work.
If set, cgcc will use this as the compiler to invoke, rather than the default cc.
CHECK If set, cgcc will use this as the Sparse program to invoke, rather than the default
Use cgcc online using onworks.net services