[S] Change in dart/sdk[main]: [vm/ffi] Migrate legacy multi-test files to CFE expectations

0 views
Skip to first unread message

Daco Harkes (Gerrit)

unread,
Jun 2, 2026, 6:15:48 AM (yesterday) Jun 2
to Ankit Ranjan, rev...@dartlang.org
Attention needed from Ankit Ranjan

Daco Harkes added 3 comments

Commit Message
Line 17, Patchset 1 (Latest):
Daco Harkes . unresolved

Please add:
`Cq-Include-Trybots: dart/try:vm-aot-android-debug-arm64c-try,vm-aot-android-debug-arm_x64-try,vm-aot-linux-debug-arm64-try,vm-aot-linux-debug-x64-try,vm-aot-linux-debug-x64c-try,vm-aot-mac-debug-arm64-try,vm-aot-mac-debug-x64-try,vm-aot-obfuscate-linux-release-x64-try,vm-aot-optimization-level-linux-release-x64-try,vm-aot-win-debug-arm64-try,vm-aot-win-debug-x64-try,vm-aot-win-debug-x64c-try,vm-asan-linux-release-arm64-try,vm-asan-linux-release-x64-try,vm-asan-mac-release-arm64-try,vm-asan-win-release-x64-try,vm-ffi-qemu-linux-release-arm-try,vm-ffi-qemu-linux-release-riscv64-try,vm-fuchsia-release-x64-try,vm-msan-linux-release-arm64-try,vm-msan-linux-release-x64-try,vm-tsan-linux-release-arm64-try,vm-tsan-linux-release-x64-try,vm-tsan-mac-release-arm64-try,vm-ubsan-linux-release-arm64-try,vm-ubsan-linux-release-x64-try,vm-ubsan-mac-release-arm64-try,vm-ubsan-win-release-x64-try`

which ensures we're running all the bots this test runs on.

(From `dart tools/find_builders.dart ffi/abi_specific_int_incomplete_aot_test`)

File tests/ffi/abi_specific_int_incomplete_aot_test.dart
Line 14, Patchset 1 (Latest): // ^^^^^^^^^^
Daco Harkes . unresolved

This looks shifted by the formatter. Remove two spaces again.

File tests/ffi/vmspecific_enable_ffi_test.dart
Line 11, Patchset 1 (Latest):// [analyzer] COMPILE_TIME_ERROR.SDK_VERSION_NOT_SUPPORTED
Daco Harkes . unresolved

I don't think the analyzer would know what options are passed to the VM. Are you sure you have run the tests against the right bots locally?

Open in Gerrit

Related details

Attention is currently required from:
  • Ankit Ranjan
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: Ib2482c3172b20a4366f984da33544fc515b540c4
Gerrit-Change-Number: 508020
Gerrit-PatchSet: 1
Gerrit-Owner: Ankit Ranjan <ankitra...@gmail.com>
Gerrit-Reviewer: Daco Harkes <dacoh...@google.com>
Gerrit-Attention: Ankit Ranjan <ankitra...@gmail.com>
Gerrit-Comment-Date: Tue, 02 Jun 2026 10:15:43 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
unsatisfied_requirement
open
diffy

Ankit Ranjan (Gerrit)

unread,
Jun 2, 2026, 2:12:10 PM (yesterday) Jun 2
to Ryan Macnak, dart-...@luci-project-accounts.iam.gserviceaccount.com, Daco Harkes, rev...@dartlang.org
Attention needed from Daco Harkes and Ryan Macnak

Ankit Ranjan added 2 comments

File tests/ffi/abi_specific_int_incomplete_aot_test.dart
Line 14, Patchset 1: // ^^^^^^^^^^
Daco Harkes . resolved

This looks shifted by the formatter. Remove two spaces again.

Ankit Ranjan

Acknowledged

File tests/ffi/vmspecific_enable_ffi_test.dart
Line 11, Patchset 1:// [analyzer] COMPILE_TIME_ERROR.SDK_VERSION_NOT_SUPPORTED
Daco Harkes . unresolved

I don't think the analyzer would know what options are passed to the VM. Are you sure you have run the tests against the right bots locally?

Ankit Ranjan
Yes, the analyzer/CFE can't see VM flags there's nothing static for a [analyzer] or [cfe] expectation to catch, because the error only fires at kernel-load time in the VM

I've dropped the static-error markers in the latest patchset and rewritten the test, it spawns dart --enable-ffi=false vmspecific_enable_ffi_test_helper.dart (the helper imports dart:ffi) and asserts exit

code 254 plus the "import of dart:ffi is not supported in the current Dart runtime" message on stderr.

abi_specific_int_incomplete_aot_test follows the same pattern, running gen_kernel + gen_snapshot on a helper and checking for the "AbiSpecificInteger 'Incomplete' is missing mapping " error from gen_snapshot (native_type.cc:544).

