1 files changed, 6 insertions, 0 deletions
diff --git a/dex2oat/driver/compiler_driver.h b/dex2oat/driver/compiler_driver.h
index ed8fc2f222..7985771246 100644
--- a/dex2oat/driver/compiler_driver.h
+++ b/dex2oat/driver/compiler_driver.h
@@ -85,6 +85,7 @@ class CompilerDriver {
   // can assume will be in the image, with null implying all available
   // classes.
   CompilerDriver(const CompilerOptions* compiler_options,
+                 const VerificationResults* verification_results,
                  Compiler::Kind compiler_kind,
                  size_t thread_count,
                  int swap_fd);
@@ -115,6 +116,10 @@ class CompilerDriver {
     return *compiler_options_;
   }
 
+  const VerificationResults* GetVerificationResults() const {
+    return verification_results_;
+  }
+
   Compiler* GetCompiler() const {
     return compiler_.get();
   }
@@ -295,6 +300,7 @@ class CompilerDriver {
                            /*inout*/ TimingLogger* timings);
 
   const CompilerOptions* const compiler_options_;
+  const VerificationResults* const verification_results_;
 
   std::unique_ptr<Compiler> compiler_;
   Compiler::Kind compiler_kind_;