Index: src/compilation-info.h |
diff --git a/src/compilation-info.h b/src/compilation-info.h |
index 863183b5cd3516b2007e05463b615d805b93d788..82873e9bfc128dfd787e1fb4e7d126daa656f149 100644 |
--- a/src/compilation-info.h |
+++ b/src/compilation-info.h |
@@ -307,6 +307,9 @@ class CompilationInfo final { |
std::unique_ptr<char[]> GetDebugName() const; |
+ bool verify_graph() const { return verify_graph_; } |
+ void set_verify_graph(bool value) { verify_graph_ = value; } |
+ |
Code::Kind output_code_kind() const; |
StackFrame::Type GetOutputStackFrameType() const; |
@@ -385,6 +388,8 @@ class CompilationInfo final { |
Vector<const char> debug_name_; |
+ bool verify_graph_; |
Michael Starzinger
2016/12/13 12:54:06
Please move this field into {compiler::PipelineDat
Igor Sheludko
2016/12/13 13:23:36
Done.
|
+ |
DISALLOW_COPY_AND_ASSIGN(CompilationInfo); |
}; |