FUNCTION_FINAL

Synopsis

FUNCTION_FINAL() { <code> } 

Description

This function is called when the checker is finished analyzing all of the paths in a function.