Lines Matching defs:OK
116 bool shouldBeTracked(ObjectKind OK) const {
131 (Aggressiveness >= AK_KnownsAndLocals && OK.IsLocal) ||
132 OK.StdKind == SK_Unsafe || OK.StdKind == SK_SmartPtr;
137 bool shouldWarnAbout(ObjectKind OK, MisuseKind MK) const {
140 return shouldBeTracked(OK) &&
142 (Aggressiveness >= AK_KnownsAndLocals && OK.IsLocal) ||
143 OK.StdKind != SK_SmartPtr || MK == MK_Dereference);
301 ObjectKind OK = Chk.classifyObject(Region, RD);
302 switch (OK.StdKind) {
355 ObjectKind OK = classifyObject(Region, RD);
359 if (MK == MK_Dereference && OK.StdKind != SK_SmartPtr)
362 if (!RS || !shouldWarnAbout(OK, MK)
488 ObjectKind OK = classifyObject(ArgRegion, RD);
489 if (shouldBeTracked(OK)) {
586 ObjectKind OK = classifyObject(MR, RD);
587 switch (OK.StdKind) {