reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
123 assert(BinaryOperator::isComparisonOp(Op) && 131 if (Int == 0 && (Op == BO_EQ || Op == BO_NE)) { 131 if (Int == 0 && (Op == BO_EQ || Op == BO_NE)) { 134 return assumeSym(State, Sym, (Op == BO_NE ? true : false)); 160 switch (Op) {