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/dex/inline_method_analyser.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'compiler/dex/inline_method_analyser.cc') diff --git a/compiler/dex/inline_method_analyser.cc b/compiler/dex/inline_method_analyser.cc index b0f025d092..32019657d3 100644 --- a/compiler/dex/inline_method_analyser.cc +++ b/compiler/dex/inline_method_analyser.cc @@ -375,10 +375,10 @@ bool AnalyseConstructor(const CodeItemDataAccessor* code_item, return false; } static_assert(kMaxConstructorIPuts == 3, "Unexpected limit"); // Code below depends on this. - DCHECK(iputs[0].field_index != DexFile::kDexNoIndex16 || - iputs[1].field_index == DexFile::kDexNoIndex16); - DCHECK(iputs[1].field_index != DexFile::kDexNoIndex16 || - iputs[2].field_index == DexFile::kDexNoIndex16); + DCHECK_IMPLIES(iputs[0].field_index == DexFile::kDexNoIndex16, + iputs[1].field_index == DexFile::kDexNoIndex16); + DCHECK_IMPLIES(iputs[1].field_index == DexFile::kDexNoIndex16, + iputs[2].field_index == DexFile::kDexNoIndex16); #define STORE_IPUT(n) \ do { \ -- cgit v1.2.3-59-g8ed1b