22-08-2014, 11:42 AM
The statement refers to C statements written by the user. For example a function might intend to always free allocated space, close a file, or make some other change to the program state. This change is likely to have been coded at the end of the function and might not be reached if the function also has an earlier point of exit.
Posted by and on behalf of the MISRA C Working Group