Code

C library: atexit#6604

Code

Draft

tautschnig wants to merge 7 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:atexittautschnig/cbmc:atexitCopy head branch name to clipboard

Commits

Commits on Jan 21, 2022

• CBMC library regression tests: ensure GNUC-only declarations are present

  Show description for c2890b4
  tautschnig

  committed
  c2890b4

  Copy full SHA for c2890b4

• Use the linker when adding library functions

  Show description for 8d6aa14
  

  tautschnig

  and

  peterschrammel

  committed
  8d6aa14

  Copy full SHA for 8d6aa14

• C library: move pipe() related definitions to library

  Show description for bcfe0c8
  tautschnig

  committed
  bcfe0c8

  Copy full SHA for bcfe0c8

• C/C++ library: move free/delete-only definitions to library

  Show description for f877629
  tautschnig

  committed
  f877629

  Copy full SHA for f877629

• C library: move pthreads related definitions to library

  Show description for c3f5f03
  tautschnig

  committed
  c3f5f03

  Copy full SHA for c3f5f03

• Invoke functions marked __attribute__((destructor))

  Show description for dcdf046
  tautschnig

  committed
  dcdf046

  Copy full SHA for dcdf046

• C library: atexit

  Show description for 8edaf8e
  tautschnig

  committed
  8edaf8e

  Copy full SHA for 8edaf8e