• Top
  • Documentation
    • Xdoc
      • Undocumented
      • Save
      • Defsection
      • Markup
      • Preprocessor
      • Terminal
      • Emacs-links
      • Entities
      • Defxdoc
      • Katex-integration
      • Constructors
      • Defxdoc+
      • Save-rendered
      • Add-resource-directory
      • Testing
      • Order-subtopics
      • Save-rendered-event
      • Archive-matching-topics
      • Archive-xdoc
      • Xdoc-extend
      • Set-default-parents
      • Missing-parents
        • Keywords
          • *keywords-gcc-c17*
          • *keywords-gcc-c23*
          • *keywords-c23*
          • *keywords-c17*
        • Movbe-reverse-bytes
        • Missing-parents-test
      • Defpointer
      • Defxdoc-raw
      • Xdoc-tests
      • Xdoc-prepend
      • Defsection-progn
      • Gen-xdoc-for-file
    • ACL2-doc
    • Recursion-and-induction
    • Loop$-primer
    • Operational-semantics
    • Pointers
    • Doc
    • Documentation-copyright
    • Publications
    • Course-materials
    • Args
    • ACL2-doc-summary
    • Finding-documentation
    • Broken-link
    • Doc-terminal-test-2
    • Doc-terminal-test-1
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Community
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Keywords

*keywords-gcc-c23*

List of the additional GCC keywords for C23 [GCCM].

The same remarks made in *keywords-gcc-c17* apply here.

This is almost the same list as *keywords-gcc-c17*, except that typeof is absent here, because it is a standard keyword in C23.

Definition: *keywords-gcc-c23*

(defconst *keywords-gcc-c23*
  '("__alignof" "__alignof__" "asm" "__asm"
                "__asm__" "__attribute" "__attribute__"
                "__auto_type" "__builtin_offsetof"
                "__builtin_types_compatible_p"
                "__builtin_va_arg" "__builtin_va_list"
                "__declspec" "__extension__"
                "__float80" "__floar128" "_Float16"
                "_Float16x" "_Float32" "_Float32x"
                "_Float64" "_Float64x" "_Float128"
                "_Float128x" "__imag__" "__inline"
                "__inline__" "__int128" "__int128_t"
                "__label__" "__real__" "__restrict"
                "__restrict__" "__seg_fs" "__seg_gs"
                "__signed" "__signed__" "__stdcall"
                "__thread" "__typeof" "__typeof__"
                "__volatile" "__volatile__"))