https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #19 from Chung-Kil Hur <gil.hur at sf dot snu.ac.kr> --- (In reply to rguent...@suse.de from comment #18) > On Tue, 19 May 2015, gil.hur at sf dot snu.ac.kr wrote: > > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752 > > > > --- Comment #17 from Chung-Kil Hur <gil.hur at sf dot snu.ac.kr> --- > > Hi Richard, > > > > I modified the example further. > > > > #include <stdio.h> > > > > int main() { > > int x = 0; > > uintptr_t xp = (uintptr_t) &x; > > uintptr_t i, j; > > > > for (i = 0; i < xp; i++) { } > > j = i; > > /* The following "if" statement is never executed because j == xp */ > > if (j != xp) { > > printf("hello\n"); > > j = xp; > > } > > Here j is always xp and thus ... > Why is "j" always "xp"? Since "hello" is not printed, "j = xp;" is not executed. Is there some special semantics of C? If so, please let me know a reference. Thanks!
