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