Attachment 246576 Details for Bug 275348 – macOS aio testcase

macOS aio testcase

aio.c (text/plain), 2.64 KB, created by Paul Floyd on 2023-11-26 08:57:31 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Paul Floyd

Created: 2023-11-26 08:57:31 UTC

Size: 2.64 KB

patch

obsolete

>#include <assert.h>
>#include <aio.h>
>#include <fcntl.h>
>#include <stdio.h>
>#include <string.h>
>#include <unistd.h>
>int x;
>
>int main(void)
>{
>   #define LEN 10
>   char buf[LEN];
>
>   struct aiocb a;
>   struct sigevent s;
>
>   memset(&a, 0, sizeof(struct aiocb));
>   // Not sure if the sigevent is even looked at by aio_*... just zero it.
>   memset(&s, 0, sizeof(struct sigevent));
>
>   a.aio_fildes     = -1;
>   a.aio_offset     = 0;
>   a.aio_buf        = NULL;
>   a.aio_nbytes     = LEN;
>   a.aio_reqprio    = 0;
>   a.aio_sigevent   = s;
>   a.aio_lio_opcode = 0;   // ignored
>
>   //------------------------------------------------------------------------
>   // The cases where aiocbp itself points to bogus memory is handled in
>   // memcheck/tests/darwin/scalar.c, so we don't check that here.
>
>   //------------------------------------------------------------------------
>   // XXX: This causes an unexpected undef value error later, at the XXX mark.
>   //      Not sure why, it shouldn't.
>   // assert( aio_return(&a) < 0);  // (aiocbp hasn't been inited)
>
>   //------------------------------------------------------------------------
>   assert( aio_read(&a) < 0);       // invalid fd
>
>   //------------------------------------------------------------------------
>   a.aio_fildes = open("aio.c", O_RDONLY);
>   assert(a.aio_fildes >= 0);
>
>   assert( aio_read(&a) < 0);       // unaddressable aio_buf
>
>   //------------------------------------------------------------------------
>   a.aio_buf = buf;
>
>   assert( aio_read(&a) == 0 );
>
>   assert( aio_read(&a)  < 0 );     // (don't crash on the repeated &a)
>
>   while (0 != aio_error(&a)) { };
>
>   if (buf[0] == buf[9]) x++;       // undefined -- aio_return() not called yet
>
>   assert( aio_return(&a) > 0 );    // XXX: (undefined value error here)
>
>   if (buf[0] == buf[9]) x++;
>
>   assert( aio_return(&a) < 0 );    // (repeated aio_return();  fails because 
>                                    // Valgrind can't find &a in the table)
>
>   //------------------------------------------------------------------------
>   a.aio_buf    = 0;
>   a.aio_fildes = creat("mytmpfile", S_IRUSR|S_IWUSR);
>   assert(a.aio_fildes >= 0);
>
>   assert( aio_write(&a) < 0);      // unaddressable aio_buf
>
>   //------------------------------------------------------------------------
>   a.aio_buf = buf;
>
>   assert( aio_write(&a) == 0 );
>
>   assert( aio_write(&a)  < 0 );    // (don't crash on the repeated &a)
>
>   while (0 != aio_error(&a)) { };
>
>   assert( aio_return(&a) > 0 );
>
>   assert( aio_return(&a) < 0 );    // (repeated aio_return();  fails because 
>                                    // Valgrind can't find &a in the table)
>
>   unlink("mytmpfile");
>
>   return x;
>};
>
>
>

Actions: View

Attachments on bug 275348: 246576