// by the members of the iocb->aio_iov array
// FreeBSD headers #define define this to aio_iovcnt
SizeT vec_count = (SizeT)iocb->aio_nbytes;
+#if defined(__clang__)
+#pragma clang diagnostic push
+ // yes, I know it is volatile
+#pragma clang diagnostic ignored "-Wcast-qual"
+#endif
struct vki_iovec* p_iovec = (struct vki_iovec*)iocb->aio_buf;
+#if defined(__clang__)
+#pragma clang diagnostic pop
+#endif
PRE_MEM_READ("aio_writev(iocb->aio_iov)", (Addr)p_iovec, vec_count*sizeof(struct vki_iovec));
// and this to aio_iov
SET_STATUS_Failure( VKI_EBADF );
} else {
SizeT vec_count = (SizeT)iocb->aio_nbytes;
+#if defined(__clang__)
+#pragma clang diagnostic push
+ // yes, I know it is volatile
+#pragma clang diagnostic ignored "-Wcast-qual"
+#endif
struct vki_iovec* p_iovec = (struct vki_iovec*)iocb->aio_buf;
+#if defined(__clang__)
+#pragma clang diagnostic pop
+#endif
PRE_MEM_READ("aio_readv(iocb->aio_iov)", (Addr)p_iovec, vec_count*sizeof(struct vki_iovec));
// @todo PJF check that p_iovec is accessible
if (ML_(safe_to_deref)(p_iovec, vec_count*sizeof(struct vki_iovec*))) {