The oracle will not register nonssense/useless relations, class
value_relation shouldn't either.
* value-relation.cc (value_relation::dump): Change message.
* value-relation.h (value_relation::set_relation): If op1 is the
same as op2 do not create a relation.
{
if (!name1 || !name2)
{
- fprintf (f, "uninitialized");
+ fprintf (f, "no relation registered");
return;
}
fputc ('(', f);
{
gcc_checking_assert (TREE_CODE (n1) == SSA_NAME
&& TREE_CODE (n2) == SSA_NAME);
+ if (n1 == n2)
+ {
+ related = VREL_VARYING;
+ name1 = NULL_TREE;
+ name2 = NULL_TREE;
+ return;
+ }
related = r;
name1 = n1;
name2 = n2;