Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!rice!titan!preston
From: preston@titan.rice.edu (Preston Briggs)
Newsgroups: comp.lang.misc
Subject: Re: 'register' variables and other goodies (was Re: Common subexpression optimization)
Message-ID: <4651@brazos.Rice.edu>
Date: 7 Feb 90 04:27:39 GMT
References: <14226@lambda.UUCP> <8960010@hpfcso.HP.COM>
Sender: root@rice.edu
Organization: Rice University, Houston
Lines: 18

In article <8960010@hpfcso.HP.COM> mjs@hpfcso.HP.COM (Marc Sabatella) writes:
(in response to a posting by J. Giles)

>>Yes, but Pascal is not separately compilable.  The compiler can do a complete
>>interprocedural dataflow analysis to find out _unambiguously_ what arguments
>>might be aliased with what global variables.

>(scoff...)

You doubt?

People *have* built interprocedural flow analysers for Pascal compilers.
People have even done it for Fortran, complete with separate compilation.
Even commercial people (as opposed to research).
Other people even use such compilers.

Preston Briggs
preston@titan.rice.edu