Lines Matching defs:comparison

55 // of the comparison (1 or 0) but in case of type-III we only get a Symbol. In
59 // comparison itself.
65 // a constraint which we later retrieve when doing an actual comparison.
449   // Record the operands and the operator of the comparison for the next
487   // unsuccessful. We cannot handle the comparison in this case.
793   // 4. Assume the result of the comparison.
794   const auto comparison =
798   assert(isa<DefinedSVal>(comparison) &&
799          "Symbol comparison must be a `DefinedSVal`");
801   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
805   if (const auto CompSym = comparison.getAsSymbol()) {
807            "Symbol comparison must be a `SymIntExpr`");
810            "Symbol comparison must be a comparison");