mirror of
https://github.com/dart-lang/sdk
synced 2024-11-05 18:22:09 +00:00
aee4561882
Change-Id: Ieab84b164ed620d5edca06e3c7b63b33bdcd6569 Reviewed-on: https://dart-review.googlesource.com/52943 Reviewed-by: Zach Anderson <zra@google.com> Commit-Queue: Ryan Macnak <rmacnak@google.com>
47 lines
1.5 KiB
C++
47 lines
1.5 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 "platform/assert.h"
|
|
|
|
#include "include/dart_api.h"
|
|
#include "platform/globals.h"
|
|
#include "vm/os.h"
|
|
|
|
namespace dart {
|
|
|
|
bool DynamicAssertionHelper::failed_ = false;
|
|
|
|
void DynamicAssertionHelper::Fail(const char* format, ...) {
|
|
// Take only the last 1KB of the file name if it is longer.
|
|
const intptr_t file_len = strlen(file_);
|
|
const intptr_t file_offset = (file_len > (1 * KB)) ? file_len - (1 * KB) : 0;
|
|
const char* file = file_ + file_offset;
|
|
|
|
// Print the file and line number into the buffer.
|
|
char buffer[4 * KB];
|
|
MSAN_UNPOISON(buffer, sizeof(buffer));
|
|
intptr_t file_and_line_length =
|
|
snprintf(buffer, sizeof(buffer), "%s: %d: error: ", file, line_);
|
|
|
|
// Print the error message into the buffer.
|
|
va_list arguments;
|
|
va_start(arguments, format);
|
|
vsnprintf(buffer + file_and_line_length,
|
|
sizeof(buffer) - file_and_line_length, format, arguments);
|
|
va_end(arguments);
|
|
|
|
// Print the buffer on stderr and/or syslog.
|
|
OS::PrintErr("%s\n", buffer);
|
|
|
|
// In case of failed assertions, abort right away. Otherwise, wait
|
|
// until the program is exiting before producing a non-zero exit
|
|
// code through abort.
|
|
if (kind_ == ASSERT) {
|
|
NOT_IN_PRODUCT(Dart_DumpNativeStackTrace(NULL));
|
|
OS::Abort();
|
|
}
|
|
failed_ = true;
|
|
}
|
|
|
|
} // namespace dart
|