DF
да, но для ядра может быть полезна возможность доказать что подгружаемый модуль не паникует например
Size: a a a
2021 June 21
DF
и если он не паник-фри предпринимать доп меры после загрузки
D
ну, польза да, огромна =)
П
Паники в си код передавать вроде не оч можно
П
Ну типа не оч хорошо*
D
UB фактически
MB
-Zbuild-std-features=panic_immediate_abort ЕМНИП
D
я скорее про гарантию отсутствия паник
D
а-ля "в программе нет функций, которые бы паниковали"
D
но я понимаю, что это скорее мечты, чем нечто реализуемое в обозримом будущем
BV
формальная верификация, нее?
BV
но это скорее будет говорить о плохом качестве кода пишуших
D
хотя вообще есть костыль в виде https://github.com/japaric/panic-never
хм, надо будет попробовать
хм, надо будет попробовать
MB
заставим оптимизатор поработать верификатором?
D
что-то в этом роде :)
BV
хе хе
D
> > Is it only for no_std?
>
> This is a (current) limitation of the
>
> I should add that even the smallest
:(
>
> This is a (current) limitation of the
#[panic_handler] feature. I have added a note to the documentation.>
> I should add that even the smallest
std program: fn main() {} contains several panicking branches (because the Rust startup code can fail in unrecoverable ways) so even if you could link std programs to panic-never linking would always fail.:(
П
Странно если тебе в стд надо нопаник
YM
что надо, чтобы не было panic никогда?
panic это же хорошо
в императивном языке
panic это же хорошо
в императивном языке
П
Всегда обрабатывать всё