This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] [Annotalysis] Bugfix where lock function is attached to a base class.
- From: Diego Novillo <dnovillo at google dot com>
- To: Delesley Hutchins <delesley at google dot com>
- Cc: gcc-patches <gcc-patches at gcc dot gnu dot org>, Ollie Wild <aaw at google dot com>
- Date: Wed, 12 Oct 2011 08:10:32 -0400
- Subject: Re: [PATCH] [Annotalysis] Bugfix where lock function is attached to a base class.
- References: <CAF6KqwVsCvWkmUX_OGOewh3ZVfYz3vvzNG=a8JShKAqtSXWO+Q@mail.gmail.com>
On Tue, Oct 11, 2011 at 13:52, Delesley Hutchins <delesley@google.com> wrote:
> This patch fixes an error where Annotalysis generates bogus warnings
> when using lock and unlock functions that are attached to a base class.
> The canonicalize routine did not work correctly in this case.
>
> Bootstrapped and passed gcc regression testsuite on
> x86_64-unknown-linux-gnu. ÂOkay for google/gcc-4_6?
>
> Â-DeLesley
>
> Changelog.google-4_6:
> 2011-10-11 ÂDeLesley Hutchins Â<delesley@google.com>
>
> Â * tree-threadsafe-analyze.c (get_canonical_lock_expr)
>
> testsuite/Changelog.google-4_6:
> 2011-10-11 ÂDeLesley Hutchins Â<delesley@google.com>
>
> Â * g++.dg/thread-ann/thread_annot_lock-83.C
ChangeLog entries are missing.
OK otherwise.
Diego.