CodeQL library for C#
codeql/csharp-all 3.1.1-dev (changelog, source)
Search

Primitive predicate int::gcd

Returns the greatest common divisor of the receiver and the argument, or zero if both receiver and argument are zero, or INT_MIN if the greatest common divisor is INT_MAX+1

int gcd(int other)