Code

Cleanup in string preprocessing#3189

Code

Merged

tautschnig merged 14 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:clean-up/preprocessing-part2romainbrenguier/cbmc:clean-up/preprocessing-part2Copy head branch name to clipboard

Feb 8, 2019

Commits

Commits on Feb 8, 2019

• Add missing const's and move's

  Show description for b4260dd
  romainbrenguier

  committed
  b4260dd

  Copy full SHA for b4260dd

• Add function_id parameter to convert_exprt_to_string_exprt

  Show description for 8b791e1
  romainbrenguier

  committed
  8b791e1

  Copy full SHA for 8b791e1

• Add function_id parameter to decl_string_expr

  Show description for 5d13ed0
  romainbrenguier

  committed
  5d13ed0

  Copy full SHA for 5d13ed0

• Add function_id parameter to process_operands

  Show description for 36c7b6c
  romainbrenguier

  committed
  36c7b6c

  Copy full SHA for 36c7b6c

• Add function_id parameter to replace_char_array

  Show description for 276e534
  romainbrenguier

  committed
  276e534

  Copy full SHA for 276e534

• Add function_id parameter to add_pointer_to_array_association

  Show description for 2189e40
  romainbrenguier

  committed
  2189e40

  Copy full SHA for 2189e40

• Add function_id parameter to add_array_to_length_association

  Show description for 8c15acd
  romainbrenguier

  committed
  8c15acd

  Copy full SHA for 8c15acd

• Delete unused function fresh_array

  Show description for 0180b8b
  romainbrenguier

  committed
  0180b8b

  Copy full SHA for 0180b8b

• Delete unused function process_operands

  Show description for afb691d
  romainbrenguier

  committed
  afb691d

  Copy full SHA for afb691d

• Add function_id parameter to fresh_string

  Show description for d3f768c
  romainbrenguier

  committed
  d3f768c

  Copy full SHA for d3f768c

• Add function_id parameter to add_character_set_constraint

  Show description for 06f89d9
  romainbrenguier

  committed
  06f89d9

  Copy full SHA for 06f89d9

• Add function_id parameter to get_primitive_value_of_object

  Show description for b4e146a
  romainbrenguier

  committed
  b4e146a

  Copy full SHA for b4e146a

• Add and use fresh_java_symbol function

  Show description for 3edbc74
  romainbrenguier

  committed
  3edbc74

  Copy full SHA for 3edbc74

• Apply clang-format suggestions

  Show description for e81e174
  romainbrenguier

  committed
  e81e174

  Copy full SHA for e81e174