Added vc_combine2().

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

diff --git a/exp-drd/drd_vc.h b/exp-drd/drd_vc.h
index 6135ca97e08c687c25b5b4a159b2121a7d064159..3737880bf1265824f1a43d514034d07682124b5f 100644 (file)
--- a/exp-drd/drd_vc.h
+++ b/exp-drd/drd_vc.h
@@ -69,6 +69,7 @@ void vc_copy(VectorClock* const new,
              const VectorClock* const rhs);
 void vc_assign(VectorClock* const lhs,
                const VectorClock* const rhs);
+UInt vc_get(VectorClock* const vc, const ThreadId tid);
 void vc_increment(VectorClock* const vc, ThreadId const threadid);
 Bool vc_lte(const VectorClock* const vc1,
             const VectorClock* const vc2);
@@ -78,6 +79,9 @@ void vc_min(VectorClock* const result,
             const VectorClock* const rhs);
 void vc_combine(VectorClock* const result,
                 const VectorClock* const rhs);
+Bool vc_combine2(VectorClock* const result,
+                 const VectorClock* const rhs,
+                 const ThreadId tid);
 void vc_print(const VectorClock* const vc);
 void vc_snprint(Char* const str, Int const size,
                 const VectorClock* const vc);