cgcc(1) — Linux manual page

cgcc(1)                  General Commands Manual                 cgcc(1)

NAME         top

       cgcc - Compiler wrapper to run Sparse after compiling

SYNOPSIS         top

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

DESCRIPTION         top

       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         top

       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         top

       sparse(1)

COLOPHON         top

       This page is part of the sparse (a Semantic Parser for C)
       project.  Information about the project can be found at 
       ⟨https://sparse.wiki.kernel.org/⟩.  If you have a bug report for
       this manual page, send it to [email protected].  This
       page was obtained from the project's upstream Git repository
       ⟨https://git.kernel.org/pub/scm/devel/sparse/sparse.git⟩ on
       2024-06-14.  (At that time, the date of the most recent commit
       that was found in the repository was 2024-02-03.)  If you
       discover any rendering problems in this HTML version of the page,
       or you believe there is a better or more up-to-date source for
       the page, or you have corrections or improvements to the
       information in this COLOPHON (which is not part of the original
       manual page), send a mail to [email protected]

                                                                 cgcc(1)

Pages that refer to this page: sparse(1)

HTML rendering created 2024-06-26 by Michael Kerrisk, author of The Linux Programming Interface. For details of in-depth Linux/UNIX system programming training courses that I teach, look here. Hosting by jambit GmbH.