diff options
author | Melody Horn <melody@boringcactus.com> | 2020-10-21 19:52:37 -0600 |
---|---|---|
committer | Melody Horn <melody@boringcactus.com> | 2020-10-21 19:52:37 -0600 |
commit | 86435f1df94517c966b20e6c57b69b825cd56428 (patch) | |
tree | 020f636fc0d28450eb394729dc7a5381fbbf741e /safety.md | |
parent | 489469a7b6668bcf27362896f7a9ed4bc2a99de1 (diff) | |
download | spec-86435f1df94517c966b20e6c57b69b825cd56428.tar.gz spec-86435f1df94517c966b20e6c57b69b825cd56428.zip |
don't compile to C after all
Diffstat (limited to 'safety.md')
-rw-r--r-- | safety.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -46,11 +46,12 @@ bounds checking, dubious-pointer checking ## Use after free
-`free(x);` not followed by `x = NULL;` is a compiler error
+`free(x);` not followed by `x = NULL;` is a compiler error.
+`owned` and `borrowed` keywords
# Uninitialized variables
-C already warns about these in most cases, so we're good.
+forbid them in syntax
## Null pointer dereference
@@ -58,7 +59,7 @@ dubious-pointer checking ## Wild pointers
-let C handle it
+dubious-pointer checking
# Memory leak
|