reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2422 TotalSize = evalMulForBufferSize(C, Arg1, CE->getArg(2)); 2423 if (!TotalSize.getAs<DefinedOrUnknownSVal>()) 2428 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), 2443 ProgramStateRef stateMalloc = MallocMemAux(C, CE, TotalSize, 2475 ProgramStateRef stateRealloc = MallocMemAux(C, CE, TotalSize,