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