Code

Fix building with gcc 12#7542

Code

Merged

thomasspriggs merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/gcc12thomasspriggs/cbmc:tas/gcc12Copy head branch name to clipboard

Feb 16, 2023

Commits

Commits on Feb 15, 2023

• Silence spurious maybe uninitialised warning

  thomasspriggs

  committed
  62358f5

  Copy full SHA for 62358f5

• Use immediately invoked lambda to avoid warning

  Show description for 9066460
  thomasspriggs

  committed
  9066460

  Copy full SHA for 9066460

• Fix `function_may_throw` maybe uninitialised error with gcc-12

  thomasspriggs

  committed
  859ac17

  Copy full SHA for 859ac17

Commits on Feb 16, 2023

• Add check of gcc-12 to pull request checks

  thomasspriggs

  committed
  bfb968b

  Copy full SHA for bfb968b