Searched refs:SymTy (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 540 QualType SymTy; in getRangeExpr() local
541 llvm::SMTExprRef Exp = getExpr(Solver, Ctx, Sym, &SymTy); in getRangeExpr()
545 return getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_EQ : BO_NE, in getRangeExpr()
557 getBinExpr(Solver, Ctx, Exp, SymTy, InRange ? BO_GE : BO_LT, FromExp, in getRangeExpr()
559 llvm::SMTExprRef RHS = getBinExpr(Solver, Ctx, Exp, SymTy, in getRangeExpr()
564 SymTy->isSignedIntegerOrEnumerationType()); in getRangeExpr()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 285 QualType SymTy = LSym->getType(); in doRearrangeUnchecked() local
286 assert(SymTy == RSym->getType() && in doRearrangeUnchecked()
288 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
290 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
297 ResultTy = SymTy; in doRearrangeUnchecked()
314 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
318 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
323 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
|
| /llvm-project-15.0.7/llvm/tools/llvm-objdump/ |
| H A D | llvm-objdump.cpp | 1569 uint8_t SymTy = Symbols[SI].Type; in disassembleObject() local
1570 if (SymTy == ELF::STT_OBJECT || SymTy == ELF::STT_COMMON) { in disassembleObject()
|