Searched refs:Intersect (Results 1 – 3 of 3) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 156 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F, in Intersect() function in RangeSet
378 if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty()) in checkNull()
418 return Domain.Intersect(BV, F, ++IntType.getZeroValue(), in assumeNonZero()
443 return Input.Intersect(BV, F, RHS, BV.getMaxValue(T)); in applyBitwiseConstraints()
453 return Input.Intersect(BV, F, BV.getMinValue(T), RHS); in applyBitwiseConstraints()
541 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower); in assumeSymNE()
556 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt); in assumeSymEQ()
585 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymLTRange()
621 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymGTRange()
657 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymGERange()
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | RangedConstraintManager.h | 115 RangeSet Intersect(BasicValueFactory &BV, Factory &F, llvm::APSInt Lower,
|
| /freebsd-12.1/contrib/gcc/ |
| H A D | ChangeLog-2005 | 10268 * tree-vrp.c (vrp_meet): Intersect the equivalency sets when
|