Lines Matching defs:AS
306 if (const AllocationState *AS = State->get<AllocatedData>(V)) {
307 if (!definitelyReturnedError(AS->Region, State, C.getSValBuilder())) {
317 unsigned int DIdx = FunctionsToTrack[AS->AllocatorIdx].DeallocatorIdx;
325 Report->markInteresting(AS->Region);
357 const AllocationState *AS = State->get<AllocatedData>(ArgSM);
358 if (!AS && FunctionsToTrack[idx].Kind != ValidAPI) {
361 // If trying to free data which has not been allocated yet, report as a bug.
364 if (!AS || RegionArgIsBad) {
366 // have entered as an enclosing function parameter.
377 if (AS)
378 Report->markInteresting(AS->Region);
391 const AllocationPair AP = std::make_pair(ArgSM, AS);
401 const AllocationPair AP = std::make_pair(ArgSM, AS);
423 unsigned int PDeallocIdx = FunctionsToTrack[AS->AllocatorIdx].DeallocatorIdx;
425 const AllocationPair AP = std::make_pair(ArgSM, AS);
433 !definitelyDidnotReturnError(AS->Region, State, C.getSValBuilder())) {
442 Report->markInteresting(AS->Region);
465 // If the argument entered as an enclosing function parameter, skip it to
480 // The call return value symbol should stay alive for as long as the
518 // TODO: This logic is the same as in Malloc checker.
620 AllocatedSetTy AS = state->get<AllocatedData>();
621 if (AS.isEmpty())
628 for (AllocatedSetTy::iterator I = AS.begin(), E = AS.end(); I != E; ++I ) {
665 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym);
666 if (!AS)
672 // (!ASPrev && AS) ~ We started tracking symbol in node N, it must be the
677 assert(funDecl && "We do not support indirect function calls as of now.");
