Resolution for issue #5092: Unit test handle checks consider dangling handles to be valid.

runtime/vm/handles_test.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "platform/assert.h"
+#include "vm/dart_api_state.h"
 #include "vm/flags.h"
 #include "vm/handles.h"
 #include "vm/heap.h"
 #include "vm/object.h"
 #include "vm/unit_test.h"
 #include "vm/zone.h"
 
 namespace dart {
 
 // Unit test for Zone handle allocation.
@@ skipping 54 matching lines @@
       const Smi& handle = Smi::Handle(Smi::New(i));
       EXPECT(handle.IsSmi());
       EXPECT_EQ(i, handle.Value());
     }
     EXPECT_EQ((handle_count + (2 * kNumHandles)),
               VMHandles::ScopedHandleCount());
   }
   EXPECT_EQ(handle_count, VMHandles::ScopedHandleCount());
 }
 
+
+static void NoopCallback(void* isolate_callback_data,
+                         Dart_WeakPersistentHandle handle,
+                         void* peer) {}
+
+
+// Unit test for handle validity checks.
+TEST_CASE(CheckHandleValidity) {
+#if defined(DEBUG)
+  FLAG_trace_handles = true;
+#endif
+  Thread* current = Thread::Current();
+  Dart_Handle handle = NULL;
+  // Check validity using zone handles.
+  {
+    StackZone sz(current);
+    handle = reinterpret_cast<Dart_Handle>(&Smi::ZoneHandle(Smi::New(1)));
+    EXPECT_VALID(handle);
+  }
+  EXPECT(!Api::IsValid(handle));
+
+  // Check validity using scoped handles.
+  {
+    HANDLESCOPE(current);
+    Dart_EnterScope();
+    handle = reinterpret_cast<Dart_Handle>(&Smi::Handle(Smi::New(1)));
+    EXPECT_VALID(handle);
+    Dart_ExitScope();
+  }
+  EXPECT(!Api::IsValid(handle));
+
+  // Check validity using persistent handle.
+  Isolate* isolate = Isolate::Current();
+  Dart_PersistentHandle persistent_handle =
+      Dart_NewPersistentHandle(Api::NewHandle(thread, Smi::New(1)));
+  EXPECT_VALID(persistent_handle);
+
+  Dart_DeletePersistentHandle(persistent_handle);
+  EXPECT(!Api::IsValid(persistent_handle));
+
+  // Check validity using weak persistent handle.
+  handle = reinterpret_cast<Dart_Handle>(Dart_NewWeakPersistentHandle(
+      Dart_NewStringFromCString("foo"), NULL, 0, NoopCallback));
+
+  EXPECT_NOTNULL(handle);
+  EXPECT_VALID(handle);
+
+  Dart_DeleteWeakPersistentHandle(
+      reinterpret_cast<Dart_Isolate>(isolate),
+      reinterpret_cast<Dart_WeakPersistentHandle>(handle));
+  EXPECT(!Api::IsValid(handle));
+}
+
 }  // namespace dart