Home | History | Annotate | Download | only in Checkers

Lines Matching full:statemalloc

1452     ProgramStateRef stateMalloc = MallocMemAux(C, CE, CE->getArg(1),
1454     return stateMalloc;