Branch data 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 : }