reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1442 if (!evaluate(R2, L2, LS2)) 1444 if (LS2.isBottom() || LS2.isProperty()) 1444 if (LS2.isBottom() || LS2.isProperty()) 1448 for (unsigned i = 0; i < LS2.size(); ++i) { 1450 bool Eval = constToInt(LS2.Values[i], A) &&