54 enum class AccessKind { write, read };  enum
57                                              AccessKind Access) {  in createOutOfBoundErrorMsg()
65   if (Access == AccessKind::write) {  in createOutOfBoundErrorMsg()
240                                 AccessKind Access) const;
243                                     AccessKind Access) const;
328                                               AccessKind Access) const {  in CheckLocation()
379                                                   AccessKind Access) const {  in CheckBufferAccess()
1173     state = CheckBufferAccess(C, state, Dest, Size, AccessKind::write);  in evalCopyCommon()
1174     state = CheckBufferAccess(C, state, Source, Size, AccessKind::read);  in evalCopyCommon()
1324       State = CheckBufferAccess(C, State, Left, Size, AccessKind::read);  in evalMemcmp()
1336     State = CheckBufferAccess(C, State, Right, Size, AccessKind::read);  in evalMemcmp()
1337     State = CheckBufferAccess(C, State, Left, Size, AccessKind::read);  in evalMemcmp()
1856       state = CheckLocation(C, state, Dst, maxLastElement, AccessKind::write);  in evalStrcpyCommon()
1868         state = CheckLocation(C, state, Dst, lastElement, AccessKind::write);  in evalStrcpyCommon()
2202   State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write);  in evalMemset()
2250   State = CheckBufferAccess(C, State, Buffer, Size, AccessKind::write);  in evalBzero()