diff --git a/private/system_server.te b/private/system_server.te
index 8f85a4892991581fc1a41ebf6876332f07326e6a..549ace6ec807d1a1eb93dcc7d16db4956ad73c6b 100644
--- a/private/system_server.te
+++ b/private/system_server.te
@@ -18,6 +18,10 @@ allow system_server zygote_tmpfs:file read;
 # For art.
 allow system_server dalvikcache_data_file:dir r_dir_perms;
 allow system_server dalvikcache_data_file:file { r_file_perms execute };
+userdebug_or_eng(`
+  # Report dalvikcache_data_file:file execute violations.
+  auditallow system_server dalvikcache_data_file:file execute;
+')
 
 # /data/resource-cache
 allow system_server resourcecache_data_file:file r_file_perms;