Searched refs:DefinedSize (Results 1 – 1 of 1) sorted by relevance
1274 if (Optional<DefinedOrUnknownSVal> DefinedSize = in MallocMemAux() local1279 svalBuilder.evalEQ(State, Extent, *DefinedSize); in MallocMemAux()