OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:isFeasible
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
112
bool
isFeasible
= b ? Assumption : !Assumption;
113
return
isFeasible
? state : NULL;
214
bool
isFeasible
= b ? Assumption : !Assumption;
215
return
isFeasible
? state : NULL;
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h
442
bool
isFeasible
(bool branch) {
Completed in 43 milliseconds