public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* 3-yr-old infloop in dwarf2out.c
@ 2011-05-30 7:15 Jim Meyering
2011-06-01 16:06 ` Eric Botcazou
0 siblings, 1 reply; 3+ messages in thread
From: Jim Meyering @ 2011-05-30 7:15 UTC (permalink / raw)
To: bug-gcc
coverity pointed out the infinite loop below.
I guess it is unreachable or at least hard to reach,
or it would have been reported/fixed before now:
17605 if (index && TREE_CODE (index) == RANGE_EXPR)
17606 {
17607 int count = tree_low_cst (TREE_OPERAND (index, 1), 0)
17608 - tree_low_cst (TREE_OPERAND (index, 0), 0);
Event loop_top: Top of the loop.
Event loop_condition: "0 < count" must remain true for the loop to continue.
Also see events: [loop_bottom]
17609 while (count > 0)
17610 {
17611 if (val)
17612 memcpy (array + curpos, array + pos, fieldsize);
Event loop_bottom: Bottom of the loop.
Also see events: [loop_top][loop_condition]
17613 curpos += fieldsize;
17614 }
17615 }
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: 3-yr-old infloop in dwarf2out.c
2011-05-30 7:15 3-yr-old infloop in dwarf2out.c Jim Meyering
@ 2011-06-01 16:06 ` Eric Botcazou
2011-06-01 19:26 ` Jim Meyering
0 siblings, 1 reply; 3+ messages in thread
From: Eric Botcazou @ 2011-06-01 16:06 UTC (permalink / raw)
To: Jim Meyering; +Cc: gcc-bugs
> coverity pointed out the infinite loop below.
> I guess it is unreachable or at least hard to reach,
> or it would have been reported/fixed before now:
Would you mind opening a PR with bugzilla?
--
Eric Botcazou
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: 3-yr-old infloop in dwarf2out.c
2011-06-01 16:06 ` Eric Botcazou
@ 2011-06-01 19:26 ` Jim Meyering
0 siblings, 0 replies; 3+ messages in thread
From: Jim Meyering @ 2011-06-01 19:26 UTC (permalink / raw)
To: Eric Botcazou; +Cc: gcc-bugs
Eric Botcazou wrote:
>> coverity pointed out the infinite loop below.
>> I guess it is unreachable or at least hard to reach,
>> or it would have been reported/fixed before now:
>
> Would you mind opening a PR with bugzilla?
Not at all:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49262
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2011-06-01 19:26 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-05-30 7:15 3-yr-old infloop in dwarf2out.c Jim Meyering
2011-06-01 16:06 ` Eric Botcazou
2011-06-01 19:26 ` Jim Meyering
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).