Files
sdk/runtime/vm/allocation.cc
T
koda@google.com 554f25b53c Verify/document assumption about stack resource addresses.
We assume that addresses of stack resources refer to the actual stack and are ordered accordingly.
Using the AddressSanitizer with detect_stack_use_after_return will break this assumption.

R=zra@google.com

Review URL: https://codereview.chromium.org//927363004

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@43858 260f80e4-7a28-3924-810f-c04153c831b5
2015-02-18 23:21:32 +00:00

64 lines
1.8 KiB
C++

// 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 "vm/allocation.h"
#include "platform/assert.h"
#include "vm/isolate.h"
#include "vm/zone.h"
namespace dart {
static void* Allocate(uword size, Zone* zone) {
ASSERT(zone != NULL);
if (size > static_cast<uword>(kIntptrMax)) {
FATAL1("ZoneAllocated object has unexpectedly large size %" Pu "", size);
}
return reinterpret_cast<void*>(zone->AllocUnsafe(size));
}
void* ZoneAllocated::operator new(uword size) {
return Allocate(size, Isolate::Current()->current_zone());
}
void* ZoneAllocated::operator new(uword size, BaseIsolate* isolate) {
ASSERT(isolate != NULL);
return Allocate(size, isolate->current_zone());
}
void* ZoneAllocated::operator new(uword size, Zone* zone) {
ASSERT(zone == Isolate::Current()->current_zone());
return Allocate(size, zone);
}
void StackResource::Unwind(Isolate* isolate, uword stack_pointer) {
while (isolate->top_resource() != NULL &&
(reinterpret_cast<uword>(isolate->top_resource()) < stack_pointer)) {
isolate->top_resource()->~StackResource();
}
#if defined(DEBUG)
// All remaining stack resources should be below stack_pointer.
StackResource* current = isolate->top_resource();
while (current != NULL) {
ASSERT(reinterpret_cast<uword>(current) >= stack_pointer);
current = current->previous_;
}
#endif // DEBUG
}
void StackResource::Unwind(Isolate* isolate, StackResource* new_top) {
StackResource* current_resource = isolate->top_resource();
while (current_resource != new_top) {
current_resource->~StackResource();
current_resource = isolate->top_resource();
}
}
} // namespace dart