Searched refs:SymTy (Results 1 - 3 of 3) sorted by relevance
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 300 QualType SymTy = LSym->getType(); local
301 assert(SymTy == RSym->getType() &&
303 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) &&
305 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) &&
312 ResultTy = SymTy;
329 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy);
333 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy);
338 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy);
|
| /freebsd-current/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 542 QualType SymTy; local
543 llvm::SMTExprRef Exp = getExpr(Solver, Ctx, Sym, &SymTy);
547 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE,
559 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp,
561 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy,
566 SymTy->isSignedIntegerOrEnumerationType());
|
| /freebsd-current/contrib/llvm-project/llvm/tools/llvm-objdump/ |
| H A D | llvm-objdump.cpp | 1861 uint8_t SymTy = SymbolsHere[i].Type;
1862 if (SymTy != ELF::STT_OBJECT && SymTy != ELF::STT_COMMON) {
|
Completed in 78 milliseconds