Чтение неинициализированной области buffer

V-LIFE-11 · Дефект

Чтение неинициализированной области buffer

Выделенная память ещё не содержит инициализированных значений Swift. Чтение до initialize нарушает контракт хранения.

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

let p = UnsafeMutablePointer<Int>.allocate(capacity: 1)
print(p.pointee)

let p = UnsafeMutablePointer<Int>.allocate(capacity: 1)
p.initialize(to: 0)
print(p.pointee)
p.deinitialize(count: 1)
p.deallocate()

Что изменить и что сохранить

Отслеживать инициализированный диапазон отдельно от capacity и освобождать обе стадии корректно. Нельзя считать malloc-память готовым Swift-объектом.

Что подтверждено сейчас

В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.

Владелец реализации

T026: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Исследовательский прототип — план реализации, не maturity

Смысл результата

Дефект — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

VISION