diff --git a/run-tests.php b/run-tests.php index b26d214390953..6f10e4090bdbf 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2477,7 +2477,10 @@ function run_test(string $php, $file, array $env): string if ($test->hasSection('XLEAK')) { $env['ZEND_ALLOC_PRINT_LEAKS'] = '0'; if (isset($env['SKIP_ASAN'])) { - $env['LSAN_OPTIONS'] = 'detect_leaks=0'; + // $env['LSAN_OPTIONS'] = 'detect_leaks=0'; + /* For unknown reasons, LSAN_OPTIONS=detect_leaks=0 would occasionally not be picked up + * in CI. Skip the test with ASAN, as it's not worth investegating. */ + return skip_test($tested, $tested_file, $shortname, 'xleak does not work with asan'); } }