Lines Matching refs:AccessKind
47 enum class AccessKind { write, read }; enum
50 AccessKind Access) { in createOutOfBoundErrorMsg()
58 if (Access == AccessKind::write) { in createOutOfBoundErrorMsg()
289 AccessKind Access,
293 AccessKind Access,
380 AccessKind Access, in CheckLocation()
443 if (Access == AccessKind::read) { in CheckLocation()
459 AccessKind Access, CharKind CK) const { in CheckBufferAccess()
1339 state = CheckBufferAccess(C, state, Dest, Size, AccessKind::write, CK); in evalCopyCommon()
1340 state = CheckBufferAccess(C, state, Source, Size, AccessKind::read, CK); in evalCopyCommon()
1497 State = CheckBufferAccess(C, State, Left, Size, AccessKind::read); in evalMemcmp()
1509 State = CheckBufferAccess(C, State, Right, Size, AccessKind::read, CK); in evalMemcmp()
1510 State = CheckBufferAccess(C, State, Left, Size, AccessKind::read, CK); in evalMemcmp()
2045 state = CheckLocation(C, state, Dst, DstVal, AccessKind::write); in evalStrcpyCommon()
2049 state = CheckLocation(C, state, Dst, maxLastElement, AccessKind::write); in evalStrcpyCommon()
2062 state = CheckLocation(C, state, Dst, DstVal, AccessKind::write); in evalStrcpyCommon()
2066 state = CheckLocation(C, state, Dst, lastElement, AccessKind::write); in evalStrcpyCommon()
2410 State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write); in evalMemset()
2458 State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write); in evalBzero()