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);
302 ObjectKind OK = Chk.classifyObject(Region, RD);
303 switch (OK.StdKind) {
356 ObjectKind OK = classifyObject(Region, RD);
360 if (MK == MK_Dereference && OK.StdKind != SK_SmartPtr)
363 if (!RS || !shouldWarnAbout(OK, MK)
485 ObjectKind OK = classifyObject(ArgRegion, RD);
486 if (shouldBeTracked(OK)) {
584 ObjectKind OK = classifyObject(MR, RD);
585 switch (OK.StdKind) {