tests/compiler/dart2js/inference/data/list_huge.dart

// Copyright (c) 2019, 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.

// Test for Container type for Lists with huge or negative sizes.

/*member: main:[null]*/
main() {
  hugeList1();
  hugeList2();
  hugeList3();
  hugeList4();
}

/*member: _huge1:[subclass=JSPositiveInt]*/
final _huge1 = 5000000000;

/*member: hugeList1:Container([exact=JSFixedArray], element: [null], length: null)*/
hugeList1() => List(_huge1);

/*strong.member: _huge2a:[subclass=JSPositiveInt]*/
/*omit.member: _huge2a:[subclass=JSPositiveInt]*/
const _huge2a = 10000000000
    /*strong.invoke: [subclass=JSPositiveInt]*/
    /*omit.invoke: [subclass=JSPositiveInt]*/
    *
    10000000000;

/*strong.member: _huge2b:[null|subclass=JSPositiveInt]*/
/*omit.member: _huge2b:[null|subclass=JSPositiveInt]*/
/*strongConst.member: _huge2b:[subclass=JSPositiveInt]*/
/*omitConst.member: _huge2b:[subclass=JSPositiveInt]*/
final _huge2b = _huge2a;

/*member: hugeList2:Container([exact=JSFixedArray], element: [null], length: null)*/
hugeList2() => List(_huge2b);

/*strong.member: _huge3a:[subclass=JSInt]*/
/*omit.member: _huge3a:[subclass=JSInt]*/
const _huge3a =
    /*strong.invoke: [exact=JSUInt31]*/
    /*omit.invoke: [exact=JSUInt31]*/
    -10000000;

/*strong.member: _huge3b:[null|subclass=JSInt]*/
/*omit.member: _huge3b:[null|subclass=JSInt]*/
/*strongConst.member: _huge3b:[subclass=JSInt]*/
/*omitConst.member: _huge3b:[subclass=JSInt]*/
final _huge3b = _huge3a;

/*member: hugeList3:Container([exact=JSFixedArray], element: [null], length: null)*/
hugeList3() => List(_huge3b);

// 'Small' limits are still tracked.

/*member: _huge4:[exact=JSUInt31]*/
final _huge4 = 10000000;

/*member: hugeList4:Container([exact=JSFixedArray], element: [null], length: 10000000)*/
hugeList4() => List(_huge4);