1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#include <gtest/gtest.h>
#include <c10/core/SymInt.h>
#include <c10/core/SymNodeImpl.h>
#include <c10/macros/Macros.h>
using namespace c10;
#ifndef C10_MOBILE
static void check(int64_t value) {
const auto i = SymInt(value);
EXPECT_EQ(i.maybe_as_int(), std::make_optional(value));
}
TEST(SymIntTest, ConcreteInts) {
check(INT64_MAX);
check(0);
check(-1);
check(-4611686018427387904LL);
check(INT64_MIN);
}
TEST(SymIntTest, CheckRange) {
EXPECT_FALSE(SymInt::check_range(INT64_MIN));
}
#if !C10_UBSAN_ENABLED
// This test fails signed-integer-overflow UBSAN check
TEST(SymIntTest, Overflows) {
const auto x = SymInt(INT64_MAX);
EXPECT_NE(-(x + 1), 0);
const auto y = SymInt(INT64_MIN);
EXPECT_NE(-y, 0);
EXPECT_NE(0 - y, 0);
}
#endif
#endif
|
