Searched refs:isConstrainedTrue (Results 1 - 10 of 10) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h41 bool isConstrainedTrue() const { function in class:clang::ento::ConditionTruthVal
/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp218 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue();
279 if (!State->isNull(V).isConstrainedTrue()) {
371 if (!State->isNull(*ArgV).isConstrainedTrue())
796 assert(N->getState()->isNull(V).isConstrainedTrue() &&
820 if (Succ->getState()->isNull(V).isConstrainedTrue())
827 if (!Pred->getState()->isNull(V).isConstrainedTrue()) {
830 assert(Succ->getState()->isNull(V).isConstrainedTrue());
1021 if (LVState->isNull(LVal).isConstrainedTrue()) {
1056 if (!DV->isZeroConstant() && LVState->isNull(*DV).isConstrainedTrue() &&
1117 if (state->isNull(V).isConstrainedTrue())
[all...]
H A DExprEngine.cpp620 if (State->isNull(ArgVal).isConstrainedTrue()) {
/external/clang/lib/StaticAnalyzer/Checkers/
H A DPointerArithChecker.cpp329 if (State->isNull(RHSVal).isConstrainedTrue())
336 if (State->isNull(LHSVal).isConstrainedTrue())
H A DSimpleStreamChecker.cpp170 return !OpenFailed.isConstrainedTrue();
H A DMacOSKeychainAPIChecker.cpp567 if (AllocFailed.isConstrainedTrue() ||
H A DBasicObjCFoundationChecks.cpp141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {
156 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue())
H A DMallocChecker.cpp1194 return FreeFailed.isConstrainedTrue();
2351 if (AllocFailed.isConstrainedTrue())
2362 if (!AllocFailed.isConstrainedTrue())
H A DCheckObjCDealloc.cpp542 .isConstrainedTrue()) {
H A DNullabilityChecker.cpp283 if (Nullness.isConstrainedTrue())

Completed in 210 milliseconds