mirror of
https://github.com/dart-lang/sdk
synced 2024-09-19 15:21:31 +00:00
300876faf4
Change-Id: Ic6a75b4711665c82449709df1e44b474261416f3 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/132845 Auto-Submit: Erik Ernst <eernst@google.com> Commit-Queue: Johnni Winther <johnniwinther@google.com> Reviewed-by: Johnni Winther <johnniwinther@google.com>
360 lines
7.5 KiB
Dart
360 lines
7.5 KiB
Dart
// 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
|
|
}
|