[libcn] (tree-wide) -Wstrict-prototypes

Author: pqwy

runtime/libcn/include/bennet-exp/size.h

@@ -10,14 +10,14 @@ void bennet_set_size(size_t sz);
 size_t bennet_get_max_size(void);
 void bennet_set_max_size(size_t sz);
 
-uint16_t bennet_depth();
-uint16_t bennet_max_depth();
+uint16_t bennet_depth(void);
+uint16_t bennet_max_depth(void);
 void bennet_set_max_depth(uint16_t msd);
-void bennet_increment_depth();
-void bennet_decrement_depth();
+void bennet_increment_depth(void);
+void bennet_decrement_depth(void);
 
 void bennet_set_size_split_backtracks_allowed(uint16_t allowed);
-uint16_t bennet_get_size_split_backtracks_allowed();
+uint16_t bennet_get_size_split_backtracks_allowed(void);
 
 void bennet_set_input_timeout(uint64_t seconds);
 uint64_t bennet_get_input_timeout(void);

runtime/libcn/include/bennet/failure.h

@@ -42,6 +42,6 @@ int bennet_failure_remap_blamed_many(char* from[], char* to[]);
 
 void bennet_failure_set_allocation_needed(size_t sz);
 
-size_t bennet_failure_get_allocation_needed();
+size_t bennet_failure_get_allocation_needed(void);
 
 #endif  // BENNET_FAILURE_H

runtime/libcn/include/bennet/size.h

@@ -10,14 +10,14 @@ void bennet_set_size(size_t sz);
 size_t bennet_get_max_size(void);
 void bennet_set_max_size(size_t sz);
 
-uint16_t bennet_depth();
-uint16_t bennet_max_depth();
+uint16_t bennet_depth(void);
+uint16_t bennet_max_depth(void);
 void bennet_set_max_depth(uint16_t msd);
-void bennet_increment_depth();
-void bennet_decrement_depth();
+void bennet_increment_depth(void);
+void bennet_decrement_depth(void);
 
 void bennet_set_size_split_backtracks_allowed(uint16_t allowed);
-uint16_t bennet_get_size_split_backtracks_allowed();
+uint16_t bennet_get_size_split_backtracks_allowed(void);
 
 void bennet_set_input_timeout(uint64_t seconds);
 uint64_t bennet_get_input_timeout(void);

runtime/libcn/include/cn-executable/bump_alloc.h

@@ -19,7 +19,7 @@ void* cn_bump_malloc(size_t nbytes);
 
 void* cn_bump_calloc(size_t count, size_t size);
 
-void cn_bump_free_all();
+void cn_bump_free_all(void);
 
 typedef struct {
   uint16_t block;
@@ -32,7 +32,7 @@ void cn_bump_free_after(cn_bump_frame_id frame_id);
 
 void cn_bump_free(void*);
 
-void cn_bump_print();
+void cn_bump_print(void);
 
 #ifdef __cplusplus
 }

runtime/libcn/include/cn-executable/utils.h

@@ -72,8 +72,8 @@ void initialise_error_msg_info_(
 #define initialise_error_msg_info()                                                      \
   initialise_error_msg_info_(__func__, __FILE__, __LINE__)
 
-void reset_error_msg_info();
-void free_error_msg_info();
+void reset_error_msg_info(void);
+void free_error_msg_info(void);
 
 /* TODO: Implement */
 /*struct cn_error_messages {
@@ -84,7 +84,7 @@ void free_error_msg_info();
 void update_error_message_info_(
     const char *function_name, char *file_name, int line_number, char *cn_source_loc);
 
-void cn_pop_msg_info();
+void cn_pop_msg_info(void);
 
 #define update_cn_error_message_info(x)                                                  \
   update_error_message_info_(__func__, __FILE__, __LINE__ + 1, x)

runtime/libcn/include/cn-replicate/lines.h

@@ -9,9 +9,9 @@ extern "C" {
 #include <stdio.h>
 
 void cn_replica_lines_append(char *line);
-void cn_replica_lines_reset();
-char *cn_replica_lines_to_str();
-char *cn_replica_lines_to_json_literal();
+void cn_replica_lines_reset(void);
+char *cn_replica_lines_to_str(void);
+char *cn_replica_lines_to_json_literal(void);
 
 struct tyche_line_info {
   char *test_suite;

runtime/libcn/src/bennet-exp/failure.c

@@ -163,7 +163,7 @@ void bennet_failure_set_offset_bounds(void* p_alloc, void* p, size_t bytes) {
   failure.body.allocation.is_null = false;
 }
 
-void bennet_failure_set_should_be_null() {
+void bennet_failure_set_should_be_null(void) {
   failure.type = BENNET_BACKTRACK_ALLOC;
   failure.body.allocation.lower_offset_bound = 0;
   failure.body.allocation.upper_offset_bound = 0;

runtime/libcn/src/bennet-exp/rand.c

@@ -359,7 +359,7 @@ uint64_t bennet_rand(void) {
   }
 }
 
-uint64_t bennet_rand_retry() {
+uint64_t bennet_rand_retry(void) {
   uint64_t choice = genrand();
 
   struct choice_list* next = (choice_history != 0) ? choice_history->next : 0;

runtime/libcn/src/bennet-exp/size.c

@@ -23,23 +23,23 @@ void bennet_set_max_size(size_t sz) {
 static uint16_t stack_depth = 0;
 static uint16_t max_stack_depth = UINT8_MAX;
 
-uint16_t bennet_depth() {
+uint16_t bennet_depth(void) {
   return stack_depth;
 }
 
-uint16_t bennet_max_depth() {
+uint16_t bennet_max_depth(void) {
   return max_stack_depth;
 }
 
 void bennet_set_max_depth(uint16_t msd) {
   max_stack_depth = msd;
 }
 
-void bennet_increment_depth() {
+void bennet_increment_depth(void) {
   stack_depth++;
 }
 
-void bennet_decrement_depth() {
+void bennet_decrement_depth(void) {
   stack_depth--;
 }
 
@@ -49,7 +49,7 @@ void bennet_set_size_split_backtracks_allowed(uint16_t allowed) {
   size_split_backtracks_allowed = allowed;
 }
 
-uint16_t bennet_get_size_split_backtracks_allowed() {
+uint16_t bennet_get_size_split_backtracks_allowed(void) {
   return size_split_backtracks_allowed;
 }
 

runtime/libcn/src/bennet/failure.c

@@ -156,7 +156,7 @@ void bennet_failure_set_allocation_needed(size_t sz) {
   failure.body.allocation.allocate_more_than = sz;
 }
 
-size_t bennet_failure_get_allocation_needed() {
+size_t bennet_failure_get_allocation_needed(void) {
   assert(failure.type == BENNET_BACKTRACK_ALLOC);
   return failure.body.allocation.allocate_more_than;
 }