| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 28 bool Assumption) { in assume() argument
42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assume()
46 NonLoc Cond, bool Assumption) { in assume() argument
47 State = assumeAux(State, Cond, Assumption); in assume()
49 return SU->processAssume(State, Cond, Assumption); in assume()
55 bool Assumption) { in assumeAux() argument
63 return assumeSymUnsupported(State, Sym, Assumption); in assumeAux()
74 return assumeSym(State, Sym, Assumption); in assumeAux()
79 bool isFeasible = b ? Assumption : !Assumption; in assumeAux()
85 bool IsFeasible = IsNull ? Assumption : !Assumption; in assumeAux()
[all …]
|
| H A D | RangedConstraintManager.cpp | 26 bool Assumption) { in assumeSym() argument
29 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
37 if (!Assumption) in assumeSym()
63 if (!Assumption) in assumeSym()
71 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
104 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported() argument
114 if (Assumption) in assumeSymUnsupported()
|
| H A D | ProgramState.cpp | 319 bool Assumption, in assumeInBound() argument
359 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption); in assumeInBound()
|
| H A D | CheckerManager.cpp | 627 SVal Cond, bool Assumption) { in runCheckersForEvalAssume() argument
633 state = EvalAssumeChecker(state, Cond, Assumption); in runCheckersForEvalAssume()
|
| H A D | BugReporterVisitors.cpp | 1335 ID.AddBoolean(Assumption); in Profile()
1348 return (bool)N->getState()->assume(Constraint, !Assumption); in isUnderconstrained()
1383 os << (Assumption ? "non-null" : "null"); in VisitNode()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 41 bool Assumption) override;
56 bool Assumption) = 0;
72 bool Assumption) = 0;
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
86 bool Assumption);
|
| H A D | SMTConstraintManager.h | 39 bool Assumption) override { in assumeSym() argument
52 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); in assumeSym()
54 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in assumeSym()
67 bool Assumption) override { in assumeSymUnsupported() argument
|
| H A D | RangedConstraintManager.h | 150 bool Assumption) override;
158 bool Assumption) override;
|
| H A D | SMTConv.h | 463 bool Assumption) { in getZeroExpr() argument
468 return fromFloatBinOp(Solver, Exp, Assumption ? BO_EQ : BO_NE, in getZeroExpr()
478 return Assumption ? fromUnOp(Solver, UO_LNot, Exp) : Exp; in getZeroExpr()
481 Solver, Exp, Assumption ? BO_EQ : BO_NE, in getZeroExpr()
|
| H A D | ProgramState.h | 691 bool Assumption) const { in assume() argument
696 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
710 bool Assumption) const { in assumeInclusiveRange() argument
717 this, Val.castAs<NonLoc>(), From, To, Assumption); in assumeInclusiveRange()
|
| H A D | ConstraintManager.h | 85 bool Assumption) = 0;
|
| /freebsd-12.1/sys/dev/sound/pci/ |
| H A D | allegro_reg.h | 409 #error Assumption about code memory unit length failed.
412 #error Assumption about code memory unit length failed.
427 #error Assumption about data memory unit length failed.
430 #error Assumption about data memory unit length failed.
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 116 bool Assumption; variable
126 : Constraint(constraint), Assumption(assumption), in TrackConstraintBRVisitor()
127 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {} in TrackConstraintBRVisitor()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 915 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
923 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
924 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty()
941 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()
947 bool Assumption) { in assumeCollectionNonEmpty() argument
952 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
| H A D | MacOSKeychainAPIChecker.cpp | 68 bool Assumption) const;
504 bool Assumption) const { in evalAssume()
523 if (!Assumption) in evalAssume()
|
| H A D | CheckerDocumentation.cpp | 242 bool Assumption) const { return State; } in evalAssume()
|
| H A D | CheckObjCDealloc.cpp | 122 bool Assumption) const;
406 bool Assumption) const { in evalAssume()
415 if (Assumption) { in evalAssume()
|
| H A D | TrustNonnullChecker.cpp | 68 bool Assumption) const { in evalAssume()
|
| H A D | IteratorChecker.cpp | 286 bool Assumption) const;
853 bool Assumption) const { in evalAssume()
887 (Comp->isEquality() == Assumption) != Negated); in evalAssume()
|
| H A D | MallocChecker.cpp | 224 bool Assumption) const;
2581 bool Assumption) const { in evalAssume()
|
| /freebsd-12.1/usr.bin/calendar/calendars/ |
| H A D | calendar.christian | 25 08/15 Assumption of the Blessed Virgin Mary
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2216 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in EmitAlignmentAssumption() local
2220 OffsetValue, TheCheck, Assumption); in EmitAlignmentAssumption()
2230 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in EmitAlignmentAssumption() local
2235 OffsetValue, TheCheck, Assumption); in EmitAlignmentAssumption()
2515 llvm::Instruction *Assumption) { in EmitAlignmentAssumptionCheck() argument
2516 assert(Assumption && isa<llvm::CallInst>(Assumption) && in EmitAlignmentAssumptionCheck()
2517 cast<llvm::CallInst>(Assumption)->getCalledValue() == in EmitAlignmentAssumptionCheck()
2522 assert(&(Builder.GetInsertBlock()->back()) == Assumption && in EmitAlignmentAssumptionCheck()
2536 Assumption->removeFromParent(); in EmitAlignmentAssumptionCheck()
2556 Builder.Insert(Assumption); in EmitAlignmentAssumptionCheck()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 317 bool Assumption) const;
|
| H A D | RetainCountChecker.cpp | 1185 bool Assumption) const { in evalAssume()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 378 SVal Cond, bool Assumption);
|