Lines Matching refs:AccessKind
57 enum class AccessKind { write, read }; enum
60 AccessKind Access) { in createOutOfBoundErrorMsg()
68 if (Access == AccessKind::write) { in createOutOfBoundErrorMsg()
251 AccessKind Access, bool IsWide = false) const;
254 AccessKind Access,
341 AccessKind Access, in CheckLocation()
404 if (Access == AccessKind::read) { in CheckLocation()
420 AccessKind Access, bool IsWide) const { in CheckBufferAccess()
1236 state = CheckBufferAccess(C, state, Dest, Size, AccessKind::write, IsWide); in evalCopyCommon()
1237 state = CheckBufferAccess(C, state, Source, Size, AccessKind::read, IsWide); in evalCopyCommon()
1392 State = CheckBufferAccess(C, State, Left, Size, AccessKind::read); in evalMemcmp()
1404 State = CheckBufferAccess(C, State, Right, Size, AccessKind::read); in evalMemcmp()
1405 State = CheckBufferAccess(C, State, Left, Size, AccessKind::read); in evalMemcmp()
1924 state = CheckLocation(C, state, Dst, maxLastElement, AccessKind::write); in evalStrcpyCommon()
1936 state = CheckLocation(C, state, Dst, lastElement, AccessKind::write); in evalStrcpyCommon()
2270 State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write); in evalMemset()
2318 State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write); in evalBzero()