Code

Improve remove virtual functions#393

Code

Merged

kroening merged 5 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:improve_remove_virtual_functions_mastersmowton/cbmc:improve_remove_virtual_functions_masterCopy head branch name to clipboard

Jan 24, 2017

Commits

Commits on Jan 20, 2017

• Don't use potentially-invalid downcasts to read an object's clsid if possible

  Show description for 0c4c649
  smowton

  committed
  0c4c649

  Copy full SHA for 0c4c649

• Include child types when creating a virtual function dispatch tree

  Show description for ef7bdfe
  smowton

  committed
  ef7bdfe

  Copy full SHA for ef7bdfe

• Call least-derived virtual function for unknown clsid

  Show description for 381eec4
  smowton

  committed
  381eec4

  Copy full SHA for 381eec4

• Add test for virtual dispatch against child type

  smowton

  committed
  386aad1

  Copy full SHA for 386aad1

• Style and documentation fixes

  smowton

  committed
  065bfb9

  Copy full SHA for 065bfb9