Code

C library header de-duplication#6490

Code

Merged

tautschnig merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c-library-cleanuptautschnig/cbmc:c-library-cleanupCopy head branch name to clipboard

Dec 5, 2021

Commits

Commits on Dec 5, 2021

• __CPROVER_llabs returns a long long

  Show description for d984199
  tautschnig

  committed
  d984199

  Copy full SHA for d984199

• C library: make all branches of sqrt{,f,l} explicitly return

  Show description for 1a355b6
  tautschnig

  committed
  1a355b6

  Copy full SHA for 1a355b6

• C library/fread: use __VERIFIER_nondet_char

  Show description for 25a71fc
  tautschnig

  committed
  25a71fc

  Copy full SHA for 25a71fc

• C library: add __builtin_unreachable to functions that do not return

  Show description for 28ae1a4
  tautschnig

  committed
  28ae1a4

  Copy full SHA for 28ae1a4

• C library check: use cprover_builtin_library.h

  Show description for 5295845
  tautschnig

  committed
  5295845

  Copy full SHA for 5295845