If control reaches the closing curly brace (}) of a non-void function without evaluating a return statement, using the return value of the function call causes undefined behavior. See is undefined behavior 88 in Annex J of the C Standard . This rule is related to MSC01-C. Strive for logical completeness because both guideilnes guidelines are intended to ensure that programs properly handle all possible conditions.
...