Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(5)

Side by Side Diff: src/handles-inl.h

Issue 14660008: Fix braindead Handle::is_identical_to (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Also fix (and broaden) zap value assertions Created 7 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « no previous file | src/type-info.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2006-2008 the V8 project authors. All rights reserved. 1 // Copyright 2006-2008 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after
46 46
47 template<typename T> 47 template<typename T>
48 Handle<T>::Handle(T* obj, Isolate* isolate) { 48 Handle<T>::Handle(T* obj, Isolate* isolate) {
49 ASSERT(!obj->IsFailure()); 49 ASSERT(!obj->IsFailure());
50 location_ = HandleScope::CreateHandle(isolate, obj); 50 location_ = HandleScope::CreateHandle(isolate, obj);
51 } 51 }
52 52
53 53
54 template <typename T> 54 template <typename T>
55 inline bool Handle<T>::is_identical_to(const Handle<T> other) const { 55 inline bool Handle<T>::is_identical_to(const Handle<T> other) const {
56 ASSERT(location_ == NULL || 56 ASSERT(location_ == NULL || !(*location_)->IsFailure());
57 reinterpret_cast<Address>(*location_) != kZapValue); 57 if (location_ == other.location_) return true;
58 if (location_ == NULL || other.location_ == NULL) return false;
58 // Dereferencing deferred handles to check object equality is safe. 59 // Dereferencing deferred handles to check object equality is safe.
59 SLOW_ASSERT(IsDereferenceAllowed(true) && other.IsDereferenceAllowed(true)); 60 SLOW_ASSERT(IsDereferenceAllowed(true) && other.IsDereferenceAllowed(true));
60 return *location_ == *other.location_; 61 return *location_ == *other.location_;
61 } 62 }
62 63
63 64
64 template <typename T> 65 template <typename T>
65 inline T* Handle<T>::operator*() const { 66 inline T* Handle<T>::operator*() const {
66 ASSERT(location_ != NULL); 67 ASSERT(location_ != NULL && !(*location_)->IsFailure());
67 ASSERT(reinterpret_cast<Address>(*location_) != kHandleZapValue);
68 SLOW_ASSERT(IsDereferenceAllowed(false)); 68 SLOW_ASSERT(IsDereferenceAllowed(false));
69 return *BitCast<T**>(location_); 69 return *BitCast<T**>(location_);
70 } 70 }
71 71
72 template <typename T> 72 template <typename T>
73 inline T** Handle<T>::location() const { 73 inline T** Handle<T>::location() const {
74 ASSERT(location_ == NULL || 74 ASSERT(location_ == NULL || !(*location_)->IsFailure());
75 reinterpret_cast<Address>(*location_) != kZapValue); 75 SLOW_ASSERT(location_ == NULL || IsDereferenceAllowed(false));
76 SLOW_ASSERT(IsDereferenceAllowed(false));
77 return location_; 76 return location_;
78 } 77 }
79 78
80 #ifdef DEBUG 79 #ifdef DEBUG
81 template <typename T> 80 template <typename T>
82 bool Handle<T>::IsDereferenceAllowed(bool allow_deferred) const { 81 bool Handle<T>::IsDereferenceAllowed(bool allow_deferred) const {
83 if (location_ == NULL) return true; 82 ASSERT(location_ != NULL);
84 Object* object = *BitCast<T**>(location_); 83 Object* object = *BitCast<T**>(location_);
85 if (object->IsSmi()) return true; 84 if (object->IsSmi()) return true;
86 HeapObject* heap_object = HeapObject::cast(object); 85 HeapObject* heap_object = HeapObject::cast(object);
87 Isolate* isolate = heap_object->GetIsolate(); 86 Isolate* isolate = heap_object->GetIsolate();
88 Object** handle = reinterpret_cast<Object**>(location_); 87 Object** handle = reinterpret_cast<Object**>(location_);
89 Object** roots_array_start = isolate->heap()->roots_array_start(); 88 Object** roots_array_start = isolate->heap()->roots_array_start();
90 if (roots_array_start <= handle && 89 if (roots_array_start <= handle &&
91 handle < roots_array_start + Heap::kStrongRootListLength) { 90 handle < roots_array_start + Heap::kStrongRootListLength) {
92 return true; 91 return true;
93 } 92 }
(...skipping 123 matching lines...) Expand 10 before | Expand all | Expand 10 after
217 216
218 HandleDereferenceGuard::~HandleDereferenceGuard() { 217 HandleDereferenceGuard::~HandleDereferenceGuard() {
219 isolate_->SetHandleDereferenceGuardState(old_state_); 218 isolate_->SetHandleDereferenceGuardState(old_state_);
220 } 219 }
221 220
222 #endif 221 #endif
223 222
224 } } // namespace v8::internal 223 } } // namespace v8::internal
225 224
226 #endif // V8_HANDLES_INL_H_ 225 #endif // V8_HANDLES_INL_H_
OLDNEW
« no previous file with comments | « no previous file | src/type-info.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698