Hi,
The same false positive appears when mixing mutexes and semaphores. Test
attached.
As with cond vars, we are able to transition Excl(T1)->Excl(T2), but can not
do ShM(T1,T2)->Excl(T2).
As I understand, fixing this properly will require storing SegmentID in all
shadow words, not only in those
Nightly build on dellow ( x86_64, Fedora 8 ) started at 2007-12-13 03:10:04 GMT
Results differ from 24 hours ago
Checking out valgrind source tree ... done
Configuring valgrind ... done
Building valgrind ... done
Running regression tests ... f
Nightly build on alvis ( i686, Red Hat 7.3 ) started at 2007-12-13 03:15:02 GMT
Results unchanged from 24 hours ago
Checking out valgrind source tree ... done
Configuring valgrind ... done
Building valgrind ... done
Running regression tests ..
Nightly build on lloyd ( x86_64, Fedora 7 ) started at 2007-12-13 03:05:08 GMT
Results unchanged from 24 hours ago
Checking out valgrind source tree ... done
Configuring valgrind ... done
Building valgrind ... done
Running regression tests ...
Nightly build on g5 ( SuSE 10.1, ppc970 ) started at 2007-12-13 02:00:01 CET
Results unchanged from 24 hours ago
Checking out valgrind source tree ... done
Configuring valgrind ... done
Building valgrind ... done
Running regression tests ... f
Author: sewardj
Date: 2007-12-12 11:42:33 + (Wed, 12 Dec 2007)
New Revision: 7299
Log:
Fix stupid error spotted by by Konstantin Serebryany.
Modified:
trunk/helgrind/hg_main.c
Modified: trunk/helgrind/hg_main.c
===
--- trunk