/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UndefResultChecker.cpp | 43 SVal Loc = C.getSVal(Ex); 69 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); 70 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); 77 if (C.getSVal(B).isUndef()) { 101 if (C.getSVal(B->getLHS()).isUndef()) { 105 else if (C.getSVal(B->getRHS()).isUndef()) { 138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); 158 SB.getKnownValue(State, C.getSVal(B->getLHS())); 160 SB.getKnownValue(State, C.getSVal(B->getRHS()));
|
H A D | PointerSubChecker.cpp | 41 SVal LV = C.getSVal(B->getLHS()); 42 SVal RV = C.getSVal(B->getRHS());
|
H A D | PointerArithChecker.cpp | 109 SVal S = State->getSVal(Region); 156 const MemRegion *Region = C.getSVal(E).getAsRegion(); 228 SVal SV = C.getSVal(CE); 249 SVal AllocedVal = C.getSVal(NE); 264 SVal CastedVal = C.getSVal(CastedExpr); 282 SVal CastedVal = C.getSVal(CastedExpr); 305 SVal Idx = C.getSVal(SubsExpr->getIdx()); 328 SVal RHSVal = C.getSVal(Rhs); 335 SVal LHSVal = C.getSVal(Lhs);
|
H A D | FixedAddressChecker.cpp | 46 SVal RV = C.getSVal(B->getRHS());
|
H A D | ObjCContainersChecker.cpp | 41 SVal ArrayRef = C.getSVal(E); 71 SVal SizeV = C.getSVal(Size); 77 SVal ArrayRef = C.getSVal(Array); 133 SVal IdxVal = C.getSVal(IdxExpr);
|
H A D | CXXSelfAssignmentChecker.cpp | 50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); 52 auto ParamVal = State->getSVal(Param);
|
H A D | UndefBranchChecker.cpp | 49 return St->getSVal(Ex, LCtx).isUndef(); 61 SVal X = Ctx.getSVal(Condition);
|
H A D | UndefCapturedBlockVarChecker.cpp | 57 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); 73 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
H A D | TestAfterDivZeroChecker.cpp | 115 SVal S = Succ->getSVal(E); 205 SVal S = C.getSVal(B->getRHS()); 226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); 235 Val = C.getSVal(I->getSubExpr()); 240 Val = C.getSVal(U->getSubExpr()); 247 SVal Val = C.getSVal(IE->getSubExpr()); 252 SVal Val = C.getSVal(Condition);
|
H A D | DeleteWithNonVirtualDtorChecker.cpp | 64 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); 127 const MemRegion *M = N->getSVal(CastE).getAsRegion();
|
H A D | ObjCAtSyncChecker.cpp | 41 SVal V = C.getSVal(Ex);
|
H A D | ReturnPointerRangeChecker.cpp | 42 SVal V = C.getSVal(RetE);
|
H A D | UndefinedArraySubscriptChecker.cpp | 38 if (!C.getSVal(Index).isUndef())
|
H A D | ExprInspectionChecker.cpp | 113 SVal AssertionVal = State->getSVal(Assertion, LC); 203 SVal V = C.getSVal(CE->getArg(0)); 215 SVal V = C.getSVal(CE->getArg(0)); 230 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion()); 251 SVal Val = C.getSVal(CE->getArg(0)); 322 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); 397 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
|
H A D | PthreadLockChecker.cpp | 121 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics); 125 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, XNUSemantics); 129 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), 134 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), true, XNUSemantics); 139 ReleaseLock(C, CE, C.getSVal(CE->getArg(0))); 141 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics); 143 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics); 145 InitLock(C, CE, C.getSVal(CE->getArg(0))); 229 SVal X = C.getSVal(CE); 365 SymbolRef sym = C.getSVal(C [all...] |
H A D | ObjCSelfInitChecker.cpp | 134 SVal exprVal = C.getSVal(E); 185 SVal V = C.getSVal(Msg.getOriginExpr()); 254 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); 285 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); 311 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
|
H A D | CStringChecker.cpp | 388 SVal BufVal = C.getSVal(FirstBuf); 400 SVal LengthVal = C.getSVal(Size); 428 BufVal = state->getSVal(SecondBuf, LCtx); 467 SVal firstVal = state->getSVal(First, LCtx); 468 SVal secondVal = state->getSVal(Second, LCtx); 517 SVal LengthVal = state->getSVal(Size, LCtx); 899 SVal BufVal = state->getSVal(FirstBuf, LCtx); 901 SVal LengthVal = state->getSVal(Size, LCtx); 1048 SVal MemVal = C.getSVal(DstBuffer); 1049 SVal SizeVal = C.getSVal(Siz [all...] |
H A D | CheckPlacementNew.cpp | 31 const MemRegion *MRegion = C.getSVal(Place).getAsRegion(); 61 SVal ElementCount = C.getSVal(SizeExpr);
|
H A D | GTestChecker.cpp | 140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>()); 266 return State->getSVal(*FieldLoc);
|
H A D | EnumCastOutOfRangeChecker.cpp | 112 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>();
|
H A D | MacOSXAPIChecker.cpp | 72 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerContext.cpp | 23 SVal L = Pred->getSVal(Callee); 125 return evalComparison(getSVal(E), BO_GE, V, getState()); 130 return evalComparison(getSVal(E), BO_LT, V, getState());
|
H A D | ExprEngineC.cpp | 58 SVal LeftV = state->getSVal(LHS, LCtx); 59 SVal RightV = state->getSVal(RHS, LCtx); 141 SVal V = state->getSVal(LHS, LCtx); 240 originalV = State->getSVal(copyExpr, LCtx); 242 originalV = State->getSVal(loc::MemRegionVal(originalR)); 271 SVal OrigV = state->getSVal(Ex, LCtx); 313 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); 359 SVal V = state->getSVal(Ex, LCtx); 366 SVal V = state->getSVal(Ex, LCtx); 388 SVal V = state->getSVal(E [all...] |
/freebsd-12-stable/contrib/llvm-project/clang/lib/Analysis/plugins/SampleAnalyzer/ |
H A D | MainCallChecker.cpp | 21 const FunctionDecl *FD = C.getSVal(Callee).getAsFunctionDecl();
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
H A D | UninitializedPointee.cpp | 141 SVal V = State->getSVal(FR); 206 SVal PointeeV = State->getSVal(R); 227 SVal V = State->getSVal(FR); 246 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) {
|