This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Tricky(?) aliasing question.
Silvius Rus <rus@google.com> 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.