/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | NoReturnFunctionChecker.cpp | 84 C.generateSink(C.getState(), C.getPredecessor()); 93 C.generateSink(C.getState(), C.getPredecessor()); 139 C.generateSink(C.getState(), C.getPredecessor());
|
H A D | ReturnValueChecker.cpp | 79 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); 81 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); 112 ProgramStateRef State = C.getState(); 127 ProgramStateRef State = C.getState();
|
H A D | ObjCSuperDeallocChecker.cpp | 85 ProgramStateRef State = C.getState(); 118 ProgramStateRef State = C.getState(); 135 ProgramStateRef State = C.getState(); 201 ProgramStateRef State = C.getState(); 239 ASTContext &Ctx = M.getState()->getStateManager().getContext(); 252 ProgramStateRef State = Succ->getState(); 255 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol); 257 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>(
|
H A D | ChrootChecker.cpp | 79 ProgramStateRef state = C.getState(); 89 ProgramStateRef state = C.getState(); 122 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag());
|
H A D | SmartPtrModeling.cpp | 50 ProgramStateRef State = C.getState();
|
H A D | TaintTesterChecker.cpp | 48 ProgramStateRef State = C.getState();
|
H A D | PointerArithChecker.cpp | 80 /*ProgramStateRef State = C.getState(); 108 ProgramStateRef State = C.getState(); 130 ProgramStateRef State = C.getState(); 155 ProgramStateRef State = C.getState(); 219 ProgramStateRef State = C.getState(); 248 ProgramStateRef State = C.getState(); 263 ProgramStateRef State = C.getState(); 281 ProgramStateRef State = C.getState(); 325 ProgramStateRef State = C.getState();
|
H A D | UndefBranchChecker.cpp | 89 ProgramStateRef St = N->getState(); 93 St = PrevN->getState();
|
H A D | VforkChecker.cpp | 122 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { 146 ProgramStateRef State = C.getState(); 175 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); 184 ProgramStateRef State = C.getState(); 193 ProgramStateRef State = C.getState(); 210 ProgramStateRef State = C.getState();
|
H A D | ValistChecker.cpp | 146 if (C.getState()->contains<InitializedVALists>(VAList)) 178 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion(); 188 ProgramStateRef State = C.getState(); 205 ProgramStateRef State = C.getState(); 232 ProgramStateRef State = N->getState(); 316 ProgramStateRef State = C.getState(); 368 if (!C.getState()->contains<InitializedVALists>(VAList)) { 373 ProgramStateRef State = C.getState(); 380 ProgramStateRef State = N->getState(); 381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); [all...] |
H A D | ObjCSelfInitChecker.cpp | 114 return getSelfFlags(val, C.getState()); 148 if (!C.getState()->get<CalledInit>()) 178 ProgramStateRef state = C.getState(); 244 ProgramStateRef state = C.getState(); 272 ProgramStateRef state = C.getState(); 309 ProgramStateRef state = C.getState(); 329 ProgramStateRef State = C.getState();
|
H A D | MIGChecker.cpp | 191 C.addTransition(C.getState()->add<RefCountedParameters>(PVD)); 206 ProgramStateRef State = C.getState(); 227 ProgramStateRef State = C.getState(); 238 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); 266 ProgramStateRef State = C.getState();
|
H A D | GTestChecker.cpp | 134 ProgramStateRef State = C.getState(); 140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>()); 169 ProgramStateRef State = C.getState();
|
H A D | UndefResultChecker.cpp | 38 ProgramStateRef state = C.getState(); 68 ProgramStateRef State = C.getState(); 138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); 155 ProgramStateRef State = C.getState();
|
H A D | BuiltinFunctionChecker.cpp | 34 ProgramStateRef state = C.getState(); 56 C.generateSink(C.getState(), C.getPredecessor());
|
H A D | DivZeroChecker.cpp | 80 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV); 88 bool TaintedD = isTainted(C.getState(), *DV);
|
H A D | ExprInspectionChecker.cpp | 110 ProgramStateRef State = N->getState(); 236 ProgramStateRef State = C.getState(); 244 C.getState()->dump(); 256 ProgramStateRef State = C.getState(); 263 ProgramStateRef State = C.getState(); 334 ProgramStateRef State = C.getState(); 336 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); 403 SymbolExpressor V(C.getState());
|
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/Support/ |
H A D | LockFileManager.h | 75 LockFileState getState() const; 77 operator LockFileState() const { return getState(); }
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 39 ProgramStateRef State = Ctx.getState(); 47 Ctx.addTransition(ErrorNode->getState(), ErrorNode); 74 ProgramStateRef State = Ctx.getState(); 85 State = ErrorNode->getState(); 102 ProgramStateRef State = Ctx.getState(); 117 State = ErrorNode->getState(); 164 Ctx.getState(), SuperRegion,
|
H A D | MPIBugReporter.cpp | 95 const Request *const Req = N->getState()->get<RequestMap>(RequestRegion); 99 N->getFirstPred()->getState()->get<RequestMap>(RequestRegion);
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineObjC.cpp | 24 ProgramStateRef state = Pred->getState(); 53 ProgramStateRef state = Pred->getState(); 116 ProgramStateRef state = Pred->getState(); 155 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); 192 ProgramStateRef State = Pred->getState(); 247 ProgramStateRef State = Pred->getState(); 266 Bldr.generateSink(ME, Pred, Pred->getState());
|
H A D | CheckerContext.cpp | 125 return evalComparison(getSVal(E), BO_GE, V, getState()); 130 return evalComparison(getSVal(E), BO_LT, V, getState());
|
H A D | ExprEngineCXX.cpp | 31 ProgramStateRef state = Pred->getState(); 78 V = Pred->getState()->getSVal(*L); 88 ProgramStateRef State = (*I)->getState(); 399 ProgramStateRef State = Pred->getState(); 485 if (State != Pred->getState()) { 511 ProgramStateRef State = (*I)->getState(); 578 Bldr.generateSink(CE, N, N->getState()); 610 ProgramStateRef State = Pred->getState(); 624 Bldr.generateNode(PP, Pred->getState(), Pred); 641 Pred->getState(), Pre [all...] |
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 51 assert(Pred->getState() && 71 const ProgramStateRef &getState() const { return Pred->getState(); } function in class:clang::ento::CheckerContext 166 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag); 187 return addTransitionImpl(State ? State : getState(), true, Pred, Tag); 356 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
|
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/Analysis/ |
H A D | TargetLibraryInfo.h | 65 AvailabilityState getState(LibFunc F) const { function in class:llvm::TargetLibraryInfoImpl 294 TargetLibraryInfoImpl::AvailabilityState getState(LibFunc F) const { function in class:llvm::TargetLibraryInfo 297 return Impl->getState(F); 302 return getState(F) != TargetLibraryInfoImpl::Unavailable; 317 if (getState(F) == TargetLibraryInfoImpl::Unavailable) 347 auto State = getState(F);
|