Searched refs:SymTy (Results 1 - 3 of 3) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 379 QualType SymTy = LSym->getType(); local
380 assert(SymTy == RSym->getType() &&
382 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) &&
384 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) &&
391 ResultTy = SymTy;
409 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy);
413 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy);
418 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy);
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 514 QualType SymTy; local
515 llvm::SMTExprRef Exp = getExpr(Solver, Ctx, Sym, &SymTy);
519 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE,
531 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp,
533 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy,
538 SymTy->isSignedIntegerOrEnumerationType());
|
| /freebsd-11-stable/contrib/llvm-project/llvm/tools/llvm-objdump/ |
| H A D | llvm-objdump.cpp | 1370 uint8_t SymTy = std::get<2>(Symbols[SI]);
1371 if (SymTy == ELF::STT_OBJECT || SymTy == ELF::STT_COMMON) {
|
Completed in 57 milliseconds