Lines Matching refs:OK
115 bool shouldBeTracked(ObjectKind OK) const { in shouldBeTracked()
130 (Aggressiveness >= AK_KnownsAndLocals && OK.IsLocal) || in shouldBeTracked()
131 OK.StdKind == SK_Unsafe || OK.StdKind == SK_SmartPtr; in shouldBeTracked()
136 bool shouldWarnAbout(ObjectKind OK, MisuseKind MK) const { in shouldWarnAbout() argument
139 return shouldBeTracked(OK) && in shouldWarnAbout()
141 (Aggressiveness >= AK_KnownsAndLocals && OK.IsLocal) || in shouldWarnAbout()
142 OK.StdKind != SK_SmartPtr || MK == MK_Dereference); in shouldWarnAbout()
300 ObjectKind OK = Chk.classifyObject(Region, RD); in VisitNode() local
301 switch (OK.StdKind) { in VisitNode()
354 ObjectKind OK = classifyObject(Region, RD); in modelUse() local
358 if (MK == MK_Dereference && OK.StdKind != SK_SmartPtr) in modelUse()
361 if (!RS || !shouldWarnAbout(OK, MK) in modelUse()
482 ObjectKind OK = classifyObject(ArgRegion, RD); in checkPostCall() local
483 if (shouldBeTracked(OK)) { in checkPostCall()
580 ObjectKind OK = classifyObject(MR, RD); in explainObject() local
581 switch (OK.StdKind) { in explainObject()