From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 19 Oct 2013 06:41:59 +0000 (-0700)
Subject: integer-format: Support 8-byte values in integer_put().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9c1c557505cc8e35ea0569ad41c9e821ab885262;p=pspp

integer-format: Support 8-byte values in integer_put().

It looks to me that the assertion was just incorrect.
---

diff --git a/src/libpspp/integer-format.c b/src/libpspp/integer-format.c
index c248e0ff04..fb1851fd88 100644
--- a/src/libpspp/integer-format.c
+++ b/src/libpspp/integer-format.c
@@ -1,5 +1,5 @@
 /* PSPP - a program for statistical analysis.
-   Copyright (C) 2006, 2010, 2011 Free Software Foundation, Inc.
+   Copyright (C) 2006, 2010, 2011, 2013 Free Software Foundation, Inc.
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -84,7 +84,7 @@ integer_put (uint64_t value, enum integer_format format, void *to_, size_t cnt)
   size_t i;
 
   assert (is_integer_format (format));
-  assert (cnt < 8);
+  assert (cnt <= 8);
 
   value <<= 8 * (8 - cnt);