Re: Lack of formal syntax undermines Ada

[Gary Scott <garylscott@sbcglobal.net>]

Robert A Duff wrote:
> Gary Scott <garylscott@sbcglobal.net> writes:
> 
> 
>>So there's no possibility of the optimizer making assumptions it
>>shouldn't and "simplifying something"?
> 
> 
> Not sure what you mean.  Can you give an example of such
> an assumption?
> 
> - Bob
In some languages that have pure functions, the compiler is free to not 
execute the function call if it can determine the return value by other 
means and so eliminate the code entirely (nor inline it).  I was 
thinking thinking there might be situations where a C procedure call 
might be optimized away based upon assumptions of purity (pureness?). 
Probably an outdated question based upon recent posts.

-- 

Gary Scott
mailto:garylscott@sbcglobal dot net

Fortran Library:  http://www.fortranlib.com

Support the Original G95 Project:  http://www.g95.org
-OR-
Support the GNU GFortran Project:  http://gcc.gnu.org/fortran/index.html

If you want to do the impossible, don't hire an expert because he knows 
it can't be done.

-- Henry Ford