From a855a1f0ff5e96a22c5ccce4276891e749cb3955 Mon Sep 17 00:00:00 2001
From: Ralph Giles <giles@mozilla.com>
Date: Wed, 30 Nov 2011 11:54:20 -0800
Subject: [PATCH] Check for underflow in the debug USUB32.

---
 celt/fixed_debug.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/celt/fixed_debug.h b/celt/fixed_debug.h
index 7b3df645..0a1adf4c 100644
--- a/celt/fixed_debug.h
+++ b/celt/fixed_debug.h
@@ -271,6 +271,10 @@ static inline unsigned int USUB32_(unsigned long long a, unsigned long long b, c
    {
       fprintf (stderr, "USUB32: inputs are not uint32: %llu %llu in %s: line %d\n", a, b, file, line);
    }
+   if (a<b)
+   {
+      fprintf (stderr, "USUB32: inputs underflow: %llu < %llu in %s: line %d\n", a, b, file, line);
+   }
    res = a-b;
    if (!VERIFY_UINT(res))
    {