Uncomment this;  not sure why it was commented out.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10597

DRD now works on Darwin!

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10596

Add a note about our suspect handling of brk().  And disable the brk() part
of origin1-yes.c, because it's a pain, giving different results on different
systems.  This allowed origin1-yes.stderr.exp-darwin to be removed.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10595

Updated expected output after r10592.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10594

Print an easy-to-understand message in case the client program tries to create more threads than what is currently supported by DRD.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10593

rwlock_test: added more internal error checking.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10592

Removed those suppression patterns that became superfluous because of r10584.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10591

Made number of threads and number of iterations configurable. Decreased stack size allocated per thread.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10590

Various improvements:

* rename many functions to do with shadow memory handling, to
  more clearly differentiate reads and writes directly of the
  shadow state from client reads and writes, each of which
  generate both a read and a write of the client state.  It was
  getting confusing (== hard to verify) in there.

* use idempotency of memory state machine transition rules to
  speed up long sequential sections, speedups in range 0% to 28%

* remove 4-way Pord (EQ, LT, GT, UN) and associated machinery,
  and replace it with something that merely computes LEQ in the
  partial ordering, since that's all that is necessary, and
  this simplifies some fast-case paths.

* add optional approx history mechanism a la DRD (start/end stack
  of conflicting segment), much faster if you don't need exact
  conflicting-access details

* libhb_so_recv: tick the VTS in the receiving thread; don't just
  join with the VC in the SO.  It's probably correct without this
  modification, but that correctness is fragile and depends on
  complex properties of how SOs are used/created.  Much better to
  be completely safe.  (Needs cache-isation).

* get rid of unnecessary shadow memory state "SVal_NOACCESS"
  and simplify associated fast-case paths in msmc{read,write}

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10589

Updated Subversion ignore lists.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10588

Oops, this should have been included in r10583 ("New methods in WordXA:")

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10587

Made test output operating system independent by suppressing information about conflicting segments.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10586

Update.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10585

Replaced code for suppressing the stack memory in use at the time a
thread is being created by code for suppressing the memory allocated
from inside the pthread_create() call. The new implementation should be
a more portable solution for suppressing data races triggered by the
thread-local-storage implementation of a Pthreads library.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10584

New methods in WordXA:

* lookupXA_UNSAFE -- binary search in array without being forced
  to sortXA it first -- dangerous because if the array isn't in order
  then the lookup can loop forever

* dropHeadXA -- drop the first N elements (kinda like dropTailXA, but
  unfortunately O(N) not O(1)), so that xarrays can be used to
  implement FIFOs, after a fashion.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10583

Fix a compile warning.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10582

A fix for bug 186796:  suppression symbol names were being truncated if they
were longer than 200 chars.  Now dynamic memory is used and so they can be
arbitrarily long in theory, although in practice it bombs out at 100,000 for
sanity purposes.  This required adjusting the core/tool interface for
read_extra_suppression_info().

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10581

Update expected output, so at least Helgrind runs clean on openSUSE
11.0 x86_64.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10580

Reverted r10511.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10579

Fixed bug 149878 (calloc overflow).  This disables some of the calloc silly
arg checking, but that's no great loss.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10578

Run the pth_inconsistent_cond_wait in quiet mode.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10577

Added command line option -q, which allows to suppress printing an error message if a Pthreads call fails.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10576

mremap2 is a totally unreliable test;  it's the only test that fails on a
number of Linux machines.  This change makes it more reliable, at the cost
of being less specific.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10575

This was meant to go in with r10573.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10574

In r10465 --time-stamp=yes got slightly broken -- the space between the time
and the PID was removed.  This commit adds it back in.  It also adds a basic
test that would have detected this regression, and also the breakage in bug
200990.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10573

Add Valgrind version back into the preamble.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10572

The pc-file output from the exp-bbv tool is mildly implementation dependent.
This causes the regression test to fail with the "million" benchmark
on a Fedora 9 system.  For now, remove the pc-file part of the test,
and later I'll come up with a better way of testing this feature.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10571

Labels printed with semaphore tracing enabled do now match the function names assigned by POSIX.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10570

Fixed two typo's.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10569

Ported circular_buffer test to Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10568

Modified filter_stderr to filter out even more platform differences.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10567

Ported the pth_inconsistent_cond_wait test program to Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10566

Print an error message if sem_init() is called by a client program on Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10565

