This variable has been annotated with FortifyNonNegative, which is used to indicate that negative values are not permitted.
[1] Standards Mapping - Common Weakness Enumeration - (CWE) CWE ID 20
[2] Standards Mapping - SANS Top 25 2009 - (SANS 2009) Insecure Interaction - CWE ID 020