Lines Matching defs:CK
78 static QualType getCharPtrType(ASTContext &Ctx, CharKind CK) {
79 return Ctx.getPointerType(CK == CharKind::Regular ? Ctx.CharTy
201 void evalMemcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
202 void evalMempcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
203 void evalMemmove(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
208 bool Restricted, bool IsMempcpy, CharKind CK) const;
210 void evalMemcmp(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
319 CharKind CK = CharKind::Regular) const;
323 CharKind CK = CharKind::Regular) const;
327 CharKind CK = CharKind::Regular) const;
407 const ElementRegion *ER, CharKind CK) {
411 if (CK == CharKind::Regular) {
556 CharKind CK) const {
572 std::optional<NonLoc> Idx = getIndex(state, ER, CK);
604 AccessKind Access, CharKind CK) const {
613 QualType PtrTy = getCharPtrType(Ctx, CK);
629 State = CheckLocation(C, State, Buffer, BufStart, Access, CK);
654 State = CheckLocation(C, State, Buffer, BufEnd, Access, CK);
671 CharKind CK) const {
750 QualType CharPtrTy = getCharPtrType(Ctx, CK);
1445 bool IsMempcpy, CharKind CK) const {
1492 state = CheckBufferAccess(C, state, Dest, Size, AccessKind::write, CK);
1493 state = CheckBufferAccess(C, state, Source, Size, AccessKind::read, CK);
1496 state = CheckOverlap(C, state, Size, Dest, Source, CK);
1507 QualType CharPtrTy = getCharPtrType(Ctx, CK);
1546 CharKind CK) const {
1557 evalCopyCommon(C, Call, State, Size, Dest, Src, IsRestricted, IsMempcpy, CK);
1561 CharKind CK) const {
1571 IsMempcpy, CK);
1575 CharKind CK) const {
1585 IsMempcpy, CK);
1601 CharKind CK) const {
1662 State = CheckBufferAccess(C, State, Right, Size, AccessKind::read, CK);
1663 State = CheckBufferAccess(C, State, Left, Size, AccessKind::read, CK);