On Wed, Nov 8, 2017 at 12:52 PM, Assaf Gordon <address@hidden> wrote:
On 2017-11-08 07:35 AM, Jim Meyering wrote:
src/time.c:664:4: warning: this statement may fall through
[-Wimplicit-fallthrough=]
usage (EXIT_SUCCESS);
I wonder could this be a false-positive?
The function usage() never returns, it always calls exit(3),
and exit(3) is marked as "__attribute__ ((__noreturn__));".
Yes, it does feel like it should deduce that...
A workaround is to declare usage like this:
void usage (int status) ATTRIBUTE_NORETURN;