summaryrefslogtreecommitdiff
path: root/compiler/driver/compiler_options.cc
diff options
context:
space:
mode:
author Vladimir Marko <vmarko@google.com> 2018-11-08 10:28:48 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 2018-11-08 10:28:48 +0000
commit82b67b2ef24a2475e88135ec63aa50270aad0254 (patch)
treef08befc96a48e721f40f597a13949b7aed68602f /compiler/driver/compiler_options.cc
parentb1fcebe160ace50dfd38efae7439640b2ac4268f (diff)
parent1a2a5cd58b7b667b664a7c20a4887a6cd89b4776 (diff)
Merge "Move profile compilation info to CompilerOptions."
Diffstat (limited to 'compiler/driver/compiler_options.cc')
-rw-r--r--compiler/driver/compiler_options.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/driver/compiler_options.cc b/compiler/driver/compiler_options.cc
index 6b0e45629b..be8e10e41e 100644
--- a/compiler/driver/compiler_options.cc
+++ b/compiler/driver/compiler_options.cc
@@ -60,6 +60,7 @@ CompilerOptions::CompilerOptions()
dump_pass_timings_(false),
dump_stats_(false),
top_k_profile_threshold_(kDefaultTopKProfileThreshold),
+ profile_compilation_info_(nullptr),
verbose_methods_(),
abort_on_hard_verifier_failure_(false),
abort_on_soft_verifier_failure_(false),