NAME

       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)

                                                                                          cgcc(1)