я не пойму где этот provenance_id сохраняется? Это данные которые доступны только компилятору на этапе компиляции или это както закодировано в самом значении указателя в рантайме? А как же тогда два указателя с разным provenance_id будут иметь одинаковое представление?
Это модель
Учти что это - описание будущих модификаций компиляторов или стандарта языка С, а не что-то существующее.
Обсуждают сегодня