Polyspace produced this message in the log during pointer analysis to indicate that it may help to reduce complexity around the pointer analysis by inlining the function ‘procedure_name’.
Note that it is only a suggestion and it may or not be helpful depending on the analysis task being run. It is only encouraged to follow this suggestion if there is a reason such as:
i) The verification is taking too long compared to what is usually seen when verifying other code or,
ii) The verification results in a "out of memory" failure at level 1 and it is known that the code contains a lot of pointers.
Note that following the suggestion and relaunching the verification after inlining function may not help and may actually increase the duration of analysis in certain cases. For example, if the function contains 50 lines of code and it is called 50 times in the code, Polyspace would duplicate the function 50 times and add 2500 lines to previous analysis. If the analysis reached the end of level 4 with -02 precision, then inlining is not suggested.
The log message is an indicator that Polyspace encountered complexity, it is difficult to measure whether or not inlining the function would be beneficial.
Based on the above notes, if it is felt that inlining might be helpful, this may be done by adding the name of the function in the text box next to –inline in ‘Verification Settings > Precision/Scaling > Scaling’ window.
