Remove assertion that is not guaranteed to hold
Change-Id: I6683588f9d60c027dc9dc44d562ae18107d4250b
diff --git a/src/main/java/com/android/tools/r8/ir/analysis/fieldaccess/FieldAssignmentTracker.java b/src/main/java/com/android/tools/r8/ir/analysis/fieldaccess/FieldAssignmentTracker.java
index 1481061..5b1dd91 100644
--- a/src/main/java/com/android/tools/r8/ir/analysis/fieldaccess/FieldAssignmentTracker.java
+++ b/src/main/java/com/android/tools/r8/ir/analysis/fieldaccess/FieldAssignmentTracker.java
@@ -23,7 +23,6 @@
import com.android.tools.r8.ir.code.NewInstance;
import com.android.tools.r8.ir.code.Value;
import com.android.tools.r8.ir.optimize.ClassInitializerDefaultsOptimization.ClassInitializerDefaultsResult;
-import com.android.tools.r8.ir.optimize.info.FieldOptimizationInfo;
import com.android.tools.r8.ir.optimize.info.OptimizationFeedbackDelayed;
import com.android.tools.r8.ir.optimize.info.field.InstanceFieldArgumentInitializationInfo;
import com.android.tools.r8.ir.optimize.info.field.InstanceFieldInitializationInfo;
@@ -131,8 +130,6 @@
}
private void recordFieldPut(DexEncodedField field, Value value, ProgramMethod context) {
- assert verifyValueIsConsistentWithFieldOptimizationInfo(
- value, field.getOptimizationInfo(), context);
if (!value.isZero()) {
nonZeroFields.add(field);
}
@@ -293,16 +290,6 @@
feedback.updateVisibleOptimizationInfo();
}
- private boolean verifyValueIsConsistentWithFieldOptimizationInfo(
- Value value, FieldOptimizationInfo optimizationInfo, ProgramMethod context) {
- AbstractValue abstractValue = optimizationInfo.getAbstractValue();
- if (abstractValue.isUnknown()) {
- return true;
- }
- assert abstractValue == value.getAbstractValue(appView, context);
- return true;
- }
-
static class FieldAccessGraph {
// The fields written by each method.
