Frama_c_kernel.Logic_preprocess
adds another pre-processing step in order to expand macros in annotations.
file suffix cpp file
takes the file to preprocess, and the pre-processing directive, and returns the name of the file containing the completely pre-processed source. suffix will be appended to the name of intermediate files generated for pre-processing annotations (gcc pre-processing differs between .c and .cxx files)
val file :
string ->
( string -> string -> string ) ->
string ->
Datatype.Filepath.t