procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Assert no use with SSA_NAME_IN_FREELIST before using freelist.

Browse source 
2014-10-16  Tom de Vries  <tom@codesourcery.com>

	* tree-into-ssa.c (update_ssa): Assert that there's no ssa use operand
	with SSA_NAME_IN_FREELIST.

From-SVN: r216318
This commit is contained in:
Tom de Vries 2014-10-16 12:42:41 +00:00 • committed by Tom de Vries
parent f6d2e222bc
commit 90ad8d0053
2 changed files with 44 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ChangeLog
View file

@ -1,3 +1,8 @@
2014-10-16 Tom de Vries <tom@codesourcery.com>
* tree-into-ssa.c (update_ssa): Assert that there's no ssa use operand
with SSA_NAME_IN_FREELIST.
2014-10-16 Richard Biener <rguenther@suse.de>
PR middle-end/63554

39
gcc/tree-into-ssa.c
View file

@ -3161,6 +3161,45 @@ update_ssa (unsigned update_flags)
if (!need_ssa_update_p (cfun))
return;
#ifdef ENABLE_CHECKING
timevar_push (TV_TREE_STMT_VERIFY);
bool err = false;
FOR_EACH_BB_FN (bb, cfun)
{
gimple_stmt_iterator gsi;
for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
{
gimple stmt = gsi_stmt (gsi);
ssa_op_iter i;
use_operand_p use_p;
FOR_EACH_SSA_USE_OPERAND (use_p, stmt, i, SSA_OP_ALL_USES)
{
tree use = USE_FROM_PTR (use_p);
if (TREE_CODE (use) != SSA_NAME)
continue;
if (SSA_NAME_IN_FREE_LIST (use))
{
error ("statement uses released SSA name:");
debug_gimple_stmt (stmt);
fprintf (stderr, "The use of ");
print_generic_expr (stderr, use, 0);
fprintf (stderr," should have been replaced\n");
err = true;
}
}
}
}
if (err)
internal_error ("cannot update SSA form");
timevar_pop (TV_TREE_STMT_VERIFY);
#endif
timevar_push (TV_TREE_SSA_INCREMENTAL);
if (dump_file && (dump_flags & TDF_DETAILS))