Silvius Rus <[EMAIL PROTECTED]> writes: [...] > I am about to submit a patch that implements -Wstrict-aliasing in the > backend based on flow-sensitive points-to information, which is > computed by analyzing the entire source of each function. It is not > perfect (the problem is undecidable), but it improves in all three > directions: it checks whether pointers get dereferenced, it detects > cross-type aliasing in heap (and other multiple statements situations) > and it works on both C and C++.
That will be really *great* improvement over the current situation when those warnings are more annoying than helpful in most cases! -- Sergei.
