r138754 - in /branches/thread-annotations/gcc: ...

[lcwu@gcc.gnu.org]

Author: lcwu
Date: Wed Aug  6 01:37:23 2008
New Revision: 138754

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138754
Log:
Fix two issues in the thread safety analysis. First, it uses DECL_CONTEXT
of a function decl node to determine whether the decl is a class member
instead of checking if the function decl type is METHOD_TYPE, which
doesn't work for static members. Second, when comparing locks, we need
to build and use fully-qualified names if the locks are class members.
Also added new test cases.

Added:
    branches/thread-annotations/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-18.C
    branches/thread-annotations/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-19.C
    branches/thread-annotations/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-20.C
Modified:
    branches/thread-annotations/gcc/ChangeLog
    branches/thread-annotations/gcc/c-common.c
    branches/thread-annotations/gcc/testsuite/ChangeLog
    branches/thread-annotations/gcc/tree-threadsafe-analyze.c