diff options
author | 2023-03-16 15:15:53 +0000 | |
---|---|---|
committer | 2023-03-17 17:13:28 +0000 | |
commit | 240c51b114bedf1ec03f40fb87d6301fd1ea2ab9 (patch) | |
tree | a09721645415773b519da8c4898a1ed72eb2ba2e /compiler/driver/compiler_options.h | |
parent | 1abfc59b5764ca8fec77f377209de41daabbe137 (diff) |
Deprecate the extract compiler filter.
For now make it an alias to verify.
Test: test.py
Bug: 237380287
Change-Id: Ib6cb2037d24bb895b77a870e8aebe76764b53e3d
Diffstat (limited to 'compiler/driver/compiler_options.h')
-rw-r--r-- | compiler/driver/compiler_options.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/driver/compiler_options.h b/compiler/driver/compiler_options.h index 1cc9f2d7e2..74d081d29e 100644 --- a/compiler/driver/compiler_options.h +++ b/compiler/driver/compiler_options.h @@ -114,10 +114,6 @@ class CompilerOptions final { return compiler_filter_ == CompilerFilter::kAssumeVerified; } - bool VerifyAtRuntime() const { - return compiler_filter_ == CompilerFilter::kExtract; - } - bool IsAnyCompilationEnabled() const { return CompilerFilter::IsAnyCompilationEnabled(compiler_filter_); } |