public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug driver/10961] read_specs -- compilers[n_compilers].cpp_spec not initialized
[not found] <20030523231805.10961.taylor@candd.org>
@ 2003-06-30 14:12 ` pinskia at physics dot uc dot edu
2003-08-23 1:54 ` dhazeghi at yahoo dot com
1 sibling, 0 replies; 3+ messages in thread
From: pinskia at physics dot uc dot edu @ 2003-06-30 14:12 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10961
pinskia at physics dot uc dot edu changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2003-06-30 14:12:25
date| |
------- Additional Comments From pinskia at physics dot uc dot edu 2003-06-30 14:12 -------
Should not be in waiting.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug driver/10961] read_specs -- compilers[n_compilers].cpp_spec not initialized
[not found] <20030523231805.10961.taylor@candd.org>
2003-06-30 14:12 ` [Bug driver/10961] read_specs -- compilers[n_compilers].cpp_spec not initialized pinskia at physics dot uc dot edu
@ 2003-08-23 1:54 ` dhazeghi at yahoo dot com
1 sibling, 0 replies; 3+ messages in thread
From: dhazeghi at yahoo dot com @ 2003-08-23 1:54 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10961
dhazeghi at yahoo dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4 |---
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug driver/10961] read_specs -- compilers[n_compilers].cpp_spec not initialized
[not found] <bug-10961-6090@http.gcc.gnu.org/bugzilla/>
@ 2007-01-17 18:39 ` tromey at gcc dot gnu dot org
0 siblings, 0 replies; 3+ messages in thread
From: tromey at gcc dot gnu dot org @ 2007-01-17 18:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from tromey at gcc dot gnu dot org 2007-01-17 18:39 -------
I read through the existing code here and I think it is subtly correct.
The default_compilers array has a final entry consisting of all zeroes:
/* Mark end of table. */
{0, 0, 0, 0, 0}
'compilers' is initially a copy of this table. So, the last entry in
compilers is all zeroes.
The code quoted in the PR is reallocating the compilers array. It sets
some fields in the final entry -- but not all fields. However, this is ok
since we know those to be zero. Then this code memset()s the new
terminating entry to be all zeroes. This lets us conclude that this
code is safe, by induction.
So, I am closing this PR as invalid. If you believe this analysis is
in error, please reopen the PR and explain how. I will provide a patch
in this case.
--
tromey at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tromey at gcc dot gnu dot
| |org
Status|NEW |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10961
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2007-01-17 18:39 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <20030523231805.10961.taylor@candd.org>
2003-06-30 14:12 ` [Bug driver/10961] read_specs -- compilers[n_compilers].cpp_spec not initialized pinskia at physics dot uc dot edu
2003-08-23 1:54 ` dhazeghi at yahoo dot com
[not found] <bug-10961-6090@http.gcc.gnu.org/bugzilla/>
2007-01-17 18:39 ` tromey at gcc dot gnu dot org
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).