r175673 - in /branches/annotalysis/gcc: ChangeL...

[delesley@gcc.gnu.org]

Author: delesley
Date: Wed Jun 29 21:49:53 2011
New Revision: 175673

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

This is a port of a patch to google/main that was initially done by Le-Chun Wu.  It enhances Annotalysis to support cloned functions/methods (especially created by IPA-SRA). The patch basically does the following:

1. For a FUNCTION_DECL, check whether it's a clone, and if so, grab its
original DECL.
2. Deal with the situation where a reference/pointer parameter is converted
to a value parameter by IPA-SRA.

2011-06-22  Le-Chun Wu  <lcwu@google.com>,  
            DeLesley Hutchins <delesley@google.com>
        * tree-threadsafe-analyze.c (build_fully_qualified_lock): Handle
        IPA-SRA cloned methods.
        (get_canonical_lock_expr): Fold expressions that are INDIRECT_REF on
        top of ADDR_EXPR.
        (check_lock_required): Handle IPA-SRA cloned methods.
        (check_func_lock_excluded): Likewise.
        (process_function_attrs): Likewise.


Added:
    branches/annotalysis/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-78.C
Modified:
    branches/annotalysis/gcc/ChangeLog.annotalysis
    branches/annotalysis/gcc/tree-threadsafe-analyze.c