Lines Matching refs:AccessKind
51 enum class AccessKind { write, read }; enum
54 AccessKind Access) { in createOutOfBoundErrorMsg()
62 if (Access == AccessKind::write) { in createOutOfBoundErrorMsg()
317 AccessKind Access,
321 AccessKind Access,
551 AccessKind Access, in CheckLocation()
600 AccessKind Access, CharKind CK) const { in CheckBufferAccess()
651 if (Access == AccessKind::read) in CheckBufferAccess()
1487 state = CheckBufferAccess(C, state, Dest, Size, AccessKind::write, CK); in evalCopyCommon()
1488 state = CheckBufferAccess(C, state, Source, Size, AccessKind::read, CK); in evalCopyCommon()
1645 State = CheckBufferAccess(C, State, Left, Size, AccessKind::read); in evalMemcmp()
1657 State = CheckBufferAccess(C, State, Right, Size, AccessKind::read, CK); in evalMemcmp()
1658 State = CheckBufferAccess(C, State, Left, Size, AccessKind::read, CK); in evalMemcmp()
2193 state = CheckLocation(C, state, Dst, DstVal, AccessKind::write); in evalStrcpyCommon()
2197 state = CheckLocation(C, state, Dst, maxLastElement, AccessKind::write); in evalStrcpyCommon()
2210 state = CheckLocation(C, state, Dst, DstVal, AccessKind::write); in evalStrcpyCommon()
2214 state = CheckLocation(C, state, Dst, lastElement, AccessKind::write); in evalStrcpyCommon()
2558 State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write); in evalMemset()
2606 State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write); in evalBzero()