Created attachment 834330 [details]
mozilla_nss_openSUSE_Factory_PowerPC_ppc64le_202003311144.log

Mozilla-nss ppc64le build failures "declared 'static' but never defined
[-Werror=unused-function]"

failures in Factory:PowerPC since 20200314 (version 3.50)
still failure with last 3.51 in Mozilla:Factory project.

extract build log:
===
[  222s] verified/kremlin/kremlib/dist/minimal/FStar_UInt128.h:22:1: error:
'FStar_UInt128___proj__Mkuint128__item__low' declared 'static' but never
defined [-Werror=unused-function]
[  222s]    22 |
FStar_UInt128___proj__Mkuint128__item__low(FStar_UInt128_uint128 projectee);
[  222s]       | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[  222s] verified/kremlin/kremlib/dist/minimal/FStar_UInt128.h:25:1: error:
'FStar_UInt128___proj__Mkuint128__item__high' declared 'static' but never
defined [-Werror=unused-function]
[  222s]    25 |
FStar_UInt128___proj__Mkuint128__item__high(FStar_UInt128_uint128 projectee);
[  222s]       | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
===