This is the mail archive of the
fortran@gcc.gnu.org
mailing list for the GNU Fortran project.
Re: Query regarding Semantic Analyzer
On Fri, Apr 28, 2006 at 04:36:42PM +0530, Sudesh Chandna, Noida wrote:
>
> Also please let me know which of the formal methods is being used in
> Gfortran or it has hand written Semantic analyzer. What all issues can
> be there if one goes for hand written/ using formal notations for
> semantics.
>
I see you posted this in comp.lang.fortran. That is a
better forum than the fortran@ mailing list. You should
also post to comp.compilers (if you haven't already done
so).
As to gfortran, it uses a hand written set of trail-and-error
matchers to parse Fortran 95. There is a hierarchy to the
order in which the matchers are called (ie., calling the
data-statement matcher within the context of a do-loop does
not make sense). You can get a favor of the matchers by
reading gcc/fortran/match.c.
--
Steve