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

123

/freebsd-10.3-release/contrib/llvm/include/llvm/Support/
H A DLockFileManager.h65 LockFileState getState() const;
67 operator LockFileState() const { return getState(); }
/freebsd-10.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h98 assert(Pred->getState() &&
118 const ProgramStateRef &getState() const { return Pred->getState(); } function in class:clang::ento::CheckerContext
191 return getState()->getSVal(S, getLocationContext());
205 return addTransitionImpl(State ? State : getState(), false, 0, Tag);
226 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
285 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
71 llvm::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
79 bool TaintedD = C.getState()->isTainted(*DV);
H A DUndefBranchChecker.cpp63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
91 ProgramStateRef St = N->getState();
95 St = PrevN->getState();
H A DFixedAddressChecker.cpp47 ProgramStateRef state = C.getState();
H A DTaintTesterChecker.cpp46 ProgramStateRef State = C.getState();
H A DObjCSelfInitChecker.cpp120 return getSelfFlags(val, C.getState());
140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
154 if (!C.getState()->get<CalledInit>())
183 ProgramStateRef state = C.getState();
248 ProgramStateRef state = C.getState();
276 ProgramStateRef state = C.getState();
313 ProgramStateRef state = C.getState();
333 ProgramStateRef State = C.getState();
H A DStreamChecker.cpp210 ProgramStateRef state = C.getState();
236 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);
242 ProgramStateRef state = C.getState();
249 ProgramStateRef state = C.getState();
256 ProgramStateRef state = C.getState();
283 ProgramStateRef state = C.getState();
290 ProgramStateRef state = C.getState();
297 ProgramStateRef state = C.getState();
304 ProgramStateRef state = C.getState();
311 ProgramStateRef state = C.getState();
[all...]
H A DDynamicTypePropagation.cpp54 ProgramStateRef State = C.getState();
114 ProgramStateRef State = C.getState();
189 C.addTransition(C.getState()->setDynamicTypeInfo(ToR, QualType(NewTy,0)));
205 C.addTransition(C.getState()->setDynamicTypeInfo(MR, NewE->getType(),
257 QualType OldDTy = C.getState()->getDynamicTypeInfo(ToR).getType();
H A DChrootChecker.cpp88 ProgramStateRef state = C.getState();
98 ProgramStateRef state = C.getState();
140 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag());
H A DObjCContainersChecker.cpp41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
63 ProgramStateRef State = C.getState();
111 ProgramStateRef State = C.getState();
H A DPthreadLockChecker.cpp51 ProgramStateRef state = C.getState();
95 ProgramStateRef state = C.getState();
157 ProgramStateRef state = C.getState();
H A DArrayBoundChecker.cpp54 ProgramStateRef state = C.getState();
H A DMacOSXAPIChecker.cpp59 ProgramStateRef state = C.getState();
H A DObjCAtSyncChecker.cpp41 ProgramStateRef state = C.getState();
H A DPointerArithChecker.cpp39 ProgramStateRef state = C.getState();
H A DPointerSubChecker.cpp42 ProgramStateRef state = C.getState();
H A DReturnPointerRangeChecker.cpp36 ProgramStateRef state = C.getState();
H A DSimpleStreamChecker.cpp100 ProgramStateRef getState() const { return state; } function in class:__anon3604::StopTrackingCallback
137 ProgramStateRef State = C.getState();
161 ProgramStateRef State = C.getState();
187 ProgramStateRef State = C.getState();
H A DUndefinedAssignmentChecker.cpp65 ProgramStateRef state = C.getState();
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp25 ProgramStateRef state = Pred->getState();
75 ProgramStateRef state = Pred->getState();
96 ProgramStateRef state = Pred->getState();
140 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext());
157 ProgramStateRef State = Pred->getState();
199 Bldr.generateSink(ME, Pred, Pred->getState());
H A DExprEngineC.cpp38 ProgramStateRef state = (*it)->getState();
123 state = (*I)->getState();
190 ProgramStateRef State = Pred->getState();
230 ProgramStateRef state = subExprNode->getState();
249 ProgramStateRef state = Pred->getState();
276 ProgramStateRef state = Pred->getState();
407 ProgramStateRef State = Pred->getState();
455 ProgramStateRef state = N->getState();
514 ProgramStateRef state = Pred->getState();
550 SVal RHSVal = N->getState()
[all...]
H A DExprEngine.cpp342 ProgramStateRef CleanedState = Pred->getState();
386 ProgramStateRef CheckerState = (*I)->getState();
392 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
395 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&
453 ProgramStateRef State = Pred->getState();
516 Bldr.generateNode(PP, N->getState(), N);
556 ProgramStateRef state = Pred->getState();
572 ProgramStateRef State = Pred->getState();
588 Bldr.generateNode(PP, Pred->getState(), Pred);
601 ProgramStateRef State = Pred->getState();
[all...]
H A DCheckerContext.cpp23 ProgramStateRef State = getState();
/freebsd-10.3-release/contrib/llvm/lib/Support/
H A DLockFileManager.cpp151 LockFileManager::LockFileState LockFileManager::getState() const { function in class:LockFileManager
162 if (getState() != LFS_Owned)
172 if (getState() != LFS_Shared)

Completed in 176 milliseconds

123