Bugfix: Cast the integers to uint64_t *before* multiplying (Thanks msi)

This fixes problems on 32-bit computers.

diff --git a/src/print_disk_info.c b/src/print_disk_info.c
index 7ad27a477c5d3f791c1fd1c5e272e5c01c30ac25..11111db0a7de2801c557c67e8098158df9ed3ad0 100644 (file)
--- a/src/print_disk_info.c
+++ b/src/print_disk_info.c
@@ -51,17 +51,17 @@ void print_disk_info(const char *path, const char *format) {
                 }
 
                 if (BEGINS_WITH(walk+1, "free")) {
-                        print_bytes_human(buf.f_bsize * buf.f_bfree);
+                        print_bytes_human((uint64_t)buf.f_bsize * (uint64_t)buf.f_bfree);
                         walk += strlen("free");
                 }
 
                 if (BEGINS_WITH(walk+1, "used")) {
-                        print_bytes_human(buf.f_bsize * (buf.f_blocks - buf.f_bfree));
+                        print_bytes_human((uint64_t)buf.f_bsize * ((uint64_t)buf.f_blocks - (uint64_t)buf.f_bfree));
                         walk += strlen("used");
                 }
 
                 if (BEGINS_WITH(walk+1, "total")) {
-                        print_bytes_human(buf.f_bsize * buf.f_blocks);
+                        print_bytes_human((uint64_t)buf.f_bsize * (uint64_t)buf.f_blocks);
                         walk += strlen("total");
                 }
         }