reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  191   assume(DefinedOrUnknownSVal cond) const;

References

tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp

  164       state->assume(*lowerBoundToCheck);
  204       state->assume(*upperboundToCheck);

tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp

  566   std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal);
  867   std::tie(StNonNil, StNil) = State->assume(*KnownCollection);

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  276   return state->assume(svalBuilder.evalEQ(state, *val, zero));
  483     state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
  504   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
  549   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
  697       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
 1079         State->assume(svalBuilder.evalEQ(State, Extent, *SizeNL));
 1316     std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);
 1423       std::tie(stateStringTooLong, stateStringNotTooLong) = state->assume(
 1604       std::tie(stateSourceTooLong, stateSourceNotTooLong) = state->assume(
 1944   std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);

tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

  331   std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
  386         State->assume(V.castAs<DefinedOrUnknownSVal>());

tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp

  353   std::tie(NonNullState, NullState) = C.getState()->assume(DV);
  369   std::tie(NonNullState, NullState) = C.getState()->assume(DV);

tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp

  941       M.getState()->assume(Arg.castAs<DefinedOrUnknownSVal>());

tools/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp

  220   std::tie(notNullState, nullState) = state->assume(location);
  263   std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());

tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

  120     State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 1033   std::tie(TrueState, FalseState) = State->assume(MaskedFlags);
 1267       State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero));
 1768   std::tie(notNullState, nullState) = State->assume(location);
 2432   std::tie(StatePtrIsNull, StatePtrNotNull) = State->assume(PtrEQ);
 2434   std::tie(StateSizeIsZero, StateSizeNotZero) = State->assume(SizeZero);

tools/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp

   62   std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());

tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

  260       std::tie(lockFail, lockSucc) = state->assume(retVal);
  263       std::tie(lockSucc, lockFail) = state->assume(retVal);

tools/clang/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp

  106   std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);

tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp

  249   std::tie(trueState, falseState) = state->assume(maskedFlags);
  328     state->assume(argVal.castAs<DefinedSVal>());

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  121   std::tie(stateNotZero, stateZero) = state->assume(sizeD);

tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp

  175   std::tie(ParentState, ChildState) = C.getState()->assume(*DVal);

tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp

  119   std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

 2159     std::tie(StTrue, StFalse) = PrevState->assume(V);
 2945       std::tie(StateTrue, StateFalse) = state->assume(*SEV);

tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp

  195       std::tie(notNilState, nilState) = State->assume(receiverVal);

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  515   std::tie(IsNotTruncated, IsTruncated) = state->assume(CompVal);