blob: ac37c2ef24275c2ed44630487948aa55f3e4fcd7 [file] [log] [blame]
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11
#include <algorithm>
#include <cstddef>
#include <cstdint>
#include <iterator>
#include <vector>
#include "fuzz.h"
extern "C" int LLVMFuzzerTestOneInput(const std::uint8_t *data, std::size_t size) {
auto is_even = [](auto t) {
return t % 2 == 0;
};
std::vector<std::uint8_t> v1, v2;
auto iter = std::partition_copy(data, data + size,
std::back_inserter<std::vector<std::uint8_t>>(v1),
std::back_inserter<std::vector<std::uint8_t>>(v2),
is_even);
((void)iter);
// The two vectors should add up to the original size
if (v1.size() + v2.size() != size)
return 1;
// All of the even values should be in the first vector, and none in the second
if (!std::all_of(v1.begin(), v1.end(), is_even))
return 2;
if (!std::none_of(v2.begin(), v2.end(), is_even))
return 3;
// Every value in both vectors has to be in the original
// Make a copy of the input, and sort it
std::vector<std::uint8_t> v0{data, data + size};
std::sort(v0.begin(), v0.end());
// Sort each vector and ensure that all of the elements appear in the original input
std::sort(v1.begin(), v1.end());
if (!std::includes(v0.begin(), v0.end(), v1.begin(), v1.end()))
return 4;
std::sort(v2.begin(), v2.end());
if (!std::includes(v0.begin(), v0.end(), v2.begin(), v2.end()))
return 5;
// This, while simple, is really slow - 20 seconds on a 500K element input.
// for (auto v: v1)
// if (std::find(data, data + size, v) == data + size)
// return 4;
//
// for (auto v: v2)
// if (std::find(data, data + size, v) == data + size)
// return 5;
return 0;
}