reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
272 return DV[Level - 1].Distance; 1198 Result.DV[Level].Distance = SE->getConstant(Distance); 1210 Result.DV[Level].Distance = Delta; 1218 Result.DV[Level].Distance = Delta; // since X/1 == X 1305 Result.DV[Level].Distance = Delta; // = 0 1366 Result.DV[Level].Distance = SE->getZero(Delta->getType()); 3220 Level.Distance = CurConstraint.getD(); 3222 if (!SE->isKnownNonZero(Level.Distance)) // if may be zero 3224 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive 3226 if (!SE->isKnownNonNegative(Level.Distance)) // if may be negative 3232 Level.Distance = nullptr; 3237 Level.Distance = nullptr;