OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:isFeasible
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
110
bool
isFeasible
= b ? Assumption : !Assumption;
111
return
isFeasible
? state : NULL;
195
bool
isFeasible
= b ? Assumption : !Assumption;
196
return
isFeasible
? state : NULL;
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
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h
406
bool
isFeasible
(bool branch) {
Completed in 905 milliseconds