Commit Graph

8371 Commits

Author SHA1 Message Date
Bart Van Assche
40ece8a806 DRD: Report an error if --free-is-write=yes is used on a program invoking custom memory allocator client requests.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11640
2011-03-13 09:08:10 +00:00
Bart Van Assche
9d5d77ca0f Added yet another regression test.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11639
2011-03-13 09:04:21 +00:00
Bart Van Assche
c7b84c7d5b read_and_free_race test: Reduced number of stack frames to three.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11638
2011-03-12 16:28:29 +00:00
Bart Van Assche
0d787ae0df Added more regression tests.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11637
2011-03-12 16:10:33 +00:00
Bart Van Assche
84b87cf1e7 DRD: Restored --free-is-write support and fixed the bug that was present in the previous implementation. Still needs further testing though.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11636
2011-03-12 14:26:01 +00:00
Bart Van Assche
bf2479f28c DRD: Added command-line option --trace-hb for tracing ANNOTATE_HAPPENS_BEFORE()/AFTER().
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11635
2011-03-12 14:07:09 +00:00
Bart Van Assche
8492622b53 Added --free-is-write stress test.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11634
2011-03-12 14:02:06 +00:00
Bart Van Assche
3ced345153 DRD: Always invoke VG_(cli_free)() before the stop_using_mem callback.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11633
2011-03-12 12:43:39 +00:00
Bart Van Assche
73c5a1b3a3 DRD: Fixed an assertion failure triggered by setting the environment variable DRD_VERIFY_CONFLICT_SET. This environment variable is a debugging help.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11632
2011-03-12 12:37:46 +00:00
Bart Van Assche
1997767aad DRD: More source code cleanup (constant propagation).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11631
2011-03-12 12:34:44 +00:00
Bart Van Assche
ad2f458136 DRD: Allocate thread arguments again on the stack.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11630
2011-03-12 11:01:06 +00:00
Bart Van Assche
7b6ded50b6 Updated Subversion ignore list.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11629
2011-03-12 10:37:18 +00:00
Bart Van Assche
104adb9690 Added AC_LANG_SOURCE() invocations where appropriate.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11628
2011-03-12 10:36:35 +00:00
Julian Seward
d77ef03457 Add free-is-write functionality (experimental, not enabled by default).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11627
2011-03-11 21:06:59 +00:00
Julian Seward
4db10284cd Use DRD's annotate_smart_pointer regtest to check against regressions
of #243935.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11626
2011-03-11 20:02:47 +00:00
Julian Seward
159af3e3ee NB: this is an temporary fix, until such time as bug 243935 is fully
resolved.

