Re: Ada mainline bootstrap failing on x86 and x86_64

[Andrew Pinski <pinskia at physics dot uc dot edu>]

On Oct 27, 2004, at 2:56 PM, Laurent GUERBY wrote:

> With LAST_UPDATED
>
> Wed Oct 27 20:09:15 CEST 2004
> Wed Oct 27 18:09:15 UTC 2004
>
> on both x86 and x86_64 I'm now seeing
>
> stage1/xgcc -Bstage1/  
> -B/home/guerby/work/gcc/install/install-20041027T201647/i686-pc-linux- 
> gnu/bin/ -c -O2 -g -fomit-frame-pointer      -gnatpg -gnata -I- -I.  
> -Iada -I/home/guerby/work/gcc/version-head/gcc/ada  
> /home/guerby/work/gcc/version-head/gcc/ada/fname-uf.adb -o  
> ada/fname-uf.o
> /home/guerby/work/gcc/version-head/gcc/ada/fname-uf.adb: In function  
> 'Fname.Uf.Get_File_Name':
> /home/guerby/work/gcc/version-head/gcc/ada/fname-uf.adb:174: error:  
> Type mismatch between an SSA_NAME and its symbol.
> /home/guerby/work/gcc/version-head/gcc/ada/fname-uf.adb:174: error:  
> Missing definition
> for SSA_NAME: dot_280in statement:
> dot_66 = PHI <dot_280(15), dot_68(89)>;
> +===========================GNAT BUG  
> DETECTED==============================+
> | 4.0.0 20041027 (experimental) (i686-pc-linux-gnu) verify_ssa failed.  
>     |
> | Error detected at fname-uf.adb:611:12                                 
>     |

I get the same failure on powerpc-darwin plus now I also get the  
following
related failures with the C compiler:
FAIL: gcc.c-torture/execute/20010123-1.c compilation,  -O1
FAIL: gcc.c-torture/execute/20010123-1.c compilation,  -O2
FAIL: gcc.c-torture/execute/20010123-1.c compilation,  -O3  
-fomit-frame-pointer
FAIL: gcc.c-torture/execute/20010123-1.c compilation,  -O3  
-fomit-frame-pointer -funroll-loops
FAIL: gcc.c-torture/execute/20010123-1.c compilation,  -O3  
-fomit-frame-pointer -funroll-all-loops -finline-functions
FAIL: gcc.c-torture/execute/20010123-1.c compilation,  -O3 -g
FAIL: gcc.c-torture/execute/20010123-1.c compilation,  -Os


Looking at what changed between yesterday when it worked and today, I  
think
the following change broke it somehow:
2004-10-27  Daniel Berlin <dberlin@dberlin.org>

	Fix PR tree-optimization/17133

	* tree-cfg.c (rewrite_to_new_ssa_names_bb): Also rewrite must
	def kill operand.
	.....

We are removing a modify expression which is not dead at all.

Thanks,
Andrew Pinski