[libcxx] r322021 - Change add_ten to add_one to avoid triggering ubsan integer overflow.
Billy Robert O'Neal III via cfe-commits
cfe-commits at lists.llvm.org
Mon Jan 8 11:45:16 PST 2018
Author: bion
Date: Mon Jan 8 11:45:16 2018
New Revision: 322021
URL: http://llvm.org/viewvc/llvm-project?rev=322021&view=rev
Log:
Change add_ten to add_one to avoid triggering ubsan integer overflow.
Modified:
libcxx/trunk/test/std/numerics/numeric.ops/transform.exclusive.scan/transform_exclusive_scan_init_bop_uop.pass.cpp
libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop.pass.cpp
libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop_init.pass.cpp
Modified: libcxx/trunk/test/std/numerics/numeric.ops/transform.exclusive.scan/transform_exclusive_scan_init_bop_uop.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/numerics/numeric.ops/transform.exclusive.scan/transform_exclusive_scan_init_bop_uop.pass.cpp?rev=322021&r1=322020&r2=322021&view=diff
==============================================================================
--- libcxx/trunk/test/std/numerics/numeric.ops/transform.exclusive.scan/transform_exclusive_scan_init_bop_uop.pass.cpp (original)
+++ libcxx/trunk/test/std/numerics/numeric.ops/transform.exclusive.scan/transform_exclusive_scan_init_bop_uop.pass.cpp Mon Jan 8 11:45:16 2018
@@ -28,10 +28,10 @@
#include "test_iterators.h"
-struct add_ten {
+struct add_one {
template <typename T>
constexpr auto operator()(T x) const noexcept {
- return static_cast<T>(x + 10);
+ return static_cast<T>(x + 1);
}
};
@@ -56,15 +56,15 @@ template <class Iter>
void
test()
{
- int ia[] = { 1, 3, 5, 7, 9};
- const int pResI0[] = { 0, 11, 24, 39, 56}; // with add_ten
- const int mResI0[] = { 0, 0, 0, 0, 0};
- const int pResN0[] = { 0, -1, -4, -9, -16}; // with negate
- const int mResN0[] = { 0, 0, 0, 0, 0};
- const int pResI2[] = { 2, 13, 26, 41, 58}; // with add_ten
- const int mResI2[] = { 2, 22, 286, 4290, 72930};
- const int pResN2[] = { 2, 1, -2, -7, -14}; // with negate
- const int mResN2[] = { 2, -2, 6, -30, 210};
+ int ia[] = { 1, 3, 5, 7, 9 };
+ const int pResI0[] = { 0, 2, 6, 12, 20 }; // with add_one
+ const int mResI0[] = { 0, 0, 0, 0, 0 };
+ const int pResN0[] = { 0, -1, -4, -9, -16 }; // with negate
+ const int mResN0[] = { 0, 0, 0, 0, 0 };
+ const int pResI2[] = { 2, 4, 8, 14, 22 }; // with add_one
+ const int mResI2[] = { 2, 4, 16, 96, 768 };
+ const int pResN2[] = { 2, 1, -2, -7, -14 }; // with negate
+ const int mResN2[] = { 2, -2, 6, -30, 210 };
const unsigned sa = sizeof(ia) / sizeof(ia[0]);
static_assert(sa == sizeof(pResI0) / sizeof(pResI0[0])); // just to be sure
static_assert(sa == sizeof(mResI0) / sizeof(mResI0[0])); // just to be sure
@@ -76,12 +76,12 @@ test()
static_assert(sa == sizeof(mResN2) / sizeof(mResN2[0])); // just to be sure
for (unsigned int i = 0; i < sa; ++i ) {
- test(Iter(ia), Iter(ia + i), std::plus<>(), add_ten{}, 0, pResI0, pResI0 + i);
- test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_ten{}, 0, mResI0, mResI0 + i);
+ test(Iter(ia), Iter(ia + i), std::plus<>(), add_one{}, 0, pResI0, pResI0 + i);
+ test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_one{}, 0, mResI0, mResI0 + i);
test(Iter(ia), Iter(ia + i), std::plus<>(), std::negate<>(), 0, pResN0, pResN0 + i);
test(Iter(ia), Iter(ia + i), std::multiplies<>(), std::negate<>(), 0, mResN0, mResN0 + i);
- test(Iter(ia), Iter(ia + i), std::plus<>(), add_ten{}, 2, pResI2, pResI2 + i);
- test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_ten{}, 2, mResI2, mResI2 + i);
+ test(Iter(ia), Iter(ia + i), std::plus<>(), add_one{}, 2, pResI2, pResI2 + i);
+ test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_one{}, 2, mResI2, mResI2 + i);
test(Iter(ia), Iter(ia + i), std::plus<>(), std::negate<>(), 2, pResN2, pResN2 + i);
test(Iter(ia), Iter(ia + i), std::multiplies<>(), std::negate<>(), 2, mResN2, mResN2 + i);
}
@@ -95,30 +95,30 @@ void basic_tests()
{
std::vector<int> v(10);
std::fill(v.begin(), v.end(), 3);
- std::transform_exclusive_scan(v.begin(), v.end(), v.begin(), 50, std::plus<>(), add_ten{});
+ std::transform_exclusive_scan(v.begin(), v.end(), v.begin(), 50, std::plus<>(), add_one{});
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == 50 + (int) i * 13);
+ assert(v[i] == 50 + (int) i * 4);
}
{
std::vector<int> v(10);
std::iota(v.begin(), v.end(), 0);
- std::transform_exclusive_scan(v.begin(), v.end(), v.begin(), 30, std::plus<>(), add_ten{});
+ std::transform_exclusive_scan(v.begin(), v.end(), v.begin(), 30, std::plus<>(), add_one{});
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == 30 + triangle(i - 1) + (int) i * 10);
+ assert(v[i] == 30 + triangle(i - 1) + (int) i);
}
{
std::vector<int> v(10);
std::iota(v.begin(), v.end(), 1);
- std::transform_exclusive_scan(v.begin(), v.end(), v.begin(), 40, std::plus<>(), add_ten{});
+ std::transform_exclusive_scan(v.begin(), v.end(), v.begin(), 40, std::plus<>(), add_one{});
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == 40 + triangle(i) + (int) i * 10);
+ assert(v[i] == 40 + triangle(i) + (int) i);
}
{
std::vector<int> v, res;
- std::transform_exclusive_scan(v.begin(), v.end(), std::back_inserter(res), 40, std::plus<>(), add_ten{});
+ std::transform_exclusive_scan(v.begin(), v.end(), std::back_inserter(res), 40, std::plus<>(), add_one{});
assert(res.empty());
}
@@ -127,14 +127,14 @@ void basic_tests()
std::vector<unsigned char> v(10);
std::iota(v.begin(), v.end(), static_cast<unsigned char>(1));
std::vector<int> res;
- std::transform_exclusive_scan(v.begin(), v.end(), std::back_inserter(res), 1, std::multiplies<>(), add_ten{});
+ std::transform_exclusive_scan(v.begin(), v.end(), std::back_inserter(res), 1, std::multiplies<>(), add_one{});
assert(res.size() == 10);
int j = 1;
assert(res[0] == 1);
for (size_t i = 1; i < res.size(); ++i)
{
- j *= i + 10;
+ j *= i + 1;
assert(res[i] == j);
}
}
Modified: libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop.pass.cpp?rev=322021&r1=322020&r2=322021&view=diff
==============================================================================
--- libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop.pass.cpp (original)
+++ libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop.pass.cpp Mon Jan 8 11:45:16 2018
@@ -29,10 +29,10 @@
#include "test_iterators.h"
-struct add_ten {
+struct add_one {
template <typename T>
constexpr auto operator()(T x) const noexcept {
- return static_cast<T>(x + 10);
+ return static_cast<T>(x + 1);
}
};
@@ -57,20 +57,20 @@ template <class Iter>
void
test()
{
- int ia[] = { 1, 3, 5, 7, 9};
- const int pResI0[] = { 11, 24, 39, 56, 75}; // with add_ten
- const int mResI0[] = { 11, 143, 2145, 36465, 692835};
- const int pResN0[] = { -1, -4, -9, -16, -25}; // with negate
- const int mResN0[] = { -1, 3, -15, 105, -945};
- const unsigned sa = sizeof(ia) / sizeof(ia[0]);
+ int ia[] = { 1, 3, 5, 7, 9 };
+ const int pResI0[] = { 2, 6, 12, 20, 30 }; // with add_one
+ const int mResI0[] = { 2, 8, 48, 384, 3840 };
+ const int pResN0[] = { -1, -4, -9, -16, -25 }; // with negate
+ const int mResN0[] = { -1, 3, -15, 105, -945 };
+ const unsigned sa = sizeof(ia) / sizeof(ia[0] );
static_assert(sa == sizeof(pResI0) / sizeof(pResI0[0])); // just to be sure
static_assert(sa == sizeof(mResI0) / sizeof(mResI0[0])); // just to be sure
static_assert(sa == sizeof(pResN0) / sizeof(pResN0[0])); // just to be sure
static_assert(sa == sizeof(mResN0) / sizeof(mResN0[0])); // just to be sure
for (unsigned int i = 0; i < sa; ++i ) {
- test(Iter(ia), Iter(ia + i), std::plus<>(), add_ten{}, pResI0, pResI0 + i);
- test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_ten{}, mResI0, mResI0 + i);
+ test(Iter(ia), Iter(ia + i), std::plus<>(), add_one{}, pResI0, pResI0 + i);
+ test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_one{}, mResI0, mResI0 + i);
test(Iter(ia), Iter(ia + i), std::plus<>(), std::negate<>(), pResN0, pResN0 + i);
test(Iter(ia), Iter(ia + i), std::multiplies<>(), std::negate<>(), mResN0, mResN0 + i);
}
@@ -84,32 +84,32 @@ void basic_tests()
{
std::vector<int> v(10);
std::fill(v.begin(), v.end(), 3);
- std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_ten{});
+ std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_one{});
std::copy(v.begin(), v.end(), std::ostream_iterator<int>(std::cout, " "));
std::cout << std::endl;
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == (int)(i+1) * 13);
+ assert(v[i] == (int)(i+1) * 4);
}
{
std::vector<int> v(10);
std::iota(v.begin(), v.end(), 0);
- std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_ten{});
+ std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_one{});
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == triangle(i) + (int)(i + 1) * 10);
+ assert(v[i] == triangle(i) + (int)(i + 1));
}
{
std::vector<int> v(10);
std::iota(v.begin(), v.end(), 1);
- std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_ten{});
+ std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_one{});
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == triangle(i + 1) + (int)(i + 1) * 10);
+ assert(v[i] == triangle(i + 1) + (int)(i + 1));
}
{
std::vector<int> v, res;
- std::transform_inclusive_scan(v.begin(), v.end(), std::back_inserter(res), std::plus<>(), add_ten{});
+ std::transform_inclusive_scan(v.begin(), v.end(), std::back_inserter(res), std::plus<>(), add_one{});
assert(res.empty());
}
}
Modified: libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop_init.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop_init.pass.cpp?rev=322021&r1=322020&r2=322021&view=diff
==============================================================================
--- libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop_init.pass.cpp (original)
+++ libcxx/trunk/test/std/numerics/numeric.ops/transform.inclusive.scan/transform_inclusive_scan_bop_uop_init.pass.cpp Mon Jan 8 11:45:16 2018
@@ -28,10 +28,10 @@
#include "test_iterators.h"
-struct add_ten {
+struct add_one {
template <typename T>
constexpr auto operator()(T x) const noexcept {
- return static_cast<T>(x + 10);
+ return static_cast<T>(x + 1);
}
};
@@ -56,15 +56,15 @@ template <class Iter>
void
test()
{
- int ia[] = { 1, 3, 5, 7, 9};
- const int pResI0[] = { 11, 24, 39, 56, 75}; // with add_ten
- const int mResI0[] = { 0, 0, 0, 0, 0};
- const int pResN0[] = { -1, -4, -9, -16, -25}; // with negate
- const int mResN0[] = { 0, 0, 0, 0, 0};
- const int pResI2[] = { 13, 26, 41, 58, 77}; // with add_ten
- const int mResI2[] = { 22, 286, 4290, 72930, 1385670};
- const int pResN2[] = { 1, -2, -7, -14, -23}; // with negate
- const int mResN2[] = { -2, 6, -30, 210, -1890};
+ int ia[] = { 1, 3, 5, 7, 9 };
+ const int pResI0[] = { 2, 6, 12, 20, 30 }; // with add_one
+ const int mResI0[] = { 0, 0, 0, 0, 0 };
+ const int pResN0[] = { -1, -4, -9, -16, -25 }; // with negate
+ const int mResN0[] = { 0, 0, 0, 0, 0 };
+ const int pResI2[] = { 4, 8, 14, 22, 32 }; // with add_one
+ const int mResI2[] = { 4, 16, 96, 768, 7680 };
+ const int pResN2[] = { 1, -2, -7, -14, -23 }; // with negate
+ const int mResN2[] = { -2, 6, -30, 210, -1890 };
const unsigned sa = sizeof(ia) / sizeof(ia[0]);
static_assert(sa == sizeof(pResI0) / sizeof(pResI0[0])); // just to be sure
static_assert(sa == sizeof(mResI0) / sizeof(mResI0[0])); // just to be sure
@@ -76,12 +76,12 @@ test()
static_assert(sa == sizeof(mResN2) / sizeof(mResN2[0])); // just to be sure
for (unsigned int i = 0; i < sa; ++i ) {
- test(Iter(ia), Iter(ia + i), std::plus<>(), add_ten{}, 0, pResI0, pResI0 + i);
- test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_ten{}, 0, mResI0, mResI0 + i);
+ test(Iter(ia), Iter(ia + i), std::plus<>(), add_one{}, 0, pResI0, pResI0 + i);
+ test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_one{}, 0, mResI0, mResI0 + i);
test(Iter(ia), Iter(ia + i), std::plus<>(), std::negate<>(), 0, pResN0, pResN0 + i);
test(Iter(ia), Iter(ia + i), std::multiplies<>(), std::negate<>(), 0, mResN0, mResN0 + i);
- test(Iter(ia), Iter(ia + i), std::plus<>(), add_ten{}, 2, pResI2, pResI2 + i);
- test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_ten{}, 2, mResI2, mResI2 + i);
+ test(Iter(ia), Iter(ia + i), std::plus<>(), add_one{}, 2, pResI2, pResI2 + i);
+ test(Iter(ia), Iter(ia + i), std::multiplies<>(), add_one{}, 2, mResI2, mResI2 + i);
test(Iter(ia), Iter(ia + i), std::plus<>(), std::negate<>(), 2, pResN2, pResN2 + i);
test(Iter(ia), Iter(ia + i), std::multiplies<>(), std::negate<>(), 2, mResN2, mResN2 + i);
}
@@ -95,30 +95,30 @@ void basic_tests()
{
std::vector<int> v(10);
std::fill(v.begin(), v.end(), 3);
- std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_ten{}, 50);
+ std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_one{}, 50);
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == 50 + (int) (i + 1) * 13);
+ assert(v[i] == 50 + (int) (i + 1) * 4);
}
{
std::vector<int> v(10);
std::iota(v.begin(), v.end(), 0);
- std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_ten{}, 30);
+ std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_one{}, 30);
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == 30 + triangle(i) + (int) (i + 1) * 10);
+ assert(v[i] == 30 + triangle(i) + (int) (i + 1));
}
{
std::vector<int> v(10);
std::iota(v.begin(), v.end(), 1);
- std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_ten{}, 40);
+ std::transform_inclusive_scan(v.begin(), v.end(), v.begin(), std::plus<>(), add_one{}, 40);
for (size_t i = 0; i < v.size(); ++i)
- assert(v[i] == 40 + triangle(i + 1) + (int) (i + 1) * 10);
+ assert(v[i] == 40 + triangle(i + 1) + (int) (i + 1));
}
{
std::vector<int> v, res;
- std::transform_inclusive_scan(v.begin(), v.end(), std::back_inserter(res), std::plus<>(), add_ten{}, 1);
+ std::transform_inclusive_scan(v.begin(), v.end(), std::back_inserter(res), std::plus<>(), add_one{}, 1);
assert(res.empty());
}
@@ -127,14 +127,14 @@ void basic_tests()
std::vector<unsigned char> v(10);
std::iota(v.begin(), v.end(), static_cast<unsigned char>(1));
std::vector<int> res;
- std::transform_inclusive_scan(v.begin(), v.end(), std::back_inserter(res), std::multiplies<>(), add_ten{}, 1);
+ std::transform_inclusive_scan(v.begin(), v.end(), std::back_inserter(res), std::multiplies<>(), add_one{}, 1);
assert(res.size() == 10);
- int j = 11;
- assert(res[0] == 11);
+ int j = 2;
+ assert(res[0] == 2);
for (size_t i = 1; i < res.size(); ++i)
{
- j *= i + 11;
+ j *= i + 2;
assert(res[i] == j);
}
}
More information about the cfe-commits
mailing list