C++: cast result of malloc
authorBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 18:35:09 +0000 (11:35 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Mar 2012 18:41:34 +0000 (11:41 -0700)
libthreads.c
model.c
schedule.c

index 8dd05d13da60af38a26124e7c93f0ab85d58503d..dbaf9e96435a7c04bb3e5301974ef0f315f36cdc 100644 (file)
@@ -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 */
index 3b4d57cf1574500f75b267a49f6bf181e4a09a02..290bdf73a6eaf30489e888d4f570d6a4f58e4713 100644 (file)
@@ -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;