Do not warn about an ununsed function, if it is marked with __attribute__((used)).

[cparser] / parsetest / hugeval.c

int printf(const char *str, ...);

int main(void) {
        printf("%f\n", __builtin_huge_val());
        return 0;
}