Searched refs:getState (Results 1 - 25 of 100) sorted by relevance

1234

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNoReturnFunctionChecker.cpp84 C.generateSink(C.getState(), C.getPredecessor());
93 C.generateSink(C.getState(), C.getPredecessor());
139 C.generateSink(C.getState(), C.getPredecessor());
H A DReturnValueChecker.cpp79 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 DObjCSuperDeallocChecker.cpp85 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 DChrootChecker.cpp79 ProgramStateRef state = C.getState();
89 ProgramStateRef state = C.getState();
122 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag());
H A DSmartPtrModeling.cpp50 ProgramStateRef State = C.getState();
H A DTaintTesterChecker.cpp48 ProgramStateRef State = C.getState();
H A DPointerArithChecker.cpp80 /*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 DUndefBranchChecker.cpp89 ProgramStateRef St = N->getState();
93 St = PrevN->getState();
H A DVforkChecker.cpp122 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 DValistChecker.cpp146 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 DObjCSelfInitChecker.cpp114 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 DMIGChecker.cpp191 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 DGTestChecker.cpp134 ProgramStateRef State = C.getState();
140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>());
169 ProgramStateRef State = C.getState();
H A DUndefResultChecker.cpp38 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 DBuiltinFunctionChecker.cpp34 ProgramStateRef state = C.getState();
56 C.generateSink(C.getState(), C.getPredecessor());
H A DDivZeroChecker.cpp80 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
88 bool TaintedD = isTainted(C.getState(), *DV);
H A DExprInspectionChecker.cpp110 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 DLockFileManager.h75 LockFileState getState() const;
77 operator LockFileState() const { return getState(); }
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp39 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 DMPIBugReporter.cpp95 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 DExprEngineObjC.cpp24 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 DCheckerContext.cpp125 return evalComparison(getSVal(E), BO_GE, V, getState());
130 return evalComparison(getSVal(E), BO_LT, V, getState());
H A DExprEngineCXX.cpp31 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 DCheckerContext.h51 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 DTargetLibraryInfo.h65 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);

Completed in 288 milliseconds

1234