Reports the non-void methods, functions, and blocks that may exit without executing the return statement. All the paths in the control flow graph must end with a return statement.