| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 70 bool Assumption) { in assume() argument
84 return assume(state, Cond.castAs<NonLoc>(), Assumption); in assume()
99 SymbolRef Sym, bool Assumption) { in assumeAuxForSymbol() argument
108 if (Assumption) in assumeAuxForSymbol()
116 bool Assumption) { in assumeAux() argument
123 return assumeAuxForSymbol(state, sym, Assumption); in assumeAux()
137 return assumeAuxForSymbol(state, sym, Assumption); in assumeAux()
145 if (!Assumption) in assumeAux()
171 if (!Assumption) in assumeAux()
178 return assumeAuxForSymbol(state, sym, Assumption); in assumeAux()
[all …]
|
| D | SimpleConstraintManager.h | 37 bool Assumption);
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
89 bool Assumption);
93 bool Assumption);
|
| D | ProgramState.cpp | 307 bool Assumption, in assumeInBound() argument
348 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption); in assumeInBound()
|
| D | CheckerManager.cpp | 511 SVal Cond, bool Assumption) { in runCheckersForEvalAssume() argument
517 state = EvalAssumeCheckers[i](state, Cond, Assumption); in runCheckersForEvalAssume()
|
| D | BugReporterVisitors.cpp | 714 ID.AddBoolean(Assumption); in Profile()
727 return N->getState()->assume(Constraint, !Assumption); in isUnderconstrained()
764 os << (Assumption ? "non-null" : "null"); in VisitNode()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | IdempotentOperationChecker.cpp | 80 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0, enum in __anonbb0551d70111::IdempotentOperationChecker
83 static void UpdateAssumption(Assumption &A, const Assumption &New);
103 Assumption assumption;
121 Assumption &A = Data.assumption; in checkPreStmt()
356 const Assumption &A = Data.assumption; in checkEndAnalysis()
442 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A, in UpdateAssumption()
443 const Assumption &New) { in UpdateAssumption()
|
| D | BasicObjCFoundationChecks.cpp | 903 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
911 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
912 return (Assumption == *KnownNonEmpty) ? State : NULL; in assumeCollectionNonEmpty()
929 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()
935 bool Assumption) { in assumeCollectionNonEmpty() argument
941 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
|
| D | CheckerDocumentation.cpp | 209 bool Assumption) const { return State; } in evalAssume()
|
| D | MallocChecker.cpp | 193 bool Assumption) const;
1827 bool Assumption) const { in evalAssume()
|
| D | RetainCountChecker.cpp | 2489 bool Assumption) const;
3397 bool Assumption) const { in evalAssume()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitor.h | 133 bool Assumption; variable
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false), in TrackConstraintBRVisitor()
144 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()), in TrackConstraintBRVisitor()
|
| /freebsd-9-stable/sys/dev/sound/pci/ |
| D | allegro_reg.h | 407 #error Assumption about code memory unit length failed.
410 #error Assumption about code memory unit length failed.
425 #error Assumption about data memory unit length failed.
428 #error Assumption about data memory unit length failed.
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 69 bool Assumption) = 0;
|
| D | ProgramState.h | 635 bool Assumption) const { in assume() argument
640 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
|
| /freebsd-9-stable/usr.bin/calendar/calendars/ |
| D | calendar.christian | 25 08/15 Assumption of the Blessed Virgin Mary
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 381 SVal Cond, bool Assumption);
|
| /freebsd-9-stable/games/fortune/datfiles/ |
| D | murphy | 330 Assumption is the mother of all foul-ups.
332 Assumption is the mother of all screw-ups.
|
| D | fortunes | 53816 Assumption is the mother of all screw-ups.
|
| /freebsd-9-stable/contrib/ntp/ |
| D | CommitLog | 133022 Assumption that '=' is followed by a string (for setvar) is not
133024 Assumption that 'server' is always followed by a string (not a
|