Auto-generate files after cl/850455994

protobuf-team-bot · protobuf-team-bot · commit d6d140725c9d · 2025-12-30T18:55:40.000Z
diff --git a/php/ext/google/protobuf/php-upb.c b/php/ext/google/protobuf/php-upb.c
@@ -10450,12 +10450,13 @@ static void upb_MtDecoder_AssignHasbits(upb_MtDecoder* d) {
       field->presence = 0;
     }
   }
-  if (last_hasbit > kUpb_Reserved_Hasbits + 63) {
+  if (last_hasbit >= kUpb_Reserved_Hasbits + 63) {
     upb_MdDecoder_ErrorJmp(&d->base, "Too many required fields");
   }
 
   d->table.UPB_PRIVATE(required_count) =
       last_hasbit - (kUpb_Reserved_Hasbits - 1);
+  UPB_ASSERT(d->table.UPB_PRIVATE(required_count) < 64);
 
   // Next assign non-required hasbit fields.
   for (int i = 0; i < n; i++) {
diff --git a/ruby/ext/google/protobuf_c/ruby-upb.c b/ruby/ext/google/protobuf_c/ruby-upb.c
@@ -9306,12 +9306,13 @@ static void upb_MtDecoder_AssignHasbits(upb_MtDecoder* d) {
       field->presence = 0;
     }
   }
-  if (last_hasbit > kUpb_Reserved_Hasbits + 63) {
+  if (last_hasbit >= kUpb_Reserved_Hasbits + 63) {
     upb_MdDecoder_ErrorJmp(&d->base, "Too many required fields");
   }
 
   d->table.UPB_PRIVATE(required_count) =
       last_hasbit - (kUpb_Reserved_Hasbits - 1);
+  UPB_ASSERT(d->table.UPB_PRIVATE(required_count) < 64);
 
   // Next assign non-required hasbit fields.
   for (int i = 0; i < n; i++) {

Original file line number	Diff line number	Diff line change
`@@ -10450,12 +10450,13 @@ static void upb_MtDecoder_AssignHasbits(upb_MtDecoder* d) {`
`10450`	`10450`	`field->presence = 0;`
`10451`	`10451`	`}`
`10452`	`10452`	`}`
`10453`		`- if (last_hasbit > kUpb_Reserved_Hasbits + 63) {`
	`10453`	`+ if (last_hasbit >= kUpb_Reserved_Hasbits + 63) {`
`10454`	`10454`	`upb_MdDecoder_ErrorJmp(&d->base, "Too many required fields");`
`10455`	`10455`	`}`
`10456`	`10456`
`10457`	`10457`	`d->table.UPB_PRIVATE(required_count) =`
`10458`	`10458`	`last_hasbit - (kUpb_Reserved_Hasbits - 1);`
	`10459`	`+ UPB_ASSERT(d->table.UPB_PRIVATE(required_count) < 64);`
`10459`	`10460`
`10460`	`10461`	`// Next assign non-required hasbit fields.`
`10461`	`10462`	`for (int i = 0; i < n; i++) {`
Original file line number	Diff line number	Diff line change
`@@ -9306,12 +9306,13 @@ static void upb_MtDecoder_AssignHasbits(upb_MtDecoder* d) {`
`9306`	`9306`	`field->presence = 0;`
`9307`	`9307`	`}`
`9308`	`9308`	`}`
`9309`		`- if (last_hasbit > kUpb_Reserved_Hasbits + 63) {`
	`9309`	`+ if (last_hasbit >= kUpb_Reserved_Hasbits + 63) {`
`9310`	`9310`	`upb_MdDecoder_ErrorJmp(&d->base, "Too many required fields");`
`9311`	`9311`	`}`
`9312`	`9312`
`9313`	`9313`	`d->table.UPB_PRIVATE(required_count) =`
`9314`	`9314`	`last_hasbit - (kUpb_Reserved_Hasbits - 1);`
	`9315`	`+ UPB_ASSERT(d->table.UPB_PRIVATE(required_count) < 64);`
`9315`	`9316`
`9316`	`9317`	`// Next assign non-required hasbit fields.`
`9317`	`9318`	`for (int i = 0; i < n; i++) {`