From 86435f1df94517c966b20e6c57b69b825cd56428 Mon Sep 17 00:00:00 2001 From: Melody Horn Date: Wed, 21 Oct 2020 19:52:37 -0600 Subject: don't compile to C after all --- safety.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'safety.md') diff --git a/safety.md b/safety.md index 271edc1..8a03652 100644 --- a/safety.md +++ b/safety.md @@ -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 -- cgit v1.2.3