Lines Matching defs:Symbolized

3131     const Expression *Symbolized = nullptr;
3135       Symbolized = Res.Expr;
3139       if (Symbolized && !isa<ConstantExpression>(Symbolized) &&
3140           !isa<VariableExpression>(Symbolized) && PHINodeUses.count(I)) {
3145           Symbolized = PHIE;
3156     if (Symbolized == nullptr)
3157       Symbolized = createUnknownExpression(I);
3158     performCongruenceFinding(I, Symbolized);
3164       auto *Symbolized = createUnknownExpression(I);
3165       performCongruenceFinding(I, Symbolized);