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

  182   LLVM_NODISCARD ProgramStateRef assume(DefinedOrUnknownSVal cond,

References

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

  908   return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true);
  941   return State->assume(*CountGreaterThanZero, Assumption);
 1181     return State->assume(*DV, true);

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

   52     state = state->assume(Arg.castAs<DefinedOrUnknownSVal>(), true);
   96     state = state->assume(extentMatchesSizeArg, true);

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

  784       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);
 1122           State->assume(NewStrLenGESize.castAs<DefinedOrUnknownSVal>(), true),
 1447         state = state->assume(C.getSValBuilder().evalBinOpNN(
 1453         state = state->assume(C.getSValBuilder().evalBinOpNN(
 1693           state = state->assume(
 1705           state = state->assume(
 1765           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),
 1778               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);
 2020         state = state->assume(compareWithZeroVal, true);

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

  159   ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam);
  280   if (ProgramStateRef State = C.getState()->assume(DV, false))

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

   49     return static_cast<bool>(PS->assume(ElemEqualsValueToCast, true));

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

  914     StateTrue = StateTrue->assume(*ConditionVal, true);
  919     StateFalse = StateFalse->assume(*ConditionVal, false);
 2052   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
 2119     NewState = NewState->assume(*DV, true);
 2129     NewState = NewState->assume(*DV, true);
 2365   return !State->assume(comparison.castAs<DefinedSVal>(), false);

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

 1413     State = State->assume(extentMatchesSize, true);
 1547     State = State->assume(extentMatchesSize, true);

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

   83       ProgramStateRef OutputState = State->assume(*Constr, true);

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

  273     lockSucc = state->assume(retVal, false);

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

  546       AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL, true);
  547       AssumeZeroReturn = AssumeZeroReturn->assume(*DL, false);
  954         state = state->assume(*L, /*assumption=*/true);

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

  113   State = State->assume(ReturnV.castAs<DefinedOrUnknownSVal>(), ExpectedValue);

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

  335     State = State->assume(*CompV, true);

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

   90         State = State->assume(*L, /*assumption=*/true);
  109         State = State->assume(*L, /*assumption=*/true);
  231       State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);

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

  175   state = state->assume(sizeIsKnown, true);

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

 1543   return (bool)N->getState()->assume(Constraint, !Assumption);

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

  268       if (ProgramStateRef newState = state->assume(*Constraint, true))
  284       state = state->assume(*LV, true);
  299           state = state->assume(*LV, true);
 2495     state = state->assume(V.castAs<DefinedOrUnknownSVal>(), true);

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

 1136         if (!state->assume(Constraint, true)) {
 1142           state = state->assume(Constraint, false);

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

  720           State = State->assume(RetVal.castAs<DefinedOrUnknownSVal>(), true);
  796             State = State->assume(*dSymVal, true);

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

  320     return !State->assume(*DV, false);