Add a client request, ANNOTATE_HAPPENS_BEFORE_FORGET_ALL, to notify
Helgrind that it can forget about any h-b edges previously associated
with the specified tag, and release associated resources.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11625
2011-03-11 19:10:48 +00:00
Julian Seward
3cc6fcac8c Change the semantics of ANNOTATE_HAPPENS_BEFORE from 'overwrite' to
'add' behaviour, w.r.t. any h-b edges associated with the
synchronisation object prior to the call.  This brings the behaviour
into line with DRD and TSan, and is required for correct annotation of
thread safe reference counting.  It fixes #243935 -- at least, the
original bug as discussed in comments 0 and 2.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11624
2011-03-11 18:38:12 +00:00
Julian Seward
f701e93f04 Followup to r11619: more tidying up w.r.t. the renaming of
'struct _Thr :: opaque' to 'struct _Thr :: hgthread'.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11623
2011-03-10 21:34:21 +00:00
Julian Seward
0515ae169a Cleanup: get rid of univ_tsets as it is no longer needed.
Also, fix bug in del_LockN (segfault when the deleted lock is
the last in the list) exposed by r11620.  (Prior to r11620,
the last lock in the list was never deleted.)



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11622
2011-03-10 17:40:22 +00:00
Julian Seward
c729880b79 Cleanup: get rid of 'last lock lossage' mechanism, which is commented
out and no longer relevant.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11621
2011-03-10 15:21:40 +00:00
Julian Seward
1f04c804ad Cleanup: get rid of all mention of a Hardware Bus Lock. This
no longer exists.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11620
2011-03-10 15:20:10 +00:00
Julian Seward
f4b08e78ed Minor cleanup (no functional change): rename 'struct _Thr :: opaque'
to 'hgthread', since that's what it is really.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11619
2011-03-10 15:14:37 +00:00
Julian Seward
c9ed16792f Bring avg translation size statement closer to reality, for
amd64-linux with --smc-check=all.  350 would be better, but H already
soaks up so much space that a low-side of 320 seems prudent.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11618
2011-03-10 15:01:14 +00:00
Bart Van Assche
47fa81b4bf Process PDB files with a path that contains spaces properly.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11617
2011-03-10 12:49:50 +00:00
Julian Seward
dae0b7a571 'make dist' fixes following s390x-linux merge. (Christian Borntraeger
<borntraeger@de.ibm.com>)



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11616
2011-03-10 12:36:09 +00:00
Bart Van Assche
4874ac5b47 DRD: Added an output variant for test pth_detached3.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11615
2011-03-09 18:27:25 +00:00
Bart Van Assche
8c2ede1182 DRD: Report an error if an invalid argument is passed to pthread_detach(). Do not assume that pthread_detach() returns an error code if its argument is invalid. Should fix #267968.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11614
2011-03-09 17:53:28 +00:00
Bart Van Assche
c42807edf5 DRD: Added a regression test.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11613
2011-03-09 17:50:34 +00:00
Bart Van Assche
942bd034c8 DRD: Fixed a race condition triggered by invoking pthread_detach() with an argument not equal to pthread_self(). Potential fix for #267968.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11612
2011-03-08 18:34:44 +00:00
Bart Van Assche
3eeee78bed DRD: Removed an obsolete comment.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11611
2011-03-08 18:32:36 +00:00
Bart Van Assche
218571c462 DRD: Source code cleanup.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11610
2011-03-08 17:53:45 +00:00
Julian Seward
8bb77cb41e Replace the structural equality function for WordVecs with a more
efficient one.  n-i-bz.
(Philippe Waroquiers, philippe.waroquiers@skynet.be).



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11609
2011-03-07 19:13:33 +00:00
Bart Van Assche
ed2484656e Updated Subversion ignore list.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11608
2011-03-07 18:28:38 +00:00
Bart Van Assche
93b1b10abe Added file header and adjusted indentation.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11607
2011-03-07 18:00:26 +00:00
Julian Seward
b48110db44 Make this executable.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11606
2011-03-07 16:48:15 +00:00
Julian Seward
b318177144 Unbreak 'make dist' following recent commits.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11605
2011-03-07 16:42:02 +00:00
Julian Seward
6107fd666c Add a port to IBM z/Architecture (s390x) running Linux -- Valgrind
side components. (Florian Krohm <britzel@acm.org> and Christian
Borntraeger <borntraeger@de.ibm.com>).  Fixes #243404.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11604
2011-03-07 16:05:35 +00:00
Bart Van Assche
837a8e347c DRD/Darwin: Generalized a suppression pattern.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11603
2011-03-06 17:37:04 +00:00
Bart Van Assche
716649090c DRD/Darwin: Added more suppression patterns.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11602
2011-03-06 17:28:16 +00:00
Bart Van Assche
a9905a31e5 Memcheck/Darwin: Added a suppression pattern.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11601
2011-03-06 17:27:42 +00:00
Bart Van Assche
4365b5e99d DRD/Darwin: Suppress even more races triggered by the dynamic loader.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11600
2011-03-06 17:22:08 +00:00
Bart Van Assche
b3a0cdf503 DRD/Darwin: Added an expected output file.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11599
2011-03-06 17:21:21 +00:00
Bart Van Assche
655ca4140f DRD/Darwin: cleaned up dyld suppression pattern list.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11598
2011-03-06 16:33:46 +00:00
Bart Van Assche
07a0082c51 DRD/Darwin: Ignore races triggered by the dynamic loader (dyld) lazy binding mechanism.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11597
2011-03-06 16:33:08 +00:00
Bart Van Assche
c5f17ab61b DRD: Added a (non-functional so far) file drd_darwin_intercepts.c.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11596
2011-03-06 12:39:12 +00:00
Bart Van Assche
a0a44c1d29 DRD: added initial suppression list for Darwin 10.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11595
2011-03-05 16:00:53 +00:00
Bart Van Assche
0f3690b1eb Helgrind tests: ported tests tc23 and tc24 to Darwin/amd64 too.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11594
2011-03-05 15:43:39 +00:00
Bart Van Assche
042f0a840b DRD: Filter out PID from the semaphore name in the regression test output.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11593
2011-03-05 15:42:44 +00:00
Bart Van Assche
9339a8e89a helgrind/tests/tc17_sembar: Works now on Darwin/amd64 too.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11592
2011-03-05 15:14:50 +00:00
Bart Van Assche
bcd0bc2155 DRD, Darwin: avoid triggering misaligned stack errors. Fixes #267552.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11591
2011-03-05 14:51:24 +00:00