Home | History | Annotate | Download | only in Checkers

Lines Matching full:realloc

126 /// 'realloc' to allow modeling failed reallocation later in the path.
128 // \brief The symbol which realloc reallocated.
391 // released -> allocated, it must be the realloc
470 II_realloc = &Ctx.Idents.get("realloc");
1445 // state is under-constrained, assume regular realloc behavior.
1460 // Get the from and to pointer symbols as in toPtr = realloc(fromPtr, size).
1650 // Cleanup the Realloc Pairs Map.
1823 // Realloc returns 0 when reallocation fails, which means that we should
2130 "We only support one failed realloc at a time.");