-pp-annot on preprocessed files
ID0001177: This issue was created automatically from Mantis Issue 1177. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001177 | Frama-C | Kernel | public | 2012-05-04 | 2012-05-07 |
Reporter | Anne | Assigned To | - | Resolution | no change required |
Priority | normal | Severity | minor | Reproducibility | have not tried |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | - |
Description :
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...