While reviewing the Polyspace log for an analysis I obtain a lot of messages like the following in the "C to intermediate language translation" phase:
inlining procedure_name could decrease the number of aliases of parameter #2 from 9962 to 2091
I would like to know what this means and how I may inline the procedure called ‘procedure_name’. I feel it could help to reduce the analysis run time checks because of the complexity of my code.
Best Answer