Searched refs:assumeNonZero (Results 1 – 1 of 1) sorted by relevance
1314 return assumeNonZero(Result, T); in infer()1436 RangeSet assumeNonZero(RangeSet Domain, QualType T) { in assumeNonZero() function in __anonaacf511c0511::SymbolicRangeInferrer1599 return assumeNonZero(TypeRange, T); in getTrueRange()1717 return assumeNonZero(DefaultRange, T); in VisitBinaryOperator()