From 7d5116251d07807104801d608eb942ab1961a63f Mon Sep 17 00:00:00 2001
From: Vladimir Serbinenko <phcoder@gmail.com>
Date: Wed, 13 Nov 2013 09:40:16 +0100
Subject: [PATCH] 	* grub-core/disk/diskfilter.c
 (grub_diskfilter_make_raid): Make 	level / 3 division explicitly
 unsigned. Saves few bytes.

---
 ChangeLog                   | 5 +++++
 grub-core/disk/diskfilter.c | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 6c0f03b7f..065c3d362 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-11-13  Vladimir Serbinenko  <phcoder@gmail.com>
+
+	* grub-core/disk/diskfilter.c (grub_diskfilter_make_raid): Make
+	level / 3 division explicitly unsigned. Saves few bytes.
+
 2013-11-13  Vladimir Serbinenko  <phcoder@gmail.com>
 
 	* grub-core/fs/zfs/zfs.c (ZAP_LEAF_NUMCHUNKS): Use unsigned arithmetics.
diff --git a/grub-core/disk/diskfilter.c b/grub-core/disk/diskfilter.c
index b917c3eab..dc693696a 100644
--- a/grub-core/disk/diskfilter.c
+++ b/grub-core/disk/diskfilter.c
@@ -934,7 +934,7 @@ grub_diskfilter_make_raid (grub_size_t uuidlen, char *uuid, int nmemb,
     case 4:
     case 5:
     case 6:
-      totsize = (nmemb - level / 3) * disk_size;
+      totsize = (nmemb - ((unsigned) level / 3U)) * disk_size;
       break;
 
     default: