commit 1d2aa262482fc9b23201200ca82aa3b8659b072e
author Andrew MacLeod <amacleod@redhat.com> Tue Jul 05 10:54:26 2022 -0400
committer Andrew MacLeod <amacleod@redhat.com> Tue Jul 05 13:16:47 2022 -0400
tree aed4d0661260354ea1124c1f6b66127502afa8cc
parent c73e8d45ca0111f51d7187641963df97f5c9c63f

Provide a relation verification mechanism.

Provide a relation oracle API which validates a relation between 2 ranges.
This allows relation queries that are symbolicly true to be overridden
by range specific information.  ie. x == x is true symbolically, but for
floating point a NaN may invalidate this assumption.

	* value-relation.cc (relation_to_code): New vector.
	(relation_oracle::validate_relation): New.
	(set_relation): Allow ssa1 == ssa2 to be registered.
	* value-relation.h (validate_relation): New prototype.
	(query_relation): Make internal variant protected.