--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on November 2008 ---
Hi, First, thanks a lot for the new Lithium version. It has lots of exciting new features I am currently working with. I am working on an existing application which has some #pragma commands, like: #pragma section DATA "" ".function" [...] #pragma section DATA However, frama-c (or jessie that I am using) does not seem to support the parsing of those; I don't expect frama-c to handle the #pragma command, but I thought it would just ignore it; however I get the following error message: $ frama-c -jessie-analysis file.c Parsing [preprocessing] running gcc -C -E -I. -include /usr/local/share/frama-c/jessie/jessie_prolog.h -dD file.c file.c[25:0-0] : syntax error Parsing error Skipping file "file.c" that has errors. Cleaning unused parts Symbolic link Your code cannot be parsed. Aborting analysis. Starting semantical analysis Starting Jessie translation Nothing to process. There was probably an error before. Is this normal? Has anybody ever complained about this non-support of the #pragma preprocessing? Thanks, Jean-Baptiste Jeannin # " This e-mail and any attached documents may contain confidential or proprietary information. If you are not the intended recipient, please advise the sender immediately and delete this e-mail and all attached documents from your computer system. Any unauthorised disclosure, distribution or copying hereof is prohibited." " Ce courriel et les documents qui y sont attaches peuvent contenir des informations confidentielles. Si vous n'etes pas le destinataire escompte, merci d'en informer l'expediteur immediatement et de detruire ce courriel ainsi que tous les documents attaches de votre systeme informatique. Toute divulgation, distribution ou copie du present courriel et des documents attaches sans autorisation prealable de son emetteur est interdite." # -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081104/9dba43b3/attachment.html