Code

Update GCC builtin declarations#5918

Code

Merged

kroening merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:update-gcc-builtinstautschnig/cbmc:update-gcc-builtinsCopy head branch name to clipboard

Dec 5, 2021

Commits

Commits on Dec 4, 2021

• Fix GCC-builtin fetcher to work with current GCC

  Show description for abad556
  tautschnig

  committed
  abad556

  Copy full SHA for abad556

• Do not clang-format builtin headers

  Show description for 4e05bc1
  tautschnig

  committed
  4e05bc1

  Copy full SHA for 4e05bc1

• Update GCC builtin declarations

  Show description for 219bce5
  tautschnig

  committed
  219bce5

  Copy full SHA for 219bce5

• Fix typing of __builtin_ia32_{pand,pandn,por,pxor}

  Show description for 249bee1
  tautschnig

  committed
  249bee1

  Copy full SHA for 249bee1