X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fdata-out.c;h=10ca4ede77f9e4fbe742927ad80a9fce4471d444;hb=811c669032a18cfff53291a98e5803afdf39db36;hp=2a0dd0a19528bab246f1366963189ae82526c925;hpb=142e33869c4c04338e6071e011b3053a28ea9173;p=pspp

diff --git a/src/data/data-out.c b/src/data/data-out.c
index 2a0dd0a195..10ca4ede77 100644
--- a/src/data/data-out.c
+++ b/src/data/data-out.c
@@ -864,6 +864,7 @@ rounder_init (struct rounder *r, double number, int max_decimals)
   r->leading_zeros = strspn (r->string, "0.");
   r->leading_nines = strspn (r->string, "9.");
   r->integer_digits = strchr (r->string, '.') - r->string;
+  assert (r->integer_digits >= 0);
   r->negative = number < 0;
 }