--- Comment #2 from rguenth at gcc dot gnu dot org 2006-05-29 10:48 ---
./cc1plus -march=i586 -O2 -Wall -fno-strict-aliasing -quiet demux_rtp.min.ii
-fpreprocessed -frandom-seed=0
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #3 from rguenth at gcc dot gnu dot org 2006-05-29 12:43 ---
btw., the first error is right after the first may_alias pass. An interesting
observation is that we have VUSEs in the dump for the afterReading fn for the
global var verbose, while they only should appear after
--- Comment #4 from rguenth at gcc dot gnu dot org 2006-05-29 13:17 ---
Further reduced testcase:
extern int foo (__const char * __format, ...);
extern int verbose;
void demux_open_rtp(void)
{
int* mem = __null;
int* rtspClient = __null;
char* sdpDescription;
if
--- Comment #5 from rguenth at gcc dot gnu dot org 2006-05-29 13:46 ---
extern int foo (__const char * __format, ...);
extern int verbose;
void demux_open_rtp(int sdpDescription)
{
int* rtspClient = 0;
if (sdpDescription == 0) {
extern int verbose;
rtspClient =
--- Comment #6 from rguenth at gcc dot gnu dot org 2006-05-29 14:04 ---
At entry of verify_ssa of afterReading() we have
(gdb) call debug_immediate_uses ()
Immediate_uses:
verbose.3_1 : -- single use.
if (verbose.3_1 0) goto L2; else goto L1;
D.1752_2 : -- single use.
foo (%s%s[0],