Jade Lovelace
1fa6a3e335
* some things that can throw are marked noexcept yet the linter seems to think not. Maybe they can't throw in practice. I would rather not have the UB possibility in pretty obvious cold paths. * various default-case-missing complaints * a fair pile of casts from integer to character, which are in fact deliberate. * an instance of <https://clang.llvm.org/extra/clang-tidy/checks/bugprone/move-forwarding-reference.html> * bugprone-not-null-terminated-result on handing a string to curl in chunks of bytes. our usage is fine. * reassigning a unique_ptr by CRIMES instead of using release(), then using release() and ignoring the result. wild. let's use release() for its intended purpose. Change-Id: Ic3e7affef12383576213a8a7c8145c27e662513d
85 lines
1.9 KiB
C++
85 lines
1.9 KiB
C++
#include <regex>
|
|
|
|
#include <rapidcheck.h>
|
|
|
|
#include "path-regex.hh"
|
|
#include "store-api.hh"
|
|
|
|
#include "tests/hash.hh"
|
|
#include "tests/path.hh"
|
|
|
|
namespace nix {
|
|
|
|
void showValue(const StorePath & p, std::ostream & os)
|
|
{
|
|
os << p.to_string();
|
|
}
|
|
|
|
}
|
|
|
|
namespace rc {
|
|
using namespace nix;
|
|
|
|
Gen<StorePathName> Arbitrary<StorePathName>::arbitrary()
|
|
{
|
|
auto len = *gen::inRange<size_t>(
|
|
1,
|
|
StorePath::MaxPathLen - StorePath::HashLen);
|
|
|
|
std::string pre;
|
|
pre.reserve(len);
|
|
|
|
for (size_t c = 0; c < len; ++c) {
|
|
switch (auto i = *gen::inRange<uint8_t>(0, 10 + 2 * 26 + 6)) {
|
|
case 0 ... 9:
|
|
pre += static_cast<uint8_t>('0' + i);
|
|
break;
|
|
case 10 ... 35:
|
|
pre += static_cast<uint8_t>('A' + (i - 10));
|
|
break;
|
|
case 36 ... 61:
|
|
pre += static_cast<uint8_t>('a' + (i - 36));
|
|
break;
|
|
case 62:
|
|
pre += '+';
|
|
break;
|
|
case 63:
|
|
pre += '-';
|
|
break;
|
|
case 64:
|
|
// names aren't permitted to start with a period,
|
|
// so just fall through to the next case here
|
|
if (c != 0) {
|
|
pre += '.';
|
|
break;
|
|
}
|
|
[[fallthrough]];
|
|
case 65:
|
|
pre += '_';
|
|
break;
|
|
case 66:
|
|
pre += '?';
|
|
break;
|
|
case 67:
|
|
pre += '=';
|
|
break;
|
|
default:
|
|
assert(false);
|
|
}
|
|
}
|
|
|
|
return gen::just(StorePathName {
|
|
.name = std::move(pre),
|
|
});
|
|
}
|
|
|
|
Gen<StorePath> Arbitrary<StorePath>::arbitrary()
|
|
{
|
|
return gen::just(StorePath {
|
|
*gen::arbitrary<Hash>(),
|
|
(*gen::arbitrary<StorePathName>()).name,
|
|
});
|
|
}
|
|
|
|
} // namespace rc
|