[arm64] Use CHECK (instead of DCHECK) in CheckVeennerPool

victorgomes · V8 LUCI CQ · commit 30c004779042 · 2025-10-07T02:39:09.000-07:00
This is a hardening measure to prevent potential data corruption by crashing immediately if the invariant is ever violated in release mode. Bug: 435640828 Change-Id: Idc10542a68d52747aa1e8500ae3ef3a2cf138330 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/7014092 Auto-Submit: Victor Gomes <victorgomes@chromium.org> Commit-Queue: Victor Gomes <victorgomes@chromium.org> Reviewed-by: Anton Bikineev <bikineev@chromium.org> Cr-Commit-Position: refs/heads/main@{#102961}
diff --git a/src/codegen/arm64/assembler-arm64.cc b/src/codegen/arm64/assembler-arm64.cc
@@ -4968,7 +4968,7 @@ void Assembler::CheckVeneerPool(bool force_emit, bool require_jump,
     return;
   }
 
-  DCHECK(pc_offset() < unresolved_branches_first_limit());
+  CHECK_LT(pc_offset(), unresolved_branches_first_limit());
 
   // Some short sequence of instruction mustn't be broken up by veneer pool
   // emission, such sequences are protected by calls to BlockVeneerPoolFor and

Original file line number	Diff line number	Diff line change
`@@ -4968,7 +4968,7 @@ void Assembler::CheckVeneerPool(bool force_emit, bool require_jump,`
`4968`	`4968`	`return;`
`4969`	`4969`	`}`
`4970`	`4970`
`4971`		`- DCHECK(pc_offset() < unresolved_branches_first_limit());`
	`4971`	`+ CHECK_LT(pc_offset(), unresolved_branches_first_limit());`
`4972`	`4972`
`4973`	`4973`	`// Some short sequence of instruction mustn't be broken up by veneer pool`
`4974`	`4974`	`// emission, such sequences are protected by calls to BlockVeneerPoolFor and`