l i n u x - u s e r s - g r o u p - o f - d a v i s
Next Meeting:
July 7: Social gathering
Next Installfest:
Latest News:
Jun. 14: June LUGOD meeting cancelled
Page last updated:
2002 Feb 27 13:02

The following is an archive of a post made to our 'vox-tech mailing list' by one of its subscribers.

Report this post as spam:

(Enter your email address)
Re: [vox-tech] another gcc question
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [vox-tech] another gcc question

On Wed, Feb 27, 2002 at 09:46:29AM -0800, Peter Jay Salzman wrote:
> the reason why i'm asking is that this is completely deterministic, and
> a compiler can know, with certainty, that this loop will iterate over 0
> and 1.  that is, you can know this at compile time, before executing any
> code.
> clearly, this ISN'T deterministic:
> int n=2;
> MyFunction(&n);
> for (i=0; i<n; ++i) 
> but certainly, this is:
> int n=2;
> for (i=0; i<n; ++i) 

What about this case:

    int n = 2;
    for(i = 0; i < n; i++) {
        printf("i=%d\n", i);
        n = 10;

In this case, the code should print out i from 0 to 9.  However if the
compiler tried to unroll this loop, it might not be smart enough to
detect the change in j and would only unroll the loop twice.  More
complex for loop bodies would make this even harder to figure out at
compile time.  And of course if the program is multithreaded or uses
signal handlers there is always the possibility that other code could
run between the j=2 statement and the loop.  I don't think the
compiler can make the assumption that the loop only runs twice.



* Matt Roper <matt@mattrope.com>                *
* http://www.mattrope.com                       *
* PGP Key: http://www.mattrope.com/mattrope.asc *
vox-tech mailing list

LUGOD Group on LinkedIn
Sign up for LUGOD event announcements
Your email address:
LUGOD Group on Facebook
'Like' LUGOD on Facebook:

Hosting provided by:
Sunset Systems
Sunset Systems offers preconfigured Linux systems, remote system administration and custom software development.

LUGOD: Linux Users' Group of Davis
PO Box 2082, Davis, CA 95617
Contact Us

LUGOD is a 501(c)7 non-profit organization
based in Davis, California
and serving the Sacramento area.
"Linux" is a trademark of Linus Torvalds.

Sponsored in part by:
O'Reilly and Associates
For numerous book donations.