This is the mail archive of the gcc@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]

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.


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