port-emips/50794: src/sys/arch/emips/stand/common/printf.c:77: botched va_* handling ?

[dcb314%hotmail.com@localhost]

>Number:         50794
>Category:       port-emips
>Synopsis:       src/sys/arch/emips/stand/common/printf.c:77: botched va_* handling ?
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    port-emips-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Feb 12 16:55:00 +0000 2016
>Originator:     David Binderman
>Release:        cvs dated 20160212
>Organization:
>Environment:
>Description:
Source code is

            case 0:
                return;

Suggest add missing call to va_end.

>How-To-Repeat:

>Fix: