Andrew Pinski wrote on Wednesday 19 August 2015 04:44 PM:
On Wed, Aug 19, 2015 at 7:16 PM, Uday P. Khedker <u...@cse.iitb.ac.in> wrote:
We are working on an analysis for identifying the class of an object flow
sensitively for
flow sensitive de-virtualization (i.e. replacing a virtual function call by
a call to the
function of a known class in the hierarchy). This is a regular ipa pass. It
find outs the
class of an object at point of creation and then propagates it.
Most of this is already in GCC 5 and above. Including the IPA pass.
Have you looked into that pass yet?
From what I have read, it involves flow insensitive analysis whereas we are
looking at flow sensitive analysis.
Uday.
