Searched refs:DstVal (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 1420 SVal DstVal = state->getSVal(Dst, LCtx); in evalStrcpyCommon() local
1422 state = checkNonNull(C, state, Dst, DstVal); in evalStrcpyCommon()
1496 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1523 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1595 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1618 finalStrLength = getCStringLength(C, state, CE, DstVal, true); in evalStrcpyCommon()
1656 SVal Result = (returnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
1663 DstVal.getAs<loc::MemRegionVal>()) { in evalStrcpyCommon()
|