OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:StFalse
(Results
1 - 4
of
4
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
73
/// Returns a pair of states (StTrue,
StFalse
) where the given condition is
91
ProgramStateRef
StFalse
= assume(State, Cond, false);
92
if (!
StFalse
) {
99
return ProgramStatePair(StTrue,
StFalse
);
/external/clang/lib/StaticAnalyzer/Checkers/
ExprInspectionChecker.cpp
77
ProgramStateRef StTrue,
StFalse
;
78
std::tie(StTrue,
StFalse
) =
82
if (
StFalse
)
87
if (
StFalse
)
/external/clang/lib/StaticAnalyzer/Core/
ExprEngineC.cpp
589
ProgramStateRef StTrue,
StFalse
;
590
std::tie(StTrue,
StFalse
) = N->getState()->assume(DefinedRHS);
592
if (
StFalse
) {
602
assert(
StFalse
&& "Infeasible path!");
[
all
...]
ExprEngine.cpp
[
all
...]
Completed in 894 milliseconds