[Bug gdb/13981] New: Documentation is contradictory about treatment of second (pid/corefile) arg

["wiml at hhhh dot org" <sourceware-bugzilla@sourceware.org>]

http://sourceware.org/bugzilla/show_bug.cgi?id=13981

             Bug #: 13981
           Summary: Documentation is contradictory about treatment of
                    second (pid/corefile) arg
           Product: gdb
           Version: 7.4
            Status: NEW
          Severity: minor
          Priority: P2
         Component: gdb
        AssignedTo: unassigned@sourceware.org
        ReportedBy: wiml@hhhh.org
    Classification: Unclassified


This is kind of trivial, but: the GDB documentation (eg as found at
http://sourceware.org/gdb/onlinedocs/gdb/index.html) states both:

# gdb program 1234 would attach gdb to process 1234 (unless you also have a
file named 1234; gdb does check for a core file first).

and, a few pages later,

# If the second argument begins with a decimal digit, gdb will first attempt to
attach to it as a process, and if that fails, attempt to open it as a corefile.
If you have a corefile whose name begins with a digit, you can prevent gdb from
treating it as a pid by prefixing it with ./, e.g. ./12345. 

Presumably these can't both be true.

(The version I'm reading from states its version as 7.4.0.20120413.)

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.