• 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-c23*

    List of C23 keywords [C23:6.4.2].

    We include the alternative spellings listed in Table 6.1 of [C23].

    Definition: *keywords-c23*

    (defconst *keywords-c23*
      '("alignas" "_Alignas"
                  "alignof" "_Alignof" "auto" "bool"
                  "_Bool" "break" "case" "char" "const"
                  "constexpr" "continue" "default" "do"
                  "double" "else" "enum" "extern" "false"
                  "float" "for" "goto" "if" "inline"
                  "int" "long" "nullptr" "register"
                  "restrict" "return" "short" "signed"
                  "sizeof" "static" "static_assert"
                  "_Static_assert" "struct" "switch"
                  "thread_local" "_Thread_local" "true"
                  "typedef" "typeof" "typeof_unqual"
                  "union" "unsigned" "void" "volatile"
                  "while" "_Atomic" "_BitInt" "_Complex"
                  "_Decimal128" "_Decimal32" "_Decimal64"
                  "_Generic" "_Imaginary" "_Noreturn"))