This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug middle-end/36303] location list incomplete for spilled registers



------- Comment #2 from gcaprino at gmail dot com  2008-05-22 18:15 -------
(In reply to comment #1)
> This code also does violates C aliasing rules.

I'm sorry, but I don't understand what you mean.
Do you think there is a problem with the code portion
such that it's not legal, safe C code?
(btw this is part of a larger function which I reduced
to facilitate debugging of this issue).

It seems to me that nothing can change the value of "p1", since
no addresses are taken to write into the stack.
"p2" could point inside the structure pointed by "p1", but it
should not be possible for "p2" to point at "p1", right?
Besides, "p2" is only used after the register is saved/reloaded
from the stack.

Could you elaborate?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36303


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]