[Bug c/115311] New: -fno-builtin-xxx allowing anything for xxx

[gjl at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115311

            Bug ID: 115311
           Summary: -fno-builtin-xxx allowing anything for xxx
           Product: gcc
           Version: 14.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gjl at gcc dot gnu.org
  Target Milestone: ---

Test case:

echo "" | gcc -xc - -S -fno-builtin-isinfff

This should rather complain that isinfff is not a valid built-in to disable.

Marked as a "c" flaw as the logic is in c-family.