Static Analysis Problem Type Reference
A non-void subroutine must return a value on all execution paths.
This usually indicates that the return statement was omitted at the bottom of a function definition.
|
ID |
Code Location |
Description |
|---|---|---|
|
1 |
Definition |
The place where the function was defined |
int f(int x)
{
if (x) return 3;
// function result not set if x == 0
}