OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:isFeasible
(Results
1 - 6
of
6
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
BasicConstraintManager.cpp
133
bool
isFeasible
= (*X != Adjusted);
134
return
isFeasible
? state : NULL;
154
bool
isFeasible
= (*X == Adjusted);
155
return
isFeasible
? state : NULL;
205
bool
isFeasible
= (*X >= V-Adjustment);
206
return
isFeasible
? state : NULL;
216
bool
isFeasible
= !isNotEqual(state, sym, Adjusted);
221
return
isFeasible
? AddEQ(state, sym, Adjusted) : NULL;
234
bool
isFeasible
= (*X <= V-Adjustment);
235
return
isFeasible
? state : NULL
[
all
...]
SimpleConstraintManager.cpp
110
bool
isFeasible
= b ? Assumption : !Assumption;
111
return
isFeasible
? state : NULL;
195
bool
isFeasible
= b ? Assumption : !Assumption;
196
return
isFeasible
? state : NULL;
ExprEngine.cpp
[
all
...]
CoreEngine.cpp
573
if (!
isFeasible
(branch))
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h
406
bool
isFeasible
(bool branch) {
/external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp
[
all
...]
Completed in 122 milliseconds