Searched refs:SymTy (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 544 QualType SymTy; in getRangeExpr() local
545 llvm::SMTExprRef Exp = getExpr(Solver, Ctx, Sym, &SymTy); in getRangeExpr()
549 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE, in getRangeExpr()
561 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp, in getRangeExpr()
563 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy, in getRangeExpr()
568 SymTy->isSignedIntegerOrEnumerationType()); in getRangeExpr()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 301 QualType SymTy = LSym->getType(); in doRearrangeUnchecked() local
302 assert(SymTy == RSym->getType() && in doRearrangeUnchecked()
304 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
306 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
313 ResultTy = SymTy; in doRearrangeUnchecked()
331 ResultSym = SymMgr.acquire<SymSymExpr>(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
335 ResultSym = SymMgr.acquire<SymSymExpr>(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
340 ResultSym = SymMgr.acquire<SymSymExpr>(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
|
| /freebsd/contrib/llvm-project/llvm/tools/llvm-objdump/ |
| H A D | llvm-objdump.cpp | 2073 uint8_t SymTy = SymbolsHere[i].Type; in disassembleObject() local
2074 if (SymTy != ELF::STT_OBJECT && SymTy != ELF::STT_COMMON) { in disassembleObject()
|