Lines Matching defs:Symbolized

3098     const Expression *Symbolized = nullptr;
3102       Symbolized = Res.Expr;
3106       if (Symbolized && !isa<ConstantExpression>(Symbolized) &&
3107           !isa<VariableExpression>(Symbolized) && PHINodeUses.count(I)) {
3112           Symbolized = PHIE;
3123     if (Symbolized == nullptr)
3124       Symbolized = createUnknownExpression(I);
3125     performCongruenceFinding(I, Symbolized);
3131       auto *Symbolized = createUnknownExpression(I);
3132       performCongruenceFinding(I, Symbolized);