using global type analysis to remove duplicated null-check.

Summary: as title Reviewed By: NTillmann Differential Revision: D44231591 fbshipit-source-id: bc78310a7b564acf572eeff10d4fbdb976c492e1
facebook · Apr 11, 2023 · bcea671 · bcea671
1 parent b8834dd
commit bcea671
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/opt/type-analysis/GlobalTypeAnalysisPass.cpp b/opt/type-analysis/GlobalTypeAnalysisPass.cpp
@@ -127,6 +127,7 @@ void GlobalTypeAnalysisPass::run_pass(DexStoresVector& stores,
 
   type_analyzer::Transform::NullAssertionSet null_assertion_set =
       kotlin_nullcheck_wrapper::get_kotlin_null_assertions();
+  null_assertion_set.insert(method::redex_internal_checkObjectNotNull());
   Scope scope = build_class_scope(stores);
   XStoreRefs xstores(stores);
   global::GlobalTypeAnalysis analysis(m_config.max_global_analysis_iteration);