From e3c38c14e7dd9c115da960daafd109d2687f1a08 Mon Sep 17 00:00:00 2001
From: JF Bastien <jfb@chromium.org>
Date: Sun, 10 Jan 2016 10:49:59 -0800
Subject: Add Travis builds with sanitizers

This triggers 5 independent build / test runs:
 - clang, no sanitizer;
 - clang, UB sanitizer;
 - clang, address sanitizer (disabled for now);
 - clang, thread sanitizer (disabled for now);
 - GCC.

Enabling UBSan led to these changes:
 - Fix a bunch of undefined behavior throughout the code base.
 - Fix some tests that relied on that undefined behavior.
 - Make some of the tests easier to debug by printing their command line.
 - Add ubsan blacklist to work around libstdc++ bug.
 - Example testcase also needs sanitizer because libsupport.a uses it.
---
 src/support/safe_integer.cpp | 70 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 70 insertions(+)
 create mode 100644 src/support/safe_integer.cpp

(limited to 'src/support/safe_integer.cpp')

diff --git a/src/support/safe_integer.cpp b/src/support/safe_integer.cpp
new file mode 100644
index 000000000..46057cede
--- /dev/null
+++ b/src/support/safe_integer.cpp
@@ -0,0 +1,70 @@
+/*
+ * Copyright 2016 WebAssembly Community Group participants
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#include <cmath>
+#include <limits>
+
+#include "support/safe_integer.h"
+
+using namespace wasm;
+
+bool wasm::isInteger(double x) { return fmod(x, 1) == 0; }
+
+bool wasm::isUInteger32(double x) {
+  return isInteger(x) && x >= 0 && x <= std::numeric_limits<uint32_t>::max();
+}
+
+bool wasm::isSInteger32(double x) {
+  return isInteger(x) && x >= std::numeric_limits<int32_t>::min() &&
+         x <= std::numeric_limits<int32_t>::max();
+}
+
+uint32_t wasm::toUInteger32(double x) {
+  return x < std::numeric_limits<uint32_t>::max()
+             ? x
+             : std::numeric_limits<uint32_t>::max();
+}
+
+int32_t wasm::toSInteger32(double x) {
+  return x > std::numeric_limits<int32_t>::min() &&
+                 x < std::numeric_limits<int32_t>::max()
+             ? x
+             : (x < 0 ? std::numeric_limits<int32_t>::min()
+                      : std::numeric_limits<int32_t>::max());
+}
+
+bool wasm::isUInteger64(double x) {
+  return isInteger(x) && x >= 0 && x <= std::numeric_limits<uint64_t>::max();
+}
+
+bool wasm::isSInteger64(double x) {
+  return isInteger(x) && x >= std::numeric_limits<int64_t>::min() &&
+         x <= std::numeric_limits<int64_t>::max();
+}
+
+uint64_t wasm::toUInteger64(double x) {
+  return x < (double)std::numeric_limits<uint64_t>::max()
+             ? (uint64_t)x
+             : std::numeric_limits<uint64_t>::max();
+}
+
+int64_t wasm::toSInteger64(double x) {
+  return x > (double)std::numeric_limits<int64_t>::min() &&
+                 x < (double)std::numeric_limits<int64_t>::max()
+             ? (int64_t)x
+             : (x < 0 ? std::numeric_limits<int64_t>::min()
+                      : std::numeric_limits<int64_t>::max());
+}
-- 
cgit v1.2.3