Do not treat elements of lists allocated through new List() and new List.filled() as potentially nu…

tests/compiler/dart2js/list_tracer_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:expect/expect.dart';
 import
     '../../../sdk/lib/_internal/compiler/implementation/types/types.dart'
     show ContainerTypeMask, TypeMask;
 
 import 'compiler_helper.dart';
@@ skipping 67 matching lines @@
 var listUsedInLocal = $listAllocation;
 var listUnset = $listAllocation;
 var listOnlySetWithConstraint = $listAllocation;
 var listEscapingInSetterValue = $listAllocation;
 var listEscapingInIndex = $listAllocation;
 var listEscapingInIndexSet = $listAllocation;
 var listEscapingTwiceInIndexSet = $listAllocation;
 var listPassedAsOptionalParameter = $listAllocation;
 var listPassedAsNamedParameter = $listAllocation;
 var listSetInNonFinalField = $listAllocation;
+var listWithChangedLength = $listAllocation;
 
 foo(list) {
   list[0] = aDouble;
 }
 
 bar() {
   return listReturnedFromMethod;
 }
 
 takeOptional([list]) {
@@ skipping 65 matching lines @@
   new A()[listEscapingTwiceInIndexSet] = listEscapingTwiceInIndexSet;
 
   listPassedAsOptionalParameter[0] = anInt;
   takeOptional(listPassedAsOptionalParameter);
 
   listPassedAsNamedParameter[0] = anInt;
   takeNamed(list: listPassedAsNamedParameter);
 
   listSetInNonFinalField[0] = anInt;
   new B(listSetInNonFinalField);
+
+  listWithChangedLength[0] = anInt;
+  listWithChangedLength.length = 54;
 }
 """;
 }
 
 void main() {
-  doTest('[]'); // Test literal list.
-  doTest('new List()'); // Test growable list.
-  doTest('new List(1)'); // Test fixed list.
+  doTest('[]', nullify: false); // Test literal list.
+  doTest('new List()', nullify: false); // Test growable list.
+  doTest('new List(1)', nullify: true); // Test fixed list.
+  doTest('new List.filled(1, 0)', nullify: false); // Test List.filled.
+  doTest('new List.filled(1, null)', nullify: true); // Test List.filled.
 }
 
-void doTest(String allocation) {
+void doTest(String allocation, {bool nullify}) {
   Uri uri = new Uri(scheme: 'source');
   var compiler = compilerFor(generateTest(allocation), uri);
   compiler.runCompiler(uri);
   var typesInferrer = compiler.typesTask.typesInferrer;
 
   checkType(String name, type) {
     var element = findElement(compiler, name);
     ContainerTypeMask mask = typesInferrer.internal.typeOf[element];
+    if (nullify) type = type.nullable();
     Expect.equals(type, mask.elementType.simplify(compiler), name);
   }
 
-  checkType('listInField', typesInferrer.numType.nullable());
-  checkType('listPassedToMethod', typesInferrer.numType.nullable());
-  checkType('listReturnedFromMethod', typesInferrer.numType.nullable());
-  checkType('listUsedWithCascade', typesInferrer.numType.nullable());
-  checkType('listUsedInClosure', typesInferrer.numType.nullable());
-  checkType('listPassedToSelector', typesInferrer.numType.nullable());
-  checkType('listReturnedFromSelector', typesInferrer.numType.nullable());
-  checkType('listUsedWithAddAndInsert', typesInferrer.numType.nullable());
-  checkType('listUsedWithConstraint', typesInferrer.numType.nullable());
-  checkType('listEscapingFromSetter', typesInferrer.numType.nullable());
-  checkType('listUsedInLocal', typesInferrer.numType.nullable());
-  checkType('listEscapingInSetterValue', typesInferrer.numType.nullable());
-  checkType('listEscapingInIndex', typesInferrer.numType.nullable());
-  checkType('listEscapingInIndexSet', typesInferrer.intType.nullable());
-  checkType('listEscapingTwiceInIndexSet', typesInferrer.numType.nullable());
-  checkType('listSetInNonFinalField', typesInferrer.numType.nullable());
+  checkType('listInField', typesInferrer.numType);
+  checkType('listPassedToMethod', typesInferrer.numType);
+  checkType('listReturnedFromMethod', typesInferrer.numType);
+  checkType('listUsedWithCascade', typesInferrer.numType);
+  checkType('listUsedInClosure', typesInferrer.numType);
+  checkType('listPassedToSelector', typesInferrer.numType);
+  checkType('listReturnedFromSelector', typesInferrer.numType);
+  checkType('listUsedWithAddAndInsert', typesInferrer.numType);
+  checkType('listUsedWithConstraint', typesInferrer.numType);
+  checkType('listEscapingFromSetter', typesInferrer.numType);
+  checkType('listUsedInLocal', typesInferrer.numType);
+  checkType('listEscapingInSetterValue', typesInferrer.numType);
+  checkType('listEscapingInIndex', typesInferrer.numType);
+  checkType('listEscapingInIndexSet', typesInferrer.intType);
+  checkType('listEscapingTwiceInIndexSet', typesInferrer.numType);
+  checkType('listSetInNonFinalField', typesInferrer.numType);
+  checkType('listWithChangedLength', typesInferrer.intType.nullable());
 
   checkType('listPassedToClosure', typesInferrer.dynamicType);
   checkType('listReturnedFromClosure', typesInferrer.dynamicType);
   checkType('listUsedWithNonOkSelector', typesInferrer.dynamicType);
   checkType('listPassedAsOptionalParameter', typesInferrer.dynamicType);
   checkType('listPassedAsNamedParameter', typesInferrer.dynamicType);
 
-  checkType('listUnset', new TypeMask.empty());
-  checkType('listOnlySetWithConstraint', new TypeMask.empty());
+  if (!allocation.contains('filled')) {
+    checkType('listUnset', new TypeMask.empty());
+    checkType('listOnlySetWithConstraint', new TypeMask.empty());
+  }
 }