On Thu, Aug 03, 2017 at 11:49:08PM +0200, Luc Van Oostenryck wrote: > 1) some numbers: > - GCC compile both preprocessed files in .9s with -O2. > - sparse check the O0 file in 1.93s and O2 file in 13s. > Thus even on the O0 file, the time is already too high because generaly > sparse is roughly 10 times faster than gcc -O2, here is twice as slow. > ... > 4) if we replace 'inline' by 'inline __attribute__((always_inline))' > GCC needs roughly 58s to compile the O0 or O2 file. With the patch I sent, sparse now need 2.1s to compile the O2 file. -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
