[6852] in Athena Bugs
vax 7.2P: saber 2.1
daemon@ATHENA.MIT.EDU (daemon@ATHENA.MIT.EDU)
Wed Jan 9 15:55:14 1991
From: vanharen@ATHENA.MIT.EDU
Date: Wed, 9 Jan 91 15:55:04 -0500
To: bugs@ATHENA.MIT.EDU
System name: fries
Type and version: CVAXSTAR 7.2P
Display type: SM
What were you trying to do?
Use saber to catch programming errors.
What's wrong:
saber doesn't catch functions that don't return values (that
should). This may not be a bug -- consider it an enhancement
request.
What should have happened:
If a function is declared as "int foo() {...}", it should
complain if there is no "return" statement. HC catches this
error, as does "gcc -Wall".
Please describe any relevant documentation references:
N/A.
