Представлена техническая спецификация ISO/IEC TS 6010 для модели происхождения указателей.
Модель вводит понятие «экземпляра хранилища» для точного определения области памяти.
Происхождение указателя связывается с конкретным экземпляром хранилища.
Определены правила «экспозиции» и «синтеза» указателей при операциях с их битовым представлением.
Модель улучшает анализ взаимных ссылок указателей (alias analysis) в современных компиляторах.
Рекомендовано избегать неявного раскрытия указателей для сохранения оптимизаций компилятора.
Get notified when new stories are published for "🇷🇺 Hacker News Русский"