Code

Cleanup find_symbols API#6727

Code

Merged

tautschnig merged 8 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/find_symbolstautschnig/cbmc:cleanup/find_symbolsCopy head branch name to clipboard

May 17, 2022

Commits

Commits on May 17, 2022

• Make has_symbol configurable and deprecate the existing has_symbol

  Show description for b117933
  tautschnig

  committed
  b117933

  Copy full SHA for b117933

• find_symbols kindt: clarify enum entries

  Show description for f0223d9
  tautschnig

  committed
  f0223d9

  Copy full SHA for f0223d9

• Deprecate find_symbols_or_nexts

  Show description for 7b5eec6
  tautschnig

  committed
  7b5eec6

  Copy full SHA for 7b5eec6

• Remove support for ID_next_symbol

  Show description for 6fbe9b6
  tautschnig

  committed
  6fbe9b6

  Copy full SHA for 6fbe9b6

• Make find_symbols implementations uniform

  Show description for fcb6b23
  tautschnig

  committed
  fcb6b23

  Copy full SHA for fcb6b23

• Rename kindt to symbol_kindt for clarity

  Show description for aa3d52b
  tautschnig

  committed
  aa3d52b

  Copy full SHA for aa3d52b

• Restrict has_symbol to symbol expressions and rename it to has_symbol_expr

  Show description for de7aa25
  tautschnig

  committed
  de7aa25

  Copy full SHA for de7aa25

• find_symbols: support restriction to non-bound symbols

  Show description for 5bf57ef
  tautschnig

  committed
  5bf57ef

  Copy full SHA for 5bf57ef