Hello, Assuming a plugin (e.g. MELT) add a new pragma using PLUGIN_PRAGMAS, is this pragma usable from Ada or Fortran code?
I am not very familiar with Ada or Fortran. I believe Ada has some syntax for pragmas -but do Ada pragma have the same API inside GCC plugins as C or C++ pragmas?- and I am not sure about Fortran. Many Fortran dialects or implementations parse specially some kind of comments -but I don't know if these are giving pragma events to plugins. The intended MELT extension I have in mind would convert Gimple (built by GCC from Ada or C or C++ or Fortran code) to some low-level C code suitable for Frama-C. Frama-C is a free (LGPL licensed, coded in Ocaml) static analyzer developed by my colleagues at CEA LIST (& also INRIA Proval team). See http://frama-c.com/ Frama-C accept some special comments starting with /*@ in a language called ACSL, see http://frama-c.com/acsl_tutorial_index.html and I was thinking of using some new pragmas inside GCC to translate these pragmas to ACSL syntax comments. All this is exploratory work initiated by my intern Jeremie Salvucci. We have no idea today if this can be worked out. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***
