--- Comment #3 from pinskia at gcc dot gnu dot org 2008-03-11 03:54 ---
The important part is:
best_index = find_line_common (best_linetable, line, &exact);
how is find_line_common defined. Does it set exact on every code path? If not
then is it on every code path where the return v
--- Comment #4 from pinskia at gcc dot gnu dot org 2008-03-11 04:00 ---
So looking at the code, I see that we have a loop that might return the loop
variant. Now we should be able to prove this loop variant is greater than or
equal 0 but we don't. Really this is just a false positive w
--- Comment #5 from jonathan dot leffler at gmail dot com 2008-03-11 04:04
---
After a 'mid-air collision':
The code for find_line_common() is in the same file, later on, but declared
static, so GCC can analyze it -- and then it is correct to complain:
static int
find_lin
--- Comment #6 from jonathan dot leffler at gmail dot com 2008-03-11 04:23
---
(In reply to comment #4)
> So looking at the code, I see that we have a loop that might return the loop
> variant. Now we should be able to prove this loop variant is greater than or
> equal 0 but we don't.
Sent from my iPhone
On Mar 10, 2008, at 21:23, "jonathan dot leffler at gmail dot com" <[EMAIL PROTECTED]
> wrote:
--- Comment #6 from jonathan dot leffler at gmail dot com
2008-03-11 04:23 ---
I'm not sure what to recommend. As I said, I've worked around it by
modifying
the
--- Comment #7 from pinskia at gmail dot com 2008-03-11 04:53 ---
Subject: Re: Problem compiling gdb/symtab.c in GDB 6.7.1 using GCC 4.3.0 on
Solaris 10
Sent from my iPhone
On Mar 10, 2008, at 21:23, "jonathan dot leffler at gmail dot com"
<[EMAIL PROTECTED]
> wrote:
>
>
> --
Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--with-gxx-include-dir=/usr/
--- Comment #10 from dnovillo at gcc dot gnu dot org 2008-03-11 05:56
---
Fixed on mainline (4.4).
--
dnovillo at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #8 from jonathan dot leffler at gmail dot com 2008-03-11 06:55
---
CVS tree of v6.8 collected from "cvs -d
:pserver:[EMAIL PROTECTED]:/cvs/src co -r gdb_6_8-branch gdb" shows that
the current code does indeed include *exact_match = 0; early in the
find_line_common() function
101 - 109 of 109 matches
Mail list logo
