diff --git a/compiler/driver/compiler_options.h b/compiler/driver/compiler_options.h
index a5b3ae1..7369b61 100644
--- a/compiler/driver/compiler_options.h
+++ b/compiler/driver/compiler_options.h
@@ -150,6 +150,10 @@
     return top_k_profile_threshold_;
   }
 
+  bool EmitReadBarrier() const {
+    return emit_read_barrier_;
+  }
+
   bool GetDebuggable() const {
     return debuggable_;
   }
@@ -421,6 +425,7 @@
   ImageType image_type_;
   bool multi_image_;
   bool compile_art_test_;
+  bool emit_read_barrier_;
   bool baseline_;
   bool debuggable_;
   bool generate_debug_info_;