|
|
|
/*
|
|
|
|
* Copyright (c) 2009-2021, Google LLC
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions are met:
|
|
|
|
* * Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* * Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
* * Neither the name of Google LLC nor the
|
|
|
|
* names of its contributors may be used to endorse or promote products
|
|
|
|
* derived from this software without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
|
|
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL Google LLC BE LIABLE FOR ANY DIRECT,
|
|
|
|
* INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
|
|
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
|
|
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
|
|
|
|
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
|
|
|
|
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "gmock/gmock.h"
|
|
|
|
#include "gtest/gtest.h"
|
|
|
|
#include "absl/container/flat_hash_set.h"
|
|
|
|
#include "google/protobuf/descriptor.h"
|
|
|
|
#include "upb/message/internal.h"
|
|
|
|
#include "upb/mini_table/common_internal.h"
|
|
|
|
#include "upb/mini_table/decode.h"
|
|
|
|
#include "upb/mini_table/encode_internal.hpp"
|
|
|
|
#include "upb/mini_table/enum_internal.h"
|
|
|
|
#include "upb/upb.hpp"
|
|
|
|
#include "upb/wire/decode.h"
|
|
|
|
|
|
|
|
// begin:google_only
|
|
|
|
// #include "testing/fuzzing/fuzztest.h"
|
|
|
|
// end:google_only
|
|
|
|
|
|
|
|
namespace protobuf = ::google::protobuf;
|
|
|
|
|
|
|
|
class MiniTableTest : public testing::TestWithParam<upb_MiniTablePlatform> {};
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, Empty) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table =
|
|
|
|
upb_MiniTable_Build(NULL, 0, GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table);
|
|
|
|
EXPECT_EQ(0, table->field_count);
|
|
|
|
EXPECT_EQ(0, table->required_count);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, AllScalarTypes) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
ASSERT_TRUE(e.StartMessage(0));
|
|
|
|
int count = 0;
|
|
|
|
for (int i = kUpb_FieldType_Double; i < kUpb_FieldType_SInt64; i++) {
|
|
|
|
ASSERT_TRUE(e.PutField(static_cast<upb_FieldType>(i), i, 0));
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table);
|
|
|
|
EXPECT_EQ(count, table->field_count);
|
|
|
|
absl::flat_hash_set<size_t> offsets;
|
|
|
|
for (int i = 0; i < 16; i++) {
|
|
|
|
const upb_MiniTableField* f = &table->fields[i];
|
|
|
|
EXPECT_EQ(i + 1, f->number);
|
|
|
|
EXPECT_EQ(kUpb_FieldMode_Scalar, f->mode & kUpb_FieldMode_Mask);
|
|
|
|
EXPECT_TRUE(offsets.insert(f->offset).second);
|
|
|
|
EXPECT_TRUE(f->offset < table->size);
|
|
|
|
}
|
|
|
|
EXPECT_EQ(0, table->required_count);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, AllRepeatedTypes) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
ASSERT_TRUE(e.StartMessage(0));
|
|
|
|
int count = 0;
|
|
|
|
for (int i = kUpb_FieldType_Double; i < kUpb_FieldType_SInt64; i++) {
|
|
|
|
ASSERT_TRUE(e.PutField(static_cast<upb_FieldType>(i), i,
|
|
|
|
kUpb_FieldModifier_IsRepeated));
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table);
|
|
|
|
EXPECT_EQ(count, table->field_count);
|
|
|
|
absl::flat_hash_set<size_t> offsets;
|
|
|
|
for (int i = 0; i < 16; i++) {
|
|
|
|
const upb_MiniTableField* f = &table->fields[i];
|
|
|
|
EXPECT_EQ(i + 1, f->number);
|
|
|
|
EXPECT_EQ(kUpb_FieldMode_Array, f->mode & kUpb_FieldMode_Mask);
|
|
|
|
EXPECT_TRUE(offsets.insert(f->offset).second);
|
|
|
|
EXPECT_TRUE(f->offset < table->size);
|
|
|
|
}
|
|
|
|
EXPECT_EQ(0, table->required_count);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, Skips) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
ASSERT_TRUE(e.StartMessage(0));
|
|
|
|
int count = 0;
|
|
|
|
std::vector<int> field_numbers;
|
|
|
|
for (int i = 0; i < 25; i++) {
|
|
|
|
int field_number = 1 << i;
|
|
|
|
field_numbers.push_back(field_number);
|
|
|
|
ASSERT_TRUE(e.PutField(kUpb_FieldType_Float, field_number, 0));
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table);
|
|
|
|
EXPECT_EQ(count, table->field_count);
|
|
|
|
absl::flat_hash_set<size_t> offsets;
|
|
|
|
for (size_t i = 0; i < field_numbers.size(); i++) {
|
|
|
|
const upb_MiniTableField* f = &table->fields[i];
|
|
|
|
EXPECT_EQ(field_numbers[i], f->number);
|
|
|
|
EXPECT_EQ(kUpb_FieldType_Float, f->descriptortype);
|
|
|
|
EXPECT_EQ(kUpb_FieldMode_Scalar, f->mode & kUpb_FieldMode_Mask);
|
|
|
|
EXPECT_TRUE(offsets.insert(f->offset).second);
|
|
|
|
EXPECT_TRUE(f->offset < table->size);
|
|
|
|
}
|
|
|
|
EXPECT_EQ(0, table->required_count);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, AllScalarTypesOneof) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
ASSERT_TRUE(e.StartMessage(0));
|
|
|
|
int count = 0;
|
|
|
|
for (int i = kUpb_FieldType_Double; i < kUpb_FieldType_SInt64; i++) {
|
|
|
|
ASSERT_TRUE(e.PutField(static_cast<upb_FieldType>(i), i, 0));
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
ASSERT_TRUE(e.StartOneof());
|
|
|
|
for (int i = kUpb_FieldType_Double; i < kUpb_FieldType_SInt64; i++) {
|
|
|
|
ASSERT_TRUE(e.PutOneofField(i));
|
|
|
|
}
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table) << status.error_message();
|
|
|
|
EXPECT_EQ(count, table->field_count);
|
|
|
|
absl::flat_hash_set<size_t> offsets;
|
|
|
|
for (int i = 0; i < 16; i++) {
|
|
|
|
const upb_MiniTableField* f = &table->fields[i];
|
|
|
|
EXPECT_EQ(i + 1, f->number);
|
|
|
|
EXPECT_EQ(kUpb_FieldMode_Scalar, f->mode & kUpb_FieldMode_Mask);
|
|
|
|
// For a oneof all fields have the same offset.
|
|
|
|
EXPECT_EQ(table->fields[0].offset, f->offset);
|
|
|
|
// All presence fields should point to the same oneof case offset.
|
|
|
|
size_t case_ofs = _upb_oneofcase_ofs(f);
|
|
|
|
EXPECT_EQ(table->fields[0].presence, f->presence);
|
|
|
|
EXPECT_TRUE(f->offset < table->size);
|
|
|
|
EXPECT_TRUE(case_ofs < table->size);
|
|
|
|
EXPECT_TRUE(case_ofs != f->offset);
|
|
|
|
}
|
|
|
|
EXPECT_EQ(0, table->required_count);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, SizeOverflow) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
// upb can only handle messages up to UINT16_MAX.
|
|
|
|
size_t max_double_fields = UINT16_MAX / (sizeof(double) + 1);
|
|
|
|
|
|
|
|
// A bit under max_double_fields is ok.
|
|
|
|
ASSERT_TRUE(e.StartMessage(0));
|
|
|
|
for (size_t i = 1; i < max_double_fields; i++) {
|
|
|
|
ASSERT_TRUE(e.PutField(kUpb_FieldType_Double, i, 0));
|
|
|
|
}
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table) << status.error_message();
|
|
|
|
|
|
|
|
// A bit over max_double_fields fails.
|
|
|
|
ASSERT_TRUE(e.StartMessage(0));
|
|
|
|
for (size_t i = 1; i < max_double_fields + 2; i++) {
|
|
|
|
ASSERT_TRUE(e.PutField(kUpb_FieldType_Double, i, 0));
|
|
|
|
}
|
|
|
|
upb_MiniTable* table2 = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_EQ(nullptr, table2) << status.error_message();
|
|
|
|
}
|
|
|
|
|
|
|
|
INSTANTIATE_TEST_SUITE_P(Platforms, MiniTableTest,
|
|
|
|
testing::Values(kUpb_MiniTablePlatform_32Bit,
|
|
|
|
kUpb_MiniTablePlatform_64Bit));
|
|
|
|
|
|
|
|
TEST(MiniTablePlatformIndependentTest, Base92Roundtrip) {
|
|
|
|
for (char i = 0; i < 92; i++) {
|
|
|
|
EXPECT_EQ(i, _upb_FromBase92(_upb_ToBase92(i)));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(MiniTablePlatformIndependentTest, IsTypePackable) {
|
|
|
|
for (int i = 1; i <= protobuf::FieldDescriptor::MAX_TYPE; i++) {
|
|
|
|
EXPECT_EQ(_upb_FieldType_IsPackable(static_cast<upb_FieldType>(i)),
|
|
|
|
protobuf::FieldDescriptor::IsTypePackable(
|
|
|
|
static_cast<protobuf::FieldDescriptor::Type>(i)));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(MiniTableEnumTest, Enum) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
|
|
|
|
ASSERT_TRUE(e.StartEnum());
|
|
|
|
absl::flat_hash_set<int32_t> values;
|
|
|
|
for (int i = 0; i < 256; i++) {
|
|
|
|
values.insert(i * 2);
|
|
|
|
e.PutEnumValue(i * 2);
|
|
|
|
}
|
|
|
|
e.EndEnum();
|
|
|
|
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTableEnum* table = upb_MiniTableEnum_Build(
|
|
|
|
e.data().data(), e.data().size(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table) << status.error_message();
|
|
|
|
|
|
|
|
for (int i = 0; i < UINT16_MAX; i++) {
|
|
|
|
EXPECT_EQ(values.contains(i), upb_MiniTableEnum_CheckValue(table, i)) << i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, SubsInitializedToNull) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
// Create mini table with 2 message fields.
|
|
|
|
ASSERT_TRUE(e.StartMessage(0));
|
|
|
|
ASSERT_TRUE(e.PutField(kUpb_FieldType_Message, 15, 0));
|
|
|
|
ASSERT_TRUE(e.PutField(kUpb_FieldType_Message, 16, 0));
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table);
|
|
|
|
EXPECT_EQ(table->field_count, 2);
|
|
|
|
EXPECT_EQ(table->subs[0].submsg, nullptr);
|
|
|
|
EXPECT_EQ(table->subs[1].submsg, nullptr);
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(MiniTableEnumTest, PositiveAndNegative) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
|
|
|
|
ASSERT_TRUE(e.StartEnum());
|
|
|
|
absl::flat_hash_set<int32_t> values;
|
|
|
|
for (int i = 0; i < 100; i++) {
|
|
|
|
values.insert(i);
|
|
|
|
e.PutEnumValue(i);
|
|
|
|
}
|
|
|
|
for (int i = 100; i > 0; i--) {
|
|
|
|
values.insert(-i);
|
|
|
|
e.PutEnumValue(-i);
|
|
|
|
}
|
|
|
|
e.EndEnum();
|
|
|
|
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTableEnum* table = upb_MiniTableEnum_Build(
|
|
|
|
e.data().data(), e.data().size(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table) << status.error_message();
|
|
|
|
|
|
|
|
for (int i = -UINT16_MAX; i < UINT16_MAX; i++) {
|
|
|
|
EXPECT_EQ(values.contains(i), upb_MiniTableEnum_CheckValue(table, i)) << i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST_P(MiniTableTest, Extendible) {
|
|
|
|
upb::Arena arena;
|
|
|
|
upb::MtDataEncoder e;
|
|
|
|
ASSERT_TRUE(e.StartMessage(kUpb_MessageModifier_IsExtendable));
|
|
|
|
int count = 0;
|
|
|
|
for (int i = kUpb_FieldType_Double; i < kUpb_FieldType_SInt64; i++) {
|
|
|
|
ASSERT_TRUE(e.PutField(static_cast<upb_FieldType>(i), i, 0));
|
|
|
|
count++;
|
|
|
|
}
|
|
|
|
upb::Status status;
|
|
|
|
upb_MiniTable* table = upb_MiniTable_Build(
|
|
|
|
e.data().data(), e.data().size(), GetParam(), arena.ptr(), status.ptr());
|
|
|
|
ASSERT_NE(nullptr, table);
|
|
|
|
EXPECT_EQ(kUpb_ExtMode_Extendable, table->ext & kUpb_ExtMode_Extendable);
|
|
|
|
}
|
|
|
|
|
|
|
|
// begin:google_only
|
|
|
|
//
|
|
|
|
// static void BuildMiniTable(std::string_view s, bool is_32bit) {
|
|
|
|
// upb::Arena arena;
|
|
|
|
// upb::Status status;
|
|
|
|
// upb_MiniTable_Build(
|
|
|
|
// s.data(), s.size(),
|
|
|
|
// is_32bit ? kUpb_MiniTablePlatform_32Bit : kUpb_MiniTablePlatform_64Bit,
|
|
|
|
// arena.ptr(), status.ptr());
|
|
|
|
// }
|
|
|
|
// FUZZ_TEST(FuzzTest, BuildMiniTable);
|
|
|
|
//
|
|
|
|
// TEST(FuzzTest, BuildMiniTableRegression) {
|
|
|
|
// BuildMiniTable("g}{v~fq{\271", false);
|
|
|
|
// }
|
|
|
|
//
|
|
|
|
// end:google_only
|