Searched refs:destVal (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp856 SVal destVal = state->getSVal(Dest); local
861 stateZeroSize = stateZeroSize->BindExpr(CE, destVal);
871 state = checkNonNull(C, state, Dest, destVal);
898 loc::MemRegionVal *destRegVal = dyn_cast<loc::MemRegionVal>(&destVal);
925 state = state->BindExpr(CE, destVal);

Completed in 58 milliseconds