Re: checker libs with debugging symbols

1997-06-21 Thread Ben Pfaff
Michael Meskes <[EMAIL PROTECTED]> writes: > What have libc*-dev, gdb, gcc etc. in common with debugging symbols in > checkerlibs? > > When I debug my program it suffices to me to know the problem came in > the call to gets() for instance. I'm not interested in seeing more > details, simply becaus

RE: checker libs with debugging symbols

1997-06-20 Thread Shaya Potter
On Fri, 20 Jun 1997, Michael Meskes wrote: > Sorry but I disagree here. For a user who only wants to debug his own > program debugging symbols in the libraries are not needed. > > I'd prefer to have several packages: checker-bin, checker-libs, > checker-dbg or something like that. Remember, we d

RE: checker libs with debugging symbols

1997-06-20 Thread Michael Meskes
9) 2405/4670-44 Use Debian GNU/Linux! | Fax: (+49) 2405/4670-10 >-Original Message- >From: [EMAIL PROTECTED] [SMTP:[EMAIL PROTECTED] >Sent: Friday, June 20, 1997 1:17 PM >To:debian-devel@lists.debian.org >Cc:Die Adresse des Empfängers ist unbekannt. &g

Re: checker libs with debugging symbols

1997-06-20 Thread joost witteveen
> >>Sorry but I disagree here. For a user who only wants to debug his own > >>program debugging symbols in the libraries are not needed. > > > >Let's take a look at the following program: [..] > >gets(buffer); [..] > >If you feed it a line that's too long, the access violation will > >happen d

RE: checker libs with debugging symbols

1997-06-20 Thread Michael Meskes
10:33 AM >To:debian-devel@lists.debian.org >Cc:Die Adresse des Empfängers ist unbekannt. >Subject: Re: checker libs with debugging symbols > >Michael Meskes wrote: > >>Sorry but I disagree here. For a user who only wants to debug his own >>program debuggin

Re: checker libs with debugging symbols

1997-06-20 Thread Thomas Koenig
Michael Meskes wrote: >Sorry but I disagree here. For a user who only wants to debug his own >program debugging symbols in the libraries are not needed. Let's take a look at the following program: #include int main() { char buffer[20]; gets(buffer); printf("%s",buffer); retur

RE: checker libs with debugging symbols

1997-06-20 Thread Michael Meskes
g; Michael Meskes >Subject: Re: checker libs with debugging symbols > >Michael Meskes <[EMAIL PROTECTED]> writes: >> Is there a reason for the checker libraries to come with debugging symbols? > >Yes. There is a good, even a superlatively good reason: checker is >for

Re: checker libs with debugging symbols

1997-06-19 Thread Ben Pfaff
Michael Meskes <[EMAIL PROTECTED]> writes: > Is there a reason for the checker libraries to come with debugging symbols? Yes. There is a good, even a superlatively good reason: checker is for debugging programs. It is *only* for debugging programs. Thus, debugging symbols are in there intention