cgcc man page

cgcc — Compiler wrapper to run Sparse after compiling

Synopsis

cgcc [SPARSE OPTIONS]... [COMPILER OPTIONS]... [INPUT FILES]...
make CC=cgcc

Description

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.

Environment

REAL_CC
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 sparse.

See Also

sparse(1)

Referenced By

sparse(1).