[PATCH 1/3] Properly set GORI relation trios.

[Andrew MacLeod]

We added the concept of a relation trio this release.  Basically its a 
group of relations for a range-op statement indicating the relation 
between LHS & OP1, LHS & OP2, and OP1 & OP2.

This is primarily used in GORI so we can use relations during range 
calculation on outgoing edges, although It is also use during folding. 
We currently use them in just a couple of places so it was not really 
fleshed out completely.

The next couple of PRs require relations in range-ops, and in working 
with them, I found I had not been complete when I implemented 
relation_trio... just did enough to get it to work.

This patch properly sets each of the fields in relation trio, and then 
queries the proper field in the couple of places that currently use it.  
This patch invokes no new behaviour, just sets up the information 
correctly so future queries can get the right info.  It consolidates the 
relation trio setting code into one place (more utilization of the 
primary value_relation class) and is just basic goodness.

It also allows the next 2 PRs to be fixed with minimal changes.

Bootstraps on x86_64-pc-linux-gnu with no regressions. OK for trunk?

Andrew


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Properly-set-GORI-relation-trios.patch
Type: text/x-patch
Size: 8553 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20230127/f4b0698f/attachment.bin>