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 because I

RE: checker libs with debugging symbols

1997-06-20 Thread Michael Meskes
: 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 debugging programs. It is *only* for debugging programs. Thus

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 stdio.h int main() { char buffer[20]; gets(buffer); printf(%s,buffer);

RE: checker libs with debugging symbols

1997-06-20 Thread Michael Meskes
@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 debugging symbols in the libraries are not needed. Let's take a look

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 deep within the

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 do

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

checker libs with debugging symbols

1997-06-18 Thread Michael Meskes
Is there a reason for the checker libraries to come with debugging symbols? I haven't used checker yet, so I don't know. But I assume that the libraries without debugging symbols would work. Michael -- Dr. Michael Meskes, Projekt-Manager| topsystem Systemhaus GmbH [EMAIL PROTECTED]