2003-06-13  Diego Novillo  <dnovillo@redhat.com>

	* tree-dfa.c (get_stmt_operands): Abort if the statement is a
	variable.
	(create_var_ann): Abort if the variable is not a _DECL node.

Index: tree-dfa.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/Attic/tree-dfa.c,v
retrieving revision 1.1.4.120
diff -d -c -p -r1.1.4.120 tree-dfa.c
*** tree-dfa.c	13 Jun 2003 19:00:18 -0000	1.1.4.120
--- tree-dfa.c	13 Jun 2003 23:40:39 -0000
*************** get_stmt_operands (tree stmt)
*** 194,199 ****
--- 194,206 ----
    stmt_ann_t ann;
    voperands_t prev_vops = NULL;
  
+ #if defined ENABLE_CHECKING
+   /* The optimizers cannot handle statements that are nothing but a
+      _DECL.  This indicates a bug in the gimplifier.  */
+   if (SSA_VAR_P (stmt))
+     abort ();
+ #endif
+ 
    if (IS_EMPTY_STMT (stmt) || stmt == error_mark_node)
      return;
  
*************** create_var_ann (tree t)
*** 1035,1041 ****
    var_ann_t ann;
  
  #if defined ENABLE_CHECKING
!   if (t == NULL_TREE || !SSA_VAR_P (t))
      abort ();
  #endif
  
--- 1042,1048 ----
    var_ann_t ann;
  
  #if defined ENABLE_CHECKING
!   if (t == NULL_TREE || !DECL_P (t))
      abort ();
  #endif