[Bug libc/25895] New: Document fopen with pathname == NULL

[Bug libc/25895] New: Document fopen with pathname == NULL

[marxin.liska at gmail dot com]

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

            Bug ID: 25895
           Summary: Document fopen with pathname == NULL
           Product: glibc
           Version: unspecified
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: libc
          Assignee: unassigned at sourceware dot org
          Reporter: marxin.liska at gmail dot com
                CC: drepper.fsp at gmail dot com
  Target Milestone: ---

It's follow up of:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94849

There are 2 questions:
- is it valid to call fopen with pathname == NULL?
- NULL argument is not mentioned at 'man fopen'

Note that Microsoft allows NULL argument:
https://docs.microsoft.com/en-us/cpp/c-runtime-library/reference/fopen-wfopen?view=vs-2019

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

[Bug libc/25895] Document fopen with pathname == NULL

[schwab@linux-m68k.org]

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

Andreas Schwab <schwab@linux-m68k.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #1 from Andreas Schwab <schwab@linux-m68k.org> ---
The first argument of fopen must be a string, and NULL isn't.  There is nothing
more to document, since it is covered by general undefined behviour.

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

[Bug libc/25895] Document fopen with pathname == NULL

[marxin.liska at gmail dot com]

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

--- Comment #2 from Martin Liška <marxin.liska at gmail dot com> ---
So would it be possible to decorate the function with __nonnull ((1))?

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

[Bug libc/25895] Document fopen with pathname == NULL

[marxin.liska at gmail dot com]

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

Martin Liška <marxin.liska at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |---

--- Comment #3 from Martin Liška <marxin.liska at gmail dot com> ---
.

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

[Bug libc/25895] Document fopen with pathname == NULL

[mliska at suse dot cz]

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

Martin Liska <mliska at suse dot cz> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mliska at suse dot cz

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

[Bug libc/25895] Add __nonnull ((1)) to fopen declaration

[carlos at redhat dot com]

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

Carlos O'Donell <carlos at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Document fopen with         |Add __nonnull ((1)) to
                   |pathname == NULL            |fopen declaration
                 CC|                            |carlos at redhat dot com

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

[Bug libc/25895] Add __nonnull ((1)) to fopen declaration

[carlos at redhat dot com]

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

Carlos O'Donell <carlos at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-04-18

--- Comment #4 from Carlos O'Donell <carlos at redhat dot com> ---
(In reply to Martin Liška from comment #2)
> So would it be possible to decorate the function with __nonnull ((1))?

That would be an interesting thing to do but would require distribution testing
to make sure we don't break applications that are currently compiling.

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

[Bug libc/25895] Add __nonnull ((1)) to fopen declaration

[sam at gentoo dot org]

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

Sam James <sam at gentoo dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sam at gentoo dot org

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