Re: GCC [RFC] Whole Program Devirtualization

[RFC] Whole Program Devirtualization Hello Feng Xue OS Your project is interesting, but ambitious. I think the major points are: whole program analysis. Static analysis tools like https://frama-c.com/ or https://github.com/bstarynk/bismon/ could be relevant. Projects like https://www.decoder

Re: GCC [RFC] Whole Program Devirtualization

On Fri, 20 Aug 2021, 13:37 Basile Starynkevitch, wrote: > > *computed gotos* or *labels as values* (see > https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html > for more) are > making this difficult. But they do exist, and probably co

GCC [RFC] Whole Program Devirtualization

Hello Feng Xue OS Your project is interesting, but ambitious. I think the major points are: *whole program analysis*. Static analysis tools like https://frama-c.com/ or https://github.com/bstarynk/bismon/ could be relevant. Projec