Lines Matching defs:SE
27 const SymExpr *SE = SymVal->getSymbolicExpression();
29 if (isa<SymbolData>(SE))
32 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) {
173 const SymIntExpr *SE = dyn_cast<SymIntExpr>(V.getSymbolicExpression());
174 if (!SE)
177 BinaryOperator::Opcode op = SE->getOpcode();
180 QualType T = SymMgr.getType(SE);
183 return assumeSymRel(state, SE, op, zero);
190 return assumeSymRel(state, SE->getLHS(), op, SE->getRHS());
227 const SymIntExpr *SE = dyn_cast<SymIntExpr>(LHS);
231 if (!SE)
236 Sym = dyn_cast<SymbolData>(SE->getLHS());
241 switch (SE->getOpcode()) {
243 Adjustment = SE->getRHS();
246 Adjustment = -SE->getRHS();
