On Fri, Sep 04, 2020 at 10:12:57AM +0200, Erick Ochoa wrote:
> I am thinking about representing an alias set similarly to the pt_solution.
> Instead of having bits set in position of points-to variables UIDs, I was
> thinking about having bits set in position of may-alias variables' UIDs. I
> think an interface similar to the one I described can provide a good
> mechanism of jumping to different aliases, but I do agree that HEAP
> variables and shadow_variables (and perhaps other fake variables) might not
> be a good idea to keep in the interface to avoid jumping to trees which do
> not represent something in gimple.
Not just those, but you shouldn't care also about variables with scalar
types, I think your pass can't do anything useful with those either.
Jakub
