Index: src/compiler.h |
diff --git a/src/compiler.h b/src/compiler.h |
index 1c02f68d2b1d03e02c4e811569be2fdbb4ec0723..6a2d48f446ffc4556b3ca1b56f3903ffe2ea4613 100644 |
--- a/src/compiler.h |
+++ b/src/compiler.h |
@@ -144,6 +144,10 @@ class CompilationInfo BASE_EMBEDDED { |
return V8::UseCrankshaft() && !closure_.is_null(); |
} |
+ // Disable all optimization attempts of this info for the rest of the |
+ // current compilation pipeline. |
+ void AbortOptimization(); |
+ |
private: |
Isolate* isolate_; |