[GCC 4.2 Project] Omega data dependence test

[Sebastian Pop]

Dave Korn wrote:
> 
>   Well, I'll pitch in, because I also wasn't sure at first whether it was
> for real and what it was about, but I think I know now.  Did you google
> "bill pugh omega solver" and do some background reading?  It didn't take me
> too long to get the basic gist of what they're proposing (or at any rate, to
> _think_ I had got it!).
> 
>   IIUIC, they want to use a linear-algorithm solver to verify the

Omega is not linear: it has a worst case exponential time.  It however
does solves systems of linear (in)equalities, or just linear
constraint systems.

> data-dependence analyses performed by the Bannerjee analyzer by recomputing
> the results from an alternative formulation so as to have a 'second opinion'
> to compare the output of gcc's current analyses against.[*]
> 

Yes.