Home | History | Annotate | Download | only in Checkers

Lines Matching defs:AS

297       if (const AllocationState *AS = State->get<AllocatedData>(V)) {
298 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {
308 unsigned int DIdx = FunctionsToTrack[AS->AllocatorIdx].DeallocatorIdx;
316 Report->markInteresting(AS->Region);
348 const AllocationState *AS = State->get<AllocatedData>(ArgSM);
349 if (!AS && FunctionsToTrack[idx].Kind != ValidAPI) {
352 // If trying to free data which has not been allocated yet, report as a bug.
355 if (!AS || RegionArgIsBad) {
357 // have entered as an enclosing function parameter.
368 if (AS)
369 Report->markInteresting(AS->Region);
382 const AllocationPair AP = std::make_pair(ArgSM, AS);
392 const AllocationPair AP = std::make_pair(ArgSM, AS);
416 unsigned int PDeallocIdx = FunctionsToTrack[AS->AllocatorIdx].DeallocatorIdx;
418 const AllocationPair AP = std::make_pair(ArgSM, AS);
426 AS->Region, State, C.getSValBuilder())) {
435 Report->markInteresting(AS->Region);
458 // If the argument entered as an enclosing function parameter, skip it to
473 // The call return value symbol should stay alive for as long as the
489 // TODO: This logic is the same as in Malloc checker.
597 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym);
598 if (!AS)
604 // (!ASPrev && AS) ~ We started tracking symbol in node N, it must be the
609 assert(funDecl && "We do not support indirect function calls as of now.");