Re:The CompCert C Compiler
by renox on Monday May 27, 2024 @02:41PM
(#40493388)
While this is true, let's not forget that if there's a problem in the unsafe section, the issue can manifest itself much later in the safe code..
I'm not a Rust programmer but I remember reading about such kind of issue (an alignment error if memory serves).
So sometimes you can build a 'self contained' unsafe part made safe with the right API but not always, which is already a significant improvement over other languages which are unsafe all the time..
So sometimes you can build a 'self contained' unsafe part made safe with the right API but not always, which is already a significant improvement over other languages which are unsafe all the time..