This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

plugin-provided pragmas & Fortran or Ada?


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

Frama-C accept some special comments starting with /*@ in a language
called ACSL, see 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.

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} ***

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]