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 32 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) {
173 const SymIntExpr *SE = dyn_cast<SymIntExpr>(V.getSymbolicExpression());
227 const SymIntExpr *SE = dyn_cast<SymIntExpr>(LHS);
SymbolManager.cpp 51 void SymIntExpr::dumpToStream(llvm::raw_ostream& os) const {
177 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs,
182 SymIntExpr::Profile(ID, lhs, op, v, t);
187 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>();
188 new (data) SymIntExpr(lhs, op, v, t);
192 return cast<SymIntExpr>(data);
SVals.cpp 167 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) {
SimpleSValBuilder.cpp 332 const SymIntExpr *symIntExpr =
333 dyn_cast<SymIntExpr>(selhs->getSymbolicExpression());
335 if (!symIntExpr)
342 BinaryOperator::Opcode opc = symIntExpr->getOpcode();
378 assert(symIntExpr->getType(Context) == resultTy);
379 return makeNonLoc(symIntExpr->getLHS(), opc,
380 symIntExpr->getRHS(), resultTy);
392 BinaryOperator::Opcode lop = symIntExpr->getOpcode();
400 BasicVals.Convert(resultTy, symIntExpr->getRHS())
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 272 // SymIntExpr - Represents symbolic expression like 'x' + 3.
273 class SymIntExpr : public SymExpr {
280 SymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
394 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
397 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op,

Completed in 504 milliseconds