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
107
bool
isFeasible
= b ? Assumption : !Assumption;
108
return
isFeasible
? state : NULL;
207
bool
isFeasible
= b ? Assumption : !Assumption;
208
return
isFeasible
? state : NULL;
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h
438
bool
isFeasible
(bool branch) {
Completed in 27 milliseconds