pkg/compiler/test/inference/data/null.dart

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

/*member: main:[null|powerset={null}]*/
main() {
  ifThenNullCheck(0);
  ifThenNullCheck(null);
  ifThenElseNullCheck(0);
  ifThenElseNullCheck(null);
  ifNotThenNullCheck(0);
  ifNotThenNullCheck(null);
  ifNotThenElseNullCheck(0);
  ifNotThenElseNullCheck(null);
  ifThenNotNullComplexCheck(0, 0);
  ifThenNotNullComplexCheck(null, null);
  ifThenElseNotNullComplexCheck(0, 0);
  ifThenElseNotNullComplexCheck(null, null);
  ifThenNotNullGradualCheck1(0, 0);
  ifThenNotNullGradualCheck1(null, 0);
  ifThenNotNullGradualCheck2(0, 0);
  ifThenNotNullGradualCheck2(null, 0);
}

/*member: ifThenNullCheck:[exact=JSUInt31|powerset={I}]*/
ifThenNullCheck(int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ value) {
  if (value /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ == null) {
    return 0;
  }
  return value;
}

/*member: ifThenElseNullCheck:[exact=JSUInt31|powerset={I}]*/
ifThenElseNullCheck(int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ value) {
  if (value /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ == null) {
    return 0;
  } else {
    return value;
  }
}

/*member: ifNotThenNullCheck:[exact=JSUInt31|powerset={I}]*/
ifNotThenNullCheck(int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ value) {
  if (value /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ != null) {
    return value;
  }
  return 0;
}

/*member: ifNotThenElseNullCheck:[exact=JSUInt31|powerset={I}]*/
ifNotThenElseNullCheck(
  int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ value,
) {
  if (value /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ != null) {
    return value;
  } else {
    return 0;
  }
}

/*member: ifThenNotNullComplexCheck:[exact=JSUInt31|powerset={I}]*/
ifThenNotNullComplexCheck(
  int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ a,
  int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ b,
) {
  if (a /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ != null &&
      a /*invoke: [exact=JSUInt31|powerset={I}]*/ != b) {
    return a;
  }
  return 0;
}

/*member: ifThenElseNotNullComplexCheck:[null|exact=JSUInt31|powerset={null}{I}]*/
ifThenElseNotNullComplexCheck(
  int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ a,
  int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ b,
) {
  if (a /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ != null &&
      a /*invoke: [exact=JSUInt31|powerset={I}]*/ != b) {
    return a;
  }
  return a;
}

/*member: ifThenNotNullGradualCheck1:[exact=JSUInt31|powerset={I}]*/
ifThenNotNullGradualCheck1(
  int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ a,
  int /*[exact=JSUInt31|powerset={I}]*/ b,
) {
  if (a /*invoke: [null|exact=JSUInt31|powerset={null}{I}]*/ != b) {
    if (a /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ != null) {
      return a;
    }
  }
  return 0;
}

/*member: ifThenNotNullGradualCheck2:[exact=JSUInt31|powerset={I}]*/
ifThenNotNullGradualCheck2(
  int? /*[null|exact=JSUInt31|powerset={null}{I}]*/ a,
  int /*[exact=JSUInt31|powerset={I}]*/ b,
) {
  if (a /*invoke: [null|subclass=JSInt|powerset={null}{I}]*/ != null) {
    if (a /*invoke: [exact=JSUInt31|powerset={I}]*/ != b) {
      return a;
    }
  }
  return 0;
}