reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1499 if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2)) 1503 return !(Result = LS2).isBottom(); 1506 if (LS2.isProperty()) { 1507 if (LS2.properties() & ConstantProperties::Zero) 1513 for (unsigned i = 0; i < LS2.size(); ++i) { 1515 bool Eval = constToInt(LS2.Values[i], A) &&