OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:assumeDual
(Results
1 - 6
of
6
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
BoolAssignmentChecker.cpp
99
llvm::tie(stateGE, stateLT) = CM.
assumeDual
(state, *greaterThanEqualToZero);
135
llvm::tie(stateLE, stateGT) = CM.
assumeDual
(state, *lessThanEqToOne);
DivZeroChecker.cpp
75
llvm::tie(stateNotZero, stateZero) = CM.
assumeDual
(C.getState(), *DV);
AttrNonNullChecker.cpp
90
llvm::tie(stateNotNull, stateNull) = CM.
assumeDual
(state, *DV);
StreamChecker.cpp
233
llvm::tie(stateNotNull, stateNull) = CM.
assumeDual
(state, RetVal);
358
llvm::tie(stateNotNull, stateNull) = CM.
assumeDual
(state, *DV);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
37
assumeDual
(ProgramStateRef state, DefinedSVal Cond)
ProgramState.h
627
return getStateManager().ConstraintMgr->
assumeDual
(this,
Completed in 50 milliseconds