OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:Assumption
(Results
1 - 13
of
13
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
70
bool
Assumption
) {
84
return assume(state, Cond.castAs<NonLoc>(),
Assumption
);
89
bool
assumption
) {
90
state = assumeAux(state, cond,
assumption
);
92
return SU->processAssume(state, cond,
assumption
);
99
SymbolRef Sym, bool
Assumption
) {
108
if (
Assumption
)
116
bool
Assumption
) {
123
return assumeAuxForSymbol(state, sym,
Assumption
);
137
return assumeAuxForSymbol(state, sym,
Assumption
);
[
all
...]
SimpleConstraintManager.h
37
bool
Assumption
) override;
39
ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool
Assumption
);
89
bool
Assumption
);
93
bool
Assumption
);
CheckerManager.cpp
511
SVal Cond, bool
Assumption
) {
517
state = EvalAssumeCheckers[i](state, Cond,
Assumption
);
ProgramState.cpp
306
bool
Assumption
,
347
return CM.assume(this, inBound.castAs<DefinedSVal>(),
Assumption
);
BugReporterVisitors.cpp
710
ID.AddBoolean(
Assumption
);
723
return (bool)N->getState()->assume(Constraint, !
Assumption
);
760
os << (
Assumption
? "non-null" : "null");
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
69
bool
Assumption
) = 0;
123
/// not null, or if neither
assumption
can be made.
ProgramState.h
160
// symbolic values. A call to 'assume' indicates an
assumption
being placed
167
// (3) A binary value "
Assumption
" that indicates whether the constraint is
174
/// Assumes that the value of \p cond is zero (if \p
assumption
is "false")
175
/// or non-zero (if \p
assumption
is "true").
179
ProgramStateRef assume(DefinedOrUnknownSVal cond, bool
assumption
) const;
191
bool
assumption
,
636
bool
Assumption
) const {
641
->assume(this, Cond.castAs<DefinedSVal>(),
Assumption
);
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h
131
bool
Assumption
;
140
TrackConstraintBRVisitor(DefinedSVal constraint, bool
assumption
)
141
: Constraint(constraint),
Assumption
(
assumption
), IsSatisfied(false),
142
IsZeroCheck(!
Assumption
&& Constraint.getAs<Loc>()),
/external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp
209
bool
Assumption
) const { return State; }
BasicObjCFoundationChecks.cpp
942
/// (or is known not to contain elements if the
Assumption
parameter is false.)
945
SymbolRef CollectionS, bool
Assumption
) {
953
return State->set<ContainerNonEmptyMap>(CollectionS,
Assumption
);
954
return (
Assumption
== *KnownNonEmpty) ? State : nullptr;
[
all
...]
MallocChecker.cpp
208
bool
Assumption
) const;
[
all
...]
/external/v8/src/
uri.js
226
if (cc >> 7) break; //
Assumption
wrong, two-byte string.
236
if (code > 0x7f) break; //
Assumption
wrong, two-byte string.
/external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h
350
SVal Cond, bool
Assumption
);
442
const SVal &cond, bool
assumption
)>
Completed in 345 milliseconds