HomeSort by: relevance | last modified time | path
    Searched refs:getState (Results 1 - 25 of 108) sorted by relevancy

1 2 3 4 5

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
NoReturnFunctionChecker.cpp 84 C.generateSink(C.getState(), C.getPredecessor());
93 C.generateSink(C.getState(), C.getPredecessor());
139 C.generateSink(C.getState(), C.getPredecessor());
ObjCSuperDeallocChecker.cpp 85 ProgramStateRef State = C.getState();
118 ProgramStateRef State = C.getState();
136 ProgramStateRef State = C.getState();
202 ProgramStateRef State = C.getState();
240 ASTContext &Ctx = M.getState()->getStateManager().getContext();
253 ProgramStateRef State = Succ->getState();
256 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol);
258 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>(
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();
InvalidatedIteratorChecker.cpp 80 ProgramStateRef State = C.getState();
91 ProgramStateRef State = C.getState();
102 ProgramStateRef State = C.getState();
112 ProgramStateRef State = C.getState();
118 auto State = C.getState();
ChrootChecker.cpp 79 ProgramStateRef state = C.getState();
89 ProgramStateRef state = C.getState();
122 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag());
TaintTesterChecker.cpp 48 ProgramStateRef State = C.getState();
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();
UndefBranchChecker.cpp 94 ProgramStateRef St = N->getState();
98 St = PrevN->getState();
VforkChecker.cpp 123 if (ExplodedNode *N = C.generateErrorNode(C.getState())) {
147 ProgramStateRef State = C.getState();
176 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal);
185 ProgramStateRef State = C.getState();
194 ProgramStateRef State = C.getState();
211 ProgramStateRef State = C.getState();
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...]
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();
MIGChecker.cpp 191 C.addTransition(C.getState()->add<RefCountedParameters>(PVD));
206 ProgramStateRef State = C.getState();
228 ProgramStateRef State = C.getState();
239 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy));
267 ProgramStateRef State = C.getState();
UndefResultChecker.cpp 39 ProgramStateRef state = C.getState();
69 ProgramStateRef State = C.getState();
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS()));
156 ProgramStateRef State = C.getState();
BuiltinFunctionChecker.cpp 35 ProgramStateRef state = C.getState();
57 C.generateSink(C.getState(), C.getPredecessor());
DivZeroChecker.cpp 80 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
88 bool TaintedD = isTainted(C.getState(), *DV);
StreamChecker.cpp 403 ProgramStateRef State = N->getState();
411 State = N->getState();
444 ProgramStateRef State = C.getState();
474 ProgramStateRef State = C.getState();
485 ProgramStateRef State = C.getState();
529 ProgramStateRef State = C.getState();
550 ProgramStateRef State = C.getState();
574 ProgramStateRef State = C.getState();
592 ProgramStateRef State = C.getState();
672 ProgramStateRef State = C.getState();
    [all...]
ExprInspectionChecker.cpp 132 ProgramStateRef State = N->getState();
278 ProgramStateRef State = C.getState();
292 getDynamicExtent(C.getState(), MR, C.getSValBuilder());
317 getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy);
327 C.getState()->dump();
341 ProgramStateRef State = C.getState();
348 ProgramStateRef State = C.getState();
419 ProgramStateRef State = C.getState();
421 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));
487 SymbolExpressor V(C.getState());
    [all...]
  /src/external/apache2/llvm/dist/llvm/include/llvm/Support/
LockFileManager.h 75 LockFileState getState() const;
77 operator LockFileState() const { return getState(); }
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 51 assert(Pred->getState() &&
71 const ProgramStateRef &getState() const { return Pred->getState(); }
168 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
188 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
195 State = getState();
390 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPIChecker.cpp 40 ProgramStateRef State = Ctx.getState();
48 Ctx.addTransition(ErrorNode->getState(), ErrorNode);
75 ProgramStateRef State = Ctx.getState();
86 State = ErrorNode->getState();
103 ProgramStateRef State = Ctx.getState();
118 State = ErrorNode->getState();
165 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(),
MPIBugReporter.cpp 95 const Request *const Req = N->getState()->get<RequestMap>(RequestRegion);
99 N->getFirstPred()->getState()->get<RequestMap>(RequestRegion);
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ExprEngineObjC.cpp 24 ProgramStateRef state = Pred->getState();
53 ProgramStateRef state = Pred->getState();
113 ProgramStateRef state = Pred->getState();
152 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext());
189 ProgramStateRef State = Pred->getState();
244 ProgramStateRef State = Pred->getState();
263 Bldr.generateSink(ME, Pred, Pred->getState());
CheckerContext.cpp 125 return evalComparison(getSVal(E), BO_GE, V, getState());
130 return evalComparison(getSVal(E), BO_LT, V, getState());
ExprEngineC.cpp 56 ProgramStateRef state = (*it)->getState();
139 state = (*I)->getState();
207 ProgramStateRef State = Pred->getState();
311 ProgramStateRef state = subExprNode->getState();
330 ProgramStateRef state = Pred->getState();
357 ProgramStateRef state = Pred->getState();
559 ProgramStateRef State = Pred->getState();
611 ProgramStateRef state = N->getState();
676 ProgramStateRef state = Pred->getState();
732 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext())
    [all...]
  /src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
TargetLibraryInfo.h 65 AvailabilityState getState(LibFunc F) const {
305 TargetLibraryInfoImpl::AvailabilityState getState(LibFunc F) const {
308 return Impl->getState(F);
313 return getState(F) != TargetLibraryInfoImpl::Unavailable;
328 if (getState(F) == TargetLibraryInfoImpl::Unavailable)
359 auto State = getState(F);

Completed in 29 milliseconds

1 2 3 4 5