HomeSort by relevance Sort by last modified time
    Searched refs:SymIntExpr (Results 1 - 5 of 5) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 30 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) {
180 const SymIntExpr *SE = dyn_cast<SymIntExpr>(sym);
222 const SymIntExpr *SE = dyn_cast<SymIntExpr>(LHS);
SymbolManager.cpp 53 void SymIntExpr::dumpToStream(raw_ostream &os) const {
152 itr.push_back(cast<SymIntExpr>(SE)->getLHS());
270 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs,
275 SymIntExpr::Profile(ID, lhs, op, v, t);
280 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>();
281 new (data) SymIntExpr(lhs, op, v, t);
285 return cast<SymIntExpr>(data);
SimpleSValBuilder.cpp 405 const SymIntExpr *symIntExpr =
406 dyn_cast<SymIntExpr>(selhs->getSymbol());
408 if (!symIntExpr)
415 BinaryOperator::Opcode opc = symIntExpr->getOpcode();
448 assert(symIntExpr->getType(Context) == resultTy);
449 return makeNonLoc(symIntExpr->getLHS(), opc,
450 symIntExpr->getRHS(), resultTy);
462 BinaryOperator::Opcode lop = symIntExpr->getOpcode();
470 BasicVals.Convert(resultTy, symIntExpr->getRHS())
    [all...]
ProgramState.cpp 518 return scan(cast<SymIntExpr>(sym)->getLHS());
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 345 /// SymIntExpr - Represents symbolic expression like 'x' + 3.
346 class SymIntExpr : public SymExpr {
353 SymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
526 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
529 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op,

Completed in 216 milliseconds