Searched refs:NewStrLenGESize (Results 1 – 1 of 1) sorted by relevance
1106 SVal NewStrLenGESize = svalBuilder.evalBinOp( in memsetAux() local1110 State->assume(NewStrLenGESize.castAs<DefinedOrUnknownSVal>(), true), in memsetAux()