C++: cast result of malloc

diff --git a/libthreads.c b/libthreads.c
index 8dd05d13da60af38a26124e7c93f0ab85d58503d..dbaf9e96435a7c04bb3e5301974ef0f315f36cdc 100644 (file)
--- a/libthreads.c
+++ b/libthreads.c
@@ -156,7 +156,7 @@ int main()
 
        model_checker_init();
 
-       main_thread = malloc(sizeof(struct thread));
+       main_thread = (struct thread *)malloc(sizeof(*main_thread));
        create_initial_thread(main_thread);
        model_checker_add_system_thread(main_thread);
 

diff --git a/model.c b/model.c
index ff466ee7772acbdf4a412d19e70bfd160e6c2891..a8a6936bde61d73e33c0138e118d1300bc015c71 100644 (file)
--- a/model.c
+++ b/model.c
@@ -12,7 +12,7 @@ void model_checker_add_system_thread(struct thread *t)
 
 void model_checker_init(void)
 {
-       model = malloc(sizeof(*model));
+       model = (struct model_checker *)malloc(sizeof(*model));
        memset(model, 0, sizeof(*model));
 
        /* First thread created (system_thread) will have id 1 */

diff --git a/schedule.c b/schedule.c
index 3b4d57cf1574500f75b267a49f6bf181e4a09a02..290bdf73a6eaf30489e888d4f570d6a4f58e4713 100644 (file)
--- a/schedule.c
+++ b/schedule.c
@@ -78,7 +78,7 @@ void scheduler_init(struct model_checker *mod)
        struct scheduler *sched;
 
        /* Initialize default scheduler */
-       sched = malloc(sizeof(*sched));
+       sched = (struct scheduler *)malloc(sizeof(*sched));
        sched->init = NULL;
        sched->exit = NULL;
        sched->add_thread = default_add_thread;