From 9505d1c010aa2068b10f65a38ecc9dadf1ea76f8 Mon Sep 17 00:00:00 2001 From: Slendi Date: Fri, 3 May 2024 23:49:19 +0200 Subject: [PATCH] Add some more details in todo_list.md for self-hosted compiler This patch makes it such that the type checker when re-implemented in the self-hosted compiler for the kernel will check for some common pitfalls and throw some errors out about them. Signed-off-by: Slendi --- todo_list.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/todo_list.md b/todo_list.md index 31a0922..01c9c7c 100644 --- a/todo_list.md +++ b/todo_list.md @@ -45,6 +45,12 @@ - [ ] Lexer - [ ] Parser - [ ] Type checker + - Check if pointers have been checked for NULL before being used, + to avoid null dereferencing. + - Throw error if a variable is shadowing another one from another + scope. + - Throw error if a function's return value is not used or + explicitly ignored - [ ] Re-write the backend - [ ] Create an assembler for x86_64 - [ ] Create a custom backend