From: Joern Rennecke <amylaar@cygnus.co.uk>
To: zack@rabi.columbia.edu (Zack Weinberg)
Cc: egcs@egcs.cygnus.com
Subject: Re: Uninitialized variable warnings
Date: Mon, 15 Mar 1999 13:28:00 -0000 [thread overview]
Message-ID: <199903152127.VAA32106@phal.cygnus.co.uk> (raw)
In-Reply-To: < 199903150442.XAA28837@blastula.phys.columbia.edu > from Zack Weinberg at "Mar 14, 99 11:42:41 pm"
> I've added some more test cases to the testsuite. I will be sending
> patches for the real bugs and the documented failures shortly. If
> people could look at the questionable cases, I'd appreciate it.
>
> The list:
>
> -- possibly real bugs --
> file function variable
...
> regmove.c fixup_match_1 dst_note
No bug here. The use of dst_note depends on (success != 0) . Success is
initialized to 0, and only set to 1 in a code path where dest_note is
initialized.
> regmove.c fixup_match_1 insn_const
No bug here, either. Early in the function, either code is set to NOTE,
or insn_const is set, or the function returns early.
insn_const is never used if code is NOTE.
> reload.c find_reloads goal_alternative_number
> reload.c find_reloads goal_earlyclobber
>
> I think these may be real bugs, but the logic is so convoluted that I
> can't be sure one way or the other. I'd appreciate people more
> familiar with these parts of the compiler looking at them.
>
> -- definitely real bugs --
...
definitely not!
> reload1.c reload is_scalar
is_scalar is always set when reg_equiv_memory_loc[i] is non-zero.
addr is only set when reg_equiv_mem[i] or reg_equiv_address[i] is non-zero.
One of the latter two is always non-zero if reg_equiv_memory_loc[i] is
non-zero (of course the compiler doesn't know about that when compiling
itself, which just goes to show that -Wuninitialized can't work quite
right without solving the halting problem).
is_scalar is only used when addr is set.
> varasm.c const_hash hi
This is pretty straightforward setting hi in both arms of an if-else
or even unconditionally in each of the disjoint lifetimes.
WARNING: multiple messages have this Message-ID
From: Joern Rennecke <amylaar@cygnus.co.uk>
To: zack@rabi.columbia.edu (Zack Weinberg)
Cc: egcs@egcs.cygnus.com
Subject: Re: Uninitialized variable warnings
Date: Wed, 31 Mar 1999 23:46:00 -0000 [thread overview]
Message-ID: <199903152127.VAA32106@phal.cygnus.co.uk> (raw)
Message-ID: <19990331234600.D_DkireSO6JcAUMV_-AUBxsN-wjwJwiVbFodZYuKXC0@z> (raw)
In-Reply-To: <199903150442.XAA28837@blastula.phys.columbia.edu>
> I've added some more test cases to the testsuite. I will be sending
> patches for the real bugs and the documented failures shortly. If
> people could look at the questionable cases, I'd appreciate it.
>
> The list:
>
> -- possibly real bugs --
> file function variable
...
> regmove.c fixup_match_1 dst_note
No bug here. The use of dst_note depends on (success != 0) . Success is
initialized to 0, and only set to 1 in a code path where dest_note is
initialized.
> regmove.c fixup_match_1 insn_const
No bug here, either. Early in the function, either code is set to NOTE,
or insn_const is set, or the function returns early.
insn_const is never used if code is NOTE.
> reload.c find_reloads goal_alternative_number
> reload.c find_reloads goal_earlyclobber
>
> I think these may be real bugs, but the logic is so convoluted that I
> can't be sure one way or the other. I'd appreciate people more
> familiar with these parts of the compiler looking at them.
>
> -- definitely real bugs --
...
definitely not!
> reload1.c reload is_scalar
is_scalar is always set when reg_equiv_memory_loc[i] is non-zero.
addr is only set when reg_equiv_mem[i] or reg_equiv_address[i] is non-zero.
One of the latter two is always non-zero if reg_equiv_memory_loc[i] is
non-zero (of course the compiler doesn't know about that when compiling
itself, which just goes to show that -Wuninitialized can't work quite
right without solving the halting problem).
is_scalar is only used when addr is set.
> varasm.c const_hash hi
This is pretty straightforward setting hi in both arms of an if-else
or even unconditionally in each of the disjoint lifetimes.
next prev parent reply other threads:[~1999-03-15 13:28 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-03-14 20:42 Zack Weinberg
[not found] ` < 199903150442.XAA28837@blastula.phys.columbia.edu >
1999-03-15 2:45 ` craig
[not found] ` < 19990315103933.22049.qmail@deer >
1999-03-15 4:56 ` Zack Weinberg
[not found] ` < 199903151256.HAA08065@blastula.phys.columbia.edu >
1999-03-15 13:19 ` craig
[not found] ` < 19990315211232.23607.qmail@deer >
1999-03-15 20:03 ` Zack Weinberg
1999-03-31 23:46 ` Zack Weinberg
1999-03-31 23:46 ` craig
1999-03-31 23:46 ` Zack Weinberg
1999-03-31 23:46 ` craig
1999-03-15 13:28 ` Joern Rennecke [this message]
[not found] ` < 199903152127.VAA32106@phal.cygnus.co.uk >
1999-03-15 20:21 ` Zack Weinberg
[not found] ` < 199903160417.XAA29108@blastula.phys.columbia.edu >
1999-03-16 11:58 ` Joern Rennecke
1999-03-31 23:46 ` Joern Rennecke
1999-03-28 0:13 ` Jeffrey A Law
1999-03-31 23:46 ` Jeffrey A Law
1999-03-31 23:46 ` Zack Weinberg
1999-03-17 20:38 ` Jeffrey A Law
[not found] ` < 14630.921731892@hurl.cygnus.com >
1999-03-18 9:25 ` Zack Weinberg
1999-03-31 23:46 ` Zack Weinberg
1999-03-31 23:46 ` Jeffrey A Law
1999-03-31 23:46 ` Joern Rennecke
1999-03-31 23:46 ` Zack Weinberg
[not found] <199903162144.QAA19514@blastula.phys.columbia.edu>
1999-03-16 14:08 ` Joern Rennecke
1999-03-31 23:46 ` Joern Rennecke
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199903152127.VAA32106@phal.cygnus.co.uk \
--to=amylaar@cygnus.co.uk \
--cc=egcs@egcs.cygnus.com \
--cc=zack@rabi.columbia.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).