Home | History | Annotate | Download | only in Checkers

Lines Matching full:nonzero

899   // If the size can be nonzero, we have to check the other arguments.
1047 // If the size can be nonzero, we have to check the other arguments.
1134 // Otherwise, record the assumption that the size is nonzero.