From a96704eb0f9f212236417f25032a218057ca1908 Mon Sep 17 00:00:00 2001
From: MerryMage <MerryMage@users.noreply.github.com>
Date: Tue, 23 Aug 2016 20:11:41 +0100
Subject: [PATCH] arm_types: new_reg >= 0 is always true since new_reg is
 unsigned

---
 src/frontend/arm_types.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/arm_types.h b/src/frontend/arm_types.h
index 54cb73ec..8f7207f9 100644
--- a/src/frontend/arm_types.h
+++ b/src/frontend/arm_types.h
@@ -164,7 +164,7 @@ inline Reg operator+(Reg reg, size_t number) {
     ASSERT(reg != Reg::INVALID_REG);
 
     size_t new_reg = static_cast<size_t>(reg) + number;
-    ASSERT(new_reg >= 0 && new_reg <= 15);
+    ASSERT(new_reg <= 15);
 
     return static_cast<Reg>(new_reg);
 }