diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-07-05 10:54:26 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-07-05 13:16:47 -0400 |
| commit | 1d2aa262482fc9b23201200ca82aa3b8659b072e (patch) | |
| tree | aed4d0661260354ea1124c1f6b66127502afa8cc /gcc/ada/gcc-interface | |
| parent | c73e8d45ca0111f51d7187641963df97f5c9c63f (diff) | |
| download | gcc-1d2aa262482fc9b23201200ca82aa3b8659b072e.zip gcc-1d2aa262482fc9b23201200ca82aa3b8659b072e.tar.gz gcc-1d2aa262482fc9b23201200ca82aa3b8659b072e.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions