Code

Remove unnecessary includes#7235

Code

Merged

tautschnig merged 9 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/iwyu-2tautschnig/cbmc:cleanup/iwyu-2Copy head branch name to clipboard

Nov 20, 2022

Commits

Commits on Nov 19, 2022

• memory-analyzer unit test: include the header file, not cpp

  Show description for 714437d
  tautschnig

  committed
  714437d

  Copy full SHA for 714437d

• Do not construct a namespace ad hoc when the environment provides one

  Show description for 469895b
  tautschnig

  committed
  469895b

  Copy full SHA for 469895b

• Make format unit test do something

  Show description for 159e5fd
  tautschnig

  committed
  159e5fd

  Copy full SHA for 159e5fd

• Remove stray whitespace in comment header

  Show description for 34106ac
  tautschnig

  committed
  34106ac

  Copy full SHA for 34106ac

• Add validate to symbol_table_baset

  Show description for 72044eb
  tautschnig

  committed
  72044eb

  Copy full SHA for 72044eb

• Use symbol_table_baset instead of symbol_tablet where possible

  Show description for 1a9ec4e
  tautschnig

  committed
  1a9ec4e

  Copy full SHA for 1a9ec4e

• Mark includes that include-what-you-use spuriously suggests to remove

  Show description for a2e3dd4
  tautschnig

  committed
  a2e3dd4

  Copy full SHA for a2e3dd4

Commits on Nov 20, 2022

• Remove unnecessary includes

  Show description for 7ba2bd4
  tautschnig

  committed
  7ba2bd4

  Copy full SHA for 7ba2bd4

• Add include-what-you-use as GitHub action

  Show description for a8514e0
  tautschnig

  committed
  a8514e0

  Copy full SHA for a8514e0