Searched refs:SymTy (Results 1 – 3 of 3) sorted by relevance
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SMTConv.h | 518 QualType SymTy; in getRangeExpr() local
519 llvm::SMTExprRef Exp = getExpr(Solver, Ctx, Sym, &SymTy); in getRangeExpr()
523 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE, in getRangeExpr()
535 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp, in getRangeExpr()
537 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy, in getRangeExpr()
542 SymTy->isSignedIntegerOrEnumerationType()); in getRangeExpr()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleSValBuilder.cpp | 379 QualType SymTy = LSym->getType(); in doRearrangeUnchecked() local
380 assert(SymTy == RSym->getType() && in doRearrangeUnchecked()
382 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
384 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
391 ResultTy = SymTy; in doRearrangeUnchecked()
409 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
413 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
418 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
|
| /external/llvm-project/llvm/tools/llvm-objdump/ |
| D | llvm-objdump.cpp | 1925 uint8_t SymTy = Symbols[SI].Type; in disassembleObject() local
1926 if (SymTy == ELF::STT_OBJECT || SymTy == ELF::STT_COMMON) { in disassembleObject()
|