Frama-C:
Plug-ins:
Libraries:

Frama-C API - Preprocessor

Unless you are working in the kernel of Frama-C, you should not use this.

val command : string

Name of the default command to call the preprocessor. If the CPP environment variable is set, use it; else use the built-in default from autoconf. Usually this is "gcc -C -E -I."

val is_default : bool

whether the preprocessor command is the one defined at configure time or the result of taking a CPP environment variable, in case it differs

val is_gnu_like : bool

whether the default preprocessor accepts the same options as gcc (i.e. is either gcc or clang). When this is the case, the default command line for preprocessing contains more options.

val keep_comments : bool

true if the default preprocessor selected during compilation is able to keep comments (hence ACSL annotations) in its output.

val supported_arch_options : string list

architecture-related options (e.g. -m32) known to be supported by the default preprocessor. Used to match preprocessor commands to selected machdeps.