shithub: libvpx

Info  •  Files  •  Log

vpx_timestamp,gcd: assert params are positive

this function is currently only used with range checked timestamp
values, but this documents the function's expectations in case it's used
elsewhere

Change-Id: I9de314fc500a49f34f8a1df3598d64bc5070248e

--- a/vpx_util/vpx_timestamp.h

+++ b/vpx_util/vpx_timestamp.h

@@ -11,6 +11,8 @@

 #ifndef VPX_VPX_UTIL_VPX_TIMESTAMP_H_

 #define VPX_VPX_UTIL_VPX_TIMESTAMP_H_

+#include <assert.h>

+

 #ifdef __cplusplus

 extern "C" {

 #endif  // __cplusplus

@@ -23,7 +25,9 @@

 static INLINE int gcd(int64_t a, int b) {

   int r;  // remainder

-  while (b > 0) {

+  assert(a >= 0);

+  assert(b > 0);

+  while (b != 0) {

     r = (int)(a % b);

     a = b;

     b = r;