OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:isConstrainedTrue
(Results
1 - 6
of
6
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
41
bool
isConstrainedTrue
() const {
/external/clang/lib/StaticAnalyzer/Core/
BugReporterVisitors.cpp
712
assert(N->getState()->isNull(V).
isConstrainedTrue
() &&
736
if (Succ->getState()->isNull(V).
isConstrainedTrue
())
743
if (!Pred->getState()->isNull(V).
isConstrainedTrue
()) {
746
assert(Succ->getState()->isNull(V).
isConstrainedTrue
());
795
if (State->isNull(CondVal).
isConstrainedTrue
()) {
855
if (LVState->isNull(LVal).
isConstrainedTrue
()) {
910
if (N->getState()->isNull(V).
isConstrainedTrue
()) {
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
SimpleStreamChecker.cpp
180
return !OpenFailed.
isConstrainedTrue
();
MacOSKeychainAPIChecker.cpp
566
if (AllocFailed.
isConstrainedTrue
() ||
MallocChecker.cpp
671
return FreeFailed.
isConstrainedTrue
();
[
all
...]
RetainCountChecker.cpp
[
all
...]
Completed in 632 milliseconds