Frama-C API - Machdep
Managing machine-dependent information.
val gen_all_defines : Stdlib.Format.formatter -> ?censored_macros:Datatype.String.Set.t -> Cil_types.mach -> unit
Prints on the given formatter all #define
directives required by share/libc/features.h
and other system-dependent headers.
val generate_machdep_header : ?censored_macros:Datatype.String.Set.t -> Cil_types.mach -> Filepath.Normalized.t
generates a __fc_machdep.h
file in a temp directory and returns the directory name, to be added to the search path for preprocessing stdlib.