Searched refs:DstVal (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 1334 SVal DstVal = state->getSVal(Dst, LCtx); in evalStrcpyCommon() local
1336 state = checkNonNull(C, state, Dst, DstVal); in evalStrcpyCommon()
1410 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1437 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1509 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1532 finalStrLength = getCStringLength(C, state, CE, DstVal, true); in evalStrcpyCommon()
1570 SVal Result = (returnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
1577 DstVal.getAs<loc::MemRegionVal>()) { in evalStrcpyCommon()
|