-pp-annot on preprocessed files
ID0001177: This issue was created automatically from Mantis Issue 1177. Further discussion may take place here.
|Reporter||Anne||Assigned To||-||Resolution||no change required|
|Priority||normal||Severity||minor||Reproducibility||have not tried|
|Product Version||Frama-C Nitrogen-20111001||Target Version||-||Fixed in Version||-|
It seems that the option -pp-annot is not used when the input files are already preprocessed files (.i).
Additional Information :
I tried to preprocessed some files in advance (with the -dD option of gcc to preserve the #define), and then to use frama-c with the -pp-annot option to preprocess the annotations, but it doesn't work...