Add assets for functions not checking for NULLs

Author: sourrust

src/commands.c

@@ -12,6 +12,8 @@ static const char* help_matches[] = {"help", "?", NULL};
 static const char* debug_info_matches[] = {"info", NULL};
 
 static void handle_quit(struct LacoState* laco, const char** arguments) {
+  assert(laco != NULL);
+
   laco_kill(laco, 0, "Exiting laco...");
 }
 
@@ -26,6 +28,9 @@ static void handle_help(struct LacoState* laco, const char** arguments) {
 
 static void handle_debug_info(struct LacoState* laco,
                               const char** arguments) {
+  assert(laco != NULL);
+  assert(arguments != NULL);
+
   laco_print_debug_info(laco, arguments[0]);
 }
 

src/commands/debugger.c

@@ -10,6 +10,9 @@
 #include "util.h"
 
 void laco_print_debug_info(LacoState* laco, const char* function_name) {
+  assert(laco != NULL);
+  assert(function_name != NULL);
+
   int i;
   char* namespace;
   lua_State* L         = laco_get_laco_lua_state(laco);

src/flags.c

@@ -10,6 +10,8 @@ static const char* help_matches[]    = {"-h", "--help", NULL};
 
 /* Print off the current version of laco */
 static void handle_version(LacoState* laco, const char** arguments) {
+  assert(laco != NULL);
+
   const char* version = laco_get_laco_version(laco);
 
   printf("laco version %s\n", version);
@@ -18,6 +20,8 @@ static void handle_version(LacoState* laco, const char** arguments) {
 
 /* Print off the help screen */
 static void handle_help(LacoState* laco, const char** arguments) {
+  assert(laco != NULL);
+
   puts(
     "A better REPL for Lua.\n\n"
     "Usage: laco [options]\n\n"
@@ -37,6 +41,8 @@ static const LacoCommand flag_commands[] = {
 /* External API */
 
 void laco_handle_flag(LacoState* laco) {
+  assert(laco != NULL);
+
   const char* command = laco_get_laco_args(laco)[1];
 
   laco_dispatch(flag_commands, laco, command, NULL);

src/util.c

@@ -7,6 +7,7 @@
 #include "laco.h"
 
 static inline void ignore_extra(const char chr, char** string_ptr) {
+  assert(string_ptr != NULL);
   if(*string_ptr == NULL) return;
 
   while(**string_ptr == chr) {
@@ -17,6 +18,8 @@ static inline void ignore_extra(const char chr, char** string_ptr) {
 /* External API */
 
 void laco_kill(LacoState* laco, int status, const char* message) {
+  assert(laco != NULL);
+
   laco_destroy_laco_state(laco);
 
   if(message != NULL) {
@@ -27,6 +30,9 @@ void laco_kill(LacoState* laco, int status, const char* message) {
 }
 
 bool laco_is_match(const char** matches, const char* test_string) {
+  assert(matches != NULL);
+  assert(test_string != NULL);
+
   int i;
   const char* match;
 
@@ -61,6 +67,10 @@ char** laco_split_by(const char split_with, char* string,
 
 void laco_dispatch(const LacoCommand* commands, LacoState* laco,
                    const char* command_keyword, const char** arguments) {
+  assert(commands != NULL);
+  assert(laco != NULL);
+  assert(command_keyword != NULL);
+
   int i;
   const char** matches;
 

src/util/line.c

@@ -13,6 +13,8 @@
 
 /* Check if line is incomplete */
 static bool incomplete(lua_State* L, int status) {
+  assert(L != NULL);
+
   size_t lmess;
   size_t eof_size;
   const char* mess;
@@ -38,6 +40,8 @@ static bool incomplete(lua_State* L, int status) {
 
 /* Check if line can be printed */
 static bool is_printable(lua_State* L, int status) {
+  assert(L != NULL);
+
   const char* mess;
   const char* literal;
   const char* func;
@@ -82,6 +86,9 @@ static bool is_printable(lua_State* L, int status) {
 }
 
 static char* get_line(LacoState* laco, const char* prompt) {
+  assert(laco != NULL);
+  assert(prompt != NULL);
+
   char* line = linenoise(prompt);
 
   if(line != NULL) {
@@ -97,6 +104,8 @@ static char* get_line(LacoState* laco, const char* prompt) {
 
 /* Push a line to the stack and store in history */
 static bool pushline(LacoState* laco, bool isFirstLine) {
+  assert(laco != NULL);
+
   const char* prompt = (isFirstLine) ? "> " : "... ";
   char* line         = get_line(laco, prompt);
   lua_State* L       = laco_get_laco_lua_state(laco);
@@ -115,6 +124,8 @@ static bool pushline(LacoState* laco, bool isFirstLine) {
 /* External API */
 
 bool laco_load_line(LacoState* laco) {
+  assert(laco != NULL);
+
   int status   = laco_get_laco_status(laco);
   lua_State* L = laco_get_laco_lua_state(laco);
 
@@ -145,6 +156,8 @@ bool laco_load_line(LacoState* laco) {
 }
 
 void laco_handle_line(LacoState* laco) {
+  assert(laco != NULL);
+
   int status   = laco_get_laco_status(laco);
   lua_State* L = laco_get_laco_lua_state(laco);
 

src/util/print.c

@@ -8,6 +8,8 @@
 
 /* C Wrapper for lua's tostring function  */
 inline static const char* to_lua_string(lua_State* L) {
+  assert(L != NULL);
+
   const char* result = NULL;
 
   lua_getglobal(L, "tostring");
@@ -24,13 +26,17 @@ inline static const char* to_lua_string(lua_State* L) {
 
 /* Format printing of a single key value pair */
 static void print_key_value(lua_State* L, char start_char) {
+  assert(L != NULL);
+
   printf("%c %s = %s\n",
       start_char, lua_tostring(L, -2),
       to_lua_string(L));
 }
 
 /* Format printing of a single list element */
 static void print_list(lua_State* L, char start_char) {
+  assert(L != NULL);
+
   const char* format = NULL;
   if(start_char == '{') {
     format = "%c%s";
@@ -43,6 +49,8 @@ static void print_list(lua_State* L, char start_char) {
 
 /* Print both types of tables */
 static void print_table(lua_State* L) {
+  assert(L != NULL);
+
   bool first_elem = true;
   int luatype;
 
@@ -80,6 +88,8 @@ static void print_table(lua_State* L) {
 /* External API */
 
 int laco_print_type(LacoState* laco) {
+  assert(laco != NULL);
+
   lua_State* L = laco_get_laco_lua_state(laco);
   int status   = laco_get_laco_status(laco);
   int luatype  = lua_type(L, -1);
@@ -99,6 +109,8 @@ int laco_print_type(LacoState* laco) {
 }
 
 void laco_report_error(LacoState* laco, int status) {
+  assert(laco != NULL);
+
   lua_State* L = laco_get_laco_lua_state(laco);
 
   if(status != 0 && lua_isstring(L, -1)) {