Can't build gcc cvs trunk 20050409 gnat tools on sparc-linux: tree check: accessed operand 2 of view_convert_expr with 1 operands in visit_assignment, at tree-ssa-ccp.c:1074

[Andreas Schwab]

Christian Joensson <christian.joensson@gmail.com> writes:

> +===========================GNAT BUG DETECTED==============================+
> | 4.1.0 20050409 (experimental) (sparc-unknown-linux-gnu) GCC error:       |
> | tree check: accessed operand 2 of view_convert_expr with 1 operands      |
> |    in visit_assignment, at tree-ssa-ccp.c:1074                           |

That appears to be a long standing bug introduced by this patch:

2004-11-28  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

	PR/18664
	* tree-ssa-operands.c (build_ssa_operands, case MODIFY_EXPR):
	Ignore a VIEW_CONVERT_EXPR on LHS when deciding if must or may def.
	* tree-ssa-ccp.c (visit_assignment): If LHS is a VIEW_CONVERT_EXPR,
	add an inverse VIEW_CONVERT_EXPR to const_val.

It contains this line:  
  
	orig_lhs = TREE_OPERAND (orig_lhs, 1);  
  
But orig_lhs is a VIEW_CONVERT_EXPR which has only one operand.

It's not clear whether this patch is actually connected to PR18664 at all.

Andreas.

-- 
Andreas Schwab, SuSE Labs, schwab@suse.de
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."