cgcc - Compiler wrapper to run Sparse after compiling
[ SPARSE OPTIONS
]... [COMPILER OPTIONS
provides a wrapper around a C compiler (cc
by default) which
also invokes the Sparse static analysis tool.
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
to run Sparse as part of their build without modifying their build system, by
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.
- If set, cgcc will use this as the Sparse program to
invoke, rather than the default sparse.