gdb doesn't get argc right

[Florian Weimer]

* Don Viszneki:

> I'm using standard Ubuntu releases of gcc (5.4.0) and gdb (7.11.1) and I
> have a very simple to reproduce issue on x86-64.
>
> I think I've included all the necessary information in this paste:
>
> https://gist.github.com/hdon/3f96a8a6b67e078e0213660ec6245677

This is likely a limitation of the debugging information format you
requested, which cannot represent some of the optimizations GCC
performed on the object code.

(I'm not sure how many people read the gcc-bugs mailing list.  It's
usually used to distribute notifications from Bugzilla, the bug
tracking tool.)