The "__attribute__((always_inline))" attribute does not replace "inline", they need to be used togher. This fixes the "warning: always_inline function might not be inlinable [-Wattributes]" warnings emitted by GCC 4.7.

This commit is contained in:
Jeroen Habraken 2013-04-24 13:58:35 -05:00
parent ecb70e2f77
commit eeab6bd2ce

View File

@ -36,7 +36,7 @@ typedef limb felem[5];
typedef unsigned uint128_t __attribute__((mode(TI)));
#undef force_inline
#define force_inline __attribute__((always_inline))
#define force_inline inline __attribute__((always_inline))
/* Sum two numbers: output += in */
static void force_inline