loading output of -fdump-tree-original-raw

Steven Bosscher stevenb.gcc@gmail.com
Fri May 28 11:44:00 GMT 2010


On Fri, May 28, 2010 at 5:21 AM, Marcus G. Daniels <mdaniels@lanl.gov> wrote:
> Hi all,
>
> For the purposes of static analysis, can the output of
> -fdump-tree-original-raw complete for reconstructing GENERIC data?

To reconstruct GIMPLE completely? No. All data types definitions are
missing, for example.

Depending on what you are trying to do, and how close (or far away)
you have to be from the source language, I think you have three
options:

1. -fdump-parse-tree for a complete dump of the gfortran
interpretation of the source code. Very close to the source language.
Contains all types, declarations, where they come from, and all
statements. Array syntax not lowered.

2. As part of the "gimple front end" GSoC project
(http://socghop.appspot.com/gsoc/student_project/show/google/gsoc2010/gcc/t127230758645)
there will probably be textual representation of GIMPLE, that you can
perhaps import for static analysis. This is one level after GENERIC
and far away from the source language, has control flow, array syntax
lowered, etc.

3. a plugin a la dehydra, which is complex but does show the potential
of plugins for static analysis

Hope this helps,

Ciao!
Steven



More information about the Gcc mailing list