[Bug libc/30584] New: initstate and initstate_r crash when the state argument is unaligned

[Bug libc/30584] New: initstate and initstate_r crash when the state argument is unaligned

[bruno at clisp dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=30584

            Bug ID: 30584
           Summary: initstate and initstate_r crash when the state
                    argument is unaligned
           Product: glibc
           Version: 2.36
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: libc
          Assignee: unassigned at sourceware dot org
          Reporter: bruno at clisp dot org
                CC: drepper.fsp at gmail dot com
  Target Milestone: ---

Created attachment 14947
  --> https://sourceware.org/bugzilla/attachment.cgi?id=14947&action=edit
test case foo1.c

On Linux/SPARC (both in 64-bit mode and in 32-bit mode), the initstate() and
initstate_r() functions crash when the state argument is unaligned.

The specification of initstate() in
https://pubs.opengroup.org/onlinepubs/9699919799/functions/initstate.html and
the documentation of initstate() and initstate_r() in
https://www.gnu.org/software/libc/manual/html_node/BSD-Random.html require
merely a byte array. So, passing an aligned byte array (of size 128 or more) is
allowed.

How to reproduce:
Remote login to cfarm105.cfarm.net.

$ gcc -Wall foo1.c
$ ./a.out
Bus error
$ gcc -m32 -Wall foo1.c
$ ./a.out
Bus error

$ gcc -Wall foo2.c
$ ./a.out
Bus error
$ gcc -m32 -Wall foo2.c
$ ./a.out
Bus error

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug libc/30584] initstate and initstate_r crash when the state argument is unaligned

[bruno at clisp dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=30584

--- Comment #1 from Bruno Haible <bruno at clisp dot org> ---
Created attachment 14948
  --> https://sourceware.org/bugzilla/attachment.cgi?id=14948&action=edit
test case foo2.c

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug libc/30584] initstate and initstate_r crash when the state argument is unaligned

[bruno at clisp dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=30584

Bruno Haible <bruno at clisp dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
               Host|                            |sparc64-unknown-linux-gnu
              Build|                            |sparc64-unknown-linux-gnu

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug libc/30584] initstate and initstate_r crash when the state argument is unaligned

[bruno at clisp dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=30584

--- Comment #2 from Bruno Haible <bruno at clisp dot org> ---
I meant: Passing an *unaligned* byte array is allowed.

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug libc/30584] initstate and initstate_r crash when the state argument is unaligned

[ppluzhnikov at google dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=30584

Paul Pluzhnikov <ppluzhnikov at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2023-06-25
                 CC|                            |ppluzhnikov at google dot com
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug libc/30584] initstate and initstate_r crash when the state argument is unaligned

[schwab@linux-m68k.org]

https://sourceware.org/bugzilla/show_bug.cgi?id=30584

--- Comment #3 from Andreas Schwab <schwab@linux-m68k.org> ---
This is inherited from BSD, which documents that the state array needs to be
uint32_t aligned.

-- 
You are receiving this mail because:
You are on the CC list for the bug.