On Wed, Aug 19, 2015 at 2:10 PM, Uday P. Khedker <u...@cse.iitb.ac.in> wrote: > > > 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.
It also performs flow-sensitive analysis, exactly like you suggest by looking for constructor calls or patterns that involve setting the vtable pointer exposed through inlining. Richard. > Uday.