-opt-svfg have no effect

[KelvinChung2000]

Based on the help tooltip and the documentation, -opt-svfg should either remove formal-in/actual-out or ActualParm, AcutalIn and FormalRet, FormalOut. However, I have tried both -opt-svfg and -opt-svfg=false. The file they produce has the same number of lines, indicating that the optimisation has no effect.

I further checked the file generated by -opt-svfg and still see FormalINSVFGNode. Is this something that could happen, or is it expected all the FormalINSVFGNode should be removed? If this is something that could happen, what condition will lead to those nodes not being removed?

[yuleisui]

If some functions are address-taken (being pointed by function pointers), their formalin will be retained. You could take a look at SVFOPT.cpp and debug a bit to see whether the methods handleInterValueFlow and handleIntraValueFlow being called or not.