blob: ac51f9552a655c772114f125ce019aa177a55f7c [file] [log] [blame]
// Copyright (c) 2020, 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.
// Requirements=nnbd-strong
// Many other tests will check that static nullability checks are applied to
// actual arguments of regular function invocations. This test is still not
// redundant, because it involves a built-in type and methods subject to
// patching, and patching could introduce bugs in this area.
import 'dart:typed_data';
main() {
// Float32x4
final float32x4 = Float32x4(0.0, 0.0, 0.0, 0.0);
float32x4 + null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4 - null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4 * null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4 / null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.lessThan(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.lessThanOrEqual(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.greaterThan(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.greaterThanOrEqual(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.equal(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.notEqual(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.scale(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.clamp(null, float32x4);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.clamp(float32x4, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.shuffle(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.shuffleMix(float32x4, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.shuffleMix(null, 0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.withX(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.withY(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.withZ(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.withW(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.min(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float32x4.max(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Float32x4(null, 0.0, 0.0, 0.0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Float32x4(0.0, null, 0.0, 0.0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Float32x4(0.0, 0.0, null, 0.0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Float32x4(0.0, 0.0, 0.0, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
// Float32x4.splat
Float32x4.splat(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
// Float64x2
final float64x2 = Float64x2(0.0, 0.0);
float64x2 + null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2 - null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2 * null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2 / null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2.scale(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2.clamp(null, float64x2);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2.clamp(float64x2, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2.withX(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2.withY(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Float64x2(null, 0.0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Float64x2(0.0, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2.min(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
float64x2.max(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
// Float64x2.splat
Float64x2.splat(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
// Int32x4
final int32x4 = Int32x4(0, 0, 0, 0);
int32x4 + null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4 - null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4 ^ null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4 & null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4 | null;
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.shuffle(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.shuffleMix(int32x4, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.shuffleMix(null, 0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withX(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withY(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withZ(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withW(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withFlagX(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withFlagY(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withFlagZ(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.withFlagW(null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Int32x4(null, 0, 0, 0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Int32x4(0, null, 0, 0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Int32x4(0, 0, null, 0);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Int32x4(0, 0, 0, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.select(null, float32x4);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
int32x4.select(float32x4, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
// Int32x4.bool
Int32x4.bool(null, false, false, false);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Int32x4.bool(false, null, false, false);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Int32x4.bool(false, false, null, false);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
Int32x4.bool(false, false, false, null);
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
}