Non-void function doesn't return value
The FUNCRET.GEN checker finds paths in non-void functions that don't have a return statement.
Vulnerability and risk
This situation leaves the returned value uninitialized, so design intent isn't accomplished.
Vulnerable code example
Klocwork flags line 5, indicating that the 'int' function has no return. In contrast, the 'main' function with its return statement in line 10 is not flagged.