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

1 2

  /src/external/apache2/llvm/dist/llvm/lib/IR/
Assumptions.cpp 27 return llvm::any_of(Strings, [=](StringRef Assumption) {
28 return Assumption == AssumptionStr;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 27 bool Assumption) {
41 return assume(State, Cond.castAs<NonLoc>(), Assumption);
45 NonLoc Cond, bool Assumption) {
46 State = assumeAux(State, Cond, Assumption);
48 return EE->processAssume(State, Cond, Assumption);
54 bool Assumption) {
62 return assumeSymUnsupported(State, Sym, Assumption);
73 return assumeSym(State, Sym, Assumption);
78 bool isFeasible = b ? Assumption : !Assumption;
    [all...]
RangedConstraintManager.cpp 25 bool Assumption) {
28 return assumeSymUnsupported(State, Sym, Assumption);
36 if (!Assumption)
63 if (!Assumption)
76 bool IsExpectedEqual = WasEqual == Assumption;
90 return assumeSymUnsupported(State, Sym, Assumption);
123 SymbolRef Sym, bool Assumption) {
133 if (Assumption)
ProgramState.cpp 323 bool Assumption,
363 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);
CheckerManager.cpp 640 SVal Cond, bool Assumption) {
646 state = EvalAssumeChecker(state, Cond, Assumption);
BugReporterVisitors.cpp 1635 ID.AddBoolean(Assumption);
1648 return (bool)N->getState()->assume(Constraint, !Assumption);
1682 os << (Assumption ? "non-null" : "null");
2192 loc::MemRegionVal(RegionRVal), /*assumption=*/false));
2286 // If an assumption was made on a branch, it should be caught
2293 // report the value as it is just an assumption on the predecessor node
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SimpleConstraintManager.h 40 bool Assumption) override;
55 bool Assumption) = 0;
71 bool Assumption) = 0;
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 bool Assumption);
ConstraintManager.h 87 bool Assumption) = 0;
166 /// not null, or if neither assumption can be made.
SMTConstraintManager.h 44 bool Assumption) override {
54 // assumption
58 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption));
60 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp));
73 bool Assumption) override {
89 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/true);
93 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/false);
RangedConstraintManager.h 325 bool Assumption) override;
333 bool Assumption) override;
ProgramState.h 163 // symbolic values. A call to 'assume' indicates an assumption being placed
170 // (3) A binary value "Assumption" that indicates whether the constraint is
177 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
178 /// or non-zero (if \p assumption is "true").
183 bool assumption) const;
195 bool assumption, QualType IndexType = QualType()) const;
198 /// (if \p assumption is "true") or it is fully out of this range
199 /// (if \p assumption is "false").
206 bool assumption) const;
667 bool Assumption) const
    [all...]
SMTConv.h 480 QualType Ty, bool Assumption) {
484 return fromFloatBinOp(Solver, Exp, Assumption ? BO_EQ : BO_NE,
494 return Assumption ? fromUnOp(Solver, UO_LNot, Exp) : Exp;
497 Solver, Exp, Assumption ? BO_EQ : BO_NE,
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitors.h 166 bool Assumption;
175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
176 : Constraint(constraint), Assumption(assumption),
177 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {}
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 241 bool Assumption) const { return State; }
BasicObjCFoundationChecks.cpp 912 /// (or is known not to contain elements if the Assumption parameter is false.)
915 SymbolRef CollectionS, bool Assumption) {
923 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption);
924 return (Assumption == *KnownNonEmpty) ? State : nullptr;
941 return State->assume(*CountGreaterThanZero, Assumption);
947 bool Assumption) {
952 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption);
983 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
989 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);
MacOSKeychainAPIChecker.cpp 67 bool Assumption) const;
507 bool Assumption) const {
526 if (!Assumption)
TrustNonnullChecker.cpp 35 /// These implications are then read during the evaluation of the assumption,
67 bool Assumption) const {
90 State = State->assume(*L, /*assumption=*/true);
109 State = State->assume(*L, /*assumption=*/true);
CheckObjCDealloc.cpp 121 bool Assumption) const;
405 bool Assumption) const {
414 if (Assumption) {
FuchsiaHandleChecker.cpp 203 bool Assumption) const;
544 bool Assumption) const {
MallocChecker.cpp 329 bool Assumption) const;
2866 bool Assumption) const {
  /src/external/apache2/llvm/dist/clang/lib/CodeGen/
CodeGenFunction.cpp 2334 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption(
2340 OffsetValue, TheCheck, Assumption);
2606 llvm::Instruction *Assumption) {
2607 assert(Assumption && isa<llvm::CallInst>(Assumption) &&
2608 cast<llvm::CallInst>(Assumption)->getCalledOperand() ==
2612 "Assumption should be a call to llvm.assume().");
2613 assert(&(Builder.GetInsertBlock()->back()) == Assumption &&
2614 "Assumption should be the last instruction of the basic block, "
2625 // We need to temorairly remove the assumption so we can insert th
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountChecker.h 316 bool Assumption) const;
RetainCountChecker.cpp 954 state = state->assume(*L, /*assumption=*/true);
1152 bool Assumption) const {
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 435 SVal Cond, bool Assumption);
535 bool assumption)>;
  /src/external/apache2/llvm/dist/clang/lib/Parse/
ParseOpenMP.cpp 1602 StringRef Assumption = II->getName();
1604 Assumption = Assumption.substr(ACMI.Identifier.size());
1605 Assumptions.push_back(Assumption);

Completed in 82 milliseconds

1 2