Code

Cleanup use of empty strings#4041

Code

Merged

tautschnig merged 9 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:empty-stringtautschnig/cbmc:empty-stringCopy head branch name to clipboard

Apr 30, 2019

Commits

Commits on Apr 30, 2019

• taint_analysis: make last argument optional

  Show description for 03123a9
  tautschnig

  committed
  03123a9

  Copy full SHA for 03123a9

• Use s.empty() instead of s == ""

  Show description for ec56872
  tautschnig

  committed
  ec56872

  Copy full SHA for ec56872

• Remove redundant string initialisation

  Show description for c1baa03
  tautschnig

  committed
  c1baa03

  Copy full SHA for c1baa03

• Use !s.empty() instead of s != ""

  Show description for 0210503
  tautschnig

  committed
  0210503

  Copy full SHA for 0210503

• Use irep_idt() instead of ""

  Show description for 8a277ef
  tautschnig

  committed
  8a277ef

  Copy full SHA for 8a277ef

• The second argument to java_type_from_string is optional

  tautschnig

  committed
  672e711

  Copy full SHA for 672e711

• Use s.clear() instead of s=""

  Show description for 7e5b60f
  tautschnig

  committed
  7e5b60f

  Copy full SHA for 7e5b60f

• Remove unnecessary uses of ""

  Show description for 29a9ce8
  tautschnig

  committed
  29a9ce8

  Copy full SHA for 29a9ce8

• Use s.empty() or !s.empty() instead of comparison to irep_idt()

  Show description for 13b3e4f
  tautschnig

  committed
  13b3e4f

  Copy full SHA for 13b3e4f