Path: utzoo!mnetor!uunet!husc6!cmcl2!brl-adm!adm!PEPRBV%CFAAMP.BITNET@husc6.harvard.EDU
From: PEPRBV%CFAAMP.BITNET@husc6.harvard.EDU (Bob Babcock)
Newsgroups: comp.lang.c
Subject: Re: a couple quickies
Message-ID: <11145@brl-adm.ARPA>
Date: 6 Jan 88 20:31:11 GMT
Sender: news@brl-adm.ARPA
Lines: 9

TLIMONCE%DREW.BITNET@CUNYVM.CUNY.EDU asks
>>Question: Under ANSI C,
>>                    for (i = 0; i == 100; i++) foo(&i);
>>If foo() does something like: "*i = 0" will this loop ever complete?
>>I hope this is classified as undefined.

Seems to me that this is well defined,  and the loop should never
terminate.   But I'm not sure that the answer doesn't change if i
is declared noalias.