EG
Что триггерит UB на уровне LLVM
И про что есть семверовские гарантии
И про что есть семверовские гарантии
Size: a a a
2021 April 17
EG
Технически, тебе можно то же самое, что и стд, если ты прибьёшься к конкретной версии компилятора
D
нет гарантии, мы спорим ни о чем, потому что как ты выразился это все худ. литература
EG
Нет гарантии. Но стд-обладает-уникальным-знанием, поэтому у стд есть гарантия.
EG
Поэтому стд можно, как подсказывает Полунин.
ΑZ
и чтоН?
ΑZ
то есть если у тебя уб в асинк функции
ΑZ
а падает внутри токио
ΑZ
то УБ в токио?))
D
у стд да, но я говорю не про стд
p
Уб возникает при вызове кода из Токио, да
ΑZ
виноват не тот кто в говняшку наступил, а тот кто насрал
p
Если бы Токио рантайм не вызвал, уб бы не было
p
Все логично и прямолинейно
ΑZ
Это бесполезные определения
ΑZ
окей
ΑZ
давай переформулируем
ΑZ
"сейф код не может быть ИСТОЧНИКОМ уб" - теперь твоя граммарнаци душа спокойна?
p
call_function_with_ub();
Теперь этот экспрешен источник уб
Теперь этот экспрешен источник уб
ΑZ
нет, источник это unsafe-блок который не выполняет гарантий безопасности раста на границах