1 files changed, 2 insertions, 0 deletions

diff --git a/litmus/ikglp_lock.c b/litmus/ikglp_lock.c
index e78a4ec0dff6..57be5db5f1be 100644
--- a/litmus/ikglp_lock.c
+++ b/litmus/ikglp_lock.c
@@ -1771,6 +1771,8 @@ struct litmus_lock* ikglp_new(int m,
         int nr_replicas = 0;
         int i;
 
+        BUG_ON(m <= 0);
+
         if(!access_ok(VERIFY_READ, arg, sizeof(nr_replicas)))
         {
                 return(NULL);