Having a look at the user manual of the compiler employed, where all the features should be documented, is highly recommended. For gcc, the standard compiler on GNU/Linux systems, there are a number of options that affect what static analysis can be performed. They are usually divided into two classes: warning options and optimization flags.