Only run the test programs that call sem_init() on operating systems that have implemented this function.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10564

Refactoring: moved semaphore initialization and cleanup code to two new functions.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10563

Should have been included in the previous commit.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10562

Reverted r10523 and r10540: since sem_init() is not yet supported on Darwin, revert the attempts to compensate for the different return values on Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10561

Added support for sem_open() and sem_close().

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10560

Another update of the testing instructions.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10559

Added (and commented out) more debugging code.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10558

Ported TSAN test 98 to Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10557

Suppressed a compiler warning.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10556

Added more suppression patterns.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10555

Let DRD print a warning at startup that support for Darwin is still considered experimental, and filter out this warning from the regression tests.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10554

Updated Subversion ignore list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10553

Updated line numbers in expected output.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10552

Renamed output files.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10551

Reverted r10526.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10550

Updated platform support messages.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10549

Added DRD-specific suppression patterns for Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10548

Added a suppression pattern for a leak triggered from inside Darwin's C library.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10547

Updated Subversion ignore list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10546

Improved source code portability.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10545

Made expected output for tc23_bogus_condwait complete (Darwin).

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10544

Only run the tc20_verifywrap2 test if the tc20_verifywrap executable has been built.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10543

Added a filter in order to make the Darwin output for the annotate_trace_memory test identical to the Linux output.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10542

Cleanup: removed source code commented out via #if 0 / #endif.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10541

Updated expected output because of changes in the source code of the regression tests.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10540

Handle the memory written by aio_read() properly -- mark the memory buffer
as written once aio_return() is successfully called.

Also check the addressability of the buffer for both aio_read() and
aio_write().

Also check the file descriptor for aio_read() and aio_write().

And add a test for this.  There's one corner case of the test that doesn't
work as expected and is currently commented out.  But aio_*() certainly
works better than it used to.

All this is for bug 197227.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10539

This should have gone in with r10537.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10538

Add support for __pthread_kill().  This hopefully fixes bug 201016.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10537

Include valgrind_libdir and VG_(libdir) in the debugLog output.  This was
useful for me debugging a broken installation yesterday.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10536

Make the regression tests pass again on Linux.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10535

More tweaking for Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10534

Bug fix: leave empty output files empty instead of transforming these into an empty line.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10533

Added another Darwin regression tests output variant.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10532

Made the annotate_rwlock test compile on Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10531

Added an output variant.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10530

Reverted r10513: removed --auto-run-dsymutil=yes again.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10529

More filter tuning: remove the empty line above instead of below the ... 100 errors ... message.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10528

Filtered out the "More than 100 errors detected." message.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10527

Removed from repository.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10526

More documentation updates.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10525

Updated line numbers in expected output -- these line numbers changed because of r10523.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10524

Made these tests run successfully on Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10523

Updated expected output.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10522

Updated documentation related to the --read-var-info flag.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10521

Removed code for handling --read-var-info from DRD since the Valgrind core already interprets this flag.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10520

Renamed --var-info=yes to --read-var-info=yes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10519

Renamed --var-info to --read-var-info.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10518

Updated *.exp files after r10515.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10517

Fix VG_(read_millisecond_timer) on Darwin.  Fixes bug 200990.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10516

Tweaks for Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10515

Made sure that VG_(read_millisecond_timer)() returns zero on Darwin instead of random data. See also bug #200990.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10514

Added the Valgrind option --auto-run-dsymutil=yes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10513

Added result check.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10512

Added more error checking.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10511

Added more error checking.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10510

More regression test output tuning.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10509

Limited the number of callers printed in stackframes to two for the hg03_inherit test.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10508

Disabled a tl_assert() statement.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10507

Made debugging output for the code that computes the highest used stack address more detailed.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10506

Added filter statements for Darwin-specific messages.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10505

Added --auto-run-dsymutil=yes to --var-info=yes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10504

Made sure that DRD does something meaningful when using another threading library than LinuxThreads or the NPTL.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10503

More Subversion ignore list updates.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10502

- Replaced pthread_cond_wait() by pthread_cond_timedwait() calls.
- An error message is now printed in case pthread_cond_timedwait()
  fails.
- Refactoring: joined thread1() and thread2() into one function.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10501

Runs now on Darwin too.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10500

Enabled compilation of tsan_unittest on Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10499

Compiles now on Darwin.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10498