[Bug tree-optimization/50029] nowrap_type_p encounters void TREE_TYPE

["nash11228 at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50029

nash,steve <nash11228 at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID

--- Comment #2 from nash,steve <nash11228 at gmail dot com> 2011-08-09 17:38:47 UTC ---
(In reply to comment #1)
> >if TREE_CODE (base) == SSA_NAME, the TREE_TYPE (base) is void, which can
> introduce segfault.
> 
> No, the TREE_TYPE of a SSA_NAME should be correct.  I think you need to debug
> why you have a NULL TREE_TYPE here.

Yes, you are right.

It's my fault. I did not update ssa graph after running finalize_jump_threads. 

sorry for this misreport.



/* We identified all the jump threading opportunities earlier, but could
   not transform the CFG at that time.  This routine transforms the
   CFG and arranges for the dominator tree to be rebuilt if necessary.

   Note the SSA graph update will occur during the normal TODO
   processing by the pass manager.  */
static void
finalize_jump_threads (void)
{
  thread_through_all_blocks (false);
  VEC_free (tree, heap, stack);
}