1cgcc(1) General Commands Manual cgcc(1)
2
3
4
6 cgcc - Compiler wrapper to run Sparse after compiling
7
9 cgcc [SPARSE OPTIONS]... [COMPILER OPTIONS]... [INPUT FILES]...
10 make CC=cgcc
11
13 cgcc provides a wrapper around a C compiler (cc by default) which also
14 invokes the Sparse static analysis tool.
15
16 cgcc accepts all Sparse command-line options, such as warning options,
17 and passes all other options through to the compiler.
18
19 By providing the same interface as the C compiler, cgcc allows projects
20 to run Sparse as part of their build without modifying their build sys‐
21 tem, by using cgcc as the compiler. For many projects, setting CC=cgcc
22 on the make command-line will work.
23
25 REAL_CC
26 If set, cgcc will use this as the compiler to invoke, rather
27 than the default cc.
28
29 CHECK If set, cgcc will use this as the Sparse program to invoke,
30 rather than the default sparse.
31
33 sparse(1)
34
35
36
37 cgcc(1)