I have tested this locally on release/arm64
dartk/vm -> tests passed
dartkp -> skipped

Open in Gerrit

Related details

Attention is currently required from:
  • Daco Harkes
  • Ryan Macnak
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: Ib2482c3172b20a4366f984da33544fc515b540c4
Gerrit-Change-Number: 508020
Gerrit-PatchSet: 3
Gerrit-Owner: Ankit Ranjan <ankitra...@gmail.com>
Gerrit-Reviewer: Daco Harkes <dacoh...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-Attention: Daco Harkes <dacoh...@google.com>
Gerrit-Attention: Ryan Macnak <rma...@google.com>
Gerrit-Comment-Date: Tue, 02 Jun 2026 18:12:03 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Daco Harkes <dacoh...@google.com>
unsatisfied_requirement
open
diffy

Ryan Macnak (Gerrit)

unread,
Jun 2, 2026, 4:49:25 PM (yesterday) Jun 2
to Ankit Ranjan, dart-...@luci-project-accounts.iam.gserviceaccount.com, Daco Harkes, rev...@dartlang.org
Attention needed from Ankit Ranjan and Daco Harkes

Ryan Macnak added 1 comment

File tests/ffi/ffi.status
Line 45, Patchset 3 (Latest):abi_specific_int_incomplete_aot_test: SkipByDesign # Self-spawns gen_kernel/gen_snapshot; runs once under dartk instead.
Ryan Macnak . unresolved

Something AOT-only should run on dartkp, not dartk.

Open in Gerrit

Related details

Attention is currently required from:
  • Ankit Ranjan
  • Daco Harkes
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: Ib2482c3172b20a4366f984da33544fc515b540c4
Gerrit-Change-Number: 508020
Gerrit-PatchSet: 3
Gerrit-Owner: Ankit Ranjan <ankitra...@gmail.com>
Gerrit-Reviewer: Daco Harkes <dacoh...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-Attention: Daco Harkes <dacoh...@google.com>
Gerrit-Attention: Ankit Ranjan <ankitra...@gmail.com>
Gerrit-Comment-Date: Tue, 02 Jun 2026 20:49:23 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
unsatisfied_requirement
open
diffy

Daco Harkes (Gerrit)

unread,
2:05 AM (15 hours ago) 2:05 AM
to Ankit Ranjan, Ryan Macnak, dart-...@luci-project-accounts.iam.gserviceaccount.com, rev...@dartlang.org
Attention needed from Ankit Ranjan

Daco Harkes added 2 comments

File tests/ffi/abi_specific_int_incomplete_aot_test.dart
Line 40, Patchset 3 (Latest): // First, compile to kernel.
Daco Harkes . unresolved

Maybe these two steps are easier if we simply do `dart compile aotsnapshot` with the dart executable instead. It will have the same result.

File tests/ffi/vmspecific_enable_ffi_test.dart
Line 11, Patchset 1:// [analyzer] COMPILE_TIME_ERROR.SDK_VERSION_NOT_SUPPORTED
Daco Harkes . unresolved

I don't think the analyzer would know what options are passed to the VM. Are you sure you have run the tests against the right bots locally?

Ankit Ranjan
Yes, the analyzer/CFE can't see VM flags there's nothing static for a [analyzer] or [cfe] expectation to catch, because the error only fires at kernel-load time in the VM

I've dropped the static-error markers in the latest patchset and rewritten the test, it spawns dart --enable-ffi=false vmspecific_enable_ffi_test_helper.dart (the helper imports dart:ffi) and asserts exit

code 254 plus the "import of dart:ffi is not supported in the current Dart runtime" message on stderr.

abi_specific_int_incomplete_aot_test follows the same pattern, running gen_kernel + gen_snapshot on a helper and checking for the "AbiSpecificInteger 'Incomplete' is missing mapping " error from gen_snapshot (native_type.cc:544).

I have tested this locally on release/arm64
dartk/vm -> tests passed
dartkp -> skipped

Daco Harkes

SGTM

the dartkp bots build the aotruntime, so it should pass there instead of skip.

Open in Gerrit

Related details

Attention is currently required from:
  • Ankit Ranjan
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: Ib2482c3172b20a4366f984da33544fc515b540c4
Gerrit-Change-Number: 508020
Gerrit-PatchSet: 3
Gerrit-Owner: Ankit Ranjan <ankitra...@gmail.com>
Gerrit-Reviewer: Daco Harkes <dacoh...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-Attention: Ankit Ranjan <ankitra...@gmail.com>
Gerrit-Comment-Date: Wed, 03 Jun 2026 06:05:45 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Daco Harkes <dacoh...@google.com>
Comment-In-Reply-To: Ankit Ranjan <ankitra...@gmail.com>
unsatisfied_requirement
open
diffy
Reply all
Reply to author
Forward
0 new messages