Searched refs:StateZeroSize (Results 1 – 1 of 1) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1801 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon() local
1802 std::tie(StateZeroSize, StateNonZeroSize) = in evalStrcpyCommon()
1806 if (StateZeroSize && !StateNonZeroSize) { in evalStrcpyCommon()
1808 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1812 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength); in evalStrcpyCommon()
1817 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, retSize); in evalStrcpyCommon()
1820 C.addTransition(StateZeroSize); in evalStrcpyCommon()
2325 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero() local
2326 std::tie(StateZeroSize, StateNonZeroSize) = in evalBzero()
2331 if (StateZeroSize && !StateNonZeroSize) { in evalBzero()
[all …]
|