This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r143179 - in /branches/thread-annotations/gcc: ...
- From: lcwu at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 08 Jan 2009 01:57:52 -0000
- Subject: r143179 - in /branches/thread-annotations/gcc: ...
Author: lcwu
Date: Thu Jan 8 01:57:52 2009
New Revision: 143179
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143179
Log:
Changed to check the lock set with the fully-qualified name if the lock is a
field. This fixed an issue where the analysis would mistakenly consider the
same lock field of two different objects identical and emit bogus warnings
(or omit necessary warnings).
Added:
branches/thread-annotations/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-35.C
branches/thread-annotations/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-36.C
Modified:
branches/thread-annotations/gcc/ChangeLog.lock-annotations
branches/thread-annotations/gcc/testsuite/ChangeLog.lock-annotations
branches/thread-annotations/gcc/tree-threadsafe-analyze.c