1// Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors
2// Licensed under the MIT License:
3//
4// Permission is hereby granted, free of charge, to any person obtaining a copy
5// of this software and associated documentation files (the "Software"), to deal
6// in the Software without restriction, including without limitation the rights
7// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
8// copies of the Software, and to permit persons to whom the Software is
9// furnished to do so, subject to the following conditions:
10//
11// The above copyright notice and this permission notice shall be included in
12// all copies or substantial portions of the Software.
13//
14// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
19// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
20// THE SOFTWARE.
21
22#include "common.h"
23#include "debug.h"
24#include <stdlib.h>
25#ifdef _MSC_VER
26#include <limits>
27#endif
28
29namespace kj {
30namespace _ { // private
31
32void inlineRequireFailure(const char* file, int line, const char* expectation,
33 const char* macroArgs, const char* message) {
34 if (message == nullptr) {
35 Debug::Fault f(file, line, kj::Exception::Type::FAILED, expectation, macroArgs);
36 f.fatal();
37 } else {
38 Debug::Fault f(file, line, kj::Exception::Type::FAILED, expectation, macroArgs, message);
39 f.fatal();
40 }
41}
42
43void unreachable() {
44 KJ_FAIL_ASSERT("Supposedly-unreachable branch executed.");
45
46 // Really make sure we abort.
47 abort();
48}
49
50} // namespace _ (private)
51
52#if _MSC_VER && !__clang__
53
54float nan() { return std::numeric_limits<float>::quiet_NaN(); }
55
56#endif
57
58} // namespace kj
59