Check for underflow in the debug USUB32.
authorRalph Giles <giles@mozilla.com>
Wed, 30 Nov 2011 19:54:20 +0000 (11:54 -0800)
committerRalph Giles <giles@mozilla.com>
Tue, 6 Mar 2012 01:09:54 +0000 (17:09 -0800)
celt/fixed_debug.h

index 7b3df64..0a1adf4 100644 (file)
@@ -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))
    {