Code

ansi-c: add "" around C++ keywords#8622

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

scanner-token-namesdiffblue/cbmc:scanner-token-namesCopy head branch name to clipboard

Apr 9, 2025

Commits

Commits on Apr 9, 2025

• ansi-c: introduce conditional_keyword(c, t)

  Show description for ce7029f
  kroening

  committed
  ce7029f

  Copy full SHA for ce7029f

• ansi-c: add "" around C++ keywords

  Show description for 9fbdf4b
  kroening

  committed
  9fbdf4b

  Copy full SHA for 9fbdf4b