Searched refs:assumeInclusiveRangeDual (Results 1 - 4 of 4) sorted by relevance
/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
H A D | ConstraintManager.cpp | 101 ConstraintManager::assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, function in class:ConstraintManager 121 assumeInclusiveRangeDual(State, Value, From, To);
|
/openbsd-current/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 98 ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value,
|
H A D | ProgramState.h | 745 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual(
|
/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BoolAssignmentChecker.cpp | 94 std::tie(StIn, StOut) = CM.assumeInclusiveRangeDual(state, *NV, Zero, One);
|
Completed in 170 milliseconds