Workaround for compiler bug (GCC 4.8 and 4.9 when targetting 32-bit x86).
[BearSSL] / src / int / i31_tmont.c
2016-11-02 Thomas PorninInitial import.