Messages in this thread | | | Date | Mon, 12 Jan 2009 11:45:03 -0800 (PST) | From | Linus Torvalds <> | Subject | Re: gcc inlining heuristics was Re: [PATCH -v7][RFC]: mutex: implement adaptive spinning |
| |
On Mon, 12 Jan 2009, H. Peter Anvin wrote: > > This is about storage allocation, not aliases. Storage allocation only > depends on lifetime.
Well, the thing is, code motion does extend life-times, and if you think you can move stores across each other (even when you can see that they alias statically) due to type-based alias decisions, that does essentially end up making what _used_ to be disjoint lifetimes now be potentially overlapping.
Linus
| |