Code

Linker-script processing fixes#1888

Code

Merged

kroening merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:linker-script-fixestautschnig/cbmc:linker-script-fixesCopy head branch name to clipboard

Mar 3, 2018

Commits

Commits on Feb 27, 2018

• fixup! goto-gcc removes CPROVER macros for native gcc

  tautschnig

  committed
  1f753d8

  Copy full SHA for 1f753d8

• Make linker-script processing failures non-fatal

  Show description for 631ea60
  tautschnig

  committed
  631ea60

  Copy full SHA for 631ea60

• Distribute ls_parse.py with goto-cc

  tautschnig

  committed
  60487f7

  Copy full SHA for 60487f7

• Do not modify object_files list while processing it

  Show description for 1612f74
  tautschnig

  committed
  1612f74

  Copy full SHA for 1612f74

• Linker-script processing: mind temporaries

  Show description for e999552
  tautschnig

  committed
  e999552

  Copy full SHA for e999552

• Linker-scripts: support linker symbols with struct type

  Show description for b371e28
  tautschnig

  committed
  b371e28

  Copy full SHA for b371e28