Home | History | Annotate | Download | only in Core

Lines Matching refs:SE

29     const SymExpr *SE = SymVal->getSymbol();
31     if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) {
185       const SymIntExpr *SE = dyn_cast<SymIntExpr>(sym);
186       if (!SE)
189       BinaryOperator::Opcode op = SE->getOpcode();
192         QualType T = SE->getType();
195         return assumeSymRel(state, SE, op, zero);
201       return assumeSymRel(state, SE->getLHS(), op, SE->getRHS());
219   if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) {
220     BinaryOperator::Opcode Op = SE->getOpcode();
222       Sym = SE->getLHS();
223       Adjustment = APSIntType(Adjustment).convert(SE->getRHS());