From 872ec72de447b2803894e17253399a54a4c10e1f Mon Sep 17 00:00:00 2001 From: Santiago Aboy Solanes Date: Fri, 18 Feb 2022 14:10:25 +0000 Subject: Update compiler/ implications to use (D)CHECK_IMPLIES Follow-up to aosp/1988868 in which we added the (D)CHECK_IMPLIES macro. This CL uses it on compiler/ occurrences found by a regex. Test: art/test/testrunner/testrunner.py --host --64 --optimizing -b Change-Id: If63aed969bfb8b31d6fbbcb3bca2b04314c894b7 --- compiler/optimizing/execution_subgraph.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'compiler/optimizing/execution_subgraph.h') diff --git a/compiler/optimizing/execution_subgraph.h b/compiler/optimizing/execution_subgraph.h index 05855c30d4..7d2a66077d 100644 --- a/compiler/optimizing/execution_subgraph.h +++ b/compiler/optimizing/execution_subgraph.h @@ -237,7 +237,7 @@ class ExecutionSubgraph : public DeletableArenaObject { // Finalization is needed to call this function. // See RemoveConcavity and Prune for more information. bool ContainsBlock(const HBasicBlock* blk) const { - DCHECK(!finalized_ || !needs_prune_) << "finalized: " << finalized_; + DCHECK_IMPLIES(finalized_, !needs_prune_); if (!valid_) { return false; } @@ -267,7 +267,7 @@ class ExecutionSubgraph : public DeletableArenaObject { } ArrayRef GetExcludedCohorts() const { - DCHECK(!valid_ || !needs_prune_); + DCHECK_IMPLIES(valid_, !needs_prune_); if (!valid_ || !unreachable_blocks_.IsAnyBitSet()) { return ArrayRef(); } else { -- cgit v1.2.3-59-g8ed1b