From f33f2fc686c5a248765211f570bca1dfa6a8c44b Mon Sep 17 00:00:00 2001
From: James Zern <jzern@google.com>
Date: Fri, 17 Jan 2020 23:33:35 -0800
Subject: [PATCH] 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
---
 vpx_util/vpx_timestamp.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/vpx_util/vpx_timestamp.h b/vpx_util/vpx_timestamp.h
index c210de5e5..5296458fa 100644
--- 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 @@ typedef struct vpx_rational64 {
 
 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;