r179390 - in /branches/google/gcc-4_6/gcc: Chan...

[delesley at gcc dot gnu dot org]

Author: delesley
Date: Fri Sep 30 15:14:19 2011
New Revision: 179390

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179390
Log:

This patch suppresses bogus warnings that are caused when annotalysis
is run with the IPA-SRA optimization (i.e. -O2 or higher).  IPA-SRA
creates clones of functions in which some arguments have been eliminated,
even if those arguments are used in the thread safety annotations;
this renders the attributes on such functions invalid.  Annotalysis will now
detect when such clones have been created, and suppress certain
warnings to avoid false positives.

Bootstrapped and passed gcc regression testsuite on
x86_64-unknown-linux-gnu.  Okay for google/gcc-4_6?

 -DeLesley

Changelog.google-4_6:
2011-09-30  DeLesley Hutchins  <delesley@google.com>

    * tree-threadsafe-analyze.c (process_function_attrs):
        Detect clones and suppress warnings

testsuite/Changelog.google-4_6:
2011-09-30  DeLesley Hutchins  <delesley@google.com>

    * g++.dg/thread-ann/thread_annot_lock-82.C:
        New regression test.


Added:
    branches/google/gcc-4_6/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-82.C
Modified:
    branches/google/gcc-4_6/gcc/ChangeLog.google-4_6
    branches/google/gcc-4_6/gcc/cp/ChangeLog.google-4_6
    branches/google/gcc-4_6/gcc/testsuite/ChangeLog.google-4_6
    branches/google/gcc-4_6/gcc/tree-threadsafe-analyze.c