Line data    Source code

       1             : // Copyright (c) 2020 The Bitcoin Core developers
       2             : // Distributed under the MIT software license, see the accompanying
       3             : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       4             : 
       5             : #include <span.h>
       6             : #include <test/fuzz/FuzzedDataProvider.h>
       7             : #include <test/fuzz/fuzz.h>
       8             : #include <test/fuzz/util.h>
       9             : 
      10             : #include <cassert>
      11             : #include <cstddef>
      12             : #include <cstdint>
      13             : #include <string>
      14             : #include <vector>
      15             : 
      16           4 : FUZZ_TARGET(span)
      17             : {
      18           0 :     FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
      19             : 
      20           0 :     std::string str = fuzzed_data_provider.ConsumeBytesAsString(32);
      21           0 :     const Span<const char> span{str};
      22           0 :     (void)span.data();
      23           0 :     (void)span.begin();
      24           0 :     (void)span.end();
      25           2 :     if (span.size() > 0) {
      26           0 :         const std::ptrdiff_t idx = fuzzed_data_provider.ConsumeIntegralInRange<std::ptrdiff_t>(0U, span.size() - 1U);
      27           0 :         (void)span.first(idx);
      28           0 :         (void)span.last(idx);
      29           0 :         (void)span.subspan(idx);
      30           0 :         (void)span.subspan(idx, span.size() - idx);
      31           0 :         (void)span[idx];
      32           0 :     }
      33             : 
      34           0 :     std::string another_str = fuzzed_data_provider.ConsumeBytesAsString(32);
      35           0 :     const Span<const char> another_span{another_str};
      36           0 :     assert((span <= another_span) != (span > another_span));
      37           0 :     assert((span == another_span) != (span != another_span));
      38           0 :     assert((span >= another_span) != (span < another_span));
      39           0 : }