Home | History | Annotate | Download | only in include

Lines Matching full:precondition

758 // Precondition:  __x != 0
780 // Precondition:  __x != 0