Test case targets for T188746142

Summary: This diff is to set up test cases that can be used to determine if classes are being kept as entry points when they have class names appearing in a file under META-INF/services directory in the input application.

Reviewed By: NTillmann

Differential Revision: D57521904

fbshipit-source-id: 943bf232d381196f00e220c1699f2bd3151d1f3d

test/instr/ApkReachableServiceLoaderVerify.cpp

@@ -0,0 +1,18 @@
+/*
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+#include <gtest/gtest.h>
+
+#include "ReachableServiceLoaderVerifyImpl.h"
+
+TEST_F(PreVerify, ApkReachableServiceLoaderTest) {
+  verify_exception_handlers_kept(classes);
+}
+
+TEST_F(PostVerify, ApkReachableServiceLoaderTest) {
+  // TODO: should have same classes as in pre-verify.
+}

test/instr/BundleReachableServiceLoaderVerify.cpp

@@ -0,0 +1,18 @@
+/*
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+#include <gtest/gtest.h>
+
+#include "ReachableServiceLoaderVerifyImpl.h"
+
+TEST_F(PreVerify, BundleReachableServiceLoaderTest) {
+  verify_exception_handlers_kept(classes);
+}
+
+TEST_F(PostVerify, BundleReachableServiceLoaderTest) {
+  // TODO: should have same classes as in pre-verify.
+}

test/instr/ReachableClasses.config

@@ -1,7 +1,8 @@
 {
   "redex" : {
     "passes" : [
-      "RemoveUnreachablePass"
+      "RemoveUnreachablePass",
+      "RegAllocPass"
     ]
   }
 }

test/instr/ReachableServiceLoaderVerifyImpl.h

@@ -0,0 +1,24 @@
+/*
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+#pragma once
+
+#include <gtest/gtest.h>
+
+#include "verify/VerifyUtil.h"
+
+inline void verify_exception_handlers_kept(const DexClasses& classes) {
+  const char* const INTERFACE_NAME =
+      "Lkotlinx/coroutines/CoroutineExceptionHandler;";
+  const char* const IMPLEMENTATION_NAME =
+      "Lkotlinx/coroutines/android/AndroidExceptionPreHandler;";
+
+  auto iface = find_class_named(classes, INTERFACE_NAME);
+  EXPECT_NE(iface, nullptr) << "Did not find class " << INTERFACE_NAME;
+  auto cls = find_class_named(classes, IMPLEMENTATION_NAME);
+  EXPECT_NE(cls, nullptr) << "Did not find class " << IMPLEMENTATION_NAME;
+}