[vmkit-commits] [vmkit] r119378 - /vmkit/branches/precise/lib/Mvm/CommonThread/ObjectLocks.cpp

[Nicolas Geoffray]

Author: geoffray
Date: Tue Nov 16 14:33:55 2010
New Revision: 119378

URL: http://llvm.org/viewvc/llvm-project?rev=119378&view=rev
Log:
More asserts.


Modified:
    vmkit/branches/precise/lib/Mvm/CommonThread/ObjectLocks.cpp

Modified: vmkit/branches/precise/lib/Mvm/CommonThread/ObjectLocks.cpp
URL: http://llvm.org/viewvc/llvm-project/vmkit/branches/precise/lib/Mvm/CommonThread/ObjectLocks.cpp?rev=119378&r1=119377&r2=119378&view=diff
==============================================================================
--- vmkit/branches/precise/lib/Mvm/CommonThread/ObjectLocks.cpp (original)
+++ vmkit/branches/precise/lib/Mvm/CommonThread/ObjectLocks.cpp Tue Nov 16 14:33:55 2010
@@ -143,6 +143,8 @@
       FatLock* obj = table.getFatLockFromID(object->header);
       if (obj != NULL) {
         if (obj->acquire(object)) {
+          assert((object->header & FatMask) && "Inconsistent lock");
+          assert((table.getFatLockFromID(object->header) == obj) && "Inconsistent lock");
           assert(owner(object, table) && "Not owner after acquring fat lock!");
           break;
         }