OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:StTrue
(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
76
ProgramStateRef
StTrue
= assume(State, Cond, true);
78
// If
StTrue
is infeasible, asserting the falseness of Cond is unnecessary
80
if (!
StTrue
) {
93
// We are careful to return the original state, /not/
StTrue
,
99
return ProgramStatePair(
StTrue
, StFalse);
114
// If
StTrue
is infeasible, asserting the falseness of Cond is unnecessary
122
// We are careful to return the original state, /not/
StTrue
,
/external/clang/lib/StaticAnalyzer/Checkers/
ExprInspectionChecker.cpp
77
ProgramStateRef
StTrue
, StFalse;
78
std::tie(
StTrue
, StFalse) =
81
if (
StTrue
) {
/external/clang/lib/StaticAnalyzer/Core/
ExprEngineC.cpp
589
ProgramStateRef
StTrue
, StFalse;
590
std::tie(
StTrue
, StFalse) = N->getState()->assume(DefinedRHS);
591
if (
StTrue
) {
[
all
...]
ExprEngine.cpp
[
all
...]
Completed in 78 milliseconds